Journal article

### A note on satisfaction, truth and the empty domain

Abstract:
An attractive principle about domains of quantification is the analogue of the Separation Axiom in set theory: restricting a domain by an arbitrary predicate yields a domain. In particular, restricting a domain by a predicate that applies to nothing yields a domain. Thus if there is a nonempty domain, there is an empty domain. But semantics for the empty domain involves some neglected subtleties. Untangling them requires us to revise the usual definition of truth in a model, avoiding the detour through Tarski's notion of satisfaction.
Publication status:
Published
Peer review status:
Peer reviewed

### Access Document

Publisher copy:
10.1111/1467-8284.00140

### Authors

More by this author
Institution:
University of Edinburgh
Role:
Author

#### Contributors

Role:
Publisher
Journal:
Analysis Journal website
Volume:
59
Issue:
261
Pages:
3-8
Publication date:
1999-01-05
DOI:
EISSN:
1467-8284
ISSN:
0003-2638
URN:
uuid:9f8a0661-bb6e-4e82-acd1-246f8d73638a
Local pid:
ora:4085
Language:
English
Subjects: