98 ideas
16606 | Original philosophers invariably seek inspiration from past thinkers [Pasnau] |
16604 | Philosophy consists of choosing between Plato, Aristotle and Democritus [Pasnau] |
16586 | The commentaries of Averroes were the leading guide to Aristotle [Pasnau] |
16568 | Modernity begins in the late 12th century, with Averroes's commentaries on Aristotle [Pasnau] |
16653 | Once accidents were seen as real, 'Categories' became the major text for ontology [Pasnau] |
16704 | In 1347, the Church effectively stopped philosophy for the next 300 years [Pasnau] |
16607 | Renaissance Platonism is peripheral [Pasnau] |
16715 | Plato only made an impact locally in 15th century Italy [Pasnau] |
16605 | After c.1450 all of Plato was available. Before that, only the first half of 'Timaeus' was known [Pasnau] |
16610 | Philosophy could easily have died in 17th century, if it weren't for Descartes [Pasnau] |
16781 | The 17th century is a metaphysical train wreck [Pasnau] |
16677 | Anti-Razor: if you can't account for a truth, keep positing things until you can [Pasnau] |
10987 | Three traditional names of rules are 'Simplification', 'Addition' and 'Disjunctive Syllogism' [Read] |
11004 | Necessity is provability in S4, and true in all worlds in S5 [Read] |
11018 | There are fuzzy predicates (and sets), and fuzzy quantifiers and modifiers [Read] |
11011 | Same say there are positive, negative and neuter free logics [Read] |
11020 | Realisms like the full Comprehension Principle, that all good concepts determine sets [Read] |
10986 | Not all validity is captured in first-order logic [Read] |
10972 | The non-emptiness of the domain is characteristic of classical logic [Read] |
11024 | Semantics must precede proof in higher-order logics, since they are incomplete [Read] |
10985 | We should exclude second-order logic, precisely because it captures arithmetic [Read] |
10970 | A theory of logical consequence is a conceptual analysis, and a set of validity techniques [Read] |
10984 | Logical consequence isn't just a matter of form; it depends on connections like round-square [Read] |
10973 | A theory is logically closed, which means infinite premisses [Read] |
11007 | Quantifiers are second-order predicates [Read] |
10978 | In second-order logic the higher-order variables range over all the properties of the objects [Read] |
10971 | A logical truth is the conclusion of a valid inference with no premisses [Read] |
10988 | Any first-order theory of sets is inadequate [Read] |
10975 | Compactness does not deny that an inference can have infinitely many premisses [Read] |
10974 | Compactness is when any consequence of infinite propositions is the consequence of a finite subset [Read] |
10977 | Compactness blocks the proof of 'for every n, A(n)' (as the proof would be infinite) [Read] |
10976 | Compactness makes consequence manageable, but restricts expressive power [Read] |
11014 | Self-reference paradoxes seem to arise only when falsity is involved [Read] |
11025 | Infinite cuts and successors seems to suggest an actual infinity there waiting for us [Read] |
10979 | Although second-order arithmetic is incomplete, it can fully model normal arithmetic [Read] |
10980 | Second-order arithmetic covers all properties, ensuring categoricity [Read] |
10997 | Von Neumann numbers are helpful, but don't correctly describe numbers [Read] |
16598 | Priority was a major topic of dispute for scholastics [Pasnau] |
16727 | In mixtures, the four elements ceased to exist, replaced by a mixed body with a form [Pasnau] |
11016 | Would a language without vagueness be usable at all? [Read] |
11019 | Supervaluations say there is a cut-off somewhere, but at no particular place [Read] |
11012 | A 'supervaluation' gives a proposition consistent truth-value for classical assignments [Read] |
11013 | Identities and the Indiscernibility of Identicals don't work with supervaluations [Read] |
16732 | 17th C qualities are either microphysical, or phenomenal, or powers [Pasnau] |
16733 | 17th century authors only recognised categorical properties, never dispositions [Pasnau] |
16662 | The biggest question for scholastics is whether properties are real, or modes of substances [Pasnau] |
16767 | There is no centralised power, but we still need essence for a metaphysical understanding [Pasnau] |
16788 | Instead of adding Aristotelian forms to physical stuff, one could add dispositions [Pasnau] |
16738 | Scholastics reject dispositions, because they are not actual, as forms require [Pasnau] |
17945 | Forms are not a theory of universals, but an attempt to explain how predication is possible [Nehamas] |
17946 | Only Tallness really is tall, and other inferior tall things merely participate in the tallness [Nehamas] |
16649 | Scholastics say there is a genuine thing if it is 'separable' [Pasnau] |
16785 | If you reject essences, questions of individuation become extremely difficult [Pasnau] |
16680 | Scholastics thought Quantity could be the principle of individuation [Pasnau] |
10995 | A haecceity is a set of individual properties, essential to each thing [Read] |
16617 | Corpuscularian critics of scholasticism say only substances exist [Pasnau] |
16628 | Corpuscularianism promised a decent account of substance [Pasnau] |
16741 | Scholastics wanted to treat Aristotelianism as physics, rather than as metaphysics [Pasnau] |
16777 | If crowds are things at all, they seem to be Substances, since they bear properties [Pasnau] |
16615 | Scholastics use 'substantia' for thick concrete entities, and for thin metaphysical ones [Pasnau] |
16775 | For corpuscularians, a substance is just its integral parts [Pasnau] |
16769 | If clay survives destruction of the statue, the statue wasn't a substance, but a mere accident [Pasnau] |
16602 | Corpuscularianism rejected not only form, but also the dependence of matter on form [Pasnau] |
16612 | Hylomorphism may not be a rival to science, but an abstract account of unity and endurance [Pasnau] |
16613 | Hylomorphism declined because scholastics made it into a testable physical theory [Pasnau] |
16747 | Scholastics made forms substantial, in a way unintended by Aristotle [Pasnau] |
16759 | Scholastics began to see substantial form more as Aristotle's 'efficient' cause [Pasnau] |
16748 | Aquinas says a substance has one form; Scotists say it has many forms [Pasnau] |
16671 | Scholastic Quantity either gives a body parts, or spreads them out in a unified way [Pasnau] |
16580 | A substrate may be 'prime matter', which endures through every change [Pasnau] |
16579 | There may be different types of substrate, or temporary substrates [Pasnau] |
16584 | If a substrate gives causal support for change, quite a lot of the ingredients must endure [Pasnau] |
16596 | A substratum can't be 'bare', because it has a job to do [Pasnau] |
16749 | Aristotelians deny that all necessary properties are essential [Pasnau] |
16694 | Typical successive things are time and motion [Pasnau] |
16583 | Weak ex nihilo says it all comes from something; strong version says the old must partly endure [Pasnau] |
11001 | Equating necessity with truth in every possible world is the S5 conception of necessity [Read] |
10989 | The standard view of conditionals is that they are truth-functional [Read] |
10992 | The point of conditionals is to show that one will accept modus ponens [Read] |
11017 | Some people even claim that conditionals do not express propositions [Read] |
10983 | Knowledge of possible worlds is not causal, but is an ontology entailed by semantics [Read] |
10982 | How can modal Platonists know the truth of a modal proposition? [Read] |
10996 | Actualism is reductionist (to parts of actuality), or moderate realist (accepting real abstractions) [Read] |
10981 | A possible world is a determination of the truth-values of all propositions of a domain [Read] |
11000 | If worlds are concrete, objects can't be present in more than one, and can only have counterparts [Read] |
17944 | 'Episteme' is better translated as 'understanding' than as 'knowledge' [Nehamas] |
16783 | Essences must explain, so we can infer them causally from the accidents [Pasnau] |
10998 | The mind abstracts ways things might be, which are nonetheless real [Read] |
11005 | Negative existentials with compositionality make the whole sentence meaningless [Read] |
10966 | A proposition objectifies what a sentence says, as indicative, with secure references [Read] |
16609 | Atomists say causation is mechanical collisions, and all true qualities are microscopic [Pasnau] |
16603 | In the 17th C matter became body, and was then studied by science [Pasnau] |
16592 | Atomism is the commonest version of corpuscularianism, but isn't required by it [Pasnau] |
16750 | If there are just arrangements of corpuscles, where are the boundaries between substances? [Pasnau] |
16722 | Scholastic causation is by changes in the primary qualities of hot, cold, wet, dry [Pasnau] |
16760 | Substantial forms were a step towards scientific essentialism [Pasnau] |
16581 | Scholastic authors agree that matter was created by God, out of nothing [Pasnau] |
16642 | Transubstantion says accidents of bread and wine don't inhere in the substance [Pasnau] |