Kreisel’s Theory of Constructions, the Kreisel-Goodman Paradox, and the Second Clause

DOI10.1007/978-3-319-22686-6_3MaRDI QIDQ5864196zbMATH OpenOpenAlexFDO

Authors Walter Dean, Hidenori Kurokawa

Publication date 3 June 2022

Published in Advances in Proof-Theoretic Semantics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-319-22686-6_3

zbMATH Keywords

BHK interpretationintuitionistic logiclogic of proofsthe Kreisel-Goodman paradoxtheory of constructions

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03) Structure of proofs (03F07) Intuitionistic mathematics (03F55)

Recommendations

• Constructive negations and paraconsistency
• Yablo's paradox in second-order languages: consistency and unsatisfiability
• Fodor v. Kripke: semantic dispositionalism, idealization and ceteris paribus clauses
• Curry's paradox in contractionless constructive logic
• Gödelian sentences and semantic arguments
• A Kripkean Solution to Paradoxes of Denotation
• scientific article; zbMATH DE number 1251244
• scientific article; zbMATH DE number 4004179
• Relevance logics, paradoxes of consistency and the K rule. II: A non-constructive negation

Cited in

(7)

• The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb
• THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS)
• WHAT IS A RULE OF INFERENCE?
• A note on synonymy in proof-theoretic semantics
• A constructive interpretation of the logical constants
• Serial properties, selector proofs and the provability of consistency
• Natural constructive proofs of A via A B, proof paradoxes, and impredicativity

This page was built for publication: Kreisel’s Theory of Constructions, the Kreisel-Goodman Paradox, and the Second Clause

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