|
Abstract
|
Following its inception (Barwise and Perry, 1983), situation theory has quickly matured (Cooper et al., 1990; Devlin, 1991) and under the familiarname of situation semantics has been applied to a number of linguistic issues (Barwise, 1987; Barwise, 1989; Barwise and Etchemendy, 1987; Cooper, 1986; Cooper, 1991; Cooper et al., 1990; Fenstad et al., 1987), including quanti cation and anaphora (Gawron and Peters, 1990). In the past, the development of a `mathematical'situation theory has been held back by a lack of availability of appropriate technical tools. But by now, the theory has assembled its mathematical foundations based on intuitions basically coming from set theory and logic (Aczel, 1988; Barwise, 1989; Cooper et al., 1990). With a remarkably original view of information (which is fully adapted by situation theory) (Dretske, 1981), a `logic,' based not on truth but on information, is being developed (Devlin, 1991). This logic will probably be an extension of rst-order logic (Barwise, 1977) rather than being an alternative to it
|
|
Keywords
|
No keywords specified (fix it)
|
|
Categories
|
|
|
Options
|
|
| |
|