Richtigstellung
(max 500 Zeichen)
Captcha Code-Check*
Beanstandungen werden
nicht veröffentlicht.
Berka I 498
Def semantische Kategorie/Bedeutungskategorie/BK/Husserl/Tarski: zwei Ausdrücke gehören zur selben Bedeutungskategorie, wenn es
1. eine Aussagenfunktion gibt, die einen dieser Ausdrücke enthält
2. wenn keine Funktion, die einen dieser Ausdrücke enthält, den Charakter einer Aussagenfunktion verliert, wenn man in ihr diesen Ausdruck durch den anderen ersetzt - (reflexiv, transitiv, symmetrisch).
Bsp Kategorie der Aussagenfunktion - Bsp Namen von Individuen - Bsp Variablen.
>
Aussagenfunktionen, >
Variablen, >
Namen, >
Bedeutungskategorien.
I 499
Def Hauptprinzip der semantischen Kategorien/Tarski: In der Alltagssprache scheint ein einziger Fall zu genügen, in dem die Aussagenfunktion nach Ersetzung des Ausdrucks erhalten bleibt.
>
Alltagssprache.
Tarski: Bedeutungskategorie hier nicht für zusammengesetzte Ausdrücke (in der Alltagssprache auch sinnlose) sondern nur Variable.
Entscheidend: bloße Gestalt.
Sinn des Hauptprinzips: Wollen wir, dass Einsetzung immer neue Aussagen ergibt, dürfen wir nämlich als Variablen nur Ausdrücke derselben semantischen Kategorie einsetzen.
>
Einsetzen, >
Substitution, >
Abstraktion/Tarski.
I 500
Daraus folgt, dass kein Zeichen gleichzeitig ein Funktor zweier Funktionen sein kann die eine verschiedene Zahl von Argumenten besitzen, oder zwei solcher Funktionen (auch wenn sie gleiche Stellenzahl haben) in denen zwei ihrer Stelle nach einander entsprechende Argumente zu verschiedenen Bedeutungskategorien gehören.
>
Eindeutigkeit, >
Zuordnung, >
Funktoren.
I 520
Gebundene Variablen haben keinen Einfluss auf den semantischen Typ.
(1)
>
Gebundene Variable.
1. A.Tarski, Der Wahrheitsbegriff in den formalisierten Sprachen, Commentarii Societatis philosophicae Polonorum. Vol 1, Lemberg 1935
