As a guest user you are not logged in or recognized by your IP address. You have
access to the Front Matter, Abstracts, Author Index, Subject Index and the full
text of Open Access publications.
Standard first-order logic interprets reference, predication and quantification in terms of fixed denotations with respect to a domain of precise objects. We explore ways to generalise this semantics to account for variability of meaning due to factors such as vagueness, context and diversity of definitions or opinions. We present Variable Reference Logic (VRL), an elaboration of Standpoint Logic, which is a multi-modal logic based on a variety of Supervaluation Semantics. VRL can accommodate several modes of variability in relation to both predicates and objects. Its principal novelty is that its semantics incorporates a domain of indefinite individuals, whose precise properties (such as spatial extension) are not fully determinate. Each indefinite individual is associated with a set of precise entities corresponding to possible precise versions of the individual.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.