Philosophie Lexikon der Argumente

Suche  
 
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.
 
Autor/Titel Begriff Exzerpt Metadaten

 
Bücher bei Amazon
I 36
Variable/Mates: für sie werden Namen oder Kennzeichnungen eingesetzt.
Werte: schließen alle Objekte ein, die durch diese Ausdrücke benannt werden können (Konvention).
I 37
Es gibt keine veränderlichen Dinge, auch keine Namen von veränderlichen Dingen.
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.
I 67
Auch Formeln (wenn sie eingesetzt werden) können gebunden vorkommen. ((s) Innerhalb eines größeren Ausdrucks.)
I 68
((s) Eine ganze Formel kommt natürlich immer frei vor.)

Mate I
B. Mates
Elementare Logik Göttingen 1969

Mate II
B. Mates
0226509869 1981

> Gegenargumente gegen Mates



> Eigenen Beitrag vorschlagen | > Haben Sie einen Fehler entdeckt? | > Export als BibTeX Datei
 
Hg. Martin Schulz, Abfragedatum 30.05.2017