Lexikon der Argumente

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*

 
Bitte Captcha Code hier eingeben

 

Code schlecht lesbar? Dann anderen Text erzeugen.

Beanstandungen werden
nicht veröffentlicht.

 

 

I 146
Modell/Stalnaker: Ein Modell ist ein Paar aus einem Gegenstandsbereich D und einer Bewertungsfunktion V .
>Bewertungsfunktion, >Gegenstandsbereich.
I 149
Modell: Für unsere modale Prädikatenlogik ist dann ein Quadrupel ‹W,R,D,v›
D: D ist die Bereichs-Funktion von W auf die Mengen von Individuen. Für w ε W ist Dw der Bereich der Welt w.
Bewertungsfunktion: Die Bewertungsfunktion schreibt den deskriptiven Ausdrücken Intensionen zu.
Intension: Die Intension ist hier eine Funktion von möglichen Welten auf Extensionen.
>Intensionen, >Extension.
Notwendigkeitsoperator: Die semantische Regel des Notwendigkeitsoperator bleibt unverändert.
>Operatoren.
I 150
Die Regeln für die Prädikatenlogik sind Verallgemeinerungen der extensionalen Regeln. Wir fügen nur einen Index für die Welten hinzu. Bsp Regel für die
Allquantifikation/Allquantor/Stalnaker:
Wenn Φ die Form ∀F hat, dann ist νs w (Φ) = 1 gdw. νs w(F) = D w. sonst = 0.
>Quantifikation, >Allquantifikation.

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.