display all the ideas for this combination of philosophers
3 ideas
10781 | A 'pure logic' must be ontologically innocent, universal, and without presuppositions [Linnebo] |
10638 | A pure logic is wholly general, purely formal, and directly known [Linnebo] |
15926 | Second-order logic presupposes a set of relations already fixed by the first-order domain [Lavine] |