Speech acts, categoricity, and the meanings of logical connectives

DOI10.1215/00294527-2798700MaRDI QIDQ2258539zbMATH OpenOpenAlexFDO

Authors 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

categoricitylogical constantslogical inferentialismproof theorysequent calculus

Mathematics Subject Classification ID

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

Recommendations

• Some comments on Ian Rumfitt's bilateralism
• On assertion and denial in the logic for pragmatics
• An expressivist bilateral meaning-is-use analysis of classical propositional logic
• Bilateralism based on corrective denial
• Differences between logics and meaning-variance: a categorial approach

Cites work

• Algebraic methods in philosophical logic
• An introduction to non-classical logic. From if to is
• Classical harmony
• Classical harmony: Rules of inference and the meaning of the logical constants
• Completeness and super-valuations
• Expressive power and incompleteness of propositional logics
• Generalized definitional reflection and the inversion principle
• Harmony and autonomy in classical logic
• scientific article; zbMATH DE number 3591947 (Why is no real title available?)
• scientific article; zbMATH DE number 1281125 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 874672 (Why is no real title available?)
• scientific article; zbMATH DE number 3099236 (Why is no real title available?)
• Logical consequence inside out
• Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle
• On sequence-conclusion natural deduction systems
• Outline of a Theory of Truth
• Rejection
• Saving truth from paradox
• Semantic holism
• Sequents in many valued logic I
• The categoricity problem and truth-value gaps
• Tonk
• Truth values and proof theory

Cited in

(22)

• Compositionality solves Carnap's problem
• Proof search on bilateralist judgments over non-deterministic semantics
• Assertion, rejection, and semantic universals
• Some comments on Ian Rumfitt's bilateralism
• Bilateralism, trilateralism, multilateralism and poly-sequents
• The laws of thought and the laws of truth as two sides of one coin
• Are the open-ended rules for negation categorical?
• Differences between logics and meaning-variance: a categorial approach
• An expressivist bilateral meaning-is-use analysis of classical propositional logic
• SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES
• The logic of lexical connectives
• Logical multilateralism
• 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
• A general schema for bilateral proof rules
• Categorical quantification
• Categoricity problem for LP and K3
• Supposition: no problem for bilateralism
• Carnap's (categoricity) problem
• Dendriform algebras relative to a semigroup

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2258539)