Combining Texts

All the ideas for 'fragments/reports', 'First-order Logic, 2nd-order, Completeness' and 'Subjective View: sec qualities and indexicals'

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

30 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]
7. Existence / D. Theories of Reality / 2. Realism
22427 To explain object qualities, primary qualities must be more than mere sources of experience [McGinn]
12. Knowledge Sources / B. Perception / 2. Qualities in Perception / b. Primary/secondary
22413 Being red simply consists in looking red [McGinn]
22415 Relativity means differing secondary perceptions are not real disagreements [McGinn]
22416 Phenomenalism is correct for secondary qualities, so scepticism is there impossible [McGinn]
22422 Maybe all possible sense experience must involve both secondary and primary qualities [McGinn]
22428 You understood being red if you know the experience involved; not so with thngs being square [McGinn]
12. Knowledge Sources / B. Perception / 2. Qualities in Perception / c. Primary qualities
22414 You don't need to know how a square thing looks or feels to understand squareness [McGinn]
22423 Touch doesn't provide direct experience of primary qualities, because touch feels temperature [McGinn]
22426 We can perceive objectively, because primary qualities are not mind-created [McGinn]
12. Knowledge Sources / B. Perception / 2. Qualities in Perception / d. Secondary qualities
22412 Lockean secondary qualities (unlike primaries) produce particular sensory experiences [McGinn]
22421 Could there be a mind which lacked secondary quality perception? [McGinn]
22424 Secondary qualities contain information; their variety would be superfluous otherwise [McGinn]
22425 The utility theory says secondary qualities give information useful to human beings [McGinn]
12. Knowledge Sources / B. Perception / 3. Representation
7629 We see objects 'directly' by representing them [McGinn]
18. Thought / A. Modes of Thought / 9. Indexical Thought
18410 Indexical thought is in relation to my self-consciousness [McGinn]
22417 Indexicals do not figure in theories of physics, because they are not explanatory causes [McGinn]
22420 The indexical perspective is subjective, incorrigible and constant [McGinn]
18402 Indexical concepts are indispensable, as we need them for the power to act [McGinn]
19. Language / C. Assigning Meanings / 9. Indexical Semantics
22418 I can know indexical truths a priori, unlike their non-indexical paraphrases [McGinn]
21. Aesthetics / C. Artistic Issues / 7. Art and Morality
468 Musical performance can reveal a range of virtues [Damon of Ath.]