Results 1 
2 of
2
Formal Theory Building Using Automated Reasoning Tools
 In
, 1998
"... The merits of representing scientific theories in formal logic are wellknown. Expressing a scientific theory in formal logic explicates the theory as a whole, and the logic provides formal criteria for evaluating the theory, such as soundness and consistency. On the one hand, these criteria corresp ..."
Abstract

Cited by 6 (6 self)
 Add to MetaCart
The merits of representing scientific theories in formal logic are wellknown. Expressing a scientific theory in formal logic explicates the theory as a whole, and the logic provides formal criteria for evaluating the theory, such as soundness and consistency. On the one hand, these criteria correspond to natural questions to be asked about the theory: is the theory contradictionfree? (is the theory logically consistent?) is the theoretical argumentation valid? (can a theorem be soundly derived from the premises?) and other such questions. On the other hand, testing for these criteria amounts to making many specific proof attempts or model searches: respectively, does the theory have a model? can we find a proof of a particular theorem? As a result, testing for these criteria quickly defies manual processing. Fortunately, automated reasoning provides some valuable tools for this endeavor. This paper discusses the use of firstorder logic and existing automated rea...
On criteria for formal theory building: Applying logic and automated reasoning tools to the social sciences
 In Proc. AAAI’99
, 1999
"... This paper provides practical operationalizations of criteria for evaluating scientific theories, such as the consistency and falsifiability of theories and the soundness of inferences, that take into account definitions. The precise formulation of these criteria is tailored to the use of automated ..."
Abstract

Cited by 4 (3 self)
 Add to MetaCart
This paper provides practical operationalizations of criteria for evaluating scientific theories, such as the consistency and falsifiability of theories and the soundness of inferences, that take into account definitions. The precise formulation of these criteria is tailored to the use of automated theorem provers and automated model generators—generic tools from the field of automated reasoning. The use of these criteria is illustrated by applying them to a first order logic representation of a classic organization theory, Thompson’s Organizations in Action.