100 ideas
| 13786 | Wisdom is called 'beautiful', because it performs fine works [Plato] |
| 13780 | Good people are no different from wise ones [Plato] |
| 13778 | A dialectician is someone who knows how to ask and to answer questions [Plato] |
| 18019 | People have dreams which involve category mistakes [Magidor] |
| 17998 | Category mistakes are either syntactic, semantic, or pragmatic [Magidor] |
| 18011 | Category mistakes seem to be universal across languages [Magidor] |
| 18012 | Category mistakes as syntactic needs a huge number of fine-grained rules [Magidor] |
| 18013 | Embedded (in 'he said that…') category mistakes show syntax isn't the problem [Magidor] |
| 18021 | Category mistakes are meaningful, because metaphors are meaningful category mistakes [Magidor] |
| 18015 | The normal compositional view makes category mistakes meaningful [Magidor] |
| 18017 | If a category mistake is synonymous across two languages, that implies it is meaningful [Magidor] |
| 18031 | If a category mistake has unimaginable truth-conditions, then it seems to be meaningless [Magidor] |
| 18016 | Two good sentences should combine to make a good sentence, but that might be absurd [Magidor] |
| 18030 | A good explanation of why category mistakes sound wrong is that they are meaningless [Magidor] |
| 18032 | Category mistakes are neither verifiable nor analytic, so verificationism says they are meaningless [Magidor] |
| 18034 | Category mistakes play no role in mental life, so conceptual role semantics makes them meaningless [Magidor] |
| 18037 | Maybe when you say 'two is green', the predicate somehow fails to apply? [Magidor] |
| 18039 | If category mistakes aren't syntax failure or meaningless, maybe they just lack a truth-value? [Magidor] |
| 18058 | Maybe the presuppositions of category mistakes are the abilities of things? [Magidor] |
| 18041 | Category mistakes suffer from pragmatic presupposition failure (which is not mere triviality) [Magidor] |
| 18056 | Category mistakes because of presuppositions still have a truth value (usually 'false') [Magidor] |
| 18055 | In 'two is green', 'green' has a presupposition of being coloured [Magidor] |
| 18057 | 'Numbers are coloured and the number two is green' seems to be acceptable [Magidor] |
| 18059 | The presuppositions in category mistakes reveal nothing about ontology [Magidor] |
| 13776 | Truths say of what is that it is, falsehoods say of what is that it is not [Plato] |
| 9724 | Until the 1960s the only semantics was truth-tables [Enderton] |
| 18040 | Intensional logic maps logical space, showing which predicates are compatible or incompatible [Magidor] |
| 9703 | 'dom R' indicates the 'domain' of objects having a relation [Enderton] |
| 9705 | 'fld R' indicates the 'field' of all objects in the relation [Enderton] |
| 9704 | 'ran R' indicates the 'range' of objects being related to [Enderton] |
| 9710 | We write F:A→B to indicate that A maps into B (the output of F on A is in B) [Enderton] |
| 9707 | 'F(x)' is the unique value which F assumes for a value of x [Enderton] |
| 9712 | A relation is 'symmetric' on a set if every ordered pair has the relation in both directions [Enderton] |
| 9713 | A relation is 'transitive' if it can be carried over from two ordered pairs to a third [Enderton] |
| 9699 | The 'powerset' of a set is all the subsets of a given set [Enderton] |
| 9700 | Two sets are 'disjoint' iff their intersection is empty [Enderton] |
| 9702 | A 'domain' of a relation is the set of members of ordered pairs in the relation [Enderton] |
| 9701 | A 'relation' is a set of ordered pairs [Enderton] |
| 9706 | A 'function' is a relation in which each object is related to just one other object [Enderton] |
| 9708 | A function 'maps A into B' if the relating things are set A, and the things related to are all in B [Enderton] |
| 9709 | A function 'maps A onto B' if the relating things are set A, and the things related to are set B [Enderton] |
| 9711 | A relation is 'reflexive' on a set if every member bears the relation to itself [Enderton] |
| 9714 | A relation satisfies 'trichotomy' if all pairs are either relations, or contain identical objects [Enderton] |
| 9717 | A set is 'dominated' by another if a one-to-one function maps the first set into a subset of the second [Enderton] |
| 9715 | An 'equivalence relation' is a reflexive, symmetric and transitive binary relation [Enderton] |
| 9716 | We 'partition' a set into distinct subsets, according to each relation on its objects [Enderton] |
| 9722 | Inference not from content, but from the fact that it was said, is 'conversational implicature' [Enderton] |
| 9718 | Validity is either semantic (what preserves truth), or proof-theoretic (following procedures) [Enderton] |
| 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] |
| 9721 | A logical truth or tautology is a logical consequence of the empty set [Enderton] |
| 9994 | A truth assignment to the components of a wff 'satisfy' it if the wff is then True [Enderton] |
| 9719 | A proof theory is 'sound' if its valid inferences entail semantic validity [Enderton] |
| 9720 | A proof theory is 'complete' if semantically valid inferences entail proof-theoretic validity [Enderton] |
| 9995 | Proof in finite subsets is sufficient for proof in an infinite set [Enderton] |
| 9996 | Expressions are 'decidable' if inclusion in them (or not) can be proved [Enderton] |
| 9997 | For a reasonable language, the set of valid wff's can always be enumerated [Enderton] |
| 17997 | Some suggest that the Julius Caesar problem involves category mistakes [Magidor] |
| 2063 | How can beauty have identity if it changes? [Plato] |
| 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] |
| 18060 | We can explain the statue/clay problem by a category mistake with a false premise [Magidor] |
| 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] |
| 9723 | Sentences with 'if' are only conditionals if they can read as A-implies-B [Enderton] |
| 13792 | There can't be any knowledge if things are constantly changing [Plato] |
| 13781 | Soul causes the body to live, and gives it power to breathe and to be revitalized [Plato] |
| 18020 | Propositional attitudes relate agents to either propositions, or meanings, or sentence/utterances [Magidor] |
| 18035 | Two sentences with different meanings can, on occasion, have the same content [Magidor] |
| 18018 | To grasp 'two' and 'green', must you know that two is not green? [Magidor] |
| 18008 | Generative semantics says structure is determined by semantics as well as syntactic rules [Magidor] |
| 18010 | 'John is easy to please' and 'John is eager to please' have different deep structure [Magidor] |
| 18053 | The semantics of a sentence is its potential for changing a context [Magidor] |
| 18000 | Weaker compositionality says meaningful well-formed sentences get the meaning from the parts [Magidor] |
| 17999 | Strong compositionality says meaningful expressions syntactically well-formed are meaningful [Magidor] |
| 18014 | Understanding unlimited numbers of sentences suggests that meaning is compositional [Magidor] |
| 18001 | Are there partial propositions, lacking truth value in some possible worlds? [Magidor] |
| 18036 | A sentence can be meaningful, and yet lack a truth value [Magidor] |
| 18051 | In the pragmatic approach, presuppositions are assumed in a context, for successful assertion [Magidor] |
| 18043 | The infelicitiousness of trivial truth is explained by uninformativeness, or a static context-set [Magidor] |
| 18042 | The infelicitiousness of trivial falsity is explained by expectations, or the loss of a context-set [Magidor] |
| 18047 | A presupposition is what makes an utterance sound wrong if it is not assumed? [Magidor] |
| 18048 | A test for presupposition would be if it provoked 'hey wait a minute - I have no idea that....' [Magidor] |
| 18049 | The best tests for presupposition are projecting it to negation, conditional, conjunction, questions [Magidor] |
| 18050 | If both s and not-s entail a sentence p, then p is a presupposition [Magidor] |
| 18054 | Why do certain words trigger presuppositions? [Magidor] |
| 18024 | One theory says metaphors mean the same as the corresponding simile [Magidor] |
| 18023 | Theories of metaphor divide over whether they must have literal meanings [Magidor] |
| 18025 | The simile view of metaphors removes their magic, and won't explain why we use them [Magidor] |
| 18026 | Maybe a metaphor is just a substitute for what is intended literally, like 'icy' for 'unemotional' [Magidor] |
| 18028 | Gricean theories of metaphor involve conversational implicatures based on literal meanings [Magidor] |
| 18029 | Non-cognitivist views of metaphor says there are no metaphorical meanings, just effects of the literal [Magidor] |
| 18022 | Metaphors tend to involve category mistakes, by joining disjoint domains [Magidor] |
| 18027 | Metaphors as substitutes for the literal misses one predicate varying with context [Magidor] |
| 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] |