The Thoughts Of Leibniz Through Systemic Functional Linguistics [3]

Russell (1961: 573):

Leibniz based his philosophy upon two logical premisses, the law of contradiction and the law of sufficient reason.  Both depend upon the notion of an 'analytic' proposition, which is one in which the predicate is contained in the subject — for instance, 'all white men are men'.  The law of contradiction states that all analytic propositions are true.  The law of sufficient reason … states that all true propositions are analytic.  This applies even to what we should regard as empirical statements about matters of fact.

Blogger Comments:

Through the lens of Systemic Functional Linguistics:

encoding an analytic proposition:

an analytic proposition	is	one in which the predicate is contained in the subject
Value/Identified	Process: relational	Token/Identifier
Subject	Finite	Complement

law of contradiction: all members of the class 'analytic propositions' are members of the class 'true'

all analytic propositions	are	true
Carrier	Process: relational	Attribute
Subject	Finite	Complement

law of sufficient reason: all members of the class 'true propositions' are members of the class 'analytic'

all true propositions	are	analytic
Carrier	Process: relational	Attribute
Subject	Finite	Complement