69 ideas
3099 | Inference is never a conscious process [Harman] |
3077 | Reasoning might be defined in terms of its functional role, which is to produce knowledge [Harman] |
3092 | If you believe that some of your beliefs are false, then at least one of your beliefs IS false [Harman] |
8472 | Sentential logic is consistent (no contradictions) and complete (entirely provable) [Orenstein] |
8476 | Axiomatization simply picks from among the true sentences a few to play a special role [Orenstein] |
8480 | S4: 'poss that poss that p' implies 'poss that p'; S5: 'poss that nec that p' implies 'nec that p' [Orenstein] |
8474 | Unlike elementary logic, set theory is not complete [Orenstein] |
8465 | Mereology has been exploited by some nominalists to achieve the effects of set theory [Orenstein] |
3093 | Any two states are logically linked, by being entailed by their conjunction [Harman] |
3098 | Deductive logic is the only logic there is [Harman] |
3094 | You don't have to accept the conclusion of a valid argument [Harman] |
3084 | Our underlying predicates represent words in the language, not universal concepts [Harman] |
3080 | Logical form is the part of a sentence structure which involves logical elements [Harman] |
3081 | A theory of truth in a language must involve a theory of logical form [Harman] |
8452 | Traditionally, universal sentences had existential import, but were later treated as conditional claims [Orenstein] |
8475 | The substitution view of quantification says a sentence is true when there is a substitution instance [Orenstein] |
8454 | The whole numbers are 'natural'; 'rational' numbers include fractions; the 'reals' include root-2 etc. [Orenstein] |
8473 | The logicists held that is-a-member-of is a logical constant, making set theory part of logic [Orenstein] |
19482 | Current physics says matter and antimatter should have reduced to light at the big bang [New Sci.] |
19483 | CP violation shows a decay imbalance in matter and antimatter, leading to matter's dominance [New Sci.] |
8458 | Just individuals in Nominalism; add sets for Extensionalism; add properties, concepts etc for Intensionalism [Orenstein] |
3100 | You have to reaffirm all your beliefs when you make a logical inference [Harman] |
3089 | Only lack of imagination makes us think that 'cats are animals' is analytic [Harman] |
3088 | Analyticity is postulated because we can't imagine some things being true, but we may just lack imagination [Harman] |
3101 | Memories are not just preserved, they are constantly reinferred [Harman] |
3074 | People's reasons for belief are rarely conscious [Harman] |
3097 | We don't distinguish between accepting, and accepting as evidence [Harman] |
6369 | In negative coherence theories, beliefs are prima facie justified, and don't need initial reasons [Harman, by Pollock/Cruz] |
3096 | Coherence avoids scepticism, because it doesn't rely on unprovable foundations [Harman] |
19737 | A system can infer the structure of the world by making predictions about it [New Sci.] |
8457 | The Principle of Conservatism says we should violate the minimum number of background beliefs [Orenstein] |
3095 | Induction is an attempt to increase the coherence of our explanations [Harman] |
19736 | Neural networks can extract the car-ness of a car, or the chair-ness of a chair [New Sci.] |
3073 | We see ourselves in the world as a map [Harman] |
3076 | Defining dispositions is circular [Harman] |
3075 | Could a cloud have a headache if its particles formed into the right pattern? [Harman] |
16419 | No one has yet devised a rationality test [New Sci.] |
16417 | About a third of variation in human intelligence is environmental [New Sci.] |
16418 | People can be highly intelligent, yet very stupid [New Sci.] |
19484 | Psychologists measure personality along five dimensions [New Sci.] |
3086 | Are there any meanings apart from in a language? [Harman] |
3078 | Speech acts, communication, representation and truth form a single theory [Harman] |
3090 | There is only similarity in meaning, never sameness in meaning [Harman] |
3082 | Ambiguity is when different underlying truth-conditional structures have the same surface form [Harman] |
8477 | People presume meanings exist because they confuse meaning and reference [Orenstein] |
8471 | Three ways for 'Socrates is human' to be true are nominalist, platonist, or Montague's way [Orenstein] |
3079 | Truth in a language is explained by how the structural elements of a sentence contribute to its truth conditions [Harman] |
3085 | Sentences are different from propositions, since two sentences can express one proposition [Harman] |
8484 | If two people believe the same proposition, this implies the existence of propositions [Orenstein] |
3087 | The analytic/synthetic distinction is a silly division of thought into encyclopaedia and dictionary [Harman] |
3083 | Many predicates totally resist translation, so a universal underlying structure to languages is unlikely [Harman] |
19950 | Entropy is the only time-asymmetric law, so time may be linked to entropy [New Sci.] |
19478 | Light moves at a constant space-time speed, but its direction is in neither space nor time [New Sci.] |
19474 | Quantum states are measured by external time, of unknown origin [New Sci.] |
19473 | The Schrödinger equation describes the evolution of an object's wave function in Hilbert space [New Sci.] |
19953 | In string theory space-time has a grainy indivisible substructure [New Sci.] |
19476 | String theory needs at least 10 space-time dimensions [New Sci.] |
19954 | It is impossible for find a model of actuality among the innumerable models in string theory [New Sci.] |
19947 | Hilbert Space is an abstraction representing all possible states of a quantum system [New Sci.] |
19948 | Einstein's merging of time with space has left us confused about the nature of time [New Sci.] |
19955 | Space-time may be a geometrical manifestation of quantum entanglement [New Sci.] |
19475 | Relativity makes time and space jointly basic; quantum theory splits them, and prioritises time [New Sci.] |
19949 | Quantum theory relies on a clock outside the system - but where is it located? [New Sci.] |
19951 | Entropy is puzzling, so we may need to build new laws which include time directionality [New Sci.] |
19477 | General relativity predicts black holes, as former massive stars, and as galaxy centres [New Sci.] |
19952 | Black holes have entropy, but general relativity says they are unstructured, and lack entropy [New Sci.] |
16420 | 84.5 percent of the universe is made of dark matter [New Sci.] |
17604 | We are halfway to synthesising any molecule we want [New Sci.] |
17603 | Chemistry just needs the periodic table, and protons, electrons and neutrinos [New Sci.] |