Abstract of INFO-MAC archived encoded Mac binary file 'sci/syllogism-10.hqx' Uploaded 01/02/2003 137505 bytes 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.