Translator Disclaimer
Spring 1998 Note on Supervenience and Definability
Lloyd Humberstone
Notre Dame J. Formal Logic 39(2): 243-252 (Spring 1998). DOI: 10.1305/ndjfl/1039293066


The idea of a property's being supervenient on a class of properties is familiar from much philosophical literature. We give this idea a linguistic turn by converting it into the idea of a predicate symbol's being supervenient on a set of predicate symbols relative to a (first order) theory. What this means is that according to the theory, any individuals differing in respect to whether the given predicate applies to them also differ in respect to the application of at least one of the predicates in the set. The latter relationship we show turns out to coincide with something antecedently familiar from work on definability: with what is called the piecewise (or modelwise) definability, in the theory in question, of the given predicate in terms of those in the set.


Download Citation

Lloyd Humberstone. "Note on Supervenience and Definability." Notre Dame J. Formal Logic 39 (2) 243 - 252, Spring 1998.


Published: Spring 1998
First available in Project Euclid: 7 December 2002

zbMATH: 0968.03011
MathSciNet: MR1715023
Digital Object Identifier: 10.1305/ndjfl/1039293066

Primary: 03A05
Secondary: 03B10

Rights: Copyright © 1998 University of Notre Dame


Vol.39 • No. 2 • Spring 1998
Back to Top