Combining Philosophers

All the ideas for Melvin Fitting, Arnauld / Nicole and Hugo Grotius

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

22 ideas

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 / F. Referring in Logic / 3. Property (λ-) Abstraction
11028 λ-abstraction disambiguates the scope of modal operators [Fitting]
7. Existence / C. Structure of Existence / 7. Abstract/Concrete / b. Levels of abstraction
10502 We can rise by degrees through abstraction, with higher levels representing more things [Arnauld,A/Nicole,P]
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
15377 Definite descriptions pick out different objects in different possible worlds [Fitting]
12. Knowledge Sources / B. Perception / 3. Representation
18258 We can only know the exterior world via our ideas [Arnauld,A/Nicole,P]
14. Science / D. Explanation / 2. Types of Explanation / k. Explanations by essence
16784 Forms make things distinct and explain the properties, by pure form, or arrangement of parts [Arnauld,A/Nicole,P]
15. Nature of Minds / C. Capacities of Minds / 3. Abstraction by mind
10499 We know by abstraction because we only understand composite things a part at a time [Arnauld,A/Nicole,P]
15. Nature of Minds / C. Capacities of Minds / 5. Generalisation by mind
10501 A triangle diagram is about all triangles, if some features are ignored [Arnauld,A/Nicole,P]
15. Nature of Minds / C. Capacities of Minds / 6. Idealisation
10500 No one denies that a line has width, but we can just attend to its length [Arnauld,A/Nicole,P]
20. Action / C. Motives for Action / 5. Action Dilemmas / c. Omissions
7404 Nations are not obliged to help one-another, but are obliged not to harm one another [Grotius, by Tuck]
24. Political Theory / A. Basis of a State / 3. Natural Values / c. Natural rights
7402 Everyone has a right of self-preservation, and harming others is usually unjustifiable [Grotius, by Tuck]
24. Political Theory / D. Ideologies / 5. Democracy / a. Nature of democracy
21938 Democracy needs respect for individuality, but the 'community of friends' implies strict equality [Grotius]
25. Social Practice / A. Freedoms / 7. Freedom to leave
19845 A person is free to renounce their state, as long as it is not a moment of crisis [Grotius, by Rousseau]
25. Social Practice / D. Justice / 2. The Law / c. Natural law
22133 Grotius and Pufendorf based natural law on real (rather than idealised) humanity [Grotius, by Ford,JD]
7406 A natural right of self-preservation is balanced by a natural law to avoid unnecessary harm [Grotius, by Tuck]
25. Social Practice / D. Justice / 2. The Law / d. Legal positivism
7403 Grotius ignored elaborate natural law theories, preferring a basic right of self-preservation [Grotius, by Tuck]
25. Social Practice / E. Policies / 1. War / b. Justice in war
23585 It is permissible in a just cause to capture a place in neutral territory [Grotius]
28. God / A. Divine Nature / 6. Divine Morality / b. Euthyphro question
6892 Moral principles have some validity without a God commanding obedience [Grotius, by Mautner]