display all the ideas for this combination of texts
2 ideas
6889 | Vagueness seems to be inconsistent with the view that every proposition is true or false [Mautner] |
Full Idea: Vagueness is of great philosophical interest because it seems to be inconsistent with the view that every proposition is true or false. | |
From: Thomas Mautner (Penguin Dictionary of Philosophy [1996], p.585) | |
A reaction: This would explain why Williamson and Sorensen are keen to argue that vagueness is an epistemological (rather than ontological) problem. In ordinary English we are happy to say that p is 'sort of true' or 'fairly true'. |
18897 | Predicate logic has to spell out that its identity relation '=' is an equivalent relation [Sommers] |
Full Idea: Because predicate logic contrues identities dyadically, its account of inferences involving identity propositions needs laws or axioms of identity, explicitly asserting that the dyadic realtion in 'x=y' possesses symmetry, reflexivity and transitivity. | |
From: Fred Sommers (Intellectual Autobiography [2005], 'Syllogistic') |