7 ideas
12129 | 'Truth' may only apply within a theory [Kuhn] |
13831 | Logic is based on transitions between sentences [Prawitz] |
10121 | Contradiction is not a sign of falsity, nor lack of contradiction a sign of truth [Pascal] |
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] |
6809 | Kuhn came to accept that all scientists agree on a particular set of values [Kuhn, by Bird] |
12128 | In theory change, words shift their natural reference, so the theories are incommensurable [Kuhn] |