54 ideas
| 14273 | Conditional Proof is only valid if we accept the truth-functional reading of 'if' [Edgington] |
| 7508 | Good reductionism connects fields of knowledge, but doesn't replace one with another [Pinker] |
| 20339 | Classes rarely share properties with their members - unlike universals and types [Wollheim] |
| 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] |
| 7510 | Connectionists say the mind is a general purpose learning device [Pinker] |
| 7513 | Is memory stored in protein sequences, neurons, synapses, or synapse-strengths? [Pinker] |
| 20338 | We often treat a type as if it were a sort of token [Wollheim] |
| 7509 | Roundworms live successfully with 302 neurons, so human freedom comes from our trillions [Pinker] |
| 7511 | Neural networks can generalise their training, e.g. truths about tigers apply mostly to lions [Pinker] |
| 7512 | There are five types of reasoning that seem beyond connectionist systems [Pinker, by PG] |
| 20342 | Interpretation is performance for some arts, and critical for all arts [Wollheim] |
| 20343 | A love of nature must precede a love of art [Wollheim] |
| 20348 | A criterion of identity for works of art would be easier than a definition [Wollheim] |
| 20347 | If beauty needs organisation, then totally simple things can't be beautiful [Wollheim] |
| 20345 | Some say art must have verbalisable expression, and others say the opposite! [Wollheim] |
| 20331 | It is claimed that the expressive properties of artworks are non-physical [Wollheim] |
| 20336 | Style can't be seen directly within a work, but appreciation needs a grasp of style [Wollheim] |
| 20337 | The traditional view is that knowledge of its genre to essential to appreciating literature [Wollheim] |
| 20333 | If artworks are not physical objects, they are either ideal entities, or collections of phenomena [Wollheim] |
| 20334 | The ideal theory says art is an intuition, shaped by a particular process, and presented in public [Wollheim] |
| 20335 | The ideal theory of art neglects both the audience and the medium employed [Wollheim] |
| 20340 | A musical performance has virtually the same features as the piece of music [Wollheim] |
| 20341 | An interpretation adds further properties to the generic piece of music [Wollheim] |
| 20332 | A drawing only represents Napoleon if the artist intended it to [Wollheim] |
| 7505 | Many think that accepting human nature is to accept innumerable evils [Pinker] |
| 7516 | In 1828, the stuff of life was shown to be ordinary chemistry, not a magic gel [Pinker] |
| 7515 | All the evidence says evolution is cruel and wasteful, not intelligent [Pinker] |
| 7514 | Intelligent Design says that every unexplained phenomenon must be design, by default [Pinker] |