Journal article icon

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

Actions


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:

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP