Related papers: Category-theoretic formulation of relational mater…
Logical formalisms provide a natural and concise means for specifying and reasoning about preferences. In this paper, we propose lexicographic logic, an extension of classical propositional logic that can express a variety of preferences,…
We elaborate the new interpretation of quantum theory that we recently proposed, according to which quantum particles are considered conceptual entities mediating between pieces of ordinary matter which are considered to act as memory…
In this paper, we propose a fresh perspective on argumentation semantics, to view them as a relational database. It offers encapsulation of the underlying argumentation graph, and allows us to understand argumentation semantics under a…
The paper puts forward a conceptual framework in which the phenomenon of time can be presented and discussed in a proper way. We argue that change is ontologically and epistemologically a more basic phenomenon than time. Time is an abstract…
We develop a representation theory of categories as a means to explore characteristic structures in algebra. Characteristic structures play a critical role in isomorphism testing of groups and algebras, and their construction and…
The present essay provides a new metaphysical interpretation of Relational Quantum Mechanics (RQM) in terms of mereological bundle theory. The essential idea is to claim that a physical system in RQM can be defined as a mereological fusion…
Space and time are central concepts for understanding our World. They are important ingredients at the core of every scientific theory and subject of intense debate in philosophy. Albert Einstein's Special and General theories of Relativity…
This paper discusses the representation of ontologies in the first-order logical environment {\ttfamily FOLE}. An ontology defines the primitives with which to model the knowledge resources for a community of discourse. These primitives…
Most definitions of ontology, viewed as a "specification of a conceptualization", agree on the fact that if an ontology can take different forms, it necessarily includes a vocabulary of terms and some specification of their meaning in…
This article presents formalistic tool for description of structural and biochemical relations between cells in the course of development of the body of plants. This is flexible formalistic space, based on the Category theory and the Petri…
In many different fields of science, it is useful to characterize physical states and processes as resources. Chemistry, thermodynamics, Shannon's theory of communication channels, and the theory of quantum entanglement are prominent…
In this introductory note, I describe my particular view of the notion of ontological commitments as honest and pragmatic working hypotheses that assume the existence (out there) of certain entities represented by the symbols in our theory.…
Quantum theory is a mathematical formalism to compute probabilities for outcomes happenning in physical experiments. These outcomes constitute events happening in space-time. One of these events represents the fact that a system located in…
We take causality and uniqueness of events observation as our driving forces. They are built in in the way we define distinct observers, which then require a finite time to communicate between each other. This unavoidably leads to the…
We develop a qualitative model of decision making with two aims: to describe how people make simple decisions and to enable computer programs to do the same. Current approaches based on Planning or Decisions Theory either ignore uncertainty…
Category theory provides a powerful tool to organize mathematics. A sample of this descriptive power is given by the categorical analysis of the practice of "classes as shorthands" in ZF set theory. In this case category theory provides a…
The language of epistemic specifications and epistemic logic programs extends disjunctive logic programs under the stable model semantics with modal constructs called subjective literals. Using subjective literals, it is possible to check…
These notes present some elements of causality theory. While they are not as complete as other treatments of the topic, there is some originality in that the whole approach is based on a definition of causal curves which allows to simplify…
In nature, one observes that a K-theory of an object is defined in two steps. First a "structured" category is associated to the object. Second, a K-theory machine is applied to the latter category to produce an infinite loop space. We…
What is a physical theory? Although this intriguing question has been addressed from many different perspectives, some physicists and philosophers of physics have implicitly or explicitly embraced a philosophically-neutral definition of a…