Philosophie Lexikon der ArgumenteHome
| |||
|
| |||
| Verallgemeinerung: Eine Verallgemeinerung ist die Ausdehnung einer Aussage (einer Zuschreibung von Eigenschaften) die auf einen Bereich D von Gegenständen zutrifft, auf einen Gegenstandsbereich E, der größer als D ist und D enthält. Zum Gegenstandsbereich können in diesem Fall auch Zeitpunkte gehören. Eine Eigenschaft, die voll auf die Gegenstände eines Gegenstandsbereichs zutrifft, kann partiell auf die Gegenstände eines größeren Bereichs zutreffen. Siehe auch Gültigkeit, Allgemeingültigkeit, Allgemeines, Prädikation, Methoden._____________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 Verallgemeinerung – Lexikon der Argumente
Berka I 469 Generalisation/Generalisierung/Tarski: Verallgemeinerung lässt freie Variablen verschwinden. >Freie Variablen, >Gebundene Variablen. Berka I 480 Generalisierung/Generalisation/Erfüllung/"höchstens an i-ter Stelle unterschieden"/Tarski: Sei x eine Aussagenfunktion, angenommen es ist schon bekannt, welche Folgen die Funktion x erfüllen. Indem wir den Inhalt der betrachteten Operation berücksichtigen, werden wir nur dann von der Folge f behaupten, dass sie die Funktion ∩kx erfüllt, falls diese Folge die Funktion x selbst erfüllt und sogar dann nicht zu erfüllen aufhört, wenn das k-te Glied auf beliebige Weise variiert. >Erfüllung/Tarski, >Folge (Sequenz)/Tarski. Bsp Die Funktion ∩2l1,2 wird nur durch eine solche Folge erfüllt, die die Formel f1 ⊂ f2 verifiziert und dies ohne Rücksicht darauf, wie das zweite Glied dieser Folge variiert. - Das ist hier nur möglich, wenn das erste Glied die leere Klasse ist.(1) >Funktion/Tarski, >Terminologien/Tarski. 1. A.Tarski, Der Wahrheitsbegriff in den formalisierten Sprachen, Commentarii Societatis philosophicae Polonorum. Vol 1, Lemberg 1935_____________ 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 |
||
> Gegenargumente gegen Tarski
> Gegenargumente zu Verallgemeinerung ...
