A FORMALIZATION OF KANT’S TRANSCENDENTAL LOGIC

DOI10.1017/S1755020310000341zbMath1252.03007OpenAlexW2167512864MaRDI QIDQ3094188

Theodora Achourioti, Michiel Marian Michiel van Lambalgen

Publication date: 21 October 2011

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020310000341

Mathematics Subject Classification ID

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

Related Items (4)

Formalizing Kant's rules. A logic of conditional imperatives and permissives ⋮ THE LOGIC AND TOPOLOGY OF KANT’S TEMPORAL CONTINUUM ⋮ Objects: a study in Kantian formal epistemology ⋮ Logical Foundations and Kant's Principles of Formal Logic

Cites Work

• On sequence-conclusion natural deduction systems
• Full intuitionistic linear logic
• An Intuitionistic Axiomatisation of Real Closed Fields
• A FORMAL SYSTEM FOR EUCLID’SELEMENTS

This page was built for publication: A FORMALIZATION OF KANT’S TRANSCENDENTAL LOGIC