28 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] |
13795 | Properties only have identity in the context of their contraries [Elder] |
8502 | Realism doesn't explain 'a is F' any further by saying it is 'a has F-ness' [Devitt] |
8503 | The particular/universal distinction is unhelpful clutter; we should accept 'a is F' as basic [Devitt] |
8501 | Quineans take predication about objects as basic, not reference to properties they may have [Devitt] |
13798 | Maybe we should give up the statue [Elder] |
13797 | The loss of an essential property means the end of an existence [Elder] |
13794 | Essential properties by nature occur in clusters or packages [Elder] |
13796 | Essential properties are bound together, and would be lost together [Elder] |
17368 | Essentialism concerns the nature of a group, not its category [Devitt] |
17370 | Things that gradually change, like species, can still have essences [Devitt] |
9354 | Why should necessities only be knowable a priori? That Hesperus is Phosporus is known empirically [Devitt] |
19565 | How could the mind have a link to the necessary character of reality? [Devitt] |
9353 | We explain away a priori knowledge, not as directly empirical, but as indirectly holistically empirical [Devitt] |
9356 | The idea of the a priori is so obscure that it won't explain anything [Devitt] |
19564 | Some knowledge must be empirical; naturalism implies that all knowledge is like that [Devitt] |
17371 | Some kinds are very explanatory, but others less so, and some not at all [Devitt] |
17369 | We name species as small to share properties, but large enough to yield generalisations [Devitt] |
17373 | Species pluralism says there are several good accounts of what a species is [Devitt] |
17367 | Species are phenetic, biological, niche, or phylogenetic-cladistic [Devitt, by PG] |
17372 | The higher categories are not natural kinds, so the Linnaean hierarchy should be given up [Devitt] |