Increasing Levels of Rationality
- Type 1 reasoner: A type 1 reasoner has a complete knowledge of propositional logic i.e., he or she sooner or later believes every tautology (any proposition provable by truth tables). Also, his or her set of beliefs (past, present and future) is logically closed under modus ponens. If he or she ever believes p and believes p → q (p implies q) then he or she will (sooner or later) believe q .
- Type 1* reasoner: A type 1* reasoner believes all tautologies; his or her set of beliefs (past, present and future) is logically closed under modus ponens, and for any propositions p and q, if he or she believes p→q, then he or she will believe that if he or she believes p then he or she will believe q. The type 1* reasoner has "a shade more" self awareness than a type 1 reasoner.
- Type 2 reasoner: A reasoner is of type 2 if he or she is of type 1, and if for every p and q he or she (correctly) believes: "If I should ever believe both p and p→q, then I will believe q." Being of type 1, he or she also believes the logically equivalent proposition: B(p→q)→(Bp→Bq). A type 2 reasoner knows his or her beliefs are closed under modus ponens.
- Type 3 reasoner: A reasoner is of type 3 if he or she is a normal reasoner of type 2.
- Type 4 reasoner: A reasoner is of type 4 if he or she is of type 3 and also believes he or she is normal.
- Type G reasoner: A reasoner of type 4 who believes he or she is modest.
Read more about this topic: Doxastic Logic
Famous quotes containing the words increasing and/or levels:
“Major [William] McKinley visited me. He is on a stumping tour.... I criticized the bloody-shirt course of the canvass. It seems to me to be bad “politics,” and of no use.... It is a stale issue. An increasing number of people are interested in good relations with the South.... Two ways are open to succeed in the South: 1. A division of the white voters. 2. Education of the ignorant. Bloody-shirt utterances prevent division.”
—Rutherford Birchard Hayes (1822–1893)
“The word which gives the key to the national vice is waste. And people who are wasteful are not wise, neither can they remain young and vigorous. In order to transmute energy to higher and more subtle levels one must first conserve it.”
—Henry Miller (1891–1980)