18 ideas
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] |
10050 | A statement is logically true if it comes out true in all interpretations in all (non-empty) domains [Musgrave] |
10049 | Logical truths may contain non-logical notions, as in 'all men are men' [Musgrave] |
10058 | No two numbers having the same successor relies on the Axiom of Infinity [Musgrave] |
10063 | Formalism is a bulwark of logical positivism [Musgrave] |
10062 | Formalism seems to exclude all creative, growing mathematics [Musgrave] |
19544 | Closure says if you know P, and also know P implies Q, then you must know Q [Dretske] |
19545 | We needn't regret the implications of our regrets; regretting drinking too much implies the past is real [Dretske] |
19546 | Knowing by visual perception is not the same as knowing by implication [Dretske] |
19547 | Reasons for believing P may not transmit to its implication, Q [Dretske] |
19548 | The only way to preserve our homely truths is to abandon closure [Dretske] |
19549 | P may imply Q, but evidence for P doesn't imply evidence for Q, so closure fails [Dretske] |
19550 | We know past events by memory, but we don't know the past is real (an implication) by memory [Dretske] |
10060 | Logical positivists adopted an If-thenist version of logicism about numbers [Musgrave] |
6000 | The goal is rationality in the selection of things according to nature [Diogenes of Babylon, by Blank] |
5999 | The good is what is perfect by nature [Diogenes of Babylon, by Blank] |
6001 | Justice is a disposition to distribute according to desert [Diogenes of Babylon, by Blank] |