14 ideas
| 15970 | People generalise because it is easier to understand, and that is mistaken for deep philosophy [Feynman] |
| Full Idea: The topic of the laws of nature has a tendency to become too philosophical because it becomes too general, and a person talks in such generalities, that everybody can understand him. It is then considered to be some deep philosophy. | |
| From: Richard P. Feynman (The Character of Physical Law [1965], 1) | |
| A reaction: Feynman was famously anti-philosophical, but this is a good challenge. I like philosophy because I want to know broad general truths about my world, but I may just be gravitating towards what is easier. The challenge is to get true generalities. |
| 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. |
| 6871 | We can't only believe things if we are currently conscious of their justification - there are too many [Goldman] |
| Full Idea: Strong internalism says only current conscious states can justify beliefs, but this has the problem of Stored Beliefs, that most of our beliefs are stored in memory, and one's conscious state includes nothing that justifies them. | |
| From: Alvin I. Goldman (Internalism Exposed [1999], §2) | |
| A reaction: This point seems obviously correct, but one could still have a 'fairly strong' version, which required that you could always call into consciousness the justificiation for any belief that you happened to remember. |
| 6872 | Internalism must cover Forgotten Evidence, which is no longer retrievable from memory [Goldman] |
| Full Idea: Even weak internalism has the problem of Forgotten Evidence; the agent once had adequate evidence that she subsequently forgot; at the time of epistemic appraisal, she no longer has adequate evidence that is retrievable from memory. | |
| From: Alvin I. Goldman (Internalism Exposed [1999], §3) | |
| A reaction: This is certainly a basic problem for any account of justification. It will rule out any strict requirement that there be actual mental states available to support a belief. Internalism may be pushed to include non-conscious parts of the mind. |
| 6874 | Internal justification needs both mental stability and time to compute coherence [Goldman] |
| Full Idea: The problem for internalists of Doxastic Decision Interval says internal justification must avoid mental change to preserve the justification status, but must also allow enough time to compute the formal relations between beliefs. | |
| From: Alvin I. Goldman (Internalism Exposed [1999], §4) | |
| A reaction: The word 'compute' implies a rather odd model of assessing coherence, which seems instantaneous for most of us where everyday beliefs are concerned. In real mental life this does not strike me as a problem. |
| 6873 | Coherent justification seems to require retrieving all our beliefs simultaneously [Goldman] |
| Full Idea: The problem of Concurrent Retrieval is a problem for internalism, notably coherentism, because an agent could ascertain coherence of her entire corpus only by concurrently retrieving all of her stored beliefs. | |
| From: Alvin I. Goldman (Internalism Exposed [1999], §3) | |
| A reaction: Sounds neat, but not very convincing. Goldman is relying on scepticism about short-term memory, but all belief and knowledge will collapse if we go down that road. We couldn't do simple arithmetic if Goldman's point were right. |
| 6875 | Reliability involves truth, and truth is external [Goldman] |
| Full Idea: Reliability involves truth, and truth (on the usual assumption) is external. | |
| From: Alvin I. Goldman (Internalism Exposed [1999], §6) | |
| A reaction: As an argument for externalism this seems bogus. I am not sure that truth is either 'internal' or 'external'. How could the truth of 3+2=5 be external? Facts are mostly external, but I take truth to be a relation between internal and external. |
| 9410 | Physical Laws are rhythms and patterns in nature, revealed by analysis [Feynman] |
| Full Idea: There is a rhythm and a pattern between the phenomena of nature which is not apparent to the eye, but only to the eye of analysis; and it is these rhythms and patterns which we call Physical Laws. | |
| From: Richard P. Feynman (The Character of Physical Law [1965], Ch.1) |
| 18530 | Nobody understands quantum mechanics [Feynman] |
| Full Idea: I think I can safely say the nobody understands quantum mechanics. | |
| From: Richard P. Feynman (The Character of Physical Law [1965], 6) | |
| A reaction: It is really important that philosophers grasp this point! |
| 17707 | We should regard space as made up of many tiny pieces [Feynman, by Mares] |
| Full Idea: Feynman claims that we should regard space as made up of many tiny pieces, which have positive length, width and depth. | |
| From: report of Richard P. Feynman (The Character of Physical Law [1965], p.166) by Edwin D. Mares - A Priori 06.7 | |
| A reaction: The idea seems to be these are the minimum bits of space in which something can happen. |