display all the ideas for this combination of texts
4 ideas
13693 | A 'supervaluation' assigns further Ts and Fs, if they have been assigned in every precisification [Sider] |
13692 | A 'precisification' of a trivalent interpretation reduces it to a bivalent interpretation [Sider] |
13694 | We can 'sharpen' vague terms, and then define truth as true-on-all-sharpenings [Sider] |
13695 | Supervaluational logic is classical, except when it adds the 'Definitely' operator [Sider] |