95 ideas
19693 | There is practical wisdom (for action), and theoretical wisdom (for deep understanding) [Aristotle, by Whitcomb] |
3099 | Inference is never a conscious process [Harman] |
1575 | For Aristotle logos is essentially the ability to talk rationally about questions of value [Roochnik on Aristotle] |
1589 | Aristotle is the supreme optimist about the ability of logos to explain nature [Roochnik on Aristotle] |
3077 | Reasoning might be defined in terms of its functional role, which is to produce knowledge [Harman] |
3092 | If you believe that some of your beliefs are false, then at least one of your beliefs IS false [Harman] |
8200 | Aristotelian definitions aim to give the essential properties of the thing defined [Aristotle, by Quine] |
4385 | Aristotelian definition involves first stating the genus, then the differentia of the thing [Aristotle, by Urmson] |
21616 | Truth and falsity apply to suppositions as well as to assertions [Williamson] |
21623 | True and false are not symmetrical; false is more complex, involving negation [Williamson] |
21602 | Many-valued logics don't solve vagueness; its presence at the meta-level is ignored [Williamson] |
13282 | Aristotle relativises the notion of wholeness to different measures [Aristotle, by Koslicki] |
3093 | Any two states are logically linked, by being entailed by their conjunction [Harman] |
3098 | Deductive logic is the only logic there is [Harman] |
21611 | Formal semantics defines validity as truth preserved in every model [Williamson] |
3094 | You don't have to accept the conclusion of a valid argument [Harman] |
21606 | 'Bivalence' is the meta-linguistic principle that 'A' in the object language is true or false [Williamson] |
21605 | Excluded Middle is 'A or not A' in the object language [Williamson] |
3080 | Logical form is the part of a sentence structure which involves logical elements [Harman] |
4730 | For Aristotle, the subject-predicate structure of Greek reflected a substance-accident structure of reality [Aristotle, by O'Grady] |
3081 | A theory of truth in a language must involve a theory of logical form [Harman] |
3084 | Our underlying predicates represent words in the language, not universal concepts [Harman] |
21612 | Or-elimination is 'Argument by Cases'; it shows how to derive C from 'A or B' [Williamson] |
21599 | A sorites stops when it collides with an opposite sorites [Williamson] |
21601 | A vague term can refer to very precise elements [Williamson] |
21596 | Vagueness undermines the stable references needed by logic [Williamson] |
21589 | When bivalence is rejected because of vagueness, we lose classical logic [Williamson] |
21629 | Equally fuzzy objects can be identical, so fuzziness doesn't entail vagueness [Williamson] |
21591 | Vagueness is epistemic. Statements are true or false, but we often don't know which [Williamson] |
21619 | If a heap has a real boundary, omniscient speakers would agree where it is [Williamson] |
21620 | The epistemic view says that the essence of vagueness is ignorance [Williamson] |
21622 | If there is a true borderline of which we are ignorant, this drives a wedge between meaning and use [Williamson] |
9120 | Vagueness in a concept is its indiscriminability from other possible concepts [Williamson] |
21625 | The vagueness of 'heap' can remain even when the context is fixed [Williamson] |
21614 | The 'nihilist' view of vagueness says that 'heap' is not a legitimate concept [Williamson] |
21617 | We can say propositions are bivalent, but vague utterances don't express a proposition [Williamson] |
21618 | If the vague 'TW is thin' says nothing, what does 'TW is thin if his perfect twin is thin' say? [Williamson] |
21590 | Asking when someone is 'clearly' old is higher-order vagueness [Williamson] |
21592 | Supervaluation keeps classical logic, but changes the truth in classical semantics [Williamson] |
21603 | You can't give a precise description of a language which is intrinsically vague [Williamson] |
21604 | Supervaluation assigns truth when all the facts are respected [Williamson] |
21607 | Supervaluation has excluded middle but not bivalence; 'A or not-A' is true, even when A is undecided [Williamson] |
21608 | Truth-functionality for compound statements fails in supervaluation [Williamson] |
21609 | Supervaluationism defines 'supertruth', but neglects it when defining 'valid' [Williamson] |
21610 | Supervaluation adds a 'definitely' operator to classical logic [Williamson] |
21613 | Supervaluationism cannot eliminate higher-order vagueness [Williamson] |
21633 | Nominalists suspect that properties etc are our projections, and could have been different [Williamson] |
21630 | If fuzzy edges are fine, then why not fuzzy temporal, modal or mereological boundaries? [Williamson] |
13276 | The unmoved mover and the soul show Aristotelian form as the ultimate mereological atom [Aristotle, by Koslicki] |
13277 | The 'form' is the recipe for building wholes of a particular kind [Aristotle, by Koslicki] |
21632 | A river is not just event; it needs actual and counterfactual boundaries [Williamson] |
21621 | We can't infer metaphysical necessities to be a priori knowable - or indeed knowable in any way [Williamson] |
5991 | For Aristotle, knowledge is of causes, and is theoretical, practical or productive [Aristotle, by Code] |
21627 | We have inexact knowledge when we include margins of error [Williamson] |
3100 | You have to reaffirm all your beliefs when you make a logical inference [Harman] |
11239 | The notion of a priori truth is absent in Aristotle [Aristotle, by Politis] |
3089 | Only lack of imagination makes us think that 'cats are animals' is analytic [Harman] |
3088 | Analyticity is postulated because we can't imagine some things being true, but we may just lack imagination [Harman] |
23312 | Aristotle is a rationalist, but reason is slowly acquired through perception and experience [Aristotle, by Frede,M] |
16111 | Aristotle wants to fit common intuitions, and therefore uses language as a guide [Aristotle, by Gill,ML] |
3101 | Memories are not just preserved, they are constantly reinferred [Harman] |
21626 | Knowing you know (KK) is usually denied if the knowledge concept is missing, or not considered [Williamson] |
3074 | People's reasons for belief are rarely conscious [Harman] |
3097 | We don't distinguish between accepting, and accepting as evidence [Harman] |
6369 | In negative coherence theories, beliefs are prima facie justified, and don't need initial reasons [Harman, by Pollock/Cruz] |
3096 | Coherence avoids scepticism, because it doesn't rely on unprovable foundations [Harman] |
16971 | Plato says sciences are unified around Forms; Aristotle says they're unified around substance [Aristotle, by Moravcsik] |
3095 | Induction is an attempt to increase the coherence of our explanations [Harman] |
11243 | Aristotelian explanations are facts, while modern explanations depend on human conceptions [Aristotle, by Politis] |
3320 | Aristotle's standard analysis of species and genus involves specifying things in terms of something more general [Aristotle, by Benardete,JA] |
12000 | Aristotle regularly says that essential properties explain other significant properties [Aristotle, by Kung] |
3073 | We see ourselves in the world as a map [Harman] |
3076 | Defining dispositions is circular [Harman] |
3075 | Could a cloud have a headache if its particles formed into the right pattern? [Harman] |
21631 | To know, believe, hope or fear, one must grasp the thought, but not when you fail to do them [Williamson] |
23300 | Aristotle and the Stoics denied rationality to animals, while Platonists affirmed it [Aristotle, by Sorabji] |
3086 | Are there any meanings apart from in a language? [Harman] |
21600 | 'Blue' is not a family resemblance, because all the blues resemble in some respect [Williamson] |
3078 | Speech acts, communication, representation and truth form a single theory [Harman] |
3090 | There is only similarity in meaning, never sameness in meaning [Harman] |
3082 | Ambiguity is when different underlying truth-conditional structures have the same surface form [Harman] |
21615 | References to the 'greatest prime number' have no reference, but are meaningful [Williamson] |
18038 | The 't' and 'f' of formal semantics has no philosophical interest, and may not refer to true and false [Williamson] |
3079 | Truth in a language is explained by how the structural elements of a sentence contribute to its truth conditions [Harman] |
3085 | Sentences are different from propositions, since two sentences can express one proposition [Harman] |
21624 | It is known that there is a cognitive loss in identifying propositions with possible worlds [Williamson] |
11240 | The notion of analytic truth is absent in Aristotle [Aristotle, by Politis] |
3087 | The analytic/synthetic distinction is a silly division of thought into encyclopaedia and dictionary [Harman] |
3083 | Many predicates totally resist translation, so a universal underlying structure to languages is unlikely [Harman] |
6559 | Aristotle never actually says that man is a rational animal [Aristotle, by Fogelin] |
11150 | It is the mark of an educated mind to be able to entertain an idea without accepting it [Aristotle] |
3037 | Aristotle said the educated were superior to the uneducated as the living are to the dead [Aristotle, by Diog. Laertius] |
8660 | There are potential infinities (never running out), but actual infinity is incoherent [Aristotle, by Friend] |
12058 | Aristotle's matter can become any other kind of matter [Aristotle, by Wiggins] |
22729 | The concepts of gods arose from observing the soul, and the cosmos [Aristotle, by Sext.Empiricus] |