Catarina Dutilh Novaes University of Groningen
blank
About me
Not much to say..
My works
11 items found.
Sort by:
  1. Catarina Dutilh Novaes (2013). The Role of 'Denotatur' in Ockham's Theory of Supposition. Vivarium 51 (1-4):352-370.
  2. Edgar Andrade-Lotero & Catarina Dutilh Novaes (2012). A Contentious Trinity: Levels of Entailment in Brandom's Pragmatist Inferentialism. Philosophia 40 (1):41-53.
    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, we prove that, using Brandom’s own definitions, the reverse of (1) also holds, and that the reverse of (2) may hold (but (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Edgar Andrade-Lotero & Catarina Dutilh Novaes (2012). Validity, the Squeezing Argument and Alternative Semantic Systems: The Case of Aristotelian Syllogistic. [REVIEW] Journal of Philosophical Logic 41 (2):387-418.
    We investigate the philosophical significance of the existence of different semantic systems with respect to which a given deductive system is sound and complete. Our case study will be Corcoran’s deductive system D for Aristotelian syllogistic and some of the different semantic systems for syllogistic that have been proposed in the literature. We shall prove that they are not equivalent, in spite of D being sound and complete with respect to each of them. Beyond the specific case of syllogistic, the (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. Catarina Dutilh Novaes (2012). Reassessing Logical Hylomorphism and the Demarcation of Logical Constants. Synthese 185 (3):387-410.
    The paper investigates the propriety of applying the form versus matter distinction to arguments and to logic in general. Its main point is that many of the currently pervasive views on form and matter with respect to logic rest on several substantive and even contentious assumptions which are nevertheless uncritically accepted. Indeed, many of the issues raised by the application of this distinction to arguments seem to be related to a questionable combination of different presuppositions and expectations; this holds in (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. Catarina Dutilh Novaes (2012). Towards a Practice-Based Philosophy of Logic: Formal Languages as a Case Study. Philosophia Scientiae 16 (1):71-102.
    No categories
     
    My bibliography  
     
    Export citation  
  6. Catarina Dutilh Novaes (2011). The Different Ways in Which Logic is (Said to Be) Formal. History and Philosophy of Logic 32 (4):303 - 332.
    What does it mean to say that logic is formal? The short answer is: it means (or can mean) several different things. In this paper, I argue that there are (at least) eight main variations of the notion of the formal that are relevant for current discussions in philosophy and logic, and that they are structured in two main clusters, namely the formal as pertaining to forms, and the formal as pertaining to rules. To the first cluster belong the formal (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. Catarina Dutilh Novaes (2007). Formalizing Medieval Logical Theories. Springer.
    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 (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Catarina Dutilh Novaes (2006). Formalizations Après la Lettre: Studies in Medieval Logic and Semantics. Dissertation, Leiden University
    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 (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. Catarina Dutilh Novaes (2006). Roger Swyneshed's Obligationes: A Logical Game of Inference Recognition? Synthese 151 (1):125 - 153.
    In [Dutilh Novaes, Medieval-obligations as logical Games of Consistency maintenance, synthese, (2004)], I proposed a reconstruction of Walter Burley’s theory of obligationes, based on the idea that Burley’s theory of obligationes could be seen as a logical game of consistency maintenance. In the present paper, I intend to test the game hypothesis on another important theory of obligationes, namely Roger Swyneshed’s theory. In his treatise on obligationes [edited by P.V. Spade, cf. Spade History and philosophy of Logic 3(1982) 1-32], Swyneshed (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  10. Catarina Dutilh Novaes (2004). The Buridanian Account of Inferential Relations Between Doubly Quantified Propositions: A Proof of Soundness. History and Philosophy of Logic 25 (3):225-243.
    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 a certain class of basic categorical propositions. The present study (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  11. Catarina Dutilh Novaes (2004). The Buridanian Account of Inferential Relations Between Doubly Quantified Propositions: A Proof of Soundness. History and Philosophy of Logic 25 (3):225-243.
    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 a certain class of basic categorical propositions. The present study (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
Is this list right?