Thomas Reid was a philosopher who founded the Scottish school of 'common sense'. Much of Reid's work is a critique of his contemporary, David Hume, whose empiricism he rejects. In this work, written after Reid's appointment to a professorship at the university of Glasgow, and published in 1785, he turns his attention to ideas about perception, memory, conception, abstraction, judgement, reasoning and taste. He examines the work of his predecessors and contemporaries, arguing that 'when we find philosophers maintaining that there (...) is no heat in the fire, nor colour in the rainbow … we may be apt to think the whole to be only a dream of fanciful men, who have entangled themselves in cobwebs spun out of their own brain'. Written by one of the Scottish Enlightenment's most important thinkers, this work brings to life the intellectual debates of the time. (shrink)

Christopher G. Timpson provides the first full-length philosophical treatment of quantum information theory and the questions it raises for our understanding of the quantum world. He argues for an ontologically deflationary account of the nature of quantum information, which is grounded in a revisionary analysis of the concepts of information.

Since it was first published, Quantum Field Theory in a Nutshell has quickly established itself as the most accessible and comprehensive introduction to this profound and deeply fascinating area of theoretical physics. Now in this fully revised and expanded edition, A. Zee covers the latest advances while providing a solid conceptual foundation for students to build on, making this the most up-to-date and modern textbook on quantum field theory available. -/- This expanded edition features several additional chapters, as well as (...) an entirely new section describing recent developments in quantum field theory such as gravitational waves, the helicity spinor formalism, on-shell gluon scattering, recursion relations for amplitudes with complex momenta, and the hidden connection between Yang-Mills theory and Einstein gravity. Zee also provides added exercises, explanations, and examples, as well as detailed appendices, solutions to selected exercises, and suggestions for further reading. (shrink)

Monte Carlo simulations arrive at their results by introducing randomness, sometimes derived from a physical randomizing device. Nonetheless, we argue, they open no new epistemic channels beyond that already employed by traditional simulations: the inference by ordinary argumentation of conclusions from assumptions built into the simulations. We show that Monte Carlo simulations cannot produce knowledge other than by inference, and that they resemble other computer simulations in the manner in which they derive their conclusions. Simple examples of Monte Carlo simulations (...) are analysed to identify the underlying inferences. (shrink)

Simulations (both digital and analog) and experiments share many features. But what essential features distinguish them? I discuss two proposals in the literature. On one proposal, experiments investigate nature directly, while simulations merely investigate models. On another proposal, simulations differ from experiments in that simulationists manipulate objects that bear only a formal (rather than material) similarity to the targets of their investigations. Both of these proposals are rejected. I argue that simulations fundamentally differ from experiments with regard to the background (...) knowledge that is invoked to argue for the “external validity” of the investigation. (shrink)

A number of recent discussions comparing computer simulation and traditional experimentation have focused on the significance of “materiality.” I challenge several claims emerging from this work and suggest that computer simulation studies are material experiments in a straightforward sense. After discussing some of the implications of this material status for the epistemology of computer simulation, I consider the extent to which materiality (in a particular sense) is important when it comes to making justified inferences about target systems on the basis (...) of experimental results. (shrink)

Various scientific theories stand in a reductive relation to each other. In a recent article, we have argued that a generalized version of the Nagel-Schaffner model (GNS) is the right account of this relation. In this article, we present a Bayesian analysis of how GNS impacts on confirmation. We formalize the relation between the reducing and the reduced theory before and after the reduction using Bayesian networks, and thereby show that, post-reduction, the two theories are confirmatory of each other. We (...) then ask when a purported reduction should be accepted on epistemic grounds. To do so, we compare the prior and posterior probabilities of the conjunction of both theories before and after the reduction and ask how well each is confirmed by the available evidence. (shrink)

First-ever comprehensive introduction to the major new subject of quantum computing and quantum information.

The physical limitations, due to quantum mechanics, on the functioning of computers are analyzed.

In this work, Paul Bartha proposes a normative theory of analogical arguments and raises questions and proposes answers regarding the criteria for evaluating analogical arguments, the philosophical justification for analogical reasoning, and the place of scientific analogies in the context of theoretical confirmation.

Quantum Information Theory and the Foundations of Quantum Mechanics is a conceptual analysis of one of the most prominent and exciting new areas of physics, providing the first full-length philosophical treatment of quantum information theory and the questions it raises for our understanding of the quantum world. -/- Beginning from a careful, revisionary, analysis of the concepts of information in the everyday and classical information-theory settings, Christopher G. Timpson argues for an ontologically deflationary account of the nature of quantum information. (...) Against what many have supposed, quantum information can be clearly defined (it is not a primitive or vague notion) but it is not part of the material contents of the world. Timpson's account sheds light on the nature of nonlocality and information flow in the presence of entanglement and, in particular, dissolves puzzles surrounding the remarkable process of quantum teleportation. In addition it permits a clear view of what the ontological and methodological lessons provided by quantum information theory are; lessons which bear on the gripping question of what role a concept like information has to play in fundamental physics. Topics discussed include the slogan 'Information is Physical', the prospects for an informational immaterialism (the view that information rather than matter might fundamentally constitute the world), and the status of the Church-Turing hypothesis in light of quantum computation. -/- With a clear grasp of the concept of information in hand, Timpson turns his attention to the pressing question of whether advances in quantum information theory pave the way for the resolution of the traditional conceptual problems of quantum mechanics: the deep problems which loom over measurement, nonlocality and the general nature of quantum ontology. He marks out a number of common pitfalls to be avoided before analysing in detail some concrete proposals, including the radical quantum Bayesian programme of Caves, Fuchs, and Schack. One central moral which is drawn is that, for all the interest that the quantum information-inspired approaches hold, no cheap resolutions to the traditional problems of quantum mechanics are to be had. (shrink)

