Logical constants as punctuation marks

DOI10.1305/NDJFL/1093635154zbMATH Open0692.03003OpenAlexW2067172985MaRDI QIDQ583184FDOQ583184

Authors: Kosta Došen 

Publication date: 1989

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

Full work available at URL: https://doi.org/10.1305/ndjfl/1093635154

Recommendations

• scientific article; zbMATH DE number 753778
• The Problem of Logical Constants
• scientific article; zbMATH DE number 1870430
• The proper object of logic
• Logical constants in quantifier languages

zbMATH Keywords

proof theorylogical constantsphilosophy of logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Structure of proofs (03F07)

Cited In (39)

• Logical constants and the glory of truth-conditional semantics
• Beyond logical pluralism and logical monism
• Title not available (Why is that?)
• Title not available (Why is that?)
• Logical constants and decision
• Does the implication elimination rule need a minor premise?
• Logical pluralism and semantic information
• Models of deduction
• Weak disharmony: some lessons for proof-theoretic semantics
• The proper object of logic
• Invariance criteria as meta-constraints
• Quine and Slater on paraconsistency and deviance
• A novel approach to equality
• Triple dots in a formal language
• SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES
• Harmony in multiple-conclusion natural-deduction
• Logical constants: a modalist approach
• Kolmogorov and the general theory of problems
• Proof-theoretic semantics: an autobiographical survey
• Comments on the contributions
• The logicality of equality
• Identity of Proofs Based on Normalization and Generality
• Carnap's problem, definability and compositionality
• Naive structure, contraction and paradox
• Hopeful monsters: a note on multiple conclusions
• GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC
• Hypersequent calculi for intuitionistic logic with classical atoms
• Grounding operators: transitivity and trees, logicality and balance
• The Problem of Logical Constants
• Expressivist perspective on logicality
• Proof-theoretic pluralism
• Logicality, double-line rules, and modalities
• A survey of nonstandard sequent calculi
• Reassessing logical hylomorphism and the demarcation of logical constants
• Game semantics and the manifestation thesis
• Assertion, denial, content, and (logical) form
• Functional Completeness in CPL via Correspondence Analysis
• Cartesian isomorphisms are symmetric monoidal: A justification of linear logic
• Existential Graphs as a Basis for Structural Reasoning

This page was built for publication: Logical constants as punctuation marks

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