Resources for advanced logic students : honors thesis (HONRS 499)

Thumbnail Image
Moellering, Christopher P.
Eflin, Juli K.
Issue Date
Thesis (B.?.)
Honors College
Other Identifiers

This paper is designed as a resource for students in introductory logic classes, such as PHIL 200, which readily grasp the normal material and desire an expanded study of related material. The paper starts with elementary logical notation, treats two connectives not usually covered in introductory classes, and discusses other possible connectives. It then gives a method for generating and examining tables based on connectives which serve as a bridge into lattice theory, a form of abstract algebra. Lattice theory is discussed and a lattice is generated for a two-variable model. Next, set theory is introduced and its relation to both logic and lattice theory is discussed. Finally, some shorter problems are included for those not wishing to put forth the effort or expend the time necessary to cover the lattice theory material. An appendix is included with suggestions on where to find more of these shorter problems.