The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics

DOI10.1007/s11229-011-9910-zzbMath1275.03054OpenAlexW2112738015MaRDI QIDQ383070

Peter Schroeder-Heister

Publication date: 25 November 2013

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-011-9910-z

zbMATH Keywords

inferenceproof-theoretic semanticsconsequencedefinitional reflection

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Related Items (max. 100)

CONTRACTIONS OF NONCONTRACTIVE CONSEQUENCE RELATIONS ⋮ The placeholder view of assumptions and the Curry-Howard correspondence ⋮ The original sin of proof-theoretic semantics ⋮ The placeholder view of assumptions and the Curry-Howard correspondence (extended abstract) ⋮ Anything goes ⋮ Composition of deductions within the propositions-as-types paradigm ⋮ Blurring: an approach to conflation ⋮ Inferential Semantics ⋮ Relevant Connexive Logic ⋮ Does the Implication Elimination Rule Need a Minor Premise? ⋮ ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS ⋮ Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus
• Lower bounds for increasing complexity of derivations after cut elimination
• Partial inductive definitions
• On the proof-theoretic foundation of general definition theory
• Validity concepts in proof-theoretic semantics
• Konstruktive Begründung der Mathematik
• Sequent calculi for induction and infinite descent
• A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules
• Theory of Formal Systems. (AM-47)
• A natural extension of natural deduction
• Lower Bounds on Herbrand's Theorem
• Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
• Formal Reductions of the General Combinatorial Decision Problem

This page was built for publication: The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics