Philosophie Lexikon der ArgumenteHome
| |||
|
| |||
| Logik: die Lehre von der Zulässigkeit bzw. Unzulässigkeit von Relationen zwischen Aussagen und damit der Gültigkeit der Zusammensetzungen dieser Aussagen. Insbesondere geht es darum, ob Schlüsse aus bestimmten Vorgaben wie Prämissen oder Vordersätzen erhalten werden können. Logische Formeln sind zunächst nicht interpretiert. Erst die Interpretation, d.h. die Einsetzung von Werten, z.B. Gegenständen anstelle der freien Variablen macht die Frage nach ihrer Wahrheit sinnvoll. _____________Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente. | |||
| Autor | Begriff | Zusammenfassung/Zitate | Quellen |
|---|---|---|---|
|
Peter Geach über Logik – Lexikon der Argumente
I 108 Logische Prozedur/Geach: Eine logische Prozedur ist nicht linguistisch, sondern sollte als eine Funktion betrachtet werden. Argumente und Werte müssen jeweils einer bestimmten Kategorie angehören. Bsp Negation ist eine logische Prozedur. Satznegation: hat Sätze als Argumente und Werte. Prädikatnegation: hat Prädikate als Argumente und Werte. Einsetzen: Das Einsetzen des Namens "Peter" als logisches Subjekt ist selbst eine logische Prozedur: sie hat ein einstelliges Prädikat (non-place predicable) als Argument und liefert einen Satz als Wert. usw. Das zeigt schon, wie logische Prozeduren definiert werden können: "P wird für Q in E' eingesetzt, sodass man E erhält", heißt: "Es gibt einen Ausdruck E'' der der Wert von P für das Argument E ist und E' ist der Wert von Q für E'' als Argument". Vgl. >Identität/Geach, vgl. >Aussagenlogik, >Modallogik, >Mehrwertige Logik, >Epistemische Logik, >Quantifikation, >Formalisierung._____________ Zeichenerklärung: Römische Ziffern geben die Quelle an, arabische Ziffern die Seitenzahl. Die entsprechenden Titel sind rechts unter Metadaten angegeben. ((s)…): Kommentar des Einsenders. Übersetzungen: Lexikon der ArgumenteDer Hinweis [Begriff/Autor], [Autor1]Vs[Autor2] bzw. [Autor]Vs[Begriff] bzw. "Problem:"/"Lösung", "alt:"/"neu:" und "These:" ist eine Hinzufügung des Lexikons der Argumente. |
Gea I P.T. Geach Logic Matters Oxford 1972 |
||
