68 ideas
19693 | There is practical wisdom (for action), and theoretical wisdom (for deep understanding) [Aristotle, by Whitcomb] |
Full Idea: Aristotle takes wisdom to come in two forms, the practical and the theoretical, the former of which is good judgement about how to act, and the latter of which is deep knowledge or understanding. | |
From: report of Aristotle (works [c.330 BCE]) by Dennis Whitcomb - Wisdom Intro | |
A reaction: The interesting question is then whether the two are connected. One might be thoroughly 'sensible' about action, without counting as 'wise', which seems to require a broader view of what is being done. Whitcomb endorses Aristotle on this idea. |
1575 | For Aristotle logos is essentially the ability to talk rationally about questions of value [Roochnik on Aristotle] |
Full Idea: For Aristotle logos is the ability to speak rationally about, with the hope of attaining knowledge, questions of value. | |
From: comment on Aristotle (works [c.330 BCE]) by David Roochnik - The Tragedy of Reason p.26 |
1589 | Aristotle is the supreme optimist about the ability of logos to explain nature [Roochnik on Aristotle] |
Full Idea: Aristotle is the great theoretician who articulates a vision of a world in which natural and stable structures can be rationally discovered. His is the most optimistic and richest view of the possibilities of logos | |
From: comment on Aristotle (works [c.330 BCE]) by David Roochnik - The Tragedy of Reason p.95 |
8200 | Aristotelian definitions aim to give the essential properties of the thing defined [Aristotle, by Quine] |
Full Idea: A real definition, according to the Aristotelian tradition, gives the essence of the kind of thing defined. Man is defined as a rational animal, and thus rationality and animality are of the essence of each of us. | |
From: report of Aristotle (works [c.330 BCE]) by Willard Quine - Vagaries of Definition p.51 | |
A reaction: Compare Idea 4385. Personally I prefer the Aristotelian approach, but we may have to say 'We cannot identify the essence of x, and so x cannot be defined'. Compare 'his mood was hard to define' with 'his mood was hostile'. |
4385 | Aristotelian definition involves first stating the genus, then the differentia of the thing [Aristotle, by Urmson] |
Full Idea: For Aristotle, to give a definition one must first state the genus and then the differentia of the kind of thing to be defined. | |
From: report of Aristotle (works [c.330 BCE]) by J.O. Urmson - Aristotle's Doctrine of the Mean p.157 | |
A reaction: Presumably a modern definition would just be a list of properties, but Aristotle seeks the substance. How does he define a genus? - by placing it in a further genus? |
10987 | Three traditional names of rules are 'Simplification', 'Addition' and 'Disjunctive Syllogism' [Read] |
Full Idea: Three traditional names for rules are 'Simplification' (P from 'P and Q'), 'Addition' ('P or Q' from P), and 'Disjunctive Syllogism' (Q from 'P or Q' and 'not-P'). | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) |
11004 | Necessity is provability in S4, and true in all worlds in S5 [Read] |
Full Idea: In S4 necessity is said to be informal 'provability', and in S5 it is said to be 'true in every possible world'. | |
From: Stephen Read (Thinking About Logic [1995], Ch.4) | |
A reaction: It seems that the S4 version is proof-theoretic, and the S5 version is semantic. |
11018 | There are fuzzy predicates (and sets), and fuzzy quantifiers and modifiers [Read] |
Full Idea: In fuzzy logic, besides fuzzy predicates, which define fuzzy sets, there are also fuzzy quantifiers (such as 'most' and 'few') and fuzzy modifiers (such as 'usually'). | |
From: Stephen Read (Thinking About Logic [1995], Ch.7) |
11011 | Same say there are positive, negative and neuter free logics [Read] |
Full Idea: It is normal to classify free logics into three sorts; positive free logics (some propositions with empty terms are true), negative free logics (they are false), and neuter free logics (they lack truth-value), though I find this unhelpful and superficial. | |
From: Stephen Read (Thinking About Logic [1995], Ch.5) |
11020 | Realisms like the full Comprehension Principle, that all good concepts determine sets [Read] |
Full Idea: Hard-headed realism tends to embrace the full Comprehension Principle, that every well-defined concept determines a set. | |
From: Stephen Read (Thinking About Logic [1995], Ch.8) | |
A reaction: This sort of thing gets you into trouble with Russell's paradox (though that is presumably meant to be excluded somehow by 'well-defined'). There are lots of diluted Comprehension Principles. |
13282 | Aristotle relativises the notion of wholeness to different measures [Aristotle, by Koslicki] |
Full Idea: Aristotle proposes to relativise unity and plurality, so that a single object can be both one (indivisible) and many (divisible) simultaneously, without contradiction, relative to different measures. Wholeness has degrees, with the strength of the unity. | |
From: report of Aristotle (works [c.330 BCE]) by Kathrin Koslicki - The Structure of Objects 7.2.12 | |
A reaction: [see Koslicki's account of Aristotle for details] As always, the Aristotelian approach looks by far the most promising. Simplistic mechanical accounts of how parts make wholes aren't going to work. We must include the conventional and conceptual bit. |
10986 | Not all validity is captured in first-order logic [Read] |
Full Idea: We must recognise that first-order classical logic is inadequate to describe all valid consequences, that is, all cases in which it is impossible for the premisses to be true and the conclusion false. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
A reaction: This is despite the fact that first-order logic is 'complete', in the sense that its own truths are all provable. |
10972 | The non-emptiness of the domain is characteristic of classical logic [Read] |
Full Idea: The non-emptiness of the domain is characteristic of classical logic. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) |
11024 | Semantics must precede proof in higher-order logics, since they are incomplete [Read] |
Full Idea: For the realist, study of semantic structures comes before study of proofs. In higher-order logic is has to, for the logics are incomplete. | |
From: Stephen Read (Thinking About Logic [1995], Ch.9) | |
A reaction: This seems to be an important general observation about any incomplete system, such as Peano arithmetic. You may dream the old rationalist dream of starting from the beginning and proving everything, but you can't. Start with truth and meaning. |
10985 | We should exclude second-order logic, precisely because it captures arithmetic [Read] |
Full Idea: Those who believe mathematics goes beyond logic use that fact to argue that classical logic is right to exclude second-order logic. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) |
10970 | A theory of logical consequence is a conceptual analysis, and a set of validity techniques [Read] |
Full Idea: A theory of logical consequence, while requiring a conceptual analysis of consequence, also searches for a set of techniques to determine the validity of particular arguments. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) |
10984 | Logical consequence isn't just a matter of form; it depends on connections like round-square [Read] |
Full Idea: If classical logic insists that logical consequence is just a matter of the form, we fail to include as valid consequences those inferences whose correctness depends on the connections between non-logical terms (such as 'round' and 'square'). | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
A reaction: He suggests that an inference such as 'round, so not square' should be labelled as 'materially valid'. |
4730 | For Aristotle, the subject-predicate structure of Greek reflected a substance-accident structure of reality [Aristotle, by O'Grady] |
Full Idea: Aristotle apparently believed that the subject-predicate structure of Greek reflected the substance-accident nature of reality. | |
From: report of Aristotle (works [c.330 BCE]) by Paul O'Grady - Relativism Ch.4 | |
A reaction: We need not assume that Aristotle is wrong. It is a chicken-and-egg. There is something obvious about subject-predicate language, if one assumes that unified objects are part of nature, and not just conventional. |
10973 | A theory is logically closed, which means infinite premisses [Read] |
Full Idea: A 'theory' is any logically closed set of propositions, ..and since any proposition has infinitely many consequences, including all the logical truths, so that theories have infinitely many premisses. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
A reaction: Read is introducing this as the essential preliminary to an account of the Compactness Theorem, which relates these infinite premisses to the finite. |
11007 | Quantifiers are second-order predicates [Read] |
Full Idea: Quantifiers are second-order predicates. | |
From: Stephen Read (Thinking About Logic [1995], Ch.5) | |
A reaction: [He calls this 'Frege's insight'] They seem to be second-order in Tarski's sense, that they are part of a metalanguage about the sentence, rather than being a part of the sentence. |
10978 | In second-order logic the higher-order variables range over all the properties of the objects [Read] |
Full Idea: The defining factor of second-order logic is that, while the domain of its individual variables may be arbitrary, the range of the first-order variables is all the properties of the objects in its domain (or, thinking extensionally, of the sets objects). | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
A reaction: The key point is that the domain is 'all' of the properties. How many properties does an object have. You need to decide whether you believe in sparse or abundant properties (I vote for very sparse indeed). |
10971 | A logical truth is the conclusion of a valid inference with no premisses [Read] |
Full Idea: Logical truth is a degenerate, or extreme, case of consequence. A logical truth is the conclusion of a valid inference with no premisses, or a proposition in the premisses of an argument which is unnecessary or may be suppressed. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) |
10988 | Any first-order theory of sets is inadequate [Read] |
Full Idea: Any first-order theory of sets is inadequate because of the Löwenheim-Skolem-Tarski property, and the consequent Skolem paradox. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
A reaction: The limitation is in giving an account of infinities. |
10974 | Compactness is when any consequence of infinite propositions is the consequence of a finite subset [Read] |
Full Idea: Classical logical consequence is compact, which means that any consequence of an infinite set of propositions (such as a theory) is a consequence of some finite subset of them. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) |
10975 | Compactness does not deny that an inference can have infinitely many premisses [Read] |
Full Idea: Compactness does not deny that an inference can have infinitely many premisses. It can; but classically, it is valid if and only if the conclusion follows from a finite subset of them. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) |
10977 | Compactness blocks the proof of 'for every n, A(n)' (as the proof would be infinite) [Read] |
Full Idea: Compact consequence undergenerates - there are intuitively valid consequences which it marks as invalid, such as the ω-rule, that if A holds of the natural numbers, then 'for every n, A(n)', but the proof of that would be infinite, for each number. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) |
10976 | Compactness makes consequence manageable, but restricts expressive power [Read] |
Full Idea: Compactness is a virtue - it makes the consequence relation more manageable; but it is also a limitation - it limits the expressive power of the logic. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
A reaction: The major limitation is that wholly infinite proofs are not permitted, as in Idea 10977. |
11014 | Self-reference paradoxes seem to arise only when falsity is involved [Read] |
Full Idea: It cannot be self-reference alone that is at fault. Rather, what seems to cause the problems in the paradoxes is the combination of self-reference with falsity. | |
From: Stephen Read (Thinking About Logic [1995], Ch.6) |
11025 | Infinite cuts and successors seems to suggest an actual infinity there waiting for us [Read] |
Full Idea: Every potential infinity seems to suggest an actual infinity - e.g. generating successors suggests they are really all there already; cutting the line suggests that the point where the cut is made is already in place. | |
From: Stephen Read (Thinking About Logic [1995], Ch.8) | |
A reaction: Finding a new gambit in chess suggests it was there waiting for us, but we obviously invented chess. Daft. |
10979 | Although second-order arithmetic is incomplete, it can fully model normal arithmetic [Read] |
Full Idea: Second-order arithmetic is categorical - indeed, there is a single formula of second-order logic whose only model is the standard model ω, consisting of just the natural numbers, with all of arithmetic following. It is nevertheless incomplete. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
A reaction: This is the main reason why second-order logic has a big fan club, despite the logic being incomplete (as well as the arithmetic). |
10980 | Second-order arithmetic covers all properties, ensuring categoricity [Read] |
Full Idea: Second-order arithmetic can rule out the non-standard models (with non-standard numbers). Its induction axiom crucially refers to 'any' property, which gives the needed categoricity for the models. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) |
10997 | Von Neumann numbers are helpful, but don't correctly describe numbers [Read] |
Full Idea: The Von Neumann numbers have a structural isomorphism to the natural numbers - each number is the set of all its predecessors, so 2 is the set of 0 and 1. This helps proofs, but is unacceptable. 2 is not a set with two members, or a member of 3. | |
From: Stephen Read (Thinking About Logic [1995], Ch.4) |
11016 | Would a language without vagueness be usable at all? [Read] |
Full Idea: We must ask whether a language without vagueness would be usable at all. | |
From: Stephen Read (Thinking About Logic [1995], Ch.7) | |
A reaction: Popper makes a similar remark somewhere, with which I heartily agreed. This is the idea of 'spreading the word' over the world, which seems the right way of understanding it. |
11013 | Identities and the Indiscernibility of Identicals don't work with supervaluations [Read] |
Full Idea: In supervaluations, the Law of Identity has no value for empty names, and remains so if extended. The Indiscernibility of Identicals also fails if extending it for non-denoting terms, where Fa comes out true and Fb false. | |
From: Stephen Read (Thinking About Logic [1995], Ch.5) |
11012 | A 'supervaluation' gives a proposition consistent truth-value for classical assignments [Read] |
Full Idea: A 'supervaluation' says a proposition is true if it is true in all classical extensions of the original partial valuation. Thus 'A or not-A' has no valuation for an empty name, but if 'extended' to make A true or not-true, not-A always has opposite value. | |
From: Stephen Read (Thinking About Logic [1995], Ch.5) |
11019 | Supervaluations say there is a cut-off somewhere, but at no particular place [Read] |
Full Idea: The supervaluation approach to vagueness is to construe vague predicates not as ones with fuzzy borderlines and no cut-off, but as having a cut-off somewhere, but in no particular place. | |
From: Stephen Read (Thinking About Logic [1995], Ch.7) | |
A reaction: Presumably you narrow down the gap by supervaluation, then split the difference to get a definite value. |
10995 | A haecceity is a set of individual properties, essential to each thing [Read] |
Full Idea: The haecceitist (a neologism coined by Duns Scotus, pronounced 'hex-ee-it-ist', meaning literally 'thisness') believes that each thing has an individual essence, a set of properties which are essential to it. | |
From: Stephen Read (Thinking About Logic [1995], Ch.4) | |
A reaction: This seems to be a difference of opinion over whether a haecceity is a set of essential properties, or a bare particular. The key point is that it is unique to each entity. |
13276 | The unmoved mover and the soul show Aristotelian form as the ultimate mereological atom [Aristotle, by Koslicki] |
Full Idea: Aristotle's discussion of the unmoved mover and of the soul confirms the suspicion that form, when it is not thought of as the object represented in a definition, plays the role of the ultimate mereological atom within his system. | |
From: report of Aristotle (works [c.330 BCE]) by Kathrin Koslicki - The Structure of Objects 6.6 | |
A reaction: Aristotle is concerned with which things are 'divisible', and he cites these two examples as indivisible, but they may be too unusual to offer an actual theory of how Aristotle builds up wholes from atoms. He denies atoms in matter. |
13277 | The 'form' is the recipe for building wholes of a particular kind [Aristotle, by Koslicki] |
Full Idea: Thus in Aristotle we may think of an object's formal components as a sort of recipe for how to build wholes of that particular kind. | |
From: report of Aristotle (works [c.330 BCE]) by Kathrin Koslicki - The Structure of Objects 7.2.5 | |
A reaction: In the elusive business of pinning down what Aristotle means by the crucial idea of 'form', this analogy strikes me as being quite illuminating. It would fit DNA in living things, and the design of an artifact. |
11001 | Equating necessity with truth in every possible world is the S5 conception of necessity [Read] |
Full Idea: The equation of 'necessity' with 'true in every possible world' is known as the S5 conception, corresponding to the strongest of C.I.Lewis's five modal systems. | |
From: Stephen Read (Thinking About Logic [1995], Ch.4) | |
A reaction: Are the worlds naturally, or metaphysically, or logically possible? |
10989 | The standard view of conditionals is that they are truth-functional [Read] |
Full Idea: The standard view of conditionals is that they are truth-functional, that is, that their truth-values are determined by the truth-values of their constituents. | |
From: Stephen Read (Thinking About Logic [1995], Ch.3) |
10992 | The point of conditionals is to show that one will accept modus ponens [Read] |
Full Idea: The point of conditionals is to show that one will accept modus ponens. | |
From: Stephen Read (Thinking About Logic [1995], Ch.3) | |
A reaction: [He attributes this idea to Frank Jackson] This makes the point, against Grice, that the implication of conditionals is not conversational but a matter of logical convention. See Idea 21396 for a very different view. |
11017 | Some people even claim that conditionals do not express propositions [Read] |
Full Idea: Some people even claim that conditionals do not express propositions. | |
From: Stephen Read (Thinking About Logic [1995], Ch.7) | |
A reaction: See Idea 14283, where this appears to have been 'proved' by Lewis, and is not just a view held by some people. |
10983 | Knowledge of possible worlds is not causal, but is an ontology entailed by semantics [Read] |
Full Idea: The modal Platonist denies that knowledge always depends on a causal relation. The reality of possible worlds is an ontological requirement, to secure the truth-values of modal propositions. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
A reaction: [Reply to Idea 10982] This seems to be a case of deriving your metaphyics from your semantics, of which David Lewis seems to be guilty, and which strikes me as misguided. |
10982 | How can modal Platonists know the truth of a modal proposition? [Read] |
Full Idea: If modal Platonism was true, how could we ever know the truth of a modal proposition? | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
A reaction: I take this to be very important. Our knowledge of modal truths must depend on our knowledge of the actual world. The best answer seems to involve reference to the 'powers' of the actual world. A reply is in Idea 10983. |
10996 | Actualism is reductionist (to parts of actuality), or moderate realist (accepting real abstractions) [Read] |
Full Idea: There are two main forms of actualism: reductionism, which seeks to construct possible worlds out of some more mundane material; and moderate realism, in which the actual concrete world is contrasted with abstract, but none the less real, possible worlds. | |
From: Stephen Read (Thinking About Logic [1995], Ch.4) | |
A reaction: I am a reductionist, as I do not take abstractions to be 'real' (precisely because they have been 'abstracted' from the things that are real). I think I will call myself a 'scientific modalist' - we build worlds from possibilities, discovered by science. |
10981 | A possible world is a determination of the truth-values of all propositions of a domain [Read] |
Full Idea: A possible world is a complete determination of the truth-values of all propositions over a certain domain. | |
From: Stephen Read (Thinking About Logic [1995], Ch.2) | |
A reaction: Even if the domain is very small? Even if the world fitted the logic nicely, but was naturally impossible? |
11000 | If worlds are concrete, objects can't be present in more than one, and can only have counterparts [Read] |
Full Idea: If each possible world constitutes a concrete reality, then no object can be present in more than one world - objects may have 'counterparts', but cannot be identical with them. | |
From: Stephen Read (Thinking About Logic [1995], Ch.4) | |
A reaction: This explains clearly why in Lewis's modal realist scheme he needs counterparts instead of rigid designation. Sounds like a slippery slope. If you say 'Humphrey might have won the election', who are you talking about? |
5991 | For Aristotle, knowledge is of causes, and is theoretical, practical or productive [Aristotle, by Code] |
Full Idea: Aristotle thinks that in general we have knowledge or understanding when we grasp causes, and he distinguishes three fundamental types of knowledge - theoretical, practical and productive. | |
From: report of Aristotle (works [c.330 BCE]) by Alan D. Code - Aristotle | |
A reaction: Productive knowledge we tend to label as 'knowing how'. The centrality of causes for knowledge would get Aristotle nowadays labelled as a 'naturalist'. It is hard to disagree with his three types, though they may overlap. |
11239 | The notion of a priori truth is absent in Aristotle [Aristotle, by Politis] |
Full Idea: The notion of a priori truth is conspicuously absent in Aristotle. | |
From: report of Aristotle (works [c.330 BCE]) by Vassilis Politis - Aristotle and the Metaphysics 1.5 | |
A reaction: Cf. Idea 11240. |
23312 | Aristotle is a rationalist, but reason is slowly acquired through perception and experience [Aristotle, by Frede,M] |
Full Idea: Aristotle is a rationalist …but reason for him is a disposition which we only acquire over time. Its acquisition is made possible primarily by perception and experience. | |
From: report of Aristotle (works [c.330 BCE]) by Michael Frede - Aristotle's Rationalism p.173 | |
A reaction: I would describe this process as the gradual acquisition of the skill of objectivity, which needs the right knowledge and concepts to evaluate new experiences. |
16111 | Aristotle wants to fit common intuitions, and therefore uses language as a guide [Aristotle, by Gill,ML] |
Full Idea: Since Aristotle generally prefers a metaphysical theory that accords with common intuitions, he frequently relies on facts about language to guide his metaphysical claims. | |
From: report of Aristotle (works [c.330 BCE]) by Mary Louise Gill - Aristotle on Substance Ch.5 | |
A reaction: I approve of his procedure. I take intuition to be largely rational justifications too complex for us to enunciate fully, and language embodies folk intuitions in its concepts (especially if the concepts occur in many languages). |
16971 | Plato says sciences are unified around Forms; Aristotle says they're unified around substance [Aristotle, by Moravcsik] |
Full Idea: Plato's unity of science principle states that all - legitimate - sciences are ultimately about the Forms. Aristotle's principle states that all sciences must be, ultimately, about substances, or aspects of substances. | |
From: report of Aristotle (works [c.330 BCE], 1) by Julius Moravcsik - Aristotle on Adequate Explanations 1 |
11243 | Aristotelian explanations are facts, while modern explanations depend on human conceptions [Aristotle, by Politis] |
Full Idea: For Aristotle things which explain (the explanantia) are facts, which should not be associated with the modern view that says explanations are dependent on how we conceive and describe the world (where causes are independent of us). | |
From: report of Aristotle (works [c.330 BCE]) by Vassilis Politis - Aristotle and the Metaphysics 2.1 | |
A reaction: There must be some room in modern thought for the Aristotelian view, if some sort of robust scientific realism is being maintained against the highly linguistic view of philosophy found in the twentieth century. |
3320 | Aristotle's standard analysis of species and genus involves specifying things in terms of something more general [Aristotle, by Benardete,JA] |
Full Idea: The standard Aristotelian doctrine of species and genus in the theory of anything whatever involves specifying what the thing is in terms of something more general. | |
From: report of Aristotle (works [c.330 BCE]) by José A. Benardete - Metaphysics: the logical approach Ch.10 |
12000 | Aristotle regularly says that essential properties explain other significant properties [Aristotle, by Kung] |
Full Idea: The view that essential properties are those in virtue of which other significant properties of the subjects under investigation can be explained is encountered repeatedly in Aristotle's work. | |
From: report of Aristotle (works [c.330 BCE]) by Joan Kung - Aristotle on Essence and Explanation IV | |
A reaction: What does 'significant' mean here? I take it that the significant properties are the ones which explain the role, function and powers of the object. |
10998 | The mind abstracts ways things might be, which are nonetheless real [Read] |
Full Idea: Ways things might be are real, but only when abstracted from the actual way things are. They are brought out and distinguished by the mind, by abstraction, but are not dependent on mind for their existence. | |
From: Stephen Read (Thinking About Logic [1995], Ch.4) | |
A reaction: To me this just flatly contradicts itself. The idea that the mind can 'bring something out' by its operations, with the result being then accepted as part of reality is nonsense on stilts. What is real is the powers that make the possibilities. |
23300 | Aristotle and the Stoics denied rationality to animals, while Platonists affirmed it [Aristotle, by Sorabji] |
Full Idea: Aristotle, and also the Stoics, denied rationality to animals. …The Platonists, the Pythagoreans, and some more independent Aristotelians, did grant reason and intellect to animals. | |
From: report of Aristotle (works [c.330 BCE]) by Richard Sorabji - Rationality 'Denial' | |
A reaction: This is not the same as affirming or denying their consciousness. The debate depends on how rationality is conceived. |
11005 | Negative existentials with compositionality make the whole sentence meaningless [Read] |
Full Idea: A problem with compositionality is negative existential propositions. If some of the terms of the proposition are empty, and don't refer, then compositionality implies that the whole will lack meaning too. | |
From: Stephen Read (Thinking About Logic [1995], Ch.5) | |
A reaction: I don't agree. I don't see why compositionality implies holism about sentence-meaning. If I say 'that circular square is a psychopath', you understand the predication, despite being puzzled by the singular term. |
10966 | A proposition objectifies what a sentence says, as indicative, with secure references [Read] |
Full Idea: A proposition makes an object out of what is said or expressed by the utterance of a certain sort of sentence, namely, one in the indicative mood which makes sense and doesn't fail in its references. It can then be an object of thought and belief. | |
From: Stephen Read (Thinking About Logic [1995], Ch.1) | |
A reaction: Nice, but two objections: I take it to be crucial to propositions that they eliminate ambiguities, and I take it that animals are capable of forming propositions. Read seems to regard them as fictions, but I take them to be brain events. |
11240 | The notion of analytic truth is absent in Aristotle [Aristotle, by Politis] |
Full Idea: The notion of analytic truth is conspicuously absent in Aristotle. | |
From: report of Aristotle (works [c.330 BCE]) by Vassilis Politis - Aristotle and the Metaphysics 1.5 | |
A reaction: Cf. Idea 11239. |
6559 | Aristotle never actually says that man is a rational animal [Aristotle, by Fogelin] |
Full Idea: To the best of my knowledge (and somewhat to my surprise), Aristotle never actually says that man is a rational animal; however, he all but says it. | |
From: report of Aristotle (works [c.330 BCE]) by Robert Fogelin - Walking the Tightrope of Reason Ch.1 | |
A reaction: When I read this I thought that this database would prove Fogelin wrong, but it actually supports him, as I can't find it in Aristotle either. Descartes refers to it in Med.Two. In Idea 5133 Aristotle does say that man is a 'social being'. But 22586! |
3015 | The virtue of man is thoughtful foresight of future events [Chilo, by Diog. Laertius] |
Full Idea: A foresight of future events, such as could be arrived at by consideration, is the virtue of man. | |
From: report of Chilo (poems (frags) [c.490 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 01.4.1 |
11150 | It is the mark of an educated mind to be able to entertain an idea without accepting it [Aristotle] |
Full Idea: It is the mark of an educated mind to be able to entertain an idea without accepting it. | |
From: Aristotle (works [c.330 BCE]) | |
A reaction: The epigraph on a David Chalmers website. A wonderful remark, and it should be on the wall of every beginners' philosophy class. However, while it is in the spirit of Aristotle, it appears to be a misattribution with no ancient provenance. |
3037 | Aristotle said the educated were superior to the uneducated as the living are to the dead [Aristotle, by Diog. Laertius] |
Full Idea: Aristotle was asked how much educated men were superior to those uneducated; "As much," he said, "as the living are to the dead." | |
From: report of Aristotle (works [c.330 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 05.1.11 |
8660 | There are potential infinities (never running out), but actual infinity is incoherent [Aristotle, by Friend] |
Full Idea: Aristotle developed his own distinction between potential infinity (never running out) and actual infinity (there being a collection of an actual infinite number of things, such as places, times, objects). He decided that actual infinity was incoherent. | |
From: report of Aristotle (works [c.330 BCE]) by Michèle Friend - Introducing the Philosophy of Mathematics 1.3 | |
A reaction: Friend argues, plausibly, that this won't do, since potential infinity doesn't make much sense if there is not an actual infinity of things to supply the demand. It seems to just illustrate how boggling and uncongenial infinity was to Aristotle. |
12058 | Aristotle's matter can become any other kind of matter [Aristotle, by Wiggins] |
Full Idea: Aristotle's conception of matter permits any kind of matter to become any other kind of matter. | |
From: report of Aristotle (works [c.330 BCE]) by David Wiggins - Substance 4.11.2 | |
A reaction: This is obviously crucial background information when we read Aristotle on matter. Our 92+ elements, and fixed fundamental particles, gives a quite different picture. Aristotle would discuss form and matter quite differently now. |
22729 | The concepts of gods arose from observing the soul, and the cosmos [Aristotle, by Sext.Empiricus] |
Full Idea: Aristotle said that the conception of gods arose among mankind from two originating causes, namely from events which concern the soul and from celestial phenomena. | |
From: report of Aristotle (works [c.330 BCE], Frag 10) by Sextus Empiricus - Against the Physicists (two books) I.20 | |
A reaction: The cosmos suggests order, and possible creation. What do events of the soul suggest? It doesn't seem to be its non-physical nature, because Aristotle is more of a functionalist. Puzzling. (It says later that gods are like the soul). |