By Topic

A Formal System of Aristotelian Syllogism Based on Automata Grammar

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Zhang Yinsheng ; Inst. of Sci. & Tech. Inf. of China, Beijing, China ; Qiao Xiaodong

Several formal systems proving the valid forms of Aristotelian syllogism has been built. However, the previous research has not answered the two questions: (1) how to infer the primary forms of syllogism by which the other valid forms of syllogism can be deducted; and (2) whether formal system of Aristotelian syllogism can be run automatically; if yes, by which language and grammar it can be done. The paper solves the two questions. For the question (1), the paper sets up a rule system to product all the valid forms of syllogism including that primary ones for deducting the other valid forms of syllogism. For the question (2), the paper proposes the sufficient conditions for a formal system being an automata, to which the formal system FA created by the paper is conformable. So the paper asserts FA can prove all the valid forms of Aristotelian syllogism automatically in computers nowadays.

Published in:

Computer Science and Information Engineering, 2009 WRI World Congress on  (Volume:5 )

Date of Conference:

March 31 2009-April 2 2009