46 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] |
| 10794 | The nominalist is tied by standard semantics to first-order, denying higher-order abstracta [Marcus (Barcan)] |
| 13851 | Unlike most other signs, = cannot be eliminated [Engelbretsen/Sayward] |
| 10788 | Nominalists see proper names as a main vehicle of reference [Marcus (Barcan)] |
| 10786 | Anything which refers tends to be called a 'name', even if it isn't a noun [Marcus (Barcan)] |
| 10799 | Nominalists should quantify existentially at first-order, and substitutionally when higher [Marcus (Barcan)] |
| 10790 | Quantifiers are needed to refer to infinitely many objects [Marcus (Barcan)] |
| 10791 | Substitutional semantics has no domain of objects, but place-markers for substitutions [Marcus (Barcan)] |
| 10785 | Maybe a substitutional semantics for quantification lends itself to nominalism [Marcus (Barcan)] |
| 10798 | A true universal sentence might be substitutionally refuted, by an unnamed denumerable object [Marcus (Barcan)] |
| 10795 | Substitutional language has no ontology, and is just a way of speaking [Marcus (Barcan)] |
| 13852 | Axioms are ω-incomplete if the instances are all derivable, but the universal quantification isn't [Engelbretsen/Sayward] |
| 10787 | Is being just referent of the verb 'to be'? [Marcus (Barcan)] |
| 10789 | Nominalists say predication is relations between individuals, or deny that it refers [Marcus (Barcan)] |
| 10796 | If objects are thoughts, aren't we back to psychologism? [Marcus (Barcan)] |
| 11181 | Aristotelian essentialism involves a 'natural' or 'causal' interpretation of modal operators [Marcus (Barcan)] |
| 11184 | Aristotelian essentialism is about shared properties, individuating essentialism about distinctive properties [Marcus (Barcan)] |
| 11180 | Essentialist sentences are not theorems of modal logic, and can even be false [Marcus (Barcan)] |
| 11186 | 'Essentially' won't replace 'necessarily' for vacuous properties like snub-nosed or self-identical [Marcus (Barcan)] |
| 11185 | 'Is essentially' has a different meaning from 'is necessarily', as they often cannot be substituted [Marcus (Barcan)] |
| 11182 | If essences are objects with only essential properties, they are elusive in possible worlds [Marcus (Barcan)] |
| 10797 | Substitutivity won't fix identity, because expressions may be substitutable, but not refer at all [Marcus (Barcan)] |
| 11183 | The use of possible worlds is to sort properties (not to individuate objects) [Marcus (Barcan)] |
| 11187 | In possible worlds, names are just neutral unvarying pegs for truths and predicates [Marcus (Barcan)] |
| 2584 | Lobotomised patients can cease to care about a pain [Block] |
| 6172 | The Inverted Earth example shows that phenomenal properties are not representational [Block, by Rowlands] |
| 2582 | A brain looks no more likely than anything else to cause qualia [Block] |
| 2574 | Behaviour requires knowledge as well as dispositions [Block] |
| 2576 | In functionalism, desires are internal states with causal relations [Block] |
| 2575 | Functionalism is behaviourism, but with mental states as intermediaries [Block] |
| 2583 | You might invert colours, but you can't invert beliefs [Block] |
| 2578 | Could a creature without a brain be in the right functional state for pain? [Block] |
| 2585 | Not just any old functional network will have mental states [Block] |
| 2586 | In functionalism, what are the special inputs and outputs of conscious creatures? [Block] |
| 2579 | Physicalism is prejudiced in favour of our neurology, when other systems might have minds [Block] |
| 2577 | Simple machine-functionalism says mind just is a Turing machine [Block] |
| 2580 | A Turing machine, given a state and input, specifies an output and the next state [Block] |
| 3178 | A fast machine could pass all behavioural tests with a vast lookup table [Block, by Rey] |
| 18033 | The meaning of a representation is its role in thought, perception or decisions [Block] |
| 2581 | Intuition may say that a complex sentence is ungrammatical, but linguistics can show that it is not [Block] |
| 11189 | Dispositional essences are special, as if an object loses them they cease to exist [Marcus (Barcan)] |