Meaning approached via proofs

DOI10.1007/s11229-004-6295-2zbMath1103.03055MaRDI QIDQ2500819

Dag Prawitz

Publication date: 18 August 2006

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-004-6295-2

zbMATH Keywords

proof-theoretic semantics; meanings of logical constants

Mathematics Subject Classification ID

03F03: Proof theory in general (including proof-theoretic semantics)

Related Items

Noisy vs. Merely Equivocal Logics, Definite Descriptions in Intuitionist Positive Free Logic, Prawitz, Proofs, and Meaning, Inversion Principles and Introduction Rules, General-Elimination Harmony and Higher-Level Rules, An Approach to General Proof Theory and a Conjecture of a Kind of Completeness of Intuitionistic Logic Revisited, ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS, BOLZANO’S CONCEPT OF GROUNDING (ABFOLGE) AGAINST THE BACKGROUND OF NORMAL PROOFS, INTUITIONISTIC EPISTEMIC LOGIC, Negative predication and distinctness, SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES, Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules, Structuring co-constructive logic for proofs and refutations, Proof-theoretic semantics, a problem with negation and prospects for modality, A logic inspired by natural language: quantifiers as subnectors, On Dummett's verificationist justification procedure, A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions, Inferentializing semantics, On reduction rules, meaning-as-use, and proof-theoretic semantics, Subatomic natural deduction for a naturalistic first-order language with non-primitive identity, Subatomic negation, Classical harmony and separability, Meaning and computing: two approaches to computable propositions, Radical anti-realism, Wittgenstein and the length of proofs, Truth as an epistemic notion, Is `no' a force-indicator? Yes, sooner or later!, Validity concepts in proof-theoretic semantics, The fundamental problem of general proof theory, RULES FOR SUBATOMIC DERIVATION, Does the Implication Elimination Rule Need a Minor Premise?, Verificationism and Classical Realizability

Cites Work

• On the idea of a general proof theory
• Unnamed Item
• Unnamed Item