display all the ideas for this combination of texts
2 ideas
21698 | All relations, apart from ancestrals, can be reduced to simpler logic [Quine] |
Full Idea: Much of the theory of relations can be developed as a virtual theory, in which we seem to talk of relations, but can explain our notation in terms {finally] of just the logic of truth-functions, quantification and identity. The exception is ancestrals. | |
From: Willard Quine (Lecture on Nominalism [1946], §8) | |
A reaction: The irreducibility of ancestrals is offered as a reason for treating sets as universals. |
17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
Full Idea: There is at present no solid argument to the effect that a given statement is absolutely undecidable. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 5.3) |