A Puzzle in Traditional Logic

LI Jian-hua,CHEN Bo
DOI: https://doi.org/10.3969/j.issn.1000-2529.2010.06.004
2010-01-01
Abstract:There is a well-known puzzle in traditional logic,that is,SAP→SEP'→P'ES→P'AS'→S'IP'→S'OP,which is valid in its every step,but is not valid from the beginning to the end,for P is not distributive in the premiss SAP,but is distributive in the conclusion S'OP,which is against the rule of inference N.This result is made by the following three elements:the assumption of existence about the subject in catogorical propositions,the rule of inference N which says that if a term is not distributive in the premiss(es),then it must be not distributive in the conclusion,and the four regulations about the distribution of the subject and predecate in categorecal propositions.So,if we want to solve the puzzle,we have at least three choices:refutating the assumption of existence,revising the rule of inference N,and revising the regulations about distribution.Every choice has its own acceptable results and also unacceptable results,so it is not an easy choice.Therefore,the puzzle still awaits a final systematic solution.
What problem does this paper attempt to address?