Guide to course web pages Syllabus (requirements, etc.) |
Announcements (test info, etc.) Homework information Software support |
Handbook for Intro to Logic Handbook exercises |
In Firefox While holding down the ‘alt/option’, just click on the exercise file. To save file somewhere other than your default location for downloads, hold down ‘Control’ instead of ‘alt/option’, choose ‘Save as ...’ in the pulldown menu, choose your location, and select ‘All files’ in the ‘Save as’ pulldown menu before clicking the ‘Save’ button. In Safari While holding down the ‘control’ key, click on the exercise file and choose ‘Download linked file as ...’, but do not change the file name. (Names should end with ‘.sen’ for sentence files, ‘.tt’ for truth table files, and ‘.prf’ for proof files.) Safari may add ‘.html’ or ‘.txt’ at the end of the file name. If so, the extra extension must be deleted before opening the file. In Explorer Not recommended because it creates problems with the hidden extensions that indicate file type. In Chrome While holding down the ‘alt/option’ key, click on exercise file and choose ‘Save link target as …’ from the pull-down menu. If you get gibberish or code when you open the file, try following the instructions for Firefox. (I have not had the opportunity to download any of these files using Chrome, but am relying on what students have told me about it. If you have problems downloading the files, I recommend using Firefox or Safari, since I have tested those instructions.)
Week | Date | Topic | Text pp. |
Exercises | Hand- book pp. |
---|---|---|---|---|---|
1 | 1/24 | introduction | |||
1/26 | basics, atomic sentences; logic of atomic sentences |
1 - 10, 17 - 27 41 - 46 |
Recommended: 1.1 - 1.7, 1.9; 1.10, 1.13, 1.14, 1.16, 1.17 * for credit : 1.9, 1.14 |
||
2 | 1/31 | logic of atomic sentences | 47 - 66 | Recommended: 2.1 - 2.4, 2.10, 2.12, 2.15, 2.17 - 2.21, 2.24 - 2.27 * for credit: 2.10, 2.18, 2.20, 2.25, 2.26 |
|
2/2 | Boolean connectives | 67 - 89 | ('H' before a number indicates a handbook exercise to
download.) Recommended: H3.2 - H3.6, 3.7 - 3.10, 3.12 - 3.16 * for credit: H3.2, H3.6; 3.8, 3.10, 3.13, 3.16 |
1 | |
3 | 2/7 | logic of Boolean connectives | 93 - 117 | Recommended in addition to required exercises: , 4.1 and 4.2 in textbook;
* for credit: 3.20, 3.21, 3.23, H4.5, H4.10 |
2 |
2/9 | conditionals | 176 - 194 | Recommended: 7.1 - 7.7, H 7.1-H 7.6, H7.17 - H7.20 * for credit: 4.22; H4.15, H4.19, H7.3, H7.17 |
3 | |
2/11 | Friday, February 11 is the last day to add or drop a class or change the basis of grading. | ||||
4 | 2/14 | catch up | |||
2/16 | review | 176 - 194 | * for credit: 7.10, 7.11, 7.12 | 3 | |
5 | 2/21 | TEST 1 | |||
2/23 | formal proofs | 142 - 148 | 4 | ||
6 | 2/28 | formal proofs, conditionals |
142 - 148, 198 - 213 |
Recommended: H8.1 - H8.7, H8.11 - H8.13; 8.1, 8.18 * for credit: H8.2, H8.3, H8.6, H8.12, H8.13; 8.18 (Do not use Taut Con) |
4 - 7 |
3/1 | formal proofs, conditionals |
149 - 173, 206 - 213 |
Recommended: 8.19-8.24, H8.15 - H8.20; 6.1-6.7; 6.9, 6.10 * for credit: 8.19, 8.24; H8.17, H8.20; 6.5, 6.10 (Do not use Taut Con) |
4 - 7 | |
7 | 3/6 | proofs (continued) | 149 - 175, 198 - 213 |
Recommended: 6.11 - 6.16, 6.19, 6.20; 8.25 - 8.28; 6.24 - 6.32 * for credit: 6.13, 6.19; 8.25, 8.26, 8.27; 6.31, 6.32 (Do not use Taut Con) |
8 - 17 |
3/8 | proofs (continued) | 173 - 175 | Recommended: worlds or formal proofs in 6.34-6.42 and 8.29-8.36 * for credit: : 6.36, 6.40; 8.29, 8.31, 8.32 (Do not use Taut Con) |
18 - 23 | |
8 | 3/13 | review | 221 (box), 222 - 223 |
Recommended: 8.44 - 8.53 * for credit: 8.44, 8.47, 8.46, 8.51, 8.52 (Do not use Taut Con) |
|
3/15 | TEST 2 | ||||
9 | 3/20 | quantification, logic of quantifiers |
227 - 238 | ||
3/22 | quantification | 227 - 250 | Recommended: 9.1 - 9.6, 9.8 - 9.14, 9.17 - 9.19 * for credit: 9.1, 9.3, 9.6, 9.9, 9.11#1, 9.17, 9.18, 9.19 |
||
10 | 3/27 | multiple quantifiers | 259-273; 281 & 285 (boxes); 298-300 |
Recommended: 10.8, 10.9; 10.22-10.29, and 11.1 - 11.4 * for credit: 10.9 Part 2, 10.22, 10.24, 10.27; 11.3, 11.4 |
Bring to class: 24 - 26 |
3/29 | multiple quantifiers | 298-307 | Recommended: 11.5 - 11.15 * for credit: 11.5, 11.6, 11.9, 11.11, 11.13, 11.15 |
Bring to class: 24 - 26 |
|
Spring Break April 2 – April 7 | |||||
11 | 4/10 | multiple quantifiers | 298-307 | Recommended: 11.16 - 11.26 * for credit: 11.17, 11.18, 11.20, 11.26 |
24 - 26 |
4/12 | numerical quantification; Russellian descriptions |
313 - 315; 388 - 390 |
Recommended: 11.31, 11.38 - 11.40, 14.3-14.8 * for credit: 11.38, 11.40, 14.4, 14.6, 14.7 (world) |
24 - 26 | |
12 | 4/17 | review | 388 - 390 | * for credit: 14.26, 14.27, 14.28 | |
4/19 | TEST 3 | ||||
13 | 4/24 | proofs with quantifiers | 27 - 29 | ||
4/26 | proofs with quantifiers | 351 - 359 | In remaining weeks, do not use Taut Con, FO Con, or AnaCon
except as noted below. Recommended: 13.2 - 13.9; H 13.1 - H 13.6 * for credit: 13.2, 13.3, 13.4, 13.8; H13.1, H13.3, H13.4, H13.5 |
27 - 32 | |
14 | 5/1 | proofs with quantifiers | 360 - 369 | Recommended: 13.11 - 13.18, 13.23 - 13.30 * for credit: H13.6; 13.11, 13.13, 13.16, 13.24, 13.30; H 13.8 |
33 - 43 |
5/3 | proofs and counterexamples |
360 - 369 | Recommended: 13.31-13.33, 13.40-13.44, 13.50-13.52; H13.9 - H13.12 * for credit: 13.31, 13.32 (using AnaCon as directed), 13.44, 13.50; H13.11, H13.12 |
33 - 52 | |
15 | 5/8 | review | 360 - 369 | * for credit: H13.18, H13.38, H13.39; 14.10, 14.11, 14.14 | 43 - 53 |
5/10 | TEST 4 |
Last modified March 7, 2012. |
|