Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Leonardi.DB: A Database of Aristotelian Diagrams
View through CrossRef
Aristotelian diagrams, such as the square of opposition, are among the oldest and most well-known types of logical diagrams. Within the burgeoning research program of logical geometry, we have been developing a comprehensive database of Aristotelian diagrams that occur in the extant literature: Leonardi.DB (the Leuven Ontology for Aristotelian Diagrams, and its corresponding Database). In this talk, which is based on joint work with Hans Smessaert, I will present Leonardi.DB to the universal logic research community. We describe the philosophical background and main motivations for Leonardi.DB, focusing on how the database provides a solid empirical foundation for theoretical research within logical geometry. We also discuss some of the main methodological and technical aspects of the database development. As a proof-of-concept, we provide some examples of the new kinds of research that will be facilitated by Leonardi.DB, e.g., regarding broad trends in the usage and visual properties of Aristotelian diagrams.
Title: Leonardi.DB: A Database of Aristotelian Diagrams
Description:
Aristotelian diagrams, such as the square of opposition, are among the oldest and most well-known types of logical diagrams.
Within the burgeoning research program of logical geometry, we have been developing a comprehensive database of Aristotelian diagrams that occur in the extant literature: Leonardi.
DB (the Leuven Ontology for Aristotelian Diagrams, and its corresponding Database).
In this talk, which is based on joint work with Hans Smessaert, I will present Leonardi.
DB to the universal logic research community.
We describe the philosophical background and main motivations for Leonardi.
DB, focusing on how the database provides a solid empirical foundation for theoretical research within logical geometry.
We also discuss some of the main methodological and technical aspects of the database development.
As a proof-of-concept, we provide some examples of the new kinds of research that will be facilitated by Leonardi.
DB, e.
g.
, regarding broad trends in the usage and visual properties of Aristotelian diagrams.
Related Results
The Modal Logic of Aristotelian Diagrams
The Modal Logic of Aristotelian Diagrams
In this paper, we introduce and study AD-logic, i.e., a system of (hybrid) modal logic that can be used to reason about Aristotelian diagrams. The language of AD-logic, LAD, is int...
Opposition and Implication in Aristotelian Diagrams
Opposition and Implication in Aristotelian Diagrams
In logical geometry, Aristotelian diagrams are studied in a systematic fashion. Recent developments in this field have shown that the square of opposition generalizes in two ways, ...
Alpha-Structures and Ladders in Logical Geometry
Alpha-Structures and Ladders in Logical Geometry
AbstractAristotelian diagrams, such as the square of opposition and other, more complex diagrams, have a long history in philosophical logic. Alpha-structures and ladders are two s...
Towards a Model Theory of Venn Diagrams
Towards a Model Theory of Venn Diagrams
One of the goals of logical analysis is to construct mathematical models of various practices of deductive inference. Traditionally, this is done by means of giving semantics and r...
UML Class Diagram Classification Using Category Theory
UML Class Diagram Classification Using Category Theory
To effectively evaluate a system that performs operations on UML class diagrams, it is essential to cover a large variety of different types of diagrams. The coverage of the diagra...
Morphisms between Aristotelian Diagrams
Morphisms between Aristotelian Diagrams
In logical geometry, Aristotelian diagrams are studied in a precise and systematic way. Although there has recently been a good amount of progress in logical geometry, it is still ...
Morphisms Between Aristotelian Diagrams
Morphisms Between Aristotelian Diagrams
AbstractIn logical geometry, Aristotelian diagrams are studied in a precise and systematic way. Although there has recently been a good amount of progress in logical geometry, it i...
ARISTOTELIAN ANCIENT CONSTITUTION AND ANTI-ARISTOTELIAN SOVEREIGNTY IN STUART IRELAND
ARISTOTELIAN ANCIENT CONSTITUTION AND ANTI-ARISTOTELIAN SOVEREIGNTY IN STUART IRELAND
ABSTRACTAristotelianism and anti-Aristotelianism are essential categories for the interpretation of political discourse in Stuart Ireland, Scotland, and England. In the 1650s, the ...