30 ideas
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] |
10753 | Logical consequence is intuitively semantic, and captured by model theory [Rossberg] |
10752 | Γ |- S says S can be deduced from Γ; Γ |= S says a good model for Γ makes S true [Rossberg] |
10754 | In proof-theory, logical form is shown by the logical constants [Rossberg] |
10756 | A model is a domain, and an interpretation assigning objects, predicates, relations etc. [Rossberg] |
10758 | If models of a mathematical theory are all isomorphic, it is 'categorical', with essentially one model [Rossberg] |
10761 | Completeness can always be achieved by cunning model-design [Rossberg] |
10755 | A deductive system is only incomplete with respect to a formal semantics [Rossberg] |
22427 | To explain object qualities, primary qualities must be more than mere sources of experience [McGinn] |
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] |
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] |
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] |
7629 | We see objects 'directly' by representing them [McGinn] |
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] |
22418 | I can know indexical truths a priori, unlike their non-indexical paraphrases [McGinn] |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |