Combining Texts

All the ideas for 'fragments/reports', 'Critique of Judgement I: Aesthetic' and 'First-order Logic, 2nd-order, Completeness'

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

25 ideas

5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
10757 Henkin semantics has a second domain of predicates and relations (in upper case) [Rossberg]
10751 Second-order logic needs the sets, and its consequence has epistemological problems [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]
21. Aesthetics / A. Aesthetic Experience / 1. Aesthetics
12157 Kant gave form and status to aesthetics, and Hegel gave it content [Kant, by Scruton]
21. Aesthetics / A. Aesthetic Experience / 2. Aesthetic Attitude
20346 The aesthetic attitude is a matter of disinterestedness [Kant, by Wollheim]
18547 Only rational beings can experience beauty [Kant, by Scruton]
21. Aesthetics / A. Aesthetic Experience / 3. Taste
20408 With respect to the senses, taste is an entirely personal matter [Kant]
20409 When we judge beauty, it isn't just personal; we judge on behalf of everybody [Kant]
20411 Saying everyone has their own taste destroys the very idea of taste [Kant]
21. Aesthetics / A. Aesthetic Experience / 4. Beauty
22711 The beautiful is not conceptualised as moral, but it symbolises or resembles goodness [Kant, by Murdoch]
4025 Kant saw beauty as a sort of disinterested pleasure, which has become separate from the good [Kant, by Taylor,C]
20412 Beauty is only judged in pure contemplation, and not with something else at stake [Kant]
21. Aesthetics / A. Aesthetic Experience / 6. The Sublime
22046 The mathematical sublime is immeasurable greatness; the dynamical sublime is overpowering [Kant, by Pinkard]
21458 The sublime is a moral experience [Kant, by Gardner]
21. Aesthetics / C. Artistic Issues / 5. Objectivism in Art
5643 Aesthetic values are not objectively valid, but we must treat them as if they are [Kant, by Scruton]
20410 The judgement of beauty is not cognitive, but relates, via imagination, to pleasurable feelings [Kant]
25. Social Practice / E. Policies / 5. Education / b. Education principles
13304 Learned men gain more in one day than others do in a lifetime [Posidonius]
27. Natural Reality / D. Time / 1. Nature of Time / d. Time as measure
20820 Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus]