WITTGENSTEIN’S ELIMINATION OF IDENTITY FOR QUANTIFIER-FREE LOGIC

DOI10.1017/S1755020319000698zbMath1483.03001OpenAlexW2609730753MaRDI QIDQ5001549

Timm Lampert, Markus Säbel

Publication date: 22 July 2021

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

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

zbMATH Keywords

RamseyidentityWittgensteinexclusive logic

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) History of mathematical logic and foundations (03-03)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Wittgensteinian predicate logic
• Wittgensteinian tableaux, identity, and co-denotation
• Über den Begriff der Identität
• Identity, variables, and impredicative definitions
• Computability and Logic
• TRACTARIAN FIRST-ORDER LOGIC: IDENTITY AND THE N-OPERATOR
• The power and the limits of Wittgenstein's N operator

This page was built for publication: WITTGENSTEIN’S ELIMINATION OF IDENTITY FOR QUANTIFIER-FREE LOGIC