42 ideas
| 21704 | 'Impredictative' definitions fix a class in terms of the greater class to which it belongs [Linsky,B] |
| 10825 | The notion of truth is to help us make use of the utterances of others [Field,H] |
| 10820 | In the early 1930s many philosophers thought truth was not scientific [Field,H] |
| 13499 | Tarski reduced truth to reference or denotation [Field,H, by Hart,WD] |
| 10818 | Tarski really explained truth in terms of denoting, predicating and satisfied functions [Field,H] |
| 10817 | Tarski just reduced truth to some other undefined semantic notions [Field,H] |
| 21705 | Reducibility says any impredicative function has an appropriate predicative replacement [Linsky,B] |
| 21727 | Definite descriptions theory eliminates the King of France, but not the Queen of England [Linsky,B] |
| 10819 | Tarski gives us the account of truth needed to build a group of true sentences in a model [Field,H] |
| 21719 | Extensionalism means what is true of a function is true of coextensive functions [Linsky,B] |
| 10827 | Model theory is unusual in restricting the range of the quantifiers [Field,H] |
| 21723 | The task of logicism was to define by logic the concepts 'number', 'successor' and '0' [Linsky,B] |
| 21721 | Higher types are needed to distinguished intensional phenomena which are coextensive [Linsky,B] |
| 21703 | Types are 'ramified' when there are further differences between the type of quantifier and its range [Linsky,B] |
| 21714 | The ramified theory subdivides each type, according to the range of the variables [Linsky,B] |
| 21713 | Did logicism fail, when Russell added three nonlogical axioms, to save mathematics? [Linsky,B] |
| 21715 | For those who abandon logicism, standard set theory is a rival option [Linsky,B] |
| 21729 | Construct properties as sets of objects, or say an object must be in the set to have the property [Linsky,B] |
| 6346 | The main epistemological theories are foundationalist, coherence, probabilistic and reliabilist [Pollock/Cruz] |
| 6351 | Most people now agree that our reasoning proceeds defeasibly, rather than deductively [Pollock/Cruz] |
| 6374 | To believe maximum truths, believe everything; to have infallible beliefs, believe nothing [Pollock/Cruz] |
| 6355 | Direct realism says justification is partly a function of pure perceptual states, not of beliefs [Pollock/Cruz] |
| 6359 | Phenomenalism offered conclusive perceptual knowledge, but conclusive reasons no longer seem essential [Pollock/Cruz] |
| 6366 | Perception causes beliefs in us, without inference or justification [Pollock/Cruz] |
| 6362 | Sense evidence is not beliefs, because they are about objective properties, not about appearances [Pollock/Cruz] |
| 6371 | Bayesian epistemology is Bayes' Theorem plus the 'simple rule' (believe P if it is probable) [Pollock/Cruz] |
| 6373 | Internalism says if anything external varies, the justifiability of the belief does not vary [Pollock/Cruz] |
| 6353 | People rarely have any basic beliefs, and never enough for good foundations [Pollock/Cruz] |
| 6361 | Foundationalism requires self-justification, not incorrigibility [Pollock/Cruz] |
| 6357 | Reason cannot be an ultimate foundation, because rational justification requires prior beliefs [Pollock/Cruz] |
| 6363 | Foundationalism is wrong, because either all beliefs are prima facie justified, or none are [Pollock/Cruz] |
| 6365 | Negative coherence theories do not require reasons, so have no regress problem [Pollock/Cruz] |
| 6354 | Coherence theories fail, because they can't accommodate perception as the basis of knowledge [Pollock/Cruz] |
| 6367 | Coherence theories isolate justification from the world [Pollock/Cruz] |
| 6370 | Externalism comes as 'probabilism' (probability of truth) and 'reliabilism' (probability of good cognitive process) [Pollock/Cruz] |
| 6358 | One belief may cause another, without being the basis for the second belief [Pollock/Cruz] |
| 6364 | We can't start our beliefs from scratch, because we wouldn't know where to start [Pollock/Cruz] |
| 6352 | Enumerative induction gives a universal judgement, while statistical induction gives a proportion [Pollock/Cruz] |
| 6372 | Since every tautology has a probability of 1, should we believe all tautologies? [Pollock/Cruz] |
| 6360 | Scientific confirmation is best viewed as inference to the best explanation [Pollock/Cruz] |
| 10826 | 'Valence' and 'gene' had to be reduced to show their compatibility with physicalism [Field,H] |
| 7615 | Field says reference is a causal physical relation between mental states and objects [Field,H, by Putnam] |