Abstract:
This paper examines two systems of logic that have been proposed for the notions of belief and/or knowledge. The first section looks at and criticizes a system proposed by Robert Ackermann. The second section is concerned with explicating the major points of a system put forth by Jaakko Hintikka. In the third section, an original attack is made upon the "KK-Thesis," which is a theorem provable by both of the systems mentioned above. The fourth and final section of this paper is an attempt by the author to develop a system of epistemic logic which will avoid the criticisms leveled at the other two.Special thanks are extended to Dr. David Annis, whose inspiration and guidance have made the following study possible.
