98 ideas
| 13860 | We can only learn from philosophers of the past if we accept the risk of major misrepresentation [Wright,C] |
| 21267 | Supposing many principles is superfluous if a few will do it [Aquinas] |
| 13883 | The best way to understand a philosophical idea is to defend it [Wright,C] |
| 10142 | The attempt to define numbers by contextual definition has been revived [Wright,C, by Fine,K] |
| 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] |
| 23173 | If a syllogism admits one absurdity, others must follow [Aquinas] |
| 9868 | An expression refers if it is a singular term in some true sentences [Wright,C, by Dummett] |
| 13861 | Number theory aims at the essence of natural numbers, giving their nature, and the epistemology [Wright,C] |
| 13892 | One could grasp numbers, and name sizes with them, without grasping ordering [Wright,C] |
| 13867 | Instances of a non-sortal concept can only be counted relative to a sortal concept [Wright,C] |
| 17441 | Wright thinks Hume's Principle is more fundamental to cardinals than the Peano Axioms are [Wright,C, by Heck] |
| 13862 | There are five Peano axioms, which can be expressed informally [Wright,C] |
| 17853 | Number truths are said to be the consequence of PA - but it needs semantic consequence [Wright,C] |
| 17854 | What facts underpin the truths of the Peano axioms? [Wright,C] |
| 13894 | Sameness of number is fundamental, not counting, despite children learning that first [Wright,C] |
| 10140 | We derive Hume's Law from Law V, then discard the latter in deriving arithmetic [Wright,C, by Fine,K] |
| 8692 | Frege has a good system if his 'number principle' replaces his basic law V [Wright,C, by Friend] |
| 17440 | Wright says Hume's Principle is analytic of cardinal numbers, like a definition [Wright,C, by Heck] |
| 13893 | It is 1-1 correlation of concepts, and not progression, which distinguishes natural number [Wright,C] |
| 13888 | If numbers are extensions, Frege must first solve the Caesar problem for extensions [Wright,C] |
| 13869 | Number platonism says that natural number is a sortal concept [Wright,C] |
| 13870 | We can't use empiricism to dismiss numbers, if numbers are our main evidence against empiricism [Wright,C] |
| 13873 | Treating numbers adjectivally is treating them as quantifiers [Wright,C] |
| 13899 | The Peano Axioms, and infinity of cardinal numbers, are logical consequences of how we explain cardinals [Wright,C] |
| 13896 | The aim is to follow Frege's strategy to derive the Peano Axioms, but without invoking classes [Wright,C] |
| 7804 | Wright has revived Frege's discredited logicism [Wright,C, by Benardete,JA] |
| 13863 | Logicism seemed to fail by Russell's paradox, Gödel's theorems, and non-logical axioms [Wright,C] |
| 13895 | The standard objections are Russell's Paradox, non-logical axioms, and Gödel's theorems [Wright,C] |
| 13884 | The idea that 'exist' has multiple senses is not coherent [Wright,C] |
| 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] |
| 13877 | Singular terms in true sentences must refer to objects; there is no further question about their existence [Wright,C] |
| 9878 | Contextually defined abstract terms genuinely refer to objects [Wright,C, by Dummett] |
| 13868 | Sortal concepts cannot require that things don't survive their loss, because of phase sortals [Wright,C] |
| 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] |
| 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] |
| 7413 | Without confidence in our beliefs, how should we actually live? [Tuck] |
| 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] |
| 13866 | A concept is only a sortal if it gives genuine identity [Wright,C] |
| 13865 | 'Sortal' concepts show kinds, use indefinite articles, and require grasping identities [Wright,C] |
| 13890 | Entities fall under a sortal concept if they can be used to explain identity statements concerning them [Wright,C] |
| 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] |
| 13898 | If we can establish directions from lines and parallelism, we were already committed to directions [Wright,C] |
| 9096 | The mind must produce by its own power an image of the individual species [Aquinas] |
| 13882 | A milder claim is that understanding requires some evidence of that understanding [Wright,C] |
| 13885 | If apparent reference can mislead, then so can apparent lack of reference [Wright,C] |
| 17857 | We can accept Frege's idea of object without assuming that predicates have a reference [Wright,C] |
| 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] |
| 23174 | Natural law is a rational creature's participation in eternal law [Aquinas] |
| 22114 | Tyrannical laws are irrational, and so not really laws [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] |