17 ideas
10528 | Definitions concern how we should speak, not how things are [Fine,K] |
14187 | If logic is topic-neutral that means it delves into all subjects, rather than having a pure subject matter [Read] |
14188 | Not all arguments are valid because of form; validity is just true premises and false conclusion being impossible [Read] |
14182 | If the logic of 'taller of' rests just on meaning, then logic may be the study of merely formal consequence [Read] |
14183 | Maybe arguments are only valid when suppressed premises are all stated - but why? [Read] |
14184 | In modus ponens the 'if-then' premise contributes nothing if the conclusion follows anyway [Read] |
14186 | Logical connectives contain no information, but just record combination relations between facts [Read] |
10529 | If Hume's Principle can define numbers, we needn't worry about its truth [Fine,K] |
10530 | Hume's Principle is either adequate for number but fails to define properly, or vice versa [Fine,K] |
14185 | Conditionals are just a shorthand for some proof, leaving out the details [Read] |
6375 | The taste of chocolate is a 'finer-grained' sensation than the taste of sweetness [Polger] |
6381 | The mind and the self are one, and the mind-self is a biological phenomenon [Polger] |
6378 | Teleological functions explain why a trait exists; causal-role functions say what it does [Polger] |
6380 | Identity theory says consciousness is an abstraction: a state, event, process or property [Polger] |
10527 | An abstraction principle should not 'inflate', producing more abstractions than objects [Fine,K] |
6379 | A mummified heart has the teleological function of circulating blood [Polger] |
6377 | Teleological notions of function say what a thing is supposed to do [Polger] |