Wittgensteinian predicate logic

DOI10.1305/ndjfl/1094155275zbMath1088.03027OpenAlexW1991882975MaRDI QIDQ558413

Kai Frederick Wehmeier

Publication date: 6 July 2005

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

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

zbMATH Keywords

first-order predicate logiccut-free sequent calculusidentity of objectidentity of sign

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05)

Related Items

A sequent calculus for urn logic ⋮ TRACTARIAN FIRST-ORDER LOGIC: IDENTITY AND THE N-OPERATOR ⋮ On Non-transitive “Identity” ⋮ LOGIC IN THE TRACTATUS ⋮ Supervenience, Dependence, Disjunction ⋮ Is objectual identity really dispensable? ⋮ Wittgensteinian tableaux, identity, and co-denotation ⋮ When is a schema not a schema? On a remark by Suszko ⋮ WITTGENSTEIN’S ELIMINATION OF IDENTITY FOR QUANTIFIER-FREE LOGIC ⋮ TRACTARIAN LOGICISM: OPERATIONS, NUMBERS, INDUCTION

Cites Work

• Identity, variables, and impredicative definitions
• Unnamed Item
• Unnamed Item