Proof and Paradox

DOI10.1111/J.1746-8361.1982.TB00820.XMaRDI QIDQ3958456zbMATH OpenOpenAlexFDO

Authors Neil Tennant

Publication date 1982

Published in Dialectica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1111/j.1746-8361.1982.tb00820.x

zbMATH Keywords

axiomatisationnormalisationproof theoretic characterisation of logico-semantical paradoxesproof theorysyntactic criteriontruthvicious circle

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory and constructive mathematics (03F99)

Cited in

(26)

• Perfect validity, entailment and paraconsistency
• Paradox and logical revision. A short introduction
• Anything goes
• Game of grounds
• Proof, meaning and paradox: some remarks
• On paradoxes in normal form
• Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
• The Church-Fitch knowability paradox in the light of structural proof theory
• Editorial introduction: substructural logics and metainferences
• HARMONISING HARMONY
• Contractions of noncontractive consequence relations
• GP's LP
• Disjoint logics
• Paradox and inconsistency: revising Tennant's distinction through Schroeder-Heister's assumption rules
• A recovery operator for nontransitive approaches
• A family of metainferential logics
• Which `intensional paradoxes' are paradoxes?
• Paradoxes, intuitionism, and proof-theoretic semantics
• Comments on the contributions
• A normal paradox
• Constructive arithmetical impossibilities and their relation to paradoxes
• Core Tarski and Core McGee
• The Berry paradox
• Problems of a proof-theoretic characterization of paradoxes
• Paradoxical connectives: proof-theoretic semantics, recursion, and fixed-point operators
• Natural deduction and Curry's paradox

This page was built for publication: Proof and Paradox

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