Wikidata facts
- Part of
- mathematical logic
- Has part
- higher-order logic
Show 5 more facts
- topic's main category
- Category:Predicate logic
- Commons category
- Predicate logic
- Stack Exchange tag
- philosophy.stackexchange.com/tags/predicate-logic
- different from
- first-order logic
- uses
- quantifier
Sources (1)
via Wikidata · CC0
Article · Deutsch
Die Prädikatenlogiken (auch Quantorenlogiken) bilden eine Familie logischer Systeme, die es erlauben, in der Praxis und in der Theorie vieler Wissenschaften wichtige Bereiche durch Argumente zu formalisieren und sie auf ihre Gültigkeit zu überprüfen. Auf Grund dieser Eigenschaft spielt die Prädikatenlogik eine große Rolle in der Logik sowie in Mathematik, Informatik, Linguistik und Philosophie. Gottlob Frege und Charles Sanders Peirce entwickelten unabhängig voneinander die Prädikatenlogik. Frege entwickelte und formalisierte sein System in der 1879 erschienenen Begriffsschrift. Ältere logische Systeme, zum Beispiel die traditionelle Begriffslogik, sind hinsichtlich ihrer Ausdrucksstärke echte Teilmengen der Prädikatenlogik. Sie lassen sich vollständig in diese übersetzen.
Abstract from DBpedia / Wikipedia · CC BY-SA