18 ideas
9470 | Modal logic is not an extensional language [Parsons,C] |
13418 | The old problems with the axiom of choice are probably better ascribed to the law of excluded middle [Parsons,C] |
10061 | The If-thenist view only seems to work for the axiomatised portions of mathematics [Musgrave] |
10065 | Perhaps If-thenism survives in mathematics if we stick to first-order logic [Musgrave] |
9469 | Substitutional existential quantifier may explain the existence of linguistic entities [Parsons,C] |
9468 | On the substitutional interpretation, '(∃x) Fx' is true iff a closed term 't' makes Ft true [Parsons,C] |
10049 | Logical truths may contain non-logical notions, as in 'all men are men' [Musgrave] |
10050 | A statement is logically true if it comes out true in all interpretations in all (non-empty) domains [Musgrave] |
17447 | Parsons says counting is tagging as first, second, third..., and converting the last to a cardinal [Parsons,C, by Heck] |
10058 | No two numbers having the same successor relies on the Axiom of Infinity [Musgrave] |
18201 | General principles can be obvious in mathematics, but bold speculations in empirical science [Parsons,C] |
10062 | Formalism seems to exclude all creative, growing mathematics [Musgrave] |
10063 | Formalism is a bulwark of logical positivism [Musgrave] |
13419 | If functions are transfinite objects, finitists can have no conception of them [Parsons,C] |
13417 | If a mathematical structure is rejected from a physical theory, it retains its mathematical status [Parsons,C] |
10060 | Logical positivists adopted an If-thenist version of logicism about numbers [Musgrave] |
1868 | The world was made as much for animals as for man [Celsus] |
1867 | Christians presented Jesus as a new kind of logos to oppose that of the philosophers [Celsus] |