Philosophie Lexikon der ArgumenteHome | |||
| |||
Folgebeziehung: inhaltliche Beziehung zwischen Aussagen im Gegensatz zur formalen Implikation. Siehe auch Konditional._____________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 |
---|---|---|---|
Alfred Tarski über Folgebeziehung – Lexikon der Argumente
Berka I 405f Folgerung/Folgebeziehung/formal/Alltagssprache/Tarski: Der formale Folgerungsbegriff deckt sich nicht mit dem alltagssprachlichen. Bsp A0: 0 besitzt die gegebene Eigenschaft E A1: 1 besitzt die gegebene Eigenschaft E usw. An: n besitzt die gegebene Eigenschaft E. Daraus lässt sich mit normalen Schlussregeln nicht der Satz beweisen: A: Jede natürliche Zahl besitzt die gegebene Eigenschaft E. Lösung: neue Schlussregel: unendliche Induktion. Problem: Unendlichkeit. Lösung: Beweisbarkeit statt tatsächlicher Beweise. >Beweisbarkeit, >Beweise. Berka I 407 Folgerung/Folgebeziehung/Gödel: Problem: Es lassen sich Aussagen konstruieren, die im üblichen Sinn aus den Sätzen einer Theorie folgen, die sich aber mit den Schlussregeln nicht beweisen lassen. Berka I 409 Def logische Folgerung/Tarski: Die Aussage X folgt logisch aus den Aussagen der Klasse K gdw. jedes Modell der Klasse K zugleich ein Modell der Aussage X ist. I 410 Die Definition der logischen Folgerung hat mit der Einteilung in logische und außerlogische Termini zu tun - diese ist willkürlich.(1) Vgl. >Extensionale Sprache, >Extension, >Extensionalität, >Alltagsprache, >Formalisierung. 1. A.Tarski, „Über den Begriff der logischen Folgerung“, in: Actes du Congrès International de Philosophie Scientifique, Paris 1935, Bd. VII, ASI 394, Paris 1936, S. 1-11_____________ 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. |
Tarski I A. Tarski Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983 Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 |