Our work aims to analyze Hegel's critique on the Kantian antinomies in his Wissenchaft de Logik. For Hegel, the metaphysics that presents the true nature of things is the metaphysics of contradiction. By identifying his Logic with this metaphysics, he intended to present in this work the immanent determinations to thought, hence the denomination logic of contradiction. On this account, he will ...

There are writers in both metaphysics and algorithmic information theory (AIT) who seem to think that the latter could provide a formal theory of the former. This paper is intended as a step in that direction. It demonstrates how AIT might be used to define basic metaphysical notions such as object and property for a simple, idealized world. The extent to which these definitions capture intuiti...

Abstract Since the last decades of twentieth and beginning twenty-first century, use metaphysics by philosophers when approaching conceptual problems in biology has increased. Some call this tendency philosophy ‘Metaphysics Biology’ (Guay Pradeu Synthese 1–20, 2017). In paper, I aim at characterizing Metaphysics Biology paying attention to diverse ways addressing biology. will claim that there ...

The paper argues that metaphysics depends upon science when it comes to claims about the constitution of the real world. That thesis is illustrated by considering the examples of global supervenience, the tenseless vs. the tensed theory of time and existence, events vs. substances, and relations vs. intrinsic properties. An argument is sketched out for a metaphysics of a fourdimensional block u...

for “Two Accounts of Laws and Time” Among the most important questions in the metaphysics of science are “What are the natures of fundamental laws and chances?” and “What grounds the direction of time? My aim in this paper is to examine some connections between these questions, discuss two approaches to answering them and argue in favor of one. Along the way I will raise and comment on a number...

The paper first sketches out a reply to the underdetermination challenge and the incommensurability challenge that rebuts the sceptical conclusions of these challenges and that is sufficient to lay the ground for the project of a metaphysics of nature. That metaphysics is as hypothetical as are our scientific theories. The paper then explains how can one can argue for certain views in the metap...

In this paper, the authors describe their initial investigations in computational metaphysics. Our method is to implement axiomatic metaphysics in an automated reasoning system. In this paper, we describe what we have discovered when the theory of abstract objects is implemented in prover9 (a first-order automated reasoning system which is the successor to otter). After reviewing the second-ord...

In this paper, the authors describe their initial investigations in computational metaphysics. Our method is to implement axiomatic metaphysics in an automated reasoning system. In this paper, we describe what we have discovered when the theory of abstract objects is implemented in prover9 (a first-order automated reasoning system which is the successor to otter). After reviewing the second-ord...