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 |
---|---|---|---|
Benson Mates über Variablen – Lexikon der Argumente
I 36 Variablen/Mates: Für sie werden Namen oder Kennzeichnungen eingesetzt. >Namen, >Kennzeichnungen, >Einsetzen. Werte: Werte schließen alle Objekte ein, die durch diese Ausdrücke benannt werden können (Konvention). >Benennen, >Denotation, >Bereiche. I 37 Es gibt keine veränderlichen Dinge, auch keine Namen von veränderlichen Dingen. >Zahlen/Frege, >Variablen/Frege. I 66 Variable/frei/gebunden/Mates: Bsp "(x)F"x": hier ist das x beim zweiten Mal gebunden. Problem: gleichzeitig innerhalb von "F"x" ist es frei! - ((s) Ohne Quantor betrachtet. >Gebundene Variablen, >Freie Variablen, >Quantoren, >Quantifikation. I 67 Auch Formeln (wenn sie eingesetzt werden) können gebunden vorkommen. ((s) Innerhalb eines größeren Ausdrucks.) >Logische Formeln. I 68 ((s) Eine ganze Formel kommt natürlich immer frei vor.) Vgl. >Freistehende Gehalte/Brandom, vgl. >Verallgemeinerung/Mates._____________ 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. |
Mate I B. Mates Elementare Logik Göttingen 1969 Mate II B. Mates Skeptical Essays Chicago 1981 |