38 ideas
| 2319 | Metaphysics is the clarification of the ontological relationships between different areas of thought [Kim] |
| Full Idea: Metaphysics is the domain where different languages, theories, explanations, and conceptual systems come together and have their mutual ontological relationships sorted out and clarified. | |
| From: Jaegwon Kim (Mind in a Physical World [1998], §3 p.066) |
| 18781 | Inconsistency doesn't prevent us reasoning about some system [Mares] |
| Full Idea: We are able to reason about inconsistent beliefs, stories, and theories in useful and important ways | |
| From: Edwin D. Mares (Negation [2014], 1) |
| 18790 | Intuitionism as natural deduction has no rule for negation [Mares] |
| Full Idea: In intuitionist logic each connective has one introduction and one elimination rule attached to it, but in the classical system we have to add an extra rule for negation. | |
| From: Edwin D. Mares (Negation [2014], 5.5) | |
| A reaction: How very intriguing. Mares says there are other ways to achieve classical logic, but they all seem rather cumbersome. |
| 18789 | Intuitionist logic looks best as natural deduction [Mares] |
| Full Idea: Intuitionist logic appears most attractive in the form of a natural deduction system. | |
| From: Edwin D. Mares (Negation [2014], 5.5) |
| 18787 | Three-valued logic is useful for a theory of presupposition [Mares] |
| Full Idea: One reason for wanting a three-valued logic is to act as a basis of a theory of presupposition. | |
| From: Edwin D. Mares (Negation [2014], 3.1) | |
| A reaction: [He cites Strawson 1950] The point is that you can get a result when the presupposition does not apply, as in talk of the 'present King of France'. |
| 18793 | Material implication (and classical logic) considers nothing but truth values for implications [Mares] |
| Full Idea: The problem with material implication, and classical logic more generally, is that it considers only the truth value of formulas in deciding whether to make an implication stand between them. It ignores everything else. | |
| From: Edwin D. Mares (Negation [2014], 7.1) | |
| A reaction: The obvious problem case is conditionals, and relevance is an obvious extra principle that comes to mind. |
| 18784 | In classical logic the connectives can be related elegantly, as in De Morgan's laws [Mares] |
| Full Idea: Among the virtues of classical logic is the fact that the connectives are related to one another in elegant ways that often involved negation. For example, De Morgan's Laws, which involve negation, disjunction and conjunction. | |
| From: Edwin D. Mares (Negation [2014], 2.2) | |
| A reaction: Mares says these enable us to take disjunction or conjunction as primitive, and then define one in terms of the other, using negation as the tool. |
| 18786 | Excluded middle standardly implies bivalence; attacks use non-contradiction, De M 3, or double negation [Mares] |
| Full Idea: On its standard reading, excluded middle tells us that bivalence holds. To reject excluded middle, we must reject either non-contradiction, or ¬(A∧B) ↔ (¬A∨¬B) [De Morgan 3], or the principle of double negation. All have been tried. | |
| From: Edwin D. Mares (Negation [2014], 2.2) |
| 18780 | Standard disjunction and negation force us to accept the principle of bivalence [Mares] |
| Full Idea: If we treat disjunction in the standard way and take the negation of a statement A to mean that A is false, accepting excluded middle forces us also to accept the principle of bivalence, which is the dictum that every statement is either true or false. | |
| From: Edwin D. Mares (Negation [2014], 1) | |
| A reaction: Mates's point is to show that passively taking the normal account of negation for granted has important implications. |
| 18782 | The connectives are studied either through model theory or through proof theory [Mares] |
| Full Idea: In studying the logical connectives, philosophers of logic typically adopt the perspective of either model theory (givng truth conditions of various parts of the language), or of proof theory (where use in a proof system gives the connective's meaning). | |
| From: Edwin D. Mares (Negation [2014], 1) | |
| A reaction: [compressed] The commonest proof theory is natural deduction, giving rules for introduction and elimination. Mates suggests moving between the two views is illuminating. |
| 18783 | Many-valued logics lack a natural deduction system [Mares] |
| Full Idea: Many-valued logics do not have reasonable natural deduction systems. | |
| From: Edwin D. Mares (Negation [2014], 1) |
| 18792 | Situation semantics for logics: not possible worlds, but information in situations [Mares] |
| Full Idea: Situation semantics for logics consider not what is true in worlds, but what information is contained in situations. | |
| From: Edwin D. Mares (Negation [2014], 6.2) | |
| A reaction: Since many theoretical physicists seem to think that 'information' might be the most basic concept of a natural ontology, this proposal is obviously rather appealing. Barwise and Perry are the authors of the theory. |
| 18785 | Consistency is semantic, but non-contradiction is syntactic [Mares] |
| Full Idea: The difference between the principle of consistency and the principle of non-contradiction is that the former must be stated in a semantic metalanguage, whereas the latter is a thesis of logical systems. | |
| From: Edwin D. Mares (Negation [2014], 2.2) |
| 18788 | For intuitionists there are not numbers and sets, but processes of counting and collecting [Mares] |
| Full Idea: For the intuitionist, talk of mathematical objects is rather misleading. For them, there really isn't anything that we should call the natural numbers, but instead there is counting. What intuitionists study are processes, such as counting and collecting. | |
| From: Edwin D. Mares (Negation [2014], 5.1) | |
| A reaction: That is the first time I have seen mathematical intuitionism described in a way that made it seem attractive. One might compare it to a metaphysics based on processes. Apparently intuitionists struggle with infinite sets and real numbers. |
| 2317 | Reductionism is good on light, genes, temperature and transparency [Kim, by PG] |
| Full Idea: Examples where reductionism seems to give a good account of things are light, genes, temperature and transparency. | |
| From: report of Jaegwon Kim (Mind in a Physical World [1998], §1 p.025) by PG - Db (ideas) | |
| A reaction: This a fairly simple examples, thoroughly confirmed by science a long time ago. Life is a nicer example, because it is more complex and less obvious, but pretty much beyond dispute these days. |
| 2310 | Supervenience is linked to dependence [Kim] |
| Full Idea: It is customary to associate supervenience with the idea of dependence or determination. | |
| From: Jaegwon Kim (Mind in a Physical World [1998], §1 p.011) | |
| A reaction: It is only 'customary' because, in principle, the supervenience might just be a coincidence. I might follow someone everywhere because I love them (dependence) or because they force me to (determination). There's always a reason. |
| 2315 | Mereological supervenience says wholes are fixed by parts [Kim] |
| Full Idea: Mereological supervenience is the doctrine that wholes are fixed by the properties and relations that characterise their parts. | |
| From: Jaegwon Kim (Mind in a Physical World [1998], §1 p.018) | |
| A reaction: Presumably this would be the opposite of 'holism'. Personally I would take mereological supervenience to be not merely correct, but to be metaphysically necessary. Don't ask me to prove it, of course. |
| 2329 | Causal power is a good way of distinguishing the real from the unreal [Kim] |
| Full Idea: A plausible criterion for distinguishing what is real from what is not real is the possession of causal power. | |
| From: Jaegwon Kim (Mind in a Physical World [1998], §4 p.119) | |
| A reaction: This is, of course, a physicalist view, but for physicalists it is probably the best criterion of what is real. A standard objection to platonism in mathematics is that it denies mathematics causal powers. |
| 2320 | Properties can have causal powers lacked by their constituents [Kim] |
| Full Idea: Macroproperties can, and in general do, have their own causal powers, powers that go beyond the causal powers of their microconstituents. | |
| From: Jaegwon Kim (Mind in a Physical World [1998], §3 p.085) | |
| A reaction: I don't see why the macro-powers 'go beyond' the sum of the micro-powers. Admittedly one molecule can't be slippery, but slipperiness can be totally reduced to molecule behaviour. |
| 530 | There are two contradictory arguments about everything [Kim] |
| Full Idea: There are two contradictory arguments about everything. | |
| From: Jaegwon Kim (Mind in a Physical World [1998], B06a), quoted by (who?) - where? |
| 13314 | Protagoras says arguments on both sides are always equal [Kim, by Seneca] |
| Full Idea: Protagoras declares that it is possible to argue either side of any question with equal force, even the question whether or not one can equally argue either side of any question! | |
| From: report of Jaegwon Kim (Mind in a Physical World [1998]) by Seneca the Younger - Letters from a Stoic 088 | |
| A reaction: This is perhaps the most famous sceptical argument in the ancient world (though, note, Protagoras is most famous for his relativism rather than his scepticism). It is, of course, wrong. The arguments are sometimes equal, but often they are not. |
| 2065 | Not every person is the measure of all things, but only wise people [Plato on Kim] |
| Full Idea: We do not agree that every person is the measure of all things, but only wise people. | |
| From: comment on Jaegwon Kim (Mind in a Physical World [1998], B01) by Plato - Theaetetus 183c | |
| A reaction: I fully agree with this, but only because I have an optimistic view that rational people converge on the truth. |
| 1550 | Why didn't Protagoras begin by saying "a tadpole is the measure of all things"? [Plato on Kim] |
| Full Idea: Why didn't he start 'Truth' off by saying "A pig is the measure of all things", or "a baboon",…or " tadpole"? That would have been a magnificently haughty beginning. | |
| From: comment on Jaegwon Kim (Mind in a Physical World [1998], B01) by Plato - Theaetetus 161d1 |
| 2318 | Agency, knowledge, reason, memory, psychology all need mental causes [Kim, by PG] |
| Full Idea: The following all require a belief in mental causation: agency (mind causes events), knowledge (perception causes beliefs), reasoning (one belief causes another), memory (events cause ideas), psychology (science of mental causes). | |
| From: report of Jaegwon Kim (Mind in a Physical World [1998], §2 p.031) by PG - Db (ideas) | |
| A reaction: A very good list, which I cannot fault, and to which I cannot add. The question is: is there any mental activity left over which does NOT require causation? Candidates are free will, and the contingent character of qualia. I say the answer is, no. |
| 2325 | It seems impossible that an exact physical copy of this world could lack intentionality [Kim] |
| Full Idea: It seems to me inconceivable that a possible world exists that is an exact physical duplicate of this world but lacking wholly in intentionality. | |
| From: Jaegwon Kim (Mind in a Physical World [1998], §4 p.101) | |
| A reaction: Personally I can't conceive of such a world lacking qualia either. The physical entails the mental, say I. |
| 2324 | Intentionality as function seems possible [Kim] |
| Full Idea: There has been much scepticism about a functionalist account of intentionality, particularly from Putnam (recently) and Searle, but, like many others, I don't see any principled objections to such an account. | |
| From: Jaegwon Kim (Mind in a Physical World [1998], §4 p.101) | |
| A reaction: I agree. I don't believe that intentionality is a candidate for being one of those many 'magic' qualities which are supposed to make the reduction of mind to brain impossible. |
| 2314 | Maybe intentionality is reducible, but qualia aren't [Kim] |
| Full Idea: It is possible to hold that phenomenal properties (qualia) are irreducible, while holding intentional properties, including propositional attitudes, to be reducible (functionally, or biologically). | |
| From: Jaegwon Kim (Mind in a Physical World [1998], §1 p.017) | |
| A reaction: This is the position which Kim has settled for, but I find it baffling. If the universe is full of irreducibles that is one thing, but if everything in the universe is reducible except for one tiny item, that is implausible. |
| 2313 | Emergentism says there is no explanation for a supervenient property [Kim] |
| Full Idea: The emergentism (of Searle), like ethical intuitionism, views mind-body supervenience as something that admits no explanation - it is a brute fact. | |
| From: Jaegwon Kim (Mind in a Physical World [1998], §1 p.013) | |
| A reaction: This is why 'emergence' is no sort of theory, and is really old-fashioned dualism in a dubious naturalistic disguise. If mind 'emerges', there is presumably a causal mechanism for that. |
| 2328 | The only mental property that might be emergent is that of qualia [Kim] |
| Full Idea: If emergentism is correct about anything, it is more likely to be correct about qualia than about anything else. | |
| From: Jaegwon Kim (Mind in a Physical World [1998], §4 p.103) | |
| A reaction: I'm puzzled by a view that says that nearly all of the mind is reducible, but one tiny aspect of it is 'emergent'. What sort of ontology is envisaged by that? |
| 2309 | Non-Reductive Physicalism relies on supervenience [Kim] |
| Full Idea: Many philosophers saw in mind-body supervenience a satisfying metaphysical statement of physicalism without reductionism. This widely influential position is now known as "nonreductive physicalism". | |
| From: Jaegwon Kim (Mind in a Physical World [1998], §1 p.008) | |
| A reaction: If two things supervene on one another, then we should be asking why. Occasionalism and Parallelism are presumably not the answer. Coldness supervenes on ice. |
| 2311 | Maybe strong supervenience implies reduction [Kim] |
| Full Idea: Maybe strong supervenience is inconsistent with the irreducibility of the supervenient properties to their subvenient bases. | |
| From: Jaegwon Kim (Mind in a Physical World [1998], §1 p.012) | |
| A reaction: If two things are really very very supervenient on one another (superdupervenient?), then you have to ask WHY? If there isn't identity, then there is surely a highly lawlike connection? |
| 2308 | Identity theory was overthrown by multiple realisations and causal anomalies [Kim] |
| Full Idea: The two principle arguments which overthrew the mind-brain identity theory were the multiple realization argument of Hilary Putnam, and the anomalist argument of Davidson, which contained the seeds of functionalism and anomalous monism. | |
| From: Jaegwon Kim (Mind in a Physical World [1998], §1 p.002) | |
| A reaction: The first argument strikes me as significant and interesting, but Davidson seems weak. It makes the unsubstantiated claim that mind is outside the laws of physics, and irreducible. |
| 2322 | Multiple realisation applies to other species, and even one individual over time [Kim] |
| Full Idea: Multiple realization goes deeper and wider than biological species, and even in the same individual the neural realizer, or correlate, of a given mental state or function may change over time through maturation and brain injuries. | |
| From: Jaegwon Kim (Mind in a Physical World [1998], §4 p.095) | |
| A reaction: The tricky question here is what you mean by 'change'. How different must a pattern of neurons be before you say it is of a different type? How do you individuate a type? |
| 2327 | Knowledge and inversion make functionalism about qualia doubtful [Kim] |
| Full Idea: My doubts about functionalist accounts of qualia are based on the much discussed arguments from qualia inversions, and from epistemic considerations. | |
| From: Jaegwon Kim (Mind in a Physical World [1998], §4 p.102) | |
| A reaction: With a colour inversion experience changes but function doesn't. But maybe function does change if you ask the right questions. 'Is this a warm colour?' It certainly strikes me that qualia contain useful (epistemic) information. |
| 2323 | Emotions have both intentionality and qualia [Kim] |
| Full Idea: It has been customary to distinguish between two broad categories of mental phenomena, the intentional and the phenomenal, without excluding those that have both (e.g. emotions). | |
| From: Jaegwon Kim (Mind in a Physical World [1998], §4 p.101) | |
| A reaction: This has become the conventional modern account of the mind. It seems a little too simple to say that the mind is characterised by two clearcut phenomena like this. I suspect that his picture will be modified in time. |
| 18791 | In 'situation semantics' our main concepts are abstracted from situations [Mares] |
| Full Idea: In 'situation semantics' individuals, properties, facts, and events are treated as abstractions from situations. | |
| From: Edwin D. Mares (Negation [2014], 6.1) | |
| A reaction: [Barwise and Perry 1983 are cited] Since I take the process of abstraction to be basic to thought, I am delighted to learn that someone has developed a formal theory based on it. I am immediately sympathetic to situation semantics. |
| 13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
| Full Idea: In a single day there lies open to men of learning more than there ever does to the unenlightened in the longest of lifetimes. | |
| From: Posidonius (fragments/reports [c.95 BCE]), quoted by Seneca the Younger - Letters from a Stoic 078 | |
| A reaction: These remarks endorsing the infinite superiority of the educated to the uneducated seem to have been popular in late antiquity. It tends to be the religions which discourage great learning, especially in their emphasis on a single book. |
| 20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |
| Full Idea: Posidonius defined time thus: it is an interval of motion, or the measure of speed and slowness. | |
| From: report of Posidonius (fragments/reports [c.95 BCE]) by John Stobaeus - Anthology 1.08.42 | |
| A reaction: Hm. Can we define motion or speed without alluding to time? Looks like we have to define them as a conjoined pair, which means we cannot fully understand either of them. |