Philosophie Lexikon der Argumente

Suche  
 
Einsetzen: in einer Formel kann ein Symbol unter bestimmten Voraussetzungen für ein anderes Symbol eingesetzt werden. Bsp Wird eine Konstante für eine Variable eingesetzt, wird aus einer Aussagenfunktion eine Aussage. Siehe auch Ersetzen, Ersetzbarkeit, Substitution, allgemeingültig, Gültigkeit, Aussage, Aussagenfunktion.
 
Autor/Titel Begriff Exzerpt Metadaten

 
Bücher bei Amazon
I 202f
Einsetzungsregel/Einsetzen/Quantorenlogik: 1. In A wird i nur an den Stellen ersetzt, wo es frei vorkommt - 2. Falls sich i in A im Wirkungsbereich eines Quantors befindet, der die Variable h bindet, so darf für i kein Ausdruck eingesetzt werden, der h als freie Variable enthält. - ((s) Bsp ("h)(P(h) ∧ i): hier dürfte i nicht "h ∧ y" bedeuten. - "Alles was ich besitze sind Fahrräder und außerdem ein Fahrrad...".).
Bsp Wessel: Alleinführung: aus A folgt AiA: A:"x ist später als 1900 geboren" >"x ist noch keine 100 Jahre alt - wenn i frei in den Annahmen des Beweises vorkäme dann falsch: "alle Menschen sind später als 1900 geboren".

We I
H. Wessel
Logik Berlin 1999

> Gegenargumente gegen Wessel



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