27 ideas
14611 | Metaphysics should avoid talk of past, present or future [Smart] |
17070 | Coherence is consilience, simplicity, analogy, and fitting into a web of belief [Smart] |
17072 | We need comprehensiveness, as well as self-coherence [Smart] |
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] |
13851 | Unlike most other signs, = cannot be eliminated [Engelbretsen/Sayward] |
13852 | Axioms are ω-incomplete if the instances are all derivable, but the universal quantification isn't [Engelbretsen/Sayward] |
17073 | I simply reject evidence, if it is totally contrary to my web of belief [Smart] |
17077 | The height of a flagpole could be fixed by its angle of shadow, but that would be very unusual [Smart] |
17078 | Universe expansion explains the red shift, but not vice versa [Smart] |
17074 | Explanations are bad by fitting badly with a web of beliefs, or fitting well into a bad web [Smart] |
17076 | Deducing from laws is one possible way to achieve a coherent explanation [Smart] |
17061 | Explanation of a fact is fitting it into a system of beliefs [Smart] |
17071 | An explanation is better if it also explains phenomena from a different field [Smart] |
17062 | If scientific explanation is causal, that rules out mathematical explanation [Smart] |
17075 | Scientific explanation tends to reduce things to the unfamiliar (not the familiar) [Smart] |
5319 | Avoid punishment, then get rewards, avoid rejection, avoid guilt, accept contracts, follow conscience [Kohlberg, by Wilson,EO] |
22405 | Negative utilitarianism implies that the world should be destroyed, to avoid future misery [Smart] |
22404 | Any group interested in ethics must surely have a sentiment of generalised benevolence [Smart] |
14613 | Special relativity won't determine a preferred frame, but we can pick one externally [Smart] |
17063 | Unlike Newton, Einstein's general theory explains the perihelion of Mercury [Smart] |
14615 | If time flows, then 'how fast does it flow?' is a tricky question [Smart] |
14614 | The past, present, future and tenses of A-theory are too weird, and should be analysed indexically [Smart] |