Aristotelian diagrams, such as the square of opposition, have been widely used throughout the history of philosophy and logic. Nowadays, they also have several applications in other disciplines that are concerned with logical reasoning, such as psychology, linguistics and computer science. The overarching goal of the STARTDIALOG project is to develop a unified theory of Aristotelian diagrams. In this PhD position, you will be responsible for carrying out an absolutely fundamental part of the project, viz., to study the behavior of Aristotelian diagrams in classical formal logic. A representative but non-exhaustive list of potential research topics looks like this:
- We currently have a well-defined notion of 'Aristotelian isomorphism', and some preliminary results on how to generalize this to a notion of 'Aristotelian homomorphism'. Based on these results, can we define one or more categories of Aristotelian diagrams, in the category-theoretical sense of the word? Do these categories enjoy interesting properties? (Demey and his current PhD student Leander Vignero already have some promising results in this direction.)
- Given the notion of Aristotelian isomorphism, it should be straightforward to define a notion of 'Aristotelian automorphism', and thus also of the automorphism group Aut(D) associated with an Aristotelian diagram D. Does the automorphism group provide any interesting information about the Aristotelian diagram it is associated with? For the mathematically inclined: can we prove a representation theorem in this context, i.e. for every group G there exists an Aristotelian diagram D such that G is isomorphic to Aut(D)?
- There are already some results on the informational optimality of Aristotelian diagrams (in relation to their so-called 'opposition' and 'implication' counterparts). We would like to expand on these results and to further unify them into a streamlined framework.
- Logic-sensitivity is an important and well-known phenomenon in logical geometry. There are already some basic results about this, but we would like to expand on them, for example by investigating their interaction with the notion of Boolean complexity. Typical example: it is well-known that there exist fragments of formulas F and logical systems S1, S2 such that the Aristotelian diagram for F relative to S1 is a classical square of opposition, but that for F relative to S2 is a degenerate square of opposition. Do there also exist fragments F and logical systems S1, S2 such that the Aristotelian diagrams for F relative to S1 and to S2 are two Boolean subtypes of one and the same Aristotelian family (e.g. strong vs weak Jacoby-Sesmat-Blanché hexagons)? And most importantly, can we e... For more information see https://www.kuleuven.be/personeel/jobsite/jobs/60140203
Similar Positions
-
Ph D Candidate: Affectivity In The Anthropocene , Radboud University, Netherlands, about 21 hours ago
Employment 0.8 - 1.0 FTE Gross monthly salary € 2,770 - € 3,539 Required background Research University Degree Organizational unit Faculty of Arts Application deadline 15 April 2024 Apply now The ...
-
Ph D Position Hot Corrosion Of Materials And Coatings In Turbine Engines, Forschungszentrum Jülich, Germany, 1 day ago
Your Job: In a project with a leading German aircraft turbine manufacturer, the Institute of Energy and Climate Research - Materials Microstructure and Properties (IEK-2), investigates deposit-ind...
-
Ph D Fellow In Theoretical Seismology , UiT The Arctic University of Norway, Norway, 2 days ago
Stig Brøndbo 28th March 2024 Languages English English English Faculty of Science and Technology PhD Fellow in Theoretical Seismology Apply for this job See advertisement The position The Departme...
-
Ph D Fellow In Theoretical And Computational Chemistry , UiT The Arctic University of Norway, Norway, 2 days ago
Stig Brøndbo 22nd April 2024 Languages English English English Faculty of Science and Technology PhD Fellow in Theoretical and Computational Chemistry Apply for this job See advertisement The posi...
-
Ph D Position (Trans )Sexualities And Psychoanalysis , University of Amsterdam, Netherlands, about 2 hours ago
Are you looking for a challenging position in a dynamic setting? The Amsterdam School for Cultural Analysis (ASCA) currently has a vacant PhD position as part of the Trans-Sexualities project le...
-
Doctoral Scholarship Holder Law Of The European Union, With Particular Attention To Asylum And Migration Law And Eu Constitutional Law, University of Antwerp, Belgium, about 4 hours ago
Department: Faculty of Law - general Regime Full-time Let’s shape the future - University of Antwerp The University of Antwerp is a dynamic, forward-thinking, European university. We offer an inn...