54 ideas
| 3822 | Theory involves accepting conclusions, and so is a special case of practical reason [Searle] |
| Full Idea: Theoretical reason is typically a matter of accepting a conclusion or hypothesis on the basis of argument or evidence, and is thus a special case of practical reason. | |
| From: John Searle (Rationality in Action [2001], Ch.3.VII) |
| 3811 | Entailment and validity are relations, but inference is a human activity [Searle] |
| Full Idea: We must distinguish between entailment and validity as logical relations on the one hand, and inferring as a voluntary human activity on the other. | |
| From: John Searle (Rationality in Action [2001], Ch.1.II) |
| 3812 | Rationality is the way we coordinate our intentionality [Searle] |
| Full Idea: The constraints of rationality ought to be thought of adverbially; they are a matter of the way in which we coordinate our intentionality. | |
| From: John Searle (Rationality in Action [2001], Ch.1.II) |
| 3806 | Rationality is built into the intentionality of the mind, and its means of expression [Searle] |
| Full Idea: Constraints of rationality are built into the structure of mind and language, specifically into the structure of intentionality and speech acts. | |
| From: John Searle (Rationality in Action [2001], Int xiv) |
| 10775 | The axiom of choice now seems acceptable and obvious (if it is meaningful) [Tharp] |
| Full Idea: The main objection to the axiom of choice was that it had to be given by some law or definition, but since sets are arbitrary this seems irrelevant. Formalists consider it meaningless, but set-theorists consider it as true, and practically obvious. | |
| From: Leslie H. Tharp (Which Logic is the Right Logic? [1975], §3) |
| 3809 | If complex logic requires rules, then so does basic logic [Searle] |
| Full Idea: If you think you need a rule to infer q from 'p and (if p then q)', then you would also need a rule to infer p from p. | |
| From: John Searle (Rationality in Action [2001], Ch.1.II) |
| 10766 | Logic is either for demonstration, or for characterizing structures [Tharp] |
| Full Idea: One can distinguish at least two quite different senses of logic: as an instrument of demonstration, and perhaps as an instrument for the characterization of structures. | |
| From: Leslie H. Tharp (Which Logic is the Right Logic? [1975], §2) | |
| A reaction: This is trying to capture the proof-theory and semantic aspects, but merely 'characterizing' something sounds like a rather feeble aspiration for the semantic side of things. Isn't it to do with truth, rather than just rule-following? |
| 10767 | Elementary logic is complete, but cannot capture mathematics [Tharp] |
| Full Idea: Elementary logic cannot characterize the usual mathematical structures, but seems to be distinguished by its completeness. | |
| From: Leslie H. Tharp (Which Logic is the Right Logic? [1975], §2) |
| 10769 | Second-order logic isn't provable, but will express set-theory and classic problems [Tharp] |
| Full Idea: The expressive power of second-order logic is too great to admit a proof procedure, but is adequate to express set-theoretical statements, and open questions such as the continuum hypothesis or the existence of big cardinals are easily stated. | |
| From: Leslie H. Tharp (Which Logic is the Right Logic? [1975], §2) |
| 10762 | In sentential logic there is a simple proof that all truth functions can be reduced to 'not' and 'and' [Tharp] |
| Full Idea: In sentential logic there is a simple proof that all truth functions, of any number of arguments, are definable from (say) 'not' and 'and'. | |
| From: Leslie H. Tharp (Which Logic is the Right Logic? [1975], §0) | |
| A reaction: The point of 'say' is that it can be got down to two connectives, and these are just the usual preferred pair. |
| 10776 | The main quantifiers extend 'and' and 'or' to infinite domains [Tharp] |
| Full Idea: The symbols ∀ and ∃ may, to start with, be regarded as extrapolations of the truth functional connectives ∧ ('and') and ∨ ('or') to infinite domains. | |
| From: Leslie H. Tharp (Which Logic is the Right Logic? [1975], §5) |
| 10774 | There are at least five unorthodox quantifiers that could be used [Tharp] |
| Full Idea: One might add to one's logic an 'uncountable quantifier', or a 'Chang quantifier', or a 'two-argument quantifier', or 'Shelah's quantifier', or 'branching quantifiers'. | |
| From: Leslie H. Tharp (Which Logic is the Right Logic? [1975], §3) | |
| A reaction: [compressed - just listed for reference, if you collect quantifiers, like collecting butterflies] |
| 3810 | In real reasoning semantics gives validity, not syntax [Searle] |
| Full Idea: In real-life reasoning it is the semantic content that guarantees the validity of the inference, not the syntactical rule. | |
| From: John Searle (Rationality in Action [2001], Ch.1.II) |
| 10777 | Skolem mistakenly inferred that Cantor's conceptions were illusory [Tharp] |
| Full Idea: Skolem deduced from the Löwenheim-Skolem theorem that 'the absolutist conceptions of Cantor's theory' are 'illusory'. I think it is clear that this conclusion would not follow even if elementary logic were in some sense the true logic, as Skolem assumed. | |
| From: Leslie H. Tharp (Which Logic is the Right Logic? [1975], §7) | |
| A reaction: [Tharp cites Skolem 1962 p.47] Kit Fine refers to accepters of this scepticism about the arithmetic of infinities as 'Skolemites'. |
| 10773 | The Löwenheim-Skolem property is a limitation (e.g. can't say there are uncountably many reals) [Tharp] |
| Full Idea: The Löwenheim-Skolem property seems to be undesirable, in that it states a limitation concerning the distinctions the logic is capable of making, such as saying there are uncountably many reals ('Skolem's Paradox'). | |
| From: Leslie H. Tharp (Which Logic is the Right Logic? [1975], §2) |
| 10765 | Soundness would seem to be an essential requirement of a proof procedure [Tharp] |
| Full Idea: Soundness would seem to be an essential requirement of a proof procedure, since there is little point in proving formulas which may turn out to be false under some interpretation. | |
| From: Leslie H. Tharp (Which Logic is the Right Logic? [1975], §2) |
| 10763 | Completeness and compactness together give axiomatizability [Tharp] |
| Full Idea: Putting completeness and compactness together, one has axiomatizability. | |
| From: Leslie H. Tharp (Which Logic is the Right Logic? [1975], §1) |
| 10770 | If completeness fails there is no algorithm to list the valid formulas [Tharp] |
| Full Idea: In general, if completeness fails there is no algorithm to list the valid formulas. | |
| From: Leslie H. Tharp (Which Logic is the Right Logic? [1975], §2) | |
| A reaction: I.e. the theory is not effectively enumerable. |
| 10771 | Compactness is important for major theories which have infinitely many axioms [Tharp] |
| Full Idea: It is strange that compactness is often ignored in discussions of philosophy of logic, since the most important theories have infinitely many axioms. | |
| From: Leslie H. Tharp (Which Logic is the Right Logic? [1975], §2) | |
| A reaction: An example of infinite axioms is the induction schema in first-order Peano Arithmetic. |
| 10772 | Compactness blocks infinite expansion, and admits non-standard models [Tharp] |
| Full Idea: The compactness condition seems to state some weakness of the logic (as if it were futile to add infinitely many hypotheses). To look at it another way, formalizations of (say) arithmetic will admit of non-standard models. | |
| From: Leslie H. Tharp (Which Logic is the Right Logic? [1975], §2) |
| 10764 | A complete logic has an effective enumeration of the valid formulas [Tharp] |
| Full Idea: A complete logic has an effective enumeration of the valid formulas. | |
| From: Leslie H. Tharp (Which Logic is the Right Logic? [1975], §2) |
| 10768 | Effective enumeration might be proved but not specified, so it won't guarantee knowledge [Tharp] |
| Full Idea: Despite completeness, the mere existence of an effective enumeration of the valid formulas will not, by itself, provide knowledge. For example, one might be able to prove that there is an effective enumeration, without being able to specify one. | |
| From: Leslie H. Tharp (Which Logic is the Right Logic? [1975], §2) | |
| A reaction: The point is that completeness is supposed to ensure knowledge (of what is valid but unprovable), and completeness entails effective enumerability, but more than the latter is needed to do the key job. |
| 3841 | Users of 'supervenience' blur its causal and constitutive meanings [Searle] |
| Full Idea: I am no fan of the concept of supervenience. Its uncritical use is a sign of philosophical confusion, because the concept oscillates between causal supervenience and constitutive supervenience. | |
| From: John Searle (Rationality in Action [2001], Ch.9 n5) | |
| A reaction: I don't see why you shouldn't assert the supervenience of one thing on another, while saying that you are not sure whether it is causal or constitutive. The confusion seems to me to be in understandings of the causal version. |
| 3816 | Our beliefs are about things, not propositions (which are the content of the belief) [Searle] |
| Full Idea: The terminology of "propositional attitudes" is confused, because it suggests that a belief is an attitude towards a propositions, …but the proposition is the content, not the object, of my belief. | |
| From: John Searle (Rationality in Action [2001], Ch.2) |
| 3833 | A belief is a commitment to truth [Searle] |
| Full Idea: A belief is a commitment to truth. | |
| From: John Searle (Rationality in Action [2001], Ch.4.III) |
| 3837 | We can't understand something as a lie if beliefs aren't commitment to truth [Searle] |
| Full Idea: If I lie and say "It is raining", my utterance is intelligible to me as a lie precisely because I understand that the utterance commits me to the truth of a proposition I do not believe to be true. | |
| From: John Searle (Rationality in Action [2001], Ch.6.II) |
| 3828 | Thinking must involve a self, not just an "it" [Searle] |
| Full Idea: We should not say "It thinks" in preference to "I think". If thinking is an active, voluntary process, there must be a self who thinks. | |
| From: John Searle (Rationality in Action [2001], Ch.3.IX) |
| 3831 | Reasons can either be facts in the world, or intentional states [Searle] |
| Full Idea: Both reasons and the things they are reasons for can be either facts in the world or intentional states such as beliefs, desires, and intentions. | |
| From: John Searle (Rationality in Action [2001], Ch.4.I) | |
| A reaction: One might point out that beliefs, desires and intentions are facts in the world too. Implicit dualism. One can ask, what turns a fact into a reason? |
| 3830 | In the past people had a reason not to smoke, but didn't realise it [Searle] |
| Full Idea: For a long time people had a reason not to smoke cigarettes, without knowing that they had such a reason. | |
| From: John Searle (Rationality in Action [2001], Ch.4) | |
| A reaction: What does 'had' a reason mean here? If I wish you dead, there is a reason why you should be dead, but you don't 'have' the reason, and never will have. There's probably a reason why I should never have been born. |
| 3832 | Causes (usually events) are not the same as reasons (which are never events) [Searle] |
| Full Idea: Causes are typically events, reasons are never events. You can give a reason by stating a cause, but it does not follow that the reason and the cause are the same thing. | |
| From: John Searle (Rationality in Action [2001], Ch.4.I) | |
| A reaction: This is against Davidson. I'm with Searle here; my having a reason to do something is not the cause of my doing it. I don't, unlike Searle, believe in free will, but doing something for a reason is not just the operation of the reason. |
| 3823 | Being held responsible for past actions makes no sense without personal identity [Searle] |
| Full Idea: I am held responsible now for things that I did in the distant past. But that only makes sense if there is some entity that is both the agent of the action in the past and me now. | |
| From: John Searle (Rationality in Action [2001], Ch.3.VII) | |
| A reaction: A possible response, of course, is that you are held responsible for your past deeds, but you shouldn't be. The idea that you are the same as when you committed the crime is a convenient fiction for people who desire revenge. Responsibility fades. |
| 3821 | Giving reasons for action requires reference to a self [Searle] |
| Full Idea: The requirement that I state reasons that I acted on requires a reference to the self. …Only for a self can something be a reason for an action. | |
| From: John Searle (Rationality in Action [2001], Ch.3.VII) | |
| A reaction: Why can't we just say that this reason, given this desire and this belief, led to this action, and never mention the self? Admittedly leaving out 'I' is an odd circumlocution, but I don't find this particular argument very convincing. |
| 3824 | A 'self' must be capable of conscious reasonings about action [Searle] |
| Full Idea: In order to be a self the entity that acts as an agent must also be capable of conscious reasoning about its actions. | |
| From: John Searle (Rationality in Action [2001], Ch.3.VIII) | |
| A reaction: I can't accept this all-or-nothing account. A chimpanzee is some sort of 'agent', and there are bad chimpanzees you wouldn't want in your colony. Why does Searle want to cut us off in some special compound where our actions are totally different? |
| 3834 | An intentional, acting, rational being must have a self [Searle] |
| Full Idea: Selfhood in my sense comes for free once you have a conscious intentional being capable of engaging in free actions on the basis of reasons. | |
| From: John Searle (Rationality in Action [2001], Ch.5.II) | |
| A reaction: The concept of an 'action' is probably the thing that most clearly needs a self, because it implies co-ordination and purpose, and there must be some item which benefits. Personally I think you can drop 'free actions' and still have a self. |
| 3825 | Action requires a self, even though perception doesn't [Searle] |
| Full Idea: It is a formal requirement on rational action that there must be a self who acts, in a way that it is not a formal requirement on perception that there be an agent or a self who perceives. | |
| From: John Searle (Rationality in Action [2001], Ch.3.IX) | |
| A reaction: I don't find this persuasive. I don't see how we can rule out a priori the possibility of a set of desires and reasons within an organism which generate an action, without any intervening 'self' to add something. Ockham's Razor. |
| 3829 | Selfs are conscious, enduring, reasonable, active, free, and responsible [Searle] |
| Full Idea: A self is conscious, persists through time, operates with reasons, carries out free actions, and is responsible. | |
| From: John Searle (Rationality in Action [2001], Ch.3.X) | |
| A reaction: Personally I would substitute 'makes decisions' for 'carries out free actions', but otherwise I agree, though he seems to miss a key aspect, which is that the self is in charge of the mind, and directs its focus and co-ordinates its inputs and outputs. |
| 3826 | A self must at least be capable of consciousness [Searle] |
| Full Idea: The first condition on the self is that it should be capable of consciousness. | |
| From: John Searle (Rationality in Action [2001], Ch.3.IX) | |
| A reaction: This strikes me as a stipulative definition. It raises the question of whether it is possible that a lizard (say) is not actually conscious, but has some sort of propriotreptic awareness, and a 'central controller' for its decision-making. |
| 3827 | The self is neither an experience nor a thing experienced [Searle] |
| Full Idea: The self is not an experience, nor is it an object that is experienced. | |
| From: John Searle (Rationality in Action [2001], Ch.3.IX) | |
| A reaction: A nice dichotomy, that draws attention to the unique position of the self. Thanks to Descartes for focusing our attention on it. Personally I would say that the self is an object, which cannot be experienced by itself, but can be inferred by others. |
| 3820 | The bundle must also have agency in order to act, and a self to act rationally [Searle] |
| Full Idea: Agency must be added to the bundle to account for how embodied bundles engage in free actions, and selfhood must be added to account for how agents can act rationally. | |
| From: John Searle (Rationality in Action [2001], Ch.3.VII) | |
| A reaction: I don't buy much of this, but I am inclined to say that a will must be added to the bundle to explain why it acts consistently and coherently. It is certainly ridiculous to rest with the picture of a person as a completely unstructured bundle. |
| 3817 | Free will is most obvious when we choose between several reasons for an action [Searle] |
| Full Idea: The most dramatic manifestation of the free will gap is that when one has several reasons for performing an action, one may act on only one of them; one may select which reason one acts on. | |
| From: John Searle (Rationality in Action [2001], Ch.3.II) |
| 3808 | Rational decision making presupposes free will [Searle] |
| Full Idea: In order to engage in rational decision making we have to presuppose free will. | |
| From: John Searle (Rationality in Action [2001], Ch.1.II) |
| 3818 | We freely decide whether to make a reason for action effective [Searle] |
| Full Idea: Where free rational action is concerned, all effective reasons are made effective by the agent. | |
| From: John Searle (Rationality in Action [2001], Ch.3.II) |
| 3814 | Preferences can result from deliberation, not just precede it [Searle] |
| Full Idea: A well-ordered set of preferences is typically the result of successful deliberation, and is not its precondition. | |
| From: John Searle (Rationality in Action [2001], Ch.1.II) |
| 3840 | We don't accept practical reasoning if the conclusion is unpalatable [Searle] |
| Full Idea: If I desire to get rid of my flu symptoms, and believe the only way to do it is death, I am committed to desiring my death. …there is no plausible logic of practical reason. | |
| From: John Searle (Rationality in Action [2001], Ch.8.II) |
| 3815 | The essence of humanity is desire-independent reasons for action [Searle] |
| Full Idea: The single greatest difference between humans and other animals as far as rationality is concerned is our ability to create, recognise and act on desire-independent reasons for action. | |
| From: John Searle (Rationality in Action [2001], Ch.1.II) |
| 3839 | Only an internal reason can actually motivate the agent to act [Searle] |
| Full Idea: Only an internal reason can actually motivate the agent to act. | |
| From: John Searle (Rationality in Action [2001], Ch.6 App) |
| 20416 | By 1790 aestheticians were mainly trying to explain individual artistic genius [Kemp] |
| Full Idea: By 1790 the idea that a central task for the aesthetician was to explain or at least adequately to describe the phenomenon of the individual artistic genius had definitely taken hold. | |
| From: Gary Kemp (Croce and Collingwood [2012], Intro) | |
| A reaction: Hence when Kant and Hegel write about art, though are only really thinking of the greatest art (which might be in touch with the sublime or Spirit etc.). Nowadays I think we expect accounts of art to cover modest amateur efforts as well. |
| 20417 | Expression can be either necessary for art, or sufficient for art (or even both) [Kemp] |
| Full Idea: Seeing art as expression has two components: 1) if something is a work of art, then it is expressive, 2) if something is expressive, then it is a work of art. So expression can be necessary or sufficient for art. (or both, for Croce and Collingwood). | |
| From: Gary Kemp (Croce and Collingwood [2012], 1) | |
| A reaction: I take the idea that art 'expresses' the feelings of an artist to be false. Artists are more like actors. Nearly all art has some emotional impact, which is of major importance, but I don't think 'expression' is a very good word for that. |
| 20419 | We don't already know what to express, and then seek means of expressing it [Kemp] |
| Full Idea: One cannot really know, or be conscious of, what it is that one is going to express, and then set about expressing it; indeed if one is genuinely conscious of it then one has already expressed it. | |
| From: Gary Kemp (Croce and Collingwood [2012], 1) | |
| A reaction: That pretty conclusively demolishes the idea that art is expression. I picture Schubert composing at the piano: he doesn't feel an emotion, and then hunt for its expression on the keyboard; he seeks out expressive phrases by playing. |
| 20418 | The horror expressed in some works of art could equallly be expressed by other means [Kemp] |
| Full Idea: The horror or terror of Edvard Much's 'The Scream' could in principle be expressed by different paintings, or even by works of music. | |
| From: Gary Kemp (Croce and Collingwood [2012], 1) | |
| A reaction: A very good simple point against the idea that the point of art is expression. It leaves out the very specific nature of each work of art! |
| 3835 | If it is true, you ought to believe it [Searle] |
| Full Idea: To say that something is true is already to say that you ought to believe it. | |
| From: John Searle (Rationality in Action [2001], Ch.5.II) | |
| A reaction: I'm sure what Einstein said is true, but I don't understand it. The truth is the thought of how things actually are, but why should I not prefer my private fantasies? I see the point, though. |
| 3836 | If this is a man, you ought to accept similar things as men [Searle] |
| Full Idea: From the fact that an object is truly described as "a man", it follows that you ought to accept relevantly similar objects as men. | |
| From: John Searle (Rationality in Action [2001], Ch.5.IV) | |
| A reaction: 'Similar' rather begs the question. Common speech distinguishes sharply between a man and a 'real man'. You only accept them as men if you see them as men, not as similar to something else. Interesting. |
| 3838 | Promises hold because I give myself a reason, not because it is an institution [Searle] |
| Full Idea: The obligation to keep a promise does not derive from the institution of promising, ..but from the fact that in promising I freely and voluntarily create a reason for myself. | |
| From: John Searle (Rationality in Action [2001], Ch.6.IV) |
| 3813 | 'Ought' implies that there is a reason to do something [Searle] |
| Full Idea: To say that someone 'ought' to do something is to imply that there is a reason for him to do it. | |
| From: John Searle (Rationality in Action [2001], Ch.1.II) |