Paradox and inconsistency: revising Tennant's distinction through Schroeder-Heister's assumption rules

DOI10.1007/978-3-319-10434-8_7zbMATH Open1429.03196OpenAlexW197207521MaRDI QIDQ5213629FDOQ5213629

Luca Tranchini

Publication date: 4 February 2020

Published in: Boston Studies in the Philosophy and History of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-10434-8_7

Recommendations

• A normal paradox
• On paradoxes in normal form
• Natural deduction and Curry's paradox
• Ekman's paradox
• scientific article

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites Work

• Outline of a Theory of Truth
• Title not available (Why is that?)
• General-elimination harmony and the meaning of the logical constants
• A natural extension of natural deduction
• Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus
• Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
• Title not available (Why is that?)
• Title not available (Why is that?)
• Proof-theoretic semantics, paradoxes and the distinction between sense and denotation
• Proof and Paradox
• Ekman's paradox
• Propositions in Prepositional Logic Provable Only by Indirect Proofs

This page was built for publication: Paradox and inconsistency: revising Tennant's distinction through Schroeder-Heister's assumption rules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5213629)