Download syllogism-10.hqx (137,505 KB)
From: Ben Sharvy
Subject: Syllogism 1.0
Syllogism
Webster's: 1. a deductive scheme of a formal argument consisting of a
major and a minor premise and a conclusion (as 'every virtue is laudable;
kindness is a virtue; therefore, kindness is laudable') 2. a subtle,
specious, or crafty argument 3. deductive reasoning
Syllogism 1.0 tests and models a certain kind of reasoning. It will find
the one valid conclusion from premise sets like:
10 Socrates is a Greek
20 all men are mortal
30 all Greeks are men
40 no gods are mortal
It will consider much more complicated premise sets too. It is smarter than
you.
*
This version of Syllogism is a standalone application for MacOS 8.6-9.x.
You can run Syllogism on a Mac Plus with System 6.x, or Windows, with
Chipmunk BASIC or many other BASIC interpreters. See below for more info.
Syllogism 1.0 is much more stable than the previous version. It was
compiled from fine-tuned BASIC source code, using Metal 1.7.3. Metal is a
free BASIC interpreter and metacompiler for the Mac. The source code to
Syllogism, and links to Metal and other BASIC interpreters which work under
OS X, Windows, and Linux are available at:
http://www.efn.org/~bsharvy/crunchy.html
Syllogism 1.0, as source code or compiled program, costs zero dollars. You
may distribute altered versions provided: 1) they work, 2) there is clear
and prominent notification that you altered the program and how, 2) there
is clear and prominent notification of the original authorship.