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
underconstruction 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.
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 firstyearstudies course.

"I'm More Rational Than Any Machine Will Ever Be! (And Ditto, In Principle,
For You)",
powerpoint prez for Minds & Machines firstyearstudies 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 studentcreated
problems of the first order, see those in
Hyperproof Hall of Fame.
 Diagnostic PreTest, Fall 98
(
html 
postscript 
dvi 
pdf )
 Diagnostic PostTest, 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)
 "Political Scuffle" by Ben Levine unrated
 "Dental Logic" by Ben Levine ** (no LOG CON or ANA CON allowed)
 "A Very Brady Problem," by Patrick Vitarius.
For this problem, you must start by looking at the
grooveumentation. 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
storywithtune. The Hyperproof adapted lyrics are found in
the Intro file.
( html 
dvi 
postscript )
 "Sir Bedevere's Revelation" by Eric Mumford unrated (LOG CON
and ANA CON are allowed  indeed encouraged)
 First StudentCreated Problems at Rensselaer (Fall 95)
These problems aren't certified to contain
consistent givens.
Practice With Quantifiers
 Selmer's World Stuff:
 Campaign 96 ver. 2 (as of 9/15/96)
 Campaign 96 ver. 1 (as of 9/15/95)
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:
 Ex. 13.41, p. 361
 Ex. 13.49, p. 362
 Ex. 14.10, p. 377
 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:
 Ex. 8.53, p. 223
 Ex. 8.38, p. 213
 Ex. 7.17, p. 186
 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!
 Proof 9.39
 Proof 9.42
 Proof 9.33
 Proof 9.35
 Proof 9.49
 Proof 9.29
 Severed Dodecs (see Hyperproof Hall of Fame)
 The Dreadsbury Mansion Mystery (see Hyperproof Hall of Fame)
 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.
 Proof 6.31
 Proof 6.34
 Proof 6.36
 Proof 6.39
 Proof 6.41
 Create your own Hyperproof problem (can be done in group)
 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.
 Proof 9.39
 Proof 9.42
 Proof 9.33
 Proof 9.35
 Proof 9.49
 Proof 9.29
 Severed Dodecs (c. Hyperproof Hall of Fame)
 The Dreadsbury Mansion Mystery (c. Hyperproof Hall of Fame)
Supporting Links