Results 181 to 190 of about 109,843 (305)
Model Theory and Proof Theory of Coalgebraic Predicate Logic
, 2017 Tadeusz Litak +3 more
openalex +1 more source
Anselm's Temporal‐Ontological Proof
Noûs, EarlyView.ABSTRACT In his Reply to Gaunilo, Anselm presented two additional arguments for the existence of God beyond those that appear in the Proslogion. In “The Logical Structure of Anselm's Argument,” Robert M. Adams isolates each. One, he develops into a modal ontological argument along the lines of other 20th century ontological arguments (e.g., those of ...
Daniel Rubio
wiley +1 more source
Noûs, EarlyView.ABSTRACT Purity is the principle that fundamental facts only have fundamental constituents. In recent years, it has played a significant (if sometimes implicit) role in metaphysical theorizing. A philosopher will argue that a fact [p]$[p]$ contains a derivative entity and cite Purity as a reason to deny that [p]$[p]$ is fundamental. I argue that recent
Samuel Z. Elgin
wiley +1 more source
Golem: a flexible and efficient solver for constrained Horn clauses. [PDF]
Form Methods Syst DesBlicha M, Britikov K, Sharygina N.
europepmc +1 more source
On Elementary Extensions in Fuzzy Predicate Logics
, 2010 Pilar Dellunde, Francesc Esteva
openalex +2 more sources
Noûs, EarlyView.ABSTRACT In several articles, McCall and Lowe have claimed that endurantism and perdurantism are “equivalent.” From this, they conclude that there is no fact of the matter as to whether we live in an endurantist world or in a perdurantist world. In this paper, I use the notion of Morita equivalence to show in which precise sense, McCall and Lowe's ...
Joshua Babic
wiley +1 more source
Minimal reduct for propositional circumscription. [PDF]
Front Artif IntellXie Z, Wang Y, Yang L, Feng R.
europepmc +1 more source