# Sample Syllabus Introduction to Symbolic Logic

Document Sample

```					             Sample Syllabus: Introduction to Symbolic Logic

1. Method & Course Description
------------------------------

In this course, we begin a study of symbolic or formal logic. Logic might
be understood as a systematic investigation of argument in which one
abstracts away from the specific content of arguments to assess the
relative successes or failures specifically to do with the arguments’
form. In formal logic, we investigate the structure of arguments by
studying rule-based systems of derivation. We begin with a propositional
logic - one for which statements can be formalized with only the use of
sentence letters which are evaluated either T (true) or F (false) and
logical connectives - and methods for demonstrating arguments’ validity. We
continue our study with investigation of a predicate logic – one for which
“quantified” statements such as ‘for any object x, if x is red, then x has
a color’ can be formalized. We study methods of derivation for predicate
logic as well as methods for semantic evaluation of sentences of predicate
logic. Finally, we highlight more advanced topics of interest such as
metalogical results for propositional and predicate logic and a system of
modal logic.

2. Instructor Information
-------------------------

Jesse Butler

Contact Information: <e-mail>, <phone>

Office Hours:

Appointments: Please set up an appointment if you're confused
about something or need help getting started on an assignment.

3. Course Information
---------------------

A. Meeting Places & Times
-------------------------

<MTWRF>    <time>   <place>

B. Texts
--------

Required
--------

Harry J. Gensler Introduction to Logic

[This book is on reserve -- visit the circulation desk.]

---------

Grades are based on the number of points a student accumulates during
the course of the semester. Points are accumulated by success completion

1
Sample Syllabus: Introduction to Symbolic Logic

of the homework assignments (and possibly a take-home exam, see below)
and then tallied and letter grades are assigned based on the number of
total points in accord with the following table:

90+         Points........A
87 -   89   Points........B+
83 -   86   Points........B
80 -   82   Points........B-
77 -   79   Points........C+
73 -   76   Points........C
70 -   72   Points........C-
67 -   69   Points........D+
63 -   66   Points........D
60 -   62   Points........D-
59-         Points........F

i. Homework Assignments
-----------------------

To receive credit for a homework assignment a student must
complete and submit before its due-date. Consultation with
outside sources and colleagues is permissible, but the student
should indicate which resources or persons were consulted on the
submission. If an assignment is submitted late or consultation is
not noted the assignment will be awarded zero (0) points. Graded
homework assignments will be promptly graded and returned.

Assignments are divided into two sections. Possible points are
indicated for each assignment -- N.B. different assignments are
worth different amounts.

Section I Propositional Logic: Truth and Derivation
---------------------------------------------------

Assignment     1:   out   of   16 points
Assignment     2:   out   of   12 points
Assignment     3:   out   of   9 points
Assignment     4:   out   of   7 points

Section II Predicate Logic: Truth and Derivation
------------------------------------------------

Assignment     5:   out   of   16 points
Assignment     6:   out   of   12 points
Assignment     7:   out   of   9 points
Assignment     8:   out   of   7 points

Section III Metalogic and Modal Derivation / Semantics Systems
--------------------------------------------------------------

Assignment 9: out of 6 points
Assignment 10: out of 6 points

ii. Supplemental Take Home Exam
-------------------------------

2
Sample Syllabus: Introduction to Symbolic Logic

Students may supplement the number of points they have earned from
homework assignments by completing a take-home exam. The take-home
exam must be completed without collaboration with colleagues. Details
TBA.

D. Classroom Conduct
--------------------

(1) In order to have a productive learning environment, only one
person may speak at a time.
(2) Please be on time to class.
(4) Anyone disrupting will be asked to leave.

E. E-mail Policy
----------------

Only e-mail messages that are concise and relevant will receive
a response. Don't expect an immediate answer.

----------------------

G. Special Needs
----------------

Students requesting special accommodations must first register
with the Dean of Students Office.

H. Tentative Schedule
---------------------

Week1:    IL:   Chp.   1
Week2:    IL:   Chp.   2 (Assignment 1 due)
Week3:    IL:   Chp.   3 (Assignment 2 due)
Week4:    IL:   Chp.   4 (Assignment 3 due)
Week5:    IL:   Chp.   4 cont’d (Assignment 4 due)
Week6:    IL:   Chp.   5 (Assignment 5 due)
Week7:    IL:   Chp.   5 cont’d
Week8:    IL:   Chp.   6 (Assignment 6 due)
Week9:    IL:   Chp.   7 (Assignment 7 due)
Week10:   IL:   Chp.   12 (Assignment 8 due)
Week11:   IL:   Chp.   13 (Assignment 9 due)
Week12:   IL:   Chp.   14 (Assignment 10 due)
Week13:   IL:   Chp.   15 (Take-Home Exam assigned)
Week14:
Week15:   (Take-Home exam due)

3

```
DOCUMENT INFO
Shared By:
Categories:
Stats:
 views: 98 posted: 3/15/2010 language: English pages: 3
How are you planning on using Docstoc?