128 ideas
| 24069 | Much metaphysical debate concerns what is fundamental, rather than what exists [Koslicki] |
| Full Idea: Some of the most important debates in metaphysics or ontology do not concern existential questions, but focus on questions of fundamentality. | |
| From: Kathrin Koslicki (Form, Matter and Substance [2018], 5 Intro) | |
| A reaction: In modern times we have added the structure of existence to the mere ontological catalogue, and this idea makes another important addition to our concept of metaphysics. She gives disagreement over tropes as an example. |
| 3099 | Inference is never a conscious process [Harman] |
| Full Idea: Inference is never a conscious process. | |
| From: Gilbert Harman (Thought [1973], 11.2) |
| 19304 | The rules of reasoning are not the rules of logic [Harman] |
| Full Idea: Rules of deduction are rules of deductive argument; they are not rules of inference or reasoning. | |
| From: Gilbert Harman (Change in View: Principles of Reasoning [1986], 1) | |
| A reaction: And I have often noticed that good philosophing reasoners and good logicians are frequently not the same people. |
| 19307 | If there is a great cost to avoiding inconsistency, we learn to reason our way around it [Harman] |
| Full Idea: We sometimes discover our views are inconsistent and do not know how to revise them in order to avoid inconsistency without great cost. The best response may be to keep the inconsistency and try to avoid inferences that exploit it. | |
| From: Gilbert Harman (Change in View: Principles of Reasoning [1986], 2) | |
| A reaction: Any decent philosopher should face this dilemma regularly. I assume non-philosophers don't compare the different compartments of their beliefs very much. Students of non-monotonic logics are trying to formalise such thinking. |
| 19309 | Logic has little relevance to reasoning, except when logical conclusions are immediate [Harman] |
| Full Idea: Although logic does not seem specially relevant to reasoning, immediate implication and immediate inconsistency do seem important for reasoning. | |
| From: Gilbert Harman (Change in View: Principles of Reasoning [1986], 2) | |
| A reaction: Ordinary thinkers can't possibly track complex logical implications, so we have obviously developed strategies for coping. I assume formal logic is contructed from the basic ingredients of the immediate and obvious implications, such as modus ponens. |
| 6950 | You can be rational with undetected or minor inconsistencies [Harman] |
| Full Idea: Rationality doesn't require consistency, because you can be rational despite undetected inconsistencies in beliefs, and it isn't always rational to respond to a discovery of inconsistency by dropping everything in favour of eliminating that inconsistency. | |
| From: Gilbert Harman (Rationality [1995], 1.2) | |
| A reaction: This strikes me as being correct, and is (I am beginning to realise) a vital contribution made to our understanding by pragmatism. European thinking has been too keen on logic as the model of good reasoning. |
| 19306 | It is a principle of reasoning not to clutter your mind with trivialities [Harman] |
| Full Idea: I am assuming the following principle: Clutter Avoidance - in reasoning, one should not clutter one's mind with trivialities. | |
| From: Gilbert Harman (Change in View: Principles of Reasoning [1986], 2) | |
| A reaction: I like Harman's interest in the psychology of reasoning. In the world of Frege, it is taboo to talk about psychology. |
| 3077 | Reasoning might be defined in terms of its functional role, which is to produce knowledge [Harman] |
| Full Idea: Reasoning could be treated as a functionally defined process that is partly defined in terms of its role in giving a person knowledge. | |
| From: Gilbert Harman (Thought [1973], 3.6) |
| 19303 | Implication just accumulates conclusions, but inference may also revise our views [Harman] |
| Full Idea: Implication is cumulative, in a way that inference may not be. In argument one accumulates conclusions; things are always added, never subtracted. Reasoned revision, however, can subtract from one's view as well as add. | |
| From: Gilbert Harman (Change in View: Principles of Reasoning [1986], 1) | |
| A reaction: This has caught Harman's attention, I think (?), because he is looking for non-monotonic reasoning (i.e. revisable reasoning) within a classical framework. If revision is responding to evidence, the logic can remain conventional. |
| 12596 | Reasoning aims at increasing explanatory coherence [Harman] |
| Full Idea: In reasoning you try among other things to increase the explanatory coherence of your view. | |
| From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.2.2) | |
| A reaction: Harman is a champion of inference to the best explanation (abduction), and I agree with him. I think this idea extends to give us a view of justification as coherence, and that extends from inner individual coherence to socially extended coherence. |
| 12599 | Reason conservatively: stick to your beliefs, and prefer reasoning that preserves most of them [Harman] |
| Full Idea: Conservatism is important; you should continue to believe as you do in the absence of any special reason to doubt your view, and in reasoning you should try to minimize change in your initial opinions in attaining other goals of reasoning. | |
| From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.2.6) | |
| A reaction: One of those principles like Ockham's Razor, which feels right but hard to justify. It seems the wrong principle for someone who can reason well, but has been brainwashed into a large collection of daft beliefs. Japanese soldiers still fighting WWII. |
| 6954 | A coherent conceptual scheme contains best explanations of most of your beliefs [Harman] |
| Full Idea: A set of unrelated beliefs seems less coherent than a tightly organized conceptual scheme that contains explanatory principles that make sense of most of your beliefs; this is why inference to the best explanation is an attractive pattern of inference. | |
| From: Gilbert Harman (Rationality [1995], 1.5.2) | |
| A reaction: I find this a very appealing proposal. The central aim of rational thought seems to me to be best explanation, and I increasingly think that most of my beliefs rest on their apparent coherence, rather than their foundations. |
| 3092 | If you believe that some of your beliefs are false, then at least one of your beliefs IS false [Harman] |
| Full Idea: If a rational man believes he has at least some other false beliefs, it follows that a rational man knows that at least one of his beliefs is false (the one believed false, or this new belief). | |
| From: Gilbert Harman (Thought [1973], 7.2) |
| 15118 | A successful Aristotelian 'definition' is what sciences produces after an investigation [Koslicki] |
| Full Idea: My current use of the Aristotelian term 'definition' is intended to correspond to what is typically accessible to a scientist only at the end of a successful investigation into the nature of a particular phenomenon. | |
| From: Kathrin Koslicki (Essence, Necessity and Explanation [2012], 13.3.1) | |
| A reaction: It is crucial to understand that Aristotle's definitions could be several hundred pages long. It has nothing to do with dictionary definitions. He proposes 'nominal' and 'real' definitions. |
| 17311 | Real definitions don't just single out a thing; they must also explain its essence [Koslicki] |
| Full Idea: A statement expressing a real definition must also accomplish more than simply to offer two different ways of singling out the same entity, since the definiens must also be explanatory of the essential nature of the definiendum. | |
| From: Kathrin Koslicki (Varieties of Ontological Dependence [2012], 7.4) | |
| A reaction: This is why Aristotelian definitions are not just short lexicographical definitions, but may be quite length. Effectively, a definition IS an explanation. |
| 15116 | Essences cause necessary features, and definitions describe those necessary features [Koslicki] |
| Full Idea: Since essences cause the other necessary features of a thing, so definitions, as the linguistic correlates of essences, explain, together with other axioms, the propositions describing those necessary features. | |
| From: Kathrin Koslicki (Essence, Necessity and Explanation [2012], 13.3.1) | |
| A reaction: This is nice and clear. Definitions are NOT essences - they are the linguistic correlates of essences, and mirror those essences. The necessary features are not the only things needing explanation. That picture is too passive. |
| 19125 | If we define truth, we can eliminate it [Halbach/Leigh] |
| Full Idea: If truth can be explicitly defined, it can be eliminated. | |
| From: Halbach,V/Leigh,G.E. (Axiomatic Theories of Truth (2013 ver) [2013], 1.3) | |
| A reaction: That we could just say p corresponds to the facts, or p coheres with our accepted beliefs, or p is the aim of our enquiries, and never mention the word 'true'. Definition is a strategy for reduction or elimination. |
| 19128 | If a language cannot name all objects, then satisfaction must be used, instead of unary truth [Halbach/Leigh] |
| Full Idea: If axioms are formulated for a language (such as set theory) that lacks names for all objects, then they require the use of a satisfaction relation rather than a unary truth predicate. | |
| From: Halbach,V/Leigh,G.E. (Axiomatic Theories of Truth (2013 ver) [2013], 3.3) | |
| A reaction: I take it this is an important idea for understanding why Tarski developed his account of truth based on satisfaction. |
| 19120 | Semantic theories need a powerful metalanguage, typically including set theory [Halbach/Leigh] |
| Full Idea: Semantic approaches to truth usually necessitate the use of a metalanguage that is more powerful than the object-language for which it provides a semantics. It is usually taken to include set theory. | |
| From: Halbach,V/Leigh,G.E. (Axiomatic Theories of Truth (2013 ver) [2013], 1) | |
| A reaction: This is a motivation for developing an axiomatic account of truth, that moves it into the object language. |
| 19127 | The T-sentences are deductively weak, and also not deductively conservative [Halbach/Leigh] |
| Full Idea: Although the theory is materially adequate, Tarski thought that the T-sentences are deductively too weak. …Also it seems that the T-sentences are not conservative, because they prove in PA that 0=0 and ¬0=0 are different, so at least two objects exist. | |
| From: Halbach,V/Leigh,G.E. (Axiomatic Theories of Truth (2013 ver) [2013], 3.2) | |
| A reaction: They are weak because they can't prove completeness. This idea give two reasons for looking for a better theory of truth. |
| 19124 | A natural theory of truth plays the role of reflection principles, establishing arithmetic's soundness [Halbach/Leigh] |
| Full Idea: If a natural theory of truth is added to Peano Arithmetic, it is not necessary to add explicity global reflection principles to assert soundness, as the truth theory proves them. Truth theories thus prove soundess, and allows its expression. | |
| From: Halbach,V/Leigh,G.E. (Axiomatic Theories of Truth (2013 ver) [2013], 1.2) | |
| A reaction: This seems like a big attraction of axiomatic theories of truth for students of metamathematics. |
| 19126 | If deflationary truth is not explanatory, truth axioms should be 'conservative', proving nothing new [Halbach/Leigh] |
| Full Idea: If truth does not have any explanatory force, as some deflationists claim, the axioms of truth should not allow us to prove any new theorems that do not involve the truth predicate. That is, a deflationary axiomatisation of truth should be 'conservative'. | |
| From: Halbach,V/Leigh,G.E. (Axiomatic Theories of Truth (2013 ver) [2013], 1.3) | |
| A reaction: So does truth have 'explanatory force'? These guys are interested in explaining theorems of arithmetic, but I'm more interested in real life. People do daft things because they have daft beliefs. Logic should be neutral, but truth has values? |
| 19129 | The FS axioms use classical logical, but are not fully consistent [Halbach/Leigh] |
| Full Idea: It is a virtue of the Friedman-Sheard axiomatisation that it is thoroughly classical in its logic. Its drawback is that it is ω-inconsistent. That is, it proves &exists;x¬φ(x), but proves also φ(0), φ(1), φ(2), … | |
| From: Halbach,V/Leigh,G.E. (Axiomatic Theories of Truth (2013 ver) [2013], 4.3) | |
| A reaction: It seems the theory is complete (and presumably sound), yet not fully consistent. FS also proves the finite levels of Tarski's hierarchy, but not the transfinite levels. |
| 19130 | KF is formulated in classical logic, but describes non-classical truth, which allows truth-value gluts [Halbach/Leigh] |
| Full Idea: KF is formulated in classical logic, but describes a non-classical notion of truth. It allow truth-value gluts, making some sentences (such as the Liar) both true and not-true. Some authors add an axiom ruling out such gluts. | |
| From: Halbach,V/Leigh,G.E. (Axiomatic Theories of Truth (2013 ver) [2013], 4.4) | |
| A reaction: [summary, which I hope is correct! Stanford is not wholly clear] |
| 13258 | The 'aggregative' objections says mereology gets existence and location of objects wrong [Koslicki] |
| Full Idea: The 'aggregative' objection to classical extensional mereology is that it assigns simply the wrong, set-like conditions of existence and spatio-temporal location to ordinary material objects. | |
| From: Kathrin Koslicki (The Structure of Objects [2008], 5.1) | |
| A reaction: [She attributes this to Kit Fine] The point is that there is more to a whole than just some parts, otherwise you could scatter the parts across the globe (or even across time) and claim that the object still existed. It's obvious really. |
| 3093 | Any two states are logically linked, by being entailed by their conjunction [Harman] |
| Full Idea: Any two states of affairs are logically connected, simply because both are entailed by their conjunction. | |
| From: Gilbert Harman (Thought [1973], 8.1) |
| 12595 | We have a theory of logic (implication and inconsistency), but not of inference or reasoning [Harman] |
| Full Idea: There is as yet no substantial theory of inference or reasoning. To be sure, logic is well developed; but logic is not a theory of inference or reasoning. Logic is a theory of implication and inconsistency. | |
| From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.2.2) | |
| A reaction: One problem is that animals can draw inferences without the use of language, and I presume we do so all the time, so it is hard to see how to formalise such an activity. |
| 3098 | Deductive logic is the only logic there is [Harman] |
| Full Idea: Deductive logic is the only logic there is. | |
| From: Gilbert Harman (Thought [1973], 10.4) |
| 13288 | Consequence is truth-preserving, either despite substitutions, or in all interpretations [Koslicki] |
| Full Idea: Two conceptions of logical consequence: a substitutional account, where no substitution of non-logical terms for others (of the right syntactic category) produce true premises and false conclusions; and model theory, where no interpretation can do it. | |
| From: Kathrin Koslicki (The Structure of Objects [2008], 9.3.2 n8) | |
| A reaction: [compressed] |
| 14506 | 'Roses are red; therefore, roses are colored' seems truth-preserving, but not valid in a system [Koslicki] |
| Full Idea: 'Roses are red; therefore, roses are colored' may be necessarily truth-preserving, but it would not be classified as logically valid by standard systems of logic. | |
| From: Kathrin Koslicki (The Structure of Objects [2008], 9.3.2) |
| 3094 | You don't have to accept the conclusion of a valid argument [Harman] |
| Full Idea: We may say "From P and If-P-then-Q, infer Q" (modus ponens), but there is no rule of acceptance to say that we should accept Q. Maybe we should stop believing P or If-P-then-Q rather than believe Q. | |
| From: Gilbert Harman (Thought [1973], 10.1) |
| 3080 | Logical form is the part of a sentence structure which involves logical elements [Harman] |
| Full Idea: The logical form of a sentence is that part of its structure that involves logical elements. | |
| From: Gilbert Harman (Thought [1973], 5.2) |
| 3081 | A theory of truth in a language must involve a theory of logical form [Harman] |
| Full Idea: Some sort of theory of logical form is involved in any theory of truth for a natural language. | |
| From: Gilbert Harman (Thought [1973], 5.2) |
| 3084 | Our underlying predicates represent words in the language, not universal concepts [Harman] |
| Full Idea: The underlying truth-conditional structures of thoughts are language-dependent in the sense that underlying predicates represent words in the language rather than universal concepts common to all languages. | |
| From: Gilbert Harman (Thought [1973], 6.3) |
| 12597 | I might accept P and Q as likely, but reject P-and-Q as unlikely [Harman] |
| Full Idea: Principles of implication imply there is not a purely probabilistic rule of acceptance for belief. Otherwise one might accept P and Q, without accepting their conjunction, if the conjuncts have a high probability, but the conjunction doesn't. | |
| From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.2.2) | |
| A reaction: [Idea from Scott Soames] I am told that my friend A has just won a very big lottery prize, and am then told that my friend B has also won a very big lottery prize. The conjunction seems less believable; I begin to suspect a conspiracy. |
| 17435 | Objects do not naturally form countable units [Koslicki] |
| Full Idea: Objects do not by themselves naturally fall into countable units. | |
| From: Kathrin Koslicki (Isolation and Non-arbitrary Division [1997], 2.2) | |
| A reaction: Hm. This seems to be modern Fregean orthodoxy. Why did the institution of counting ever get started if the things in the world didn't demand counting? Even birds are aware of the number of eggs in their nest (because they miss a stolen one). |
| 17433 | We can still count squares, even if they overlap [Koslicki] |
| Full Idea: The fact that there is overlap does not seem to inhibit our ability to count squares. | |
| From: Kathrin Koslicki (Isolation and Non-arbitrary Division [1997], 2.2) | |
| A reaction: She has a diagram of three squares overlapping slightly at their corners. Contrary to Frege, these seems to depend on a subliminal concept of the square that doesn't depend on language. |
| 17439 | There is no deep reason why we count carrots but not asparagus [Koslicki] |
| Full Idea: Why do speakers of English count carrots but not asparagus? There is no 'deep' reason. | |
| From: Kathrin Koslicki (Isolation and Non-arbitrary Division [1997]) | |
| A reaction: Koslick is offering this to defend the Fregean conceptual view of counting, but what seems to matter is what is countable, and not whether we happen to count it. You don't need to know what carrots are to count them. Cooks count asparagus. |
| 17434 | We struggle to count branches and waves because our concepts lack clear boundaries [Koslicki] |
| Full Idea: The reason we have a hard time counting the branches and the waves is because our concepts 'branches on the tree' and 'waves on the ocean' do not determine sufficiently precise boundaries: the concepts do not draw a clear invisible line around each thing. | |
| From: Kathrin Koslicki (Isolation and Non-arbitrary Division [1997], 2.2) | |
| A reaction: This is the 'isolation' referred to in Frege. |
| 17312 | It is more explanatory if you show how a number is constructed from basic entities and relations [Koslicki] |
| Full Idea: Being the successor of the successor of 0 is more explanatory than being predecessor of 3 of the nature of 2, since it mirrors more closely the method by which 2 is constructed from a basic entity, 0, and a relation (successor) taken as primitive. | |
| From: Kathrin Koslicki (Varieties of Ontological Dependence [2012], 7.4) | |
| A reaction: This assumes numbers are 'constructed', which they are in the axiomatised system of Peano Arithmetic, but presumably the numbers were given in ordinary experience before 'construction' occurred to anyone. Nevertheless, I really like this. |
| 14505 | Some questions concern mathematical entities, rather than whole structures [Koslicki] |
| Full Idea: Those who hold that not all mathematical questions can be concerned with structural matters can point to 'why are π or e transcendental?' or 'how are the prime numbers distributed?' as questions about particular features in the domain. | |
| From: Kathrin Koslicki (The Structure of Objects [2008], 9.3.1 n6) | |
| A reaction: [She cites Mac Lane on this] The reply would have to be that we only have those particular notions because we have abstracted them from structures, as in deriving π for circles. |
| 17314 | The relata of grounding are propositions or facts, but for dependence it is objects and their features [Koslicki] |
| Full Idea: The relata of the grounding relation are typically taken to be facts or propositions, while the relata of ontological dependence ...are objects and their characteristics, activities, constituents and so on. | |
| From: Kathrin Koslicki (Varieties of Ontological Dependence [2012], 7.5 n25) | |
| A reaction: Interesting. Good riddance to propositions here, but this seems a bit unfair to facts, since I take facts to be in the world. Audi's concept of 'worldly facts' is what we need here. |
| 17436 | We talk of snow as what stays the same, when it is a heap or drift or expanse [Koslicki] |
| Full Idea: Talk of snow concerns what stays the same when some snow changes, as it might be, from a heap of snow to a drift, to an expanse. | |
| From: Kathrin Koslicki (Isolation and Non-arbitrary Division [1997], 2.2) | |
| A reaction: The whiteness also stays the same, but isn't stuff. |
| 12598 | Reality is the overlap of true complete theories [Harman] |
| Full Idea: Reality is what is invariant among true complete theories. | |
| From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.2.4) | |
| A reaction: The sort of slogan that gets coined in the age of Quine. The whole manner of starting from your theories and working out to what we think reality is seems to be putting the cart before the horse. |
| 13289 | Structures have positions, constituent types and number, and some invariable parts [Koslicki] |
| Full Idea: Structures make available positions or places for objects, and place restraints on the type of constituent, and on their configuration. ...These lead to restrictions on the number of objects, and on which parts of the structure are invariable. | |
| From: Kathrin Koslicki (The Structure of Objects [2008], 9.6) | |
| A reaction: [compressed] That's a pretty good first shot at saying what a structure is, which I have so far not discovered any other writer willing to do. I take this to be an exploration of what Aristotle meant by 'form'. |
| 14501 | 'Categorical' properties exist in the actual world, and 'hypothetical' properties in other worlds [Koslicki] |
| Full Idea: The 'categorical' properties are roughly those that concern what goes on in the actual world; the properties excluded from that family are the 'hypothetical' ones, which concern what goes on in other worlds. | |
| From: Kathrin Koslicki (The Structure of Objects [2008], 3.2.3.1) | |
| A reaction: The awkward guest at this little party is the 'dispositional' properties, which are held to exist in the actual world, but have implications for other worlds. I'm a fan of them. |
| 19121 | We can reduce properties to true formulas [Halbach/Leigh] |
| Full Idea: One might say that 'x is a poor philosopher' is true of Tom instead of saying that Tom has the property of being a poor philosopher. We quantify over formulas instead of over definable properties, and thus reduce properties to truth. | |
| From: Halbach,V/Leigh,G.E. (Axiomatic Theories of Truth (2013 ver) [2013], 1.1) | |
| A reaction: [compressed] This stuff is difficult (because the axioms are complex and hard to compare), but I am excited (yes!) about this idea. Their point is that you need a truth predicate within the object language for this, which disquotational truth forbids. |
| 19122 | Nominalists can reduce theories of properties or sets to harmless axiomatic truth theories [Halbach/Leigh] |
| Full Idea: The reduction of second-order theories (of properties or sets) to axiomatic theories of truth is a form of reductive nominalism, replacing existence assumptions (e.g. comprehension axioms) by innocuous assumptions about the truth predicate. | |
| From: Halbach,V/Leigh,G.E. (Axiomatic Theories of Truth (2013 ver) [2013], 1.1) | |
| A reaction: I'm currently thinking that axiomatic theories of truth are the most exciting development in contemporary philosophy. See Halbach and Horsten. |
| 14495 | I aim to put the notion of structure or form back into the concepts of part, whole and object [Koslicki] |
| Full Idea: My project is to put the notion of structure or form squarely back at the center of any adequate account of the notion of part, whole and object. | |
| From: Kathrin Koslicki (The Structure of Objects [2008], Intro) | |
| A reaction: Excellent. It is the fault of logicians, who presumably can't cope with such elusive and complex concepts, that we have ended up with objects as lists of things or properties, or quantifications over them. |
| 13264 | If a whole is just a structure, a dinner party wouldn't need the guests to turn up [Koslicki] |
| Full Idea: If a whole is just a structure, we wonder how the guests could really be part of the dinner party seating structure, when the complex whole is fully exhausted by the structure that specifies the slots. | |
| From: Kathrin Koslicki (The Structure of Objects [2008], 4.2.2) | |
| A reaction: This cuts both ways. A dinner party may necessarily require guests, but the seating plan can be specified in the absence of any guests, who may never turn up. A seating plan is not a dinner party. Perhaps we have two objects here. |
| 24065 | Structured wholes are united by the teamwork needed for their capacities [Koslicki] |
| Full Idea: A structured whole derives its unity from the way in which its parts interact with other parts to allow both the whole and its parts to manifest those of their capacities which require 'team work' among the parts. | |
| From: Kathrin Koslicki (Form, Matter and Substance [2018], Intro) | |
| A reaction: This is a culminating thesis of her book. She defends it at length. It looks like a nice theory for things which are lucky enough to have capacities involving teamwork. Does this mean a pebble can't be unified? She wants a dynamic view. |
| 14497 | The clay is just a part of the statue (its matter); the rest consists of its form or structure [Koslicki] |
| Full Idea: That objects are compounds of matter and form yields a solution to the Problem of Constitution: the clay is merely a proper part of the statue (viz. its matter); the 'remainder' of the statue is its formal or structural components which distinguish it. | |
| From: Kathrin Koslicki (The Structure of Objects [2008], Info) | |
| A reaction: Thus philosophers have thought that it might consist of two objects because they have failed to grasp what an 'object' is. I would add that we need to mention 'essence', so that the statue can survive minor modifications. This is the solution! |
| 13280 | Statue and clay differ in modal and temporal properties, and in constitution [Koslicki] |
| Full Idea: The statue and the clay appear to differ in modal properties (such as being able to survive squashing), and temporal properties (coming into existence after the lump of clay), and in constitution (only the statue is constituted of the clay). | |
| From: Kathrin Koslicki (The Structure of Objects [2008], 7.2.7.2) | |
| A reaction: I think the modal properties are the biggest problem here. You can't say a thing and its constitution are different objects, as they are necessarily connected. Structure comes into existence at t, but the structure isn't the whole object. |
| 24066 | The form explains kind, structure, unity and activity [Koslicki] |
| Full Idea: Hylomorphists tend to agree that the form (rather than matter) explains 1) kind membership, 2) structure, 3) unity, 4) characteristic activities. | |
| From: Kathrin Koslicki (Form, Matter and Substance [2018], 3.2.1) | |
| A reaction: [compressed; she explains each of them] Personally I would add continuity through change (statue/clay). Glad to see that kind membership is not part of the form. And what about explaining observed properties? Does form=essence? |
| 14496 | Structure or form are right at the centre of modern rigorous modes of enquiry [Koslicki] |
| Full Idea: The notion of structure or form, far from being a mysterious and causally inert invention of philosophers, lies at the very center of many scientific and other rigorous endeavours, such as mathematics, logic, linguistics, chemistry and music. | |
| From: Kathrin Koslicki (The Structure of Objects [2008], Intro) | |
| A reaction: This echoes my own belief exactly, and places Aristotle at the centre of the modern stage. Her list of subjects is intriguing, and will need a bit of thought. |
| 13279 | There are at least six versions of constitution being identity [Koslicki] |
| Full Idea: The view that constitution is identity has many versions: eliminativism (van Inwagen), identity relative to time (Gallois), identity relativized to sort (Geach), four-dimensionalism (Lewis, Sider), contingent identity (Gibbard), dominant kinds (Burke). | |
| From: Kathrin Koslicki (The Structure of Objects [2008], 7.2.7.2 n17) | |
| A reaction: [she offers other names- useful footnote] Eliminativism says there is no identity. Gallois's view is Heraclitus. Geach seems to deny nature, since sorts are partly conventional. 4-D, nah! Gibbard: it could be the thing but lack its identity? Kinds wrong. |
| 14498 | For three-dimensionalist parthood must be a three-place relation, including times [Koslicki] |
| Full Idea: Parthood (for the three-dimensionalist) must be a three-place relation between pairs of objects and times, not the timeless two-place relation at work in the original Calculus of Individuals. | |
| From: Kathrin Koslicki (The Structure of Objects [2008], 2.2) |
| 13283 | The parts may be the same type as the whole, like a building made of buildings [Koslicki] |
| Full Idea: A building may be composed of proper parts which are themselves buildings; a particular pattern may be composed of proper parts which are themselves patterns (even the same pattern, on a smaller scale). | |
| From: Kathrin Koslicki (The Structure of Objects [2008], 7.2.12) | |
| A reaction: This strikes me as a rather important observation, if you are (erroneously) trying to establish the identity of a thing simply by categorising its type. |
| 13266 | Wholes in modern mereology are intended to replace sets, so they closely resemble them [Koslicki] |
| Full Idea: The modern theory of parts and wholes was intended primarily to replace set theory; in this way, wholes came out looking as much like sets as they possibly could, without set theory's commitment to an infinite hierarchy of abstract objects. | |
| From: Kathrin Koslicki (The Structure of Objects [2008], Intro) | |
| A reaction: A very nice clarificatory remark, which explains well this rather baffling phenomenon of people who think there is nothing more to a whole than a pile of parts, as if a scrap heap were the same as a fleet of motor cars. |
| 14500 | Wholes are entities distinct from their parts, and have different properties [Koslicki] |
| Full Idea: A commitment to wholes is a commitment to entities that are numerically distinct from their parts (by Leibniz's Law, they don't share all of their properties - the parts typically exist, but the whole doesn't, prior to its creation). | |
| From: Kathrin Koslicki (The Structure of Objects [2008], 3.1) | |
| A reaction: Presumably in classical mereology no act of 'creation' is needed, since all the parts in the universe already form all the possible wholes into which they might combine, however bizarrely. |
| 13281 | Wholes are not just their parts; a whole is an entity distinct from the proper parts [Koslicki] |
| Full Idea: In my approach (as in that of Plato and Aristotle), wholes are in no way identified with parts; rather, a commitment to wholes is a commitment to entities numerically distinct from their proper parts. | |
| From: Kathrin Koslicki (The Structure of Objects [2008], 7.2.11) | |
| A reaction: Calling the whole an 'entity' doesn't seem to capture it. She seems to think there are some extra parts, in addition to the material parts, that make something a whole. I think this might be a category mistake. A structure is an abstraction. |
| 15110 | An essence and what merely follow from it are distinct [Koslicki] |
| Full Idea: We can distinguish (as Aristotle and Fine do) between what belongs to the essence of an object, and what merely follows from the essence of an object. | |
| From: Kathrin Koslicki (Essence, Necessity and Explanation [2012], 13.1) | |
| A reaction: This can help to clarify the confusions that result from treating necessary properties as if they were essential. |
| 17313 | Modern views want essences just to individuate things across worlds and times [Koslicki] |
| Full Idea: According to the approach of Plantinga, Forbes and Mackie, the primary job of essences is to individuate the entities whose essences they are across worlds and times at which these entities exist. | |
| From: Kathrin Koslicki (Varieties of Ontological Dependence [2012], 7.4 n13) | |
| A reaction: A helpful simplification of what is going on. I wish those authors would just say this one their first pages. They all get in a right tangle, because individuation is either too easy, or hopeless. 'Tracking' is a good word for this game. |
| 15113 | Individuals are perceived, but demonstration and definition require universals [Koslicki] |
| Full Idea: Individual instances of a kind of phenomenon, in Aristotle's view, can only be perceived through sense-perception; but they are not the proper subject-matter of scientific demonstration and definition. | |
| From: Kathrin Koslicki (Essence, Necessity and Explanation [2012], 13.3.1) | |
| A reaction: A footnote (11) explains that this is because they involve syllogisms, which require universals. I take Aristotle, and anyone sensible, to rest on individual essences, but inevitably turn to generic essences when language becomes involved. |
| 24067 | Hylomorphic compounds need an individual form for transworld identity [Koslicki] |
| Full Idea: It is difficult to see how forms could serve as cross-world identity principles for hylomorphic compounds, unless these forms are particular or individual entities. | |
| From: Kathrin Koslicki (Form, Matter and Substance [2018], 3.4.3) | |
| A reaction: This is a key part of her objection to treating the form as universal or generic. I agree with her view. |
| 17309 | For Fine, essences are propositions true because of identity, so they are just real definitions [Koslicki] |
| Full Idea: Fine assumes that essences can be identified with collections of propositions that are true in virtue of the identity of a particular object, or objects. ...There is not, on this approach, much of a distinction between essences and real definitions. | |
| From: Kathrin Koslicki (Varieties of Ontological Dependence [2012], 7.4) | |
| A reaction: This won't do, because the essence of a physical object is not a set of propositions, it is some aspects of the object itself, which are described in a definition. Koslicki notes that psuché is an essence, and the soul is hardly a set of propositions! |
| 17315 | We need a less propositional view of essence, and so must distinguish it clearly from real definitions [Koslicki] |
| Full Idea: To make room for a less propositional conception of essence than that assumed by Fine, I urge that we distinguish more firmly between essences and real definitions (which state these essences in the form of propositions). | |
| From: Kathrin Koslicki (Varieties of Ontological Dependence [2012], 7.6) | |
| A reaction: Yes. The idea that essence is just a verbal or conceptual entity would be utterly abhorrent to Aristotle (a hero for Fine), and it is anathema to me too. We intend essences to be in the world (even if we are deceived about that). They explain! |
| 15112 | If an object exists, then its essential properties are necessary [Koslicki] |
| Full Idea: If an object has a certain property essentially, then it follows that the object has the property necessarily (if it exists). | |
| From: Kathrin Koslicki (Essence, Necessity and Explanation [2012], 13.2) | |
| A reaction: She is citing Fine, who says that the converse (necessity implying essence) is false. I agree with that. I also willing to challenge the first bit. I suspect an object can retain identity and lose essence. Coma patient; broken clock; aged athlete. |
| 19305 | The Gambler's Fallacy (ten blacks, so red is due) overemphasises the early part of a sequence [Harman] |
| Full Idea: The Gambler's Fallacy says if black has come up ten times in a row, red must be highly probable next time. It overlooks how the impact of an initial run of one color can become more and more insignificant as the sequence gets longer. | |
| From: Gilbert Harman (Change in View: Principles of Reasoning [1986], 1) | |
| A reaction: At what point do you decide that the roulette wheel is fixed, rather than that you have fallen for the Gambler's Fallacy? Interestingly, standard induction points to the opposite conclusion. But then you have prior knowledge of the wheel. |
| 19310 | High probability premises need not imply high probability conclusions [Harman] |
| Full Idea: Propositions that are individually highly probable can have an immediate implication that is not. The fact that one can assign a high probability to P and also to 'if P then Q' is not sufficient reason to assign high probability to Q. | |
| From: Gilbert Harman (Change in View: Principles of Reasoning [1986], 3) | |
| A reaction: He cites Kyburg's Lottery Paradox. It is probable that there is a winning ticket, and that this ticket is not it. Thus it is NOT probable that I will win. |
| 19308 | We strongly desire to believe what is true, even though logic does not require it [Harman] |
| Full Idea: Moore's Paradox: one is strongly disposed not to believe both P and that one does not believe that P, while realising that these propositions are perfectly consistent with one another. | |
| From: Gilbert Harman (Change in View: Principles of Reasoning [1986], 2) | |
| A reaction: [Where in Moore?] A very nice example of a powerful principle of reasoning which can never be captured in logic. |
| 3100 | You have to reaffirm all your beliefs when you make a logical inference [Harman] |
| Full Idea: Since inference is inference to the best total account, all your prior beliefs are relevant and your conclusion is everything you believe at the end. So, you constantly reaffirm your beliefs in inference. | |
| From: Gilbert Harman (Thought [1973], 12.1) |
| 3089 | Only lack of imagination makes us think that 'cats are animals' is analytic [Harman] |
| Full Idea: That 'cats are animals' is often cited as an analytic truth. But (as Putnam points out) the inability to imagine this false is just a lack of imagination. They might turn out to be radio-controlled plastic spies from Mars. | |
| From: Gilbert Harman (Thought [1973], 6.7) |
| 3088 | Analyticity is postulated because we can't imagine some things being true, but we may just lack imagination [Harman] |
| Full Idea: Analyticity is postulated to explain why we cannot imagine certain things being true. A better postulate is that we are not good at imagining things. | |
| From: Gilbert Harman (Thought [1973], 6.7) |
| 3101 | Memories are not just preserved, they are constantly reinferred [Harman] |
| Full Idea: I favour the inferential view of memory over the preservation view. …One constantly reinfers old beliefs. | |
| From: Gilbert Harman (Thought [1973], 12.1) | |
| A reaction: This has a grain of truth, but seems a distortion. An image of the old home floats into my mind when I am thinking about something utterly unconnected. When we search memory we may be inferring and explaining, but the same applies to searching images. |
| 3074 | People's reasons for belief are rarely conscious [Harman] |
| Full Idea: The reasons for which people believe things are rarely conscious. | |
| From: Gilbert Harman (Thought [1973], 2.2) | |
| A reaction: Probably correct. The interesting bit is when they bring the beliefs into consciousness and scrutinise them rationally. Philosophers routinely overthrow their natural beliefs in this way. |
| 3097 | We don't distinguish between accepting, and accepting as evidence [Harman] |
| Full Idea: There is no distinction between what we accept as evidence and whatever else we accept. | |
| From: Gilbert Harman (Thought [1973], 10.4) |
| 6369 | In negative coherence theories, beliefs are prima facie justified, and don't need initial reasons [Harman, by Pollock/Cruz] |
| Full Idea: According to Harman's negative coherence theory it is always permissible to adopt a new belief - any new belief; because beliefs are prima facie justified you do not need a reason for adopting a new belief. | |
| From: report of Gilbert Harman (Thought [1973]) by J Pollock / J Cruz - Contemporary theories of Knowledge (2nd) §3.4.1 | |
| A reaction: This must be placed alongside the fact that we don't usually choose our beliefs, but simply find ourselves believing because of the causal impact of evidence. This gives an unstated rational justification for any belief - something caused it. |
| 19311 | In revision of belief, we need to keep track of justifications for foundations, but not for coherence [Harman] |
| Full Idea: The key issue in belief revision is whether one needs to keep track of one's original justifications for beliefs. What I am calling the 'foundations' theory says yes; what I am calling the 'coherence' theory says no. | |
| From: Gilbert Harman (Change in View: Principles of Reasoning [1986], 4) | |
| A reaction: I favour coherence in all things epistemological, and this idea seems to match real life, where I am very confident of many beliefs of which I have forgotten the justification. Harman says coherentists need the justification only when they doubt a belief. |
| 19312 | Coherence is intelligible connections, especially one element explaining another [Harman] |
| Full Idea: Coherence in a view consists in connections of intelligibility among the elements of the view. Among other things these included explanatory connections, which hold when part of one's view makes it intelligible why some other part should be true. | |
| From: Gilbert Harman (Change in View: Principles of Reasoning [1986], 7) | |
| A reaction: Music to my ears. I call myself an 'explanatory empiricist', and embrace a coherence theory of justification. This is the framework within which philosophy should be practised. Harman is our founder, and Paul Thagard our guru. |
| 3096 | Coherence avoids scepticism, because it doesn't rely on unprovable foundations [Harman] |
| Full Idea: Scepticism is undermined once it is seen that the relevant kind of justification is not a matter of derivation from basic principles but is rather a matter of showing that a view fits in well with other things we believe. | |
| From: Gilbert Harman (Thought [1973], 10.4) | |
| A reaction: I would (now) call myself a 'coherentist' about justification, and I agree with this. Coherent justification could not possibly deliver certainty, so it must be combined with fallibilism. |
| 8800 | If you would deny a truth if you know the full evidence, then knowledge has social aspects [Harman, by Sosa] |
| Full Idea: If one reads of a genuine assassination, but then fails to read the reports next day which untruthfully deny the event, one probably does not know of the event. But we must conclude that knowledge has a further 'social aspect'. | |
| From: report of Gilbert Harman (Induction [1970], §IV) by Ernest Sosa - The Raft and the Pyramid Appx | |
| A reaction: I doubt if this is enough to support an externalist account of defeasibility. Wise people don't 'know' of an event after one report. For 24 hours the Royalists thought they had won Marston Moor! You know he's dead when you see the Zapruder film. |
| 15111 | In demonstration, the explanatory order must mirror the causal order of the phenomena [Koslicki] |
| Full Idea: Demonstration encompasses more than deductive entailment, in that the explanatory order of priority represented in a successful demonstration must mirror precisely the causal order of priority present in the phenomena in question. | |
| From: Kathrin Koslicki (Essence, Necessity and Explanation [2012], 13.1) | |
| A reaction: She is referring to Aristotle's 'Posterior Analytics'. Put so clearly this sounds like an incredibly useful concept in discussing how we present good modern scientific explanations. Reinstating Aristotle is a major priority for philosophy! |
| 15115 | In a demonstration the middle term explains, by being part of the definition [Koslicki] |
| Full Idea: In a proper demonstrative argument, the middle term must be explanatory of the conclusion, in a very specific sense: the middle term must state what properly belongs to the definition of the kind of phenomenon in question. | |
| From: Kathrin Koslicki (Essence, Necessity and Explanation [2012], 13.3.1) | |
| A reaction: So 'All men are mortal, S is a man, so S is mortal'. The middle term is 'man', which gives a generic explanation for why S is mortal. Explanation as categorisation? I don't think this is the whole story of Aristotelian explanation. |
| 6955 | Enumerative induction is inference to the best explanation [Harman] |
| Full Idea: We might think of enumerative induction as inference to the best explanation, taking the generalization to explain its instances. | |
| From: Gilbert Harman (Rationality [1995], 1.5.2) | |
| A reaction: This is a helpful connection. The best explanation of these swans being white is that all swans are white; it ceased to be the best explanation when black swans turned up. In the ultimate case, a law of nature is the explanation. |
| 3095 | Induction is an attempt to increase the coherence of our explanations [Harman] |
| Full Idea: Induction is an attempt to increase the explanatory coherence of our view, making it more complete, less ad hoc, more plausible. | |
| From: Gilbert Harman (Thought [1973], 10.2) |
| 6952 | Induction is 'defeasible', since additional information can invalidate it [Harman] |
| Full Idea: It is sometimes said that inductive reasoning is 'defeasible', meaning that considerations that support a given conclusion can be defeated by additional information. | |
| From: Gilbert Harman (Rationality [1995], 1.4.5) | |
| A reaction: True. The point is that being defeasible does not prevent such thinking from being rational. The rational part of it is to acknowledge that your conclusion is defeasible. |
| 6953 | All reasoning is inductive, and deduction only concerns implication [Harman] |
| Full Idea: Deductive logic is concerned with deductive implication, not deductive reasoning; all reasoning is inductive | |
| From: Gilbert Harman (Rationality [1995], 1.4.5) | |
| A reaction: This may be an attempt to stipulate how the word 'reasoning' should be used in future. It is, though, a bold and interesting claim, given the reputation of induction (since Hume) of being a totally irrational process. |
| 17317 | A good explanation captures the real-world dependence among the phenomena [Koslicki] |
| Full Idea: It is plausible to think that an explanation, when successful, captures or represents (by argument, or a why? question) an underlying real-world relation of dependence which obtains among the phenomena cited. | |
| From: Kathrin Koslicki (Varieties of Ontological Dependence [2012], 7.6) | |
| A reaction: She cites causal dependence as an example. I'm incline to think that 'grounding' is a better word for the target of good explanations than is 'dependence' (which can, surely, be mutual, where ground has the directionality needed for explanation). |
| 15117 | Greek uses the same word for 'cause' and 'explanation' [Koslicki] |
| Full Idea: The Greek does not disambiguate between 'cause' and 'explanation', since the same terms ('aitia' and 'aition') can be translated in both ways. | |
| From: Kathrin Koslicki (Essence, Necessity and Explanation [2012], 13.3.1 n15) | |
| A reaction: This is essential information if we are to understand Aristotle's Four Causes, which are quite baffling if we take 'causes' in the modern way. The are the Four Modes of Explanation. |
| 15114 | Discovering the Aristotelian essence of thunder will tell us why thunder occurs [Koslicki] |
| Full Idea: Both the question 'what is thunder?', and the question 'why does thunder occur?', for Aristotle, are answered simultaneously, once it has been discovered what the essence of thunder it, i.e. what it is to be thunder. | |
| From: Kathrin Koslicki (Essence, Necessity and Explanation [2012], 13.3.1 n10) | |
| A reaction: I take this idea to be pretty much the whole story about essences. |
| 17060 | Best Explanation is the core notion of epistemology [Harman, by Smart] |
| Full Idea: Gilbert Harman introduced the term 'inference to the best explanation', and argued that it is the core notion of epistemology. | |
| From: report of Gilbert Harman (The Inference to the Best Explanation [1974]) by J.J.C. Smart - Explanation - Opening Address p. 01 | |
| A reaction: Hard to assess that, but it sounds right. I'm a fan of coherence theories of justification, and also coherence theories of explanation, and there is a neat package there somewhere. |
| 12602 | There is no natural border between inner and outer [Harman] |
| Full Idea: There is no natural border between inner and outer. | |
| From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.3.4) | |
| A reaction: Perhaps this is the key idea for the anti-individualist view of mind. Subjectively I would have to accept this idea, but looking objectively at another person it seems self-evident nonsense. |
| 12603 | We can only describe mental attitudes in relation to the external world [Harman] |
| Full Idea: No one has ever described a way of explaining what beliefs, desires, and other mental states are except in terms of actual or possible relations to things in the external world. | |
| From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.3.4) | |
| A reaction: If I pursue my current favourite idea, that how we explain things is the driving force in what ontology we adopt, then this way of seeing the mind, and taking an externalist anti-individualist view of it seems quite attractive. |
| 8130 | Qualities of experience are just representational aspects of experience ('Representationalism') [Harman, by Burge] |
| Full Idea: Harman defended what came to be known as 'representationalism' - the view that qualitative aspects of experience are nothing other than representational aspects. | |
| From: report of Gilbert Harman (The Intrinsic Quality of Experience [1990]) by Tyler Burge - Philosophy of Mind: 1950-2000 p.459 | |
| A reaction: Functionalists like Harman have a fairly intractable problem with the qualities of experience, and this may be clutching at straws. What does 'represent' mean? How is the representation achieved? Why that particular quale? |
| 12601 | The way things look is a relational matter, not an intrinsic matter [Harman] |
| Full Idea: According to functionalism, the way things look to you is a relational characteristic of your experience, not part of its intrinsic character. | |
| From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.3.3) | |
| A reaction: No, can't make sense of that. How would being in a relation determine what something is? Similar problems with the structuralist account of mathematics. If the whole family love some one cat or one dog, the only difference is intrinsic to the animal. |
| 3073 | We see ourselves in the world as a map [Harman] |
| Full Idea: Our conception of ourselves in the world is more like a map than a story. | |
| From: Gilbert Harman (Thought [1973], Pref) | |
| A reaction: Dennett offer the 'story' view of the self (Ideas 7381 and 7382). How do we arbitrate this one? A story IS a sort of map. Maps can extend over time as well over space. I think the self is real, and is a location on a map, and the hero of a story. |
| 3076 | Defining dispositions is circular [Harman] |
| Full Idea: There is no noncircular way to specify dispositions; for they are dispositions to behave given certain situations, and the situations must be include beliefs about the situation, and desires concerning it. | |
| From: Gilbert Harman (Thought [1973], 3.3) | |
| A reaction: This is nowadays accepted dogmatically as the biggest objection to behaviourism, but it could be challenged. Your analysis may begin by mentioning beliefs and desires, but if you keep going they may eventually fade out of the picture. |
| 3075 | Could a cloud have a headache if its particles formed into the right pattern? [Harman] |
| Full Idea: If the right pattern of electrical discharges occurred in a cloud instead of in a brain, would that also be a headache? | |
| From: Gilbert Harman (Thought [1973], 3.2) | |
| A reaction: The standard objection to functionalism is to propose absurd implementations of a mind, but probably only a brain could produce the right electro-chemical combination. |
| 6951 | Ordinary rationality is conservative, starting from where your beliefs currently are [Harman] |
| Full Idea: Ordinary rationality is generally conservative, in the sense that you start from where you are, with your present beliefs and intentions. | |
| From: Gilbert Harman (Rationality [1995], 1.3) | |
| A reaction: This stands opposed to the Cartesian or philosophers' rationality, which requires that (where possible) everything be proved from scratch. Harman seems right, that the normal onus of proof is on changing beliefs, rather proving you should retain them. |
| 3086 | Are there any meanings apart from in a language? [Harman] |
| Full Idea: The theory of language-independent meanings or semantic representations is mistaken. | |
| From: Gilbert Harman (Thought [1973], 6.5) | |
| A reaction: This would make him (in Dummett's terms) a 'philosopher of language' rather than a 'philosopher of thought'. Personally I disagree. Don't animals have 'meanings'? Can two sentences share a meaning? |
| 12592 | Concepts in thought have content, but not meaning, which requires communication [Harman] |
| Full Idea: Concepts and other aspects of mental representation have content but not (normally) meaning (unless they are also expressions in a language used in communication). | |
| From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.1.2) | |
| A reaction: Given his account of meaning as involving some complex 'role', he has to say this, though it seems a dubious distinction, going against the grain of a normal request to ask what some concept 'means'. What is 'democracy'? |
| 17316 | We can abstract to a dependent entity by blocking out features of its bearer [Koslicki] |
| Full Idea: In 'feature dependence', the ontologically dependent entity may be thought of as the result of a process of abstraction which takes the 'bearer' as its starting point and arrives at the abstracted entity by blocking out all the irrelevant features. | |
| From: Kathrin Koslicki (Varieties of Ontological Dependence [2012], 7.6) | |
| A reaction: She seems unaware that this is traditional abstraction, found in Aristotle, and a commonplace of thought until Frege got his evil hands on abstraction and stole it for other purposes. I'm a fan. |
| 3078 | Speech acts, communication, representation and truth form a single theory [Harman] |
| Full Idea: The various theories are not in competition. The theory of truth is part of the theory of representational character, which is presupposed by the theory of communication, which in turn is contained in the more general theory of speech acts. | |
| From: Gilbert Harman (Thought [1973], 4.3) | |
| A reaction: Certainly it seems that the supposed major contenders for a theory of meaning are just as much complements as they are competitors. |
| 12590 | Take meaning to be use in calculation with concepts, rather than in communication [Harman] |
| Full Idea: (Nonsolipsistic) conceptual role semantics is a version of the theory that meaning is use, where the basic use is taken to be in calculation, not in communication, and where concepts are treated as symbols in a 'language of thought'. | |
| From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.1.1) | |
| A reaction: The idea seems to be to connect the highly social Wittgensteinian view of language with the reductive physicalist account of how brains generate concepts. Interesting, thought I never like meaning-as-use. |
| 12593 | The use theory attaches meanings to words, not to sentences [Harman] |
| Full Idea: A use theory of meaning has to suppose it is words and ways of putting words together that have meaning because of their uses, not sentences. | |
| From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.1.3) | |
| A reaction: He says that most sentences are unique, so cannot have a standard use. Words do a particular job over and over again. How do you distinguish the quirky use of a word from its standard use? |
| 12588 | Meaning from use of thoughts, constructed from concepts, which have a role relating to reality [Harman] |
| Full Idea: Conceptual role semantics involves meanings of expressions determined by used contents of concepts and thoughts, contents constructed from concepts, concepts determined by functional role, which involves relations to things in the world. | |
| From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.1) | |
| A reaction: This essay is the locus classicus for conceptual-role semantics. Any attempt to say what something IS by giving an account of its function always feels wrong to me. |
| 12589 | Some regard conceptual role semantics as an entirely internal matter [Harman] |
| Full Idea: I call my conceptual role semantics 'non-solipsistic' to contrast it with that of authors (Field, Fodor, Loar) who think of conceptual role solipsistically as a completely internal matter. | |
| From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.1) | |
| A reaction: Evidently Harman is influenced by Putnam's Twin Earth, and that meanings ain't in the head, so that the conceptual role has to be extended out into the world to get a good account. I prefer extending into the language community, rather into reality. |
| 12600 | The content of thought is relations, between mental states, things in the world, and contexts [Harman] |
| Full Idea: In (nonsolipsistic) conceptual role semantics the content of thought is not in an 'intrinsic nature', but is rather a matter of how mental states are related to each other, to things in the external world, and to things in a context understood as normal. | |
| From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.3.3) | |
| A reaction: This is part of Harman's functional view of consciousness, which I find rather dubious. If things only have identity because of some place in a flow diagram, we must ask why that thing has that place in that diagram. |
| 3090 | There is only similarity in meaning, never sameness in meaning [Harman] |
| Full Idea: The only sort of sameness of meaning we know is similarity in meaning, not exact sameness of meaning. | |
| From: Gilbert Harman (Thought [1973], 6.8) | |
| A reaction: The Eiffel Tower and le tour Eiffel? If you want to be difficult, you can doubt whether the word 'fast' ever has exactly the same meaning in two separate usages of the word. |
| 3082 | Ambiguity is when different underlying truth-conditional structures have the same surface form [Harman] |
| Full Idea: Ambiguity results from the possibility of transforming different underlying truth-conditional structures into the same surface form. | |
| From: Gilbert Harman (Thought [1973], 5.3) | |
| A reaction: Personally I would call a 'truth-conditional structure' a 'proposition', and leave it to the philosophers to decide what a proposition is. |
| 3079 | Truth in a language is explained by how the structural elements of a sentence contribute to its truth conditions [Harman] |
| Full Idea: A theory of truth for a language shows how the truth conditions of any sentence depend on the structure of that sentence. The theory will say, for each element of structure, what its contribution is. | |
| From: Gilbert Harman (Thought [1973], 5.1) | |
| A reaction: This just seems to push the problem of truth back a stage, as you need to know where the truth is to be found in the elements from which the structure is built. |
| 3085 | Sentences are different from propositions, since two sentences can express one proposition [Harman] |
| Full Idea: 'Bob and John play golf' and 'John and Bob play golf' are equivalent; but if they were to be derived from the same underlying structure, one or the other of Bob and John would have to come first; and either possibility is arbitrary. | |
| From: Gilbert Harman (Thought [1973], 6.4) | |
| A reaction: If I watch Bob and John play golf, neither of them 'comes first'. A proposition about them need not involve 'coming first'. Only if you insist on formulating a sentence must you decide on that. |
| 3087 | The analytic/synthetic distinction is a silly division of thought into encyclopaedia and dictionary [Harman] |
| Full Idea: No purpose is served by thinking that certain principles available to a person are contained in his internal encyclopaedia - and therefore only synthetic - whereas other principles are part of his internal dictionary - and are therefore analytic. | |
| From: Gilbert Harman (Thought [1973], 6.5) | |
| A reaction: If it led to two different ways to acquire knowledge, then quite a lot of purpose would be served. He speaks like a pragmatist. The question is whether some statements just are true because of some feature of meaning. Why not? |
| 12594 | If one proposition negates the other, which is the negative one? [Harman] |
| Full Idea: A relation of negation might hold between two beliefs without there being anything that determines which belief is the negative one. | |
| From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.1.4) | |
| A reaction: [He attributes this thought to Brian Loar] This seems to give us a reason why we need a semantics for a logic, and not just a structure of inferences and proofs. |
| 12591 | Mastery of a language requires thinking, and not just communication [Harman] |
| Full Idea: If one cannot think in a language, one has not yet mastered it. A symbol system used only for communication, like Morse code, is not a language. | |
| From: Gilbert Harman ((Nonsolipsistic) Conceptual Role Semantics [1987], 12.1.2) | |
| A reaction: This invites the question of someone who has mastered thinking, but has no idea how to communicate. No doubt we might construct a machine with something like that ability. I think it might support Harman's claim. |
| 3083 | Many predicates totally resist translation, so a universal underlying structure to languages is unlikely [Harman] |
| Full Idea: There are many predicates of a given language that resist translation into another language, …so it is unlikely that there is a basic set of underlying structures common to all languages. | |
| From: Gilbert Harman (Thought [1973], 5.4) | |
| A reaction: Not convincing. 'Structures' are not the same as 'predicates'. Once a language has mapped its predicates, that blocks the intrusions of differently sliced alien predicates. No gaps. |
| 5121 | Basing ethics on flourishing makes it consequentialist, as actions are judged by contributing to it [Harman] |
| Full Idea: Basing ethics on human flourishing tends towards utilitarianism or consequentialism; actions, character traits, laws, and so on are to be assessed with reference to their contributions to human flourishing. | |
| From: Gilbert Harman (Human Flourishing, Ethics and Liberty [1983], 9.2.2) | |
| A reaction: This raises the question of whether only virtue can contribute to flourishing, or whether a bit of vice might be helpful. This problem presumably pushed the Stoics to say that virtue itself is the good, rather than the resulting flourishing. |
| 5122 | Maybe consequentialism is a critique of ordinary morality, rather than describing it [Harman] |
| Full Idea: Consequentialism may be put forward not as an attempt to capture intuitive folk morality but rather as a critique of ordinary tuitions. | |
| From: Gilbert Harman (Moral Philosophy meets social psychology [1999], 10.1) | |
| A reaction: It is certainly true that most people are concerned with why an action was performed, and (after initial anger) are prepared to forgive an unintended disaster. We have no moral objections to earthquakes, which have bad consequences. |
| 5120 | What counts as 'flourishing' must be relative to various sets of values [Harman] |
| Full Idea: If we base our ethics on human flourishing, one implication would seem to be moral relativism, since what counts as 'flourishing' seems inevitably relative to one or other set of values. | |
| From: Gilbert Harman (Human Flourishing, Ethics and Liberty [1983], 9.2.1) | |
| A reaction: This remark seems to make the relativist assumption that all value systems are equal. For Aristotle, flourishing is no more relative than health is. No one can assert that illness has an intrinsically high value in human life. |
| 5123 | Maybe there is no such thing as character, and the virtues and vices said to accompany it [Harman] |
| Full Idea: It may be the case that there is no such thing as character, no ordinary character traits of the sort people think there are, none of the usual moral virtues and vices. | |
| From: Gilbert Harman (Moral Philosophy meets social psychology [1999], 10.1) | |
| A reaction: This would be a devastating fact for virtue theory, if it were true. I don't believe it. He thinks patterns of behaviour result from circumstances, but we give accurate and detailed pictures of people's characters (esp. in novels). |
| 5124 | If a person's two acts of timidity have different explanations, they are not one character trait [Harman] |
| Full Idea: If Herbert is disposed to not speak in history class (but not other subjects), and explanation of this is different from his avoidance of roller coaster rides, then these two dispositions are not special cases of a single character trait. | |
| From: Gilbert Harman (Moral Philosophy meets social psychology [1999], 10.2) | |
| A reaction: A basic Harman argument for denying the existence of character (and hence of virtues). I just say that character traits are more complex than his caricature of them. If I keep imagining disaster and humiliation for myself, that is a character trait. |
| 5125 | Virtue ethics might involve judgements about the virtues of actions, rather than character [Harman] |
| Full Idea: There are variants of virtue ethics that do not require character traits in the ordinary sense. For example, moral thinking might be explicated by appeal to judgements about whether particular actions are just or courageous or whatever. | |
| From: Gilbert Harman (Moral Philosophy meets social psychology [1999], 10.7.1.1) | |
| A reaction: A very interesting proposal (from Judith Jarvis Thomson). This would flatly reject Aristotle, and one presumes that the judgement about the virtue of the action would largely be a matter of pondering cultural conventions (or, perhaps, consequences). |
| 14504 | The Kripke/Putnam approach to natural kind terms seems to give them excessive stability [Koslicki] |
| Full Idea: Theoretical terms such as 'mass', 'force', 'motion', 'species' and 'phlogiston' seem to indicate that the Kripke/Putnam approach to natural kind terms is committed to an excessive amount of stability in the meaning and reference of such expressions. | |
| From: Kathrin Koslicki (The Structure of Objects [2008], 8.6.2) | |
| A reaction: This sounds right to me. The notion of 'rigid' designation gives a nice framework for modal logic, but it doesn't seem to fit the shifting patterns of scientific thought. |
| 13285 | Natural kinds support inductive inferences, from previous samples to the next one [Koslicki] |
| Full Idea: Natural kinds are said to stand out from other classifications because they support legitimate inductive inferences ...as when we observe that past samples of copper conduct electricity and infer that the next sample will too. | |
| From: Kathrin Koslicki (The Structure of Objects [2008], 8.3.1) | |
| A reaction: A slightly more precise version of the Upanishad definition of natural kinds which I favour (Idea 8153). If you can't predict the next one from the previous one, it isn't a natural kind. You can't quite predict the next tiger from the previous one. |
| 13287 | Concepts for species are either intrinsic structure, or relations like breeding or ancestry [Koslicki] |
| Full Idea: Candidate species concepts can be intrinsic: morphological, physiological or genetic similarity; or relational: biology such as interbreeding and reproductive isolation, ecology, such as mate recognition in a niche, or phylogenetics (ancestor relations). | |
| From: Kathrin Koslicki (The Structure of Objects [2008], 8.4.1) | |
| A reaction: She says the relational ones are more popular, but I gather they all hit problems. See John Dupré on the hopelessness of the whole task. |
| 13284 | Should vernacular classifications ever be counted as natural kind terms? [Koslicki] |
| Full Idea: It is controversial whether classificatory expressions from the vernacular should ever really be counted as genuine natural kind terms. | |
| From: Kathrin Koslicki (The Structure of Objects [2008], 8.2) | |
| A reaction: This is a similar confrontation between the folk and the scientific specialist as we find in folk psychology. There are good defences of folk psychology, and it looks plausible to defend the folk classifications as having priority. |
| 13286 | There are apparently no scientific laws concerning biological species [Koslicki] |
| Full Idea: It has been observed that there are apparently no scientific laws concerning biological species. | |
| From: Kathrin Koslicki (The Structure of Objects [2008], 8.4.1) | |
| A reaction: The central concept of biology I take to be a 'mechanism'. and I suspect that this view of science is actually applicable in physics and chemistry, with so-called 'laws' being a merely superficial description of what is going on. |