Wittgensteinian tableaux, identity, and co-denotation

DOI10.1007/S10670-008-9118-XzbMath1170.03004OpenAlexW2067757169MaRDI QIDQ1020577

Kai Frederick Wehmeier

Publication date: 29 May 2009

Published in: Erkenntnis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10670-008-9118-x

zbMATH Keywords

Tractatusfirst-order logicidentityWittgensteinHintikkatableaux calculus

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10)

Related Items (7)

On Logicist Conceptions of Functions and Classes ⋮ TRACTARIAN FIRST-ORDER LOGIC: IDENTITY AND THE N-OPERATOR ⋮ On Non-transitive “Identity” ⋮ LOGIC IN THE TRACTATUS ⋮ Is objectual identity really dispensable? ⋮ When is a schema not a schema? On a remark by Suszko ⋮ WITTGENSTEIN’S ELIMINATION OF IDENTITY FOR QUANTIFIER-FREE LOGIC

Cites Work

• Wittgensteinian predicate logic
• Trees and finite satisfiability: proof of a conjecture of Burgess
• Finite tree property for first-order logic with identity and functions
• Identity, variables, and impredicative definitions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Wittgensteinian tableaux, identity, and co-denotation