19369 | Lull's combinatorial art would articulate all the basic concepts, then show how they combine [Arthur,R on Lull] |
8686 | Boole made logic more mathematical, with algebra, quantifiers and probability [Friend on Boole] |
7622 | In 1879 Frege developed second order logic [Putnam on Frege] |
10247 | We have no adequate logic at the moment, so mathematicians must create one [Veblen] |
11022 | Gentzen introduced a natural deduction calculus (NK) in 1934 [Read on Gentzen] |
18954 | Before the late 19th century logic was trivialised by not dealing with relations [Putnam] |
5637 | Nowadays logic is seen as the science of extensions, not intensions [Scruton] |
17786 | The mainstream of modern logic sees it as a branch of mathematics [Mayberry] |
8087 | Golden ages: 1900-1960 for pure logic, and 1950-1985 for applied logic [Devlin] |
8089 | Montague's intensional logic incorporated the notion of meaning [Devlin] |
13667 | Skolem and Gödel championed first-order, and Zermelo, Hilbert, and Bernays championed higher-order [Shapiro] |
13668 | Bernays (1918) formulated and proved the completeness of propositional logic [Shapiro] |
13669 | Can one develop set theory first, then derive numbers, or are numbers more basic? [Shapiro] |
13234 | The view of logic as knowing a body of truths looks out-of-date [Beall/Restall] |
18912 | Was logic a branch of mathematics, or mathematics a branch of logic? [Engelbretsen] |