19 ideas
21489 | Super-ordinate disciplines give laws or principles; subordinate disciplines give concrete cases [Peirce, by Atkin] |
10476 | The idea that groups of concepts could be 'implicitly defined' was abandoned [Hodges,W] |
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] |
10478 | Since first-order languages are complete, |= and |- have the same meaning [Hodges,W] |
10477 | |= in model-theory means 'logical consequence' - it holds in all models [Hodges,W] |
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] |
10474 | |= should be read as 'is a model for' or 'satisfies' [Hodges,W] |
10473 | Model theory studies formal or natural language-interpretation using set-theory [Hodges,W] |
10475 | A 'structure' is an interpretation specifying objects and classes of quantification [Hodges,W] |
10481 | Models in model theory are structures, not sets of descriptions [Hodges,W] |
10480 | First-order logic can't discriminate between one infinite cardinal and another [Hodges,W] |
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] |
16376 | The possible can only be general, and the force of actuality is needed to produce a particular [Peirce] |
19107 | Inquiry is not standing on bedrock facts, but standing in hope on a shifting bog [Peirce] |