Combining Texts

All the ideas for 'On the General Idea of Proof Theory', 'Review of Frege's 'Grundlagen'' and 'Lectures on the Philosophy of Right'

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


6 ideas

5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
Logical consequence isn't a black box (Tarski's approach); we should explain how arguments work [Prawitz]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
Model theory looks at valid sentences and consequence, but not how we know these things [Prawitz]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / c. Fregean numbers
The 'extension of a concept' in general may be quantitatively completely indeterminate [Cantor]
24. Political Theory / A. Basis of a State / 3. Natural Values / c. Natural rights
We are only free, with rights, if we claim our freedom, and there are no natural rights [Hegel, by Houlgate]
24. Political Theory / D. Ideologies / 5. Democracy / d. Representative democracy
Representatives by region ignores whether they care about the national interest [Hegel, by Pinkard]
25. Social Practice / C. Rights / 1. Basis of Rights
The absolute right is the right to have rights [Hegel]