53 ideas
| 8797 | The negation of all my beliefs about my current headache would be fully coherent [Sosa] |
| Full Idea: If I have a headache, I could have a set of beliefs that I do not have a headache, that I am not in pain, that no one is in pain, and so on. The resulting system of beliefs would cohere as fully as does my actual system of beliefs. | |
| From: Ernest Sosa (The Raft and the Pyramid [1980], §9) | |
| A reaction: I think this is a misunderstanding of coherentism. Beliefs are not to be formulated through a process of coherence, but are evaluated that way. A belief that I have headache just arrives; I then see that its denial is incoherent, so I accept it. |
| 8877 | We can't attain a coherent system by lopping off any beliefs that won't fit [Sosa] |
| Full Idea: Coherence involves the logical, explanatory and probabilistic relations among one's beliefs, but it could not do to attain a tightly iterrelated system by lopping off whatever beliefs refuse to fit. | |
| From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 6.4) | |
| A reaction: This is clearly right, so the coherentist has to distinguish between lopping off a belief because it is inconvenient (fundamentalists rejecting textual contradictions), and lopping it off because it is wrong (chemists rejecting phlogiston). |
| 10633 | 'Some critics admire only one another' cannot be paraphrased in singular first-order [Linnebo] |
| Full Idea: The Geach-Kaplan sentence 'Some critics admire only one another' provably has no singular first-order paraphrase using only its predicates. | |
| From: Øystein Linnebo (Plural Quantification [2008], 1) | |
| A reaction: There seems to be a choice of either going second-order (picking out a property), or going plural (collectively quantifying), or maybe both. |
| 10779 | A comprehension axiom is 'predicative' if the formula has no bound second-order variables [Linnebo] |
| Full Idea: If φ contains no bound second-order variables, the corresponding comprehension axiom is said to be 'predicative'; otherwise it is 'impredicative'. | |
| From: Øystein Linnebo (Plural Quantification Exposed [2003], §1) | |
| A reaction: ['Predicative' roughly means that a new predicate is created, and 'impredicative' means that it just uses existing predicates] |
| 23445 | Naïve set theory says any formula defines a set, and coextensive sets are identical [Linnebo] |
| Full Idea: Naïve set theory is based on the principles that any formula defines a set, and that coextensive sets are identical. | |
| From: Øystein Linnebo (Philosophy of Mathematics [2017], 4.2) | |
| A reaction: The second principle is a standard axiom of ZFC. The first principle causes the trouble. |
| 10781 | A 'pure logic' must be ontologically innocent, universal, and without presuppositions [Linnebo] |
| Full Idea: I offer these three claims as a partial analysis of 'pure logic': ontological innocence (no new entities are introduced), universal applicability (to any realm of discourse), and cognitive primacy (no extra-logical ideas are presupposed). | |
| From: Øystein Linnebo (Plural Quantification Exposed [2003], §1) |
| 10638 | A pure logic is wholly general, purely formal, and directly known [Linnebo] |
| Full Idea: The defining features of a pure logic are its absolute generality (the objects of discourse are irrelevant), and its formality (logical truths depend on form, not matter), and its cognitive primacy (no extra-logical understanding is needed to grasp it). | |
| From: Øystein Linnebo (Plural Quantification [2008], 3) | |
| A reaction: [compressed] This strikes me as very important. The above description seems to contain no ontological commitment at all, either to the existence of something, or to two things, or to numbers, or to a property. Pure logic seems to be 'if-thenism'. |
| 10783 | Plural quantification depends too heavily on combinatorial and set-theoretic considerations [Linnebo] |
| Full Idea: If my arguments are correct, the theory of plural quantification has no right to the title 'logic'. ...The impredicative plural comprehension axioms depend too heavily on combinatorial and set-theoretic considerations. | |
| From: Øystein Linnebo (Plural Quantification Exposed [2003], §4) |
| 10635 | Second-order quantification and plural quantification are different [Linnebo] |
| Full Idea: Second-order quantification and plural quantification are generally regarded as different forms of quantification. | |
| From: Øystein Linnebo (Plural Quantification [2008], 2) |
| 10641 | Traditionally we eliminate plurals by quantifying over sets [Linnebo] |
| Full Idea: The traditional view in analytic philosophy has been that all plural locutions should be paraphrased away by quantifying over sets, though Boolos and other objected that this is unnatural and unnecessary. | |
| From: Øystein Linnebo (Plural Quantification [2008], 5) |
| 10640 | Instead of complex objects like tables, plurally quantify over mereological atoms tablewise [Linnebo] |
| Full Idea: Plural quantification can be used to eliminate the commitment of science and common sense to complex objects. We can use plural quantification over mereological atoms arranged tablewise or chairwise. | |
| From: Øystein Linnebo (Plural Quantification [2008], 4.5) | |
| A reaction: [He cites Hossack and van Ingwagen] |
| 10778 | Can second-order logic be ontologically first-order, with all the benefits of second-order? [Linnebo] |
| Full Idea: According to its supporters, second-order logic allow us to pay the ontological price of a mere first-order theory and get the corresponding monadic second-order theory for free. | |
| From: Øystein Linnebo (Plural Quantification Exposed [2003], §0) |
| 10636 | Plural plurals are unnatural and need a first-level ontology [Linnebo] |
| Full Idea: Higher-order plural quantification (plural plurals) is often rejected because plural quantification is supposedly ontological innocent, with no plural things to be plural, and because it is not found in ordinary English. | |
| From: Øystein Linnebo (Plural Quantification [2008], 2.4) | |
| A reaction: [Summary; he cites Boolos as a notable rejector] Linnebo observes that Icelandic contains a word 'tvennir' which means 'two pairs of'. |
| 10639 | Plural quantification may allow a monadic second-order theory with first-order ontology [Linnebo] |
| Full Idea: Plural quantification seems to offer ontological economy. We can pay the price of a mere first-order theory and then use plural quantification to get for free the corresponding monadic second-order theory, which would be an ontological bargain. | |
| From: Øystein Linnebo (Plural Quantification [2008], 4.4) | |
| A reaction: [He mentions Hellman's modal structuralism in mathematics] |
| 23447 | In classical semantics singular terms refer, and quantifiers range over domains [Linnebo] |
| Full Idea: In classical semantics the function of singular terms is to refer, and that of quantifiers, to range over appropriate domains of entities. | |
| From: Øystein Linnebo (Philosophy of Mathematics [2017], 7.1) |
| 23443 | The axioms of group theory are not assertions, but a definition of a structure [Linnebo] |
| Full Idea: Considered in isolation, the axioms of group theory are not assertions but comprise an implicit definition of some abstract structure, | |
| From: Øystein Linnebo (Philosophy of Mathematics [2017], 3.5) | |
| A reaction: The traditional Euclidean approach is that axioms are plausible assertions with which to start. The present idea sums up the modern approach. In the modern version you can work backwards from a structure to a set of axioms. |
| 23444 | To investigate axiomatic theories, mathematics needs its own foundational axioms [Linnebo] |
| Full Idea: Mathematics investigates the deductive consequences of axiomatic theories, but it also needs its own foundational axioms in order to provide models for its various axiomatic theories. | |
| From: Øystein Linnebo (Philosophy of Mathematics [2017], 4.1) | |
| A reaction: This is a problem which faces the deductivist (if-then) approach. The deductive process needs its own grounds. |
| 23446 | You can't prove consistency using a weaker theory, but you can use a consistent theory [Linnebo] |
| Full Idea: If the 2nd Incompleteness Theorem undermines Hilbert's attempt to use a weak theory to prove the consistency of a strong one, it is still possible to prove the consistency of one theory, assuming the consistency of another theory. | |
| From: Øystein Linnebo (Philosophy of Mathematics [2017], 4.6) | |
| A reaction: Note that this concerns consistency, not completeness. |
| 23448 | Mathematics is the study of all possible patterns, and is thus bound to describe the world [Linnebo] |
| Full Idea: Philosophical structuralism holds that mathematics is the study of abstract structures, or 'patterns'. If mathematics is the study of all possible patterns, then it is inevitable that the world is described by mathematics. | |
| From: Øystein Linnebo (Philosophy of Mathematics [2017], 11.1) | |
| A reaction: [He cites the physicist John Barrow (2010) for this] For me this is a major idea, because the concept of a pattern gives a link between the natural physical world and the abstract world of mathematics. No platonism is needed. |
| 14085 | 'Deductivist' structuralism is just theories, with no commitment to objects, or modality [Linnebo] |
| Full Idea: The 'deductivist' version of eliminativist structuralism avoids ontological commitments to mathematical objects, and to modal vocabulary. Mathematics is formulations of various (mostly categorical) theories to describe kinds of concrete structures. | |
| From: Øystein Linnebo (Structuralism and the Notion of Dependence [2008], 1) | |
| A reaction: 'Concrete' is ambiguous here, as mathematicians use it for the actual working maths, as opposed to the metamathematics. Presumably the structures are postulated rather than described. He cites Russell 1903 and Putnam. It is nominalist. |
| 14084 | Non-eliminative structuralism treats mathematical objects as positions in real abstract structures [Linnebo] |
| Full Idea: The 'non-eliminative' version of mathematical structuralism takes it to be a fundamental insight that mathematical objects are really just positions in abstract mathematical structures. | |
| From: Øystein Linnebo (Structuralism and the Notion of Dependence [2008], I) | |
| A reaction: The point here is that it is non-eliminativist because it is committed to the existence of mathematical structures. I oppose this view, since once you are committed to the structures, you may as well admit a vast implausible menagerie of abstracta. |
| 14086 | 'Modal' structuralism studies all possible concrete models for various mathematical theories [Linnebo] |
| Full Idea: The 'modal' version of eliminativist structuralism lifts the deductivist ban on modal notions. It studies what necessarily holds in all concrete models which are possible for various theories. | |
| From: Øystein Linnebo (Structuralism and the Notion of Dependence [2008], I) | |
| A reaction: [He cites Putnam 1967, and Hellman 1989] If mathematical truths are held to be necessary (which seems to be right), then it seems reasonable to include modal notions, about what is possible, in its study. |
| 14087 | 'Set-theoretic' structuralism treats mathematics as various structures realised among the sets [Linnebo] |
| Full Idea: 'Set-theoretic' structuralism rejects deductive nominalism in favour of a background theory of sets, and mathematics as the various structures realized among the sets. This is often what mathematicians have in mind when they talk about structuralism. | |
| From: Øystein Linnebo (Structuralism and the Notion of Dependence [2008], I) | |
| A reaction: This is the big shift from 'mathematics can largely be described in set theory' to 'mathematics just is set theory'. If it just is set theory, then which version of set theory? Which axioms? The safe iterative conception, or something bolder? |
| 14089 | Structuralism differs from traditional Platonism, because the objects depend ontologically on their structure [Linnebo] |
| Full Idea: Structuralism can be distinguished from traditional Platonism in that it denies that mathematical objects from the same structure are ontologically independent of one another | |
| From: Øystein Linnebo (Structuralism and the Notion of Dependence [2008], III) | |
| A reaction: My instincts strongly cry out against all versions of this. If you are going to be a platonist (rather as if you are going to be religious) you might as well go for it big time and have independent objects, which will then dictate a structure. |
| 14083 | Structuralism is right about algebra, but wrong about sets [Linnebo] |
| Full Idea: Against extreme views that all mathematical objects depend on the structures to which they belong, or that none do, I defend a compromise view, that structuralists are right about algebraic objects (roughly), but anti-structuralists are right about sets. | |
| From: Øystein Linnebo (Structuralism and the Notion of Dependence [2008], Intro) |
| 14090 | In mathematical structuralism the small depends on the large, which is the opposite of physical structures [Linnebo] |
| Full Idea: If objects depend on the other objects, this would mean an 'upward' dependence, in that they depend on the structure to which they belong, where the physical realm has a 'downward' dependence, with structures depending on their constituents. | |
| From: Øystein Linnebo (Structuralism and the Notion of Dependence [2008], III) | |
| A reaction: This nicely captures an intuition I have that there is something wrong with a commitment primarily to 'structures'. Our only conception of such things is as built up out of components. Not that I am committing to mathematical 'components'! |
| 8884 | The phenomenal concept of an eleven-dot pattern does not include the concept of eleven [Sosa] |
| Full Idea: You could detect the absence of an eleven-dot pattern without having counted the dots, so your phenomenal concept of that array is not an arithmetical concept, and its content will not yield that its dots do indeed number eleven. | |
| From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 7.3) | |
| A reaction: Sosa is discussing foundational epistemology, but this draws attention to the gulf that has to be leaped by structuralists. If eleven is not derived from the pattern, where does it come from? Presumably two eleven-dotters are needed, to map them. |
| 23441 | Logical truth is true in all models, so mathematical objects can't be purely logical [Linnebo] |
| Full Idea: Modern logic requires that logical truths be true in all models, including ones devoid of any mathematical objects. It follows immediately that the existence of mathematical objects can never be a matter of logic alone. | |
| From: Øystein Linnebo (Philosophy of Mathematics [2017], 2) | |
| A reaction: Hm. Could there not be a complete set of models for a theory which all included mathematical objects? (I can't answer that). |
| 23442 | Game Formalism has no semantics, and Term Formalism reduces the semantics [Linnebo] |
| Full Idea: Game Formalism seeks to banish all semantics from mathematics, and Term Formalism seeks to reduce any such notions to purely syntactic ones. | |
| From: Øystein Linnebo (Philosophy of Mathematics [2017], 3.3) | |
| A reaction: This approach was stimulated by the need to justify the existence of the imaginary number i. Just say it is a letter! |
| 14091 | There may be a one-way direction of dependence among sets, and among natural numbers [Linnebo] |
| Full Idea: We can give an exhaustive account of the identity of the empty set and its singleton without mentioning infinite sets, and it might be possible to defend the view that one natural number depends on its predecessor but not vice versa. | |
| From: Øystein Linnebo (Structuralism and the Notion of Dependence [2008], V) | |
| A reaction: Linnebo uses this as one argument against mathematical structuralism, where the small seems to depend on the large. The view of sets rests on the iterative conception, where each level is derived from a lower level. He dismisses structuralism of sets. |
| 10643 | We speak of a theory's 'ideological commitments' as well as its 'ontological commitments' [Linnebo] |
| Full Idea: Some philosophers speak about a theory's 'ideological commitments' and not just about its 'ontological commitments'. | |
| From: Øystein Linnebo (Plural Quantification [2008], 5.4) | |
| A reaction: This is a third strategy for possibly evading one's ontological duty, along with fiddling with the words 'exist' or 'object'. An ideological commitment to something to which one is not actually ontologically committed conjures up stupidity and dogma. |
| 10637 | Ordinary speakers posit objects without concern for ontology [Linnebo] |
| Full Idea: Maybe ordinary speakers aren't very concerned about their ontological commitments, and sometimes find it convenient to posit objects. | |
| From: Øystein Linnebo (Plural Quantification [2008], 2.4) | |
| A reaction: I think this is the whole truth about the ontological commitment of ordinary language. We bring abstraction under control by pretending it is a world of physical objects. The 'left wing' in politics, 'dark deeds', a 'huge difference'. |
| 14088 | An 'intrinsic' property is either found in every duplicate, or exists independent of all externals [Linnebo] |
| Full Idea: There are two main ways of spelling out an 'intrinsic' property: if and only if it is shared by every duplicate of an object, ...and if and only if the object would have this property even if the rest of the universe were removed or disregarded. | |
| From: Øystein Linnebo (Structuralism and the Notion of Dependence [2008], II) | |
| A reaction: [He cites B.Weatherson's Stanford Encyclopaedia article] How about an intrinsic property being one which explains its identity, or behaviour, or persistence conditions? |
| 10782 | The modern concept of an object is rooted in quantificational logic [Linnebo] |
| Full Idea: Our modern general concept of an object is given content only in connection with modern quantificational logic. | |
| From: Øystein Linnebo (Plural Quantification Exposed [2003], §2) | |
| A reaction: [He mentions Frege, Carnap, Quine and Dummett] This is the first thing to tell beginners in modern analytical metaphysics. The word 'object' is very confusing. I think I prefer 'entity'. |
| 8443 | Mereological essentialism says an entity must have exactly those parts [Sosa] |
| Full Idea: Mereological essentialism says that nothing else could have been the unique entity composed of certain parts except the very thing that is composed of those parts. | |
| From: Ernest Sosa (Varieties of Causation [1980], 2) | |
| A reaction: This sounds initially implausible. It means the ship of Theseus ceases to be that ship if you change a single nail of it. Whether we say that seems optional, but if we do, it leads to the collaps of all our normal understanding of identity. |
| 8878 | It is acceptable to say a supermarket door 'knows' someone is approaching [Sosa] |
| Full Idea: I am quite flexible on epistemic terminology, and am even willing to grant that a supermarket door can 'know' that someone is approaching. | |
| From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 6.6) | |
| A reaction: I take this amazing admission to be a hallmark of externalism. Sosa must extend this to thermostats. So flowers know the sun has come out. This is knowledge without belief. Could the door ever be 'wrong'? |
| 8880 | In reducing arithmetic to self-evident logic, logicism is in sympathy with rationalism [Sosa] |
| Full Idea: In trying to reduce arithmetic to self-evident logical axioms, logicism is in sympathy with rationalism. | |
| From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 6.7) | |
| A reaction: I have heard Frege called "the greatest of all rationalist philosophers". However, the apparent reduction of arithmetic to analytic truths played into the hands of logical positivists, who could then marginalise arithmetic. |
| 8881 | Most of our knowledge has insufficient sensory support [Sosa] |
| Full Idea: Almost nothing that one knows of history or geography or science has adequate sensory support, present or even recalled. | |
| From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 6.7) | |
| A reaction: This seems a bit glib, and may be false. The main issue to which this refers is, of course, induction, which (almost by definition) is a supposedly empirical process which goes beyond the empirical evidence. |
| 8794 | There are very few really obvious truths, and not much can be proved from them [Sosa] |
| Full Idea: Radical foundationalism suffers from two weaknesses: there are not so many perfectly obvious truths as Descartes thought; and if we restrict ourselves to what it truly obvious, very little supposed common sense knowledge can be proved. | |
| From: Ernest Sosa (The Raft and the Pyramid [1980], §3) | |
| A reaction: It is striking how few examples can ever be found of self-evident a priori truths. However, if there are self-evident truths about direct experience (pace Descartes), that would give us more than enough. |
| 8882 | Perception may involve thin indexical concepts, or thicker perceptual concepts [Sosa] |
| Full Idea: There is a difference between having just an indexical concept which one can apply to a perceptual characteristic (just saying 'this is thus'), and having a thicker perceptual concept of that characteristic. | |
| From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 7.2) | |
| A reaction: Both of these, of course, would precede any categorial concepts that enabled one to identify the characteristic or the object. This is a ladder foundationalists must climb if they are to reach the cellar of basic beliefs. |
| 8883 | Do beliefs only become foundationally justified if we fully attend to features of our experience? [Sosa] |
| Full Idea: Are foundationally justified beliefs perhaps those that result from attending to our experience and to features of it or in it? | |
| From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 7.3) | |
| A reaction: A promising suggestion. I do think our ideas acquire a different epistmological status once we have given them our full attention, though is that merely full consciousness, or full thoughtful evaluation? The latter I take to be what matters. Cf Idea 2414. |
| 8885 | Some features of a thought are known directly, but others must be inferred [Sosa] |
| Full Idea: Some intrinsic features of our thoughts are attributable to them directly, or foundationally, while others are attributable only based on counting or inference. | |
| From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 7.5) | |
| A reaction: In practice the brain combines the two at a speed which makes the distinction impossible. I'll show you ten dot-patterns: you pick out the sixer. The foundationalist problem is that only those drained of meaning could be foundational. |
| 8876 | Much propositional knowledge cannot be formulated, as in recognising a face [Sosa] |
| Full Idea: Much of our propositional knowledge is not easily formulable, as when a witness looking at a police lineup may know what the culprit's face looks like. | |
| From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 6.1) | |
| A reaction: This is actually a very helpful defence of foundationalism, because it shows that we will accept perceptual experiences as knowledge when they are not expressed as explicit propositions. Davidson (Idea 8801), for example, must deal with this difficulty. |
| 8796 | A single belief can trail two regresses, one terminating and one not [Sosa] |
| Full Idea: A single belief can trail at once regresses of both sorts: one terminating and one not. | |
| From: Ernest Sosa (The Raft and the Pyramid [1980], §6) | |
| A reaction: This makes foundationalism possible, while admitting the existence of regresses. It is a good point, and triumphalist anti-foundationalists can't just point out a regress and then smugly troop off to the pub. |
| 8799 | If mental states are not propositional, they are logically dumb, and cannot be foundations [Sosa] |
| Full Idea: If a mental state is not propositional, then how can it possibly serve as a foundation for belief? How can one infer or justify anything on the basis of a state that, having no propositional content, must be logically dumb? | |
| From: Ernest Sosa (The Raft and the Pyramid [1980], §11) | |
| A reaction: This may be the best objection to foundationalism. McDowell tries to argue that conceptual content is inherent in perception, thus giving the beginnings of inbuilt propositional content. But an organism awash with bare experiences knows nothing. |
| 8795 | Mental states cannot be foundational if they are not immune to error [Sosa] |
| Full Idea: If a mental state provides no guarantee against error, then it cannot serve as a foundation for knowledge. | |
| From: Ernest Sosa (The Raft and the Pyramid [1980], §4) | |
| A reaction: That assumes that knowledge entails certainty, which I am sure it should not. On a fallibilist account, a foundation could be incredibly secure, despite a barely imaginable scenario in which it turned out to be false. |
| 8879 | Fully comprehensive beliefs may not be knowledge [Sosa] |
| Full Idea: One's beliefs can be comprehensively coherent without amounting to knowledge. | |
| From: Ernest Sosa (Beyond internal Foundations to external Virtues [2003], 6.6) | |
| A reaction: Beliefs that are fully foundational or reliably sourced may also fail to be knowledge. I take it that any epistemological theory must be fallibilist (Idea 6898). Rational coherentism will clearly be sensitive to error. |
| 8798 | Vision causes and justifies beliefs; but to some extent the cause is the justification [Sosa] |
| Full Idea: Visual experience is recognized as both the cause and the justification of our visual beliefs. But these are not wholly independent. Presumably the justification that something is red derives partly from the fact that it originates in visual experience. | |
| From: Ernest Sosa (The Raft and the Pyramid [1980], §10) | |
| A reaction: Yes, but the fact that certain visual experiences originate in dreams is taken as grounds for denying their truth, not affirming it. So why do we distinguish them? I am thinking that only in the 'space of reasons' can a cause become a justification. |
| 10634 | Predicates are 'distributive' or 'non-distributive'; do individuals do what the group does? [Linnebo] |
| Full Idea: The predicate 'is on the table' is 'distributive', since some things are on the table if each one is, whereas the predicate 'form a circle' is 'non-distributive', since it is not analytic that when some things form a circle, each one forms a circle. | |
| From: Øystein Linnebo (Plural Quantification [2008], 1.1) | |
| A reaction: The first predicate can have singular or plural subjects, but the second requires a plural subject? Hm. 'The rope forms a circle'. The second is example is not true, as well as not analytic. |
| 8442 | What law would explain causation in the case of causing a table to come into existence? [Sosa] |
| Full Idea: If I fasten a board onto a tree stump, causing a table to come into existence, ...what law of nature or, even, what quasi-law or law-like principle could possibly play in such a case of generation the role required by nomological accounts? | |
| From: Ernest Sosa (Varieties of Causation [1980], 1) | |
| A reaction: A very nice question. The nomological account is at its strongest when rocks fall off walls or magnets attract, but all sorts of other caused events seem too messy or complex or original to fit the story. |
| 8445 | The necessitated is not always a result or consequence of the necessitator [Sosa] |
| Full Idea: The necessitated is not always a result or consequence of the necessitator. If p-and-q is a fact, then this necessitates that p, but the fact that p need not be a result or consequence of the fact that p-and-q. | |
| From: Ernest Sosa (Varieties of Causation [1980], p.242) | |
| A reaction: This is obviously correct, and needs to be borne in mind when considering necessary causation. It is not enough to produce a piece of logic; something in the link from cause to effect must be demonstrated to be necessary. |
| 8444 | Where is the necessary causation in the three people being tall making everybody tall? [Sosa] |
| Full Idea: It is not clear how to analyse the form of necessary causation found in the only three people in the room being tall causing everybody in the room to be tall. | |
| From: Ernest Sosa (Varieties of Causation [1980], 5) | |
| A reaction: I would want to challenge this as a case of causation. There are no events or processes involved. It seems that a situation described in one way can also be described in another. |
| 3029 | Stilpo said if Athena is a daughter of Zeus, then a statue is only the child of a sculptor, and so is not a god [Stilpo, by Diog. Laertius] |
| Full Idea: Stilpo asked a man whether Athena is the daughter of Zeus, and when he said yes, said,"But this statue of Athena by Phidias is the child of Phidias, so it is not a god." | |
| From: report of Stilpo (fragments/reports [c.330 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.10.5 |