36 ideas
11147 | Naturalistic philosophers oppose analysis, preferring explanation to a priori intuition [Margolis/Laurence] |
8623 | Proof reveals the interdependence of truths, as well as showing their certainty [Euclid, by Frege] |
13907 | If you pick an arbitrary triangle, things proved of it are true of all triangles [Euclid, by Lemmon] |
6297 | Euclid's geometry is synthetic, but Descartes produced an analytic version of it [Euclid, by Resnik] |
9603 | An assumption that there is a largest prime leads to a contradiction [Euclid, by Brown,JR] |
9894 | A unit is that according to which each existing thing is said to be one [Euclid] |
8738 | Postulate 2 says a line can be extended continuously [Euclid, by Shapiro] |
22278 | Euclid relied on obvious properties in diagrams, as well as on his axioms [Potter on Euclid] |
8673 | Euclid's parallel postulate defines unique non-intersecting parallel lines [Euclid, by Friend] |
10250 | Euclid needs a principle of continuity, saying some lines must intersect [Shapiro on Euclid] |
10302 | Euclid says we can 'join' two points, but Hilbert says the straight line 'exists' [Euclid, by Bernays] |
14157 | Modern geometries only accept various parts of the Euclid propositions [Russell on Euclid] |
1600 | Euclid's common notions or axioms are what we must have if we are to learn anything at all [Euclid, by Roochnik] |
11141 | Modern empiricism tends to emphasise psychological connections, not semantic relations [Margolis/Laurence] |
11142 | Body-type seems to affect a mind's cognition and conceptual scheme [Margolis/Laurence] |
11121 | Language of thought has subject/predicate form and includes logical devices [Margolis/Laurence] |
11120 | Concepts are either representations, or abilities, or Fregean senses [Margolis/Laurence] |
11122 | A computer may have propositional attitudes without representations [Margolis/Laurence] |
11124 | Do mental representations just lead to a vicious regress of explanations [Margolis/Laurence] |
11123 | Maybe the concept CAT is just the ability to discriminate and infer about cats [Margolis/Laurence] |
11125 | The abilities view cannot explain the productivity of thought, or mental processes [Margolis/Laurence] |
11140 | Concept-structure explains typicality, categories, development, reference and composition [Margolis/Laurence] |
11128 | Classically, concepts give necessary and sufficient conditions for falling under them [Margolis/Laurence] |
11129 | The classical theory explains acquisition, categorization and reference [Margolis/Laurence] |
11130 | Typicality challenges the classical view; we see better fruit-prototypes in apples than in plums [Margolis/Laurence] |
11131 | It may be that our concepts (such as 'knowledge') have no definitional structure [Margolis/Laurence] |
11135 | Complex concepts have emergent properties not in the ingredient prototypes [Margolis/Laurence] |
11132 | The prototype theory is probabilistic, picking something out if it has sufficient of the properties [Margolis/Laurence] |
11136 | Many complex concepts obviously have no prototype [Margolis/Laurence] |
11134 | People don't just categorise by apparent similarities [Margolis/Laurence] |
11133 | Prototype theory categorises by computing the number of shared constituents [Margolis/Laurence] |
11137 | The theory theory of concepts says they are parts of theories, defined by their roles [Margolis/Laurence] |
11138 | The theory theory is holistic, so how can people have identical concepts? [Margolis/Laurence] |
11139 | Maybe concepts have no structure, and determined by relations to the world, not to other concepts [Margolis/Laurence] |
11146 | People can formulate new concepts which are only named later [Margolis/Laurence] |
1558 | Clearly the gods ignore human affairs, or they would have given us justice [Thrasymachus] |