43 ideas
22271 | Aristotle was the first to use schematic letters in logic [Aristotle, by Potter] |
11060 | Aristotelian syllogisms are three-part, subject-predicate, existentially committed, with laws of thought [Aristotle, by Hanna] |
18909 | Aristotelian sentences are made up by one of four 'formative' connectors [Aristotle, by Engelbretsen] |
8080 | Aristotelian identified 256 possible syllogisms, saying that 19 are valid [Aristotle, by Devlin] |
13912 | Aristotle replaced Plato's noun-verb form with unions of pairs of terms by one of four 'copulae' [Aristotle, by Engelbretsen/Sayward] |
8071 | Aristotle listed nineteen valid syllogisms (though a few of them were wrong) [Aristotle, by Devlin] |
13819 | Aristotle's said some Fs are G or some Fs are not G, forgetting that there might be no Fs [Bostock on Aristotle] |
9403 | There are three different deductions for actual terms, necessary terms and possible terms [Aristotle] |
7689 | The modal logic of C.I.Lewis was only interpreted by Kripke and Hintikka in the 1960s [Jacquette] |
7681 | Logic describes inferences between sentences expressing possible properties of objects [Jacquette] |
11148 | Deduction is when we suppose one thing, and another necessarily follows [Aristotle] |
7682 | Logic is not just about signs, because it relates to states of affairs, objects, properties and truth-values [Jacquette] |
18896 | Aristotle places terms at opposite ends, joined by a quantified copula [Aristotle, by Sommers] |
3300 | Aristotle's logic is based on the subject/predicate distinction, which leads him to substances and properties [Aristotle, by Benardete,JA] |
7697 | On Russell's analysis, the sentence "The winged horse has wings" comes out as false [Jacquette] |
11149 | Affirming/denying sentences are universal, particular, or indeterminate [Aristotle] |
8079 | Aristotelian logic has two quantifiers of the subject ('all' and 'some') [Aristotle, by Devlin] |
7701 | Can a Barber shave all and only those persons who do not shave themselves? [Jacquette] |
7707 | To grasp being, we must say why something exists, and why there is one world [Jacquette] |
7692 | Being is maximal consistency [Jacquette] |
7687 | Existence is completeness and consistency [Jacquette] |
7679 | Ontology is the same as the conceptual foundations of logic [Jacquette] |
7678 | Ontology must include the minimum requirements for our semantics [Jacquette] |
7683 | Logic is based either on separate objects and properties, or objects as combinations of properties [Jacquette] |
7684 | Reduce states-of-affairs to object-property combinations, and possible worlds to states-of-affairs [Jacquette] |
7703 | If classes can't be eliminated, and they are property combinations, then properties (universals) can't be either [Jacquette] |
7685 | An object is a predication subject, distinguished by a distinctive combination of properties [Jacquette] |
7699 | Numbers, sets and propositions are abstract particulars; properties, qualities and relations are universals [Jacquette] |
14641 | A deduction is necessary if the major (but not the minor) premise is also necessary [Aristotle] |
7691 | The actual world is a consistent combination of states, made of consistent property combinations [Jacquette] |
7688 | The actual world is a maximally consistent combination of actual states of affairs [Jacquette] |
7695 | Do proposition-structures not associated with the actual world deserve to be called worlds? [Jacquette] |
7694 | We must experience the 'actual' world, which is defined by maximally consistent propositions [Jacquette] |
7706 | If qualia supervene on intentional states, then intentional states are explanatorily fundamental [Jacquette] |
18911 | Linguistic terms form a hierarchy, with higher terms predicable of increasing numbers of things [Aristotle, by Engelbretsen] |
7704 | Reduction of intentionality involving nonexistent objects is impossible, as reduction must be to what is actual [Jacquette] |
7702 | The extreme views on propositions are Frege's Platonism and Quine's extreme nominalism [Jacquette] |
22687 | Maybe literary assessment is evaluating the artist as a suitable friend [Gaut] |
22686 | Formalists say aesthetics concerns types of beauty, or unity, complexity and intensity [Gaut] |
22690 | 'Moralism' says all aesthetic merits are moral merits [Gaut] |
22684 | Good ethics counts towards aesthetic merit, and bad ethics counts against it [Gaut] |
22689 | If we don't respond ethically in the way a work prescribes, that is an aesthetic failure [Gaut] |
22685 | Good art does not necessarily improve people (any more than good advice does) [Gaut] |