Einführung in die Formale Logik: Typen, Sprache und Aussagenlogik
Eingeordnet in Philosophie und Ethik
Geschrieben am in Deutsch mit einer Größe von 2,54 KB
Formale Logik
Die formale Logik befasst sich mit der Gültigkeit von Argumenten, indem sie nur deren Form betrachtet. Sie bestimmt, wann ein Schlussfolgerung korrekt aus den Prämissen abgeleitet wurde.
Typen der formalen Logik
- Aussagenlogik: Untersucht die Gültigkeit von Argumenten anhand des Wahrheitswerts (wahr oder falsch) jeder Aussage. Aussagen werden als Ganzes betrachtet, ohne interne Analyse.
- Prädikatenlogik: Analysiert die interne Struktur von Aussagen, indem sie Subjekt und Prädikat berücksichtigt.
- Klassenlogik: Betrachtet Aussagen als Verbindungen zwischen Individuen und Klassen. Prädikate werden als Eigenschaften von Individuen innerhalb einer Klasse analysiert. Eine Einschränkung ist die Schwierigkeit, Beziehungen auszudrücken.