Meaning approached via proofs

DOI10.1007/s11229-004-6295-2zbMath1103.03055OpenAlexW1987976586MaRDI 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 semanticsmeanings of logical constants

Mathematics Subject Classification ID

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

Related Items (31)

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

Cites Work

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

This page was built for publication: Meaning approached via proofs