63 ideas
13252 | Some truths have true negations [Beall/Restall] |
18996 | A statement S is 'partly true' if it has some wholly true parts [Yablo] |
13247 | A truthmaker is an object which entails a sentence [Beall/Restall] |
19006 | An 'enthymeme' is an argument with an indispensable unstated assumption [Yablo] |
13249 | (∀x)(A v B) |- (∀x)A v (∃x)B) is valid in classical logic but invalid intuitionistically [Beall/Restall] |
13243 | Excluded middle must be true for some situation, not for all situations [Beall/Restall] |
13242 | It's 'relevantly' valid if all those situations make it true [Beall/Restall] |
13246 | Relevant logic does not abandon classical logic [Beall/Restall] |
13245 | Relevant consequence says invalidity is the conclusion not being 'in' the premises [Beall/Restall] |
13254 | A doesn't imply A - that would be circular [Beall/Restall] |
13255 | Relevant logic may reject transitivity [Beall/Restall] |
13250 | Free logic terms aren't existential; classical is non-empty, with referring names [Beall/Restall] |
18999 | y is only a proper part of x if there is a z which 'makes up the difference' between them [Yablo] |
13235 | Logic studies consequence; logical truths are consequences of everything, or nothing [Beall/Restall] |
13238 | Syllogisms are only logic when they use variables, and not concrete terms [Beall/Restall] |
13234 | The view of logic as knowing a body of truths looks out-of-date [Beall/Restall] |
13232 | Logic studies arguments, not formal languages; this involves interpretations [Beall/Restall] |
13241 | The model theory of classical predicate logic is mathematics [Beall/Restall] |
13253 | There are several different consequence relations [Beall/Restall] |
13240 | A sentence follows from others if they always model it [Beall/Restall] |
19001 | 'Pegasus doesn't exist' is false without Pegasus, yet the absence of Pegasus is its truthmaker [Yablo] |
13236 | Logical truth is much more important if mathematics rests on it, as logicism claims [Beall/Restall] |
13237 | Preface Paradox affirms and denies the conjunction of propositions in the book [Beall/Restall] |
19002 | A nominalist can assert statements about mathematical objects, as being partly true [Yablo] |
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.] |
18998 | Parthood lacks the restriction of kind which most relations have [Yablo] |
13244 | Relevant necessity is always true for some situation (not all situations) [Beall/Restall] |
19004 | Gettier says you don't know if you are confused about how it is true [Yablo] |
19737 | A system can infer the structure of the world by making predictions about it [New Sci.] |
19007 | A theory need not be true to be good; it should just be true about its physical aspects [Yablo] |
18993 | If sentences point to different evidence, they must have different subject-matter [Yablo] |
19003 | Most people say nonblack nonravens do confirm 'all ravens are black', but only a tiny bit [Yablo] |
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.] |
13239 | Judgement is always predicating a property of a subject [Beall/Restall] |
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.] |
18992 | Sentence-meaning is the truth-conditions - plus factors responsible for them [Yablo] |
18994 | The content of an assertion can be quite different from compositional content [Yablo] |
18997 | Truth-conditions as subject-matter has problems of relevance, short cut, and reversal [Yablo] |
13248 | We can rest truth-conditions on situations, rather than on possible worlds [Beall/Restall] |
13233 | Propositions commit to content, and not to any way of spelling it out [Beall/Restall] |
19005 | Not-A is too strong to just erase an improper assertion, because it actually reverses A [Yablo] |
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.] |