25 ideas
12204 | The logic of metaphysical necessity is S5 [Rumfitt] |
23548 | Indeterminacy is in conflict with classical logic [Fine,K] |
12195 | Soundness in argument varies with context, and may be achieved very informally indeed [Rumfitt] |
12199 | There is a modal element in consequence, in assessing reasoning from suppositions [Rumfitt] |
12201 | We reject deductions by bad consequence, so logical consequence can't be deduction [Rumfitt] |
12194 | Contradictions include 'This is red and not coloured', as well as the formal 'B and not-B' [Rumfitt] |
12198 | Geometrical axioms in logic are nowadays replaced by inference rules (which imply the logical truths) [Rumfitt] |
23539 | Classical semantics has referents for names, extensions for predicates, and T or F for sentences [Fine,K] |
23544 | Local indeterminacy concerns a single object, and global indeterminacy covers a range [Fine,K] |
23540 | Conjoining two indefinites by related sentences seems to produce a contradiction [Fine,K] |
23546 | Standardly vagueness involves borderline cases, and a higher standpoint from which they can be seen [Fine,K] |
23542 | Identifying vagueness with ignorance is the common mistake of confusing symptoms with cause [Fine,K] |
23541 | Supervaluation can give no answer to 'who is the last bald man' [Fine,K] |
10467 | Individuals consist of 'compresent' tropes [Bacon,John] |
10464 | A trope is a bit of a property or relation (not an exemplification or a quality) [Bacon,John] |
10465 | Trope theory is ontologically parsimonious, with possibly only one-category [Bacon,John] |
23545 | We do not have an intelligible concept of a borderline case [Fine,K] |
14532 | A distinctive type of necessity is found in logical consequence [Rumfitt, by Hale/Hoffmann,A] |
12193 | Logical necessity is when 'necessarily A' implies 'not-A is contradictory' [Rumfitt] |
12200 | A logically necessary statement need not be a priori, as it could be unknowable [Rumfitt] |
12202 | Narrow non-modal logical necessity may be metaphysical, but real logical necessity is not [Rumfitt] |
12203 | If a world is a fully determinate way things could have been, can anyone consider such a thing? [Rumfitt] |
10466 | Maybe possible worlds are just sets of possible tropes [Bacon,John] |
23547 | It seems absurd that there is no identity of any kind between two objects which involve survival [Fine,K] |
23543 | We identify laws with regularities because we mistakenly identify causes with their symptoms [Fine,K] |