ABSTRACT
The effort to formulate the principles of truth preserving inferences is the concern of both logic and epistemology. Formal logic is concerned with how logical propositions (see section 2.1.2) can be ordered to produce reasoning that does not rely on its content for its correctness (e.g., any reasoning of the form 'A or B; not A, therefore B' is formally correct). Here we ignore formal logic almost altogether, except to explain its fundamental character as one of the many ways to assess inferences (see section 3.1.2 below).
