Philosophical Studies 160 (3):415-423 (2012)
This paper provides an account of the closure conditions that apply to sets of subvening and supervening properties, showing that the criterion that determines under which property-forming operations a particular family of properties is closed is applicable both to the finitary and to the infinitary case. In particular, it will be established that, contra Glanzberg, infinitary operations do not give rise to any additional difficulties beyond those that arise in the finitary case.
|Keywords||Supervenience Closure conditions Resplicing Infinitary logic|
|Categories||categorize this paper)|
References found in this work BETA
Supervenience, Necessary Coextensions, and Reducibility.John Bacon - 1986 - Philosophical Studies 49 (March):163-76.
Citations of this work BETA
No citations found.
Similar books and articles
Nonmonotonic Reasoning: From Finitary Relations to Infinitary Inference Operations.Michael Freund & Daniel Lehmann - 1994 - Studia Logica 53 (2):161 - 201.
Infinitary Belief Revision.Dongmo Zhang & Norman Foo - 2001 - Journal of Philosophical Logic 30 (6):525-570.
Finitary and Infinitary Mathematics, the Possibility of Possibilities and the Definition of Probabilities.Matthew J. Donald - unknown
Supervenience: The Grand-Property Hypothesis.Peter Forrest - 1988 - Australasian Journal of Philosophy 66 (March):1-12.
Mental Causation and the Supervenience Argument.Jürgen Schröder - 2007 - Erkenntnis 67 (2):221 - 237.
Strong Completeness and Limited Canonicity for PDL.Gerard Renardel de Lavalette, Barteld Kooi & Rineke Verbrugge - 2008 - Journal of Logic, Language and Information 17 (1):291-292.
Review: Wilfried Buchholz, Notation Systems for Infinitary Derivations ; Wilfried Buchholz, Explaining Gentzen's Consistency Proof Within Infinitary Proof Theory ; Sergei Tupailo, Finitary Reductions for Local Predicativity, I: Recursively Regular Ordinals. [REVIEW]Toshiyasu Arai - 2002 - Bulletin of Symbolic Logic 8 (3):437-439.
On Some Compatible Operations on Heyting Algebras.Ertola Biraben Rodolfo Cristian & San Martín Hernán Javier - 2011 - Studia Logica 98 (3):331-345.
Added to index2011-04-18
Total downloads334 ( #8,563 of 2,168,525 )
Recent downloads (6 months)5 ( #61,314 of 2,168,525 )
How can I increase my downloads?