Syllogism

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.