Wittgenstein's ab-Notation: An Iconic Proof Procedure

History and Philosophy of Logic 38 (3):239-262 (2017)
  Copy   BIBTEX

Abstract

This paper systematically outlines Wittgenstein's ab-notation. The purpose of this notation is to provide a proof procedure in which ordinary logical formulas are converted into ideal symbols that identify the logical properties of the initial formulas. The general ideas underlying this procedure are in opposition to a traditional conception of axiomatic proof and are related to Peirce's iconic logic. Based on Wittgenstein's scanty remarks concerning his ab-notation, which almost all apply to propositional logic, this paper explains how to extend his method to a subset of first-order formulas, namely, formulas that do not contain dyadic sentential connectives within the scope of any quantifier.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,362

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The Truth Table Formulation of Propositional Logic.Tristan Grøtvedt Haze - forthcoming - Teorema: International Journal of Philosophy.
Semantics for existential graphs.Eric M. Hammer - 1998 - Journal of Philosophical Logic 27 (5):489-503.
Decoding Gentzen's Notation.Luca Bellotti - 2018 - History and Philosophy of Logic 39 (3):270-288.
Why does the proof-theory of hybrid logic work so well?Torben Braüner - 2007 - Journal of Applied Non-Classical Logics 17 (4):521-543.
Dictionary of Logical Terms and Symbols.Carol Horn Greenstein - 1978 - New York, NY, USA: Van Nostrand Reinhold Company.
Linguistic applications of first order intuitionistic linear logic.Richard Moot & Mario Piazza - 2001 - Journal of Logic, Language and Information 10 (2):211-232.

Analytics

Added to PP
2017-05-12

Downloads
60 (#292,539)

6 months
14 (#180,428)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Timm Lampert
Humboldt-University, Berlin

References found in this work

Mathematical logic.Willard Van Orman Quine - 1951 - Cambridge,: Harvard University Press.
Principia Mathematica.A. N. Whitehead & B. Russell - 1927 - Annalen der Philosophie Und Philosophischen Kritik 2 (1):73-75.
A Companion to Wittgenstein’s Tractatus.Max Black - 1964 - Cambridge University Press.
Principia mathematica.A. N. Whitehead & B. Russell - 1910-1913 - Revue de Métaphysique et de Morale 19 (2):19-19.

View all 18 references / Add more references