A modest proposal concerning laws, counterfactuals, and explanations - - Why be Humean? -- Suggestions from physics for deep metaphysics -- On the passing of time -- Causation, counterfactuals, and the third factor -- The whole ball of wax -- Epilogue : a remark on the method of metaphysics.

This book, based on Jaegwon Kim's 1996 Townsend Lectures, presents the philosopher's current views on a variety of issues in the metaphysics of the mind...

In his controversial book _An Outline of Philosophy_, first published in 1927, Bertrand Russell argues that humanity demands consideration solely as the instrument by which we acquire knowledge of the universe. From our inner-world to the outer-world, from our physical world to the universe, his argument separates modern scientific knowledge and our ‘seeming’ consciousness. These innovative perspectives on philosophy made a significant contribution to the discourse on the meaning, relevance and function of philosophy which continues to this day.

Bertrand Russell argues that humanity demands consideration solely as the instrument by which we acquire knowledge of the universe.

The common account of the analog vs digital distinction is based on features of physical systems, being related to the usage of continuous vs discrete supports respectively. It is proposed here to alternatively characterize the concepts of analog and digital as related to coding systems, of which a formal definition is given, by suggesting that the distinction refers to the strategy adopted to define the coding function: extensional in digital systems, isomorphic intensional in analog systems. This thesis is supported by (...) examples, in particular of analog systems exploiting discrete supports, and is discussed to explain why digital coding is currently so widespread in technological and social practice. (shrink)

Representation is central to contemporary theorizing about the mind/brain. But the nature of representation--both in the mind/brain and more generally--is a source of ongoing controversy. One way of categorizing representational types is to distinguish between the analog and the digital: the received view is that analog representations vary smoothly, while digital representations vary in a step-wise manner. I argue that this characterization is inadequate to account for the ways in which representation is used in cognitive science; in its place, I (...) suggest an alternative taxonomy. I will defend and extend David Lewis's account of analog and digital representation, distinguishing analog from continuous representation, as well as digital from discrete representation. I will argue that the distinctions available in this four-fold account accord with representational features of theoretical interest in cognitive science more usefully than the received analog/digital dichotomy. (shrink)

Quine has called the question, ‘What is there?’ the “ontological question.” But if we call this question by that name, what name shall we use for the question, ‘What are we asking when we ask “What is there?”’? I shall call it ‘the meta-ontological question’. I shall call the attempt to answer the meta-ontological question ‘meta-ontology’ and any proposed answer to it ‘a meta-ontology’. In this essay, I shall briefly sketch a meta-ontology. The meta-ontology I shall present is broadly Quinean. (...) I am, in fact, willing to call it an exposition of Quine’s meta-ontology. (shrink)

The debate over physicalism in philosophy of mind can be seen as concerning an inconsistent tetrad of theses: (1) if physicalism is true, a priori physicalism is true; (2) a priori physicalism is false; (3) if physicalism is false, epiphenomenalism is true; (4) epiphenomenalism is false. This paper argues that one may resolve the debate by distinguishing two conceptions of the physical: on the theory‐based conception, it is plausible that (2) is true and (3) is false; on the object‐based conception, (...) it is plausible that (3) is true and (2) is false. the paper also defends and explores the version of physicalism that results from this strategy. (shrink)

This is the second volume of philosophical essays by one of the most innovative and influential philosophers now writing in English. Containing thirteen papers in all, the book includes both new essays and previously published papers, some of them with extensive new postscripts reflecting Lewis's current thinking. The papers in Volume II focus on causation and several other closely related topics, including counterfactual and indicative conditionals, the direction of time, subjective and objective probability, causation, explanation, perception, free will, and rational (...) decision. Throughout, Lewis analyzes global features of the world in such a way as to show that they might turn out to supervene on the spatiotemporal arrangement of local qualities. (shrink)

