74 ideas
19693 | There is practical wisdom (for action), and theoretical wisdom (for deep understanding) [Aristotle, by Whitcomb] |
1575 | For Aristotle logos is essentially the ability to talk rationally about questions of value [Roochnik on Aristotle] |
1589 | Aristotle is the supreme optimist about the ability of logos to explain nature [Roochnik on Aristotle] |
8200 | Aristotelian definitions aim to give the essential properties of the thing defined [Aristotle, by Quine] |
4385 | Aristotelian definition involves first stating the genus, then the differentia of the thing [Aristotle, by Urmson] |
10859 | A set is 'well-ordered' if every subset has a first element [Clegg] |
10857 | Set theory made a closer study of infinity possible [Clegg] |
10864 | Any set can always generate a larger set - its powerset, of subsets [Clegg] |
10872 | Extensionality: Two sets are equal if and only if they have the same elements [Clegg] |
10875 | Pairing: For any two sets there exists a set to which they both belong [Clegg] |
10876 | Unions: There is a set of all the elements which belong to at least one set in a collection [Clegg] |
10878 | Infinity: There exists a set of the empty set and the successor of each element [Clegg] |
10877 | Powers: All the subsets of a given set form their own new powerset [Clegg] |
10879 | Choice: For every set a mechanism will choose one member of any non-empty subset [Clegg] |
10871 | Axiom of Existence: there exists at least one set [Clegg] |
10874 | Specification: a condition applied to a set will always produce a new set [Clegg] |
13282 | Aristotle relativises the notion of wholeness to different measures [Aristotle, by Koslicki] |
4730 | For Aristotle, the subject-predicate structure of Greek reflected a substance-accident structure of reality [Aristotle, by O'Grady] |
1618 | We study bound variables not to know reality, but to know what reality language asserts [Quine] |
8455 | Canonical notation needs quantification, variables and predicates, but not names [Quine, by Orenstein] |
8456 | Quine extended Russell's defining away of definite descriptions, to also define away names [Quine, by Orenstein] |
1611 | Names can be converted to descriptions, and Russell showed how to eliminate those [Quine] |
10880 | Mathematics can be 'pure' (unapplied), 'real' (physically grounded); or 'applied' (just applicable) [Clegg] |
10860 | An ordinal number is defined by the set that comes before it [Clegg] |
10861 | Beyond infinity cardinals and ordinals can come apart [Clegg] |
10854 | Transcendental numbers can't be fitted to finite equations [Clegg] |
10858 | By adding an axis of imaginary numbers, we get the useful 'number plane' instead of number line [Clegg] |
10853 | Either lack of zero made early mathematics geometrical, or the geometrical approach made zero meaningless [Clegg] |
10866 | Cantor's account of infinities has the shaky foundation of irrational numbers [Clegg] |
10869 | The Continuum Hypothesis is independent of the axioms of set theory [Clegg] |
10862 | The 'continuum hypothesis' says aleph-one is the cardinality of the reals [Clegg] |
1613 | Logicists cheerfully accept reference to bound variables and all sorts of abstract entities [Quine] |
1616 | Formalism says maths is built of meaningless notations; these build into rules which have meaning [Quine] |
1615 | Intuitionism says classes are invented, and abstract entities are constructed from specified ingredients [Quine] |
1614 | Conceptualism holds that there are universals but they are mind-made [Quine] |
10241 | For Quine, there is only one way to exist [Quine, by Shapiro] |
4064 | The idea of a thing and the idea of existence are two sides of the same coin [Quine, by Crane] |
19277 | Quine rests existence on bound variables, because he thinks singular terms can be analysed away [Quine, by Hale] |
12210 | Quine's ontology is wrong; his question is scientific, and his answer is partly philosophical [Fine,K on Quine] |
8496 | What actually exists does not, of course, depend on language [Quine] |
1610 | To be is to be the value of a variable, which amounts to being in the range of reference of a pronoun [Quine] |
8459 | Fictional quantification has no ontology, so we study ontology through scientific theories [Quine, by Orenstein] |
8497 | An ontology is like a scientific theory; we accept the simplest scheme that fits disorderly experiences [Quine] |
16261 | If commitment rests on first-order logic, we obviously lose the ontology concerning predication [Maudlin on Quine] |
7698 | If to be is to be the value of a variable, we must already know the values available [Jacquette on Quine] |
1612 | Realism, conceptualism and nominalism in medieval universals reappear in maths as logicism, intuitionism and formalism [Quine] |
15402 | There is no entity called 'redness', and that some things are red is ultimate and irreducible [Quine] |
4443 | Quine has argued that predicates do not have any ontological commitment [Quine, by Armstrong] |
8498 | Treating scattered sensations as single objects simplifies our understanding of experience [Quine] |
13276 | The unmoved mover and the soul show Aristotelian form as the ultimate mereological atom [Aristotle, by Koslicki] |
13277 | The 'form' is the recipe for building wholes of a particular kind [Aristotle, by Koslicki] |
8856 | Quine's indispensability argument said arguments for abstracta were a posteriori [Quine, by Yablo] |
12443 | Can an unactualized possible have self-identity, and be distinct from other possibles? [Quine] |
5991 | For Aristotle, knowledge is of causes, and is theoretical, practical or productive [Aristotle, by Code] |
18209 | We can never translate our whole language of objects into phenomenalism [Quine] |
11239 | The notion of a priori truth is absent in Aristotle [Aristotle, by Politis] |
23312 | Aristotle is a rationalist, but reason is slowly acquired through perception and experience [Aristotle, by Frede,M] |
16111 | Aristotle wants to fit common intuitions, and therefore uses language as a guide [Aristotle, by Gill,ML] |
16971 | Plato says sciences are unified around Forms; Aristotle says they're unified around substance [Aristotle, by Moravcsik] |
11243 | Aristotelian explanations are facts, while modern explanations depend on human conceptions [Aristotle, by Politis] |
3320 | Aristotle's standard analysis of species and genus involves specifying things in terms of something more general [Aristotle, by Benardete,JA] |
12000 | Aristotle regularly says that essential properties explain other significant properties [Aristotle, by Kung] |
23300 | Aristotle and the Stoics denied rationality to animals, while Platonists affirmed it [Aristotle, by Sorabji] |
1619 | There is an attempt to give a verificationist account of meaning, without the error of reducing everything to sensations [Dennett on Quine] |
1617 | The word 'meaning' is only useful when talking about significance or about synonymy [Quine] |
1609 | I do not believe there is some abstract entity called a 'meaning' which we can 'have' [Quine] |
19159 | Quine relates predicates to their objects, by being 'true of' them [Quine, by Davidson] |
11240 | The notion of analytic truth is absent in Aristotle [Aristotle, by Politis] |
6559 | Aristotle never actually says that man is a rational animal [Aristotle, by Fogelin] |
11150 | It is the mark of an educated mind to be able to entertain an idea without accepting it [Aristotle] |
3037 | Aristotle said the educated were superior to the uneducated as the living are to the dead [Aristotle, by Diog. Laertius] |
8660 | There are potential infinities (never running out), but actual infinity is incoherent [Aristotle, by Friend] |
12058 | Aristotle's matter can become any other kind of matter [Aristotle, by Wiggins] |
22729 | The concepts of gods arose from observing the soul, and the cosmos [Aristotle, by Sext.Empiricus] |