# Projects

## The Changing Face of Aristotle's Logic at Leuven University (1425-1797). Continuity and Innovation in the Student Notebooks and its European Context. KU Leuven

## Logic, History & Philosophy of Science Ghent University

A first line of research for CLPS is investigating non-classical logic's. This includes both logics that constitute a fragment of classical logic (like some paraconsistent logic's) as logic 'that are an alternative to classical logic (as some relevant logic's). Important to us is to design and research on adaptive logic programs. Adaptive Logic's (first developed by Diderik Batens, founder CLPS) provide a uniform framework for studying ...

## Strategic Research Programme: Cultures of Mathematics: Logic, Philosophy and History of Mathematical Practices. Vrije Universiteit Brussel

## Immanuel KantU+2019s Deduction of the Categories of Quantity as a Stepping Stone to Exploring the Relation between Transcendental and Formal Logic and their respective Metaphysical Implications Ghent University

For many years there have been discussions about how exactly Immanuel KantU+2019s categories of quantity should be derived from the quantitative forms of judgment. This research proposal aims to connect this debate, which we call the "Derivation Controversy," to an analysis of the distinction between formal and transcendental logic, as well as to an analysis of the relation between logic and metaphysics in Kant's philosophy. The debate is ...

## Probabilistic Logic Learning and Computational Creativity KU Leuven

Computational creativity is concerned with designing machines that are able to perform creative tasks. While recent advances in machine learning have increased the creative capabilities of computers, an expressive white-box framework for generative modeling of computationally creative problems is still missing. This project wants to develop such a framework using probabilistic logic programming. Probabilistic logic programs tightly integrate ...

## Exploiting Symmetry in Model Expansion for Predicate and Propositional Logic KU Leuven

Many combinatorial problems exhibit symmetry, a transformational property that does not fundamentally alter the nature of a problem. For instance, renaming a set of identical trucks in a routing problem, mirroring or rotating a chessboard onto itself, or the automorphisms of an input graph give rise to symmetry. These symmetry properties often hinder an algorithm solving a combinatorial problem, as it wastefully investigates different ...

## Towards a Natural History of Formal Semantics. On the Development of Supposition Theory in Post-Medieval Logic (c. 1450- c. 1650). KU Leuven

Supposition theory (ST) is one of the most important non-symbolic forerunners to formal semantics, a branch of linguistics and logic that is characterized by a mathematical (model-theoretic) approach to meaning. ST first emerged after the reintegration of Aristotelian thought in the later 12th c., and it disappeared with the dawn of modern logic in the later 19th c. ST was the predominant current in semantics for a period of more than 500 ...

## Believing in Logic and Philosophy. KU Leuven

Epistemic logic was created in the 1960's, mainly by philosophers. Recent work, however, focuses on connections with areas such as game theory and artificial intelligence (multi-agent systems). Many of these developments are also relevant from a philosophical perspective. Some concrete examples are (1) various social notions of knowledge and belief, (2) the dynamics of knowledge and belief, and (3) connections with justification and ...

## Novel magnetic tunnel junction concept for spin logic application KU Leuven

Spin logic devices based on domain-wall (DW) motion offer flexible architectures to store and carry logic information in a circuit. In this device concept, logic information is encoded in the magnetic state of a magnetic track shared by multiple magnetic tunnel junctions (MTJs) and is processed by DW motion. Such devices combine unique properties such as non-volatility, fast operation, and ultra-low energy consumption. At imec, a novel ...