Results 131 to 140 of about 65,341 (232)

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

From intersubjective correspondence to the counterpart relation-motifs from Carnap's Aufbau in Lewis's counterpart theory and his philosophical methodology. [PDF]

Asian J Philos
Michels R.
europepmc   +1 more source

Unstructured Purity

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

Inquisitive Neighborhood Logic. [PDF]

J Logic Lang Inf
Ciardelli I.
europepmc   +1 more source

Modelling and verification of post-quantum key encapsulation mechanisms using Maude. [PDF]

PeerJ Comput Sci, 2023
García V, Escobar S, Ogata K, Akleylek S, Otmani A.   +4 more
europepmc   +1 more source

A Persisting Equivalence

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

Iconic logic: the visual art of drawing the right conclusion. [PDF]

Front Psychol
Kramer P.
europepmc   +1 more source

Virtuous Deferral

Noûs, EarlyView.
ABSTRACT Virtue epistemology has long struggled with the “Creditability Dilemma”: how can knowledge gained through deference be creditable to the knower if it primarily depends on others’ cognitive work? We propose a novel solution by developing a telic account of doxastic deference as a distinctive kind of social‐epistemic performance.
J. Adam Carter, Jesper Kallestrup
wiley   +1 more source

The Form of Agency

Noûs, EarlyView.
ABSTRACT Philosophers often think agency is essentially connected with rationality, intention, or control. However, Minimalists argue that agency is just the power to cause a change; acids and boulders are agents too. Many philosophers treat Minimalism as a wild outlier, assuming its falsity without argument.
William Hornett
wiley   +1 more source

Golem: a flexible and efficient solver for constrained Horn clauses. [PDF]

Form Methods Syst Des
Blicha M, Britikov K, Sharygina N.
europepmc   +1 more source