Volume 13, 2008
Logic and Philosophy of Logic
Explorationism, Evidence Logic and the Question of the Non-necessity of All Belief Systems
Explorationism (see www.bu.edu/wcp/Papers/Logi/LogiFaus.htm, WCP XX, “Conflict without Contradiction”) is a perspective concerning human knowledge: as yet, our ignorance of the Real World remains great. With this perspective, all our knowledge is so far only partial and tentative. Evidence Logic (EL) (see “The Concept of Evidence”, INTER. JOURNAL OF INTELLIGENT SYSTEMS 15 (2000), 477‐493) provides an example of a reasonable Base Logic for Explorationism:
EL provides machinery for the representation and processing of gradational evidential predications. Syntactically, for any evidence level e, for a proposition symbol P, Pc:e asserts that there is level e confirmatory evidence regarding P, while Pr:e asserts level e refutatory evidence (n‐ary predications, for n>0, are handled similarly). Semantically, EL has similarly enriched model spaces. The Boolean sentence algebras of the variety of EL languages, varying across stipulated families of predicate and functions symbols, have been analyzed, and EL is sound and complete. Belief Systems, we will argue, are all unnecessary: in science, as well as in all broader domains of human relations and activity, it is always sufficient to have simply commitments, which entail no assertion of Truth but rather simply entail agreed‐upon consequent actions. (Agent A believes a sentence S if A asserts S is True although A does not know (have absolute evidence) that S is True.) We will further seek to explore ways in which such a perspective may help in engendering more enhanced discourse, less absolutist and shrill advocacy and violence, and more rationality, in the Global Village of the new century.