Help: This page shows how the referencing vocabulary definitions are maintained and interlinked for controlled consistency of documentation. Click on the hyperlinks to see how the terms are defined within the Askemos architecture. more… Tip: Remember the back-button!

This page has three main sections. (Note that the listings could be empty.)

  1. The first item displays a term, URL, text or picture.
  2. Followed by a (still unordered) listing of statements about this subject. (for details follow ">"-link)
  3. Separated by a horizontal rule a "reverse" listing of statements referring to this item in object position.
Evidential reason
2238 ↑ ... is defined by > Askemos Terms
2358 is subclass of > Principle
2356 is a > Fact
2357 is a > class
2243 description > Epistemic reasons are considerations which count in favor of believing some proposition to be true.
2682 derived from > A formal proof or derivation is a finite sequence of sentences (called well-formed formulas in the case of a formal language) each of which is an axiom or follows from the preceding sentences in the sequence by a rule of inference.
2240 alternative > Theoretical reason
2648 alternative > Deterministic