Philosophie Lexikon der Argumente

Home Screenshot Tabelle Begriffe

 
Axiom: Grundsatz oder Regel für die Verknüpfung von Elementen einer Theorie, der nicht innerhalb der Theorie bewiesen wird. Es wird angenommen, dass Axiome wahr und evident sind. Das Hinzufügen oder Eliminieren von Axiomen verwandelt ein System in ein anderes System. Entsprechend sind mehr oder weniger Aussagen in dem neuen System konstruierbar oder ableitbar. Siehe auch Systeme.

_____________
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

Hartry Field über Axiome – Lexikon der Argumente

I 220
Axiom/Field: Ein benötigtes Gesetz kann man einfach beweisen, indem man es als Axiom hinzufügt.
Vs: Dann braucht man aber für jedes Paar unterschiedener Prädikate Bsp "Der Abstand zwischen x und y ist r mal der zwischen z und w" ein Axiom das sagt, dass das erste gilt und das zweite nicht. - Alles, was der >Substantivalismus
oder der Hochleistungs-Platonismus als abgeleitete Theoreme einführen kann, muss der >Relationismus ("kein leerer Raum") als Axiome einführen.
Das führt zu keiner richtigen Theorie. Hier entsteht das Problem der Quantitäten.
Die gebrauchten Axiome wären gerade dann verbindbar, wenn auch nicht-moderate Charakterisierungen möglich sind. Die modalen Umstände sind genau dann adäquat, wenn sie nicht gebraucht werden.
~I 249
Axiom/Mathematik/Notwendigkeit/Field: Axiome sind nicht logisch notwendig, sonst brauchten wir nur Logik und keine Mathematik.
I 275
Axiome/Field: Wir akzeptieren dann nur die, die disquotational wahre modale Übersetzungen haben. (Wegen der Konservativität).
>Konservtivität. .
Konservativität: ist eine holistische Eigenschaft, nicht die Eigenschaft von einzelnen Axiomen.
Akzeptierbarkeit: von Axiomen: hängt vom Kontext ab. - Eine andere Theorie (mit dem gleichen Axiom) ist vielleicht nicht konservativ.
Disquotationale Wahrheit: ist dagegen für einzelne Axiome erklärbar.
>Disquotationalismus.
I 276
Bsp Mengenlehre (ML) plus Kontinuumshypothese (KH) und ML ohne KH können jede für ihre Vertreter wahr sein. - Sie können verschiedene Wahrheitsbedingungen zuschreiben. - Das ist nur für den Platonismus nicht-objektiv.
>Platonismus.
Die beiden Vertreter können die gegnerische Sicht reinterpretieren, so dass sie aus seiner eigenen folgt.
Gödel: >Relative Konsistenz.
II 142
((s) Axiom/(s): Ein Axiom ist nicht Teil der Objektsprache.)
Schema-Formel: Die Schema-Formel kann Teil der Objektsprache sein. Field: Das erfasst den Begriff der Wahrheit besser.
>Wahrheit/Field.

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

Field I
H. Field
Realism, Mathematics and Modality Oxford New York 1989

Field II
H. Field
Truth and the Absence of Fact Oxford New York 2001

Field III
H. Field
Science without numbers Princeton New Jersey 1980

Field IV
Hartry Field
"Realism and Relativism", The Journal of Philosophy, 76 (1982), pp. 553-67
In
Theories of Truth, Paul Horwich Aldershot 1994

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