Combining Texts

All the ideas for 'Cognition of Value in Aristotle's Ethics', 'Philosophy of Logic' and 'On the Law of War and Peace'

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


24 ideas

3. Truth / F. Semantic Truth / 1. Tarski's Truth / a. Tarski's truth definition
For scientific purposes there is a precise concept of 'true-in-L', using set theory [Putnam]
4. Formal Logic / A. Syllogistic Logic / 1. Aristotelian Logic
Modern notation frees us from Aristotle's restriction of only using two class-names in premises [Putnam]
4. Formal Logic / A. Syllogistic Logic / 2. Syllogistic Logic
The universal syllogism is now expressed as the transitivity of subclasses [Putnam]
4. Formal Logic / C. Predicate Calculus PC / 2. Tools of Predicate Calculus / a. Symbols of PC
'⊃' ('if...then') is used with the definition 'Px ⊃ Qx' is short for '¬(Px & ¬Qx)' [Putnam]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / a. Types of set
In type theory, 'x ∈ y' is well defined only if x and y are of the appropriate type [Putnam]
5. Theory of Logic / A. Overview of Logic / 2. History of Logic
Before the late 19th century logic was trivialised by not dealing with relations [Putnam]
5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic
Asserting first-order validity implicitly involves second-order reference to classes [Putnam]
5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic
Unfashionably, I think logic has an empirical foundation [Putnam]
5. Theory of Logic / E. Structures of Logic / 5. Functions in Logic
We can identify functions with certain sets - or identify sets with certain functions [Putnam]
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
Having a valid form doesn't ensure truth, as it may be meaningless [Putnam]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / f. Uncountable infinities
Sets larger than the continuum should be studied in an 'if-then' spirit [Putnam]
8. Modes of Existence / E. Nominalism / 1. Nominalism / a. Nominalism
Nominalism only makes sense if it is materialist [Putnam]
9. Objects / A. Existence of Objects / 2. Abstract Objects / b. Need for abstracta
Physics is full of non-physical entities, such as space-vectors [Putnam]
14. Science / A. Basis of Science / 4. Prediction
Most predictions are uninteresting, and are only sought in order to confirm a theory [Putnam]
20. Action / C. Motives for Action / 5. Action Dilemmas / c. Omissions
Nations are not obliged to help one-another, but are obliged not to harm one another [Grotius, by Tuck]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / h. Expressivism
Evaluations are not disguised emotions; instead, emotion is a type of evaluation [Achtenberg]
24. Political Theory / A. Basis of a State / 3. Natural Values / c. Natural rights
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
Democracy needs respect for individuality, but the 'community of friends' implies strict equality [Grotius]
25. Social Practice / A. Freedoms / 7. Freedom to leave
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
Grotius and Pufendorf based natural law on real (rather than idealised) humanity [Grotius, by Ford,JD]
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
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
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
Moral principles have some validity without a God commanding obedience [Grotius, by Mautner]