The Different Ways in which Logic is (said to be) Formal

DOI10.1080/01445340.2011.555505zbMath1272.03017OpenAlexW2099067780WikidataQ58528856 ScholiaQ58528856MaRDI QIDQ4914190

Catarina Dutilh Novaes

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

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

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