Course Objective: Our objectives this term will be to demonstrate mastery of basic concepts and methods in the meta-theory of first-order propositional, predicate, and modal logic, including expressive completeness, induction, soundness, completeness, and decidability.
Text: There is no required text for this course. Instead, I’ll be posting several lecture notes to the course website as we go along. Much of the ground we will be covering, especially early on, is inspired by David Bostock’s text, Intermediate Logic (Oxford University Press, 1997). Toward the end of the semester, we might also cover a little material inspired by James Garson’s Modal Logic For Philosophers.
Regular Course Requirements: In lieu of formal exams, I shall be assigning homework every week, portions of which I shall be collecting and grading. The aim here is to provide you with quick and continuous feedback. I also plan to conduct frequent, short quizzes (a dozen or so over the course of the term). If you’ve been keeping up with the material and following the lectures, they should be relatively painless. If you haven’t, we will become aware of that fact in short order.
Assignments and quizzes will be worth between 5 and 20 points apiece, for a total of (roughly) 300 points. Grading shall be according to the standard numerical scale (90-100%=A, 80-90%=B, etc.), which means that you should not expect a curve.
As you can see, none of these assignments or quizzes will be worth all that much individually, however collectively they will be worth a great deal. This means that if you expect to pass this course, you must regularly attend class meetings. If for some reason you cannot make a class session, you should let me know, and I’ll see what we can do about making up any missed homework or quizzes.
Periodically (roughly twice during the semester), I will total up your homework and quiz scores and let you know how you are standing.
Specific Requirements for Graduate Students: In addition to the regular homework and quizzes, students taking this course for graduate credit will be expected to schedule appointments with me for a mid-term oral exam and an oral final. In order to shape the specific direction these oral exams will take, students may opt to complete a special project relating to the course content (e.g., strategic proof completion) and present that work to me as part of the oral. Collectively, these two exams will constitute half of one's grade, with the regular homework exercises and quizzes constituting the other half.
UNLV Standard Course Policies:
Academic Misconduct—Academic integrity is a legitimate concern for every member of the campus community; all share in upholding the fundamental values of honesty, trust, respect, fairness, responsibility and professionalism. By choosing to join the UNLV community, students accept the expectations of the Student Academic Misconduct Policy and are encouraged when faced with choices to always take the ethical path. Students enrolling in UNLV assume the obligation to conduct themselves in a manner compatible with UNLV’s function as an educational institution.
An example of academic misconduct is plagiarism. Plagiarism is using the words or ideas of another, from the Internet or any source, without proper citation of the sources. See the Student Academic Misconduct Policy (approved December 9, 2005) located at: https://www.unlv.edu/studentconduct/student-conduct.
Copyright—The University requires all members of the University Community to familiarize themselves with and to follow copyright and fair use requirements. You are individually and solely responsible for violations of copyright and fair use laws. The university will neither protect nor defend you nor assume any responsibility for employee or student violations of fair use laws. Violations of copyright laws could subject you to federal and state civil penalties and criminal liability, as well as disciplinary action under University policies. Additional information can be found at: http://www.unlv.edu/provost/copyright.
Disability Resource Center (DRC)—The UNLV Disability Resource Center (SSC-A 143, http://drc.unlv.edu/, 702-895-0866) provides resources for students with disabilities. If you feel that you have a disability, please make an appointment with a Disabilities Specialist at the DRC to discuss what options may be available to you. If you are registered with the UNLV Disability Resource Center, bring your Academic Accommodation Plan from the DRC to the instructor during office hours so that you may work together to develop strategies for implementing the accommodations to meet both your needs and the requirements of the course. Any information you provide is private and will be treated as such. To maintain the confidentiality of your request, please do not approach the instructor in front of others to discuss your accommodation needs.
Religious Holidays Policy—Any student missing class quizzes, examinations, or any other class or lab work because of observance of religious holidays shall be given an opportunity during that semester to make up missed work. The make-up will apply to the religious holiday absence only. It shall be the responsibility of the student to notify the instructor within the first 14 calendar days of the course for fall and spring courses (excepting modular courses), or within the first 7 calendar days of the course for summer and modular courses, of his or her intention to participate in religious holidays which do not fall on state holidays or periods of class recess. For additional information, please visit: http://catalog.unlv.edu/content.php?catoid=6&navoid=531.
Transparency in Learning and Teaching—The University encourages application of the transparency method of constructing assignments for student success. Please see these two links for further information:
Incomplete Grades—The grade of I—Incomplete—can be granted when a student has satisfactorily completed three-fourths of course work for that semester/session but for reason(s) beyond the student’s control, and acceptable to the instructor, cannot complete the last part of the course, and the instructor believes that the student can finish the course without repeating it. The incomplete work must be made up before the end of the following regular semester for undergraduate courses. Graduate students receiving “I” grades in 500-, 600-, or 700-level courses have up to one calendar year to complete the work, at the discretion of the instructor. If course requirements are not completed within the time indicated, a grade of F will be recorded and the GPA will be adjusted accordingly. Students who are fulfilling an Incomplete do not register for the course but make individual arrangements with the instructor who assigned the I grade.
Students may consult with a librarian on research needs. For this class, the subject librarian is
https://www.library.unlv.edu/contact/librarians_by_subject. UNLV Libraries provides resources to support students’ access to information. Discovery, access, and use of information are vital skills for academic work and for successful post-college life. Access library resources and ask questions at https://www.library.unlv.edu/.
Tutoring and Coaching—The Academic Success Center (ASC) provides tutoring, academic success coaching and other academic assistance for all UNLV undergraduate students. For information regarding tutoring subjects, tutoring times, and other ASC programs and services, visit http://www.unlv.edu/asc or call 702-895-3177. The ASC building is located across from the Student Services Complex (SSC). Academic success coaching is located on the second floor of the SSC (ASC Coaching Spot). Drop-in tutoring is located on the second floor of the Lied Library and College of Engineering TEB second floor.
UNLV Writing Center—One-on-one or small group assistance with writing is available free of charge to UNLV students
at the Writing Center, located in CDC-3-301. Although walk-in consultations are sometimes available, students with
appointments will receive priority assistance. Appointments may be made in person or by calling 702-895-3908. The
student’s Rebel ID Card, a copy of the assignment (if possible), and two copies of any writing to be reviewed are
requested for the consultation. More information can be found at: http://writingcenter.unlv.edu/.
Rebelmail—By policy, faculty and staff should e-mail students’ Rebelmail accounts only. Rebelmail is UNLV’s official e-mail system for students. It is one of the primary ways students receive official university communication such as information about deadlines, major campus events, and announcements. All UNLV students receive a Rebelmail account after they have been admitted to the university. Students’ e-mail prefixes are listed on class rosters. The suffix is always @unlv.nevada.edu. Emailing within WebCampus is acceptable.
Final Examinations—The University requires that final exams given at the end of a course occur at the time and on the day specified in the final exam schedule. See the schedule at: http://www.unlv.edu/registrar/calendars.