Abstract I explore the view that metaphysics is essentially imaginative. argue central goal of on this understanding, not truth. Metaphysics- as-essentially-imaginative provides novel answers to challenges both value and epistemic status metaphysics.

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...

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...

This paper briefly describes process metaphysics, and argues that it is better suited for describing life than the more standard thing, or substance, metaphysics. It then explores the implications of process metaphysics for conceptualizing evolution. After explaining what it is for an organism to be a process, the paper takes up the Hull/Ghiselin thesis of species as individuals and explores th...

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...