The article develops a correctness theory of truth (CTT) for semantic information. After the introduction, in section two, semantic information is shown to be translatable into propositional semantic information (i). In section three, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in section four, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. (...) This completes the reduction of the truth of i to the correctness of A. In sections five and six, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates (in a Fregean sense) Q by verifying and validating it (in the computer science’s sense of “verification” and “validation”); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of “proxy”) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of “commutation”); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. The last section draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. (shrink)

This book argues that the only kind of metaphysics that can contribute to objective knowledge is one based specifically on contemporary science as it really is, and not on philosophers' a priori intuitions, common sense, or simplifications of science. In addition to showing how recent metaphysics has drifted away from connection with all other serious scholarly inquiry as a result of not heeding this restriction, this book demonstrates how to build a metaphysics compatible with current fundamental physics, which, when combined (...) with metaphysics of the special sciences, can be used to unify physics with the other sciences without reducing these sciences to physics itself. Taking science metaphysically seriously, this book argues, means that metaphysicians must abandon the picture of the world as composed of self-subsistent individual objects, and the paradigm of causation as the collision of such objects. The text assesses the role of information theory and complex systems theory in attempts to explain the relationship between the special sciences and physics, treading a middle road between the grand synthesis of thermodynamics and information, and eliminativism about information. The consequences of the books' metaphysical theory for central issues in the philosophy of science are explored, including the implications for the realism versus empiricism debate, the role of causation in scientific explanations, the nature of causation and laws, the status of abstract and virtual objects, and the objective reality of natural kinds. (shrink)

Peter van Inwagen notes: "... almost all philosophers agree that a necessary condition for holding an agent responsible for an act is believing that the agent could have refrained from performing that act." Perhaps van Inwagen is right; perhaps most philosophers agree on this. If so, this shared assumption, which I will call CDO (for "could have done otherwise"), is a good candidate for denial, especially since there turns out to be so little to be said in support of it, (...) once it is called in question. I will argue that, just like those people who are famous only for being famous, this assumption owes its traditional high regard to nothing more than its traditional high regard. It is almost never questioned. And the tradition itself, I will claim, is initially motivated by little more than inattentive extrapolation from familiar cases. To engage the issue, I assert that it simply does not matter at all to moral responsibility whether the agent in question could have done otherwise in the circumstances. (shrink)

This is the revised version of an invited keynote lecture delivered at the "1st Australian Computing and Philosophy Conference". The paper is divided into two parts. The first part defends an informational approach to structural realism. It does so in three steps. First, it is shown that, within the debate about structural realism, epistemic and ontic structural realism are reconcilable. It follows that a version of OSR is defensible from a structuralist-friendly position. Second, it is argued that a version of (...) OSR is also plausible, because not all relata are logically prior to relations. Third, it is shown that a version of OSR is also applicable to both sub-observable and observable entities, by developing its ontology of structural objects in terms of informational objects. The outcome is informational structural realism, a version of OSR supporting the ontological commitment to a view of the world as the totality of informational objects dynamically interacting with each other. The paper has been discussed by several colleagues and, in the second half, ten objections that have been moved to the proposal are answered in order to clarify it further. (shrink)

Robert Kane provides a critical overview of debates about free will of the past half century, relating this recent inquiry to the broader history of the free will issue and to vital currents of twentieth century thought. Kane also defends a traditional libertarian or incompatibilist view of free will, employing arguments that are both new to philosophy and that respond to contemporary developments in physics and biology, neuro science, and the cognitive and behavioral sciences.

Luciano Floridi presents a book that will set the agenda for the philosophy of information. PI is the philosophical field concerned with the critical investigation of the conceptual nature and basic principles of information, including its dynamics, utilisation, and sciences, and the elaboration and application of information-theoretic and computational methodologies to philosophical problems. This book lays down, for the first time, the conceptual foundations for this new area of research. It does so systematically, by pursuing three goals. Its metatheoretical goal (...) is to describe what the philosophy of information is, its problems, approaches, and methods. Its introductory goal is to help the reader to gain a better grasp of the complex and multifarious nature of the various concepts and phenomena related to information. Its analytic goal is to answer several key theoretical questions of great philosophical interest, arising from the investigation of semantic information. (shrink)

