47 ideas
20771 | Six parts: dialectic, rhetoric, ethics, politics, physics, theology [Cleanthes, by Diog. Laertius] |
Full Idea: Cleanthes says there are six parts: dialectic, rhetoric, ethics, politics, physics, and theology. | |
From: report of Cleanthes (fragments/reports [c.270 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 07.41 | |
A reaction: This was a minority view, as most stoics agreed with Zeno and Chrysippus that there are three main topics. Nowadays there is little discussion of the 'parts' of philosophy, but the recent revival of meta-philosophy should encourage it. |
23269 | Philosophy must start from clearly observed facts [Galen] |
Full Idea: True philosophers concern themselves first and foremost to take clearly observed facts as their point of departure. | |
From: Galen (The soul's dependence on the body [c.170], Kiv.11.817) | |
A reaction: I love this one, especially the desire that the facts be 'clearly observed'. That, thank goodness, eliminates quantum mechanics. If you don't love history and the physical sciences, you are not a philosopher. Oh, and reliable gossip. |
23248 | Early empiricists said reason was just a useless concept introduced by philosophers [Galen, by Frede,M] |
Full Idea: The so-called Empiricists in Hellenistic times [as cited by Galen] denied the existence of reason, treating it as a useless theoretical postulate introduced by some philosophers | |
From: report of Galen (An Outline of Empiricism [c.170], 87.4-9.28ff) by Michael Frede - Intro to 'Rationality in Greek Thought' p.3 | |
A reaction: I think 'be sensible' is understood by everyone, but 'use your reason' is far from obvious. The main role of reason seems to be as an identifier for human exceptionalism. Animals obviously make good judgements. Frede thinks the empiricists were right. |
10482 | The logic of ZF is classical first-order predicate logic with identity [Boolos] |
Full Idea: The logic of ZF Set Theory is classical first-order predicate logic with identity. | |
From: George Boolos (Must We Believe in Set Theory? [1997], p.121) | |
A reaction: This logic seems to be unable to deal with very large cardinals, precisely those that are implied by set theory, so there is some sort of major problem hovering here. Boolos is fairly neutral. |
10492 | A few axioms of set theory 'force themselves on us', but most of them don't [Boolos] |
Full Idea: Maybe the axioms of extensionality and the pair set axiom 'force themselves on us' (Gödel's phrase), but I am not convinced about the axioms of infinity, union, power or replacement. | |
From: George Boolos (Must We Believe in Set Theory? [1997], p.130) | |
A reaction: Boolos is perfectly happy with basic set theory, but rather dubious when very large cardinals come into the picture. |
18192 | Do the Replacement Axioms exceed the iterative conception of sets? [Boolos, by Maddy] |
Full Idea: For Boolos, the Replacement Axioms go beyond the iterative conception. | |
From: report of George Boolos (The iterative conception of Set [1971]) by Penelope Maddy - Naturalism in Mathematics I.3 |
7785 | The use of plurals doesn't commit us to sets; there do not exist individuals and collections [Boolos] |
Full Idea: We should abandon the idea that the use of plural forms commits us to the existence of sets/classes… Entities are not to be multiplied beyond necessity. There are not two sorts of things in the world, individuals and collections. | |
From: George Boolos (To be is to be the value of a variable.. [1984]), quoted by Henry Laycock - Object | |
A reaction: The problem of quantifying over sets is notoriously difficult. Try http://plato.stanford.edu/entries/object/index.html. |
10485 | Naïve sets are inconsistent: there is no set for things that do not belong to themselves [Boolos] |
Full Idea: The naïve view of set theory (that any zero or more things form a set) is natural, but inconsistent: the things that do not belong to themselves are some things that do not form a set. | |
From: George Boolos (Must We Believe in Set Theory? [1997], p.127) | |
A reaction: As clear a summary of Russell's Paradox as you could ever hope for. |
10484 | The iterative conception says sets are formed at stages; some are 'earlier', and must be formed first [Boolos] |
Full Idea: According to the iterative conception, every set is formed at some stage. There is a relation among stages, 'earlier than', which is transitive. A set is formed at a stage if and only if its members are all formed before that stage. | |
From: George Boolos (Must We Believe in Set Theory? [1997], p.126) | |
A reaction: He gives examples of the early stages, and says the conception is supposed to 'justify' Zermelo set theory. It is also supposed to make the axioms 'natural', rather than just being selected for convenience. And it is consistent. |
13547 | Limitation of Size is weak (Fs only collect is something the same size does) or strong (fewer Fs than objects) [Boolos, by Potter] |
Full Idea: Weak Limitation of Size: If there are no more Fs than Gs and the Gs form a collection, then Fs form a collection. Strong Limitation of Size: A property F fails to be collectivising iff there are as many Fs as there are objects. | |
From: report of George Boolos (Iteration Again [1989]) by Michael Potter - Set Theory and Its Philosophy 13.5 |
10699 | Does a bowl of Cheerios contain all its sets and subsets? [Boolos] |
Full Idea: Is there, in addition to the 200 Cheerios in a bowl, also a set of them all? And what about the vast number of subsets of Cheerios? It is haywire to think that when you have some Cheerios you are eating a set. What you are doing is: eating the Cheerios. | |
From: George Boolos (To be is to be the value of a variable.. [1984], p.72) | |
A reaction: In my case Boolos is preaching to the converted. I am particularly bewildered by someone (i.e. Quine) who believes that innumerable sets exist while 'having a taste for desert landscapes' in their ontology. |
14249 | Boolos reinterprets second-order logic as plural logic [Boolos, by Oliver/Smiley] |
Full Idea: Boolos's conception of plural logic is as a reinterpretation of second-order logic. | |
From: report of George Boolos (On Second-Order Logic [1975]) by Oliver,A/Smiley,T - What are Sets and What are they For? n5 | |
A reaction: Oliver and Smiley don't accept this view, and champion plural reference differently (as, I think, some kind of metalinguistic device?). |
10225 | Monadic second-order logic might be understood in terms of plural quantifiers [Boolos, by Shapiro] |
Full Idea: Boolos has proposed an alternative understanding of monadic, second-order logic, in terms of plural quantifiers, which many philosophers have found attractive. | |
From: report of George Boolos (To be is to be the value of a variable.. [1984]) by Stewart Shapiro - Philosophy of Mathematics 3.5 |
10830 | Second-order logic metatheory is set-theoretic, and second-order validity has set-theoretic problems [Boolos] |
Full Idea: The metatheory of second-order logic is hopelessly set-theoretic, and the notion of second-order validity possesses many if not all of the epistemic debilities of the notion of set-theoretic truth. | |
From: George Boolos (On Second-Order Logic [1975], p.45) | |
A reaction: Epistemic problems arise when a logic is incomplete, because some of the so-called truths cannot be proved, and hence may be unreachable. This idea indicates Boolos's motivation for developing a theory of plural quantification. |
10736 | Boolos showed how plural quantifiers can interpret monadic second-order logic [Boolos, by Linnebo] |
Full Idea: In an indisputable technical result, Boolos showed how plural quantifiers can be used to interpret monadic second-order logic. | |
From: report of George Boolos (To be is to be the value of a variable.. [1984], Intro) by Øystein Linnebo - Plural Quantification Exposed Intro |
10780 | Any sentence of monadic second-order logic can be translated into plural first-order logic [Boolos, by Linnebo] |
Full Idea: Boolos discovered that any sentence of monadic second-order logic can be translated into plural first-order logic. | |
From: report of George Boolos (To be is to be the value of a variable.. [1984], §1) by Øystein Linnebo - Plural Quantification Exposed p.74 |
10829 | A sentence can't be a truth of logic if it asserts the existence of certain sets [Boolos] |
Full Idea: One may be of the opinion that no sentence ought to be considered as a truth of logic if, no matter how it is interpreted, it asserts that there are sets of certain sorts. | |
From: George Boolos (On Second-Order Logic [1975], p.44) | |
A reaction: My intuition is that in no way should any proper logic assert the existence of anything at all. Presumably interpretations can assert the existence of numbers or sets, but we should be able to identify something which is 'pure' logic. Natural deduction? |
10697 | Identity is clearly a logical concept, and greatly enhances predicate calculus [Boolos] |
Full Idea: Indispensable to cross-reference, lacking distinctive content, and pervading thought and discourse, 'identity' is without question a logical concept. Adding it to predicate calculus significantly increases the number and variety of inferences possible. | |
From: George Boolos (To be is to be the value of a variable.. [1984], p.54) | |
A reaction: It is not at all clear to me that identity is a logical concept. Is 'existence' a logical concept? It seems to fit all of Boolos's criteria? I say that all he really means is that it is basic to thought, but I'm not sure it drives the reasoning process. |
10832 | '∀x x=x' only means 'everything is identical to itself' if the range of 'everything' is fixed [Boolos] |
Full Idea: One may say that '∀x x=x' means 'everything is identical to itself', but one must realise that one's answer has a determinate sense only if the reference (range) of 'everything' is fixed. | |
From: George Boolos (On Second-Order Logic [1975], p.46) | |
A reaction: This is the problem now discussed in the recent book 'Absolute Generality', of whether one can quantify without specifying a fixed or limited domain. |
13671 | Second-order quantifiers are just like plural quantifiers in ordinary language, with no extra ontology [Boolos, by Shapiro] |
Full Idea: Boolos proposes that second-order quantifiers be regarded as 'plural quantifiers' are in ordinary language, and has developed a semantics along those lines. In this way they introduce no new ontology. | |
From: report of George Boolos (To be is to be the value of a variable.. [1984]) by Stewart Shapiro - Foundations without Foundationalism 7 n32 | |
A reaction: This presumably has to treat simple predicates and relations as simply groups of objects, rather than having platonic existence, or something. |
10267 | We should understand second-order existential quantifiers as plural quantifiers [Boolos, by Shapiro] |
Full Idea: Standard second-order existential quantifiers pick out a class or a property, but Boolos suggests that they be understood as a plural quantifier, like 'there are objects' or 'there are people'. | |
From: report of George Boolos (To be is to be the value of a variable.. [1984]) by Stewart Shapiro - Philosophy of Mathematics 7.4 | |
A reaction: This idea has potential application to mathematics, and Lewis (1991, 1993) 'invokes it to develop an eliminative structuralism' (Shapiro). |
10698 | Plural forms have no more ontological commitment than to first-order objects [Boolos] |
Full Idea: Abandon the idea that use of plural forms must always be understood to commit one to the existence of sets of those things to which the corresponding singular forms apply. | |
From: George Boolos (To be is to be the value of a variable.. [1984], p.66) | |
A reaction: It seems to be an open question whether plural quantification is first- or second-order, but it looks as if it is a rewriting of the first-order. |
7806 | Boolos invented plural quantification [Boolos, by Benardete,JA] |
Full Idea: Boolos virtually patented the new device of plural quantification. | |
From: report of George Boolos (To be is to be the value of a variable.. [1984]) by José A. Benardete - Logic and Ontology | |
A reaction: This would be 'there are some things such that...' |
10834 | Weak completeness: if it is valid, it is provable. Strong: it is provable from a set of sentences [Boolos] |
Full Idea: A weak completeness theorem shows that a sentence is provable whenever it is valid; a strong theorem, that a sentence is provable from a set of sentences whenever it is a logical consequence of the set. | |
From: George Boolos (On Second-Order Logic [1975], p.52) | |
A reaction: So the weak version says |- φ → |= φ, and the strong versions says Γ |- φ → Γ |= φ. Presumably it is stronger if it can specify the source of the inference. |
13841 | Why should compactness be definitive of logic? [Boolos, by Hacking] |
Full Idea: Boolos asks why on earth compactness, whatever its virtues, should be definitive of logic itself. | |
From: report of George Boolos (On Second-Order Logic [1975]) by Ian Hacking - What is Logic? §13 |
10491 | Infinite natural numbers is as obvious as infinite sentences in English [Boolos] |
Full Idea: The existence of infinitely many natural numbers seems to me no more troubling than that of infinitely many computer programs or sentences of English. There is, for example, no longest sentence, since any number of 'very's can be inserted. | |
From: George Boolos (Must We Believe in Set Theory? [1997], p.129) | |
A reaction: If you really resisted an infinity of natural numbers, presumably you would also resist an actual infinity of 'very's. The fact that it is unclear what could ever stop a process doesn't guarantee that the process is actually endless. |
10483 | Mathematics and science do not require very high orders of infinity [Boolos] |
Full Idea: To the best of my knowledge nothing in mathematics or science requires the existence of very high orders of infinity. | |
From: George Boolos (Must We Believe in Set Theory? [1997], p.122) | |
A reaction: He is referring to particular high orders of infinity implied by set theory. Personally I want to wield Ockham's Razor. Is being implied by set theory a sufficient reason to accept such outrageous entities into our ontology? |
10833 | Many concepts can only be expressed by second-order logic [Boolos] |
Full Idea: The notions of infinity and countability can be characterized by second-order sentences, though not by first-order sentences (as compactness and Skolem-Löwenheim theorems show), .. as well as well-ordering, progression, ancestral and identity. | |
From: George Boolos (On Second-Order Logic [1975], p.48) |
10490 | Mathematics isn't surprising, given that we experience many objects as abstract [Boolos] |
Full Idea: It is no surprise that we should be able to reason mathematically about many of the things we experience, for they are already 'abstract'. | |
From: George Boolos (Must We Believe in Set Theory? [1997], p.129) | |
A reaction: He has just given a list of exemplary abstract objects (Idea 10489), but I think there is a more interesting idea here - that our experience of actual physical objects is to some extent abstract, as soon as it is conceptualised. |
10700 | First- and second-order quantifiers are two ways of referring to the same things [Boolos] |
Full Idea: Ontological commitment is carried by first-order quantifiers; a second-order quantifier needn't be taken to be a first-order quantifier in disguise, having special items, collections, as its range. They are two ways of referring to the same things. | |
From: George Boolos (To be is to be the value of a variable.. [1984], p.72) | |
A reaction: If second-order quantifiers are just a way of referring, then we can see first-order quantifiers that way too, so we could deny 'objects'. |
10488 | It is lunacy to think we only see ink-marks, and not word-types [Boolos] |
Full Idea: It's a kind of lunacy to think that sound scientific philosophy demands that we think that we see ink-tracks but not words, i.e. word-types. | |
From: George Boolos (Must We Believe in Set Theory? [1997], p.128) | |
A reaction: This seems to link him with Armstrong's mockery of 'ostrich nominalism'. There seems to be some ambiguity with the word 'see' in this disagreement. When we look at very ancient scratches on stones, why don't we always 'see' if it is words? |
10487 | I am a fan of abstract objects, and confident of their existence [Boolos] |
Full Idea: I am rather a fan of abstract objects, and confident of their existence. Smaller numbers, sets and functions don't offend my sense of reality. | |
From: George Boolos (Must We Believe in Set Theory? [1997], p.128) | |
A reaction: The great Boolos is rather hard to disagree with, but I disagree. Logicians love abstract objects, indeed they would almost be out of a job without them. It seems to me they smuggle them into our ontology by redefining either 'object' or 'exists'. |
10489 | We deal with abstract objects all the time: software, poems, mistakes, triangles.. [Boolos] |
Full Idea: We twentieth century city dwellers deal with abstract objects all the time, such as bank balances, radio programs, software, newspaper articles, poems, mistakes, triangles. | |
From: George Boolos (Must We Believe in Set Theory? [1997], p.129) | |
A reaction: I find this claim to be totally question-begging, and typical of a logician. The word 'object' gets horribly stretched in these discussions. We can create concepts which have all the logical properties of objects. Maybe they just 'subsist'? |
23266 | The spirit in the soul wants freedom, power and honour [Galen] |
Full Idea: The spirited part of the soul is desiderative of freedom, victory, power, authority, reputation, and honour. | |
From: Galen (The soul's dependence on the body [c.170], Kiv.2.772) | |
A reaction: This is the concept of 'thumos' [spirit], taken straight from Plato's tripartite account of the soul, in 'Republic'. Note that it includes a desire for freedom (in an age of slavery). |
6003 | Galen showed by experiment that the brain controls the body [Galen, by Hankinson] |
Full Idea: Galen established by experiments in neural anatomy that the brain really is, contra the Stoics and Aristotelians, the body's control centre. | |
From: report of Galen (On Hippocrates and Plato [c.170]) by R.J. Hankinson - Galen (damaged) | |
A reaction: And about time too. This is one of the most significant events in the development of human understanding. No one has been able to go back to the old view, even Descartes, no matter how much they may long to do so. |
23219 | Stopping the heart doesn't terminate activity; pressing the brain does that [Galen, by Cobb] |
Full Idea: Even when an animals heart was stopped [by hand] it continued its muted whimpers, …but when the brain was pressed the animal stopped making a noise and became unconscious. | |
From: report of Galen (The soul's dependence on the body [c.170]) by Matthew Cobb - The Idea of the Brain 1 | |
A reaction: It's not that the ancients didn't do science. It's that ancient people paid no attention to what their scientists discovered. |
21799 | We just use the word 'faculty' when we don't know the psychological cause [Galen] |
Full Idea: So long as we are ignorant of the true essence of the cause which is operating, we call it a 'faculty'. | |
From: Galen (On the Natural Faculties [c.170], I.iv), quoted by Dominik Perler - Intro to The Faculties: a History 2 | |
A reaction: This is probably the view of most modern neuroscientists. I want to defend the idea that we need the concept of a faculty in philosophy, even if the psychologists and neuroscientists say it is too vague for their purposes. |
23264 | Philosophers think faculties are in substances, and invent a faculty for every activity [Galen] |
Full Idea: Philosophers conceive of faculties as things which inhabit 'substances' much as we inhabit houses, not realising that causes of events are conceived in relational terms. We therefore attribute as many faculties to a substance as activities. | |
From: Galen (The soul's dependence on the body [c.170], Kiv.2.769) | |
A reaction: This seems to demolish speculative faculties, but they were revived during the Enlightenment. I am happy to talk of 'philosophical faculties' where they are presumed to originate a type of thought, without commitment to any neuroscience. |
6028 | Bodies interact with other bodies, and cuts cause pain, and shame causes blushing, so the soul is a body [Cleanthes, by Nemesius] |
Full Idea: Cleanthes says no incorporeal interacts with a body, but one body interacts with another body; the soul interacts with the body when it is sick and being cut, and the body feels shame and fear, and turns red or pale, so the soul is a body. | |
From: report of Cleanthes (fragments/reports [c.270 BCE]) by Nemesius - De Natura Hominis 78,7 | |
A reaction: This is precisely the interaction problem with dualism, or, as we might now say, the problem of mental causation. The standard Stoic view is that the soul is a sort of rarefied fire, which disperses at death. |
20831 | The soul suffers when the body hurts, creates redness from shame, and pallor from fear [Cleanthes] |
Full Idea: Nothing incorporeal shares an experience with a body …but the soul suffers with the body when it is ill and when it is cut, and the body suffers with the soul - when the soul is ashamed the body turns red, and pale when the soul is frightened. | |
From: Cleanthes (fragments/reports [c.270 BCE]), quoted by Nemesius - De Natura Hominis 2 | |
A reaction: Aha - my favourite example of the corporeal nature of the mind - blushing! It is the conscious content of the thought which brings blood to the cheeks. |
23220 | The brain contains memory and reason, and is the source of sensation and decision [Galen] |
Full Idea: The brain is the principal organ of the psychical members. For within the brain is seated memory, reason and intellect, and from the brain is distributed the power, sensation and voluntary motion. | |
From: Galen (The soul's dependence on the body [c.170]), quoted by Matthew Cobb - The Idea of the Brain 1 | |
A reaction: [not sure of ref] Interesting that he assigns the whole of mind to the brain, and not just some aspect of it. He had done experiments. Understanding the role of the brain was amazingly slow. Impeded by religion, I guess. |
23265 | The rational part of the soul is the desire for truth, understanding and recollection [Galen] |
Full Idea: That part of the soul which we call rational is desiderative: …it desires truth, knowledge, learning, understanding, and recollection - in short, all the good things. | |
From: Galen (The soul's dependence on the body [c.170], Kiv.2.772) | |
A reaction: Truth is no surprise, but recollection is. Note the separation of knowledge from understanding. This is a very good characterisation of rationality. For the Greeks it has a moral dimension, of wanting what is good. |
8693 | An 'abstraction principle' says two things are identical if they are 'equivalent' in some respect [Boolos] |
Full Idea: Hume's Principle has a structure Boolos calls an 'abstraction principle'. Within the scope of two universal quantifiers, a biconditional connects an identity between two things and an equivalence relation. It says we don't care about other differences. | |
From: George Boolos (Is Hume's Principle analytic? [1997]), quoted by Michèle Friend - Introducing the Philosophy of Mathematics 3.7 | |
A reaction: This seems to be the traditional principle of abstraction by ignoring some properties, but dressed up in the clothes of formal logic. Frege tries to eliminate psychology, but Boolos implies that what we 'care about' is relevant. |
7453 | Galen's medicine followed the mean; each illness was balanced by opposite treatment [Galen, by Hacking] |
Full Idea: Galen ran medicine on the principle of the mean; afflictions must be treated by contraries; hot diseases deserve cold medicine and moist illnesses want drying agents. (Paracelsus rebelled, treating through similarity). | |
From: report of Galen (On Medical Experience [c.169]) by Ian Hacking - The Emergence of Probability Ch.5 | |
A reaction: This must be inherited from Aristotle, with the aim of virtue for the body, as Aristotle wanted virtue for the psuché. In some areas Galen is probably right, that natural balance is the aim, as in bodily temperature control. |
6030 | Each part of the soul has its virtue - pleasure for appetite, success for competition, and rectitude for reason [Galen] |
Full Idea: We have by nature these three appropriate relationships, corresponding to each form of the soul's parts - to pleasure because of the appetitive part, to success because of the competitive part, and to rectitude because of the rational part. | |
From: Galen (On Hippocrates and Plato [c.170], 5.5.8) | |
A reaction: This is a nice combination of Plato's tripartite theory of soul (in 'Republic') and Aristotle's derivation of virtues from functions. Presumably, though, reason should master the other two, and there is nothing in Galen's idea to explain this. |
23268 | We execute irredeemable people, to protect ourselves, as a deterrent, and ending a bad life [Galen] |
Full Idea: We kill the irredeemably wicked, for three reasons: that they may no longer harm us; as a deterrent to others like them; and because it is actually better from their own point of view to die, when their souls are so damaged they cannot be improved. | |
From: Galen (The soul's dependence on the body [c.170], Kiv.11.816) | |
A reaction: The third one sounds like a dubious rationalisation, given that the prisoner probably disagrees. Nowadays we are not so quick to judge someone as irredeemable. The first one works when they run wild, but not after their capture. |
5993 | The ascending scale of living creatures requires a perfect being [Cleanthes, by Tieleman] |
Full Idea: Cleanthes tried to prove the existence of God, arguing that the ascending scale of living creatures requires there to be a perfect being. | |
From: report of Cleanthes (fragments/reports [c.270 BCE]) by Teun L. Tieleman - Cleanthes | |
A reaction: Not a very good argument. Even if you accept its basic claim, it is not clear what has to exist. A perfect tree? If the being transcends the physical (in order to achieve perfection), does it cease to be a 'being'? |