30 ideas
5988 | Anaximander produced the first philosophy book (and maybe the first book) [Anaximander, by Bodnár] |
1496 | The earth is stationary, because it is in the centre, and has no more reason to move one way than another [Anaximander, by Aristotle] |
10041 | Impredicative Definitions refer to the totality to which the object itself belongs [Gödel] |
13985 | A true proposition seems true of one fact, but a false proposition seems true of nothing at all. [Ryle] |
13984 | Two maps might correspond to one another, but they are only 'true' of the country they show [Ryle] |
21716 | In simple type theory the axiom of Separation is better than Reducibility [Gödel, by Linsky,B] |
13979 | Logic studies consequence, compatibility, contradiction, corroboration, necessitation, grounding.... [Ryle] |
10035 | Mathematical Logic is a non-numerical branch of mathematics, and the supreme science [Gödel] |
10042 | Reference to a totality need not refer to a conjunction of all its elements [Gödel] |
10038 | A logical system needs a syntactical survey of all possible expressions [Gödel] |
10046 | The generalized Continuum Hypothesis asserts a discontinuity in cardinal numbers [Gödel] |
10039 | Some arithmetical problems require assumptions which transcend arithmetic [Gödel] |
10043 | Mathematical objects are as essential as physical objects are for perception [Gödel] |
10045 | Impredicative definitions are admitted into ordinary mathematics [Gödel] |
14874 | Anaximander saw the contradiction in the world - that its own qualities destroy it [Anaximander, by Nietzsche] |
13988 | Many sentences do not state facts, but there are no facts which could not be stated [Ryle] |
13983 | Representation assumes you know the ideas, and the reality, and the relation between the two [Ryle] |
13980 | If you like judgments and reject propositions, what are the relata of incoherence in a judgment? [Ryle] |
13978 | Husserl and Meinong wanted objective Meanings and Propositions, as subject-matter for Logic [Ryle] |
13977 | When I utter a sentence, listeners grasp both my meaning and my state of mind [Ryle] |
13976 | 'Propositions' name what is thought, because 'thoughts' and 'judgments' are too ambiguous [Ryle] |
13981 | Several people can believe one thing, or make the same mistake, or share one delusion [Ryle] |
13987 | We may think in French, but we don't know or believe in French [Ryle] |
13989 | There are no propositions; they are just sentences, used for thinking, which link to facts in a certain way [Ryle] |
13982 | If we accept true propositions, it is hard to reject false ones, and even nonsensical ones [Ryle] |
405 | The essential nature, whatever it is, of the non-limited is everlasting and ageless [Anaximander] |
13222 | The Boundless cannot exist on its own, and must have something contrary to it [Aristotle on Anaximander] |
404 | Things begin and end in the Unlimited, and are balanced over time according to justice [Anaximander] |
1495 | Anaximander introduced the idea that the first principle and element of things was the Boundless [Anaximander, by Simplicius] |
1746 | The parts of all things are susceptible to change, but the whole is unchangeable [Anaximander, by Diog. Laertius] |