The philosophy of information (PI) is a new area of research with its own field of investigation and methodology. This article, based on the Herbert A. Simon Lecture of Computing and Philosophy I gave at Carnegie Mellon University in 2001, analyses the eighteen principal open problems in PI. Section 1 introduces the analysis by outlining Herbert Simon's approach to PI. Section 2 discusses some methodological considerations about what counts as a good philosophical problem. The discussion centers on Hilbert's famous analysis (...) of the central problems in mathematics. The rest of the article is devoted to the eighteen problems. These are organized into five sections: problems in the analysis of the concept of information, in semantics, in the study of intelligence, in the relation between information and nature, and in the investigation of values. (shrink)

Evolutionary moral realism is the view that there are moral values with roots in evolution that are both specifically moral and exist independently of human belief systems. In beginning to sketch the outlines of such a view, we examine moral goods like fairness and empathetic caring as valuable and real aspects of the environments of species that are intelligent and social, or at least developing along an evolutionary trajectory that could lead to a level of intelligence that would enable individual (...) members of the species to recognize and respond to such things as the moral goods they in fact are. We suggest that what is most morally interesting and important from a biological perspective is the existence and development of such trajectories, rather than the position of one particular species, such as our own, on one particular trajectory. (shrink)

The work is the presentation of a logical theory - Logic in Reality (LIR) - and of applications of that theory in natural science and philosophy, including ...

Every Thing Must Go aruges that the only kind of metaphysics that can contribute to objective knowledge is one based specifically on contemporary science as it ...

In Contradiction advocates and defends the view that there are true contradictions, a view that flies in the face of orthodoxy in Western philosophy since Aristotle. The book has been at the center of the controversies surrounding dialetheism ever since its first publication in 1987. This second edition of the book substantially expands upon the original in various ways, and also contains the author’s reflections on developments over the last two decades. Further aspects of dialetheism are discussed in the companion (...) volume, Doubt Truth to be a Liar, also published by Oxford University Press in 2006. (shrink)

The paper argues that digital ontology (the ultimate nature of reality is digital, and the universe is a computational system equivalent to a Turing Machine) should be carefully distinguished from informational ontology (the ultimate nature of reality is structural), in order to abandon the former and retain only the latter as a promising line of research. Digital vs. analogue is a Boolean dichotomy typical of our computational paradigm, but digital and analogue are only “modes of presentation” of Being (to paraphrase (...) Kant), that is, ways in which reality is experienced or conceptualised by an epistemic agent at a given level of abstraction. A preferable alternative is provided by an informational approach to structural realism, according to which knowledge of the world is knowledge of its structures. The most reasonable ontological commitment turns out to be in favour of an interpretation of reality as the totality of structures dynamically interacting with each other. The paper is the first part (the pars destruens) of a two-part piece of research. The pars construens, entitled “A Defence of Informational Structural Realism”, is developed in a separate article, also published in this journal. (shrink)

This essay discusses the nature of collective responsibility and explores various controversies associated with its possibility and normative value.

One of the open problems in the philosophy of information is whether there is an information logic (IL), different from epistemic (EL) and doxastic logic (DL), which formalises the relation “a is informed that p” (Iap) satisfactorily. In this paper, the problem is solved by arguing that the axiom schemata of the normal modal logic (NML) KTB (also known as B or Br or Brouwer’s system) are well suited to formalise the relation of “being informed”. After having shown that IL (...) can be constructed as an informational reading of KTB, four consequences of a KTB-based IL are explored: information overload; the veridicality thesis (Iap → p); the relation between IL and EL; and the Kp → Bp principle or entailment property, according to which knowledge implies belief. Although these issues are discussed later in the article, they are the motivations behind the development of IL. (shrink)

The essential difficulty about Computer Ethics' (CE) philosophical status is a methodological problem: standard ethical theories cannot easily be adapted to deal with CE-problems, which appear to strain their conceptual resources, and CE requires a conceptual foundation as an ethical theory. Information Ethics (IE), the philosophical foundational counterpart of CE, can be seen as a particular case of environmental ethics or ethics of the infosphere. What is good for an information entity and the infosphere in general? This is the ethical (...) question asked by IE. The answer is provided by a minimalist theory of deseerts: IE argues that there is something more elementary and fundamental than life and pain, namely being, understood as information, and entropy, and that any information entity is to be recognised as the centre of a minimal moral claim, which deserves recognition and should help to regulate the implementation of any information process involving it. IE can provide a valuable perspective from which to approach, with insight and adequate discernment, not only moral problems in CE, but also the whole range of conceptual and moral phenomena that form the ethical discourse. (shrink)

