@misc{Lexikon der Argumente, title = {Quotation from: Lexikon der Argumente – Begriffe - Ed. Martin Schulz, 28 Mar 2024}, author = {Stalnaker,Robert}, subject = {Modelle}, note = {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.}, note = {R.C. Stalnaker I Stalnaker Ways a world may be Metaphysical and Anti-Metaphysical Essays Clarendon Press Oxford New York 2003 II Stalnaker Context and Content Oxford University Press NY 1999 }, file = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=248828} url = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=248828} }