Combining Texts

All the ideas for 'fragments/reports', 'Principles of Philosophy of the Future' and 'First-order Logic, 2nd-order, Completeness'

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

36 ideas

1. Philosophy / D. Nature of Philosophy / 5. Aims of Philosophy / b. Philosophy as transcendent
6928 Only that which can be an object of religion is an object of philosophy [Feuerbach]
1. Philosophy / F. Analytic Philosophy / 5. Linguistic Analysis
6918 Philosophy should not focus on names, but on the determined nature of things [Feuerbach]
1. Philosophy / H. Continental Philosophy / 1. Continental Philosophy
6904 Modern philosophy begins with Descartes' abstraction from sensation and matter [Feuerbach]
6931 Empiricism is right about ideas, but forgets man himself as one of our objects [Feuerbach]
2. Reason / B. Laws of Thought / 1. Laws of Thought
6933 The laws of reality are also the laws of thought [Feuerbach]
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]
7. Existence / A. Nature of Existence / 3. Being / a. Nature of Being
6919 Absolute thought remains in another world from being [Feuerbach]
19457 Being is what is undetermined, and hence indistinguishable [Feuerbach]
7. Existence / A. Nature of Existence / 3. Being / f. Primary being
6920 Being posits essence, and my essence is my being [Feuerbach]
7. Existence / A. Nature of Existence / 3. Being / g. Particular being
6921 Particularity belongs to being, whereas generality belongs to thought [Feuerbach]
7. Existence / A. Nature of Existence / 3. Being / h. Dasein (being human)
6926 The only true being is of the senses, perception, feeling and love [Feuerbach]
11. Knowledge Aims / C. Knowing Reality / 3. Idealism / b. Transcendental idealism
6908 Consciousness is absolute reality, and everything exists through consciousness [Feuerbach]
11. Knowledge Aims / C. Knowing Reality / 4. Solipsism
6932 Ideas arise through communication, and reason is reached through community [Feuerbach]
12. Knowledge Sources / B. Perception / 6. Inference in Perception
6935 In man the lowest senses of smell and taste elevate themselves to intellectual acts [Feuerbach]
18. Thought / E. Abstraction / 1. Abstract Thought
6925 The new philosophy thinks of the concrete in a concrete (not a abstract) manner [Feuerbach]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / d. Biological ethics
6924 Plotinus was ashamed to have a body [Feuerbach]
22. Metaethics / B. Value / 2. Values / g. Love
6927 If you love nothing, it doesn't matter whether something exists or not [Feuerbach]
24. Political Theory / A. Basis of a State / 1. A People / a. Human distinctiveness
6934 Man is not a particular being, like animals, but a universal being [Feuerbach]
6936 The essence of man is in community, but with distinct individuals [Feuerbach]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / c. Ultimate substances
22745 Pherecydes said the first principle and element is earth [Pherecydes, by Sext.Empiricus]
28. God / B. Proving God / 2. Proofs of Reason / a. Ontological Proof
6913 God's existence cannot be separated from essence and concept, which can only be thought as existing [Feuerbach]
28. God / C. Attitudes to God / 4. God Reflects Humanity
6903 If God is only an object for man, then only the essence of man is revealed in God [Feuerbach]
6923 God is what man would like to be [Feuerbach]
6911 God is for us a mere empty idea, which we fill with our own ego and essence [Feuerbach]
29. Religion / B. Monotheistic Religion / 4. Christianity / a. Christianity
6902 Catholicism concerns God in himself, Protestantism what God is for man [Feuerbach]
29. Religion / D. Religious Issues / 1. Religious Commitment / a. Religious Belief
6905 Absolute idealism is the realized divine mind of Leibnizian theism [Feuerbach]
29. Religion / D. Religious Issues / 2. Immortality / a. Immortality
5883 Pherecydes was the first to say that the soul is eternal [Pherecydes, by Cicero]