Results 211 to 220 of about 74,609 (244)

Possible worlds semantics for predicates

2017
IF rectangle is conceived as an operator, i.e., an expression that gives applied to a formula another formula, the expressive power of the language is severely restricted when compared to a language where rectangle is conceived as a predicate, i.e., an expression that yields a formula if it is applied to a term. This consideration favours the predicate
Leitgeb, H, Welch, PD, Halbach, V
openaire   +1 more source

Semantics, possible worlds

2018
Possible worlds semantics (PWS) is a family of ideas and methods that have been used to analyse concepts of philosophical interest. PWS was originally focused on the important concepts of necessity and possibility. Consider: - Necessarily, 2 + 2 = 4. - Necessarily, Socrates had a snub nose. Intuitively, (a) is true but (b) is
openaire   +1 more source

Intentionality and Possible-Worlds Semantics

1984
Our discussion of Husserl’s theory of intentionality has focused on two important notions and their role in the theory: the notions of meaning (or noema) and horizon. In Chapters III and IV our development of Husserl’s theory assumed — along with Husserl — a generally Fregean account of meaning.
David Woodruff Smith, Ronald McIntyre
openaire   +1 more source

Meredith, Prior, and the History of Possible Worlds Semantics

Synthese, 2006
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Analyticity and Possible-World Semantics

Erkenntnis, 2010
Standard approaches to possible-world semantics allow us to define necessity and logical truth, but analyticity is considerably more difficult to account for. The source of this difficulty lies in the received model-theoretical conception of a language interpretation.
openaire   +1 more source

Possible-Worlds Semantics Without Possible Worlds: The Agnostic Approach

Mind, 2006
If a possible-worlds semantic theory for modal logics is pure, then the assertion of the theory, taken at face-value, can bring no commitment to the existence of a plurality of possible worlds (genuine or ersatz). But if we consider an applied theory (an application of the pure theory) in which the elements of the models are required to be possible ...
openaire   +1 more source

Possible World Semantics for Defeasible Deontic Logic

2012
Defeasible Deontic Logic is a simple and computationally efficient approach for the representation of normative reasoning. Traditionally defeasible logics are defined proof theoretically based on the proof conditions for the logic. While several logic programming, operational and argumentation semantics have been provided for defeasible logics ...
GOVERNATORI, GUIDO, ROTOLO, ANTONINO, CALARDO, ERICA   +2 more
openaire   +1 more source

Possible Worlds Semantics and the Liar

2003
In this paper I discuss a paradox, due to David Kaplan, that in his view threatens the use of possible worlds semantics as a model-theoretic framework for intensional logic.1 Kaplan’s paradox starts out from an intuitively reasonable principle that I refer to as the Principle of Plenitude. From this principle he derives a contradiction in what he calls
openaire   +1 more source

Possible Worlds and Formal Semantics

1979
Since Prof. Hintikka is one of those philosophers and logicians who are responsible for the popularity of possible worlds, and in view of his pioneering work on the methodology of the semantics of modal notions, it is perhaps understandable that my contribution to his Festschrift concerns possible worlds, too, no matter how amateurish it may be.
openaire   +1 more source

Possible World Semantics

2009
  +5 more sources