Lexikon der Argumente

Philosophische Themen und wissenschaftliche Debatten
 
[englisch]


Inhaltliche Beanstandungen

Tabelle
Begriffe
Versus
Lager
Thesen I
Thesen II

Begriff/Autor  

Was ist falsch?
Seitenangabe
Übrige Metadaten
Übersetzung
Excerpt, Inhalt
Sonstiges

Richtig: Jahr / Ort / Seite
/ /

Richtigstellung
(max 500 Zeichen)

Einsender*
oder User-ID

Ihre E-Mail Adresse*

Captcha Code-Check*
Captcha Code
 
Bitte Captcha Code hier eingeben

 
Code schlecht lesbar? Dann anderen Text erzeugen.

Beanstandungen werden
nicht veröffentlicht.

 


 
II 306
Inferenzenregel/Lambdaoperator/λ-Operator/Grandy/Wiggins:

Rl: wenn λ-((xi1...xin)(A ↔ B)) und wenn ----(λxi1...λxin)[A] ----, dann schließe ----(λxi1...λxin)[B] ----.

Nec: Notwendigkeit für Prädikate.
>Operatoren.
II 307
Probleme: Extensionalität: Ausdrücke in einem Nec-Satz sind offen für Substitution von Identischen und EG aber Problem: Prädikate: Bsp wenn etwas der einzige Ring des Gyges war, wollen wir nicht folgern, dass er wesentlich magisch war.
>Substitution, >Existentielle Generalisierung, >Identität.
Lösung: relationale Sichtweise der Prädikation >Teilhabe, >Frege: Fallen unter den Begriff).

Wenn

(λx1)[φx1] und (λx1)[ψx1]

nicht dieselbe Eigenschaft bezeichnen, aber koextensiv sind, dann wird in extensionalen Kontexten das eine das andere beinhalten (entail).
Das bleibt erhalten, wenn der Operator Nec vorangestellt wird - wobei die Theorie für Nec nicht entscheidet, ob es dieselbe Eigenschaft ist oder nicht.
>Teilhabe.

Hinweis: Liebe User, bitte unterscheiden Sie zwischen Korrektur und neuem Beitrag. Wenn alles falsch sein soll, sogar die Seitenzahl und der Autor, handelt es sich vielleicht einfach um eine andere Meinung.
Die Beanstandung wird dem Einsender des ursprünglichen Beitrags zur Stellungsnahme zugeschickt, bevor die Änderung übernommen wird.