			Home About us Contact

Formal Semantics (formal + semantics)

Distribution by Scientific Domains

Humanities and Social Sciences	50%

Selected Abstracts

A Formal Semantics for Plural Quantification, Intersentential Binding and Anaphoric Pronouns as Rigid Designators

NOUS, Issue 1 2002
Alan Berger
First page of article [source]

Formal semantics of meta-level architectures: Temporal epistemic reflection

INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, Issue 12 2003
Wiebe Van Der Hoek
In this article we show how formal semantics can be given to reasoning processes in meta-level architectures that reason about (object level) knowledge states and effects changes may have on them. Especially, attention is focused on the upward and downward reflections in these architectures. Temporalized epistemic logic is used to specify meta-level reasoning processes and the outcomes of these. © 2003 Wiley Periodicals, Inc. [source]

Ontological Symmetry in Language: A Brief Manifesto

MIND & LANGUAGE, Issue 4 2006
PHILIPPE SCHLENKER
Various results from recent research in formal semantics suggest that this is not so, and that there is in fact a pervasive symmetry between the linguistic means with which we refer to these three domains. Reference to individuals, times and worlds is uniformly effected through generalized quantifiers, definite descriptions, and pronouns, and in each domain grammatical features situate the reference of terms as near, far or ,further' from the actual or from a reported speech act. We outline various directions in which a program of ontological symmetry could be developed, and we offer in the Appendix a symmetric fragment developed in a logic that can be seen as a compromise between an extensional and an intensional system. [source]