This thesis is on the history and philosophy of logic and semantics. Logic can be described as the ‘science of reasoning’, as it deals primarily with correct patterns of reasoning. However, logic as a discipline has undergone dramatic changes in the last two centuries: while for ancient and medieval philosophers it belonged essentially to the realm of language studies, it has currently become a sub-branch of mathematics. This thesis attempts to establish a dialogue between the modern and the medieval traditions (...) in logic, by means of ‘translations’ of the medieval logical theories into the modern framework of symbolic logic, i.e. formalizations. One of its conclusions is that, when properly understood within their own framework, the interest of medieval logical theories for modern investigations go beyond mere historical interest, but that a thorough conceptual analysis of such theories must be undertaken in order to avoid conceptual misprojections. While such translations of medieval into modern logic have been attempted before, the approach presented here is innovative in that attention is paid to the similarities as well as to the dissimilarities between the two traditions, and to what can be learned from the medieval masters for modern investigations in logic and semantics. (shrink)

This book presents novel formalizations of three of the most important medieval logical theories: supposition, consequence and obligations. In an additional fourth part, an in-depth analysis of the concept of formalization is presented - a crucial concept in the current logical panorama, which as such receives surprisingly little attention.Although formalizations of medieval logical theories have been proposed earlier in the literature, the formalizations presented here are all based on innovative vantage points: supposition theories as algorithmic hermeneutics, theories of consequence analyzed (...) with tools borrowed from model-theory and two-dimensional semantics, and obligations as logical games. For this reason, this is perhaps the first time that these medieval logical theories are made fully accessible to the modern philosopher and logician who wishes to obtain a better grasp of them, but who has always been held back by the lack of appropriate ‘translations' into modern terms.Moreover, the book offers a reflection on the very nature of logic, a reflection that is prompted by the comparisons between medieval and modern logic, their similarities and dissimilarities. It is thus a contribution not only to the history of logic, but also to the philosophy of logic, the philosophy of language and semantics.The analysis of medieval logic is also relevant for the modern philosopher and logician in that, being the unifying methodology used across all disciplines at that time, logic really provided unity to science. It thus presents a unified model of scientific investigation, where logic plays the aggregating role. (shrink)

Customary interpretations state that Tractarian thoughts are pictures, and, a fortiori, facts. I argue that important difficulties are unavoidable if we assume this standard view, and I propose a reading of the concept taking advantage of an analogy that Wittgenstein introduces, namely, the analogy between thoughts and projective geometry. I claim that thoughts should be understood neither as pictures nor as facts, but as acts of geometric projection in logical space. The interpretation I propose thus removes the root of the (...) identified difficulties. Moreover, it allows important clarification concerning some central aspects of the Tractarian theory of representation, and it yields a unifying elucidation regarding Wittgenstein’s remarks on the solipsistic thesis. (shrink)

One common element of Kripke’s and Chalmers’ reactions to physicalist theories of mind is their reliance upon the intuition that concepts about conscious experiences are essentially identified by the “immediate phenomenal quality” of the conscious experience, how the experience feels from the subjective point of view. I examine how Kripke’s and Chalmers’ critiques require that concepts about conscious experiences be identified by their subjective feel and then move on to provide some ways in which this intuition about concepts of conscious (...) experience could be wrong. Specifically, the intuition is not consistent with our intuitions about unusual cases reported by pain researchers and does not take such cases to be genuine cases of pain. These inconsistencies weaken the intuition, making it problematic for any critique of identity theory or physicalism to rely heavily upon it. (shrink)