The Different Ways in which Logic is (said to be) Formal
From MaRDI portal
Publication:4914190
DOI10.1080/01445340.2011.555505zbMath1272.03017OpenAlexW2099067780WikidataQ58528856 ScholiaQ58528856MaRDI QIDQ4914190
Publication date: 18 April 2013
Published in: History and Philosophy of Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/01445340.2011.555505
Related Items
The foundational problem of logic, SEMANTIC POLLUTION AND SYNTACTIC PURITY, MATHEMATICAL INFERENCE AND LOGICAL INFERENCE, Against logical generalism, God, Gluts and Gaps: Examining an Islamic Traditionalist Case for a Contradictory Theology, Revisiting the Exegetical Tradition of Galen's Prologue to theArt of Medicinebefore Leoniceno: Logic, Teaching, and Didactics in Pietro Torrigiano'sPlusquam commentum, Hegel's Glutty Negation, Existential Import Today: New Metatheorems; Historical, Philosophical, and Pedagogical Misconceptions, Thoughts, Things and Logical Guidance, Requiem for logical nihilism, or: logical nihilism annihilated, Term Kinds and the Formality of Aristotelian Modal Logic, Saving Proof from Paradox: Gödel’s Paradox and the Inconsistency of Informal Mathematics, Syncategorematain Arabic Logic, al-Fārābī and Avicenna, A New–old Characterisation of Logical Knowledge, Universal Logic as a Science of Patterns, On Universality and Formality in 19th Century Symbolic Logic: The Case of Schröder’s “Absolute Algebra”
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Formalization and the objects of logic
- An Introduction to Gödel's Theorems
- What are logical notions?
- On the Concept of Following Logically
- Buridan'sConsequentia: Consequence and Inference Within a Token-Based Semantics
- Logical Approaches to Computational Barriers
- A note on formality and logical consequence