Tn this paper I explore and to an extent defend HS. The main philosophical challenges to HS come from philosophical views that say that nomic concepts-laws, chance, and causation-denote features of the world that fail to supervene on non-nomic features. Lewis rejects these views and has labored mightily to construct HS accounts of nomic concepts. His account of laws is fundamental to his program, since his accounts of the other nomic notions rely on it. Recently, a number of philosophers have (...) criticized Lewis's account, and Humean accounts of laws generally, for delivering, at best, a pale imitation ofthe genuine item. These philosophers think that the notion of law needed by science requires laws-if there are any-to be fundamental features of our world that are completely distinct from and not supervenient on the particular facts that they explain. I side with Lewis against these philosophers. Here I will argue that although Lewis-laws don't fulfill all our philosophical expectations, they do play the roles that science needs laws to play. The metaphysics and epistemology of Humean laws, and more specifically, Lewis-laws, are in much better shape than the metaphysics and epistemology of the main anti-Humean alternatives. However, I do have inisgivings about Lewis's account. Both he and his critics assume that the basic properties are so individuated so that the laws are not metaphysically necessary. If this assumption is rejected, then the question of Humean supervenience lapses. I conclude with a brief discussion of this position. (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)

The existence of non-standard numbers in first-order arithmetics is a semantic obstacle for modelling our arithmetical skills. This article argues that so far there is no adequate approach to overcome such a semantic obstacle, because we can also find out, and deal with, non-standard elements in Turing machines.

We address an argument by Floridi (Synthese 168(1):151–178, 2009; 2011a), to the effect that digital and analogue are not features of reality, only of modes of presentation of reality. One can therefore have an informational ontology, like Floridi’s Informational Structural Realism, without commitment to a supposedly digital or analogue world. After introducing the topic in Sect. 1, in Sect. 2 we explain what the proposition expressed by the title of our paper means. In Sect. 3, we describe Floridi’s argument. In (...) the following three sections, we raise three difficulties for it, (i) an objection from intuitions: Floridi’s view is not supported by the intuitions embedded in the scientific views he exploits (Sect. 4); (ii) an objection from mereology: the view is incompatible with the world’s having parts (Sect. 5); (iii) an objection from counting: the view entails that the question of how many things there are doesn’t make sense (Sect. 6). In Sect. 7, we outline two possible ways out for Floridi’s position. Such ways out involve tampering with the logical properties of identity, and this may be bothersome enough. Thus, Floridi’s modus ponens will be our (and most ontologists’) modus tollens. (shrink)

This report reviews what quantum physics and information theory have to tell us about the age-old question, How come existence? No escape is evident from four conclusions: (1) The world cannot be a giant machine, ruled by any preestablished continuum physical law. (2) There is no such thing at the microscopic level as space or time or spacetime continuum. (3) The familiar probability function or functional, and wave equation or functional wave equation, of standard quantum theory provide mere continuum idealizations (...) and by reason of this circumstance conceal the information-theoretic source from which they derive. (4) No element in the description of physics shows itself as closer to primordial than the elementary quantum phenomenon, that is, the elementary device-intermediated act of posing a yes-no physical question and eliciting an answer or, in brief, the elementary act of observer-participancy. Otherwise stated, every physical quantity, every it, derives its ultimate significance from bits, binary yes-or-no indications, a conclusion which we epitomize in the phrase, it from bit. (shrink)

Physicalism, the thesis that everything is physical, is one of the most controversial problems in philosophy. Its adherents argue that there is no more important doctrine in philosophy, whilst its opponents claim that its role is greatly exaggerated. In this superb introduction to the problem Daniel Stoljar focuses on three fundamental questions: the interpretation, truth and philosophical significance of physicalism. In answering these questions he covers the following key topics: -/- (i)A brief history of physicalism and its definitions, (ii)what a (...) physical property is and how physicalism meets challenges from empirical sciences, (iii)'Hempel’s dilemma’ and the relationship between physicalism and physics, (iv)physicalism and key debates in metaphysics and philosophy of mind, such as supervenience, identity and conceivability, and (v)physicalism and causality. -/- Additional features include chapter summaries, annotated further reading and a glossary of technical terms, making Physicalism ideal for those coming to the problem for the first time. (shrink)

