9 ideas
| 21566 | 'Propositional functions' are ambiguous until the variable is given a value [Russell] |
| Full Idea: By a 'propositional function' I mean something which contains a variable x, and expresses a proposition as soon as a value is assigned to x. That is to say, it differs from a proposition solely by the fact that it is ambiguous. | |
| From: Bertrand Russell (The Theory of Logical Types [1910], p.216) | |
| A reaction: This is Frege's notion of a 'concept', as an assertion of a predicate which still lacks a subject. |
| 21567 | 'All judgements made by Epimenedes are true' needs the judgements to be of the same type [Russell] |
| Full Idea: Such a proposition as 'all the judgements made by Epimenedes are true' will only be prima facie capable of truth if all his judgements are of the same order. | |
| From: Bertrand Russell (The Theory of Logical Types [1910], p.227) | |
| A reaction: This is an attempt to use his theory of types to solve the Liar. Tarski's invocation of a meta-language is clearly in the same territory. |
| 23457 | Type theory cannot identify features across levels (because such predicates break the rules) [Morris,M on Russell] |
| Full Idea: Russell's theory of types meant that features common to different levels of the hierarchy became uncapturable (since any attempt to capture them would involve a predicate which disobeyed the hierarchy restrictions). | |
| From: comment on Bertrand Russell (The Theory of Logical Types [1910]) by Michael Morris - Guidebook to Wittgenstein's Tractatus 2H | |
| A reaction: I'm not clear whether this is the main reason why type theory was abandoned. Ramsey was an important critic. |
| 21556 | Classes are defined by propositional functions, and functions are typed, with an axiom of reducibility [Russell, by Lackey] |
| Full Idea: In Russell's mature 1910 theory of types classes are defined in terms of propositional functions, and functions themselves are regimented by a ramified theory of types mitigated by the axiom of reducibility. | |
| From: report of Bertrand Russell (The Theory of Logical Types [1910]) by Douglas Lackey - Intros to Russell's 'Essays in Analysis' p.133 |
| 21568 | A one-variable function is only 'predicative' if it is one order above its arguments [Russell] |
| Full Idea: We will define a function of one variable as 'predicative' when it is of the next order above that of its arguments, i.e. of the lowest order compatible with its having an argument. | |
| From: Bertrand Russell (The Theory of Logical Types [1910], p.237) | |
| A reaction: 'Predicative' just means it produces a set. This is Russell's strict restriction on which functions are predicative. |
| 22137 | Observation can force rejection of some part of the initial set of claims [Duhem, by Boulter] |
| Full Idea: Logic and observation alone do not force a scientist to reject a scientific claim if experimental observations so not turn out as expected. The scientist must reject something of the initial set of claims, but that is a matter of choice. | |
| From: report of Pierre Duhem (The Aim and Structure of Physical Theory [1906]) by Stephen Boulter - Why Medieval Philosophy Matters 2 | |
| A reaction: This is a key point against any simplified Popperian notion of falsification. Tiny observations can't kill huge well supported theories. |
| 18197 | Experiments only test groups of hypotheses, and can't show which one is wrong [Duhem] |
| Full Idea: The physicist can never subject an isolated hypothesis to experimental test, but only a whole group of hypotheses; when the experiment is in disagreement with his predictions ...it does not designate which one should be changed. | |
| From: Pierre Duhem (The Aim and Structure of Physical Theory [1906], p.187), quoted by Penelope Maddy - Naturalism in Mathematics II.2 | |
| A reaction: This is the idea frequently invoked by Quine, in support of his holistic view of scientific knowledge (along with Neurath's Boat). |
| 13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
| Full Idea: In a single day there lies open to men of learning more than there ever does to the unenlightened in the longest of lifetimes. | |
| From: Posidonius (fragments/reports [c.95 BCE]), quoted by Seneca the Younger - Letters from a Stoic 078 | |
| A reaction: These remarks endorsing the infinite superiority of the educated to the uneducated seem to have been popular in late antiquity. It tends to be the religions which discourage great learning, especially in their emphasis on a single book. |
| 20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |
| Full Idea: Posidonius defined time thus: it is an interval of motion, or the measure of speed and slowness. | |
| From: report of Posidonius (fragments/reports [c.95 BCE]) by John Stobaeus - Anthology 1.08.42 | |
| A reaction: Hm. Can we define motion or speed without alluding to time? Looks like we have to define them as a conjoined pair, which means we cannot fully understand either of them. |