Noncontradiction as a Scientific Modus Operandi :: Science Logic Papers

Noncontradiction as a Scientific Modus OperandiWe explicate the view that our ignorance of the character of the real world R, more so than a lack of discretion or sufficient time to have deduced the right from what is so farthest known, accounts for the inadequacies of our theories of truth and systems of logic. Because of these inadecuacies, advocacy of pregnant correctness of such theories and systems is certainly not right and should be replaced with a perspective of Explorationism which is the broadest possible investigation of authority theories and systems along with the realization that all such theories and systems are partial and tentative. For example, the office of classical logic is clearly untenable from the perspective of explorationism. Due to ignorance regarding R and, consequently, the partial and evidential temperament of our knowledge about R, an explorationist foundational logical simulation should contain machinery which goes beyond that of classical logi c in the direction of allowing for the handling of confirmative and refutatory evidential knowledge. Such a foundational framework (which I harbinger point Logic) is described and analysed in terms of its ability to tolerate substantial evidential conflict while not allowing contraditions. 0. OverviewThe variegated landscape of theories of truth and systems of logic, wherein each is cogently argued while yet inconclusive, is substantially accounted for by the fact that we salutary dont know enough yet about the nature of our universe, let us call it R, to be able to settle on one or the other of these theories and systems as adequate for the representation and treat of our knowledge about R. In this paper firstly we discuss this thesis, that it is in the first place our ignorance of R, and not any failure to rigorously construct our theories and systems, that is a fundamental frequency cause of the inadequacies of these theories and systems. Secondly we will delineate a scie ntific perspective, Explorationism, which, if the thesis first considered is correct, is deserving of advocacy. Finally, we exemplify this perspective by exhibiting a logic, Evidence Logic (EL), which incorporates a broadened concept of negation which (1) provides for the representation and processing of both confirmatory and refutatory evidential knowledge including the possibility of a generous range of foreign evidence while yet (2) enforces noncontradiction.1. The inadequacy of our theories of truth and systems of logicevery survey of the gamut of theories of truth so far constructed makes clear that, while each may be presented cogently, each manages to tell only part of the story.