Combining Texts

All the ideas for 'Intensional Logic', 'Prior Analytics' and 'Creating Capabilities'

expand these ideas     |    start again     |     specify just one area for these texts

41 ideas

2. Reason / B. Laws of Thought / 6. Ockham's Razor
21021 Keep premises as weak as possible, to avoid controversial difficulties [Nussbaum]
4. Formal Logic / A. Syllogistic Logic / 1. Aristotelian Logic
22271 Aristotle was the first to use schematic letters in logic [Aristotle, by Potter]
11060 Aristotelian syllogisms are three-part, subject-predicate, existentially committed, with laws of thought [Aristotle, by Hanna]
18909 Aristotelian sentences are made up by one of four 'formative' connectors [Aristotle, by Engelbretsen]
8080 Aristotelian identified 256 possible syllogisms, saying that 19 are valid [Aristotle, by Devlin]
13912 Aristotle replaced Plato's noun-verb form with unions of pairs of terms by one of four 'copulae' [Aristotle, by Engelbretsen/Sayward]
8071 Aristotle listed nineteen valid syllogisms (though a few of them were wrong) [Aristotle, by Devlin]
4. Formal Logic / A. Syllogistic Logic / 2. Syllogistic Logic
13819 Aristotle's said some Fs are G or some Fs are not G, forgetting that there might be no Fs [Bostock on Aristotle]
4. Formal Logic / D. Modal Logic ML / 4. Alethic Modal Logic
9403 There are three different deductions for actual terms, necessary terms and possible terms [Aristotle]
4. Formal Logic / E. Nonclassical Logics / 8. Intensional Logic
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]
4. Formal Logic / E. Nonclassical Logics / 9. Awareness Logic
15378 Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting]
4. Formal Logic / E. Nonclassical Logics / 10. Justification Logics
15379 Justication logics make explicit the reasons for mathematical truth in proofs [Fitting]
5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics
11026 Classical logic is deliberately extensional, in order to model mathematics [Fitting]
5. Theory of Logic / B. Logical Consequence / 3. Deductive Consequence |-
11148 Deduction is when we suppose one thing, and another necessarily follows [Aristotle]
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
18896 Aristotle places terms at opposite ends, joined by a quantified copula [Aristotle, by Sommers]
5. Theory of Logic / E. Structures of Logic / 7. Predicates in Logic
3300 Aristotle's logic is based on the subject/predicate distinction, which leads him to substances and properties [Aristotle, by Benardete,JA]
5. Theory of Logic / F. Referring in Logic / 3. Property (λ-) Abstraction
11028 λ-abstraction disambiguates the scope of modal operators [Fitting]
5. Theory of Logic / G. Quantification / 1. Quantification
11149 Affirming/denying sentences are universal, particular, or indeterminate [Aristotle]
5. Theory of Logic / G. Quantification / 3. Objectual Quantification
8079 Aristotelian logic has two quantifiers of the subject ('all' and 'some') [Aristotle, by Devlin]
10. Modality / A. Necessity / 4. De re / De dicto modality
14641 A deduction is necessary if the major (but not the minor) premise is also necessary [Aristotle]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
15377 Definite descriptions pick out different objects in different possible worlds [Fitting]
15. Nature of Minds / C. Capacities of Minds / 5. Generalisation by mind
18911 Linguistic terms form a hierarchy, with higher terms predicable of increasing numbers of things [Aristotle, by Engelbretsen]
21. Aesthetics / B. Nature of Art / 8. The Arts / b. Literature
21007 Storytelling is never neutral; some features of the world must be emphasised [Nussbaum]
23. Ethics / C. Virtue Theory / 1. Virtue Theory / c. Particularism
21025 Particularism gives no guidance for the future [Nussbaum]
23. Ethics / C. Virtue Theory / 3. Virtues / f. Compassion
21026 Compassion is unreliable, because it favours people close to us [Nussbaum]
24. Political Theory / B. Nature of a State / 2. State Legitimacy / c. Social contract
21019 Social contracts assume equal powers among the participants [Nussbaum]
24. Political Theory / D. Ideologies / 4. Social Utilitarianism
21011 We shouldn't focus on actual preferences, which may be distorted by injustices [Nussbaum]
24. Political Theory / D. Ideologies / 6. Liberalism / a. Liberalism basics
21008 Liberalism does not need a comprehensive account of value [Nussbaum]
24. Political Theory / D. Ideologies / 12. Feminism
21012 Women are often treated like children, and not respected for their choices [Nussbaum]
25. Social Practice / A. Freedoms / 5. Freedom of lifestyle
21015 Negative liberty is incoherent; all liberties, to do and to be, require the prevention of interference [Nussbaum]
25. Social Practice / A. Freedoms / 6. Political freedom
21017 Political freedom is an incoherent project, because some freedoms limit other freedoms [Nussbaum]
25. Social Practice / C. Rights / 1. Basis of Rights
21016 Political and civil rights are not separate from economic and social rights [Nussbaum]
25. Social Practice / D. Justice / 1. Basis of justice
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]
25. Social Practice / E. Policies / 2. Religion in Society
21020 Any establishment belief system is incompatible with full respect for all citizens [Nussbaum]
25. Social Practice / F. Life Issues / 6. Animal Rights
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]