Meaning and proofs: on the conflict between classical and intuitionistic logic
From MaRDI portal
Publication:4133922
DOI10.1111/j.1755-2567.1977.tb00776.xzbMath0361.02008OpenAlexW2094958055MaRDI QIDQ4133922
Publication date: 1977
Published in: Theoria (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1111/j.1755-2567.1977.tb00776.x
Philosophical and critical aspects of logic and foundations (03A05) Intuitionistic mathematics (03F55)
Related Items
Proofs, grounds and empty functions: epistemic compulsion in Prawitz's semantics, Classical harmony: Rules of inference and the meaning of the logical constants, Calculi of epistemic grounding based on Prawitz's theory of grounds, Antirealism, Meaning and Truth-Conditional Semantics, Game Semantics and the Manifestation Thesis, What is a relevant connective?, On the equivalence conjecture for proof-theoretic harmony, From the knowability paradox to the existence of proofs, The original sin of proof-theoretic semantics, Parts, classes and parts of classes: an anti-realist reading of Lewisian mereology, Pragmatic and dialogic interpretations of bi-intuitionism. Part I, Fitch's paradox and probabilistic antirealism, Logical consequence and the paradoxes, Verificationism and Classical Realizability, Why conclusions should remain single, Dummett's case for intuitionism, Towards a semantics based on the notion of justification, Introduction: Inferences and proofs, Dag Prawitz on proofs, operations and grounding, On reduction rules, meaning-as-use, and proof-theoretic semantics, A Notion of C-Justification for Empirical Statements, Classical harmony and separability, Harmony and autonomy in classical logic, Game of grounds, Five observations concerning the intended meaning of the intuitionistic logical constants, An interpretation of classical proofs, Proofs, Reasoning and the Metamorphosis of Logic, Program Testing and the Meaning Explanations of Intuitionistic Type Theory, Manifestability and epistemic truth, The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle, Intuitionistic truth, Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds
