81 ideas
15787 | Maybe Ockham's Razor is a purely aesthetic principle [Lycan] |
15784 | The Razor seems irrelevant for Meinongians, who allow absolutely everything to exist [Lycan] |
10676 | The Axiom of Choice is a non-logical principle of set-theory [Hossack] |
10686 | The Axiom of Choice guarantees a one-one correspondence from sets to ordinals [Hossack] |
23623 | Predicativism says only predicated sets exist [Hossack] |
23624 | The iterative conception has to appropriate Replacement, to justify the ordinals [Hossack] |
23625 | Limitation of Size justifies Replacement, but then has to appropriate Power Set [Hossack] |
6548 | Physicalism requires the naturalisation or rejection of set theory [Lycan] |
10687 | Maybe we reduce sets to ordinals, rather than the other way round [Hossack] |
10677 | Extensional mereology needs two definitions and two axioms [Hossack] |
23628 | The connective 'and' can have an order-sensitive meaning, as 'and then' [Hossack] |
23627 | 'Before' and 'after' are not two relations, but one relation with two orders [Hossack] |
7755 | Singular terms refer, using proper names, definite descriptions, singular personal pronouns, demonstratives, etc. [Lycan] |
10671 | Plural definite descriptions pick out the largest class of things that fit the description [Hossack] |
10666 | Plural reference will refer to complex facts without postulating complex things [Hossack] |
10669 | Plural reference is just an abbreviation when properties are distributive, but not otherwise [Hossack] |
10675 | A plural comprehension principle says there are some things one of which meets some condition [Hossack] |
10673 | Plural language can discuss without inconsistency things that are not members of themselves [Hossack] |
10680 | The theory of the transfinite needs the ordinal numbers [Hossack] |
10684 | I take the real numbers to be just lengths [Hossack] |
23626 | Transfinite ordinals are needed in proof theory, and for recursive functions and computability [Hossack] |
10674 | A plural language gives a single comprehensive induction axiom for arithmetic [Hossack] |
10681 | In arithmetic singularists need sets as the instantiator of numeric properties [Hossack] |
10685 | Set theory is the science of infinity [Hossack] |
23621 | Numbers are properties, not sets (because numbers are magnitudes) [Hossack] |
23622 | We can only mentally construct potential infinities, but maths needs actual infinities [Hossack] |
6531 | Institutions are not reducible as types, but they are as tokens [Lycan] |
6532 | Types cannot be reduced, but levels of reduction are varied groupings of the same tokens [Lycan] |
6534 | One location may contain molecules, a metal strip, a key, an opener of doors, and a human tragedy [Lycan] |
5500 | Biologists see many organic levels, 'abstract' if seen from below, 'structural' if seen from above [Lycan] |
10668 | We are committed to a 'group' of children, if they are sitting in a circle [Hossack] |
6529 | I see the 'role'/'occupant' distinction as fundamental to metaphysics [Lycan] |
15792 | Maybe non-existent objects are sets of properties [Lycan] |
10664 | Complex particulars are either masses, or composites, or sets [Hossack] |
10678 | The relation of composition is indispensable to the part-whole relation for individuals [Hossack] |
10665 | Leibniz's Law argues against atomism - water is wet, unlike water molecules [Hossack] |
10682 | The fusion of five rectangles can decompose into more than five parts that are rectangles [Hossack] |
5494 | 'Lightning is electric discharge' and 'Phosphorus is Venus' are synthetic a posteriori identities [Lycan] |
15795 | Treating possible worlds as mental needs more actual mental events [Lycan] |
15796 | Possible worlds must be made of intensional objects like propositions or properties [Lycan] |
15794 | If 'worlds' are sentences, and possibility their consistency, consistency may rely on possibility [Lycan] |
6549 | I think greenness is a complex microphysical property of green objects [Lycan] |
22189 | Why abandon a theory if you don't have a better one? [Gorham] |
22190 | If a theory is more informative it is less probable [Gorham] |
22192 | Is Newton simpler with universal simultaneity, or Einstein simpler without absolute time? [Gorham] |
22194 | Structural Realism says mathematical structures persist after theory rejection [Gorham] |
22195 | Structural Realists must show the mathematics is both crucial and separate [Gorham] |
22197 | Theories aren't just for organising present experience if they concern the past or future [Gorham] |
22196 | For most scientists their concepts are not just useful, but are meant to be true and accurate [Gorham] |
22193 | Consilience makes the component sciences more likely [Gorham] |
6543 | Intentionality comes in degrees [Lycan] |
6537 | Teleological views allow for false intentional content, unlike causal and nomological theories [Lycan] |
6546 | Pain is composed of urges, desires, impulses etc, at different levels of abstraction [Lycan] |
6547 | The right 'level' for qualia is uncertain, though top (behaviourism) and bottom (particles) are false [Lycan] |
6527 | If energy in the brain disappears into thin air, this breaches physical conservation laws [Lycan] |
6528 | In lower animals, psychology is continuous with chemistry, and humans are continuous with animals [Lycan] |
6554 | Two behaviourists meet. The first says,"You're fine; how am I?" [Lycan] |
6545 | If functionalism focuses on folk psychology, it ignores lower levels of function [Lycan] |
6541 | Functionalism must not be too abstract to allow inverted spectrum, or so structural that it becomes chauvinistic [Lycan] |
5496 | Functionalism has three linked levels: physical, functional, and mental [Lycan] |
6539 | The distinction between software and hardware is not clear in computing [Lycan] |
6533 | Mental types are a subclass of teleological types at a high level of functional abstraction [Lycan] |
6535 | Teleological characterisations shade off smoothly into brutely physical ones [Lycan] |
5499 | A mental state is a functional realisation of a brain state when it serves the purpose of the organism [Lycan] |
6544 | Identity theory is functionalism, but located at the lowest level of abstraction [Lycan] |
6530 | We reduce the mind through homuncular groups, described abstractly by purpose [Lycan] |
6536 | Teleological functionalism helps us to understand psycho-biological laws [Lycan] |
6542 | A Martian may exhibit human-like behaviour while having very different sensations [Lycan] |
10663 | A thought can refer to many things, but only predicate a universal and affirm a state of affairs [Hossack] |
7768 | The truth conditions theory sees meaning as representation [Lycan] |
7766 | Meaning must be known before we can consider verification [Lycan] |
7764 | Could I successfully use an expression, without actually understanding it? [Lycan] |
7763 | It is hard to state a rule of use for a proper name [Lycan] |
7770 | Truth conditions will come out the same for sentences with 'renate' or 'cordate' [Lycan] |
7773 | A sentence's truth conditions is the set of possible worlds in which the sentence is true [Lycan] |
7774 | Possible worlds explain aspects of meaning neatly - entailment, for example, is the subset relation [Lycan] |
22198 | Aristotelian physics has circular celestial motion and linear earthly motion [Gorham] |
6538 | We need a notion of teleology that comes in degrees [Lycan] |
5501 | People are trying to explain biological teleology in naturalistic causal terms [Lycan] |
6551 | 'Physical' means either figuring in physics descriptions, or just located in space-time [Lycan] |
10683 | We could ignore space, and just talk of the shape of matter [Hossack] |