50 ideas
| 6267 | A culture needs to admit that knowledge is more extensive than just 'science' [Putnam] |
| 6272 | 'True' and 'refers' cannot be made scientically precise, but are fundamental to science [Putnam] |
| 18781 | Inconsistency doesn't prevent us reasoning about some system [Mares] |
| 6276 | 'The rug is green' might be warrantedly assertible even though the rug is not green [Putnam] |
| 6266 | We need the correspondence theory of truth to understand language and science [Putnam] |
| 6277 | Correspondence between concepts and unconceptualised reality is impossible [Putnam] |
| 6264 | In Tarski's definition, you understand 'true' if you accept the notions of the object language [Putnam] |
| 6265 | Tarski has given a correct account of the formal logic of 'true', but there is more to the concept [Putnam] |
| 6269 | Only Tarski has found a way to define 'true' [Putnam] |
| 18789 | Intuitionist logic looks best as natural deduction [Mares] |
| 18790 | Intuitionism as natural deduction has no rule for negation [Mares] |
| 18787 | Three-valued logic is useful for a theory of presupposition [Mares] |
| 18793 | Material implication (and classical logic) considers nothing but truth values for implications [Mares] |
| 18784 | In classical logic the connectives can be related elegantly, as in De Morgan's laws [Mares] |
| 18780 | Standard disjunction and negation force us to accept the principle of bivalence [Mares] |
| 18786 | Excluded middle standardly implies bivalence; attacks use non-contradiction, De M 3, or double negation [Mares] |
| 18782 | The connectives are studied either through model theory or through proof theory [Mares] |
| 18783 | Many-valued logics lack a natural deduction system [Mares] |
| 18792 | Situation semantics for logics: not possible worlds, but information in situations [Mares] |
| 18785 | Consistency is semantic, but non-contradiction is syntactic [Mares] |
| 18788 | For intuitionists there are not numbers and sets, but processes of counting and collecting [Mares] |
| 6280 | Realism is a theory, which explains the convergence of science and the success of language [Putnam] |
| 6284 | If a tautology is immune from revision, why would that make it true? [Putnam] |
| 6273 | Knowledge depends on believing others, which must be innate, as inferences are not strong enough [Putnam] |
| 6274 | Empathy may not give knowledge, but it can give plausibility or right opinion [Putnam] |
| 17084 | You can't decide which explanations are good if you don't attend to the interest-relative aspects [Putnam] |
| 6282 | Theory of meaning presupposes theory of understanding and reference [Putnam] |
| 6281 | Truth conditions can't explain understanding a sentence, because that in turn needs explanation [Putnam] |
| 6278 | We should reject the view that truth is prior to meaning [Putnam] |
| 6271 | How reference is specified is not what reference is [Putnam] |
| 6268 | The claim that scientific terms are incommensurable can be blocked if scientific terms are not descriptions [Putnam] |
| 18791 | In 'situation semantics' our main concepts are abstracted from situations [Mares] |
| 6279 | A private language could work with reference and beliefs, and wouldn't need meaning [Putnam] |
| 6270 | The correct translation is the one that explains the speaker's behaviour [Putnam] |
| 6283 | Language maps the world in many ways (because it maps onto other languages in many ways) [Putnam] |
| 6275 | You can't say 'most speaker's beliefs are true'; in some areas this is not so, and you can't count beliefs [Putnam] |
| 21233 | The beautiful is whatever it is intrinsically good to admire [Moore,GE] |
| 8039 | Moore tries to show that 'good' is indefinable, but doesn't understand what a definition is [MacIntyre on Moore,GE] |
| 11056 | The naturalistic fallacy claims that natural qualties can define 'good' [Moore,GE] |
| 22151 | The Open Question argument leads to anti-realism and the fact-value distinction [Boulter on Moore,GE] |
| 8033 | Moore cannot show why something being good gives us a reason for action [MacIntyre on Moore,GE] |
| 8032 | Can learning to recognise a good friend help us to recognise a good watch? [MacIntyre on Moore,GE] |
| 11050 | Moore's combination of antinaturalism with strong supervenience on the natural is incoherent [Hanna on Moore,GE] |
| 23726 | Despite Moore's caution, non-naturalists incline towards intuitionism [Moore,GE, by Smith,M] |
| 18676 | We should ask what we would judge to be good if it existed in absolute isolation [Moore,GE] |
| 11057 | It is always an open question whether anything that is natural is good [Moore,GE] |
| 5925 | The three main values are good, right and beauty [Moore,GE, by Ross] |
| 5902 | For Moore, 'right' is what produces good [Moore,GE, by Ross] |
| 5903 | 'Right' means 'cause of good result' (hence 'useful'), so the end does justify the means [Moore,GE] |
| 5907 | Relationships imply duties to people, not merely the obligation to benefit them [Ross on Moore,GE] |