Identity, variables, and impredicative definitions

DOI10.2307/2269095zbMATH Open0071.01101OpenAlexW2169324774MaRDI QIDQ3233205FDOQ3233205

Authors: Jaakko Hintikka 

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

zbMATH Keywords

foundations, philosophy, logic

Cites Work

• New Foundations for Mathematical Logic
• Title not available (Why is that?)

Cited In (15)

• Logic in the \textit{Tractatus}
• Tractarian first-order logic: identity and the N-operator
• Wittgensteinian predicate logic and compositionality
• A novel approach to equality
• WITTGENSTEIN’S ELIMINATION OF IDENTITY FOR QUANTIFIER-FREE LOGIC
• A sequent calculus for urn logic
• Wittgensteinian predicate logic
• The logicality of equality
• Wittgensteinian tableaux, identity, and co-denotation
• What is identical?
• The fallacies of the new theory of reference
• Is objectual identity really dispensable?
• The power and the limits of Wittgenstein's N operator
• A finite approximation to models of set theory
• Logical atomism, nominalism, and modal logic

This page was built for publication: Identity, variables, and impredicative definitions

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