ThesaHelp: references il
Topic: natural language as a system
Topic: thought is computational
Topic: logic
Topic: necessary truth
Topic: reductionism
Topic: abstraction
Topic: abstraction by common attributes
Topic: hierarchical structures
Topic: unique numeric names as surrogates
Topic: Godel's incompleteness theorem
 
Reference
Leibniz, G.W.,
"Elements of a Calculus", April 1679, pp. 1724, in Parkinson, G.H.R. (ed.),
Leibniz: Logical Papers, Oxford: Clarendon Press, 1966.
Google
Other Reference
Elements of Calculus, p. 235240 in Loemker, L.E., Gottfried Wilhelm Leibniz. Philosophical papers and letters, Dordrecht Holland: D. Reidel Publishing Company, 1969 (2nd edition). 1st edition 1956.
Notes
References from Couturat, L., Opuscules et Fragments inedits de Leibniz, Paris 1903.
Quotations
16 ;;Quote: assign a symbolic number to every term; composite terms are a product; e.g., man is rational animal (6=2*3)
 18 ;;Quote: a calculus with every distinct concept defined in terms of its requisites
 18+;;Quote: by means of numbers we can judge immediately whether propositions are proved and hence, discover everything that can be proved
 18 ;;Quote: for every true universal, affirmative, categorical proposition the predicate is contained numerically in the subject
 20 ;;Quote: consider universal concepts instead of instances of concepts; e.g., 'gold' as a concept is richer than 'metal', while metal covers more instances
 22 ;;Quote: easily identify hierarchical relations with symbolic numbers; e.g., if man is 6 and ape is 10 then neither concept contains the other

Related Topics
ThesaHelp: references il (342 items)
Topic: natural language as a system (43 items)
Topic: thought is computational (60 items)
Topic: logic (84 items)
Topic: necessary truth (25 items)
Topic: reductionism (51 items)
Topic: abstraction (62 items)
Topic: abstraction by common attributes (19 items)
Topic: hierarchical structures (46 items)
Topic: unique numeric names as surrogates (67 items)
Topic: Godel's incompleteness theorem (19 items)
