Combining Texts

All the ideas for 'First-order Logic, 2nd-order, Completeness', 'Reflections on Liberty and Social Oppression' and 'Logical Investigations'

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

24 ideas

1. Philosophy / H. Continental Philosophy / 2. Phenomenology
15570 Phenomenology is the science of essences - necessary universal structures for art, representation etc. [Husserl, by Polt]
7614 Bracketing subtracts entailments about external reality from beliefs [Husserl, by Putnam]
6893 Phenomenology aims to describe experience directly, rather than by its origins or causes [Husserl, by Mautner]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
10751 Second-order logic needs the sets, and its consequence has epistemological problems [Rossberg]
10757 Henkin semantics has a second domain of predicates and relations (in upper case) [Rossberg]
10759 There are at least seven possible systems of semantics for second-order logic [Rossberg]
5. Theory of Logic / B. Logical Consequence / 2. Types of Consequence
10753 Logical consequence is intuitively semantic, and captured by model theory [Rossberg]
5. Theory of Logic / B. Logical Consequence / 3. Deductive Consequence |-
10752 Γ |- S says S can be deduced from Γ; Γ |= S says a good model for Γ makes S true [Rossberg]
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
10754 In proof-theory, logical form is shown by the logical constants [Rossberg]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
10756 A model is a domain, and an interpretation assigning objects, predicates, relations etc. [Rossberg]
5. Theory of Logic / J. Model Theory in Logic / 2. Isomorphisms
10758 If models of a mathematical theory are all isomorphic, it is 'categorical', with essentially one model [Rossberg]
5. Theory of Logic / K. Features of Logics / 4. Completeness
10761 Completeness can always be achieved by cunning model-design [Rossberg]
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
10755 A deductive system is only incomplete with respect to a formal semantics [Rossberg]
12. Knowledge Sources / A. A Priori Knowledge / 2. Self-Evidence
21216 Husserl says we have intellectual intuitions (of categories), as well as of the senses [Husserl, by Velarde-Mayol]
23. Ethics / A. Egoism / 1. Ethical Egoism
23865 Morality would improve if people could pursue private interests [Weil]
24. Political Theory / C. Ruling a State / 1. Social Power
23866 In oppressive societies the scope of actual control is extended by a religion of power [Weil]
24. Political Theory / C. Ruling a State / 4. Changing the State / a. Centralisation
23871 No central authority can initiate decentralisation [Weil]
24. Political Theory / C. Ruling a State / 4. Changing the State / c. Revolution
23867 After a bloody revolution the group which already had the power comes to the fore [Weil]
24. Political Theory / D. Ideologies / 2. Anarchism
23870 Decentralisation is only possible by co-operation between strong and weak - which is absurd [Weil]
24. Political Theory / D. Ideologies / 6. Liberalism / b. Liberal individualism
23863 Only individual people of good will can achieve social progress [Weil]
24. Political Theory / D. Ideologies / 6. Liberalism / d. Liberal freedom
23869 In the least evil societies people can think, control community life, and be autonomous [Weil]
24. Political Theory / D. Ideologies / 11. Capitalism
23861 Marx showed that capitalist oppression, because of competition, is unstoppable [Weil]
25. Social Practice / A. Freedoms / 1. Slavery
23868 The pleasure of completing tasks motivates just as well as the whip of slavery [Weil]
25. Social Practice / B. Equalities / 4. Economic equality
23864 Inequality could easily be mitigated, if it were not for the struggle for power [Weil]