66 ideas
| 6947 | Metaphysics does not rest on facts, but on what we are inclined to believe [Peirce] |
| 8558 | One system has properties, powers, events, similarity and substance [Shoemaker] |
| 8559 | Analysis aims at internal relationships, not reduction [Shoemaker] |
| 6937 | Reason aims to discover the unknown by thinking about the known [Peirce] |
| 10170 | While true-in-a-model seems relative, true-in-all-models seems not to be [Reck/Price] |
| 10166 | ZFC set theory has only 'pure' sets, without 'urelements' [Reck/Price] |
| 10175 | Three types of variable in second-order logic, for objects, functions, and predicates/sets [Reck/Price] |
| 10165 | 'Analysis' is the theory of the real numbers [Reck/Price] |
| 10174 | Mereological arithmetic needs infinite objects, and function definitions [Reck/Price] |
| 10164 | Peano Arithmetic can have three second-order axioms, plus '1' and 'successor' [Reck/Price] |
| 10172 | Set-theory gives a unified and an explicit basis for mathematics [Reck/Price] |
| 10167 | Structuralism emerged from abstract algebra, axioms, and set theory and its structures [Reck/Price] |
| 10169 | Relativist Structuralism just stipulates one successful model as its arithmetic [Reck/Price] |
| 10179 | There are 'particular' structures, and 'universal' structures (what the former have in common) [Reck/Price] |
| 10181 | Pattern Structuralism studies what isomorphic arithmetic models have in common [Reck/Price] |
| 10182 | There are Formalist, Relativist, Universalist and Pattern structuralism [Reck/Price] |
| 10168 | Formalist Structuralism says the ontology is vacuous, or formal, or inference relations [Reck/Price] |
| 10178 | Maybe we should talk of an infinity of 'possible' objects, to avoid arithmetic being vacuous [Reck/Price] |
| 10176 | Universalist Structuralism is based on generalised if-then claims, not one particular model [Reck/Price] |
| 10177 | Universalist Structuralism eliminates the base element, as a variable, which is then quantified out [Reck/Price] |
| 10171 | The existence of an infinite set is assumed by Relativist Structuralism [Reck/Price] |
| 21492 | Realism is basic to the scientific method [Peirce] |
| 6949 | If someone doubted reality, they would not actually feel dissatisfaction [Peirce] |
| 15092 | Formerly I said properties are individuated by essential causal powers and causing instantiation [Shoemaker, by Shoemaker] |
| 8543 | Genuine properties are closely related to genuine changes [Shoemaker] |
| 8551 | Properties must be essentially causal if we can know and speak about them [Shoemaker] |
| 8557 | To ascertain genuine properties, examine the object directly [Shoemaker] |
| 15761 | We should abandon the idea that properties are the meanings of predicate expressions [Shoemaker] |
| 15756 | Some truths are not because of a thing's properties, but because of the properties of related things [Shoemaker] |
| 15758 | Things have powers in virtue of (which are entailed by) their properties [Shoemaker] |
| 8547 | One power can come from different properties; a thing's powers come from its properties [Shoemaker] |
| 8549 | Properties are functions producing powers, and powers are functions producing effects [Shoemaker] |
| 12678 | Shoemaker says all genuine properties are dispositional [Shoemaker, by Ellis] |
| 8545 | A causal theory of properties focuses on change, not (say) on abstract properties of numbers [Shoemaker] |
| 15757 | 'Square', 'round' and 'made of copper' show that not all properties are dispositional [Shoemaker] |
| 15759 | The identity of a property concerns its causal powers [Shoemaker] |
| 15760 | Properties are clusters of conditional powers [Shoemaker] |
| 15762 | Could properties change without the powers changing, or powers change without the properties changing? [Shoemaker] |
| 8552 | If properties are separated from causal powers, this invites total elimination [Shoemaker] |
| 4040 | The notions of property and of causal power are parts of a single system of related concepts [Shoemaker] |
| 15765 | Actually, properties are individuated by causes as well as effects [Shoemaker] |
| 8548 | Dispositional predicates ascribe powers, and the rest ascribe properties [Shoemaker] |
| 9485 | Universals concern how things are, and how they could be [Shoemaker, by Bird] |
| 8550 | Triangular and trilateral are coextensive, but different concepts; but powers and properties are the same [Shoemaker] |
| 10173 | A nominalist might avoid abstract objects by just appealing to mereological sums [Reck/Price] |
| 8555 | There is no subset of properties which guarantee a thing's identity [Shoemaker] |
| 8554 | Possible difference across worlds depends on difference across time in the actual world [Shoemaker] |
| 15764 | 'Conceivable' is either not-provably-false, or compatible with what we know? [Shoemaker] |
| 8562 | It is possible to conceive what is not possible [Shoemaker] |
| 6940 | The feeling of belief shows a habit which will determine our actions [Peirce] |
| 6941 | We are entirely satisfied with a firm belief, even if it is false [Peirce] |
| 6942 | We want true beliefs, but obviously we think our beliefs are true [Peirce] |
| 6943 | A mere question does not stimulate a struggle for belief; there must be a real doubt [Peirce] |
| 6598 | We need our beliefs to be determined by some external inhuman permanency [Peirce] |
| 6944 | Demonstration does not rest on first principles of reason or sensation, but on freedom from actual doubt [Peirce] |
| 6948 | Doubts should be satisfied by some external permanency upon which thinking has no effect [Peirce] |
| 6945 | Once doubt ceases, there is no point in continuing to argue [Peirce] |
| 8556 | Grueness is not, unlike green and blue, associated with causal potential [Shoemaker] |
| 6939 | What is true of one piece of copper is true of another (unlike brass) [Peirce] |
| 8542 | If causality is between events, there must be reference to the properties involved [Shoemaker] |
| 8560 | If causal laws describe causal potentialities, the same laws govern properties in all possible worlds [Shoemaker] |
| 15763 | If properties are causal, then causal necessity is a species of logical necessity [Shoemaker] |
| 8561 | If a world has different causal laws, it must have different properties [Shoemaker] |
| 8553 | It looks as if the immutability of the powers of a property imply essentiality [Shoemaker] |
| 6938 | Natural selection might well fill an animal's mind with pleasing thoughts rather than true ones [Peirce] |
| 6946 | If death is annihilation, belief in heaven is a cheap pleasure with no disappointment [Peirce] |