getTemplate($use_unit); /* // append reserves style // this is ugly and should be removed after we strip styles from items $temp_array = file("/l/web/reserves/ures/stylesheet/.css"); foreach ($temp_array as $line){ $local_style .= $line; } $template->css_style .= ""; */ if (!ereg('index.php',$PHP_SELF)) { $footer = ''; } $header = $template->DisplayHeader(); $footer .= $template->DisplayFooter(); echo $header; ?> Course Name: PHIL 414
Instructor: Lawrence Sklar
Winter 2006

checkHTMLBlock(''); ?> Teller, Paul. "Identity, Functions, and Definite Descriptions," and "Metatheory: The Basic Concepts," in A Modern Formal Logic Primer: Predicate Logic and Metatheory, Volume 2. Englewood Cliffs, New Jersey: Prentice-Hall, Inc. 1989, pp. 138-168. (Chapters 9 & 10)

checkHTMLBlock(''); ?> Teller, Paul. "Mathematical Induction," and "Soundness and Completeness for Sentence Logic Trees," in A Modern Formal Logic Primer: Predicate Logic and Metatheory, Volume 2. Englewood Cliffs, New Jersey: Prentice-Hall, Inc. 1989, pp. 169-190. (Chapters 11 & 12)

checkHTMLBlock(''); ?> Teller, Paul. "Koenig's Lemma, Compactness, and Generalization to Infinite Sets of Premises," and "Interpretations, Soundness, and Completeness for Predicate Logic," in A Modern Formal Logic Primer: Predicate Logic and Metatheory, Volume 2. Englewood Cliffs, New Jersey: Prentice-Hall, Inc. 1989, pp. 212-234. (Chatpers 14 & 15)

checkHTMLBlock(''); ?> Teller, Paul. "Truth Trees for Predicate Logic: Fundamentals," and "More on Truth Trees for Predicate Logic," in A Modern Formal Logic Primer: Predicate Logic and Metatheory, Volume 2. Englewood Cliffs, New Jersey: Prentice-Hall, Inc. 1989, pp. 106-137. (Chapters 7 & 8)

checkHTMLBlock(''); ?> Teller, Paul. "More about Quantifiers," and "Transcription," in A Modern Formal Logic Primer: Predicate Logic and Metatheory, Volume 2. Englewood Cliffs, New Jersey: Prentice-Hall, Inc. 1989, pp. 28-61. (Chapters 3 & 4)

checkHTMLBlock(''); ?> Teller, Paul. "Logical Equivalence, Logical Truths, and Contradictions" and "Validity and Conditionals," in A Modern Formal Logic Primer: Sentence Logic, Volume 1. Englewood Cliffs, New Jersey: Prentice-Hall, Inc. 1989, pp. 29-58. (Chapters 3 & 4)

checkHTMLBlock(''); ?> Teller, Paul. "Truth Trees for Sentence Logic: Fundamentals," and "Truth Trees for Sentence Logic: Applications," in A Modern Formal Logic Primer: Sentence Logic, Volume 1. Englewood Cliffs, New Jersey: Prentice-Hall, Inc. 1989, pp. 113-146. (Chapters 8 & 9)

checkHTMLBlock(''); ?> Teller, Paul. "Predicate Logic: Syntax," and "Predicate Logic: Semantics and Validity," in A Modern Formal Logic Primer: Predicate Logic and Metatheory, Volume 2. Englewood Cliffs, New Jersey: Prentice-Hall, Inc. 1989, pp. 1-27. (Chapters 1 & 2)

checkHTMLBlock(''); ?> Teller, Paul. "Basic Ideas and Tools" and "Transcription between English and Sentence Logic," in A Modern Formal Logic Primer: Sentence Logic, Volume 1. Englewood Cliffs, New Jersey: Prentice-Hall, Inc. 1989, pp. 1-28. (Chapters 1 & 2)

More course materials may be available at this course's CourseTools webpage :
https://ctools.umich.edu/portal/site/a145d6c2-29ce-42fd-80cf-0cfa745d5281


Notice: Undefined variable: footer in /n1/drupal/web/sites/www.lib.umich.edu/local/reserves/ures/lists/1/wi2006/wi2006PHIL414lsklar.php on line 87