Developing Software to Determine the Validity of Categorical Syllogisms
Project no. 21267 · Status: Kapanmış · 2020
Summary
In this project, we firstly mentioned examples of the requirements and areas in which the syllogism concept is based, and information on the results of the researchers were given and we emphasized on the contents of the chapters that comprise the project. The necessary basic concepts are given in order to facilitate the intelligibility of the project. In the sequel, a model is constructed that can be defined by the categorical syllogism in Carroll diagrams, which can deduce results from premises and correspond premises and conclusion to a set. This model is determined to be valid for conditional or unconditional syllogisms. The family of these sets are based on different algebraic structures. In line with these developments, a new algorithm and a software are created based on the model which acquire the current syllogisms. The pseudo-code of this algorithm is given and is transferred together with images to see how the program runs. Finally, it was summarized all studies done during the project, it was briefly mentioned the conclusions which reach as a result of this study.