| 
|
QuoteRef: leibGW4_1679
topics >
all references >
ThesaHelp:
references i-l
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. 17-24, in Parkinson, G.H.R. (ed.), Leibniz: Logical Papers, Oxford: Clarendon Press, 1966. Google
Other Reference
Elements of Calculus, p. 235-240 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.
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
ThesaHelp: references i-l (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)