118 ideas
| 7990 | Serene wisdom is freedom from ties, and indifference to fortune [Anon (Bhag)] |
| 13466 | We are all post-Kantians, because he set the current agenda for philosophy [Hart,WD] |
| 13477 | The problems are the monuments of philosophy [Hart,WD] |
| 13515 | To study abstract problems, some knowledge of set theory is essential [Hart,WD] |
| 7989 | Seek salvation in the wisdom of reason [Anon (Bhag)] |
| 21267 | Supposing many principles is superfluous if a few will do it [Aquinas] |
| 23176 | Truth is universal, but knowledge of it is not [Aquinas] |
| 20621 | Types of lying: Speak lies, intend lies, intend deception, aim at deceptive goal? [Aquinas, by Tuckness/Wolf] |
| 21248 | If the existence of truth is denied, the 'Truth does not exist' must be true! [Aquinas] |
| 13469 | Tarski showed how we could have a correspondence theory of truth, without using 'facts' [Hart,WD] |
| 13504 | Truth for sentences is satisfaction of formulae; for sentences, either all sequences satisfy it (true) or none do [Hart,WD] |
| 13503 | A first-order language has an infinity of T-sentences, which cannot add up to a definition of truth [Hart,WD] |
| 13500 | Conditional Proof: infer a conditional, if the consequent can be deduced from the antecedent [Hart,WD] |
| 13502 | ∃y... is read as 'There exists an individual, call it y, such that...', and not 'There exists a y such that...' [Hart,WD] |
| 13456 | Set theory articulates the concept of order (through relations) [Hart,WD] |
| 13497 | Nowadays ZFC and NBG are the set theories; types are dead, and NF is only useful for the whole universe [Hart,WD] |
| 13443 | ∈ relates across layers, while ⊆ relates within layers [Hart,WD] |
| 13442 | Without the empty set we could not form a∩b without checking that a and b meet [Hart,WD] |
| 13493 | In the modern view, foundation is the heart of the way to do set theory [Hart,WD] |
| 13495 | Foundation Axiom: an nonempty set has a member disjoint from it [Hart,WD] |
| 13462 | With the Axiom of Choice every set can be well-ordered [Hart,WD] |
| 13461 | We can choose from finite and evident sets, but not from infinite opaque ones [Hart,WD] |
| 13516 | If we accept that V=L, it seems to settle all the open questions of set theory [Hart,WD] |
| 13441 | Naïve set theory has trouble with comprehension, the claim that every predicate has an extension [Hart,WD] |
| 13494 | The iterative conception may not be necessary, and may have fixed points or infinitely descending chains [Hart,WD] |
| 13460 | 'Well-ordering' must have a least member, so it does the natural numbers but not the integers [Hart,WD] |
| 13458 | A partial ordering becomes 'total' if any two members of its field are comparable [Hart,WD] |
| 13457 | A 'partial ordering' is irreflexive and transitive; the sets are ordered, but not the subsets [Hart,WD] |
| 13490 | Von Neumann defines α<β as α∈β [Hart,WD] |
| 13481 | Maybe sets should be rethought in terms of the even more basic categories [Hart,WD] |
| 23173 | If a syllogism admits one absurdity, others must follow [Aquinas] |
| 13506 | The universal quantifier can't really mean 'all', because there is no universal set [Hart,WD] |
| 13513 | Models are ways the world might be from a first-order point of view [Hart,WD] |
| 13505 | Model theory studies how set theory can model sets of sentences [Hart,WD] |
| 13511 | Model theory is mostly confined to first-order theories [Hart,WD] |
| 13512 | Modern model theory begins with the proof of Los's Conjecture in 1962 [Hart,WD] |
| 13496 | First-order logic is 'compact': consequences of a set are consequences of a finite subset [Hart,WD] |
| 13484 | Berry's Paradox: we succeed in referring to a number, with a term which says we can't do that [Hart,WD] |
| 13482 | The Burali-Forti paradox is a crisis for Cantor's ordinals [Hart,WD] |
| 13507 | The machinery used to solve the Liar can be rejigged to produce a new Liar [Hart,WD] |
| 13459 | The less-than relation < well-orders, and partially orders, and totally orders the ordinal numbers [Hart,WD] |
| 13463 | There are at least as many infinite cardinals as transfinite ordinals (because they will map) [Hart,WD] |
| 13491 | The axiom of infinity with separation gives a least limit ordinal ω [Hart,WD] |
| 13492 | Von Neumann's ordinals generalise into the transfinite better, because Zermelo's ω is a singleton [Hart,WD] |
| 13446 | 19th century arithmetization of analysis isolated the real numbers from geometry [Hart,WD] |
| 13509 | We can establish truths about infinite numbers by means of induction [Hart,WD] |
| 13474 | Euclid has a unique parallel, spherical geometry has none, and saddle geometry has several [Hart,WD] |
| 13471 | Mathematics makes existence claims, but philosophers usually say those are never analytic [Hart,WD] |
| 15812 | Being implies distinctness, which implies division, unity, and multitude [Aquinas] |
| 13488 | Mass words do not have plurals, or numerical adjectives, or use 'fewer' [Hart,WD] |
| 21268 | Non-human things are explicable naturally, and voluntary things by the will, so God is not needed [Aquinas] |
| 7996 | I am all the beauty and goodness of things, says Krishna [Anon (Bhag)] |
| 16765 | Humans only have a single substantial form, which contains the others and acts for them [Aquinas] |
| 23175 | The conclusions of speculative reason about necessities are certain [Aquinas] |
| 21337 | A knowing being possesses a further reality, the 'presence' of the thing known [Aquinas] |
| 13480 | Fregean self-evidence is an intrinsic property of basic truths, rules and definitions [Hart,WD] |
| 21249 | Some things are self-evident to us; others are only self-evident in themselves [Aquinas] |
| 21250 | A proposition is self-evident if the predicate is included in the essence of the subject [Aquinas] |
| 13476 | The failure of key assumptions in geometry, mereology and set theory throw doubt on the a priori [Hart,WD] |
| 20224 | Sensation prepares the way for intellectual knowledge, which needs the virtues of reason [Aquinas] |
| 7995 | In all living beings I am the light of consciousness, says Krishna [Anon (Bhag)] |
| 22107 | Sensations are transmitted to 'internal senses' in the brain, chiefly to 'phantasia' and 'imagination' [Aquinas, by Kretzmann/Stump] |
| 9098 | Mental activity combines what we sense with imagination of what is not present [Aquinas] |
| 9092 | Abstracting A from B generates truth, as long as the connection is not denied [Aquinas] |
| 9093 | We understand the general nature of things by ignoring individual peculiarities [Aquinas] |
| 9097 | The mind abstracts generalities from images, but also uses images for understanding [Aquinas] |
| 9095 | Very general ideas (being, oneness, potentiality) can be abstracted from thought matter in general [Aquinas] |
| 9099 | Particular instances come first, and (pace Plato) generalisations are abstracted from them [Aquinas] |
| 10508 | Species are abstracted from appearances by ignoring individual conditions [Aquinas] |
| 22111 | Aquinas attributes freedom to decisions and judgements, and not to the will alone [Aquinas, by Kretzmann/Stump] |
| 22105 | The human intellectual soul is an incorporeal, subsistent principle [Aquinas] |
| 22108 | First grasp what it is, then its essential features; judgement is their compounding and division [Aquinas] |
| 13475 | The Fregean concept of GREEN is a function assigning true to green things, and false to the rest [Hart,WD] |
| 10503 | We abstract forms from appearances, and acquire knowledge of immaterial things [Aquinas] |
| 10509 | Understanding consists entirely of grasping abstracted species [Aquinas] |
| 10506 | Mathematics can be abstracted from sensible matter, and from individual intelligible matter [Aquinas] |
| 9094 | Mathematical objects abstract both from perceived matter, and from particular substance [Aquinas] |
| 10505 | We can just think of an apple's colour, because the apple is not part of the colour's nature [Aquinas] |
| 10504 | Abstracting either treats something as separate, or thinks of it separately [Aquinas] |
| 10507 | Numbers and shapes are abstracted by ignoring their sensible qualities [Aquinas] |
| 9096 | The mind must produce by its own power an image of the individual species [Aquinas] |
| 7999 | All actions come from: body, lower self, perception, means of action, or Fate [Anon (Bhag)] |
| 23180 | The will is the rational appetite [Aquinas] |
| 22112 | For humans good is accordance with reason, and bad is contrary to reason [Aquinas] |
| 7991 | Hate and lust have their roots in man's lower nature [Anon (Bhag)] |
| 22494 | We must know the end, know that it is the end, and know how to attain it [Aquinas] |
| 23181 | All acts of virtue relate to justice, which is directed towards the common good [Aquinas] |
| 8009 | Aquinas wanted, not to escape desire, but to transform it for moral ends [Aquinas, by MacIntyre] |
| 23182 | Legal justice is supreme, because it directs the other virtues to the common good [Aquinas] |
| 22399 | Temperance prevents our passions from acting against reason [Aquinas] |
| 23177 | Justice directs our relations with others, because it denotes a kind of equality [Aquinas] |
| 23179 | People differ in their social degrees, and a particular type of right applies to each [Aquinas] |
| 22114 | Tyrannical laws are irrational, and so not really laws [Aquinas] |
| 23174 | Natural law is a rational creature's participation in eternal law [Aquinas] |
| 22113 | Right and wrong actions pertain to natural law, as perceived by practical reason [Aquinas] |
| 7988 | There is no greater good for a warrior than to fight in a just war [Anon (Bhag)] |
| 7291 | For Aquinas a war must be in a just cause, have proper authority, and aim at good [Aquinas, by Grayling] |
| 5508 | Aquinas says a fertilized egg is not human, and has no immortal soul [Aquinas, by Martin/Barresi] |
| 7992 | The visible forms of nature are earth, water, fire, air, ether; mind, reason, and the sense of 'I' [Anon (Bhag)] |
| 16687 | Bodies are three-dimensional substances [Aquinas] |
| 7994 | Everything, including the gods, comes from me, says Krishna [Anon (Bhag)] |
| 23178 | Divine law commands some things because they are good, while others are good because commanded [Aquinas] |
| 21251 | We can't know God's essence, so his existence can't be self-evident for us [Aquinas] |
| 5614 | If you assume that there must be a necessary being, you can't say which being has this quality [Kant on Aquinas] |
| 21269 | Way 1: the infinite chain of potential-to-actual movement has to have a first mover [Aquinas] |
| 21270 | Way 2: no effect without a cause, and this cannot go back to infinity, so there is First Cause [Aquinas] |
| 21271 | Way 3: contingent beings eventually vanish, so continuity needs a necessary being [Aquinas] |
| 21272 | Way 4: the source of all qualities is their maximum, so something (God) causes all perfections [Aquinas] |
| 21273 | Way 5: mindless things act towards an obvious end, so there is an intelligent director [Aquinas] |
| 7993 | Brahman is supreme, Atman his spirit in man, and Karma is the force of creation [Anon (Bhag)] |
| 20211 | Life aims at the Beatific Vision - of perfect happiness, and revealed truth [Aquinas, by Zagzebski] |
| 22106 | Aquinas saw angels as separated forms, rather than as made of 'spiritual matter' [Aquinas, by Kretzmann/Stump] |
| 7997 | Only by love can men see me, know me, and come to me, says Krishna [Anon (Bhag)] |
| 23306 | Humans have a non-physical faculty of reason, so they can be immortal [Aquinas, by Sorabji] |
| 4412 | Those in bliss have their happiness increased by seeing the damned punished [Aquinas] |
| 7998 | The three gates of hell are lust, anger and greed [Anon (Bhag)] |
| 21266 | God does not exist, because He is infinite and good, and so no evil should be discoverable [Aquinas] |
| 21274 | It is part of God's supreme goodness that He brings good even out of evil [Aquinas] |