# Introduction to Logic

Selmer Bringsjord
Animations || Handouts || Hyperproof Hall of Fame || Practice With Quantifiers || Latest Exam || Supporting Links

## Animations

Hyperproof animations are something we've recently started tinkering with in the Minds & Machines Lab. For an animation designed to play a role in an under-construction problem regarding whether or not Bill Clinton will be impeached, click here to see Starr chasing Clinton in an attempt to prevent the Prez from serving out his second term (adjoining n1). A second animation corresponds to the dreaded Brady Bunch song and the Hyperproof problem "A Very Brady Problem" by Patrick Vitarius, in the Hyperproof Hall of Fame.

## Handouts

• Final, Fall 2000
• Homework 2, due by 12 midnight December 13, 2000. You are to have one email sent directly by this time from Grade Grinder to Krzysztof Marcin Kryszczuk kryszk@rpi.edu, which shows these problems corrected by Grade Grinder: 13.51, 13.52.
• Homework 1, due by 12 midnight Nov 17, 2000. You are to have one email sent directly by this time from Grade Grinder to Krzysztof Marcin Kryszczuk kryszk@rpi.edu, which shows this pair of problems corrected by Grade Grinder. Problems: 13.38, 13.39.
• Midterm, Fall 2000
• Syllabus, Fall 2000 pdf
• "How Do You Stack up Against Spock, Holmes, Wolf, Moriarity, ...", powerpoint prez for Minds & Machines first-year-studies course.
• "I'm More Rational Than Any Machine Will Ever Be! (And Ditto, In Principle, For You)", powerpoint prez for Minds & Machines first-year-studies course.
• Final Exam Fall 1999: For a B, solve 13.27, 13.31, 14.11. For an A, solve 14.60 as well. For bonus extra credit, and to meet a significant challenge, solve 14.62 as well. And, for extra, extra credit, solve 14.8 (the solution to which will in part need to be done on paper, turned in, obiously, to Kelsey). Use the grade grinder (obviously), and have answers submitted to Kelsey (rinelk@rpi.edu) via the Grade Grinder by Decl 16 5pm.
• Homework 2 Fall 1999: 14.12 & 13.51, submitted to Kelsey (rinelk@rpi.edu) via the Grade Grinder by Dec 16 5pm. Note, solving 14.12 alone is sufficient for an A minus.
• Homework 1 Fall 1999: 9.14 & 9.17, submitted to Kelsey (rinelk@rpi.edu) via the Grade Grinder by Nov 11.
• The Hyperproof Quick Reference Guide (hqx)
• Homework#2 Fall 98. Due by final, Wed 12/16, 9am, SA3303, on disk. (If you would like to turn in before the actual final, bring disk to Frances in the Philosophy Office in Sage. Those students in Physics 2 taking the conflict final can of course turn in their HW2 at the conflict final.) If you would simply like an A, and not an extreme challenge, turn in a solution to any one problem on Hyperproof Hall of Fame. If you're looking for a challenge, and some of you have said you are, solve Proof 9.29 from the book, and Adam Lally's What it Feels Like to Be a Cube problem, and one of the problems from the new batch of select problems (link up soon) created this (F 98) semester by Rensselaer students.
• Homework 1, Fall 98. Due Nov 19, in class. Proof 8.36 and a created problem. For 8.36, TAUT CON is not allowed. The latter can be done in groups of up to 5. The created problem must have documentation in a text file, and a solved version of the problem must be submitted. All files should be turned in on diskette. For examples of student-created problems of the first order, see those in Hyperproof Hall of Fame.
• Diagnostic Pre-Test, Fall 98 ( html || postscript || dvi || pdf )
• Diagnostic Post-Test, Fall 98 ( html || postscript || dvi || pdf )
• Final Summer 98
• Practice Partial Midterm Fall 97 ( html || postscript || dvi )
• Syllabus, Summer 99 ( html || postscript || dvi )
• Russell's Paradox and Richard's Paradox ( html || postscript || dvi )
• Yablo's Paradox ( html || postscript || dvi )

## Hyperproof Hall of Fame

