Wittgenstein'sab-Notation: An Iconic Proof Procedure

DOI10.1080/01445340.2017.1312222zbMath1417.03082OpenAlexW2613863857WikidataQ57678861 ScholiaQ57678861MaRDI QIDQ4608210

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) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (3)

Incompatibility, inconsistency, and logical analysis in \textit{Tractatus logico-philosophicus} ⋮ Newton's experimental proofs ⋮ Iconic Logic and Ideal Diagrams: The Wittgensteinian Approach

Cites Work

• Minimizing disjunctive normal forms of pure first-order logic
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Wittgenstein'sab-Notation: An Iconic Proof Procedure