19 ideas
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] |
10065 | Perhaps If-thenism survives in mathematics if we stick to first-order logic [Musgrave] |
10061 | The If-thenist view only seems to work for the axiomatised portions of mathematics [Musgrave] |
13851 | Unlike most other signs, = cannot be eliminated [Engelbretsen/Sayward] |
10049 | Logical truths may contain non-logical notions, as in 'all men are men' [Musgrave] |
10050 | A statement is logically true if it comes out true in all interpretations in all (non-empty) domains [Musgrave] |
13852 | Axioms are ω-incomplete if the instances are all derivable, but the universal quantification isn't [Engelbretsen/Sayward] |
10058 | No two numbers having the same successor relies on the Axiom of Infinity [Musgrave] |
10063 | Formalism is a bulwark of logical positivism [Musgrave] |
10062 | Formalism seems to exclude all creative, growing mathematics [Musgrave] |
14596 | Call 'nominalism' the denial of numbers, properties, relations and sets [Dorr] |
14597 | Natural Class Nominalism says there are primitive classes of things resembling in one respect [Dorr] |
14598 | Abstracta imply non-logical brute necessities, so only nominalists can deny such things [Dorr] |
10060 | Logical positivists adopted an If-thenist version of logicism about numbers [Musgrave] |