Notre Dame Journal of Formal Logic

Wittgensteinian Predicate Logic

Kai F. Wehmeier

Full-text: Open access

Enhanced PDF (139 KB) PDF File (122 KB)

Abstract

We investigate a first-order predicate logic based on Wittgenstein's suggestion to express identity of object by identity of sign and difference of objects by difference of signs. Hintikka has shown that predicate logic can indeed be set up in such a way; we show that it can be done nicely. More specifically, we provide a perspicuous cut-free sequent calculus, as well as a Hilbert-type calculus, for Wittgensteinian predicate logic and prove soundness and completeness theorems.

Article information

Source
Notre Dame J. Formal Logic, Volume 45, Number 1 (2004), 1-11.

Dates
First available in Project Euclid: 2 September 2004

Permanent link to this document
https://projecteuclid.org/euclid.ndjfl/1094155275

Digital Object Identifier
doi:10.1305/ndjfl/1094155275

Mathematical Reviews number (MathSciNet)
MR2133080

Zentralblatt MATH identifier
1088.03027

Subjects
Primary: 03A05: Philosophical and critical {For philosophy of mathematics, see also 00A30} 03B60: Other nonclassical logic 03F05: Cut-elimination and normal-form theorems

Keywords
Wittgenstein variables cut-free calculi

Citation

Wehmeier, Kai F. Wittgensteinian Predicate Logic. Notre Dame J. Formal Logic 45 (2004), no. 1, 1--11. doi:10.1305/ndjfl/1094155275. https://projecteuclid.org/euclid.ndjfl/1094155275


Export citation

References

  • [1] Carnap, R., The Logical Syntax of Language, Routledge and Kegan Paul, London, 1937.
    Zentralblatt MATH: 63.0820.05
  • [2] Floyd, J., "Number and ascription of number in Wittgenstein's Tractatus", pp. 145--91 in Future Pasts, edited by J. Floyd and S. Shieh, Oxford University Press, New York, 2001.
    Mathematical Reviews (MathSciNet): MR2083221
    Zentralblatt MATH: 1096.03001
  • [3] Hintikka, J., "Identity, variables, and impredicative definitions", The Journal of Symbolic Logic, vol. 21 (1956), pp. 225--45.
    Mathematical Reviews (MathSciNet): MR18,455a
    Zentralblatt MATH: 0071.01101
    JSTOR: links.jstor.org
    Digital Object Identifier: doi:10.2307/2269095
  • [4] van Benthem, J., Exploring Logical Dynamics, Studies in Logic, Language and Information. CSLI Publications, Stanford, 1996.
    Mathematical Reviews (MathSciNet): MR98d:03042
    Zentralblatt MATH: 0873.03001
  • [5] Wittgenstein, L., Tractatus Logico-Philosophicus, Harcourt, Brace & Co, New York, 1922. Translated by C. K. Ogden.
    Zentralblatt MATH: 48.1128.13

Duke University Press

Notre Dame Journal of Formal Logic

New content alerts

Email RSS ToC RSS Article
  • You have access to this content.
  • You have partial access to this content.
  • You do not have access to this content.
Turn Off MathJax

What is MathJax?

More like this

+ See more