more from this thinker     |     more from this text

Single Idea 19369

[filed under theme 5. Theory of Logic / A. Overview of Logic / 2. History of Logic ]

Full Idea

Lull proposed a combinatorial art. He wanted to reconcile Islam and Christianity by articulating the basic concepts that their belief systems held in common, and then inventing a device that would allow these concepts to be combined.

Gist of Idea

Lull's combinatorial art would articulate all the basic concepts, then show how they combine

Source

report of Ramon (Ars Magna [1305]) by Richard T.W. Arthur - Leibniz 2 Intro

Book Ref

Arthur, Richard T.W.: 'Leibniz' [Polity 2014], p.27

A Reaction

Leibniz's Universal Characteristic was an attempt at continuing Lull's project. Lull's plan rested on Aristotle's categories.

The 15 ideas with the same theme [origins of the various systems of formal logic]:

19369 Lull's combinatorial art would articulate all the basic concepts, then show how they combine [Lull, by Arthur,R]
8686 Boole made logic more mathematical, with algebra, quantifiers and probability [Boole, by Friend]
7622 In 1879 Frege developed second order logic [Frege, by Putnam]
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 [Gentzen, by Read]
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]