Introduction -- Sanctioning models : theories and their scope -- Methodology for a virtual world -- A tale of two methods -- When theories shake hands -- Models of climate : values and uncertainties -- Reliability without truth -- Conclusion.

The argument from analogy is examined from the point of view of Carnap's confirmation theory. It is argued that if inductive arguments are to be applicable to the real world, they must contain elementary analogical inferences. Carnap's system as originally developed (theλ -system) is not strong enough to take account of analogical arguments, but it is shown that the new system, which he has announced but not published in detail (theη -system), is capable of satisfying the conditions of inductive analogy. (...) Finally it is shown that an elementary analysis of analogical inference yields postulates of the η -system with a minimum of arbitrary assumptions. (shrink)

From Kant’s first published work to recent articles in the physics literature, philosophers and physicists have long sought an answer to the question, why does space have three dimensions. In this paper, I will flesh out Kant’s claim with a brief detour through Gauss’ law. I then describe Büchel’s version of the common argument that stable orbits are possible only if space is three-dimensional. After examining objections by Russell and van Fraassen, I develop three original criticisms of my own. These (...) criticisms are relevant to both historical and contemporary proofs of the dimensionality of space (in particular, a recent one by Burgbacher, F. Lämmerzahl, C., and Macias). In general I argue that modern “proofs” of the dimensionality of space have gone off track. (shrink)

The argument from analogy is examined from the standpoint of Carnap's confirmation theory. Carnap's own discussion of analogy in relation to his c*— function is restricted to cases where the analogues are known to be similar, but not known to be different in any respect. It has been argued by the author in a previous work,, and by P. Achinstein, that typical analogy arguments involve known differences between the analogues as well as similarities. Achinstein shows that for such arguments none (...) of Carnap's Δ— system of conflrmation functions gives satisfactory values, and it is further shown in the present paper that for these arguments the confirmation never rises above its initial value, irrespective of evidence drown from an analogue. it is argued that even if inductive arguments are to be applicable to the real world, they must in principle be capable of taking into account known differences between the instances of an inductive generalization. Hence Carnap's Δ— system is inadequate as an explication of both induction and analogy.Three conditions are stated as necessary for any confirmation theory which gives a satisfactory explication of analogical inference:I. If two individuals a and b are known to agree in certain properties and differ in others, and if in addition a has a further property, then the confirmation of the hypothesis that b also has this property is greater than its initial confirmation, at least if the weight of the similarities is sufficiently great compared with the weight of the differences.II. The confirmation‐value increases or decreases with the weight of the similarities between the analogues compared with the weight of their differences.III. The confirmation that b has a certain property is greater if a has that property than if a does not have it.The Δ— system sastisfles none of these conditions. Carnap and Stegmüller have now, however, presented a new anxiom system for confirmation functions. the — system, Which is introduced primarily to deal with languages whose primitive predicates fall into families such that each individual can only be qualified by one predicate of each family. They construct a c‐ function which, as well as dealing with a language having two families of such predicates, also depends, unlike the functions in the Δ— system, on similarities between otherwise different individuals. The system is not developed far enough in this Appendix to enable the authors to discuss the confirmation in analogy arguments satisfying conditions I — III above, but it is shown in the present paper that, with a simple generalization of the measure‐function defined by Carnap and Stegmüller, and in the simplest non‐trivial case, condition I — III are all satisfied, indeed a stronger form of condition I is satisfied, in which no known similarity of the analogues is postulated.Finally it is remarked that Carnap and Stegmüller's method of introducing their Δ— system is extremely arbitrary and ad hoc, and an alternative method of introducing is suggested. Bearing in mind the fundamental nature of the argument from analogy in all application of induction to the real world, it is suggesetd that the fundamental inductive inference needing explication is not the inference of‘P1b, from ‘P,1a, but the analogical infeence of‘P2b, from‘P1P2a.P1b,. It is posinitial confirmation of‘P2b, and the confirmation of‘P2b, given‘P2a” and that the later two confirmation‐values are equivalent to those in the Δ— system. It is then shown that Carnap and Stegmüller's new measure‐function follows from their axiom system together with these postulates. Thus some of the arbitrariness of the — system is removed by general considérations regarding inductive and analogical inference. (shrink)