Combining Texts

All the ideas for 'Logicism and Ontological Commits. of Arithmetic', 'Metaphysics of Morals I: Doctrine of Right' and 'Structuralism'

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

25 ideas

1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / e. Philosophy as reason
21406 Because there is only one human reason, there can only be one true philosophy from principles [Kant]
3. Truth / F. Semantic Truth / 2. Semantic Truth
10017 Truth in a model is more tractable than the general notion of truth [Hodes]
10018 Truth is quite different in interpreted set theory and in the skeleton of its language [Hodes]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
10015 Higher-order logic may be unintelligible, but it isn't set theory [Hodes]
5. Theory of Logic / D. Assumptions for Logic / 4. Identity in Logic
10011 Identity is a level one relation with a second-order definition [Hodes]
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
10016 When an 'interpretation' creates a model based on truth, this doesn't include Fregean 'sense' [Hodes]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / a. Numbers
10027 Mathematics is higher-order modal logic [Hodes]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / f. Arithmetic
10026 Arithmetic must allow for the possibility of only a finite total of objects [Hodes]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
8921 Structuralism is now common, studying relations, with no regard for what the objects might be [Hellman]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / c. Nominalist structuralism
8922 Maybe mathematical objects only have structural roles, and no intrinsic nature [Hellman]
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
10021 It is claimed that numbers are objects which essentially represent cardinality quantifiers [Hodes]
10022 Numerical terms can't really stand for quantifiers, because that would make them first-level [Hodes]
7. Existence / D. Theories of Reality / 7. Fictionalism
10023 Talk of mirror images is 'encoded fictions' about real facts [Hodes]
12. Knowledge Sources / A. A Priori Knowledge / 3. Innate Knowledge / a. Innate knowledge
21081 We are equipped with the a priori intuitions needed for the concept of right [Kant]
24. Political Theory / A. Basis of a State / 3. Natural Values / c. Natural rights
21082 A power-based state of nature may not be unjust, but there is no justice without competent judges [Kant]
24. Political Theory / C. Ruling a State / 2. Leaders / a. Autocracy
21089 Monarchs have the highest power; autocrats have complete power [Kant]
24. Political Theory / C. Ruling a State / 2. Leaders / d. Elites
21086 Hereditary nobility has not been earned, and probably won't be earned [Kant]
24. Political Theory / D. Ideologies / 6. Liberalism / d. Liberal freedom
21080 Actions are right if the maxim respects universal mutual freedoms [Kant]
24. Political Theory / D. Ideologies / 12. Feminism
21083 Women have no role in politics [Kant]
25. Social Practice / B. Equalities / 3. Legal equality
21407 Equality is not being bound in ways you cannot bind others [Kant]
25. Social Practice / C. Rights / 3. Alienating rights
21084 In the contract people lose their rights, but immediately regain them, in the new commonwealth [Kant]
25. Social Practice / C. Rights / 4. Property rights
21090 If someone has largely made something, then they own it [Kant]
25. Social Practice / D. Justice / 1. Basis of justice
21087 Human life is pointless without justice [Kant]
25. Social Practice / D. Justice / 3. Punishment / a. Right to punish
21088 Justice asserts the death penalty for murder, from a priori laws [Kant]
25. Social Practice / E. Policies / 2. Religion in Society
21085 The church has a political role, by offering a supreme power over people [Kant]