Wittgenstein's ab-notation: an iconic proof procedure

DOI10.1080/01445340.2017.1312222MaRDI QIDQ4608210zbMATH OpenOpenAlexWikidataFDO

Authors Timm Lampert

Publication date 16 March 2018

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

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

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) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Tractarian notations
• scientific article; zbMATH DE number 7644092
• Tractarian first-order logic: identity and the N-operator
• From Wittgenstein’s N-operator to a New Notation for Some Decidable Modal Logics
• On Frege's \textit{Begriffsschrift} notation for propositional logic: design principles and trade-offs

Cites work

• scientific article; zbMATH DE number 1773524 (Why is no real title available?)
• scientific article; zbMATH DE number 2168553 (Why is no real title available?)
• scientific article; zbMATH DE number 3068529 (Why is no real title available?)
• Minimizing disjunctive normal forms of pure first-order logic

Cited in

(5)

• Newton's experimental proofs
• scientific article; zbMATH DE number 7644092 (Why is no real title available?)
• Iconic Logic and Ideal Diagrams: The Wittgensteinian Approach
• Incompatibility, inconsistency, and logical analysis in \textit{Tractatus logico-philosophicus}
• The Expressive Power of theN-Operator and the Decidability of Logic in Wittgenstein’sTractatus

This page was built for publication: Wittgenstein's \(ab\)-notation: an iconic proof procedure

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