Online research in philosophy

Semantics: A Reader contains a broad selection of classic articles on semantics and the semantics/pragmatics interface. Comprehensive in the variety and breadth of theoretical frameworks and topics that it covers, it includes articles representative of the major theoretical frameworks within semantics, including: discourse representation theory, dynamic predicate logic, truth theoretic semantics, event semantics, situation semantics, and cognitive semantics. All the major topics in semantics are covered, including lexical semantics and the semantics of quantified noun phrases, adverbs, adjectives, performatives, and interrogatives. Included are classic papers in the field of semantics as well as papers written especially for the volume. The volume comes with an extensive introduction designed not only to provide an overview of the field, but also to explain the technical concepts the beginner will need to tackle before the more demanding articles. Semantics will have appeal as a textbook for upper level and graduate courses and as a reference for scholars of semantics who want the classic articles in their field in one convenient place.

This paper sets out two semantics for the relevant logic R based on Dunn's four-valued semantics for first-degree entailments. Unlike Routley's semantics for weak relevant logics, they do not use two ternary accessibility relations. Unlike Restall's semantics, they capture all of R. But there is a catch. Both of the present semantics are neighbourhood semantics, that is, they include sets of propositions in the specification of their frames.

We investigate the relationship between three-valued Kripke/Kleene semantics and stratified semantics for stratifiable logic programs. We first show these are compatible, in the sense that if the three-valued semantics assigns a classical truth value, the stratified approach will assign the same value. Next, the familiar fixed point semantics for pure Horn clause programs gives both smallest and biggest fixed points fundamental roles. We show how to extend this idea to the family of stratifiable logic programs, producing a semantics we call weak stratified. Finally, we show weak stratified semantics coincides exactly with the three-valued approach on stratifiable programs, though the three-valued version is generally applicable, and does not require stratification assumptions.

Kripke bundle [3] and C-set semantics [1] [2] are known as semantics which generalize standard Kripke semantics. In [3] and in [1], [2] it is shown that Kripke bundle and C-set semantics are stronger than standard Kripke semantics. Also it is true that C-set semantics for superintuitionistic logics is stronger than Kripke bundle semantics [5].In this paper, we show that Q-S4.1 is not Kripke bundle complete via C-set models. As a corollary we can give a simple proof showing that C-set semantics for modal logics are stronger than Kripke bundle semantics.

Written by two of the leading figures in the field, this is a lucid and systematic introduction to semantics as applied to transformational grammars of the ...

1. Formal semantics in linguistics -- 2. Generalized quantifier theory -- 3. The interface between syntax and semantics -- 4. Anaphora, discourse, and modality -- 5. Focus, presupposition, and negation -- 6. Tense -- 7. Questions -- 8. Plurals -- 9. Computational semantics -- 10. Lexical semantics -- 11. Semantics and related domains.

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 worlds, then assertion of such a theory, taken at face-value, does appear to bring commitment to the existence of a plurality of possible worlds. Or at least that is so if the applied theory is adequate. For an applied possible-worlds semantic theory that is constrained to contain only one-world models is bound to deliver results on validity, soundness and completeness that are apt to seem disastrous. I attempt to steer a course between commitment to the existence of a plurality of possible worlds and commitment to such a disastrous applied possible-worlds semantics by noting, and developing, the position of one who asserts such a theory at face-value but who remains agnostic about the existence of other (non-actualized) possible worlds. Thus, a novel interpretation of applied possible-worlds semantics is offered on which we may lay claim to whatever benefits such a theory offers while avoiding realism about (other) possible worlds. Thereby, the contention that applied possible-worlds semantics gives us reason to be realists about possible worlds is (further) undermined.