QuoteRef: leibGW_1686

topics > all references > ThesaHelp: references i-l

references i-l
what is truth
object and value equivalence
analytic truth
boolean values, binary numbers, and bit strings
metaphysics and epistemology
necessary truth
infinity and infinitesimal
thought is computational
what is a number
abstraction by common attributes


Leibniz, G.W., "General investigation concerning the analysis of concepts and truths", unpublished manuscript, 1686. Google

Other Reference

p. 28-77, in O'Briant, W.H. (translator), Gottfried Wilhelm Leibniz's General Investigations Concerning the Analysis of concepts and Truths, Athens: University of Georgia Press, 1968, mainly based upon Couturat's 1901 translation.

24 ;;Quote: Leibniz's work in logic remained unpublished and largely unknown until the turn of the century; Boole, Frege, and Peano may have known of his aims in logic
34 ;;Quote: 'A is the same as B' is a reciprocal relation that signifies that one can be substituted for the other in any proposition without destroying its truth
35 ;;Quote: if expand an equivalence to simple primitives both sides will be the same; A and B are coincidents
35 ;;Quote: if A is the subject and B the predicate, B can be substituted for A without destroying the truth; i.e., primitive terms in B are also primitive terms in A
36 ;;Quote: A and A are the first coincidents
36+;;Quote: A and non-A are the first disparities; i.e., it is false that some A is B
36+;;Quote: if A is B, it is false that A is non-B
38 ;;Quote: every proposition is true or false; if L is false, it is non-true
44 ;;Quote: A is true, if when we put A's value in place of A, a contradiction never occurs; reduce to simple primitives
45 ;;Quote: necessary truths are those that reduce to identity; impossibles are those that lead to contradiction
45 ;;Quote: to be certain of truth, analyze to the fundamentally true or prove that a contradiction will never occur; the latter can eliminate a long continuation
45 ;;Quote: possible truths are those that do not lead to contradiction; contingent truths lack resolution even if continued to infinity
45+;;Quote: a false term leads to contradiction; a true term does not
52 ;;Quote: Leibniz's goal: to conceive all propositions in the form of terms
64 ;;Quote: the true is what can be proved or analyzed; the false is what is contrary
64+;;Quote: the necessary reduces to an identity; the impossible reduces to a contradiction; the possible is not impossible
66 ;;Quote: all truths can be explained by numbers
66+;;Quote: absolute and hypothetical truths have the same laws; syllogisms are categorical
66 ;;Quote: 'something is B' is nothing other than B-ness itself; abstractions are attributes
72 ;;Quote: A=A, non-A=non-A, AA=A, non-non-A=A, if A=B then AC=BC for some C, if A=B then non-A=non-B, if A=B then A!=non-B
72+;;Quote: A-non-A is not a thing

Related Topics up

ThesaHelp: references i-l (342 items)
Topic: logic (84 items)
Topic: what is truth (66 items)
Topic: object and value equivalence (60 items)
Topic: reductionism (51 items)
Topic: analytic truth (51 items)
Topic: boolean values, binary numbers, and bit strings (44 items)
Topic: metaphysics and epistemology (65 items)
Topic: necessary truth (24 items)
Topic: infinity and infinitesimal (37 items)
Topic: thought is computational (55 items)
Topic: what is a number (55 items)
Topic: abstraction by common attributes (19 items)

Collected barberCB 3/98 1/00
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.