33 ideas
| 18915 | If facts are the truthmakers, they are not in the world [Engelbretsen] |
| 18919 | There are no 'falsifying' facts, only an absence of truthmakers [Engelbretsen] |
| 18913 | Traditional term logic struggled to express relations [Engelbretsen] |
| 18907 | Term logic rests on negated terms or denial, and that propositions are tied pairs [Engelbretsen] |
| 18912 | Was logic a branch of mathematics, or mathematics a branch of logic? [Engelbretsen] |
| 18922 | Logical syntax is actually close to surface linguistic form [Engelbretsen] |
| 18905 | Propositions can be analysed as pairs of terms glued together by predication [Engelbretsen] |
| 18908 | Standard logic only negates sentences, even via negated general terms or predicates [Engelbretsen] |
| 18917 | Existence and nonexistence are characteristics of the world, not of objects [Engelbretsen] |
| 18916 | Facts are not in the world - they are properties of the world [Engelbretsen] |
| 18921 | Individuals are arranged in inclusion categories that match our semantics [Engelbretsen] |
| 17064 | 1: Coherence is a symmetrical relation between two propositions [Thagard, by Smart] |
| 17065 | 2: An explanation must wholly cohere internally, and with the new fact [Thagard, by Smart] |
| 17066 | 3: If an analogous pair explain another analogous pair, then they all cohere [Thagard, by Smart] |
| 17067 | 4: For coherence, observation reports have a degree of intrinsic acceptability [Thagard, by Smart] |
| 17068 | 5: Contradictory propositions incohere [Thagard, by Smart] |
| 17069 | 6: A proposition's acceptability depends on its coherence with a system [Thagard, by Smart] |
| 2584 | Lobotomised patients can cease to care about a pain [Block] |
| 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] |
| 18918 | Terms denote objects with properties, and statements denote the world with that property [Engelbretsen] |
| 2581 | Intuition may say that a complex sentence is ungrammatical, but linguistics can show that it is not [Block] |
| 18920 | 'Socrates is wise' denotes a sentence; 'that Socrates is wise' denotes a proposition [Engelbretsen] |
| 18906 | Negating a predicate term and denying its unnegated version are quite different [Engelbretsen] |