NOW IN PAPERBACK"€"Starting from a collection of simple computer experiments"€"illustrated in the book by striking computer graphics"€"Stephen Wolfram shows how their unexpected results force a whole new way of looking at the operation of our universe.

An extraordinary and challenging synthesis of ideas uniting Quantum Theory, and the theories of Computation, Knowledge and Evolution, Deutsch's extraordinary book explores the deep connections between these strands which reveal the fabric ...

Some scientists try to discover and report laws of nature. And, they do so with success. There are many principles that were for a long time thought to be laws that turned out to be useful approximations, like Newton’s gravitational principle. There are others that were thought to be laws and still are considered laws, like Einstein’s principle that no signals travel faster than light. Laws of nature are not just important to scientists. They are also of great interest to (...) us philosophers, though primarily in an ancillary way. Qua philosophers, we do not try to discover what the laws are. We care about what it is to be a law, about lawhood, the essential difference between something’s being a law and something’s not being a law. It is one of our jobs to understand lawhood and convey our understanding to others. (shrink)

This entry focuses on two of the more historically important monisms: existence monism and priority monism . Existence monism targets concrete objects and counts by tokens. This is the doctrine that exactly one concrete object exists. Priority monism also targets concrete objects, but counts by basic tokens. This is the doctrine that exactly one concrete object is basic, which will turn out to be the classical doctrine that the whole is prior to its parts.

Cellular automata (henceforth: CA) are discrete, abstract computational systems that have proved useful both as general models of complexity and as more specific representations of non-linear dynamics in a variety of scientific fields. Firstly, CA are (typically) spatially and temporally discrete: they are composed of a finite or denumerable set of homogeneous, simple units, the atoms or cells. At each time unit, the cells instantiate one of a finite set of states. They evolve in parallel at discrete time steps, following (...) state update functions or dynamical transition rules: the update of a cell state obtains by taking into account the states of cells in its local neighborhood (there are, therefore, no actions at a distance). Secondly, CA are abstract, as they can be specified in purely mathematical terms and implemented in physical structures. Thirdly, CA are computational systems: they can compute functions and solve algorithmic problems. Despite functioning in a different way from traditional, Turing machine-like devices, CA with suitable rules can emulate a universal Turing machine, and therefore compute, given Turing's Thesis, anything computable.... (shrink)

I present an argument for panpsychism: the thesis that everything is conscious, or at least that fundamental physical entities are conscious. The argument takes a Hegelian dialectical form. Panpsychism emerges as a synthesis of the thesis of materalism and the antithesis of dualism. In particular, the key premises of the causal argument for materialism and the conceivability argument for dualism are all accommodated by a certain version of panpsychism. This synthesis has its own antithesis in turn: panprotopsychism, the thesis that (...) fundamental physical entities are protoconscious, also accommodates the key premises. Panpsychism and panprotopsychism are synthesized under Russellian monism, and then face an antithesis, the combination problem. The question of whether there is a new synthesis remains open. (shrink)

“Russellian Monism” is a name given to a family of views in philosophy of mind. The family is exciting because it seems to present an alternative both to materialism and to dualism. After briefly setting out the need for this alternative, I distinguish four different kinds of Russellian Monism (RM), and assess their pros and cons. My own feeling, as will emerge in the final section of the paper, is that only the fourth of these represents a viable version of (...) the view. But my main aim is less to state my feelings than to get clear on the different versions of the view and on what is involved in choosing among them. (shrink)

This chapter has two goals. The first is to explain concepts associated with information and computation in physical terms. The other goal of this chapter is to analyze concepts in physics like space, time, and causality in information-theoretic and computational terms.

Zuse proposed that the universe is being computed by some sort of cellular automaton or other discrete computing machinery, challenging the long-held view that some physical laws are continuous by nature. Calculating Space is the title of MIT's English translation of Konrad Zuse's 1969 Rechnender Raum, the first work on digital physics. This is the LaTeX edition by A. German and H. Zenil based on the MIT's English translation with permission from the MIT and Konrad Zuse's son Horst Zuse. Followed (...) by an afterword by A. German and H. Zenil. (shrink)