21 ideas
23449 | Interpreting a text is representing it as making sense [Morris,M] |
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] |
23484 | Bipolarity adds to Bivalence the capacity for both truth values [Morris,M] |
13851 | Unlike most other signs, = cannot be eliminated [Engelbretsen/Sayward] |
23494 | Conjunctive and disjunctive quantifiers are too specific, and are confined to the finite [Morris,M] |
13852 | Axioms are ω-incomplete if the instances are all derivable, but the universal quantification isn't [Engelbretsen/Sayward] |
23460 | To count, we must distinguish things, and have a series with successors in it [Morris,M] |
23451 | Counting needs to distinguish things, and also needs the concept of a successor in a series [Morris,M] |
23452 | Discriminating things for counting implies concepts of identity and distinctness [Morris,M] |
16129 | Evans argues (falsely!) that a contradiction follows from treating objects as vague [Evans, by Lowe] |
16459 | Is it coherent that reality is vague, identities can be vague, and objects can have fuzzy boundaries? [Evans] |
16457 | There clearly are vague identity statements, and Evans's argument has a false conclusion [Evans, by Lewis] |
16460 | Evans assumes there can be vague identity statements, and that his proof cannot be right [Evans, by Lewis] |
14484 | If a=b is indeterminate, then a=/=b, and so there cannot be indeterminate identity [Evans, by Thomasson] |
16224 | There can't be vague identity; a and b must differ, since a, unlike b, is only vaguely the same as b [Evans, by PG] |
23491 | There must exist a general form of propositions, which are predictabe. It is: such and such is the case [Morris,M] |