31 ideas
| 9108 | From an impossibility anything follows [William of Ockham] |
| Full Idea: From an impossibility anything follows ('quod ex impossibili sequitur quodlibet'). | |
| From: William of Ockham (Summa totius logicae [1323], III.c.xxxvi) | |
| A reaction: The hallmark of a true logician, I suspect, is that this opinion is really meaningful and important to them. They yearn to follow the logic wherever it leads. Common sense would seem to say that absolutely nothing follows from an impossibility. |
| 20320 | Truth is what unites, and the profound truths create a community [Jaspers] |
| Full Idea: Truth is what unites. ...[p.145] The most profound truth is that which all men might understand so as to form one community. | |
| From: Karl Jaspers (Philosophy [1932], vol.2) | |
| A reaction: Nice slogan, for robust realists like me. The hallmark of truth is our convergence on it. This is a 20th century existentialist perfectly expounding the enlightenment dream. The best rhetoric is truthful rhetoric. |
| 9107 | A proposition is true if its subject and predicate stand for the same thing [William of Ockham] |
| Full Idea: If in the proposition 'This is an angel' subject and predicate stand for the same thing, the proposition is true. | |
| From: William of Ockham (Summa totius logicae [1323], II.c.ii) | |
| A reaction: An interesting statement of what looks like a correspondence theory, employing the idea that both the subject and the predicate have a reference. I think Frege would say that 'x is an angel' is unsaturated, and so lacks reference. |
| 16300 | Ockham had an early axiomatic account of truth [William of Ockham, by Halbach] |
| Full Idea: Theories structurally very similar to axiomatic compositional theories of truth can be found in Ockham's 'Summa Logicae'. | |
| From: report of William of Ockham (Summa totius logicae [1323]) by Volker Halbach - Axiomatic Theories of Truth 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. |
| 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. |
| 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 |
| 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 |
| 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. |
| 9106 | The word 'every' only signifies when added to a term such as 'man', referring to all men [William of Ockham] |
| Full Idea: The syncategorematic word 'every' does not signify any fixed thing, but when added to 'man' it makes the term 'man' stand for all men actually. | |
| From: William of Ockham (Summa totius logicae [1323], I.c.iv) | |
| A reaction: Although quantifiers may have become a part of formal logic with Frege, their importance is seen from Aristotle onwards, and it is clearly a key part of William's understanding of logic. |
| 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...' |
| 9113 | Just as unity is not a property of a single thing, so numbers are not properties of many things [William of Ockham] |
| Full Idea: Number is nothing but the actual numbered things themselves. Hence just as unity is not an accident added to the thing which is one, so number is not an accident of the things which are numbered. | |
| From: William of Ockham (Summa totius logicae [1323], I.c.xliv) | |
| A reaction: [William does not necessarily agree with this view] It strikes me as a key point here that any account of the numbers had better work for 'one', though 'zero' might be treated differently. Some people seem to think unity is a property of things. |
| 9110 | The words 'thing' and 'to be' assert the same idea, as a noun and as a verb [William of Ockham] |
| Full Idea: The words 'thing' and 'to be' (esse) signify one and the same thing, but the one in the manner of a noun and the other in the manner of a verb. | |
| From: William of Ockham (Summa totius logicae [1323], III,II,c,xxvii) | |
| A reaction: Well said - as you would expect from a thoroughgoing nominalist. I would have thought that this was the last word on the subject of Being, thus rendering any need for me to read Heidegger quite superfluous. Or am I missing something? |
| 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'. |
| 15388 | Universals are single things, and only universal in what they signify [William of Ockham] |
| Full Idea: Every universal is one particular thing and it is not a universal except in its signification, in its signifying many thing. | |
| From: William of Ockham (Summa totius logicae [1323]), quoted by Claude Panaccio - Medieval Problem of Universals 'William' | |
| A reaction: Sounds as if William might have liked tropes. It seems to leave the problem unanswered (the 'ostrich' problem?). How are they able to signify in this universal way, if each thing is just distinct and particular? |
| 9109 | If essence and existence were two things, one could exist without the other, which is impossible [William of Ockham] |
| Full Idea: If essence and existence were two things, then no contradiction would be involved if God preserved the essence of a thing in the world without its existence, or vice versa, its existence without its essence; both of which are impossible. | |
| From: William of Ockham (Summa totius logicae [1323], III,II,c,xxvii) | |
| A reaction: Not that William is using the concept of a supreme mind as a tool in argument. His denial of essence as something separable is presumably his denial of the Aristotelian view of universals, as well as of the Platonic view. |
| 20323 | Freedom needs knowledge, the possibility of arbitrariness, and law [Jaspers] |
| Full Idea: Without knowledge there is no freedom ....and without an arbitrary act there is no freedom, ....and there is no freedom without law. | |
| From: Karl Jaspers (Philosophy [1932], vol.2) | |
| A reaction: He emphasises that an arbitrary act is not a free act, but it is a precondition for being free. The submission to law is active freedom. If you believe in education (and you should) you must believe that knowledge is liberating. |
| 20322 | I am aware that freedom is possible, and the freedom is not in theory, but in seeking freedom [Jaspers] |
| Full Idea: Either there is no freedom or it is in asking about it. But what makes me ask is an original will to be free, so my freedom is anticipated in the fact of asking. I cannot prove it first, then will it. I will it because I am conscious of its possibility. | |
| From: Karl Jaspers (Philosophy [1932], vol.2) | |
| A reaction: This presents the subjective claims for free will rather more persuasively than usual. I am conscious of a possibility that I might flap my arms and fly, so that doesn't establish anything. But yearning to be free is a sort of freedom. |
| 9105 | Some concepts for propositions exist only in the mind, and in no language [William of Ockham] |
| Full Idea: Conceptual terms and the propositions formed by them are those mental words which do not belong to any language; they remain only in the mind and cannot be uttered exteriorly, though signs subordinated to these can be exteriorly uttered. | |
| From: William of Ockham (Summa totius logicae [1323], I.c.i) | |
| A reaction: [He cites Augustine] A glimmer of the idea of Mentalese, and is probably an integral part of any commitment to propositions. Quine would hate it, but I like it. Logicians seem to dislike anything that cannot be articulated, but brains are like that. |
| 20324 | My freedom increases as I broaden my vision of possiblities and motives [Jaspers] |
| Full Idea: I become free by incessantly broadening my worldly orientation, by limitlessly visualising premises and possibilities of action, and by allowing all motives to speak to me. ...The more the totality determines my vision the freer I know I am. | |
| From: Karl Jaspers (Philosophy [1932], vol.2) | |
| A reaction: This matches my naturalistic view of responsibility for actions, which are those performed by the 'full' and knowing self. I note that freedom comes in degrees for him, so he presumably don't believe in absolute freedom. It is wholly subjective. |
| 20318 | My helplessness in philosophising reveals my being, and begins its upsurge [Jaspers] |
| Full Idea: Philosophising, not knowing, brings me to myself. The helplessness to which philosophising reduces me when I doubt its origin is an expressions of the helplessness of my self-being, and the reality of philosophising is the incipient upsurge of that being. | |
| From: Karl Jaspers (Philosophy [1932], vol.2) | |
| A reaction: I like the sound of 'philosophy as a way of life', and loosely aspire to it, but I'm still not sure what it means, other than a good way to pass the time. The idea that it leads to higher modes of being sounds a bit arrogant. But it is a good thing! |
| 20321 | The struggle for Existenz is between people who are equals, and are utterly honest [Jaspers] |
| Full Idea: The struggle for Existenz has to do with ...with utter candour, with the elimination of all kinds of power and superiority, with the other's self-being as well as with my own. | |
| From: Karl Jaspers (Philosophy [1932], vol.2) | |
| A reaction: This is reminiscent of Aristotle's conclusion that democracy is the society which is most conducive to true friendship. I like Jaspers's idea that existential enquiry is a team game. |
| 20325 | Once we grasp freedom 'from' things, then freedom 'for' things becomes urgent [Jaspers] |
| Full Idea: Once the question of 'freedom from what?' has been answered by shattering all objectivities, the question of 'freedom for what?' becomes all the more urgent. | |
| From: Karl Jaspers (Philosophy [1932], vol.2) | |
| A reaction: A quintessential existentialist idea, and its most appealing aspect. Message to all teenagers: don't get bogged down in what you are prevented from doing, but focus on what you can do. The first problem will melt away. (Unless you are in handcuffs....). |
| 20317 | Mundane existence is general, falling under universals, but Existens is unique to individuals [Jaspers] |
| Full Idea: Mundane being, the being we know, is general because it is generally valid for everyone. ...Existenz is never general, and thus not a case that might be subsumed as particular under a universal. | |
| From: Karl Jaspers (Philosophy [1932], vol.2) | |
| A reaction: I'm trying to visualise a mode of existence which would fulfil only me, answering to my unique nature, but it looks like a vain delusion. I may be a one-off combination, but I see all of my ingredients in various other people. |
| 20319 | We want the correct grasp on being that is neither solipsism nor absorption in the crowd [Jaspers] |
| Full Idea: We want our philosophising to illuminate the free, original, communicative grasp on being that will let us meet the constant threat of solipsism or universalism in existence. | |
| From: Karl Jaspers (Philosophy [1932], vol.2) | |
| A reaction: This sounds like the political wing of existentialism: the aim to get the right relationship between citizens - not too withdrawn, and not swallowed in the crowd. Liberal democracy, I should think. |
| 20315 | 'Existenz' is the potential being, which I could have, and ought to have [Jaspers] |
| Full Idea: There is the being which in the phenomenality of existence is not but can be, ought to be, and therefore decides in time whether it is in eternity. This being is myself as 'Existenz'. | |
| From: Karl Jaspers (Philosophy [1932], vol.2) | |
| A reaction: This is quintessentially existentialist, in its claim that my mode of being could be quite other than it is. Personally I aim to fulfil the being I've got. Play the cards you have been dealt. |
| 20316 | Every decision I make moves towards or away from fulfilled Existenz [Jaspers] |
| Full Idea: My Existenz, as a possibility, takes a step toward being or away from being, toward nothingness, in every choice or decision I make. | |
| From: Karl Jaspers (Philosophy [1932], vol.2) | |
| A reaction: The existential idea of action involves what you are, as well as what you do. There seems to be a paradox. My being is plastic, and can change enormously, so I should take responsibility for the change. But who is in charge of the changes? |