25 ideas
19066 | Philosophy aims to understand the world, through ordinary experience and science [Dummett] |
21489 | Super-ordinate disciplines give laws or principles; subordinate disciplines give concrete cases [Peirce, by Atkin] |
19067 | A successful proof requires recognition of truth at every step [Dummett] |
19095 | Pragmatic 'truth' is a term to cover the many varied aims of enquiry [Peirce, by Misak] |
19097 | Peirce did not think a belief was true if it was useful [Peirce, by Misak] |
21494 | If truth is the end of enquiry, what if it never ends, or ends prematurely? [Atkin on Peirce] |
19060 | Truth-tables are dubious in some cases, and may be a bad way to explain connective meaning [Dummett] |
11066 | Deduction is justified by the semantics of its metalanguage [Dummett, by Hanna] |
19058 | Syntactic consequence is positive, for validity; semantic version is negative, with counterexamples [Dummett] |
21493 | Pure mathematics deals only with hypotheses, of which the reality does not matter [Peirce] |
19102 | Bivalence is a regulative assumption of enquiry - not a law of logic [Peirce, by Misak] |
19063 | Beth trees show semantics for intuitionistic logic, in terms of how truth has been established [Dummett] |
19059 | In standard views you could replace 'true' and 'false' with mere 0 and 1 [Dummett] |
19062 | Classical two-valued semantics implies that meaning is grasped through truth-conditions [Dummett] |
19065 | Soundness and completeness proofs test the theory of meaning, rather than the logic theory [Dummett] |
10352 | The real is the idea in which the community ultimately settles down [Peirce] |
13498 | Peirce and others began the mapping out of relations [Peirce, by Hart,WD] |
21491 | Peirce's later realism about possibilities and generalities went beyond logical positivism [Peirce, by Atkin] |
17945 | Forms are not a theory of universals, but an attempt to explain how predication is possible [Nehamas] |
17946 | Only Tallness really is tall, and other inferior tall things merely participate in the tallness [Nehamas] |
16376 | The possible can only be general, and the force of actuality is needed to produce a particular [Peirce] |
17944 | 'Episteme' is better translated as 'understanding' than as 'knowledge' [Nehamas] |
19107 | Inquiry is not standing on bedrock facts, but standing in hope on a shifting bog [Peirce] |
19061 | An explanation is often a deduction, but that may well beg the question [Dummett] |
19064 | Holism is not a theory of meaning; it is the denial that a theory of meaning is possible [Dummett] |