My aim is to arrive at a better understanding of the distinction between direct realism and representationalism by offering a critical analysis of Steven Nadler.

The result of combining classical quantificational logic with modal logic proves necessitism – the claim that necessarily everything is necessarily identical to something. This problem is reflected in the purely quantificational theory by theorems such as ∃x t=x; it is a theorem, for example, that something is identical to Timothy Williamson. The standard way to avoid these consequences is to weaken the theory of quantification to a certain kind of free logic. However, it has often been noted that in order (...) to specify the truth conditions of certain sentences involving constants or variables that don’t denote, one has to apparently quantify over things that are not identical to anything. In this paper I defend a contingentist, non-Meinongian metaphysics within a positive free logic. I argue that although certain names and free variables do not actually refer to anything, in each case there might have been something they actually refer to, allowing one to interpret the contingentist claims without quantifying over mere possibilia. (shrink)

Philosophers of the modern period are often presented as having made an elementary error: that of confounding the attitude one adopts toward a proposition with its content. By examining the works of Locke and the Port-Royalians, I show that this accusation is ill-founded and that Locke, in particular, has the resources to construct a theory of propositional attitudes.

To understand pre-Fregean theories of judgment and proposition, such as those found in Locke and the Port-Royal logic, it is important to distinguish between propositions in the modern sense and propositions in the pre-Fregean sense. By making this distinction it becomes clear that these pre-Fregean theories cannot be meant to solve the propositional attitude problem. Notwithstanding this fact, Locke and Arnauld are able to make a distinction between asserted and unasserted propositions (in their sense). The way Locke makes this distinction (...) turns out to be very different from the way it is made by Arnauld. (shrink)

L'A. étudie la théorie classique du jugement telle qu'elle apparait dans «La logique» de A. Arnauld et P. Nicole et oppose la sémantique des termes généraux de Port-Royal à celles de Kant et Frege.

In Arnauld’s view, a fruitful clarification of the nature of knowledge is possible if only one pays close attention to “ce qui se passe en nous,” in such a fashion “de n’y rien mêler dont nous ne soyons certains.” In support of his position, he cites not only Descartes’ testimony but also that of St. Augustine. Consequently, he treats—first of all—of the things that any one can know about his own soul upon consulting with himself with a little attention, and (...) by so doing Arnauld shows once again his faithfulness to the spirit of Cartesianism. Yet he does more, for he is among the first thinkers fully to appreciate the value of a truly descriptive method in philosophy. (shrink)

Philosophers have accused locke of holding a view about propositions that simply conflates the formation of a propositional thought with the judgment that a proposition is true, and charged that this has obviously absurd consequences.1 Worse, this account appears not to be unique to Locke: it bears a striking resemblance to one found in both the Port-Royal Logic (the Logic, for short) and the Port-Royal Grammar. In the Logic, this account forms part of the backbone of the traditional logic expounded (...) in the text. As a result, the account’s alleged faults seem to seriously threaten the coherence and value of the whole approach to logic. And to the extent that Locke’s core philosophical commitments, in particular his .. (shrink)

Antoine Arnauld and Pierre Nicole were philosophers and theologians associated with Port-Royal Abbey, a centre of the Catholic Jansenist movement in seventeenth-century France. Their enormously influential Logic or the Art of Thinking, which went through five editions in their lifetimes, treats topics in logic, language, theory of knowledge and metaphysics, and also articulates the response of 'heretical' Jansenist Catholicism to orthodox Catholic and Protestant views on grace, free will and the sacraments. In attempting to combine the categorical theory of the (...) proposition with a Cartesian account of knowledge, their Logic represents the classical view of judgment which inspired the modern transformation in logic and semantic theory by Frege, Russell, Wittgenstein and recent philosophers. This edition presents a new translation of the text, together with a historical introduction and suggestions for further reading. (shrink)