The Expressive Power of theN-Operator and the Decidability of Logic in Wittgenstein’sTractatus

DOI10.1080/01445340.2022.2056687MaRDI QIDQ6650607zbMATH OpenFDO

Authors

Publication date 9 December 2024

Published in History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/01445340.2022.2056687

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• The power and the limits of Wittgenstein's N operator
• Passed over in silence. On Wittgenstein's `Tractatus' and its system
• Wittgenstein's conjecture
• Logic in the \textit{Tractatus}
• Tractarian first-order logic: identity and the N-operator

Cites work

• A note on the Entscheidungsproblem.
• scientific article; zbMATH DE number 2134014 (Why is no real title available?)
• scientific article; zbMATH DE number 1237869 (Why is no real title available?)
• Introduction to a general theory of elementary propositions.
• On computable numbers, with an application to the Entscheidungsproblem.
• Philosophy of logic and mathematics. Proceedings of the 41st international Ludwig Wittgenstein symposium
• Principia Mathematica. Vol. I.
• The power and the limits of Wittgenstein's N operator
• The principles of Mathematics. Vol I.
• Tractarian first-order logic: identity and the N-operator
• Tractarian semantics for predicate logic
• Tractatus logico-philosophicus. With an introduction by B. Russell.
• Wittgenstein's \(ab\)-notation: an iconic proof procedure

Cited in

(1)

• Incompatibility, inconsistency, and logical analysis in \textit{Tractatus logico-philosophicus}

This page was built for publication: The Expressive Power of theN-Operator and the Decidability of Logic in Wittgenstein’sTractatus

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