57 ideas
21021 | Keep premises as weak as possible, to avoid controversial difficulties [Nussbaum] |
12223 | It is a fallacy to explain the obscure with the even more obscure [Hale/Wright] |
13030 | Extensionality: ∀x ∀y (∀z (z ∈ x ↔ z ∈ y) → x = y) [Kunen] |
13032 | Pairing: ∀x ∀y ∃z (x ∈ z ∧ y ∈ z) [Kunen] |
13033 | Union: ∀F ∃A ∀Y ∀x (x ∈ Y ∧ Y ∈ F → x ∈ A) [Kunen] |
13037 | Infinity: ∃x (0 ∈ x ∧ ∀y ∈ x (S(y) ∈ x) [Kunen] |
13038 | Power Set: ∀x ∃y ∀z(z ⊂ x → z ∈ y) [Kunen] |
13034 | Replacement: ∀x∈A ∃!y φ(x,y) → ∃Y ∀X∈A ∃y∈Y φ(x,y) [Kunen] |
13039 | Foundation:∀x(∃y(y∈x) → ∃y(y∈x ∧ ¬∃z(z∈x ∧ z∈y))) [Kunen] |
13036 | Choice: ∀A ∃R (R well-orders A) [Kunen] |
13029 | Set Existence: ∃x (x = x) [Kunen] |
13031 | Comprehension: ∃y ∀x (x ∈ y ↔ x ∈ z ∧ φ) [Kunen] |
13040 | Constructibility: V = L (all sets are constructible) [Kunen] |
12230 | Singular terms refer if they make certain atomic statements true [Hale/Wright] |
10631 | If 'x is heterological' iff it does not apply to itself, then 'heterological' is heterological if it isn't heterological [Hale/Wright] |
10624 | The incompletability of formal arithmetic reveals that logic also cannot be completely characterized [Hale/Wright] |
8784 | Neo-logicism founds arithmetic on Hume's Principle along with second-order logic [Hale/Wright] |
8787 | The Julius Caesar problem asks for a criterion for the concept of a 'number' [Hale/Wright] |
10629 | If structures are relative, this undermines truth-value and objectivity [Hale/Wright] |
10628 | The structural view of numbers doesn't fit their usage outside arithmetical contexts [Hale/Wright] |
8788 | Logicism is only noteworthy if logic has a privileged position in our ontology and epistemology [Hale/Wright] |
10622 | The neo-Fregean is more optimistic than Frege about contextual definitions of numbers [Hale/Wright] |
8783 | Logicism might also be revived with a quantificational approach, or an abstraction-free approach [Hale/Wright] |
12225 | Neo-Fregeanism might be better with truth-makers, rather than quantifier commitment [Hale/Wright] |
12224 | Are neo-Fregeans 'maximalists' - that everything which can exist does exist? [Hale/Wright] |
12226 | The identity of Pegasus with Pegasus may be true, despite the non-existence [Hale/Wright] |
18465 | An 'equivalence' relation is one which is reflexive, symmetric and transitive [Kunen] |
12229 | Maybe we have abundant properties for semantics, and sparse properties for ontology [Hale/Wright] |
18443 | A successful predicate guarantees the existence of a property - the way of being it expresses [Hale/Wright] |
10626 | Objects just are what singular terms refer to [Hale/Wright] |
10630 | Abstracted objects are not mental creations, but depend on equivalence between given entities [Hale/Wright] |
8786 | One first-order abstraction principle is Frege's definition of 'direction' in terms of parallel lines [Hale/Wright] |
12227 | Abstractionism needs existential commitment and uniform truth-conditions [Hale/Wright] |
12228 | Equivalence abstraction refers to objects otherwise beyond our grasp [Hale/Wright] |
12231 | Reference needs truth as well as sense [Hale/Wright] |
10627 | Many conceptual truths ('yellow is extended') are not analytic, as derived from logic and definitions [Hale/Wright] |
21007 | Storytelling is never neutral; some features of the world must be emphasised [Nussbaum] |
22688 | The Aristotelian idea that choices can be perceived needs literary texts to expound it [Nussbaum] |
21836 | Philosophers after Aristotle endorsed the medical analogy for eudaimonia [Nussbaum, by Flanagan] |
21025 | Particularism gives no guidance for the future [Nussbaum] |
21026 | Compassion is unreliable, because it favours people close to us [Nussbaum] |
21019 | Social contracts assume equal powers among the participants [Nussbaum] |
21011 | We shouldn't focus on actual preferences, which may be distorted by injustices [Nussbaum] |
21008 | Liberalism does not need a comprehensive account of value [Nussbaum] |
21125 | Liberals must respect family freedom - but families are the great oppressors of women [Nussbaum] |
21012 | Women are often treated like children, and not respected for their choices [Nussbaum] |
21015 | Negative liberty is incoherent; all liberties, to do and to be, require the prevention of interference [Nussbaum] |
21017 | Political freedom is an incoherent project, because some freedoms limit other freedoms [Nussbaum] |
21016 | Political and civil rights are not separate from economic and social rights [Nussbaum] |
21009 | Capabilities: Life, Health, Safety, Mental life, Love, Planning, Joining in, Nature, Play, Control [Nussbaum, by PG] |
21010 | Justice requires that the ten main capabilities of people are reasonably enabled [Nussbaum] |
21013 | Capabilities are grounded in bare humanity and agency; qualifying as rational is not needed [Nussbaum] |
21014 | Rights are not just barriers against state interference; governments must affirm capabilities of citizens [Nussbaum] |
21020 | Any establishment belief system is incompatible with full respect for all citizens [Nussbaum] |
21023 | We should respect animals in the way that we respect the animal nature in humans [Nussbaum] |
21024 | It may be no harm to kill an animal which cannot plan for its future [Nussbaum] |
21022 | The Capabilities Approach sees animals as agents, not just as having feelings [Nussbaum] |