Antoine Arnauld (1612—1694) Antoine Arnauld was considered by his peers as one of the preeminent 17th century European intellectuals. Arnauld had been remembered primarily as a correspondent of René Descartes, Gottfried Leibniz and Nicolas Malebranche, and as a dogmatic and uncritical Cartesian who made few if any philosophical contributions. In fact, as much newer research suggests, Arnauld was not a dogmatic and uncritical Cartesian, and

Rudolf Carnap: Modal Logic In two works, a paper in The Journal of Symbolic Logic in 1946 and the book Meaning and Necessity in 1947, Rudolf Carnap developed a modal predicate logic containing a necessity operator N, whose semantics depends on the claim that, where α is a formula of the language, Nα represents the proposition that α is logically necessary. Carnap’s view was that Nα should

Donald Herbert Davidson: Mind and Action Donald Davidson was a 20th century American philosopher whose most profound influences on contemporary philosophy were in the philosophy of mind and action. This article examines in detail two leading motifs in Davidson’s philosophy. One is that mental phenomena resist being “captured in the nomological net of physical theory.” Davidson claims there are no strict deterministic laws on the

Gettier Problems Gettier problems or cases are named in honor of the American philosopher Edmund Gettier, who discovered them in 1963. They function as challenges to the philosophical tradition of defining knowledge of a proposition as justified true belief in that proposition. The problems are actual or possible situations in which someone has a belief that is both true and well supported by evidence, yet

Parmenides of Elea (Late 6th cn.—Mid 5th cn. B.C.E.) Parmenides of Elea was a Presocratic Greek philosopher. As the first philosopher to inquire into the nature of existence itself, he is incontrovertibly credited as the “Father of Metaphysics.” As the first to employ deductive, a priori arguments to justify his claims, he competes with Aristotle for the title “Father of Logic.” He is also commonly