Combining Texts

All the ideas for 'Events and Their Names', 'Idea for a Universal History' and 'Gentzen's Analysis of First-Order Proofs'

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


10 ideas

2. Reason / A. Nature of Reason / 3. Pure Reason
Reason enables the unbounded extension of our rules and intentions [Kant]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
Logic is based on transitions between sentences [Prawitz]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
Natural deduction introduction rules may represent 'definitions' of logical connectives [Prawitz]
5. Theory of Logic / H. Proof Systems / 4. Natural Deduction
In natural deduction, inferences are atomic steps involving just one logical constant [Prawitz]
7. Existence / B. Change in Existence / 4. Events / c. Reduction of events
Events are made of other things, and are not fundamental to ontology [Bennett]
16. Persons / F. Free Will / 2. Sources of Free Will
The manifest will in the world of phenomena has to conform to the laws of nature [Kant]
24. Political Theory / D. Ideologies / 6. Liberalism / d. Liberal freedom
Our aim is a constitution which combines maximum freedom with strong restraint [Kant]
The vitality of business needs maximum freedom (while avoiding harm to others) [Kant]
25. Social Practice / D. Justice / 1. Basis of justice
The highest ideal of social progress is a universal cosmopolitan existence [Kant]
26. Natural Theory / C. Causation / 8. Particular Causation / b. Causal relata
Facts are about the world, not in it, so they can't cause anything [Bennett]