34 ideas
15375 | If terms change their designations in different states, they are functions from states to objects [Fitting] |
15376 | Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting] |
15378 | Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting] |
15379 | Justication logics make explicit the reasons for mathematical truth in proofs [Fitting] |
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
12797 | If plural variables have 'some values', then non-count variables have 'some value' [Laycock] |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
12794 | Plurals are semantical but not ontological [Laycock] |
17694 | Some non-count nouns can be used for counting, as in 'several wines' or 'fewer cheeses' [Laycock] |
17695 | Some apparent non-count words can take plural forms, such as 'snows' or 'waters' [Laycock] |
12792 | The category of stuff does not suit reference [Laycock] |
12799 | Descriptions of stuff are neither singular aggregates nor plural collections [Laycock] |
12818 | We shouldn't think some water retains its identity when it is mixed with air [Laycock] |
17377 | All descriptive language is classificatory [Dupré] |
17376 | We should aim for a classification which tells us as much as possible about the object [Dupré] |
12795 | Parts must be of the same very general type as the wholes [Laycock] |
17390 | Natural kinds don't need essentialism to be explanatory [Dupré] |
17389 | A species might have its essential genetic mechanism replaced by a new one [Dupré] |
17388 | It seems that species lack essential properties, so they can't be natural kinds [Dupré] |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
17374 | The possibility of prediction rests on determinism [Dupré] |
17696 | 'Humility is a virtue' has an abstract noun, but 'water is a liquid' has a generic concrete noun [Laycock] |
17378 | Presumably molecular structure seems important because we never have the Twin Earth experience [Dupré] |
12791 | It is said that proper reference is our intellectual link with the world [Laycock] |
17381 | Phylogenetics involves history, and cladism rests species on splits in lineage [Dupré] |
17385 | Kinds don't do anything (including evolve) because they are abstract [Dupré] |
17375 | Natural kinds are decided entirely by the intentions of our classification [Dupré] |
17379 | Borders between species are much less clear in vegetables than among animals [Dupré] |
17384 | Even atoms of an element differ, in the energy levels of their electrons [Dupré] |
17387 | Ecologists favour classifying by niche, even though that can clash with genealogy [Dupré] |
17382 | Cooks, unlike scientists, distinguish garlic from onions [Dupré] |
17380 | Wales may count as fish [Dupré] |
17383 | Species are the lowest-level classification in biology [Dupré] |
17386 | The theory of evolution is mainly about species [Dupré] |