Abstract

The first part of the papaer contains desiderata for a realistic epistemic system as opposed to idealistic ones. One of the main characteristics of idealistic epistemic systems is their deductive infallibility or deductive omniscience. The system presented avoids deductive infallibility though having a strong concept of knowledge. The second part contains the theorems of the system. The system is detailed in so far as it distinguishes between two concepts of belief and one of assumption and interrelates them to the concept of knowledge. Though all concepts satisfy certain consistency criteria the strongest ones hold for the concept of knowledge; whereas a belief in or a assumption (assertion) of a proposition which has inconsistent consequences (not known or believed or assumed by the believer or assumer) does not entail the commitment of believing in (or assuming of) an explicit contradiction. Moreover the system contains a lot of distinctions and details concerning propositions with a second person involved like "a knows that b knows whether p is the case" etc. The third part of the paper contains the semantics of the system which consists of many-valued truth-tables. Since the matrices are finite the system is consistent and decidable.