Introduction to Logic

Selmer Bringsjord

---

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

Animations

ch

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 )
  • The two Hyperproof problems showing solution to Problem 7, "The Mystery of the Missing Jam" ( straightforward solution || Smyllyan's wrinkle)
• 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 *******
  • Documentation
  • Problem (binhexed)
  • Graphic
• "The Predicted Weal and Woe of Campaign 96" (camp96.5.tw) unrated
  • Documentation (crucial) ( html || postscript || dvi )
  • Problem
  • Graphic of the Problem
• "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)
  • Documentation
  • Problem
  • Graphic of the Problem
• "Catching Colonel West" ***
  • Documentation
  • Problem
• "The Dreadsbury Mansion Mystery" *****!!
  • Documentation
  • Problem
  • Graphic of the Problem
• Some Robust Problems From RPI Students (givens might not be consistent; watch out)
  • "Political Scuffle" by Ben Levine unrated
    • Documentation ( html || postscript || dvi )
    • Problem
    • Graphic of the Problem
  • "Dental Logic" by Ben Levine ** (no LOG CON or ANA CON allowed)
    • Documentation ( html || postscript || dvi )
    • Problem
    • Graphic of Problem
  • "A Very Brady Problem," by Patrick Vitarius. For this problem, you must start by looking at the groove--umentation. This doc explains that there are two Hyperproof files involved. The first file has been animated by Selmer Bringsjord; try to see if you can figure out how this animation encapsulates the story-with-tune. The Hyperproof adapted lyrics are found in the Intro file. ( html || dvi || postscript )
    • A Very Brady Intro
    • A Very Brady Problem
    • Graphic to trigger that unforgettable song (from the intro file).
  • "Sir Bedevere's Revelation" by Eric Mumford unrated (LOG CON and ANA CON are allowed -- indeed encouraged)
    • Documentation ( html || postscript || dvi )
    • Problem
    • Graphic of the Problem
• First Student-Created Problems at Rensselaer (Fall 95) Warning: These problems aren't certified to contain consistent givens.
  • "Man Your Stations" Documentation Problem
  • "Death Star" Documentation Problem
  • "The Logic of Sleep" Documentation Problem
  • "Facedancers" Documentation Problem

Practice With Quantifiers

• Selmer's World Stuff:
  • Definitions for Selmer's World
    • .html
    • postscript
  • Selmer's World 1 in Hyperproof (.hqx) This file includes some instructive assertions involving quantifiers.
• Campaign 96 ver. 2 (as of 9/15/96)
  • Documentation html | dvi | postscript
  • Campaign 96 ver. 2 in Hyperproof (.hqx)
• Campaign 96 ver. 1 (as of 9/15/95)