• "What it Feels Like to Be a Cube," by Adam Lally *******
• "The Predicted Weal and Woe of Campaign 96" (camp96.5.tw) unrated
• "Severed Dodecs" ****
• Problem
• Documentation
• Graphic of the Problem
• If you haven't seen "Severed Dreams" and would like to see the scene that this situation comes from, a copy (in .mov format) can be viewed by clicking here . Make sure you have a fast network connection as this is a 13MB movie.
• "Catatonia" by Selmer Bringsjord ****
• Documentation? Hey, are you kidding? There isn't a shred of doc for this problem. You're insane to try it: no solution exists on this planet -- though it can be proved that a solution exists in the abstract, mathematical sense of 'exists.' (Actually, Hyperproof's "visual" side makes this problem quite doable. For a real treat, use OBSERVE for each object shown to get a simple existential claim, and then proceed to tackle the problem with sentential rules only.)
• Problem
• If, like most mere mortals, you are forced to throw in the towel on this problem, then click here for a substantial hint.
• "Hillary's Seance" ***** (no LOG CON or ANA CON allowed)
• "Catching Colonel West" ***
• "The Dreadsbury Mansion Mystery" *****!!
• Some Robust Problems From RPI Students (givens might not be consistent; watch out)
• First Student-Created Problems at Rensselaer (Fall 95) Warning: These problems aren't certified to contain consistent givens.

## Latest Exam

Final, Fall 2000 There are three problems on this exam (with one bonus problem), each from the LPL text (see below). You are to have one email sent directly from Grade Grinder to Krzysztof Marcin Kryszczuk kryszk@rpi.edu, which shows this trio (or quartet, as the case may be) of problems corrected by Grade Grinder. The email must come directly from the Grade Grinder. This email must be received before 12 midnight 12/13, 2000. The four problems are:
1. Ex. 13.41, p. 361
2. Ex. 13.49, p. 362
3. Ex. 14.10, p. 377
4. Bonus: Ex. 14.13, p. 377
Midterm, Fall 2000 There are four problems on this exam, each from the LPL text (see below). You are to have one email sent directly from Grade Grinder to Krzysztof Marcin Kryszczuk kryszk@rpi.edu, which shows this quartet of problems corrected by Grade Grinder. The email must come directly from the Grade Grinder. This email must be received before class on Monday, October 23, 2000. Class on Thursday October 19, 2000 will be devoted to a help session on material tested by these four problems. The four problems are:
1. Ex. 8.53, p. 223
2. Ex. 8.38, p. 213
3. Ex. 7.17, p. 186
4. Ex. 7.28, p. 195
Final, Summer 99 Due by 5pm Friday 6/25. (Last class 6/22; hope to see you there.) Slide disk under my door (3210 Sage). Note: These problems increase in difficulty. The last three are quite tricky; even the Barber Problem (9.49) is no cakewalk. Start at the first and work your way up. Do as many as possible. Maybe you'll be the first the first person to solve them all!
1. Proof 9.39
2. Proof 9.42
3. Proof 9.33
4. Proof 9.35
5. Proof 9.49
6. Proof 9.29
7. Severed Dodecs (see Hyperproof Hall of Fame)
8. The Dreadsbury Mansion Mystery (see Hyperproof Hall of Fame)
9. What it Feels Like To Be a Cube (see Hyperproof Hall of Fame)
Midterm, Summer 99 Due start of class Tuesday 6/8. You will turn in a diskette w/ your solved problems on it. Note: These problems increase in difficulty. The last three are quite tricky Start at the first and work your way up. It is not necessary to solve all problems for an A, but you should try your best to get them all.
1. Proof 6.31
2. Proof 6.34
3. Proof 6.36
4. Proof 6.39
5. Proof 6.41
6. Create your own Hyperproof problem (can be done in group)
7. Catching Colonel West (c. Hyperproof Hall of Fame)
Final, Summer 97 Due 5pm Friday 6/27. Slide disk under my door (3210 Sage). Note: These problems increase in difficulty. The last three are quite tricky; even the Barber Problem (9.49) is no cakewalk. Start at the first and work your way up.
1. Proof 9.39
2. Proof 9.42
3. Proof 9.33
4. Proof 9.35
5. Proof 9.49
6. Proof 9.29
7. Severed Dodecs (c. Hyperproof Hall of Fame)
8. The Dreadsbury Mansion Mystery (c. Hyperproof Hall of Fame)