41 ideas
| 11051 | Frege's logical approach dominates the analytical tradition [Hanna] |
| Full Idea: Pure logic constantly controls Frege's philosophy, and in turn Frege's logically oriented philosophy constantly controls the analytic tradition. | |
| From: Robert Hanna (Rationality and Logic [2006], 1.1) | |
| A reaction: Hanna seeks to reintroduce the dreaded psychological aspect of logic, and I say 'good for him'. |
| 11054 | Scientism says most knowledge comes from the exact sciences [Hanna] |
| Full Idea: Scientism says that the exact sciences are the leading sources of knowledge about the world. | |
| From: Robert Hanna (Rationality and Logic [2006], 1.2) | |
| A reaction: I almost agree, but I would describe the exact sciences as the chief 'evidence' for our knowledge, with the chief 'source' being our own ability to make coherent sense of the evidence. Exact sciences rest on mathematics. |
| 11223 | Definitions usually have a term, a 'definiendum' containing the term, and a defining 'definiens' [Gupta] |
| Full Idea: Many definitions have three elements: the term that is defined, an expression containing the defined term (the 'definiendum'), and another expression (the 'definiens') that is equated by the definition with this expression. | |
| From: Anil Gupta (Definitions [2008], 2) | |
| A reaction: He notes that the definiendum and the definiens are assumed to be in the 'same logical category', which is a right can of worms. |
| 11215 | Notable definitions have been of piety (Plato), God (Anselm), number (Frege), and truth (Tarski) [Gupta] |
| Full Idea: Notable examples of definitions in philosophy have been Plato's (e.g. of piety, in 'Euthyphro'), Anselm's definition of God, the Frege-Russell definition of number, and Tarski's definition of truth. | |
| From: Anil Gupta (Definitions [2008], Intro) | |
| A reaction: All of these are notable for the extensive metaphysical conclusions which then flow from what seems like a fairly neutral definition. We would expect that if we were defining essences, but not if we were just defining word usage. |
| 11225 | A definition needs to apply to the same object across possible worlds [Gupta] |
| Full Idea: In a modal logic in which names are non-vacuous and rigid, not only must existence and uniqueness in a definition be shown to hold necessarily, it must be shown that the definiens is satisfied by the same object across possible worlds. | |
| From: Anil Gupta (Definitions [2008], 2.4) |
| 11227 | The 'revision theory' says that definitions are rules for improving output [Gupta] |
| Full Idea: The 'revision theory' of definitions says definitions impart a hypothetical character, giving a rule of revision rather than a rule of application. ...The output interpretation is better than the input one. | |
| From: Anil Gupta (Definitions [2008], 2.7) | |
| A reaction: Gupta mentions the question of whether such definitions can extend into the trans-finite. |
| 11221 | A definition can be 'extensionally', 'intensionally' or 'sense' adequate [Gupta] |
| Full Idea: A definition is 'extensionally adequate' iff there are no actual counterexamples to it. It is 'intensionally adequate' iff there are no possible counterexamples to it. It is 'sense adequate' (or 'analytic') iff it endows the term with the right sense. | |
| From: Anil Gupta (Definitions [2008], 1.4) |
| 11224 | Traditional definitions are general identities, which are sentential and reductive [Gupta] |
| Full Idea: Traditional definitions are generalized identities (so definiendum and definiens can replace each other), in which the sentential is primary (for use in argument), and they involve reduction (and hence eliminability in a ground language). | |
| From: Anil Gupta (Definitions [2008], 2.2) |
| 11226 | Traditional definitions need: same category, mention of the term, and conservativeness and eliminability [Gupta] |
| Full Idea: A traditional definition requires that the definiendum contains the defined term, that definiendum and definiens are of the same logical category, and the definition is conservative (adding nothing new), and makes elimination possible. | |
| From: Anil Gupta (Definitions [2008], 2.4) |
| 11217 | Chemists aim at real definition of things; lexicographers aim at nominal definition of usage [Gupta] |
| Full Idea: The chemist aims at real definition, whereas the lexicographer aims at nominal definition. ...Perhaps real definitions investigate the thing denoted, and nominal definitions investigate meaning and use. | |
| From: Anil Gupta (Definitions [2008], 1.1) | |
| A reaction: Very helpful. I really think we should talk much more about the neglected chemists when we discuss science. Theirs is the single most successful branch of science, the paradigm case of what the whole enterprise aims at. |
| 11216 | If definitions aim at different ideals, then defining essence is not a unitary activity [Gupta] |
| Full Idea: Some definitions aim at precision, others at fairness, or at accuracy, or at clarity, or at fecundity. But if definitions 'give the essence of things' (the Aristotelian formula), then it may not be a unitary kind of activity. | |
| From: Anil Gupta (Definitions [2008], 1) | |
| A reaction: We don't have to accept this conclusion so quickly. Human interests may shift the emphasis, but there may be a single ideal definition of which these various examples are mere parts. |
| 11218 | Stipulative definition assigns meaning to a term, ignoring prior meanings [Gupta] |
| Full Idea: Stipulative definition imparts a meaning to the defined term, and involves no commitment that the assigned meaning agrees with prior uses (if any) of the term | |
| From: Anil Gupta (Definitions [2008], 1.3) | |
| A reaction: A nice question is how far one can go in stretching received usage. If I define 'democracy' as 'everyone is involved in decisions', that is sort of right, but pushing the boundaries (children, criminals etc). |
| 11220 | Ostensive definitions look simple, but are complex and barely explicable [Gupta] |
| Full Idea: Ostensive definitions look simple (say 'this stick is one meter long', while showing a stick), but they are effective only because a complex linguistic and conceptual capacity is operative in the background, of which it is hard to give an account. | |
| From: Anil Gupta (Definitions [2008], 1.2) | |
| A reaction: The full horror of the situation is brought out in Quine's 'gavagai' example (Idea 6312) |
| 11070 | 'Denying the antecedent' fallacy: φ→ψ, ¬φ, so ¬ψ [Hanna] |
| Full Idea: The fallacy of 'denying the antecedent' is of the form φ→ψ, ¬φ, so ¬ψ. | |
| From: Robert Hanna (Rationality and Logic [2006], 5.4) |
| 11071 | 'Affirming the consequent' fallacy: φ→ψ, ψ, so φ [Hanna] |
| Full Idea: The fallacy of 'affirming the consequent' is of the form φ→ψ, ψ, so φ. | |
| From: Robert Hanna (Rationality and Logic [2006], 5.4) |
| 11088 | We can list at least fourteen informal fallacies [Hanna] |
| Full Idea: Informal fallacies: appeals to force, circumstantial factors, ignorance, pity, popular consensus, authority, generalisation, confused causes, begging the question, complex questions, irrelevance, equivocation, black-and-white, slippery slope etc. | |
| From: Robert Hanna (Rationality and Logic [2006], 7.3) |
| 11059 | Circular arguments are formally valid, though informally inadmissible [Hanna] |
| Full Idea: A circular argument - one whose conclusion is to be found among its premises - is inadmissible in most informal contexts, even though it is formally valid. | |
| From: Robert Hanna (Rationality and Logic [2006], 2.1) | |
| A reaction: Presumably this is a matter of conversational implicature - that you are under a conventional obligation to say things which go somewhere, rather than circling around their starting place. |
| 11089 | Formally, composition and division fallacies occur in mereology [Hanna] |
| Full Idea: Informal fallacies of composition and division go over into formal fallacies of mereological logic. | |
| From: Robert Hanna (Rationality and Logic [2006], 7.3) |
| 11222 | The ordered pair <x,y> is defined as the set {{x},{x,y}}, capturing function, not meaning [Gupta] |
| Full Idea: The ordered pair <x,y> is defined as the set {{x},{x,y}}. This does captures its essential uses. Pairs <x,y> <u,v> are identical iff x=u and y=v, and the definition satisfies this. Function matters here, not meaning. | |
| From: Anil Gupta (Definitions [2008], 1.5) | |
| A reaction: This is offered as an example of Carnap's 'explications', rather than pure definitions. Quine extols it as a philosophical paradigm (1960:§53). |
| 11058 | Logic is explanatorily and ontologically dependent on rational animals [Hanna] |
| Full Idea: Logic is explanatorily and ontologically dependent on rational animals. | |
| From: Robert Hanna (Rationality and Logic [2006], 1.6) | |
| A reaction: This is a splendid defiance of the standard Fregean view of logic as having an inner validity of its own, having nothing to do with the psychology of thinkers. But if Hanna is right, why does logical consequence seem to be necessary? |
| 11072 | Logic is personal and variable, but it has a universal core [Hanna] |
| Full Idea: Beyond an innate and thus universally share protologic, each reasoner's mental logic is only more or less similar to the mental logic of any other reasoner. | |
| From: Robert Hanna (Rationality and Logic [2006], 5.7) | |
| A reaction: This is the main thesis of Hanna's book. I like the combination of this idea with Stephen Read's remark that each student should work out a personal logic which has their own private endorsement. |
| 11061 | Intensional consequence is based on the content of the concepts [Hanna] |
| Full Idea: In intensional logic the consequence relation is based on the form or content of the concepts or properties expressed by the predicates. | |
| From: Robert Hanna (Rationality and Logic [2006], 2.2) |
| 11063 | Logicism struggles because there is no decent theory of analyticity [Hanna] |
| Full Idea: All versions of the thesis that arithmetic is reducible to logic remain questionable as long as no good theory of analyticity is available. | |
| From: Robert Hanna (Rationality and Logic [2006], 2.4) | |
| A reaction: He rejects the attempts by Frege, Wittgenstein and Carnap to provide a theory of analyticity. |
| 11055 | Supervenience can add covariation, upward dependence, and nomological connection [Hanna] |
| Full Idea: 'Strong supervenience' involves necessary covariation of the properties, and upward dependence of higher level on lower level. ...If we add a nomological connection between the two, then we have 'superdupervenience'. | |
| From: Robert Hanna (Rationality and Logic [2006], 1.2) | |
| A reaction: [compressed] Very helpful. A superdupervenient relationship between mind and brain would be rather baffling if they were not essentially the same thing. (which is what I take them to be). |
| 11083 | A sentence is necessary if it is true in a set of worlds, and nonfalse in the other worlds [Hanna] |
| Full Idea: On my view, necessity is the truth of a sentence in every member of a set of possible worlds, together with its nonfalsity in every other possible worlds. | |
| From: Robert Hanna (Rationality and Logic [2006], 6.6) |
| 11086 | Metaphysical necessity can be 'weak' (same as logical) and 'strong' (based on essences) [Hanna] |
| Full Idea: Weak metaphysical necessity is either over the set of all logically possible worlds (in which case it is the same as logical necessity), or it is of a smaller set of worlds, and is determined by the underlying essence or nature of the actual world. | |
| From: Robert Hanna (Rationality and Logic [2006], 6.6) | |
| A reaction: I take the first to be of no interest, as I have no interest in a world which is somehow rated as logically possible, but is not naturally possible. The second type should the principle aim of all human cognitive enquiry. The strong version is synthetic. |
| 11084 | Logical necessity is truth in all logically possible worlds, because of laws and concepts [Hanna] |
| Full Idea: Logical necessity is the truth of a sentence by virtue of logical laws or intrinsic conceptual connections alone, and thus true in all logically possible worlds. Put in traditional terms, logical necessity is analyticity. | |
| From: Robert Hanna (Rationality and Logic [2006], 6.6) |
| 11085 | Nomological necessity is truth in all logically possible worlds with our laws [Hanna] |
| Full Idea: Physical or nomological necessity is the truth of a sentence in all logically possible worlds governed by our actual laws of nature. | |
| From: Robert Hanna (Rationality and Logic [2006], 6.6) | |
| A reaction: Personally I think 'natural necessity' is the best label for this, as it avoids firm commitment to reductive physicalism, and it also avoids commitment to actual necessitating laws. |
| 11078 | Intuition is only outside the 'space of reasons' if all reasons are inferential [Hanna] |
| Full Idea: Intuition is outside the 'space of reasons' if we assume that all reasons are inferential, but inside if we assume that reasons need not always be inferential. | |
| From: Robert Hanna (Rationality and Logic [2006], 6.4) | |
| A reaction: I take it that intuition can be firmly inside the space of reasons, and that not all reasons are inferential. |
| 11077 | Intuition includes apriority, clarity, modality, authority, fallibility and no inferences [Hanna] |
| Full Idea: The nine features of intuition are: a mental act, apriority, content-comprehensiveness, clarity and distinctness, strict-modality-attributivity, authoritativeness,noninferentiality, cognitive indispensability, and fallibility. | |
| From: Robert Hanna (Rationality and Logic [2006], 6.4) | |
| A reaction: [See Hanna for a full explanation of this lot] Seems like a good stab at it. Note the trade-off between authority and fallibility. |
| 11080 | Intuition is more like memory, imagination or understanding, than like perception [Hanna] |
| Full Idea: There is no reason why intuition should be cognitively analogous not to sense perception but instead to either memory, imagination, or conceptual understanding. | |
| From: Robert Hanna (Rationality and Logic [2006], 6.5) | |
| A reaction: It is Russell's spotting the analogy with memory that made me come to believe that a priori knowledge is possible, as long as we accept it as being fallible. [Hanna has a good discussion of intuition; he votes for the imagination analogy] |
| 11053 | Explanatory reduction is stronger than ontological reduction [Hanna] |
| Full Idea: As standardly construed, reduction can be either explanatory or ontological. Explanatory reduction is the strongest sort of reduction. ...Ontological reduction can still have an 'explanatory gap'. | |
| From: Robert Hanna (Rationality and Logic [2006], 1.1) |
| 11081 | Imagination grasps abstracta, generates images, and has its own correctness conditions [Hanna] |
| Full Idea: Three features of imagination are that its objects can be abstract, that it generates spatial images directly available to introspection, and its correctness conditions are not based on either efficacious causation or effective tracking. | |
| From: Robert Hanna (Rationality and Logic [2006], 6.6) | |
| A reaction: Hanna makes the imagination faculty central to our grasp of his proto-logic. |
| 11082 | Should we take the 'depictivist' or the 'descriptivist/propositionalist' view of mental imagery? [Hanna] |
| Full Idea: In the debate in cognitive science on the nature of mental imagery, there is a 'depictivist' side (Johnson-Laird, Kosslyn, Shepard - good images are isomorphic), and a 'descriptivist' or 'propositionalist' side (Pylyshyn and others). | |
| From: Robert Hanna (Rationality and Logic [2006], 6.6) | |
| A reaction: Hanna votes firmly in favour of the first view, and implies that they have more or less won the debate. |
| 11047 | Hegelian holistic rationality is the capacity to seek coherence [Hanna] |
| Full Idea: The 'holistic' (Hegelian) sense of rationality means the capacity for systematically seeking coherence (or 'reflective equilibrium') across a network or web of beliefs, desires, emotions, intentions and volitions. Traditionally 'the truth is the whole'. | |
| From: Robert Hanna (Rationality and Logic [2006], Intro) | |
| A reaction: On the whole this is my preferred view (which sounds Quinean as well as Hegelian), though I reject the notion that truth is a whole. I take coherence to be the hallmark of justification, though not of truth, and reason aims to justify. |
| 11048 | Humean Instrumental rationality is the capacity to seek contingent truths [Hanna] |
| Full Idea: The 'instrumental' (Humean) sense of rationality means a capacity for generating or recognizing contingent truths, contextually normative rules, consequentialist obligations, and hypothetical 'ought' claims. Reason is 'the slave of the passions'. | |
| From: Robert Hanna (Rationality and Logic [2006], Intro) |
| 11046 | Kantian principled rationality is recognition of a priori universal truths [Hanna] |
| Full Idea: The 'principled' (Kantian) sense of rationality means the possession of a capacity for generating or recognizing necessary truths, a priori beliefs, strictly universal normative rules, nonconsequentialist moral obligations, and categorical 'ought' claims. | |
| From: Robert Hanna (Rationality and Logic [2006], Intro) |
| 11067 | Rational animals have a normative concept of necessity [Hanna] |
| Full Idea: A rational animal is one that is a normative-reflective possessor of the concepts of necessity, certainty and unconditional obligation. | |
| From: Robert Hanna (Rationality and Logic [2006], 4.0) | |
| A reaction: The addition of obligation shows the Kantian roots of this. It isn't enough just to possess a few concepts. You wouldn't count as rational if you didn't desire truth, as well as understanding it. Robots be warned. |
| 11068 | One tradition says talking is the essence of rationality; the other says the essence is logic [Hanna] |
| Full Idea: In the tradition of Descartes, Chomsky and Davidson, rational animals are essentially talking animals. But in the view of Kant, and perhaps Fodor, it is the cognitive capacity for logic that is the essence of human rationality. | |
| From: Robert Hanna (Rationality and Logic [2006], 4.9) |
| 11045 | Most psychologists are now cognitivists [Hanna] |
| Full Idea: Most psychologists have now dropped behaviourism and adopted cognitivism: the thesis that the rational human mind is essentially an active innately specified information-processor. | |
| From: Robert Hanna (Rationality and Logic [2006], Intro) |
| 468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
| Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice. | |
| From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where? |