Identity, variables, and impredicative definitions
From MaRDI portal
Publication:3233205
DOI10.2307/2269095zbMath0071.01101OpenAlexW2169324774MaRDI QIDQ3233205
Publication date: 1956
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2269095
Related Items (13)
A sequent calculus for urn logic ⋮ A novel approach to equality ⋮ TRACTARIAN FIRST-ORDER LOGIC: IDENTITY AND THE N-OPERATOR ⋮ LOGIC IN THE TRACTATUS ⋮ A finite approximation to models of set theory ⋮ Wittgensteinian predicate logic ⋮ Logical atomism, nominalism, and modal logic ⋮ What is identical? ⋮ Is objectual identity really dispensable? ⋮ Wittgensteinian tableaux, identity, and co-denotation ⋮ The power and the limits of Wittgenstein's N operator ⋮ The fallacies of the new theory of reference ⋮ WITTGENSTEIN’S ELIMINATION OF IDENTITY FOR QUANTIFIER-FREE LOGIC
Cites Work
This page was built for publication: Identity, variables, and impredicative definitions