Prädikatenlogik ohne gebundene Variablen

Frankfurt am Main: P. Lang (1980)
  Copy   BIBTEX

Abstract

Wenn es eine Aufgabe der Philosophie ist, die Herrschaft des Wortes über den menschlichen Geist zu brechen (Frege), dann ist zu fragen, ob die Prädikatenlogik die Wörter «für alle» und «es gibt» angemessen formalisiert. Übersetzt man «alle Menschen sind sterblich» mit «für alle x : wenn x ein Mensch ist, dann ist x sterblich», so hat man zwar die Syllogistik des Aristoteles überwunden, dafür tritt jetzt aber eine Variable x auf, die in der Aussage vorher nicht vorkam.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

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

Cylindric algebras.Leon Henkin - 1971 - Amsterdam,: North-Holland Pub. Co.. Edited by J. Donald Monk & Alfred Tarski.
Polyadic and cylindric algebras of sentences.Mohamed Amer & Tarek Ahmed - 2006 - Mathematical Logic Quarterly 52 (5):444-449.
A note on substitutions in representable cylindric algebras.Tarek Sayed Ahmed - 2009 - Mathematical Logic Quarterly 55 (3):280-287.
Polyadic and cylindric algebras of sentences.Mohamed Amer & Tarek Sayed Ahmed - 2006 - Mathematical Logic Quarterly 52 (5):444-449.
Independence-friendly cylindric set algebras.Allen Mann - 2009 - Logic Journal of the IGPL 17 (6):719-754.
On Amalgamation in Algebras of Logic.Tarek Sayed Ahmed - 2005 - Studia Logica 81 (1):61-77.

Analytics

Added to PP
2023-06-03

Downloads
11 (#1,141,924)

6 months
9 (#315,924)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references