Philosophie Lexikon der Argumente

Home Screenshot Tabelle Begriffe

 
Methode: ein Verfahren, auf das sich Teilnehmer an einer Diskussion oder einem Forschungsvorhaben geeinigt haben. Bei Verstößen gegen eine Methode wird vor allem die Vergleichbarkeit der Ergebnisse angezweifelt, da diese nicht mehr aus einer Menge mit einheitlich definierten Eigenschaften der Elemente stammen.

_____________
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 Methode – Lexikon der Argumente

Berka I 401
Widerspruchsfreiheit/WSF/Beweis/Widerspruchsfreiheitsbeweis/Gödel: Widerspruchsfreiheitsbeweis lässt sich nicht durchführen, wenn die Metasprache keine Variablen höheren Typs enthält.
>Metasprache
, >Ausdrucksfähigkeit, >vgl. >Typentheorie.
Unentscheidbarkeit: wird beseitigt, wenn man die untersuchte Theorie (Objektsprache) mit Variablen höheren Typs bereichert.(1)
>Entscheidbarkeit.

1. A.Tarski, „Grundlegung der wissenschaftlichen Semantik“, in: Actes du Congrès International de Philosophie Scientifique, Paris 1935, Bd. III, ASI 390, Paris 1936, S. 1-8
- - -
I 462
Metasprache/Tarski: Die Metasprache ist unser eigentliches Untersuchungsobjekt. - ((s) Wegen der Anwendungsbedingung des Wahrheitsbegriffs.)
I 464
Metasprache/Tarski: 2. Kategorie von Ausdrücken: spezifische Termini von strukturell-deskriptivem Charakter.
>Strukturell-deskriptiver Name.
Namen von konkreten Zeichen und Ausdrücken des Klassenkalküls
Namen von Klassen
von Folgen solcher Ausdrücke und
von zwischen ihnen bestehenden strukturellen Relationen.
Jedem Ausdruck der betrachteten Sprache (Objektsprache) kann man - einerseits einen individuellen Namen dieses Ausdrucks, und - andererseits einen Ausdruck, der die Übersetzung dieses Ausdrucks in die Metasprache ist, zuordnen - das ist entscheidend für die Konstruktion der Wahrheitsdefinition.
>Wahrheitsdefinition/Tarski.
I 464
Name/Übersetzung/Metasprache/Objektsprache/Tarski: Unterschied: Ein Ausdruck der Objektsprache kann in der Metasprache
a) einen Namen erhalten, oder
b) eine Übersetzung.
Berka I 525
Morphologie/Tarski: Unsere Metasprache enthält hier die gesamte Objektsprache - d.h. für uns aber nur logische Ausdrücke der allgemeinen Klassentheorie - d.h. nur strukturell-deskriptive Termini.
>Homophonie.
Damit haben wir die Morphologie der Sprache, d.h. sogar den Begriff der Folgerung zurückgeführt.
I 526
Damit haben wie die Logik dieser untersuchten Wissenschaft als einen Teil der Morphologie begründet.(2)
>Beschreibungsebenen, >Semantische Geschlossenheit.

2. 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 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   Y   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