20 ideas
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] |
18739 | Three stages of philosophical logic: syntactic (1905-55), possible worlds (1963-85), widening (1990-) [Horsten/Pettigrew] |
18741 | Logical formalization makes concepts precise, and also shows their interrelation [Horsten/Pettigrew] |
10819 | Tarski gives us the account of truth needed to build a group of true sentences in a model [Field,H] |
10827 | Model theory is unusual in restricting the range of the quantifiers [Field,H] |
18744 | Models are sets with functions and relations, and truth built up from the components [Horsten/Pettigrew] |
18740 | If 'exist' doesn't express a property, we can hardly ask for its essence [Horsten/Pettigrew] |
18745 | A Tarskian model can be seen as a possible state of affairs [Horsten/Pettigrew] |
18747 | The 'spheres model' was added to possible worlds, to cope with counterfactuals [Horsten/Pettigrew] |
18748 | Epistemic logic introduced impossible worlds [Horsten/Pettigrew] |
18746 | Possible worlds models contain sets of possible worlds; this is a large metaphysical commitment [Horsten/Pettigrew] |
18750 | Using possible worlds for knowledge and morality may be a step too far [Horsten/Pettigrew] |
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] |
13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |