5 ideas
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] |
8886 | Being a true justified belief is not a sufficient condition for knowledge [Gettier] |
7667 | There are two sides to men - the pleasantly social, and the violent and creative [Diderot, by Berlin] |