26 ideas
20744 | Phenomenologists say all experience is about something and is directed [Aho] |
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] |
10653 | Maybe set theory need not be well-founded [Varzi] |
10648 | Mereology need not be nominalist, though it is often taken to be so [Varzi] |
10655 | Are there mereological atoms, and are all objects made of them? [Varzi] |
10659 | There is something of which everything is part, but no null-thing which is part of everything [Varzi] |
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
10661 | 'Composition is identity' says multitudes are the reality, loosely composing single things [Varzi] |
10647 | Parts may or may not be attached, demarcated, arbitrary, material, extended, spatial or temporal [Varzi] |
10649 | 'Part' stands for a reflexive, antisymmetric and transitive relation [Varzi] |
10651 | If 'part' is reflexive, then identity is a limit case of parthood [Varzi] |
10654 | The parthood relation will help to define at least seven basic predicates [Varzi] |
10658 | Sameness of parts won't guarantee identity if their arrangement matters [Varzi] |
10652 | Conceivability may indicate possibility, but literary fantasy does not [Varzi] |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
20736 | Science has to abstract out the subjective attributes of things, focusing on what is objective [Aho] |
20734 | Anxiety, nausea, guilt and absurdity shake us up, revealing our freedom and limits [Aho] |
20733 | Our 'existence' is how we create ourselves, unconstrained by any prior 'essence' [Aho] |
20753 | The self is constituted by its choices made within a social context [Aho] |
20738 | Social contracts and markets have made society seem disconnected and artificial [Aho] |
20737 | Protestantism brought the modern emphasis on inner states of the soul [Aho] |
20766 | Four Noble Truths: life is suffering, caused by attachment, it is avoidable, there is a path [Aho] |