In Leonid Perlovsky's words:
"The widely accepted story is that Aristotle founded logic as a fundamental mind mechanism, and only during the recent decades science overcame this influence. I would like to emphasize the opposite side of this story.
Aristotle thought that logic and language are closely related. He emphasized that logical statements should not be formulated too strictly and language inherently contains the necessary degree of precision. According to Aristotle, logic serves to communicate already made decisions. The mechanism of the mind relating language, cognition, and the world Aristotle described as forms. Today we call similar mechanisms mental representations, or concepts, or simulators 6 in the mind. Aristotelian forms are similar to Plato’s ideas with a marked distinction, forms are dynamic: their initial states, before learning, are different from their final states of concepts.
Aristotle emphasized that initial states of forms, forms-as-potentialities, are not logical (i.e., vague), but their final states, forms-as-actualities, attained in the result of learning, are logical. This fundamental idea was lost during millennia of philosophical arguments. It is interesting to add Aristotelian idea of vague forms-potentialities has been resurrected in fuzzy logic by Zadeh; and Dynamic Logic described here is an extension of Fuzzy Logic to a process 'from vague to crisp'".
Aristotle Project was recently created with the goal of turning Perlovsky's Dynamic Logic algorithms into Free Software. We aim to provide Python modules and C/C++ libraries. We want to write libraries that work agnostically to which application is built on top of them, which means they could be used in a wide variety of research areas. We also want them to be usable as freely as possible by anyone, so the project complies to the GNU Lesser General Public License v3.0, which means Aristotle’s libraries could be used for either commercial or non-profit purposes.
Aristotle Project also aims to educate AI researchers about Dynamic Logic with wikis and a forum dedicated to discussing DL. We really believe that the best way to learn is by sharing knowledge with the community.
As its ultimate goal, Aristotle Project envisions the creation of a new programming language that enables ideas to be expressed terms of Dynamic Logic. Such achievement has the potential to be an important breakthrough in Artificial Intelligence. To name a few examples of research areas that could benefit from Aristotle: Music Recognition and Synthesis; Speech Recognition and Synthesis; Computer Vision; Autonomous Vehicles; Cyber Security; Augmented Reality; Computational Neuroscience; Computational Neurolinguistics; Psychology; and Artificial Intelligence. But we need a community to make that happen. If you're an AI researcher and you're interested in collaborating with Aristotle, don't hesitate to contact us at firstname.lastname@example.org. At the moment, we also need help to properly structure a wiki, a forum, and set up SSL certificates for our website.
For a theoretical foundation about Dynamic Logic:
- Perlovsky, Leonid I. "Neural Networks, Fuzzy Models And Dynamic Logic". Aspects of Automatic Text Analysis (2007): 363-386. Web. 13 Apr. 2017.
- Perlovsky, Leonid I. "Emotional Cognitive Neural Algorithms With Engineering Applications". 1st ed. Springer-Verlag Berlin An, 2014.
Solutions for the problems from Perlovsky's book "Emotional Cognitive Neural Algorithms with Engineering Applications" can be found in the form of Python scripts here.
Website (sorry about the SSL warning): www.aristotleai.org