17 ideas
21943 | Since Kant, self-criticism has been part of philosophy [Gutting] |
21944 | Structuralism describes human phenomena in terms of unconscious structures [Gutting] |
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] |
13437 | A CAR and its major PART can become identical, yet seem to have different properties [Gallois] |
16233 | Gallois hoped to clarify identity through time, but seems to make talk of it impossible [Hawley on Gallois] |
16025 | If things change they become different - but then no one thing undergoes the change! [Gallois] |
16026 | 4D: time is space-like; a thing is its history; past and future are real; or things extend in time [Gallois] |
14755 | Gallois is committed to identity with respect to times, and denial of simple identity [Gallois, by Sider] |
16231 | Occasional Identity: two objects can be identical at one time, and different at others [Gallois, by Hawley] |
16027 | If two things are equal, each side involves a necessity, so the equality is necessary [Gallois] |