Combining Philosophers

All the ideas for Hermarchus, Marcus Rossberg and Antonio Gramsci

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

18 ideas

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]
24. Political Theory / B. Nature of a State / 1. Purpose of a State
20937 The state should produce higher civilisations for all, in tune with the economic apparatus [Gramsci]
24. Political Theory / B. Nature of a State / 2. State Legitimacy / d. General will
20935 Eventually political parties lose touch with the class they represent, which is dangerous [Gramsci]
24. Political Theory / C. Ruling a State / 2. Leaders / a. Autocracy
20936 Caesarism emerges when two forces in society are paralysed in conflict [Gramsci]
24. Political Theory / C. Ruling a State / 2. Leaders / c. Despotism
20941 Totalitarian parties cut their members off from other cultural organisations [Gramsci]
24. Political Theory / C. Ruling a State / 3. Government / a. Government
20939 What is the function of a parliament? Does it even constitute a part of the State structure? [Gramsci]
24. Political Theory / D. Ideologies / 6. Liberalism / g. Liberalism critique
20938 Liberalism's weakness is its powerful rigid bureaucracy [Gramsci]
25. Social Practice / B. Equalities / 2. Political equality
20940 Perfect political equality requires economic equality [Gramsci]
25. Social Practice / F. Life Issues / 6. Animal Rights
6005 Animals are dangerous and nourishing, and can't form contracts of justice [Hermarchus, by Sedley]