57 ideas
| 12585 | Most people can't even define a chair [Peacocke] |
| 14273 | Conditional Proof is only valid if we accept the truth-functional reading of 'if' [Edgington] |
| 9470 | Modal logic is not an extensional language [Parsons,C] |
| 13418 | The old problems with the axiom of choice are probably better ascribed to the law of excluded middle [Parsons,C] |
| 9469 | Substitutional existential quantifier may explain the existence of linguistic entities [Parsons,C] |
| 9468 | On the substitutional interpretation, '(∃x) Fx' is true iff a closed term 't' makes Ft true [Parsons,C] |
| 17447 | Parsons says counting is tagging as first, second, third..., and converting the last to a cardinal [Parsons,C, by Heck] |
| 18201 | General principles can be obvious in mathematics, but bold speculations in empirical science [Parsons,C] |
| 13419 | If functions are transfinite objects, finitists can have no conception of them [Parsons,C] |
| 13417 | If a mathematical structure is rejected from a physical theory, it retains its mathematical status [Parsons,C] |
| 12205 | There are two families of modal notions, metaphysical and epistemic, of equal strength [Edgington] |
| 12207 | Metaphysical possibility is discovered empirically, and is contrained by nature [Edgington] |
| 12206 | Broadly logical necessity (i.e. not necessarily formal logical necessity) is an epistemic notion [Edgington] |
| 12185 | Logical necessity is epistemic necessity, which is the old notion of a priori [Edgington, by McFetridge] |
| 12208 | An argument is only valid if it is epistemically (a priori) necessary [Edgington] |
| 13857 | Truth-functional possibilities include the irrelevant, which is a mistake [Edgington] |
| 14281 | A thing works like formal probability if all the options sum to 100% [Edgington] |
| 14284 | Conclusion improbability can't exceed summed premise improbability in valid arguments [Edgington] |
| 13768 | Validity can preserve certainty in mathematics, but conditionals about contingents are another matter [Edgington] |
| 13853 | It is a mistake to think that conditionals are statements about how the world is [Edgington] |
| 14270 | Simple indicatives about past, present or future do seem to form a single semantic kind [Edgington] |
| 14269 | Maybe forward-looking indicatives are best classed with the subjunctives [Edgington] |
| 13770 | There are many different conditional mental states, and different conditional speech acts [Edgington] |
| 14275 | Truth-function problems don't show up in mathematics [Edgington] |
| 13764 | Are conditionals truth-functional - do the truth values of A and B determine the truth value of 'If A, B'? [Edgington] |
| 13765 | 'If A,B' must entail ¬(A & ¬B); otherwise we could have A true, B false, and If A,B true, invalidating modus ponens [Edgington] |
| 14274 | Inferring conditionals from disjunctions or negated conjunctions gives support to truth-functionalism [Edgington] |
| 14276 | The truth-functional view makes conditionals with unlikely antecedents likely to be true [Edgington] |
| 14290 | Doctor:'If patient still alive, change dressing'; Nurse:'Either dead patient, or change dressing'; kills patient! [Edgington] |
| 13855 | A conditional does not have truth conditions [Edgington] |
| 13859 | X believes 'if A, B' to the extent that A & B is more likely than A & ¬B [Edgington] |
| 14271 | Non-truth-functionalist say 'If A,B' is false if A is T and B is F, but deny that is always true for TT,FT and FF [Edgington] |
| 14272 | I say "If you touch that wire you'll get a shock"; you don't touch it. How can that make the conditional true? [Edgington] |
| 13854 | Conditionals express what would be the outcome, given some supposition [Edgington] |
| 14282 | On the supposition view, believe if A,B to the extent that A&B is nearly as likely as A [Edgington] |
| 14278 | Truth-functionalists support some conditionals which we assert, but should not actually believe [Edgington] |
| 14287 | Does 'If A,B' say something different in each context, because of the possibiites there? [Edgington] |
| 12581 | Perceptual concepts causally influence the content of our experiences [Peacocke] |
| 12579 | Perception has proto-propositions, between immediate experience and concepts [Peacocke] |
| 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] |