Switch to: References

Add citations

You must login to add citations.
  1. Advances in Proof-Theoretic Semantics.Peter Schroeder-Heister & Thomas Piecha (eds.) - 2015 - Cham, Switzerland: Springer Verlag.
    This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory. The field of proof-theoretic semantics has existed for almost 50 years, but the term (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  • The Peripatetic Program in Categorical Logic: Leibniz on Propositional Terms.Marko Malink & Anubav Vasudevan - 2019 - Review of Symbolic Logic 13 (1):141-205.
    Greek antiquity saw the development of two distinct systems of logic: Aristotle’s theory of the categorical syllogism and the Stoic theory of the hypothetical syllogism. Some ancient logicians argued that hypothetical syllogistic is more fundamental than categorical syllogistic on the grounds that the latter relies on modes of propositional reasoning such asreductio ad absurdum. Peripatetic logicians, by contrast, sought to establish the priority of categorical over hypothetical syllogistic by reducing various modes of propositional reasoning to categorical form. In the 17th (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Traditional Logic, Modern Logic and Natural Language.Wilfrid Hodges - 2009 - Journal of Philosophical Logic 38 (6):589-606.
    In a recent paper Johan van Benthem reviews earlier work done by himself and colleagues on ‘natural logic’. His paper makes a number of challenging comments on the relationships between traditional logic, modern logic and natural logic. I respond to his challenge, by drawing what I think are the most significant lines dividing traditional logic from modern. The leading difference is in the way logic is expected to be used for checking arguments. For traditionals the checking is local, i.e. separately (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • Proofs as Cognitive or Computational: Ibn Sı̄nā’s Innovations.Wilfrid Hodges - 2018 - Philosophy and Technology 31 (1):131-153.
    We record the advances made by the eleventh century Persian logician Ibn Sina—known in the West as Avicenna—away from a purely cognitive view of proofs and towards a more computational view, and the kinds of consideration that led him to these advances. Some of Ibn Sina’s new logics, which stand somewhere between Aristotle’s categorical syllogisms and modern first-order logic, can serve as a kind of laboratory for testing what are the differences between Aristotelian and modern logic, and where these differences (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Logical Consequence in Avicenna’s Theory.Saloua Chatti - 2019 - Logica Universalis 13 (1):101-133.
    In this paper I examine Avicenna’s conception of the consequence relation. I will consider in particular his categorical and hypothetical logics. I will first analyse his definition of the implication and will show that this relation is not a consequence relation in his frame. Unlike the medieval logicians, he does not distinguish explicitly between material and formal consequences. The arguments discussed in al-Qiyās, where the conclusion is true only in some matters, and would seem close to a material consequence for (...)
    $47.60 new   $52.55 used   $54.99 from Amazon    (collection)    View on Amazon.com
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation