Philosophie Lexikon der Argumente

Home Screenshot Tabelle Begriffe

 
Funktoren: Ein Funktor in der Logik ist eine Funktion, die von einer logischen Struktur auf eine andere abbildet. Dabei wird die Struktur der ursprünglichen logischen Struktur beibehalten, aber die spezifischen Werte der logischen Elemente können verändert werden. Beispielsweise könnte ein Funktor dazu verwendet werden, eine Formel aus dem Aussagenkalkül auf eine Formel der Logik erster Stufe abzubilden. Dieser Funktor würde die logische Struktur der Formel beibehalten, aber er würde die Aussagenvariablen durch Prädikatsvariablen ersetzen. Siehe auch Variablen, Aussagenkalkül, Prädikatenkalkül, Logik, Logische Formeln.

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

Berka I 455
Funktor/Tarski: Anführungszeichen: namenbildende Funktoren.
"Extensional"/"intensional": damit werden aussagebildende Funktoren bezeichnet.(1).
((s) Es gibt keine "intensionalen" Namen.)
>Intensionalität
, >Extensionalität.
>Funktion/Tarski, >Terminologien/Tarski, >Anführungsname/Tarski, >Strukturell-deskriptiv/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 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