Aristotelian syllogisms |
| |
Authors: | Alexander Ollongren |
| |
Institution: | 1. Advanced Space Concepts Laboratory, Department of Mechanical & Aerospace Engineering, University of Strathclyde, 75 Montrose Street, Glasgow, UK;2. Systems, Power and Energy Research Division, School of Engineering, University of Glasgow, James Watt (South) Building University Avenue, Glasgow, UK;3. Institute of Photonics, University of Strathclyde, Wolfson Centre, 106 Rottenrow, Glasgow, UK;1. College of Astronautics, Nanjing University of Aeronautics and Astronautics, Nanjing, 210016, China;2. Shanghai Aerospace Control Technology Institute, Shanghai, 201109, China |
| |
Abstract: | Aristotelian assertive syllogistic logic (without modalities) is embedded in the author’s Lingua Cosmica. The well-known basic structures of assertions and conversions between them in this logic are represented in LINCOS. Since these representations correspond with set-theoretic operations, the latter are embedded in LINCOS as well. Based on this valid argumentation in Aristotle’s sense is obtained for four important so-called perfect figures. Their constructive (intuitionistic) verifications are of a surprisingly elegant simplicity. |
| |
Keywords: | |
本文献已被 ScienceDirect 等数据库收录! |
|