21 ideas
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] |
6007 | If you know your father, but don't recognise your father veiled, you know and don't know the same person [Eubulides, by Dancy,R] |
6006 | If you say truly that you are lying, you are lying [Eubulides, by Dancy,R] |
6008 | Removing one grain doesn't destroy a heap, so a heap can't be destroyed [Eubulides, by Dancy,R] |
7621 | Special relativity, unlike general relativity, was operationalist in spirit [Putnam on Einstein] |
22955 | Einstein took causation to be the bedrock of physics [Einstein, by Coveney/Highfield] |
20638 | General relativity assumes laws of nature are the same in all frames of reference [Einstein, by Close] |
20636 | Newton is a special case of Einstein's general theory, with an infinite speed of light [Einstein, by Close] |
21230 | The theory is 'special' because it sticks to observers moving straight, at constant speeds [Einstein, by Farmelo] |
21231 | Assume the speed of light is constant for all observers, and the laws of physics are the same [Einstein, by Farmelo] |
20634 | General Relativity says there is no absolute force or acceleration [Einstein, by Close] |
20648 | Mass is a measure of energy content [Einstein] |
21232 | Space-time arises from the connection between measurements of space and of time [Einstein, by Farmelo] |
7626 | I do not believe in a personal God [Einstein] |