24 ideas
| 1403 | A rational donkey would starve to death between two totally identical piles of hay [Buridan, by PG] |
| Full Idea: A rational donkey faced with two totally identical piles of hay would be unable to decide which one to eat first, and would therefore starve to death | |
| From: report of Jean Buridan (talk [1338]) by PG - Db (ideas) | |
| A reaction: also De Caelo 295b32 (Idea 19740). |
| 18369 | There are at least fourteen candidates for truth-bearers [Kirkham] |
| Full Idea: Among the candidates [for truthbearers] are beliefs, propositions, judgments, assertions, statements, theories, remarks, ideas, acts of thought, utterances, sentence tokens, sentence types, sentences (unspecified), and speech acts. | |
| From: Richard L. Kirkham (Theories of Truth: a Critical Introduction [1992], 2.3) | |
| A reaction: I vote for propositions, but only in the sense of the thoughts underlying language, not the Russellian things which are supposed to exist independently from thinkers. |
| 19318 | A 'sequence' of objects is an order set of them [Kirkham] |
| Full Idea: A 'sequence' of objects is like a set of objects, except that, unlike a set, the order of the objects is important when dealing with sequences. ...An infinite sequence satisfies 'x2 is purple' if and only if the second member of the sequence is purple. | |
| From: Richard L. Kirkham (Theories of Truth: a Critical Introduction [1992], 5.4) | |
| A reaction: This explains why Tarski needed set theory in his metalanguage. |
| 19319 | If one sequence satisfies a sentence, they all do [Kirkham] |
| Full Idea: If one sequence satisfies a sentence, they all do. ...Thus it matters not whether we define truth as satisfaction by some sequence or as satisfaction by all sequences. | |
| From: Richard L. Kirkham (Theories of Truth: a Critical Introduction [1992], 5.4) | |
| A reaction: So if the striker scores a goal, the team has scored a goal. |
| 19320 | If we define truth by listing the satisfactions, the supply of predicates must be finite [Kirkham] |
| Full Idea: Because the definition of satisfaction must have a separate clause for each predicate, Tarski's method only works for languages with a finite number of predicates, ...but natural languages have an infinite number of predicates. | |
| From: Richard L. Kirkham (Theories of Truth: a Critical Introduction [1992], 5.5) | |
| A reaction: He suggest predicates containing natural numbers, as examples of infinite predicates. Davidson tried to extend the theory to natural languages, by (I think) applying it to adverbs, which could generate the infinite predicates. Maths has finite predicates. |
| 19315 | In quantified language the components of complex sentences may not be sentences [Kirkham] |
| Full Idea: In a quantified language it is possible to build new sentences by combining two expressions neither of which is itself a sentence. | |
| From: Richard L. Kirkham (Theories of Truth: a Critical Introduction [1992], 5.4) | |
| A reaction: In propositional logic the components are other sentences, so the truth value can be given by their separate truth-values, through truth tables. Kirkham is explaining the task which Tarski faced. Truth-values are not just compositional. |
| 19317 | An open sentence is satisfied if the object possess that property [Kirkham] |
| Full Idea: An object satisfies an open sentence if and only if it possesses the property expressed by the predicate of the open sentence. | |
| From: Richard L. Kirkham (Theories of Truth: a Critical Introduction [1992], 5.4) | |
| A reaction: This applies to atomic sentence, of the form Fx or Fa (that is, some variable is F, or some object is F). So strictly, only the world can decide whether some open sentence is satisfied. And it all depends on things called 'properties'. |
| 22180 | Multiple realisability is said to make reduction impossible [Okasha] |
| Full Idea: Philosophers have often invoked multiple realisability to explain why psychology cannot be reduced to physics or chemistry, but in principle the explanation works for any higher-level science. | |
| From: Samir Okasha (Philosophy of Science: Very Short Intro (2nd ed) [2016], 3) | |
| A reaction: He gives the example of a 'cell' in biology, which can be implemented in all sorts of ways. Presumably that can be reduced to many sorts of physics, but not just to one sort. The high level contains patterns that vanish at the low level. |
| 19322 | Why can there not be disjunctive, conditional and negative facts? [Kirkham] |
| Full Idea: It has been said that there are no disjunctive facts, conditional facts, or negative facts. ...but it is not at all clear why there cannot be facts of this sort. | |
| From: Richard L. Kirkham (Theories of Truth: a Critical Introduction [1992], 5.6) | |
| A reaction: I love these sorts of facts, and offer them as a naturalistic basis for logic. You probably need the world to have modal features, but I have those in the form of powers and dispositions. |
| 16678 | Without magnitude a thing would retain its parts, but they would have no location [Buridan] |
| Full Idea: If magnitude were removed from matter by divine power, it would still have parts distinct from one another, but they would not be positioned either outside one another or inside one another, because position would be removed. | |
| From: Jean Buridan (Questions on Aristotle's Physics [1346], I.8 f. 11va), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 14.4 | |
| A reaction: This shows why Quantity is such an important category for scholastic philosopher. |
| 16793 | A thing is (less properly) the same over time if each part is succeeded by another [Buridan] |
| Full Idea: Less properly, one thing is said to be numerically the same as another according to the continuity of distinct parts, one in succession after another. In this way the Seine is said to be the same river after a thousand years. | |
| From: Jean Buridan (Questions on Aristotle's Physics [1346], I.10, f. 13vb), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 29.3 | |
| A reaction: This is a rather good solution to the difficulty of the looser non-transitive notion of a thing being 'the same'. The Ship of Theseus endures (in the simple case) as long as you remember to replace each departing plank. Must some parts be originals? |
| 16726 | Why can't we deduce secondary qualities from primary ones, if they cause them? [Buridan] |
| Full Idea: The entire difficulty in this question is why through a knowledge of the primary tangible qualities we cannot come to a knowledge of flavors or odors, since these are their causes, since we often go from knowledge of causes to knowing their effects. | |
| From: Jean Buridan (Questions on Aristotle's Posterior Analytics [1344], I.28c), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 22.2 | |
| A reaction: He is commenting on Idea 16725. Still a nice puzzle in the philosophy of mind. Will neuroscientists ever be able to infer to actual character of some quale, just from the structures of the neurons? |
| 16577 | Induction is not demonstration, because not all of the instances can be observed [Buridan] |
| Full Idea: Inductions are not demonstrations, because they do not conclude on account of their form, since it is not possible to make an induction from all cases. | |
| From: Jean Buridan (Questions on Aristotle's Physics [1346], I.15 f. 18vb), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 02.3 | |
| A reaction: Thus showing that demonstration really is meant to be as conclusive as a mathematical proof, and that Aristotle seems to think such a thing is possible in physical science. |
| 22177 | Randomised Control Trials have a treatment and a control group, chosen at random [Okasha] |
| Full Idea: In the Randomised Controlled Trial for a new drug, patients are divided at random into a treatment group who receive the drug, and a control group who do not. Randomisation is important to eliminate confounding factors. | |
| From: Samir Okasha (Philosophy of Science: Very Short Intro (2nd ed) [2016], 2) | |
| A reaction: [compressed] Devised in the 1930s, and a major breakthrough in methodology for that kind of trial. Psychologists use the method all the time. Some theorists say it is the only reliable method. |
| 22172 | Not all sciences are experimental; astronomy relies on careful observation [Okasha] |
| Full Idea: Not all sciences are experimental - astronomers obviously cannot do experiments on the heavens, but have to content themselves with careful observation instead. | |
| From: Samir Okasha (Philosophy of Science: Very Short Intro (2nd ed) [2016], 1) | |
| A reaction: Biology too. Psychology tries hard to be experimental, but I doubt whether the main theories emerge from experiments. |
| 22174 | The discoverers of Neptune didn't change their theory because of an anomaly [Okasha] |
| Full Idea: Adams and Leverrier began with Newton's theory of gravity, which made an incorrect prediction about the orbit of Uranus. They explained away the conflicting observations by postulating a new planet, Neptune. | |
| From: Samir Okasha (Philosophy of Science: Very Short Intro (2nd ed) [2016], 1) | |
| A reaction: The falsificationists can say that the anomalous observation did not falsify the theory, because they didn't know quite what they were observing. It was not in fact an anomaly for Newtonian theory at all. |
| 22175 | Science mostly aims at confirming theories, rather than falsifying them [Okasha] |
| Full Idea: The goal of science is not solely to refute theories, but also to determine which theories are true (or probably true). When a scientist collects data …they are trying to show that their own theory is true. | |
| From: Samir Okasha (Philosophy of Science: Very Short Intro (2nd ed) [2016], 2) | |
| A reaction: This is the aim of 'accommodation' to a wide set of data, rather than prediction or refutation. |
| 22182 | Theories with unobservables are underdetermined by the evidence [Okasha] |
| Full Idea: According to anti-realists, scientific theories which posit unobservable entities are underdetermined by the empirical data - there will always be a number of competing theories which can account for the data equally well. | |
| From: Samir Okasha (Philosophy of Science: Very Short Intro (2nd ed) [2016], 4) | |
| A reaction: The fancy version is Putnam's model theoretic argument, explored by Tim Button. The reply, apparently, is that there are other criteria for theory choice, apart from the data. And we don't have to actually observe everything in a theory. |
| 22185 | Two things can't be incompatible if they are incommensurable [Okasha] |
| Full Idea: If two things are incommensurable they cannot be incompatible. | |
| From: Samir Okasha (Philosophy of Science: Very Short Intro (2nd ed) [2016], 5) | |
| A reaction: Kuhn had claimed that two rival theories are incompatible, which forces the paradigm shift. He can't stop the slide off into total relativism. The point is there cannot be a conflict if there cannot even be a comparison. |
| 22176 | Induction is inferences from examined to unexamined instances of a given kind [Okasha] |
| Full Idea: Some philosophers use 'inductive' to just mean not deductive, …but we reserve it for inferences from examined to unexamined instances of a given kind. | |
| From: Samir Okasha (Philosophy of Science: Very Short Intro (2nd ed) [2016], 2) | |
| A reaction: The instances must at least be comparable. Must you know the kind before you start? Surely you can examine a sequence of things, trying to decide whether or not they are of one kind? Is checking the uniformity of a kind induction? |
| 16576 | Science is based on induction, for general truths about fire, rhubarb and magnets [Buridan] |
| Full Idea: Induction should be regarded as a principle of natural science. For otherwise you could not prove that every fire is hot, that all rhubarb is purgative of bile, that every magnet attracts iron. | |
| From: Jean Buridan (Questions on Aristotle's Physics [1346], I.15 f. 18vb), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 02.3 | |
| A reaction: He is basing this on Aristotle, and refers to 'Physics' 190a33-b11. |
| 22178 | If the rules only concern changes of belief, and not the starting point, absurd views can look ratiional [Okasha] |
| Full Idea: If the only objective constraints concern how we should change our credences, but what our initial credences should be is entirely subjective, then individuals with very bizarre opinions about the world will count as perfectly rational. | |
| From: Samir Okasha (Philosophy of Science: Very Short Intro (2nd ed) [2016], 2) | |
| A reaction: The important rationality has to be the assessement of a diverse batch of evidence, for which there can never be any rules or mathematics. |
| 22173 | Galileo refuted the Aristotelian theory that heavier objects fall faster [Okasha] |
| Full Idea: Galileo's most enduring contribution lay in mechanics, where he refuted the Aristotelian theory that heavier bodies fall faster than lighter. | |
| From: Samir Okasha (Philosophy of Science: Very Short Intro (2nd ed) [2016], 2) | |
| A reaction: This must the first idea in the theory of mechanics, allowing mathematical treatment and accurate comparisons. |
| 17366 | Virtually all modern views of speciation rest on relational rather than intrinsic features [Okasha] |
| Full Idea: On all modern species concepts (except the phenetic), the property in virtue of which a particular organism belongs to one species rather than another is a relational rather than an intrinsic property of the organism. | |
| From: Samir Okasha (Darwinian Metaphysics: Species and Essentialism [2002], p.201), quoted by Michael Devitt - Resurrecting Biological Essentialism 4 | |
| A reaction: I am in sympathy with Devitt's attack on this view, for the same reason that I take relational explanations of almost anything (such as the mind) to be inadequate. We need to know the intrinsic features that enable the relations. |