Aristotelian Logic Axioms in Propositional Logic: The Pouch Method
来源期刊:History and Philosophy of LogicDOI:10.1080/01445340.2018.1442172
Aristotle in Prussian Gymnasiums: Why the Texts of the Ancient Philosopher Became Popular for Teaching Logic
来源期刊:History and Philosophy of LogicDOI:10.1080/01445340.2019.1647019
Avicenna on the Law of Non-contradiction
来源期刊:History and Philosophy of LogicDOI:10.1080/01445340.2019.1571391
Dialectic, the Dictum de Omni and Ecthesis
来源期刊:History and Philosophy of LogicDOI:10.1080/01445340.2019.1586623
Duty and Sacrifice: A Logical Analysis of the Mīmāṃsā Theory of Vedic Injunctions
来源期刊:History and Philosophy of LogicDOI:10.1080/01445340.2019.1615366
Stoic Sequent Logic and Proof Theory
来源期刊:History and Philosophy of LogicDOI:10.1080/01445340.2019.1579624
Frege’s Unification
来源期刊:History and Philosophy of LogicDOI:10.1080/01445340.2018.1518103
From Wittgenstein’s N-operator to a New Notation for Some Decidable Modal Logics
来源期刊:History and Philosophy of LogicDOI:10.1080/01445340.2018.1437519
Jesuit Probabilistic Logic between Scholastic and Academic Philosophy
来源期刊:History and Philosophy of LogicDOI:10.1080/01445340.2019.1615363
Fārābī and Avicenna on Contraposition
来源期刊:History and Philosophy of LogicDOI:10.1080/01445340.2018.1483689
Topos Theory in Montréal in the 1970s: My Personal Involvement
来源期刊:History and Philosophy of LogicDOI:10.1080/01445340.2018.1554471
Quine’s Substitutional Definition of Logical Truth and the Philosophical Significance of the Löwenheim-Hilbert-Bernays Theorem
来源期刊:History and Philosophy of LogicDOI:10.1080/01445340.2018.1534196
Sellars, Second-order Quantification, and Ontological Commitment
来源期刊:History and Philosophy of LogicDOI:10.1080/01445340.2018.1474427
The Role of Structural Reasoning in the Genesis of Graph Theory
来源期刊:History and Philosophy of LogicDOI:10.1080/01445340.2019.1608493
Varieties of Demonstration in Alfarabi
来源期刊:History and Philosophy of LogicDOI:10.1080/01445340.2018.1514572
Shaping the Enemy: Foundational Labelling by L.E.J. Brouwer and A. Heyting
来源期刊:History and Philosophy of LogicDOI:10.1080/01445340.2018.1504414