Sequences of Formal Theories
The process of scientific research follows a general pattern. Firstly, observations are made and data is gathered. Secondly, patterns are extracted from these observations and generalized by induction into propositions. Thirdly, these propositions are analyzed to find their logical consequences and relationships. The basic propositions can be seen as axioms and the axioms and their consequences together form a theory.
KeywordsFormal Theory Classical Physic Conjunctive Normal Form Predicate Symbol Default Rule
Unable to display preview. Download preview PDF.