Proof, meaning and paradox: some remarks

DOI10.1007/s11245-018-9552-6zbMath1428.03072OpenAlexW2807898768MaRDI QIDQ2288280

Luca Tranchini

Publication date: 17 January 2020

Published in: Topoi (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11245-018-9552-6

zbMATH Keywords

paradoxFregeproof-theoretic semanticspartial functioninversion principleidentity of proof

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Calculi of epistemic grounding based on Prawitz's theory of grounds ⋮ Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds

Cites Work

• The epistemic significance of valid inference
• ``Inference versus consequence revisited: inference, consequence, conditional, implication
• General-elimination harmony and the meaning of the logical constants
• On the strength of dependent products in the type theory of Martin-Löf
• Constructivism in mathematics. An introduction. Volume I
• On the idea of a general proof theory
• Full abstraction in the lazy lambda calculus
• Ekman's paradox
• Truth from a proof-theoretic perspective
• Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
• Validity concepts in proof-theoretic semantics
• Semantic values for natural deduction derivations
• Proof-theoretic harmony: towards an intensional account
• HARMONISING HARMONY
• A natural extension of natural deduction
• Proof and Paradox
• Proof-theoretic semantics, paradoxes and the distinction between sense and denotation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Proof, meaning and paradox: some remarks