Holz I 47
Principle/Proof/Leibniz: from the principles of identity and experience (manifoldness is perceived by me) can be proved,
1. that a proof of it is impossible,
2. that all other sentences depend on it. (If they are not true, there is no knowledge at all).
>
Proof/Leibniz.
I 47
Identity Principle/Leibniz: the identity principle is not derived from the senses, but is set with the senses.
>
Identity/Leibniz.
I 56
Reflexive principles/Leibniz:
1. the assumption that the syllogism is valid,
2. that the contradiction is paradoxical.
I 57
This is, however, formal and does not yet lead to a substantive positing of material truth.
I 66
Truths of Reason/Leibniz: here there are two great principles:
1. the principle of non-contradiction
2. the principle of determining reason. (Sufficient reason).
>
Reason/Leibniz.
I 67
"Although these determinant reasons are generally not sufficiently known, we still see that they are present." Insight into the existence of the reason is a priori, for the reason is nothing other than the inesse of the determining factor in the corresponding fact. (>
Ratiocinatio: reduction to identical sentences).
I 77
Axiom: Variety principle: "I perceive different things" (varia a me percipiuntur). This is undoubtedly by direct intuition. This is not provable as empiricism, but it is also not a burden of proof, since it is directly given.
I 125
Perfection/existence/Leibniz: e.g. suppose A, B, C, D are equal, but D is incompatible with A and B, the others are all compatible with each other except D, then it follows that A, B, and C exist if D is excluded.
This is the principle of composibility.