The following pages link to History and Philosophy of Logic (Q2757958):
Displayed 50 items.
- Continuity in Semantic Theories of Programming (Q2963952) (← links)
- A Vindication of Program Verification (Q2963953) (← links)
- Impossibility in the<i>Prior Analytics</i>and Plato's dialectic (Q2963955) (← links)
- L'idée de la logique formelle dans les appendices VI à X du volume 12 des<i>Husserliana</i>(1970) (Q2963956) (← links)
- Satisfying Predicates: Kleene's Proof of the Hilbert–Bernays Theorem (Q2963957) (← links)
- Brouwer and Nietzsche: Views about Life, Views about Logic (Q2963958) (← links)
- Aristotle on the Non-Cause Fallacy (Q2963960) (← links)
- Aristotle on Universal Quantification: A Study from the Point of View of Game Semantics (Q2963961) (← links)
- Robert Kilwardby's Disputational Logic (Q2963962) (← links)
- Charles S. Peirce and the Medieval Doctrine of<i>consequentiae</i> (Q2963963) (← links)
- Fred Sommers’ Contributions to Formal Logic (Q2963964) (← links)
- Obituary for Ivor Grattan-Guinness (1941–2014) (Q2963965) (← links)
- A Formal Reconstruction of Buridan's Modal Syllogism (Q2963966) (← links)
- Buridan's Solution to the Liar Paradox (Q2963967) (← links)
- Hegel's Glutty Negation (Q2963969) (← links)
- Existential Import Today: New Metatheorems; Historical, Philosophical, and Pedagogical Misconceptions (Q2963970) (← links)
- <i>Grundlagen</i>, Section 64: Frege's Discussion of Definitions by Abstraction in Historical Context (Q2963971) (← links)
- The Problem of Foundation in Early Nyāya and in Navya-Nyāya (Q2963972) (← links)
- Alexander of Aphrodisias and the Heterodox<i>dictum de omni et de nullo</i> (Q2963973) (← links)
- On Walter Dubislav (Q2963974) (← links)
- L.E.J. Brouwer's ‘Unreliability of the Logical Principles’: A New Translation, with an Introduction (Q2963977) (← links)
- König's Infinity Lemma and Beth's Tree Theorem (Q2963978) (← links)
- Rescuing Poincaré from Richard’s Paradox (Q2963980) (← links)
- R. M. Martin’s Logic of Belief (Q2963981) (← links)
- How the Validity of the Parallel Inference is Possible: From the Ancient Mohist Diagnose to a Modern Logical Treatment of Its Semantic-Syntactic Structure (Q2963982) (← links)
- Pāṇini's Grammar and Modern Computation (Q2963983) (← links)
- A Note on ‘Distributive Terms, Truth, and<i>The Port Royal Logic</i>’ (Q2963984) (← links)
- Mind the Croc! Rationality Gaps vis-à-vis the Crocodile Paradox (Q2964408) (← links)
- Whitehead's (<i>Badly</i>) Emended<i>Principia</i> (Q2964409) (← links)
- Boolos and the Metamathematics of Quine's Definitions of Logical Truth and Consequence (Q2964410) (← links)
- Polarity and Inseparability: The Foundation of the Apodictic Portion of Aristotle's Modal Logic (Q3012666) (← links)
- Wittgenstein and the Real Numbers (Q3012668) (← links)
- The Later Mohists and Logic (Q3012670) (← links)
- Logic and Mathematics in the Seventeenth Century (Q3019771) (← links)
- Functions in Frege, Bolzano and Husserl (Q3019772) (← links)
- McColl and Minimization (Q3019773) (← links)
- Cut as Consequence (Q3019775) (← links)
- Łukasiewicz and Popper on Induction (Q3019776) (← links)
- Logical Analysis of the Talmudic Rules of General and Specific (Klalim-u-Pratim) (Q3019778) (← links)
- Uncertainty Rules in Talmudic Reasoning (Q3019779) (← links)
- Qal wa- omer and Theory of Massive-Parallel Proofs (Q3019780) (← links)
- The manuscripts of emil L. post (Q3033717) (← links)
- ‘ich habe mich wohl gehütet, alle patronen auf einmal zu verschießen’. ernst zermelo in göttingen (Q3033723) (← links)
- Conversion of propositions containing singular or quantified terms in pseudo-scotus (Q3037384) (← links)
- Class, mass and mereology (Q3037393) (← links)
- The compactness of first-order logic:from gödel to lindström (Q3141183) (← links)
- Zero-place operations and functional completeness, and the definition of new connectives (Q3141184) (← links)
- A critical appraisal of second-order logic (Q3141185) (← links)
- Albert le Grand:<i>De ce qui vient avant la logique</i> (Q3156300) (← links)
- On the Substitutional Characterization of First-Order Logical Truth (Q3156301) (← links)