27 ideas
| 4262 | If the only aim was consistent beliefs then new evidence and experiments would be irrelevant [Goldman] |
| Full Idea: If mere consistency is our aim in achieving a coherent set of beliefs, then new evidence and experiments are irrelevant. | |
| From: Alvin I. Goldman (The Internalist Conception of Justification [1980], §VIII) | |
| A reaction: An important reminder. What epistemic duty requires us to attend to anomalous observations, instead of sweeping them under the carpet? |
| 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] |
| 4045 | Children may have three innate principles which enable them to learn to count [Goldman] |
| Full Idea: It has been proposed (on the basis of observations) that young children have three innate principles of counting - one-to-one correspondence of number to item, stable order for numbers, and cardinality (which labels the nth item counted). | |
| From: Alvin I. Goldman (Phil Applications of Cognitive Science [1993], p.60) | |
| A reaction: I like the idea of observed patterns as central (which is the one-to-one principle). But the other two principles are plausible, and show why pure empiricism won't work. |
| 4044 | Rat behaviour reveals a considerable ability to count [Goldman] |
| Full Idea: Rats can determine the number of times they have pressed a lever up to at least twenty-four presses,…and can consistently turn down the fifth tunnel on the left in a maze. | |
| From: Alvin I. Goldman (Phil Applications of Cognitive Science [1993], p.58) | |
| A reaction: This seems to encourage an empirical view of maths (pattern recognition?) rather than a Platonic one. Or numbers are innate in rat brains? |
| 4048 | Infant brains appear to have inbuilt ontological categories [Goldman] |
| Full Idea: Infant behaviour implies inbuilt ontological categories of thing, place, event, path, action, sound, manner, amount and number. ...There is an algebra of relationships between them. | |
| From: Alvin I. Goldman (Phil Applications of Cognitive Science [1993], p.109) | |
| A reaction: Interesting. We would expect the categories in infant brains to have instrumental value, but we don't have to accept them as true. Adults (even Aristotle) are big infants. |
| 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. |
| 4043 | Elephants can be correctly identified from as few as three primitive shapes [Goldman] |
| Full Idea: An elephant may be fully represented by nine primitive shapes ('geons'), but it may require as few as three geons in appropriate relations to be correctly identified. | |
| From: Alvin I. Goldman (Phil Applications of Cognitive Science [1993], p.7) | |
| A reaction: Encouraging the idea of the mind as a maker of maps and models |
| 4049 | The way in which colour experiences are evoked is physically odd and unpredictable [Goldman] |
| Full Idea: A unique yellow experience may be evoked with monochrome light of 580nm, or a mixture of 540nm and 670nm. ..Our interpretation of colour experience is a highly idiosyncratic artefact of our visual system. | |
| From: Alvin I. Goldman (Phil Applications of Cognitive Science [1993], p.117) | |
| A reaction: This confirms what I have always thought - that colour (as qualia) is strictly a feature of minds, not of the world. |
| 4047 | Gestalt psychology proposes inbuilt proximity, similarity, smoothness and closure principles [Goldman] |
| Full Idea: Gestalt psychology claims that there are at least four unlearned factors in perceptual grouping - the principles of proximity (close things), of similarity, of good continuation (extending lines in a smooth course), and closure (which completes figures). | |
| From: Alvin I. Goldman (Phil Applications of Cognitive Science [1993], p.103) | |
| A reaction: This offers a bridge between Hume's associationism and rationalist claims of innate ideas |
| 8830 | A belief can be justified when the person has forgotten the evidence for it [Goldman] |
| Full Idea: A characteristic case in which a belief is justified though the cognizer doesn't know that it's justified is where the original evidence for the belief has long since been forgotten. | |
| From: Alvin I. Goldman (What is Justified Belief? [1976], II) | |
| A reaction: This is a central problem for any very literal version of internalism. The fully rationalist view (to which I incline) will be that the cognizer must make a balanced assessment of whether they once had the evidence. Were my teachers any good? |
| 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. |
| 8832 | If justified beliefs are well-formed beliefs, then animals and young children have them [Goldman] |
| Full Idea: If one shares my view that justified belief is, at least roughly, well-formed belief, surely animals and young children can have justified beliefs. | |
| From: Alvin I. Goldman (What is Justified Belief? [1976], III) | |
| A reaction: I take this to be a key hallmark of the externalist view of knowledge. Personally I think we should tell the animals that they have got true beliefs, but that they aren't bright enough to aspire to 'knowledge'. Be grateful for what you've got. |
| 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. |
| 8829 | Justification depends on the reliability of its cause, where reliable processes tend to produce truth [Goldman] |
| Full Idea: The justificational status of a belief is a function of the reliability of the processes that cause it, where (provisionally) reliability consists in the tendency of a process to produce beliefs that are true rather than false. | |
| From: Alvin I. Goldman (What is Justified Belief? [1976], II) | |
| A reaction: Goldman's original first statement of reliabilism, now the favourite version of externalism. The obvious immediate problem is when a normally very reliable process goes wrong. Wise people still get it wrong, or right for the wrong reasons. |
| 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. |
| 8831 | Introspection is really retrospection; my pain is justified by a brief causal history [Goldman] |
| Full Idea: Introspection should be regarded as a form of retrospection. Thus, a justified belief that I am 'now' in pain gets its justificational status from a relevant, though brief, causal history. | |
| From: Alvin I. Goldman (What is Justified Belief? [1976], II) | |
| A reaction: He cites Hobbes and Ryle as having held this view. See Idea 6668. I am unclear why the history must be 'causal'. I may not know the cause of the pain. I may not believe an event which causes a proposition, or I may form a false belief from it. |
| 6005 | Animals are dangerous and nourishing, and can't form contracts of justice [Hermarchus, by Sedley] |
| Full Idea: Hermarchus said that animal killing is justified by considerations of human safety and nourishment and by animals' inability to form contractual relations of justice with us. | |
| From: report of Hermarchus (fragments/reports [c.270 BCE]) by David A. Sedley - Hermarchus | |
| A reaction: Could the last argument be used to justify torturing animals? Or could we eat a human who was too brain-damaged to form contracts? |