Philosophie Lexikon der ArgumenteHome | |||
| |||
Variablen, Philosophie: Variablen sind Symbole in Aussagen oder logischen Formeln, an deren Stelle verschiedene nähere Bestimmungen z, B. Konstanten oder Namen von Gegenständen eingesetzt werden können. In der Logik werden freie und gebundene Variablen unterschieden. Freie Variable, die also nicht durch einen Quantor wie (Ex) oder (x) gebunden sind, bilden noch keine Aussage, sondern eine Aussagenfunktion wie z.B. „Fx“ - „Etwas ist F“. Zahlen oder Gegenstände sind nicht variabel. Die Variabilität besteht in der Einsetzbarkeit von mehr als einem möglichen Wert. Siehe auch Freie Variable, Gebundene Variable, Konstanten, Individuenkonstanten, Individuenvariablen, Einsetzen, Substitution, Substituierbarkeit, Logik, Aussagen, Aussagenfunktion, 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 Variablen – Lexikon der Argumente
Berka I 496 Namen/Variablen/Konstanten/Tarski: Variablen repräsentieren Namen - Konstanten sind Namen. >Repräsentation, >Stellvertreter, >Variable). Für jede Konstante und jede Variable der Objektsprache (mit Ausnahme der logischen Konstanten des Aussagenkalküls) lässt sich eine fundamentale Funktion bilden, die dieses Zeichen enthält (die Aussagevariablen kommen in den fundamentalen Funktionen weder als Funktoren noch als Argumente vor). Aussagevariable: jede ((s) einzelne) von ihnen wird als selbständige fundamentale Funktion betrachtet.(1) >Objektsprache, >Metasprache. 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 |