32 ideas
12585 | Most people can't even define a chair [Peacocke] |
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] |
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] |
12581 | Perceptual concepts causally influence the content of our experiences [Peacocke] |
12579 | Perception has proto-propositions, between immediate experience and concepts [Peacocke] |
7006 | Observing irrelevant items supports both 'all x are y' and 'all x are non-y', revealing its absurdity [Schofield,J] |
12586 | Consciousness of a belief isn't a belief that one has it [Peacocke] |
12608 | Concepts are distinguished by roles in judgement, and are thus tied to rationality [Peacocke] |
18568 | Philosophy should merely give necessary and sufficient conditions for concept possession [Peacocke, by Machery] |
18571 | Peacocke's account of possession of a concept depends on one view of counterfactuals [Peacocke, by Machery] |
18572 | Peacocke's account separates psychology from philosophy, and is very sketchy [Machery on Peacocke] |
17722 | The concept 'red' is tied to what actually individuates red things [Peacocke] |
11127 | If concepts just are mental representations, what of concepts we may never acquire? [Peacocke] |
12577 | Possessing a concept is being able to make judgements which use it [Peacocke] |
12578 | A concept is just what it is to possess that concept [Peacocke] |
12587 | Employing a concept isn't decided by introspection, but by making judgements using it [Peacocke] |
12605 | A sense is individuated by the conditions for reference [Peacocke] |
12607 | Fregean concepts have their essence fixed by reference-conditions [Peacocke] |
12609 | Concepts have distinctive reasons and norms [Peacocke] |
12584 | An analysis of concepts must link them to something unconceptualized [Peacocke] |
12604 | Any explanation of a concept must involve reference and truth [Peacocke] |
9335 | Concepts are constituted by their role in a group of propositions to which we are committed [Peacocke, by Greco] |
9336 | A concept's reference is what makes true the beliefs of its possession conditions [Peacocke, by Horwich] |
12610 | Encountering novel sentences shows conclusively that meaning must be compositional [Peacocke] |