Which `intensional paradoxes' are paradoxes?

DOI10.1007/S10992-024-09761-8MaRDI QIDQ6606835

Neil Tennant

Publication date: 17 September 2024

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

normal formsquantified propositional logicRussell's paradox of propositionsconstructive \textit{reductio}prior's intensional paradoxesproof-theoretic criterion of paradoxicality

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Natural deduction with general elimination rules
• The principles of Mathematics. Vol I.
• Some results on the limits of thought
• Ekman's paradox
• On paradoxes in normal form
• Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
• Cut for core logic
• PARADOXES OF INTENSIONALITY
• The Logic of Number
• The truth is never simple
• Proof and Paradox
• Propositions in Prepositional Logic Provable Only by Indirect Proofs
• On Paradox without Self-Reference
• Paradox without Self-Reference
• Outline of a Theory of Truth
• CUT FOR CLASSICAL CORE LOGIC
• A New Unified Account of Truth and Paradox
• Core Logic
• Proof-theoretic semantics, paradoxes and the distinction between sense and denotation
• Open Problems in Proof-Theoretic Semantics
• The foundations of mathematics.
• Harmony and paradox. Intensional aspects of proof-theoretic semantics
• Frege's class theory and the logic of sets

This page was built for publication: Which `intensional paradoxes' are paradoxes?

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