47 ideas
326 | For relaxation one can consider the world of change, instead of eternal things [Plato] |
315 | Philosophy is the supreme gift of the gods to mortals [Plato] |
22270 | Frege changed philosophy by extending logic's ability to check the grounds of thinking [Potter on Frege] |
8939 | We should not describe human laws of thought, but how to correctly track truth [Frege, by Fisher] |
306 | Nothing can come to be without a cause [Plato] |
4971 | I don't use 'subject' and 'predicate' in my way of representing a judgement [Frege] |
17745 | For Frege, 'All A's are B's' means that the concept A implies the concept B [Frege, by Walicki] |
7728 | Frege has a judgement stroke (vertical, asserting or judging) and a content stroke (horizontal, expressing) [Frege, by Weiner] |
16881 | The laws of logic are boundless, so we want the few whose power contains the others [Frege] |
7622 | In 1879 Frege developed second order logic [Frege, by Putnam] |
7729 | Frege replaced Aristotle's subject/predicate form with function/argument form [Frege, by Weiner] |
9950 | A quantifier is a second-level predicate (which explains how it contributes to truth-conditions) [Frege, by George/Velleman] |
9991 | For Frege the variable ranges over all objects [Frege, by Tait] |
10536 | Frege's domain for variables is all objects, but modern interpretations first fix the domain [Dummett on Frege] |
7730 | Frege introduced quantifiers for generality [Frege, by Weiner] |
7742 | Frege reduced most quantifiers to 'everything' combined with 'not' [Frege, by McCullogh] |
13824 | Proof theory began with Frege's definition of derivability [Frege, by Prawitz] |
13609 | Frege produced axioms for logic, though that does not now seem the natural basis for logic [Frege, by Kaplan] |
17855 | It may be possible to define induction in terms of the ancestral relation [Frege, by Wright,C] |
10607 | Frege's logic has a hierarchy of object, property, property-of-property etc. [Frege, by Smith,P] |
11008 | Existence is not a first-order property, but the instantiation of a property [Frege, by Read] |
324 | Before the existence of the world there must have been being, space and becoming [Plato] |
20364 | The apprehensions of reason remain unchanging, but reasonless sensation shows mere becoming [Plato] |
12042 | Plato's Forms were seen as part of physics, rather than of metaphysics [Plato, by Annas] |
307 | Something will always be well-made if the maker keeps in mind the eternal underlying pattern [Plato] |
318 | In addition to the underlying unchanging model and a changing copy of it, there must also be a foundation of all change [Plato] |
321 | For knowledge and true opinion to be different there must be Forms; otherwise we are just stuck with sensations [Plato] |
317 | The universe is basically an intelligible and unchanging model, and a visible and changing copy of it [Plato] |
16079 | De re modal predicates are ambiguous [Lewis, by Rudder Baker] |
334 | Only bird-brained people think astronomy is entirely a matter of evidence [Plato] |
5962 | Plato says the soul is ordered by number [Plato, by Plutarch] |
330 | No one wants to be bad, but bad men result from physical and educational failures, which they do not want or choose [Plato] |
22280 | Frege's account was top-down and decompositional, not bottom-up and compositional [Frege, by Potter] |
316 | Music has harmony like the soul, and serves to reorder disharmony within us [Plato] |
332 | One should exercise both the mind and the body, to avoid imbalance [Plato] |
328 | Everything that takes place naturally is pleasant [Plato] |
322 | Intelligence is the result of rational teaching; true opinion can result from irrational persuasion [Plato] |
331 | Bad governments prevent discussion, and discourage the study of virtue [Plato] |
311 | The cosmos must be unique, because it resembles the creator, who is unique [Plato] |
310 | The creator of the cosmos had no envy, and so wanted things to be as like himself as possible [Plato] |
325 | We must consider the four basic shapes as too small to see, only becoming visible in large numbers [Plato] |
327 | There are two types of cause, the necessary and the divine [Plato] |
314 | Heavenly movements gave us the idea of time, and caused us to inquire about the heavens [Plato] |
312 | Time came into existence with the heavens, so that there will be a time when they can be dissolved [Plato] |
309 | Clearly the world is good, so its maker must have been concerned with the eternal, not with change [Plato] |
308 | If the cosmos is an object of perception then it must be continually changing [Plato] |
7741 | The predicate 'exists' is actually a natural language expression for a quantifier [Frege, by Weiner] |