34 ideas
| 10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
| 13258 | The 'aggregative' objections says mereology gets existence and location of objects wrong [Koslicki] |
| 13288 | Consequence is truth-preserving, either despite substitutions, or in all interpretations [Koslicki] |
| 14506 | 'Roses are red; therefore, roses are colored' seems truth-preserving, but not valid in a system [Koslicki] |
| 10884 | A theory is 'categorical' if it has just one model up to isomorphism [Horsten] |
| 10885 | Computer proofs don't provide explanations [Horsten] |
| 10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |
| 14505 | Some questions concern mathematical entities, rather than whole structures [Koslicki] |
| 13289 | Structures have positions, constituent types and number, and some invariable parts [Koslicki] |
| 14501 | 'Categorical' properties exist in the actual world, and 'hypothetical' properties in other worlds [Koslicki] |
| 14495 | I aim to put the notion of structure or form back into the concepts of part, whole and object [Koslicki] |
| 13264 | If a whole is just a structure, a dinner party wouldn't need the guests to turn up [Koslicki] |
| 14497 | The clay is just a part of the statue (its matter); the rest consists of its form or structure [Koslicki] |
| 13280 | Statue and clay differ in modal and temporal properties, and in constitution [Koslicki] |
| 14496 | Structure or form are right at the centre of modern rigorous modes of enquiry [Koslicki] |
| 13279 | There are at least six versions of constitution being identity [Koslicki] |
| 14498 | For three-dimensionalist parthood must be a three-place relation, including times [Koslicki] |
| 13283 | The parts may be the same type as the whole, like a building made of buildings [Koslicki] |
| 13266 | Wholes in modern mereology are intended to replace sets, so they closely resemble them [Koslicki] |
| 14500 | Wholes are entities distinct from their parts, and have different properties [Koslicki] |
| 13281 | Wholes are not just their parts; a whole is an entity distinct from the proper parts [Koslicki] |
| 6230 | If the soul were a tabula rasa, with no innate ideas, there could be no moral goodness or justice [Cudworth] |
| 6228 | Senses cannot judge one another, so what judges senses cannot be a sense, but must be superior [Cudworth] |
| 6229 | Sense is fixed in the material form, and so can't grasp abstract universals [Cudworth] |
| 6227 | Keeping promises and contracts is an obligation of natural justice [Cudworth] |
| 6225 | Obligation to obey all positive laws is older than all laws [Cudworth] |
| 14504 | The Kripke/Putnam approach to natural kind terms seems to give them excessive stability [Koslicki] |
| 13285 | Natural kinds support inductive inferences, from previous samples to the next one [Koslicki] |
| 13287 | Concepts for species are either intrinsic structure, or relations like breeding or ancestry [Koslicki] |
| 13284 | Should vernacular classifications ever be counted as natural kind terms? [Koslicki] |
| 13286 | There are apparently no scientific laws concerning biological species [Koslicki] |
| 6224 | An omnipotent will cannot make two things equal or alike if they aren't [Cudworth] |
| 6223 | If the will and pleasure of God controls justice, then anything wicked or unjust would become good if God commanded it [Cudworth] |
| 6226 | The requirement that God must be obeyed must precede any authority of God's commands [Cudworth] |