The following pages link to History and Philosophy of Logic (Q2757958):
Displayed 50 items.
- Euler’s visual logic (Q2757959) (← links)
- Choice of primitives: A note on axiomatizing intuitionistic logic (Q2757960) (← links)
- Is there a zande logic? (Q2757961) (← links)
- Davidson, correspondence truth and the frege-Gödel—church argument (Q2757963) (← links)
- William stanley jevons and the extent of meaning in logic and economics (Q2757964) (← links)
- Peirce’s graphs amended (Q2757965) (← links)
- A fregean principle (Q2757966) (← links)
- Frege and his groups (Q2757967) (← links)
- Undefinability of truth. the problem of priority:tarski vs gödel (Q2757968) (← links)
- Completion, reduction and analysis: three proof-theoretic processes in aristotle’s<i>prior analytics</i> (Q2757970) (← links)
- On a fallacy attributed to tarski (Q2757971) (← links)
- The compossibility of impossibilities and ars obligatoria (Q2757972) (← links)
- A Brief History of Natural Deduction (Q2757973) (← links)
- Between Vienna and Berlin: The Immediate Reception of Godel's Incompleteness Theorems (Q2757974) (← links)
- Essay Review (Q2757976) (← links)
- Quine's Philosophy of Language and Polish Logic (Q2757977) (← links)
- Uber Beziehungen zwischen Heinrich Scholz und polnischen Logikern (Q2757978) (← links)
- The Work of John Corcoran: An Appreciation (Q2757980) (← links)
- Mathematics and Symbolic Logics: Some Notes on an Uneasy Relationship (Q2757981) (← links)
- Historians and Philosophers of Logic: Are They Compatible? The Bolzano-Weierstrass Theorem as a Case Study (Q2757982) (← links)
- Against Logical Realism (Q2757983) (← links)
- An Illocutionary Logical Explanation of the Surprise Execution (Q2757984) (← links)
- Quasi-Truth, Supervaluations and Free Logic (Q2757985) (← links)
- On bracketing names and quantifiers in first-order logic (Q2757986) (← links)
- Quantification in English is Inherently Sortal (Q2757987) (← links)
- Domains of Sciences, Universes of Discourse and Omega Arguments (Q2757989) (← links)
- Constructivity in Geometry (Q2757990) (← links)
- Publications of John Corcoran (Q2757991) (← links)
- On Husserl's Theory of Wholes and Parts (Q2757992) (← links)
- Avicenna and Tusi on the Contradiction and Conversion of the Absolute (Q2757994) (← links)
- Quantification Theory in *9 of Principia Mathematica (Q2757995) (← links)
- The Development of Logic as Reflected in the Fate of the Syllogism 1600–1900 (Q2757996) (← links)
- Vasil'Év and Imaginary Logic (Q2757997) (← links)
- Argument deletion, thematic roles, and Leibniz's logico-grammatical analysis of relations (Q2757998) (← links)
- Intuitionism, Meaning Theory and Cognition (Q2757999) (← links)
- Frege on identities (Q2758000) (← links)
- Fallacies and formal logic in Aristotle (Q2758001) (← links)
- Logic, Logic, and Logic (Q2758002) (← links)
- <i>Hupo</i>in the<i>Prior Analytics</i>: a note on Disamis XLL (Q2758003) (← links)
- Frege's theorem and his logicism (Q2758005) (← links)
- Essay Reviews (Q2758006) (← links)
- Logic as instrument: the millian view on the role of logic (Q2785668) (← links)
- Square of Opposition: A Diagram and a Theory in Historical Perspective (Q2963942) (← links)
- Avicenna on Possibility and Necessity (Q2963943) (← links)
- The Medieval Octagon of Opposition for Sentences with Quantified Predicates (Q2963945) (← links)
- Leibniz and the Square: A Deontic Logic for the<i>Vir Bonus</i> (Q2963947) (← links)
- The Square of Opposition: From Russell's Logic to Kant's Cosmology (Q2963948) (← links)
- Was Lewis Carroll an Amazing Oppositional Geometer? (Q2963949) (← links)
- When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science (Q2963950) (← links)
- Towards a Historical Notion of ‘Turing—the Father of Computer Science’ (Q2963951) (← links)