Why should identity be logical??

DOI10.1017/S1755020325100932MaRDI QIDQ6873536zbMATH OpenFDO

Authors Chris Mitsch

Publication date 16 January 2026

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S1755020325100932

zbMATH Keywords

harmonyidentityinferentialismmeaning as useproof-theoretic semanticsW-logicwittgenstein

Mathematics Subject Classification ID

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

Cites work

• A novel approach to equality
• Classical harmony and separability
• Computability and Logic
• General-elimination harmony and the meaning of the logical constants
• Harmonic inferentialism and the logic of identity
• Harmonious rules for identity
• Harmony in a sequent setting
• Harmony in a sequent setting: a reply to Tennant
• scientific article; zbMATH DE number 3151566 (Why is no real title available?)
• scientific article; zbMATH DE number 3758289 (Why is no real title available?)
• scientific article; zbMATH DE number 1764654 (Why is no real title available?)
• Identity and harmony
• Identity, variables, and impredicative definitions
• Inferentialism and quantification
• Introducing identity
• Meaning in use
• The harmony of identity
• The Plight of the Platonist
• What is identical?
• Wittgensteinian predicate logic
• Wittgensteinian tableaux, identity, and co-denotation

This page was built for publication: Why should identity be logical??

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