92 ideas
14456 | 'Socrates is human' expresses predication, and 'Socrates is a man' expresses identity [Russell] |
22223 | Being-in-the-world is projection to possibilities, thrownness among them, and fallenness within them [Heidegger, by Caputo] |
22158 | Pheomenology seeks things themselves, without empty theories, problems and concepts [Heidegger] |
15574 | 'Logos' really means 'making something manifest' [Heidegger, by Polt] |
14426 | A definition by 'extension' enumerates items, and one by 'intension' gives a defining property [Russell] |
8468 | The sentence 'procrastination drinks quadruplicity' is meaningless, rather than false [Russell, by Orenstein] |
16005 | I recognise knowledge, but it is the truth by which I can live and die that really matters [Kierkegaard] |
15569 | Heidegger says truth is historical, and never absolute [Heidegger, by Polt] |
14454 | An argument 'satisfies' a function φx if φa is true [Russell] |
14453 | The Darapti syllogism is fallacious: All M is S, all M is P, so some S is P' - but if there is no M? [Russell] |
14427 | We can enumerate finite classes, but an intensional definition is needed for infinite classes [Russell] |
14428 | Members define a unique class, whereas defining characteristics are numerous [Russell] |
14447 | Infinity says 'for any inductive cardinal, there is a class having that many terms' [Russell] |
14440 | We may assume that there are infinite collections, as there is no logical reason against them [Russell] |
14443 | The British parliament has one representative selected from each constituency [Russell] |
14445 | Choice shows that if any two cardinals are not equal, one must be the greater [Russell] |
14444 | Choice is equivalent to the proposition that every class is well-ordered [Russell] |
14446 | We can pick all the right or left boots, but socks need Choice to insure the representative class [Russell] |
14459 | Reducibility: a family of functions is equivalent to a single type of function [Russell] |
14461 | Propositions about classes can be reduced to propositions about their defining functions [Russell] |
8469 | Russell's proposal was that only meaningful predicates have sets as their extensions [Russell, by Orenstein] |
8745 | Classes are logical fictions, and are not part of the ultimate furniture of the world [Russell] |
14452 | All the propositions of logic are completely general [Russell] |
14462 | In modern times, logic has become mathematical, and mathematics has become logical [Russell] |
10057 | Logic can only assert hypothetical existence [Russell] |
12444 | Logic is concerned with the real world just as truly as zoology [Russell] |
14464 | Logic can be known a priori, without study of the actual world [Russell] |
14458 | Asking 'Did Homer exist?' is employing an abbreviated description [Russell] |
10450 | Russell admitted that even names could also be used as descriptions [Russell, by Bach] |
14457 | Names are really descriptions, except for a few words like 'this' and 'that' [Russell] |
7311 | The only genuine proper names are 'this' and 'that' [Russell] |
14455 | 'I met a unicorn' is meaningful, and so is 'unicorn', but 'a unicorn' is not [Russell] |
14442 | If straight lines were like ratios they might intersect at a 'gap', and have no point in common [Russell] |
14438 | New numbers solve problems: negatives for subtraction, fractions for division, complex for equations [Russell] |
13510 | Could a number just be something which occurs in a progression? [Russell, by Hart,WD] |
14436 | A series can be 'Cut' in two, where the lower class has no maximum, the upper no minimum [Russell] |
14439 | A complex number is simply an ordered couple of real numbers [Russell] |
14421 | Discovering that 1 is a number was difficult [Russell] |
14424 | Numbers are needed for counting, so they need a meaning, and not just formal properties [Russell] |
14441 | The formal laws of arithmetic are the Commutative, the Associative and the Distributive [Russell] |
14420 | Infinity and continuity used to be philosophy, but are now mathematics [Russell] |
14431 | The definition of order needs a transitive relation, to leap over infinite intermediate terms [Russell] |
14422 | Any founded, non-repeating series all reachable in steps will satisfy Peano's axioms [Russell] |
14423 | '0', 'number' and 'successor' cannot be defined by Peano's axioms [Russell] |
14425 | A number is something which characterises collections of the same size [Russell] |
14434 | What matters is the logical interrelation of mathematical terms, not their intrinsic nature [Russell] |
14465 | Maybe numbers are adjectives, since 'ten men' grammatically resembles 'white men' [Russell] |
13414 | For Russell, numbers are sets of equivalent sets [Russell, by Benacerraf] |
14449 | There is always something psychological about inference [Russell] |
14463 | Existence can only be asserted of something described, not of something named [Russell] |
21897 | Reducing being to the study of beings too readily accepts the modern scientific view [Heidegger, by May] |
15573 | For us, Being is constituted by awareness of other sorts of Being [Heidegger] |
9273 | Heidegger turns to 'Being' to affirm the uniqueness of humans in the world [Heidegger, by Gray] |
22157 | Dasein is a mode of Being distinguished by concern for its own Being [Heidegger] |
8137 | Dasein is ahead of itself in the world, and alongside encountered entities [Heidegger] |
21951 | In company with others one's Dasein dissolves, and even the others themselves dissolve [Heidegger] |
20745 | 'Dasein' expresses not 'what' the entity is, but its being [Heidegger] |
8134 | The word 'dasein' is used to mean 'the manner of Being which man possesses', and also the human creature [Heidegger, by Cooper,DE] |
8135 | 'Dasein' is Being which is laid claim to, and which matters to its owner [Heidegger, by Cooper,DE] |
21948 | Dasein is being which can understand itself, and possess itself in a way allowing authenticity [Heidegger] |
7680 | Ontology is possible only as phenomenology [Heidegger] |
22161 | Readiness-to-hand defines things in themselves ontologically [Heidegger] |
14429 | Classes are logical fictions, made from defining characteristics [Russell] |
14430 | If a relation is symmetrical and transitive, it has to be reflexive [Russell] |
14432 | 'Asymmetry' is incompatible with its converse; a is husband of b, so b can't be husband of a [Russell] |
15576 | Heidegger seeks a non-traditional concept of essence as 'essential unfolding' [Heidegger, by Polt] |
14435 | The essence of individuality is beyond description, and hence irrelevant to science [Russell] |
12197 | Inferring q from p only needs p to be true, and 'not-p or q' to be true [Russell] |
14450 | All forms of implication are expressible as truth-functions [Russell] |
14460 | If something is true in all possible worlds then it is logically necessary [Russell] |
15578 | Propositions don't provide understanding, because the understanding must come first [Heidegger, by Polt] |
22159 | If we posit 'I' as the starting point, we miss the mind's phenomenal content [Heidegger] |
22160 | Our relationship to a hammer strengthens when we use [Heidegger] |
15580 | There are no raw sense-data - our experiences are of the sound or colour of something [Heidegger] |
20749 | Perceived objects always appear in a context [Heidegger] |
22163 | The scandal of philosophy is expecting to prove reality when the prover's Being is vague [Heidegger] |
14433 | Mathematically expressed propositions are true of the world, but how to interpret them? [Russell] |
21949 | Having thoughts and feelings need engagement in the world [Heidegger, by Wrathall] |
22222 | Dasein finds itself already amongst others [Heidegger, by Caputo] |
8136 | If we work and play with other people, they are bound to be 'Dasein', intelligent agents [Heidegger, by Cooper,DE] |
22164 | When Dasein grasps something it exists externally alongside the thing [Heidegger] |
22162 | There is an everyday self, and an authentic self, when it is grasped in its own way [Heidegger] |
20114 | Everyone is other, and no one is himself [Heidegger] |
15577 | Moods are more fundamentally revealing than theories - as when fear reveals a threat [Heidegger, by Polt] |
14451 | Propositions are mainly verbal expressions of true or false, and perhaps also symbolic thoughts [Russell] |
20748 | We do not add value to naked things; its involvement is disclosed in understanding it [Heidegger] |
22166 | Dasein has the potential to be itself, but must be shown this in the midst of ordinariness [Heidegger] |
22165 | Anxiety reveals the possibility and individuality of Dasein [Heidegger] |
21952 | Anxiety about death frees me to live my own life [Heidegger, by Wrathall] |
22224 | Anxiety is the uncanniness felt when constantly fleeing from asserting one's own freedom [Heidegger, by Caputo] |
15572 | Being what it is (essentia) must be conceived in terms of Being (existence) [Heidegger] |
20453 | Heidegger says we must either choose an inauthentic hero, or choose yourself as hero [Heidegger, by Critchley] |