Combining Texts

All the ideas for 'First-order Logic, 2nd-order, Completeness', 'Miscellaneous Observations' and 'The Concept of Law'

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

21 ideas

3. Truth / A. Truth Problems / 3. Value of Truth
19574 If man sacrifices truth he sacrifices himself, by acting against his own convictions [Novalis]
3. Truth / E. Pragmatic Truth / 1. Pragmatic Truth
19571 Delusion and truth differ in their life functions [Novalis]
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]
9. Objects / D. Essence of Objects / 3. Individual Essences
19575 Refinement of senses increasingly distinguishes individuals [Novalis]
12. Knowledge Sources / C. Rationalism / 1. Rationalism
19572 Experiences tests reason, and reason tests experience [Novalis]
17. Mind and Body / E. Mind as Physical / 1. Physical Mind
19573 The seat of the soul is where our inner and outer worlds interpenetrate [Novalis]
18. Thought / E. Abstraction / 2. Abstracta by Selection
19577 Everything is a chaotic unity, then we abstract, then we reunify the world into a free alliance [Novalis]
21. Aesthetics / A. Aesthetic Experience / 5. Natural Beauty
19578 Only self-illuminated perfect individuals are beautiful [Novalis]
25. Social Practice / C. Rights / 1. Basis of Rights
21004 Hart (against Bentham) says human rights are what motivate legal rights [Hart,HLA, by Sen]
25. Social Practice / D. Justice / 2. The Law / a. Legal system
20932 Positive law needs secondary 'rules of recognition' for their correct application [Hart,HLA, by Zimmermann,J]
25. Social Practice / D. Justice / 2. The Law / d. Legal positivism
20931 Hart replaced positivism with the democratic requirement of the people's acceptance [Hart,HLA, by Zimmermann,J]
29. Religion / D. Religious Issues / 1. Religious Commitment / a. Religious Belief
19576 Religion needs an intermediary, because none of us can connect directly to a godhead [Novalis]