34 ideas
4739 | In "if and only if" (iff), "if" expresses the sufficient condition, and "only if" the necessary condition [Engel] |
Full Idea: Necessary and sufficient conditions are usually expressed by "if and only if" (abbr. "iff"), where "if" is the sufficient condition, and "only if" is the necessary condition. | |
From: Pascal Engel (Truth [2002], §1.1) | |
A reaction: 'I take my umbrella if and only if it is raining' (oh, and if I'm still alive). There may be other necessary conditions than the one specified. Oh, and I take it if my wife slips it into my car… |
4737 | Are truth-bearers propositions, or ideas/beliefs, or sentences/utterances? [Engel] |
Full Idea: The tradition of the Stoics and Frege says that truth-bearers are propositions, Descartes and the classical empiricist say they are ideas or beliefs, and Ockham and Quine say they are sentences or utterances. | |
From: Pascal Engel (Truth [2002], §1.1) | |
A reaction: I'm with propositions, which are unambiguous, can be expressed in a variety of ways, embody the 'logical form' of sentences, and could be physically embodied in brains (the language of thought?). |
4750 | The redundancy theory gets rid of facts, for 'it is a fact that p' just means 'p' [Engel] |
Full Idea: The redundancy theory gets rid of facts, for 'it is a fact that p' just means 'p'. | |
From: Pascal Engel (Truth [2002], §2.2) | |
A reaction: But then when you ask what p means, you have to give the truth-conditions for its assertion, and you find you have to mention the facts after all. |
4744 | We can't explain the corresponding structure of the world except by referring to our thoughts [Engel] |
Full Idea: The correspondence theory implies displaying an identity or similarity of structure between the contents of thoughts and the way the world is structured, but we seem only to be able to say that the world's structure corresponds to our thoughts. | |
From: Pascal Engel (Truth [2002], §1.2) | |
A reaction: I don't accept this. The structure of the world gives rise to our thoughts. There is an epistemological problem here (big time!), but that doesn't alter the metaphysical situation of what truth is supposed to be, which is correspondence. |
4738 | The coherence theory says truth is an internal relationship between groups of truth-bearers [Engel] |
Full Idea: The coherence theory of truth says that it is a relationship between truth-bearers themselves, that is between propositions or beliefs or sentences. | |
From: Pascal Engel (Truth [2002], §1.1) | |
A reaction: We immediately begin to wonder how many truth-bearers are required. Two lies can be coherent. It is hard to make thousands of lies coherent, but not impossible. What fixes the critical number. 'All possible propositions' is not much help. |
4745 | Any coherent set of beliefs can be made more coherent by adding some false beliefs [Engel] |
Full Idea: Any coherent set of beliefs can be made more coherent by adding to it one or more false beliefs. | |
From: Pascal Engel (Truth [2002], §1.3) | |
A reaction: A simple but rather devastating point. It is the policeman manufacturing a bogus piece of evidence to clinch the conviction, the scientist faking a single observation to fill in the last corner of a promising theory. |
4755 | Deflationism cannot explain why we hold beliefs for reasons [Engel] |
Full Idea: The deflationist view is silent about the fact that our assertions and beliefs are generally made or held for certain reasons. | |
From: Pascal Engel (Truth [2002], §2.5) | |
A reaction: The point here must be that I attribute strength to my beliefs, depending on how much support I have for them - how much support for their real truth. I scream "That's really TRUE!" when I have very good reasons. |
4753 | Deflationism seems to block philosophers' main occupation, asking metatheoretical questions [Engel] |
Full Idea: Deflationism about truth seems to deprive us of any hope of asking genuinely metatheoretical questions, which are the questions that occupy philosophers most of the time. | |
From: Pascal Engel (Truth [2002], §2.5) | |
A reaction: This seems like the best reason for moving from deflationism to at least minimalism. Clearly one can talk meaningfully about the success of assertions and theories. You can say a sentence is true, but not assert it. |
4751 | Maybe there is no more to be said about 'true' than there is about the function of 'and' in logic [Engel] |
Full Idea: We could compare the status of 'true' with the status of the logical operator 'and' in logic. Once we have explained how it functions to conjoin two propositions, there is not much more to be said about it. | |
From: Pascal Engel (Truth [2002], §2.4) | |
A reaction: A good statement of the minimalist view. I don't believe it, because I don't believe that truth is confined to language. An uneasy feeling I can't put into words can turn out to be true. Truth is a relational feature of mental states. |
4752 | Deflationism must reduce bivalence ('p is true or false') to excluded middle ('p or not-p') [Engel] |
Full Idea: It is said that deflationism cannot even formulate the principle of bivalence, for 'either p is true or p is false' will amount to the principle of excluded middle, 'either p or not-p'. | |
From: Pascal Engel (Truth [2002], §2.4) | |
A reaction: Presumably deflationists don't lost any sleep over this - in fact, it looks like a good concise way to state the deflationist thesis. However, excluded middle refers to a proposition (not-p) that was never mentioned by bivalence. Cf Idea 6163. |
17518 | Counting 'coin in this box' may have coin as the unit, with 'in this box' merely as the scope [Ayers] |
Full Idea: If we count the concept 'coin in this box', we could regard coin as the 'unit', while taking 'in this box' to limit the scope. Counting coins in two boxes would be not a difference in unit (kind of object), but in scope. | |
From: M.R. Ayers (Individuals without Sortals [1974], 'Counting') | |
A reaction: This is a very nice alternative to the Fregean view of counting, depending totally on the concept, and rests more on a natural concept of object. I prefer Ayers. Compare 'count coins till I tell you to stop'. |
17516 | If counting needs a sortal, what of things which fall under two sortals? [Ayers] |
Full Idea: If we accepted that counting objects always presupposes some sortal, it is surely clear that the class of objects to be counted could be designated by two sortals rather than one. | |
From: M.R. Ayers (Individuals without Sortals [1974], 'Realist' vii) | |
A reaction: His nice example is an object which is both 'a single piece of wool' and a 'sweater', which had better not be counted twice. Wiggins struggles to argue that there is always one 'substance sortal' which predominates. |
17520 | Events do not have natural boundaries, and we have to set them [Ayers] |
Full Idea: In order to know which event has been ostensively identified by a speaker, the auditor must know the limits intended by the speaker. ...Events do not have natural boundaries. | |
From: M.R. Ayers (Individuals without Sortals [1974], 'Concl') | |
A reaction: He distinguishes events thus from natural objects, where the world, to a large extent, offers us the boundaries. Nice point. |
17519 | To express borderline cases of objects, you need the concept of an 'object' [Ayers] |
Full Idea: The only explanation of the power to produce borderline examples like 'Is this hazelnut one object or two?' is the possession of the concept of an object. | |
From: M.R. Ayers (Individuals without Sortals [1974], 'Counting') |
17511 | Recognising continuity is separate from sortals, and must precede their use [Ayers] |
Full Idea: The recognition of the fact of continuity is logically independent of the possession of sortal concepts, whereas the formation of sortal concepts is at least psychologically dependent upon the recognition of continuity. | |
From: M.R. Ayers (Individuals without Sortals [1974], Intro) | |
A reaction: I take this to be entirely correct. I might add that unity must also be recognised. |
17510 | Speakers need the very general category of a thing, if they are to think about it [Ayers] |
Full Idea: If a speaker indicates something, then in order for others to catch his reference they must know, at some level of generality, what kind of thing is indicated. They must categorise it as event, object, or quality. Thinking about something needs that much. | |
From: M.R. Ayers (Individuals without Sortals [1974], Intro) | |
A reaction: Ayers defends the view that such general categories are required, but not the much narrower sortal terms defended by Geach and Wiggins. I'm with Ayers all the way. 'What the hell is that?' |
17522 | We use sortals to classify physical objects by the nature and origin of their unity [Ayers] |
Full Idea: Sortals are the terms by which we intend to classify physical objects according to the nature and origin of their unity. | |
From: M.R. Ayers (Individuals without Sortals [1974], 'Concl') | |
A reaction: This is as opposed to using sortals for the initial individuation. I take the perception of the unity to come first, so resemblance must be mentioned, though it can be an underlying (essentialist) resemblance. |
17515 | Seeing caterpillar and moth as the same needs continuity, not identity of sortal concepts [Ayers] |
Full Idea: It is unnecessary to call moths 'caterpillars' or caterpillars 'moths' to see that they can be the same individual. It may be that our sortal concepts reflect our beliefs about continuity, but our beliefs about continuity need not reflect our sortals. | |
From: M.R. Ayers (Individuals without Sortals [1974], 'Realist' vi) | |
A reaction: Something that metamorphosed through 15 different stages could hardly required 15 different sortals before we recognised the fact. Ayers is right. |
17517 | Could the same matter have more than one form or principle of unity? [Ayers] |
Full Idea: The abstract question arises of whether the same matter could be subject to more than one principle of unity simultaneously, or unified by more than one 'form'. | |
From: M.R. Ayers (Individuals without Sortals [1974], 'Realist' vii) | |
A reaction: He suggests that the unity of the sweater is destroyed by unravelling, and the unity of the thread by cutting. |
17513 | If there are two objects, then 'that marble, man-shaped object' is ambiguous [Ayers] |
Full Idea: The statue is marble and man-shaped, but so is the piece of marble. So not only are the two objects in the same place, but two marble and man-shaped objects in the same place, so 'that marble, man-shaped object' must be ambiguous or indefinite. | |
From: M.R. Ayers (Individuals without Sortals [1974], 'Prob') | |
A reaction: It strikes me as basic that it can't be a piece of marble if you subtract its shape, and it can't be a statue if you subtract its matter. To treat a statue as an object, separately from its matter, is absurd. |
17523 | Sortals basically apply to individuals [Ayers] |
Full Idea: Sortals, in their primitive use, apply to the individual. | |
From: M.R. Ayers (Individuals without Sortals [1974], 'Concl') | |
A reaction: If the sortal applies to the individual, any essence must pertain to that individual, and not to the class it has been placed in. |
17521 | You can't have the concept of a 'stage' if you lack the concept of an object [Ayers] |
Full Idea: It would be impossible for anyone to have the concept of a stage who did not already possess the concept of a physical object. | |
From: M.R. Ayers (Individuals without Sortals [1974], 'Concl') |
17514 | Temporal 'parts' cannot be separated or rearranged [Ayers] |
Full Idea: Temporally extended 'parts' are still mysteriously inseparable and not subject to rearrangement: a thing cannot be cut temporally in half. | |
From: M.R. Ayers (Individuals without Sortals [1974], 'Prob') | |
A reaction: A nice warning to anyone accepting a glib analogy between spatial parts and temporal parts. |
17509 | Some say a 'covering concept' completes identity; others place the concept in the reference [Ayers] |
Full Idea: Some hold that the 'covering concept' completes the incomplete concept of identity, determining the kind of sameness involved. Others strongly deny the identity itself is incomplete, and locate the covering concept within the necessary act of reference. | |
From: M.R. Ayers (Individuals without Sortals [1974], Intro) | |
A reaction: [a bit compressed; Geach is the first view, and Quine the second; Wiggins is somewhere between the two] |
17512 | If diachronic identities need covering concepts, why not synchronic identities too? [Ayers] |
Full Idea: Why are covering concepts required for diachronic identities, when they must be supposed unnecessary for synchronic identities? | |
From: M.R. Ayers (Individuals without Sortals [1974], 'Prob') |
4762 | The Humean theory of motivation is that beliefs may be motivators as well as desires [Engel] |
Full Idea: A problem for the Humean theory of motivation is that it is disputed that beliefs are only representational states, which cannot, unlike desires, move us to act. | |
From: Pascal Engel (Truth [2002], §4.2) | |
A reaction: This is a crucial issue for Humeans and empiricists. Rationalists claim that people act for reasons, so that reasons are intrinsically motivational (like the Form of the Good), and reasons may even be considered direct causes of actions. |
4754 | Our beliefs are meant to fit the world (i.e. be true), where we want the world to fit our desires [Engel] |
Full Idea: Belief is said to 'aim at truth', in the sense that beliefs are the kind of mental states that have to be true for the mind to 'fit' the world (where our desires have the opposite 'direction of fit'; the world is supposed to fit our desires). | |
From: Pascal Engel (Truth [2002], §2.5) | |
A reaction: I don't think it is possible to give a plausible definition of belief without mentioning truth. Hume's account of them as thoughts with a funny feeling attached is ridiculous. Thinking is an activity, not a passive state. |
4763 | 'Evidentialists' say, and 'voluntarists' deny, that we only believe on the basis of evidence [Engel] |
Full Idea: The 'evidentialists' (such as Locke and Hume) deny, and the 'voluntarists' (such as William James) affirm, that we ought to, or at least may, believe for other reasons than evidential epistemic reasons (e.g. for pragmatic reasons). | |
From: Pascal Engel (Truth [2002], §5.2) | |
A reaction: No need to be black-or-white here. Blatant evidence compels belief, but we may also come to believe by spotting a coherence, without additional evidence. We can also be in a state of trying to believe something. But see 4764. |
4746 | Pragmatism is better understood as a theory of belief than as a theory of truth [Engel] |
Full Idea: Pragmatism in general is better construed as a certain conception of belief, rather than as a distinctive conception of truth. | |
From: Pascal Engel (Truth [2002], §1.5) | |
A reaction: Which is why aspiring relativists drift towards the pragmatic theory - because they want to dispense with truth (and hence knowledge), and put mere belief in its place. |
4764 | We cannot directly control our beliefs, but we can control the causes of our involuntary beliefs [Engel] |
Full Idea: Direct psychological voluntarism about beliefs seems to be false, but we can have an indirect voluntary control on many of our beliefs, by manipulating the states in us that are involuntary and which lead to certain beliefs. | |
From: Pascal Engel (Truth [2002], §5.2) | |
A reaction: Very nice! This points two ways - to scientific experiments, which can have compelling outcomes (see Fodor), and to brain-washing, and especially auto-brainwashing (only reading articles which support your favourites theories). What magazines do you take? |
4759 | Mental states as functions are second-order properties, realised by first-order physical properties [Engel] |
Full Idea: For functionalism mental states as roles are second-order properties that have to be realised in various ways in first-order physical properties. | |
From: Pascal Engel (Truth [2002], §3.3) | |
A reaction: I take that to be properties-of-properties, as in 'bright red' or 'poignantly beautiful'. I am inclined to think (with Edelman) that mind is a process, not a property. |
7518 | If folk psychology gives a network of causal laws, that fits neatly with functionalism [Churchland,PM] |
Full Idea: The portrait of folk psychology as a network of causal laws dovetailed neatly with the emerging philosophy of mind called functionalism. | |
From: Paul M. Churchland (Folk Psychology [1996], II) | |
A reaction: And from the lower levels functionalism is supported by the notion that the brain is modular. Note the word 'laws'; this implies an underlying precision in folk psychology, which is then easily attacked. Maybe the network is too complex for simple laws. |
7519 | Many mental phenomena are totally unexplained by folk psychology [Churchland,PM] |
Full Idea: Folk psychology fails utterly to explain a considerable variety of central psychological phenomena: mental illness, sleep, creativity, memory, intelligence differences, and many forms of learning, to cite just a few. | |
From: Paul M. Churchland (Folk Psychology [1996], III) | |
A reaction: If folk psychology is a theory, it will have been developed to predict behaviour, rather than as a full-blown psychological map. The odd thing is that some people seem to be very bad at folk psychology. |
7520 | Folk psychology never makes any progress, and is marginalised by modern science [Churchland,PM] |
Full Idea: Folk psychology has not progressed significantly in the last 2500 years; if anything, it has been steadily in retreat during this period; it does not integrate with modern science, and its emerging wallflower status bodes ill for its future. | |
From: Paul M. Churchland (Folk Psychology [1996], III) | |
A reaction: [compressed] However, while shares in alchemy and astrology have totally collapsed, folk psychology shows not the slightest sign of going away, and it is unclear how it ever could. See Idea 3177. |