15 ideas
8138 | Beware lest any man spoil you through philosophy [Paul] |
23766 | Don't be tossed to and fro with every wind of doctrine, by cunning deceptive men [Paul] |
13913 | The four 'perfect syllogisms' are called Barbara, Celarent, Darii and Ferio [Engelbretsen/Sayward] |
13914 | Syllogistic logic has one rule: what is affirmed/denied of wholes is affirmed/denied of their parts [Engelbretsen/Sayward] |
13915 | Syllogistic can't handle sentences with singular terms, or relational terms, or compound sentences [Engelbretsen/Sayward] |
13916 | Term logic uses expression letters and brackets, and '-' for negative terms, and '+' for compound terms [Engelbretsen/Sayward] |
13850 | In modern logic all formal validity can be characterised syntactically [Engelbretsen/Sayward] |
13849 | Classical logic rests on truth and models, where constructivist logic rests on defence and refutation [Engelbretsen/Sayward] |
13851 | Unlike most other signs, = cannot be eliminated [Engelbretsen/Sayward] |
13852 | Axioms are ω-incomplete if the instances are all derivable, but the universal quantification isn't [Engelbretsen/Sayward] |
5052 | When Gentiles follow the law, they must have the law written in their hearts [Paul] |
4377 | Intellectualism is an excessive emphasis on reasoning in moral philosophy [Burnyeat] |
7572 | Power is ordained by God, so anyone who resists power resists God, and will be damned [Paul] |
19945 | Jew and Greeks, bond and free, male and female, are all one in Christ [Paul] |
20695 | God's eternal power and deity are clearly seen in what has been created [Paul] |