Combining Texts

Ideas for 'On the Question of Absolute Undecidability', 'Lecture on Nominalism' and 'The Wealth of Nations'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


2 ideas

5. Theory of Logic / E. Structures of Logic / 6. Relations in Logic
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.
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
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)