Switch to: References

Add citations

You must login to add citations.
  1. Stoic Sequent Logic and Proof Theory.Susanne Bobzien - forthcoming - History and Philosophy of Logic:1-32.
    This paper contends that Stoic logic (i.e. Stoic analysis) deserves more attention from contemporary logicians. It sets out how, compared with contemporary propositional calculi, Stoic analysis is closest to methods of backward proof search for Gentzen-inspired substructural sequent logics, as they have been developed in logic programming and structural proof theory, and produces its proof search calculus in tree form. It shows how multiple similarities to Gentzen sequent systems combine with intriguing dissimilarities that may enrich contemporary discussion. Much of Stoic (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  • A Methodology for Teaching Logic-Based Skills to Mathematics Students.Arnold Cusmariu - 2016 - Symposion: Theoretical and Applied Inquiries in Philosophy and Social Sciences 3 (3):259-292.
    Mathematics textbooks teach logical reasoning by example, a practice started by Euclid; while logic textbooks treat logic as a subject in its own right without practical application to mathematics. Stuck in the middle are students seeking mathematical proficiency and educators seeking to provide it. To assist them, the article explains in practical detail how to teach logic-based skills such as: making mathematical reasoning fully explicit; moving from step to step in a mathematical proof in logically correct ways; and checking to (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  • Induction, Reliability and Predicates of Type Grue.Luiz Helvécio Marques Segundo - 2015 - Principia: An International Journal of Epistemology 19 (1):33-47.
    Collin Howson (2000) challenges van Cleve’s reliabilist defense of induction (1984) based on an adaptation of Goodman Paradox (or new riddle of induction). I will try to show that Howson’s argument does not succeed once it is self-defeating. Nevertheless, I point out another way which Howson could have employed the new riddle to undermine the reliabilist defense.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Ghosts in the Curriculum-Reframing Concepts as Multiplicities.Mark Hardman - forthcoming - Journal of Philosophy of Education.