35 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… |
4037 | Ockham's Razor is the principle that we need reasons to believe in entities [Mellor/Oliver] |
Full Idea: Ockham's Razor is the principle that we need reasons to believe in entities. | |
From: DH Mellor / A Oliver (Introduction to 'Properties' [1997], §9) | |
A reaction: This presumably follows from an assumption that all beliefs need reasons, but is that the case? The Principle of Sufficient Reason precedes Ockham's Razor. |
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. |
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. |
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. |
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. |
22271 | Aristotle was the first to use schematic letters in logic [Aristotle, by Potter] |
Full Idea: It was Aristotle who initiated the use of the letter of the (Greek) alphabet 'schematically', to stand for an unspecified piece of language of some appropriate grammatical type. | |
From: report of Aristotle (Prior Analytics [c.328 BCE]) by Michael Potter - The Rise of Analytic Philosophy 1879-1930 02 'Aris' | |
A reaction: Did he invent it from scratch, or borrow it from the mathematicians? Euclid labels diagrams with letters. |
11060 | Aristotelian syllogisms are three-part, subject-predicate, existentially committed, with laws of thought [Aristotle, by Hanna] |
Full Idea: Aristotle's logic is based on the triadic syllogism, the distinction between subject and one-place predicates, that universal claims have existential commitment, and bivalence, excluded middle and noncontradiction. | |
From: report of Aristotle (Prior Analytics [c.328 BCE]) by Robert Hanna - Rationality and Logic 2.2 |
18909 | Aristotelian sentences are made up by one of four 'formative' connectors [Aristotle, by Engelbretsen] |
Full Idea: For Aristotle there are four formatives for sentences: 'belongs to some', 'belongs to every', 'belongs to no', and 'does not belong to every'. These are 'copulae'. Aristotle would have written 'wise belongs to some man'. | |
From: report of Aristotle (Prior Analytics [c.328 BCE]) by George Engelbretsen - Trees, Terms and Truth 3 | |
A reaction: A rather set-theoretic reading. This invites a Quinean scepticism about whether wisdom is some entity which can 'belong' to a person. It makes trope theory sound attractive, offering a unique wisdom that is integrated into that particular person. |
8080 | Aristotelian identified 256 possible syllogisms, saying that 19 are valid [Aristotle, by Devlin] |
Full Idea: Aristotle identified four 'figures' of argument, based on combinations of Subject (S) and Predicate (P) and Middle term (M). The addition of 'all' and 'some', and 'has' and 'has not' got the property, resulted in 256 possible syllogisms, 19 of them valid. | |
From: report of Aristotle (Prior Analytics [c.328 BCE]) by Keith Devlin - Goodbye Descartes Ch.2 | |
A reaction: [Compressed version of Devlin] What Aristotle did was astonishing, and must be one of the key ideas of western civilization, even though a lot of his assumptions have been revised or rejected. |
13912 | Aristotle replaced Plato's noun-verb form with unions of pairs of terms by one of four 'copulae' [Aristotle, by Engelbretsen/Sayward] |
Full Idea: Aristotle replaced the Platonic noun-verb account of logical syntax with a 'copular' account. A sentence is a pair of terms bound together logically (not necessarily grammatically) by one of four 'logical copulae' (every, none, some, not some). | |
From: report of Aristotle (Prior Analytics [c.328 BCE]) by Engelbretsen,G/Sayward,C - Philosophical Logic: Intro to Advanced Topics 8 | |
A reaction: So the four copulas are are-all, are-never, are-sometimes, and are-sometime-not. Consider 'men' and 'mortal'. Alternatively, Idea 18909. |
8071 | Aristotle listed nineteen valid syllogisms (though a few of them were wrong) [Aristotle, by Devlin] |
Full Idea: Aristotle listed a total of nineteen syllogisms involved in logical reasoning, though some of the ones on his list were subsequently shown to be invalid. | |
From: report of Aristotle (Prior Analytics [c.328 BCE], Ch.1) by Keith Devlin - Goodbye Descartes | |
A reaction: It is quite upsetting to think that the founding genius got some of it wrong, but that just shows how subtle and complex the analysis of rational thought can be. |
13819 | Aristotle's said some Fs are G or some Fs are not G, forgetting that there might be no Fs [Bostock on Aristotle] |
Full Idea: Aristotle's system accepted as correct some laws which nowadays we reject, for example |= (Some Fs are G) or (some Fs are not G). He failed to take into account the possibility of there being no Fs at all. | |
From: comment on Aristotle (Prior Analytics [c.328 BCE]) by David Bostock - Intermediate Logic 8.4 |
9403 | There are three different deductions for actual terms, necessary terms and possible terms [Aristotle] |
Full Idea: Since to belong, to belong of necessity, and to be possible to belong are different, ..there will be different deductions for each; one deduction will be from necessary terms, one from terms which belong, and one from possible terms. | |
From: Aristotle (Prior Analytics [c.328 BCE], 29b29-35) | |
A reaction: Fitting and Mendelsohn cite this as the earliest thoughts on modal logic. but Kneale and Kneale say that Aristotle got into a muddle, and so was unable to create a workable system. |
11148 | Deduction is when we suppose one thing, and another necessarily follows [Aristotle] |
Full Idea: A deduction is a discourse in which, certain things having been supposed, something different from the things supposed results of necessity because these things are so. | |
From: Aristotle (Prior Analytics [c.328 BCE], 24b18) | |
A reaction: Notice that it is modal ('suppose', rather than 'know'), that necessity is involved, which is presumably metaphysical necessity, and that there are assumptions about what would be true, and not just what follows from what. |
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. |
18896 | Aristotle places terms at opposite ends, joined by a quantified copula [Aristotle, by Sommers] |
Full Idea: Aristotle often preferred to formulate predications by placing the terms at opposite ends of the sentence and joining them by predicating expressions like 'belongs-to-some' or 'belongs-to-every'. | |
From: report of Aristotle (Prior Analytics [c.328 BCE]) by Fred Sommers - Intellectual Autobiography 'Conceptions' | |
A reaction: This is Sommers's picture of Aristotle, which led Sommers to develop his modern Term Logic. |
3300 | Aristotle's logic is based on the subject/predicate distinction, which leads him to substances and properties [Aristotle, by Benardete,JA] |
Full Idea: Basic to Aristotle's logic is the grammatical distinction between subject and predicate, which he glosses in terms of the contrast between a substance and its properties. | |
From: report of Aristotle (Prior Analytics [c.328 BCE]) by José A. Benardete - Metaphysics: the logical approach Intro | |
A reaction: The introduction of quantifiers and 'logical form' can't disguise the fact that we still talk about (and with) objects and predicates, because no one can think of any other way to talk. |
11149 | Affirming/denying sentences are universal, particular, or indeterminate [Aristotle] |
Full Idea: Affirming/denying sentences are universal, particular, or indeterminate. Belonging 'to every/to none' is universal; belonging 'to some/not to some/not to every' is particular; belonging or not belonging (without universal/particular) is indeterminate. | |
From: Aristotle (Prior Analytics [c.328 BCE], 24a16) |
8079 | Aristotelian logic has two quantifiers of the subject ('all' and 'some') [Aristotle, by Devlin] |
Full Idea: Aristotelian logic has two quantifiers of the subject ('all' and 'some'), and two ways to combine the subject with the predicate ('have', and 'have not'), giving four propositions: all-s-have-p, all-s-have-not-p, some-s-have-p, and some-s-have-not-p. | |
From: report of Aristotle (Prior Analytics [c.328 BCE]) by Keith Devlin - Goodbye Descartes Ch.2 | |
A reaction: Frege seems to have switched from 'some' to 'at-least-one'. Since then other quantifiers have been proposed. See, for example, Ideas 7806 and 6068. |
4027 | Properties are respects in which particular objects may be alike or differ [Mellor/Oliver] |
Full Idea: Properties are respects in which particular objects may be alike or differ. | |
From: DH Mellor / A Oliver (Introduction to 'Properties' [1997], §1) | |
A reaction: Note that this definition does not mention a causal role for properties. |
4029 | Nominalists ask why we should postulate properties at all [Mellor/Oliver] |
Full Idea: Nominalists ask why we should postulate properties at all. | |
From: DH Mellor / A Oliver (Introduction to 'Properties' [1997], §3) | |
A reaction: Objects might be grasped without language, but events cannot be understood, and explanations of events seem inconceivable without properties (implying that they are essentially causal). |
14641 | A deduction is necessary if the major (but not the minor) premise is also necessary [Aristotle] |
Full Idea: It sometimes results that the deduction becomes necessary when only one of the premises is necessary (not whatever premise it might be, however, but only the premise in relation to the major extreme [premise]). | |
From: Aristotle (Prior Analytics [c.328 BCE], 30a15) | |
A reaction: The qualification is brackets is said by Plantinga (1969) to be a recognition of the de re/ de dicto distinction (later taken up by Aquinas). Plantinga gives two examples to illustrate his reading. |
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? |
18911 | Linguistic terms form a hierarchy, with higher terms predicable of increasing numbers of things [Aristotle, by Engelbretsen] |
Full Idea: According to Aristotle, the terms of a language form a finite hierarchy, where the higher terms are predicable of more things than are lower terms. | |
From: report of Aristotle (Prior Analytics [c.328 BCE]) by George Engelbretsen - Trees, Terms and Truth 3 | |
A reaction: I would be a bit cautious about placing something precisely in a hierarchy according to how many things it can be predicated of. It is a start, though, in trying to give a decent account of generality, which is a major concept in philosophy. |
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. |
4039 | Abstractions lack causes, effects and spatio-temporal locations [Mellor/Oliver] |
Full Idea: Abstract entities (such as sets) are usually understood as lacking causes, effects, and spatio-temporal location. | |
From: DH Mellor / A Oliver (Introduction to 'Properties' [1997], §10) | |
A reaction: This seems to beg some questions. Has the ideal of 'honour' never caused anything? Young men dream of pure velocity. |