display all the ideas for this combination of philosophers
3 ideas
11055 | Supervenience can add covariation, upward dependence, and nomological connection [Hanna] |
Full Idea: 'Strong supervenience' involves necessary covariation of the properties, and upward dependence of higher level on lower level. ...If we add a nomological connection between the two, then we have 'superdupervenience'. | |
From: Robert Hanna (Rationality and Logic [2006], 1.2) | |
A reaction: [compressed] Very helpful. A superdupervenient relationship between mind and brain would be rather baffling if they were not essentially the same thing. (which is what I take them to be). |
5736 | No sort of plain language or levels of logic can express modal facts properly [Melia] |
Full Idea: Some philosophers say that modal facts cannot be expressed either by name/predicate language, or by first-order predicate calculus, or even by second-order logic. | |
From: Joseph Melia (Modality [2003], Ch.2) | |
A reaction: If 'possible' were a predicate, none of this paraphernalia would be needed. If possible worlds are accepted, then the quantifiers of first-order predicate calculus will do the job. If neither of these will do, there seems to be a problem. |
5735 | Maybe names and predicates can capture any fact [Melia] |
Full Idea: Some philosophers think that any fact can be captured in a language containing only names and predicates. | |
From: Joseph Melia (Modality [2003], Ch.2) | |
A reaction: The problem case Melia is discussing is modal facts, such as 'x is possible'. It is hard to see how 'possible' could be an ordinary predicate, but then McGinn claims that 'existence' is, and that there are some predicates with unusual characters. |