Defaults in Update Semantics

Defaults in Update Semantics - FRANK VELTMAN DEFAULTS IN...

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: FRANK VELTMAN DEFAULTS IN UPDATE SEMANTICS ABSTRACT. The aim of this paper is twofold: (i) to introduce the framework of update semantics and to explain what kind of phenomena may successfully be analysed in it; (ii) to give a detailed analysis of one such phenomenon: default reasoning. KEY WORDS: dynamic semantics, defaults, epistemic modalities. 1. INTRODUCTION : THE FRAMEWORK OF UPDATE SEMANTICS The standard definition of logical validity runs as follows: An argument is valid if its premises cannot all be true without its conclusion being true as well. Most logical theories developed so far have taken this definition of validity as their starting point. Consequently, the heart of these theories consists in a specification of truth conditions. The heart of the theories developed in this paper does not consist in a specification of truth condi- tions. The slogan You know the meaning of a sentence if you know the conditions under which it is true is replaced by this one: You know the meaning of a sentence if you know the change it brings about in the infor- mation state of anyone who accepts the news conveyed by it. 1 Thus, meaning becomes a dynamic notion: the meaning of a sentence is an operation on information states. To define an update semantics for a language L, one has to specify a set of relevant information states, and a function [ ] that assigns to each sentence an operation [ ] on . The resulting triple L, , [ ] is called an update system. If is a state and a sentence, we write [ ] to denote the result of updating with . Since [ ] is the function and the argument, it would have been more in line with common practice to write [ ]( ), but postfix notation is more convenient for dealing with texts. Now we can write [ 1 ]...[ n ] for the result of updating with the se- quence of sentences 1 ,..., n . An important notion is the notion of acceptance . Let be any state and be any sentence. Consider the state [ ]. This state will in most cases be different from , but every now and then it may happen that [ ] = . 2 FRANK VELTMAN If so, the information conveyed by is already subsumed by . In such a case we write ||- and we say that is accepted in . 1.1 Constraints that Do Not Aways Hold The phrase update semantics might be misleading in that it suggests that all you have to do in order to update your information state with is to add the informational content of to the information you already have. DEFINITION 1.1. An update system L, , [ ] is additive iff there exists a state , the minimal state, in and a binary operation + on such that (i) the operation + has all the properties of a join operation: + = ; + = ; + = + ; ( + ) + = + ( + )....
View Full Document

This note was uploaded on 03/01/2008 for the course PHL 332 taught by Professor Dever during the Fall '07 term at University of Texas at Austin.

Page1 / 43

Defaults in Update Semantics - FRANK VELTMAN DEFAULTS IN...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online