19 ideas
15375 | If terms change their designations in different states, they are functions from states to objects [Fitting] |
15376 | Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting] |
15378 | Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting] |
15379 | Justication logics make explicit the reasons for mathematical truth in proofs [Fitting] |
10397 | Abelard's mereology involves privileged and natural divisions, and principal parts [Abelard, by King,P] |
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
10396 | If 'animal' is wholly present in Socrates and an ass, then 'animal' is rational and irrational [Abelard, by King,P] |
10395 | Abelard was an irrealist about virtually everything apart from concrete individuals [Abelard, by King,P] |
15384 | Only words can be 'predicated of many'; the universality is just in its mode of signifying [Abelard, by Panaccio] |
8481 | The de dicto-de re modality distinction dates back to Abelard [Abelard, by Orenstein] |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
15385 | Abelard's problem is the purely singular aspects of things won't account for abstraction [Panaccio on Abelard] |
15383 | Nothing external can truly be predicated of an object [Abelard, by Panaccio] |
20575 | Socialist economics needs a very strong central power, virtually leading to slavery [Hayek, by Oksala] |
22599 | Hayek was a liberal, but mainly concerned with market freedom [Hayek, by Dunt] |
22600 | Impeding the market is likely to lead to extensive state control [Hayek] |
20543 | 'Social justice' is a confused idea, and inequalities need no justification [Hayek, by Swift] |
10398 | Natural kinds are not special; they are just well-defined resemblance collections [Abelard, by King,P] |