This paper argues that Malebranche’s semantics sheds light on his metaphysics and epistemology, and is of interest in its own right. By recasting issues linguistically, it shows that Malebranche assumes a Neoplatonic semantic structure within Descartes’ dualism and Augustine’s theory of illumination, and employs linguistic devices from the Neoplatonic tradition. Viewed semantically, mental states of illumination stand to God and his ideas as predicates stand in Neoplatonic semantics to ideas ordered by a privative relation on “being.” The framework sheds light (...) on interpretive puzzles in Malebranche studies such as the way ideas reside in God’s mind, the notion of resemblance by which bodies imitate their exemplar causes, and the issue of direct vs. indirect perception through a mechanism by which agents can see bodies by “seeing” ideas. Malebranche’s semantics is of interest in its own right because it gives a full account of the mediating relations that determine indirect reference; lays out a correspondence theory of truth for necessary judgments; defines contingent truth as based on an indirect reference relation that is both descriptive and causal but that does not appeal to body-mind causation; and within his theory of perception, works out an account of singular reference in which singular terms carry existential import, refer indirectly via causal relations, but describe their referents only in a general way. (shrink)

The paper shows that in the Art of Thinking (The Port Royal Logic) Arnauld and Nicole introduce a new way to state the truth-conditions for categorical propositions. The definition uses two new ideas: the notion of distributive or, as they call it, universal term, which they abstract from distributive supposition in medieval logic, and their own version of what is now called a conservative quantifier in general quantification theory. Contrary to the interpretation of Jean-Claude Parienté and others, the truth-conditions do (...) not require the introduction of a new concept of ‘indefinite’ term restriction because the notion of conservative quantifier is formulated in terms of the standard notion of term intersection. The discussion shows the following. Distributive supposition could not be used in an analysis of truth because it is explained in terms of entailment, and entailment in terms of truth. By abstracting from semantic identities that underlie distribution, the new concept of distributive term is definitionally prior to truth and can, therefore, be used in a non-circular way to state truth-conditions. Using only standard restriction, the Logic’s truth-conditions for the categorical propositions are stated solely in terms of (1) universal (distributive) term, (2) conservative quantifier, and (3) affirmative and negative proposition. It is explained why the Cartesian notion of extension as a set of ideas is in this context equivalent to medieval and modern notions of extension. (shrink)