Combining Texts

All the ideas for 'Thinking About Mathematics', 'Justice: What's the right thing to do?' and 'Naming and Necessity preface'

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


42 ideas

3. Truth / A. Truth Problems / 3. Value of Truth
Speak truth only to those who deserve the truth [Sandel]
Careful evasions of truth at least show respect for it [Sandel]
4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
Possible worlds allowed the application of set-theoretic models to modal logic [Kripke]
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
Intuitionists deny excluded middle, because it is committed to transcendent truth or objects [Shapiro]
5. Theory of Logic / F. Referring in Logic / 1. Naming / c. Names as referential
A man has two names if the historical chains are different - even if they are the same! [Kripke]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / b. Types of number
The number 3 is presumably identical as a natural, an integer, a rational, a real, and complex [Shapiro]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / h. Reals from Cauchy
Cauchy gave a formal definition of a converging sequence. [Shapiro]
6. Mathematics / B. Foundations for Mathematics / 1. Foundations for Mathematics
Categories are the best foundation for mathematics [Shapiro]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / f. Zermelo numbers
Two definitions of 3 in terms of sets disagree over whether 1 is a member of 3 [Shapiro]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
Numbers do not exist independently; the essence of a number is its relations to other numbers [Shapiro]
A 'system' is related objects; a 'pattern' or 'structure' abstracts the pure relations from them [Shapiro]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
Logicism seems to be a non-starter if (as is widely held) logic has no ontology of its own [Shapiro]
6. Mathematics / C. Sources of Mathematics / 7. Formalism
Term Formalism says mathematics is just about symbols - but real numbers have no names [Shapiro]
Game Formalism is just a matter of rules, like chess - but then why is it useful in science? [Shapiro]
Deductivism says mathematics is logical consequences of uninterpreted axioms [Shapiro]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism
Critics resent the way intuitionism cripples mathematics, but it allows new important distinctions [Shapiro]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / c. Conceptualism
Conceptualist are just realists or idealist or nominalists, depending on their view of concepts [Shapiro]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / d. Predicativism
'Impredicative' definitions refer to the thing being described [Shapiro]
9. Objects / F. Identity among Objects / 1. Concept of Identity
With the necessity of self-identity plus Leibniz's Law, identity has to be an 'internal' relation [Kripke]
9. Objects / F. Identity among Objects / 8. Leibniz's Law
The indiscernibility of identicals is as self-evident as the law of contradiction [Kripke]
10. Modality / C. Sources of Modality / 1. Sources of Necessity
I don't think possible worlds reductively reveal the natures of modal operators etc. [Kripke]
10. Modality / D. Knowledge of Modality / 2. A Priori Contingent
The very act of designating of an object with properties gives knowledge of a contingent truth [Kripke]
10. Modality / E. Possible worlds / 1. Possible Worlds / a. Possible worlds
Instead of talking about possible worlds, we can always say "It is possible that.." [Kripke]
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
Probability with dice uses possible worlds, abstractions which fictionally simplify things [Kripke]
12. Knowledge Sources / C. Rationalism / 1. Rationalism
Rationalism tries to apply mathematical methodology to all of knowledge [Shapiro]
23. Ethics / B. Contract Ethics / 1. Contractarianism
Not all deals are fair deals [Sandel]
Does consent create the obligation, or must there be some benefit? [Sandel]
Moral contracts involve both consent and reciprocity; making the deal, and keeping it [Sandel]
23. Ethics / B. Contract Ethics / 2. Golden Rule
The categorical imperative is not the Golden Rule, which concerns contingent desires [Sandel]
23. Ethics / D. Deontological Ethics / 5. Persons as Ends
Man cannot dispose of himself, because he is not a thing to be owned [Sandel]
24. Political Theory / B. Nature of a State / 2. State Legitimacy / c. Social contract
Just visiting (and using roads) is hardly ratifying the Constitution [Sandel]
24. Political Theory / B. Nature of a State / 3. Constitutions
A ratified constitution may not be a just constitution [Sandel]
A just constitution harmonises the different freedoms [Sandel]
24. Political Theory / D. Ideologies / 6. Liberalism / d. Liberal freedom
Liberal freedom was a response to assigned destinies like caste and class [Sandel]
25. Social Practice / B. Equalities / 4. Economic equality
Libertarians just want formal equality in a free market; the meritocratic view wants fair equality [Sandel]
25. Social Practice / D. Justice / 1. Basis of justice
We can approach justice through welfare, or freedom, or virtue [Sandel]
Justice concerns how a society distributes what it prizes - wealth, rights, power and honours [Sandel]
Should we redress wrongs done by a previous generation? [Sandel]
Distributive justice concern deserts, as well as who gets what [Sandel]
Justice is about how we value things, and not just about distributions [Sandel]
Work is not fair if it is negotiated, even in a fair situation, but if it suits the nature of the worker [Sandel]
26. Natural Theory / A. Speculations on Nature / 2. Natural Purpose / b. Limited purposes
Teleological thinking is essential for social and political issues [Sandel]