25 ideas
13913 | The four 'perfect syllogisms' are called Barbara, Celarent, Darii and Ferio [Engelbretsen/Sayward] |
13914 | Syllogistic logic has one rule: what is affirmed/denied of wholes is affirmed/denied of their parts [Engelbretsen/Sayward] |
13915 | Syllogistic can't handle sentences with singular terms, or relational terms, or compound sentences [Engelbretsen/Sayward] |
13916 | Term logic uses expression letters and brackets, and '-' for negative terms, and '+' for compound terms [Engelbretsen/Sayward] |
13850 | In modern logic all formal validity can be characterised syntactically [Engelbretsen/Sayward] |
13849 | Classical logic rests on truth and models, where constructivist logic rests on defence and refutation [Engelbretsen/Sayward] |
13851 | Unlike most other signs, = cannot be eliminated [Engelbretsen/Sayward] |
13852 | Axioms are ω-incomplete if the instances are all derivable, but the universal quantification isn't [Engelbretsen/Sayward] |
12056 | An ancestral relation is either direct or transitively indirect [Wiggins] |
12050 | Substances contain a source of change or principle of activity [Wiggins] |
12055 | Sortal predications are answers to the question 'what is x?' [Wiggins] |
12059 | A river may change constantly, but not in respect of being a river [Wiggins] |
12052 | We never single out just 'this', but always 'this something-or-other' [Wiggins] |
12063 | Sortal classification becomes science, with cross reference clarifying individuals [Wiggins] |
12051 | If the kinds are divided realistically, they fall into substances [Wiggins] |
12053 | 'Human being' is a better answer to 'what is it?' than 'poet', as the latter comes in degrees [Wiggins] |
12054 | Secondary substances correctly divide primary substances by activity-principles and relations [Wiggins] |
12047 | We refer to persisting substances, in perception and in thought, and they aid understanding [Wiggins] |
12057 | Matter underlies things, composes things, and brings them to be [Wiggins] |
12064 | The category of substance is more important for epistemology than for ontology [Wiggins] |
12049 | Naming the secondary substance provides a mass of general information [Wiggins] |
12065 | Seeing a group of soldiers as an army is irresistible, in ontology and explanation [Wiggins] |
15675 | We don't condemn people for being bad at reasoning [Finlayson] |
15674 | One can universalise good advice, but that doesn't make it an obligation [Finlayson] |
15662 | The 'culture industry' is an advertisement for the way things are [Finlayson] |