Analytic statements vs. Synthetic statements

Kant's idea of analytic statements (which have self contained truth) and synthetic statements (which have truther which is established by the status of certain terms within the world) has been extended by Quine to include pragmatic situational statements.

I believe this to be similar to my distinction between "internal" and "external" rules within my component-based model for a formal ontology. The internal rules are analytic, or rather, they can have their truth determined completely by elements found within the formal ontology model. The external rules, on the other hand, are synthetic, in that they are based upon some external conditions or paradigm to have their truth established.



Tags: ontology, Kant, Quine, truth