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.

 


 
I 40f
Verzweigte Typentheorie/Prior: Verzweigte Typentheorie kommt herein, wenn Ausdrücke einen Satz aus einem einzelnen Namen bilden. - Hier müssen wir unterscheiden, ob quantifizierende Ausdrücke derselben Art vorkommen.

Bsp "__ hat alle Eigenschaften eines großen Feldherrn".

Logische Form:

"Für alle φ, wenn (für alle x, wenn x ein großer Feldherr ist, dann φx) dann φ__" - ∏φ∏xCψxφx'.

Einfacheres Bsp "__ hat die eine oder andere Eigenschaft".

Logische Form: "Für ein φ,φ __", ∑φφ'

Ordnung/Typ: Hier kann man sagen, obwohl das Prädikat vom selben Typ ist, ist es doch von verschiedener Ordnung. - Weil dieses "φ" eine interne Quantifikation von 'φs' hat - Verzweigte Typentheorie: nicht nur verschiedene Typen, sondern auch verschiedene "Ordnungen" sollten von verschiedenen Symbolen dargestellt werden.
>Verzweigte Typentheorie.

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.