12 ideas
13831 | Logic is based on transitions between sentences [Prawitz] |
13827 | Logical consequence isn't a black box (Tarski's approach); we should explain how arguments work [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] |
13826 | Model theory looks at valid sentences and consequence, but not how we know these things [Prawitz] |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
7602 | In the Bible God changes his mind (repenting of creating humanity, in the Flood) [Armstrong,K] |
7605 | Monotheism introduced intolerance into religious thinking [Armstrong,K] |
7599 | Around 800 BCE teachers superseded gods in India [Armstrong,K] |
7597 | There is virtually no sign of monotheism in the Pentateuch [Armstrong,K] |
7606 | The idea that Jesus was God was only settled in the fourth century [Armstrong,K] |
7596 | Faith is not just belief in propositions, but also putting trust in them [Armstrong,K] |