8 ideas
17962 | The truth-maker principle is that every truth has a sufficient truth-maker [Forrest] |
10842 | The fact which is stated by a true sentence is not something in the world [Strawson,P] |
10843 | Facts aren't exactly true statements, but they are what those statements say [Strawson,P] |
10844 | The statement that it is raining perfectly fits the fact that it is raining [Strawson,P] |
10841 | The word 'true' always refers to a possible statement [Strawson,P] |
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] |