Identity, variables, and impredicative definitions

DOI10.2307/2269095MaRDI QIDQ3233205zbMATH OpenOpenAlexFDO

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

• scientific article; zbMATH DE number 3109395 (Why is no real title available?)
• New Foundations for Mathematical Logic

Cited in

(15)

• Tractarian first-order logic: identity and the N-operator
• Logic in the \textit{Tractatus}
• Wittgensteinian predicate logic and compositionality
• A novel approach to equality
• A sequent calculus for urn logic
• WITTGENSTEIN’S ELIMINATION OF IDENTITY FOR QUANTIFIER-FREE 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)