40 ideas
13786 | Wisdom is called 'beautiful', because it performs fine works [Plato] |
13780 | Good people are no different from wise ones [Plato] |
19066 | Philosophy aims to understand the world, through ordinary experience and science [Dummett] |
13778 | A dialectician is someone who knows how to ask and to answer questions [Plato] |
10633 | 'Some critics admire only one another' cannot be paraphrased in singular first-order [Linnebo] |
19067 | A successful proof requires recognition of truth at every step [Dummett] |
13776 | Truths say of what is that it is, falsehoods say of what is that it is not [Plato] |
19060 | Truth-tables are dubious in some cases, and may be a bad way to explain connective meaning [Dummett] |
11066 | Deduction is justified by the semantics of its metalanguage [Dummett, by Hanna] |
10638 | A pure logic is wholly general, purely formal, and directly known [Linnebo] |
19058 | Syntactic consequence is positive, for validity; semantic version is negative, with counterexamples [Dummett] |
13777 | A name is a sort of tool [Plato] |
13790 | A name-giver might misname something, then force other names to conform to it [Plato] |
13791 | Things must be known before they are named, so it can't be the names that give us knowledge [Plato] |
13789 | Anyone who knows a thing's name also knows the thing [Plato] |
10640 | Instead of complex objects like tables, plurally quantify over mereological atoms tablewise [Linnebo] |
10636 | Plural plurals are unnatural and need a first-level ontology [Linnebo] |
10639 | Plural quantification may allow a monadic second-order theory with first-order ontology [Linnebo] |
10635 | Second-order quantification and plural quantification are different [Linnebo] |
10641 | Traditionally we eliminate plurals by quantifying over sets [Linnebo] |
19063 | Beth trees show semantics for intuitionistic logic, in terms of how truth has been established [Dummett] |
19059 | In standard views you could replace 'true' and 'false' with mere 0 and 1 [Dummett] |
19062 | Classical two-valued semantics implies that meaning is grasped through truth-conditions [Dummett] |
19065 | Soundness and completeness proofs test the theory of meaning, rather than the logic theory [Dummett] |
2063 | How can beauty have identity if it changes? [Plato] |
10643 | We speak of a theory's 'ideological commitments' as well as its 'ontological commitments' [Linnebo] |
10637 | Ordinary speakers posit objects without concern for ontology [Linnebo] |
13775 | We only succeed in cutting if we use appropriate tools, not if we approach it randomly [Plato] |
13787 | Doesn't each thing have an essence, just as it has other qualities? [Plato] |
13774 | Things don't have every attribute, and essence isn't private, so each thing has an essence [Plato] |
13772 | Is the being or essence of each thing private to each person? [Plato] |
13788 | If we made a perfect duplicate of Cratylus, there would be two Cratyluses [Plato] |
13792 | There can't be any knowledge if things are constantly changing [Plato] |
19061 | An explanation is often a deduction, but that may well beg the question [Dummett] |
13781 | Soul causes the body to live, and gives it power to breathe and to be revitalized [Plato] |
19064 | Holism is not a theory of meaning; it is the denial that a theory of meaning is possible [Dummett] |
10634 | Predicates are 'distributive' or 'non-distributive'; do individuals do what the group does? [Linnebo] |
13785 | 'Arete' signifies lack of complexity and a free-flowing soul [Plato] |
13779 | The natural offspring of a lion is called a 'lion' (but what about the offspring of a king?) [Plato] |
13783 | Even the gods love play [Plato] |