6 ideas
6782 | Realism is the only philosophy of science that doesn't make the success of science a miracle [Putnam] |
13831 | Logic is based on transitions between sentences [Prawitz] |
13825 | Natural deduction introduction rules may represent 'definitions' of logical connectives [Prawitz] |
13823 | In natural deduction, inferences are atomic steps involving just one logical constant [Prawitz] |
15897 | Zermelo realised that Choice would facilitate the sort of 'counting' Cantor needed [Zermelo, by Lavine] |
22181 | Putnam says anti-realism is a bad explanation of accurate predictions [Putnam, by Okasha] |