Philosophie Lexikon der Argumente

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/Titel Begriff Zusammenfassung Metadaten

 
Bücher bei Amazon
Berka I 405f
Folgerung/Folgebeziehung/formal/Alltagssprache/Tarski: der formale 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: unendlich - Lösung: Beweisbarkeit statt tatsächlicher 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
Def der logischen Folgerung hat mit der Einteilung in logische und außerlogische Termini zu tun - diese ist willkürlich.


_____________
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.

Tarsk I
A. Tarski
Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983

Brk I
K. Berka/L. Kreiser
Logik Texte Berlin 1983

Send Link
> Gegenargumente gegen Tarski

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  



> Eigenen Beitrag vorschlagen | > Haben Sie einen Fehler entdeckt? | > Export als BibTeX Datei
 
Hg. Martin Schulz, Abfragedatum 24.11.2017