53 ideas
7910 | Pursue truth with the urgency of someone whose clothes are on fire [Ashvaghosha] |
19199 | Some say metaphysics is a highly generalised empirical study of objects [Tarski] |
19193 | Disputes that fail to use precise scientific terminology are all meaningless [Tarski] |
19179 | For a definition we need the words or concepts used, the rules, and the structure of the language [Tarski] |
19178 | Definitions of truth should not introduce a new version of the concept, but capture the old one [Tarski] |
19177 | A definition of truth should be materially adequate and formally correct [Tarski] |
19186 | A rigorous definition of truth is only possible in an exactly specified language [Tarski] |
19194 | We may eventually need to split the word 'true' into several less ambiguous terms [Tarski] |
19196 | Scheme (T) is not a definition of truth [Tarski] |
19180 | It is convenient to attach 'true' to sentences, and hence the language must be specified [Tarski] |
19181 | In the classical concept of truth, 'snow is white' is true if snow is white [Tarski] |
19183 | Each interpreted T-sentence is a partial definition of truth; the whole definition is their conjunction [Tarski] |
19182 | Use 'true' so that all T-sentences can be asserted, and the definition will then be 'adequate' [Tarski] |
19198 | We don't give conditions for asserting 'snow is white'; just that assertion implies 'snow is white' is true [Tarski] |
19184 | The best truth definition involves other semantic notions, like satisfaction (relating terms and objects) [Tarski] |
19191 | Specify satisfaction for simple sentences, then compounds; true sentences are satisfied by all objects [Tarski] |
19188 | We can't use a semantically closed language, or ditch our logic, so a meta-language is needed [Tarski] |
19189 | The metalanguage must contain the object language, logic, and defined semantics [Tarski] |
10824 | If listing equivalences is a reduction of truth, witchcraft is just a list of witch-victim pairs [Field,H on Tarski] |
19190 | We need an undefined term 'true' in the meta-language, specified by axioms [Tarski] |
19197 | Truth can't be eliminated from universal claims, or from particular unspecified claims [Tarski] |
19185 | Semantics is a very modest discipline which solves no real problems [Tarski] |
19195 | Truth tables give prior conditions for logic, but are outside the system, and not definitions [Tarski] |
19192 | The truth definition proves semantic contradiction and excluded middle laws (not the logic laws) [Tarski] |
19187 | The Liar makes us assert a false sentence, so it must be taken seriously [Tarski] |
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.] |
19737 | A system can infer the structure of the world by making predictions about it [New Sci.] |
19736 | Neural networks can extract the car-ness of a car, or the chair-ness of a chair [New Sci.] |
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.] |
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.] |
19955 | Space-time may be a geometrical manifestation of quantum entanglement [New Sci.] |
19948 | Einstein's merging of time with space has left us confused about the nature of time [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.] |
7909 | The Eightfold Path concerns morality, wisdom, and tranquillity [Ashvaghosha] |
7908 | At the end of a saint, he is not located in space, but just ceases to be disturbed [Ashvaghosha] |