Year: 2024
Type: preprint
Abstract: After a concise introduction to the square of opposition, in particular, and, Aristotelian Diagrams, in general, I describe how one can create a mathematical universe to host these objects. Since these objects assume that the underlying logic is the bivalent logic, I have used these objects as a starting point to introduce fuzzy Aristotelian Diagrams and describe a mathematical formulation of them. In addition, I outline the characteristrics of a mathematical universe that hosts them.
Source: arXiv (Cornell University)
Author: Syropoulos, Apostolos
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W4403575646
