117 ideas
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] |
18074 | Intuitionists rely on assertability instead of truth, but assertability relies on truth [Kitcher] |
6548 | Physicalism requires the naturalisation or rejection of set theory [Lycan] |
23173 | If a syllogism admits one absurdity, others must follow [Aquinas] |
6298 | Kitcher says maths is an idealisation of the world, and our operations in dealing with it [Kitcher, by Resnik] |
12392 | Mathematical a priorism is conceptualist, constructivist or realist [Kitcher] |
18078 | The interest or beauty of mathematics is when it uses current knowledge to advance undestanding [Kitcher] |
12426 | The 'beauty' or 'interest' of mathematics is just explanatory power [Kitcher] |
12395 | Real numbers stand to measurement as natural numbers stand to counting [Kitcher] |
12425 | Complex numbers were only accepted when a geometrical model for them was found [Kitcher] |
18071 | A one-operation is the segregation of a single object [Kitcher] |
18066 | The old view is that mathematics is useful in the world because it describes the world [Kitcher] |
18083 | With infinitesimals, you divide by the time, then set the time to zero [Kitcher] |
12393 | Intuition is no basis for securing a priori knowledge, because it is fallible [Kitcher] |
18061 | Mathematical intuition is not the type platonism needs [Kitcher] |
12420 | If mathematics comes through intuition, that is either inexplicable, or too subjective [Kitcher] |
12387 | Mathematical knowledge arises from basic perception [Kitcher] |
12412 | My constructivism is mathematics as an idealization of collecting and ordering objects [Kitcher] |
18065 | We derive limited mathematics from ordinary things, and erect powerful theories on their basis [Kitcher] |
18077 | The defenders of complex numbers had to show that they could be expressed in physical terms [Kitcher] |
12423 | Analyticity avoids abstract entities, but can there be truth without reference? [Kitcher] |
18069 | Arithmetic is an idealizing theory [Kitcher] |
18068 | Arithmetic is made true by the world, but is also made true by our constructions [Kitcher] |
18070 | We develop a language for correlations, and use it to perform higher level operations [Kitcher] |
18072 | Constructivism is ontological (that it is the work of an agent) and epistemological (knowable a priori) [Kitcher] |
18063 | Conceptualists say we know mathematics a priori by possessing mathematical concepts [Kitcher] |
18064 | If meaning makes mathematics true, you still need to say what the meanings refer to [Kitcher] |
15812 | Being implies distinctness, which implies division, unity, and multitude [Aquinas] |
6531 | Institutions are not reducible as types, but they are as tokens [Lycan] |
6532 | Types cannot be reduced, but levels of reduction are varied groupings of the same tokens [Lycan] |
6534 | One location may contain molecules, a metal strip, a key, an opener of doors, and a human tragedy [Lycan] |
21268 | Non-human things are explicable naturally, and voluntary things by the will, so God is not needed [Aquinas] |
6529 | I see the 'role'/'occupant' distinction as fundamental to metaphysics [Lycan] |
18067 | Abstract objects were a bad way of explaining the structure in mathematics [Kitcher] |
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] |
6549 | I think greenness is a complex microphysical property of green objects [Lycan] |
12390 | A priori knowledge comes from available a priori warrants that produce truth [Kitcher] |
21249 | Some things are self-evident to us; others are only self-evident in themselves [Aquinas] |
12418 | In long mathematical proofs we can't remember the original a priori basis [Kitcher] |
21250 | A proposition is self-evident if the predicate is included in the essence of the subject [Aquinas] |
12389 | Knowledge is a priori if the experience giving you the concepts thus gives you the knowledge [Kitcher] |
12416 | We have some self-knowledge a priori, such as knowledge of our own existence [Kitcher] |
20224 | Sensation prepares the way for intellectual knowledge, which needs the virtues of reason [Aquinas] |
12413 | A 'warrant' is a process which ensures that a true belief is knowledge [Kitcher] |
20473 | If experiential can defeat a belief, then its justification depends on the defeater's absence [Kitcher, by Casullo] |
6543 | Intentionality comes in degrees [Lycan] |
6537 | Teleological views allow for false intentional content, unlike causal and nomological theories [Lycan] |
6546 | Pain is composed of urges, desires, impulses etc, at different levels of abstraction [Lycan] |
6547 | The right 'level' for qualia is uncertain, though top (behaviourism) and bottom (particles) are false [Lycan] |
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] |
18075 | Idealisation trades off accuracy for simplicity, in varying degrees [Kitcher] |
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] |
6527 | If energy in the brain disappears into thin air, this breaches physical conservation laws [Lycan] |
6528 | In lower animals, psychology is continuous with chemistry, and humans are continuous with animals [Lycan] |
6554 | Two behaviourists meet. The first says,"You're fine; how am I?" [Lycan] |
6545 | If functionalism focuses on folk psychology, it ignores lower levels of function [Lycan] |
6541 | Functionalism must not be too abstract to allow inverted spectrum, or so structural that it becomes chauvinistic [Lycan] |
6539 | The distinction between software and hardware is not clear in computing [Lycan] |
6533 | Mental types are a subclass of teleological types at a high level of functional abstraction [Lycan] |
6535 | Teleological characterisations shade off smoothly into brutely physical ones [Lycan] |
6544 | Identity theory is functionalism, but located at the lowest level of abstraction [Lycan] |
6530 | We reduce the mind through homuncular groups, described abstractly by purpose [Lycan] |
6536 | Teleological functionalism helps us to understand psycho-biological laws [Lycan] |
6542 | A Martian may exhibit human-like behaviour while having very different sensations [Lycan] |
22108 | First grasp what it is, then its essential features; judgement is their compounding and division [Aquinas] |
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] |
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] |
22114 | Tyrannical laws are irrational, and so not really laws [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] |
6538 | We need a notion of teleology that comes in degrees [Lycan] |
16687 | Bodies are three-dimensional substances [Aquinas] |
6551 | 'Physical' means either figuring in physics descriptions, or just located in space-time [Lycan] |
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] |