-
33Varieties of Logic (review)History and Philosophy of Logic 37 (2): 194-196. 2016.11We thank Rohan French for a detailed discussion of this review. We also wish to reciprocally thank Shawn Standefer for detailed discussions about the book.Logical pluralism is the view according...
-
42Formalizations après la lettre: Studies in Medieval Logic and SemanticsDissertation, Leiden University. 2006.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 med…Read more
-
24The Buridanian Account of Inferential Relations between Doubly Quantified Propositions: a Proof of SoundnessHistory and Philosophy of Logic 25 (3): 225-243. 2004.On the basis of passages from John Buridan's Summula Suppositionibus and Sophismata, E. Karger has reconstructed what could be called the 'Buridanian theory of inferential relations between doubly quantified propositions', presented in her 1993 article 'A theory of immediate inference contained in Buridan's logic'. In the reconstruction, she focused on the syntactical elements of Buridan's theory of modes of personal supposition to extract patterns of formally valid inferences between members of…Read more
-
89A Contentious Trinity: Levels of Entailment in Brandom’s Pragmatist InferentialismPhilosophia 40 (1): 41-53. 2012.We investigate the relations among Brandom’s three dimensions of semantic inferential articulation, namely, incompatibility entailments, committive consequences, and permissive consequences. In his unpublished manuscript “Conceptual Content and Discursive Practice” Brandom argues that (1) incompatibility entailment implies committive consequence, and that (2) committive consequence in turn implies permissive consequence. We criticize this hierarchy both on internal and external grounds. Firstly,…Read more
-
5Consequences of a closed, token-based semantics: the case of John Buridan (review)Bulletin of Symbolic Logic 10 (4): 592-593. 2004.
-
14Formal Languages in Logic: A Philosophical and Cognitive AnalysisCambridge University Press. 2012.Formal languages are widely regarded as being above all mathematical objects and as producing a greater level of precision and technical complexity in logical investigations because of this. Yet defining formal languages exclusively in this way offers only a partial and limited explanation of the impact which their use actually has. In this book, Catarina Dutilh Novaes adopts a much wider conception of formal languages so as to investigate more broadly what exactly is going on when theorists put…Read more
Amsterdam, North Holland, Netherlands
Areas of Specialization
Logic and Philosophy of Logic |
Philosophy of Mathematics |
Social Epistemology |
PhilPapers Editorships
History of Logic |
History of Logic, Misc |