LOGIC IN THE TRACTATUS

DOI10.1017/S1755020316000472zbMath1417.03106MaRDI QIDQ5737959

Max L. Weiss

Publication date: 31 May 2017

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

TarskiRussellinductionFregelogicconsequenceWittgenstein

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) Logic with extra quantifiers and operators (03C80) History of mathematical logic and foundations (03-03) Applications of computability and recursion theory (03D80) Inductive definability (03D70) Logic on admissible sets (03C70) Other notions of set-theoretic definability (03E47)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Wittgensteinian predicate logic
• Wittgensteinian tableaux, identity, and co-denotation
• Finitary set theory
• The \textit{Tractatus} system of arithmetic
• Die Widerspruchsfreiheit der allgemeinen Mengenlehre
• Identity, variables, and impredicative definitions
• On Moschovakis closure ordinals
• Second-Order Logic and Foundations of Mathematics
• On tarski on models
• Rejection
• Paradox without Self-Reference
• Set Theory
• TRACTARIAN FIRST-ORDER LOGIC: IDENTITY AND THE N-OPERATOR
• An interpolation theorem for denumerably long formulas
• On defining well-orderings
• Completeness in the theory of types

This page was built for publication: LOGIC IN THE TRACTATUS