Speech acts, categoricity, and the meanings of logical connectives

DOI10.1215/00294527-2798700zbMath1342.03024OpenAlexW1977544958MaRDI QIDQ2258539

Ole Thomassen Hjortland

Publication date: 26 February 2015

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1415382951

zbMATH Keywords

sequent calculusproof theorycategoricitylogical constantslogical inferentialism

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Many-valued logic (03B50) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (11)

Proof search on bilateralist judgments over non-deterministic semantics ⋮ SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES ⋮ Logical multilateralism ⋮ The laws of thought and the laws of truth as two sides of one coin ⋮ Introduction: Bilateralism and Proof-Theoretic Semantics (Part I) ⋮ Introduction: Bilateralism and Proof-Theoretic Semantics (Part II) ⋮ Supposition: A Problem for Bilateralism ⋮ Bilateral Rules as Complex Rules ⋮ Are the open-ended rules for negation categorical? ⋮ Compositionality solves Carnap's problem ⋮ Dendriform algebras relative to a semigroup

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Completeness and super-valuations
• Semantic holism
• Expressive power and incompleteness of propositional logics
• Truth values and proof theory
• On sequence-conclusion natural deduction systems
• Classical harmony
• Tonk
• Classical harmony: Rules of inference and the meaning of the logical constants
• Harmony and autonomy in classical logic
• Generalized definitional reflection and the inversion principle
• Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle
• The categoricity problem and truth-value gaps
• Rejection
• Outline of a Theory of Truth
• Logical Consequence Inside Out
• Sequents in many valued logic I

This page was built for publication: Speech acts, categoricity, and the meanings of logical connectives