display all the ideas for this combination of texts
2 ideas
15163 | The interest of quantified modal logic is its metaphysical necessity and essentialism [Soames] |
Full Idea: The chief philosophical interest in quantified modal logic lies with metaphysical necessity, essentialism, and the nontrivial modal de re. | |
From: Scott Soames (Philosophy of Language [2010], 3.1) |
10775 | The axiom of choice now seems acceptable and obvious (if it is meaningful) [Tharp] |
Full Idea: The main objection to the axiom of choice was that it had to be given by some law or definition, but since sets are arbitrary this seems irrelevant. Formalists consider it meaningless, but set-theorists consider it as true, and practically obvious. | |
From: Leslie H. Tharp (Which Logic is the Right Logic? [1975], §3) |