General Process Theory (GPT) is a new (non-Whiteheadian) process ontology. According to GPT the domains of scientific inquiry and everyday practice consist of configurations of ‘goings-on’ or ‘dynamics’ that can be technically defined as concrete, dynamic, non-particular individuals called general processes. The paper offers a brief introduction to GPT in order to provide ontological foundations for research programs such as interactivism that centrally rely on the notions of ‘process,’ ‘interaction,’ and ‘emergence.’ I begin with an analysis of our common sense (...) concept of activities, which plays a crucial heuristic role in the development of the notion of a general process. General processes are not individuated in terms of their location but in terms of ‘what they do,’ i.e., in terms of their dynamic relationships in the basic sense of one process being part of another. The formal framework of GPT is thus an extensional mereology, albeit a non-classical theory with a non-transitive part-relation. After a brief sketch of basic notions and strategies of the GPT-framework I show how the latter may be applied to distinguish between causal, mechanistic, functional, self-maintaining, and recursively self-maintaining interactions, all of which involve ‘emergent phenomena’ in various senses of the term. (shrink)

The paper presents a critical appraisal of Floridi’s metaphysical foundation of information ecology. It highlights some of the issues raised by Floridi with regard to the axiological status of the objects in the “infosphere,” the moral status of artificial agents, and Floridi’s foundation of information ethics as information ecology. I further criticise the ontological conception of value as a first order category. I suggest that a weakening of Floridi’s demiurgic information ecology is needed in order not to forget the limitations (...) of human actors and/or of their surrogates, digital agents. I plea for a rational theoretical and practical view of such agents beyond utopian reasoning with regard to their potential moral status. (shrink)

The quantum logical `or' is analyzed from a physical perspective. We show that it is the existence of EPR-like correlation states for the quantum mechanical entity under consideration that make it nonequivalent to the classical situation. Specifically, the presence of potentiality in these correlation states gives rise to the quantum deviation from the classical logical `or'. We show how this arises not only in the microworld, but also in macroscopic situations where EPR-like correlation states are present. We investigate how application (...) of this analysis to concepts could alleviate some well known problems in cognitive science. (shrink)

Our aim in this article is to attempt to discuss propagating organization of process, a poorly articulated union of matter, energy, work, constraints and that vexed concept, “information”, which unite in far from equilibrium living physical systems. Our hope is to stimulate discussions by philosophers of biology and biologists to further clarify the concepts we discuss here. We place our discussion in the broad context of a “general biology”, properties that might well be found in life anywhere in the cosmos, (...) freed from the specific examples of terrestrial life after 3.8 billion years of evolution. By placing the discussion in this wider, if still hypothetical, context, we also try to place in context some of the extant discussion of information as intimately related to DNA, RNA and protein transcription and translation processes. While characteristic of current terrestrial life, there are no compelling grounds to suppose the same mechanisms would be involved in any life form able to evolve by heritable variation and natural selection. In turn, this allows us to discuss at least briefly, the focus of much of the philosophy of biology on population genetics, which, of course, assumes DNA, RNA, proteins, and other features of terrestrial life. Presumably, evolution by natural selection—and perhaps self-organization—could occur on many worlds via different causal mechanisms. Here we seek a non-reductionist explanation for the synthesis, accumulation, and propagation of information, work, and constraint, which we hope will provide some insight into both the biotic and abiotic universe, in terms of both molecular self reproduction and the basic work energy cycle where work is the constrained release of energy into a few degrees of freedom. The typical requirement for work itself is to construct those very constraints on the release of energy that then constitute further work. Information creation, we argue, arises in two ways: first information as natural selection assembling the very constraints on the release of energy that then constitutes work and the propagation of organization. Second, information in a more extended sense is “semiotic”, that is about the world or internal state of the organism and requires appropriate response. The idea is to combine ideas from biology, physics, and computer science, to formulate explanatory hypotheses on how information can be captured and rendered in the expected physical manifestation, which can then participate in the propagation of the organization of process in the expected biological work cycles to create the diversity in our observable biosphere. Our conclusions, to date, of this enquiry suggest a foundation which views information as the construction of constraints, which, in their physical manifestation, partially underlie the processes of evolution to dynamically determine the fitness of organisms within the context of a biotic universe. (shrink)

The technological advances of contemporary society have outpaced our moral understanding of the problems that they create. How will we deal with profound ecological changes, human cloning, hybrid people, and eroding cyberprivacy, just to name a few issues? In this book, Lorenzo Magnani argues that existing moral constructs often cannot be applied to new technology. He proposes an entirely different ethical approach, one that blends epistemology with cognitive science. The resulting moral strategy promises renewed dignity for overlooked populations, both of (...) today and of the future. (shrink)