A Temporal Logic for Sortals

With the past and future tense propositional operators in its syntax, a formal logical system for sortal quantifiers, sortal identity and (second order) quantification over sortal concepts is formulated. A completeness proof for the system is constructed and its absolute consistency proved. The completeness proof is given relative to a notion of logical validity provided by an intensional semantic system, which assumes an approach to sortals from a modern form of conceptualism.     

A Two Dimensional Tense-modal Sortal Logic

We consider a formal language whose logical syntax involves both modal and tense propositional operators, as well as sortal quantifiers, sortal identities and (second order) quantifiers over sortals. We construct an intensional semantics for the language and characterize a formal logical system which we prove to be sound and complete with respect to the semantics. Conceptualism is the philosophical background of the semantic system.     

Against Perceptual Conceptualism

This paper is concerned with the question of whether mature human experience is thoroughly conceptual, or whether it involves non-conceptual elements or layers. It has two central goals. The first goal is methodological. It aims to establish that that question is, to a large extent, an empirical question. The question cannot be answered by appealing to purely a priori and transcendental considerations. The second goal is to argue, inter alia by relying on empirical findings, that the view known as ‘state-conceptualism’ is false. We will argue that our experiences do involve non-conceptual elements. That is, a subject may enjoy an experience with a particular phenomenal aspect, without possessing the concept needed for the specification of the content of that aspect, and moreover, without being able to acquire that concept upon having that experience.     

Rethinking the Ontology of Cartesian Essences

The old and recent debates on Cartesian essences have focused on the question of whether Descartes is a Platonist or a conceptualist about essences. I argue that this is a false dichotomy. An adequate account of Cartesian essences must accommodate and reconcile two central doctrines and texts in Descartes' philosophy. I will argue that recent conceptualist and Platonist interpretations neither accommodate these doctrines nor reconcile these texts. Such failures are not accidental since Descartes' doctrines of divine creation and simplicity render it impossible for Descartes to be either a conceptualist or a Platonist. Failure to notice this fact explains why there has been no progress on this exegetical issue.     

Kant on the original synthesis of understanding and sensibility

In this paper, I propose a novel interpretation of the role of the understanding in generating the unity of space and time. On the account I propose, we must distinguish between the unity that belongs to determinate spaces and times – which is a result of category-guided synthesis and which is Kant’s primary focus in §26 of the B-Deduction, including the famous B160–1n – and the unity that belongs to space and time themselves as all-encompassing structures. Non-conceptualist readers of Kant have argued that this latter unity cannot be the product of categorial synthesis. While they are correct that this unity is not the product of any particular act of category-guided synthesis, I argue that conceptualists are right to nevertheless attribute this unity to the understanding. I argue that it is a result of what we can think of as the ‘original’ synthesis of understanding and sensibility themselves – it is a synthesis, moreover, in which the whole is logically prior to the parts.     

A Complete and Consistent Formal System for Sortals

A formal logical system for sortal quantifiers, sortal identity and (second order) quantification over sortal concepts is formulated. The absolute consistency of the system is proved. A completeness proof for the system is also constructed. This proof is relative to a concept of logical validity provided by a semantics, which assumes as its philosophical background an approach to sortals from a modern form of conceptualism.     

A Modal Sortal Logic

An intensional semantic system for languages containing, in their logical syntax, sortal quantifiers, sortal identities, (second-order) quantifiers over sortals and the necessity operator is constructed. This semantics provides non-standard assignments to predicate expressions, which diverge in kind from the entities assigned to sortal terms by the same semantic system. The nature of the entities assigned to predicate expressions shows, at the same time, that there is an internal semantic connection between those expressions and sortal terms. A formal logical system is formulated that is proved to be absolutely consistent, sound and complete with respect to the intensional semantic system.     

Two Versions of the Conceptual Content of Experience

ABSTRACT

In ‘Avoiding the Myth of the Given’, McDowell revisits the main themes of Mind and World in order to make two important corrections: first, he does not longer believe that the content of perceptual experience is propositional in character; second, he does not believe now that the content of an experience needs to include everything the experience enables us to know non-inferentially. In this article, I take issue with both retractions. My thesis is that McDowell’s first version of perceptual content is preferable to the latest one.