Psychologie Lexikon der Argumente

Home Screenshot Tabelle Begriffe

 
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 Argumente
Der 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

Send Link

Autoren A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z  


Begriffe A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z