111 ideas
| 21267 | Supposing many principles is superfluous if a few will do it [Aquinas] |
| 9955 | Contextual definitions replace a complete sentence containing the expression [George/Velleman] |
| 10031 | Impredicative definitions quantify over the thing being defined [George/Velleman] |
| 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] |
| 10098 | The 'power set' of A is all the subsets of A [George/Velleman] |
| 10101 |
Cartesian Product A x B: the set of all ordered pairs |
| 10099 | The 'ordered pair' <a, b>, for two sets a and b, is the set {{a, b},{a}} [George/Velleman] |
| 10103 | Grouping by property is common in mathematics, usually using equivalence [George/Velleman] |
| 10104 | 'Equivalence' is a reflexive, symmetric and transitive relation; 'same first letter' partitions English words [George/Velleman] |
| 10096 | Even the elements of sets in ZFC are sets, resting on the pure empty set [George/Velleman] |
| 10097 | Axiom of Extensionality: for all sets x and y, if x and y have the same elements then x = y [George/Velleman] |
| 10100 | Axiom of Pairing: for all sets x and y, there is a set z containing just x and y [George/Velleman] |
| 17900 | The Axiom of Reducibility made impredicative definitions possible [George/Velleman] |
| 10109 | ZFC can prove that there is no set corresponding to the concept 'set' [George/Velleman] |
| 10108 | As a reduction of arithmetic, set theory is not fully general, and so not logical [George/Velleman] |
| 18739 | Three stages of philosophical logic: syntactic (1905-55), possible worlds (1963-85), widening (1990-) [Horsten/Pettigrew] |
| 23173 | If a syllogism admits one absurdity, others must follow [Aquinas] |
| 10111 | Asserting Excluded Middle is a hallmark of realism about the natural world [George/Velleman] |
| 18741 | Logical formalization makes concepts precise, and also shows their interrelation [Horsten/Pettigrew] |
| 10129 | A 'model' is a meaning-assignment which makes all the axioms true [George/Velleman] |
| 18744 | Models are sets with functions and relations, and truth built up from the components [Horsten/Pettigrew] |
| 10105 | Differences between isomorphic structures seem unimportant [George/Velleman] |
| 10126 | A 'consistent' theory cannot contain both a sentence and its negation [George/Velleman] |
| 10119 | Consistency is a purely syntactic property, unlike the semantic property of soundness [George/Velleman] |
| 10120 | Soundness is a semantic property, unlike the purely syntactic property of consistency [George/Velleman] |
| 10127 | A 'complete' theory contains either any sentence or its negation [George/Velleman] |
| 10106 | Rational numbers give answers to division problems with integers [George/Velleman] |
| 10102 | The integers are answers to subtraction problems involving natural numbers [George/Velleman] |
| 10107 | Real numbers provide answers to square root problems [George/Velleman] |
| 9946 | Logicists say mathematics is applicable because it is totally general [George/Velleman] |
| 10125 | The classical mathematician believes the real numbers form an actual set [George/Velleman] |
| 17899 | Second-order induction is stronger as it covers all concepts, not just first-order definable ones [George/Velleman] |
| 10128 | The Incompleteness proofs use arithmetic to talk about formal arithmetic [George/Velleman] |
| 17902 | A successor is the union of a set with its singleton [George/Velleman] |
| 10133 | Frege's Theorem shows the Peano Postulates can be derived from Hume's Principle [George/Velleman] |
| 10130 | Set theory can prove the Peano Postulates [George/Velleman] |
| 10089 | Talk of 'abstract entities' is more a label for the problem than a solution to it [George/Velleman] |
| 10131 | If mathematics is not about particulars, observing particulars must be irrelevant [George/Velleman] |
| 10092 | In the unramified theory of types, the types are objects, then sets of objects, sets of sets etc. [George/Velleman] |
| 10094 | The theory of types seems to rule out harmless sets as well as paradoxical ones. [George/Velleman] |
| 10095 | Type theory has only finitely many items at each level, which is a problem for mathematics [George/Velleman] |
| 17901 | Type theory prohibits (oddly) a set containing an individual and a set of individuals [George/Velleman] |
| 10114 | Bounded quantification is originally finitary, as conjunctions and disjunctions [George/Velleman] |
| 10134 | Much infinite mathematics can still be justified finitely [George/Velleman] |
| 10123 | The intuitionists are the idealists of mathematics [George/Velleman] |
| 10124 | Gödel's First Theorem suggests there are truths which are independent of proof [George/Velleman] |
| 18740 | If 'exist' doesn't express a property, we can hardly ask for its essence [Horsten/Pettigrew] |
| 15812 | Being implies distinctness, which implies division, unity, and multitude [Aquinas] |
| 21268 | Non-human things are explicable naturally, and voluntary things by the will, so God is not needed [Aquinas] |
| 16765 | Humans only have a single substantial form, which contains the others and acts for them [Aquinas] |
| 18745 | A Tarskian model can be seen as a possible state of affairs [Horsten/Pettigrew] |
| 18747 | The 'spheres model' was added to possible worlds, to cope with counterfactuals [Horsten/Pettigrew] |
| 18748 | Epistemic logic introduced impossible worlds [Horsten/Pettigrew] |
| 18746 | Possible worlds models contain sets of possible worlds; this is a large metaphysical commitment [Horsten/Pettigrew] |
| 18750 | Using possible worlds for knowledge and morality may be a step too far [Horsten/Pettigrew] |
| 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] |
| 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] |
| 20224 | Sensation prepares the way for intellectual knowledge, which needs the virtues of reason [Aquinas] |
| 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] |
| 10110 | Corresponding to every concept there is a class (some of them sets) [George/Velleman] |
| 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] |
| 23180 | The will is the rational appetite [Aquinas] |
| 22112 | For humans good is accordance with reason, and bad is contrary to reason [Aquinas] |
| 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] |
| 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] |
| 16687 | Bodies are three-dimensional substances [Aquinas] |
| 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] |
| 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] |
| 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] |
| 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] |