That there is an edge at all is, of course, philosophically controversial; it would be denied by anti-realists of a verificationist stripe. However, we accept, since G¨odel, that there are true propositions of elementary arithmetic that are unprovable in arithmetic; just so, we should accept—by analogy—that there are true statements that are unknowable. An argument called the Fitch Argument tells us that it is so. Williamson has long argued that the Fitch Argument cannot by itself refute antirealism—because the anti-realist is (...) already committed to the denial of some of the principles of classical logic required to derive the anti-realist conclusion. The point is well made.1 In Knowledge and its Limits, however, Williamson looks at what the Fitch argument tells us if we adhere to classical logic: and that is that there are unknowable truths. (shrink)

There has been considerable discussion in the literature of one kind of identity problem that mathematical structuralism faces: the automorphism problem, in which the structure is unable to individuate the mathematical entities in its domain. Shapiro (Philos Math 16(3):285–309, 2008) has partly responded to these concerns. But I argue here that the theory faces an even more serious kind of identity problem, which the theory can’t overcome staying within its remit. I give two examples to make the point.

Beginning with Zagzebski (The Philosophical Quarterly 44:65–73, 1994), some philosophers have argued that there can be no solution to the Gettier counterexamples within the framework of a fallibilist theory of knowledge. If true, this would be devastating, since it is believed on good grounds that infallibilism leads to scepticism. But I argue here that these purported proofs are mistaken and that the truthmaker solution to the Gettier problems is both cogent and fallibilist in nature. To show this I develop the (...) notion of evidence of a state of affairs, a crucial concept in the truthmaker theory. I also argue that a common principle of the transmission of evidence through entailment is false, and the cause of much of the trouble. (shrink)

The significance of Max Black’s indistinguishable spheres for the nature of particles in quantum mechanics is discussed, focusing in particular on the use of the idea of weak indiscernibility. It is argued that there can be four such Black spheres but that five are impossible. It follows from this that Black’s example cannot serve as a model for indistinguishability in physics. But Black’s discussion of his spheres gave rise to the idea of weak discernibility and it is argued that such (...) predicates are unsatisfiable in the way intended. The underlying problem with weak discernibility spreads out to also undermine the whole notion that indistinguishability rests on a notion of the permutation invariance of particles. A better foundation is indicated. (shrink)

The indistinguishability of bosons and fermions has been an essential part of our ideas of quantum mechanics since the 1920s. But what is the mathematical basis for this indistinguishability? An answer was provided in the group representation theory that developed alongside quantum theory and quickly became a major part of its mathematical structure. In the 1930s such a complex and seemingly abstract theory came to be rejected by physicists as the standard functional analysis picture presented by John von Neumann took (...) hold. The purpose of the present account is to show how indistinguishability is explained within representation theory. (shrink)

The Received View of particles in quantum mechanics is that they are indistinguishable entities within their kinds and that, as a consequence, they are not individuals in the metaphysical sense and self-identity does not meaningfully apply to them. Nevertheless cardinality does apply, in that one can have n> 1 such particles. A number of authors have recently argued that this cluster of claims is internally contradictory: roughly, that having more than one such particle requires that the concepts of distinctness and (...) identity must apply after all. A common thread here is that the notion of identity is too fundamental to forego in any metaphysical account. I argue that this argument fails. I then argue that the failure of individuality and identity applies also to macroscopic physical objects, that the problems cannot be constrained to apply only within the microscopic realm. (shrink)

It’s a truism of philosophy that Realists must not postulate more than we could reasonably hope to know, while Anti-Realists must not leave us with so little that all knowledge is impossible. But balance is not easily come by—and even less in philosophy than in life. So philosophy continues to struggle over the hard cases, with neither the Realist nor the Anti-Realist able to score an easy victory.

Since 1969, when Bas van Fraassen wrote 'Facts and Tautological Entailments', it has been assumed that if facts, or states of affairs, exist at all, they can only play the role of truthmakers for propositions if the truthmaker relation is defined in a relevantist revision of classical logic. Greg Restall revived this notion in 1996, and it has since been discussed positively by Stephen Read. I argue in this paper that this was always a mistake. The truthmaking relation between facts (...) and propositions can indeed be made sense of-but no relevantist revision of classical logic is required. The correspondence theory of truth can thus be shown to have been essentially correct all along. (shrink)

A proof is presented that a form of incompleteness in Quantum Mechanics follows directly from the use of unbounded operators. It is then shown that the problems that arise for such operators are not connected to the non- commutativity of many pairs of operators in Quantum Mechanics and hence are an additional source of incompleteness to that which allegedly flows from the..

It is argued that the part-whole account of the relation between evidence and the larger state of affairs the evidence is evidence of—an account that was elucidated in the paper ‘Truthmaking, Evidence of, and Impossibility Proofs’ —provides a better basis for epistemology than causal relations between events. I apply this to a well-known phenomenon in physics which suggests that causal connectedness is not necessary for knowledge.

There is a large literature on the issue of the lack of properties (i.e. accidents) in quantum mechanics (the problem of “hidden variables”) and also on the indistinguishability of particles. Both issues were discussed as far back as the late 1920’s. However, the implications of these challenges to classical ontology were taken up rather late, in part in the ‘quantum set theory’ of Takeuti (Curr Issues Quant Logic 303–322, 1981), Finkelstein (in Beltrametti EG, Van Fraassen BC (eds) Current issues in (...) quantum logic. Plenum, New York, 1981) and the work of Décio Krause (1992)—and subsequent publications). But the problems created by quantum mechanics go far beyond set theory or the identity of indiscernibles (another subject that has been often discussed)—it extends, I argue, to our accounts of truth. To solve this problem, i.e. to have an approach to truth that facilitates a transition from a classical to a quantum ontology one must have a unified framework for them both. This is done within the context of a pluralist view of truthmaking, where the truthmakers are unified in having a monoidal structure. The structure of the paper is as follows. After a brief introduction, the idea of a monoid is outlined (in Sect. 1) followed by a standard set of axioms that govern the truthmaker relation from elements of the monoid to the set of propositions. This is followed, in Sect. 2, by a discussion of how to have truthmakers for two kinds of necessities: tautologies and analytic truths. The next Sect. 3, then applies these ideas to quantum mechanics. It gives an account of quantum states and shows how these form a monoid. The final section then argues that quantum logic does not, despite what one might initially suspect, stand in the way of an account of quantum truth. (shrink)

Zeeman argued that the Euclidean (i. e. manifold) topology of Minkowski space-time should be replaced by a strictly finer topology that was to have a closer connection with the indefinite metric. This proposal was extended in 1976 by Rudiger Göbel and Hawking, King and McCarthy to the space-times of General Relativity. It is the purpose of this paper to argue that these suggestions for replacement misrepresent the significance of the manifold topology and overstate the necessity for a finer topology. The (...) motivation behind such arguments is a realist view of space-time topology as against (what can be construed to be) the instrumentalist position underlying some of the suggestions for replacement. (shrink)

The geometric mean is also called the mean proportional. This is how the mathematicians of the √ −1. 19th Century, such as Gauss, understood..

In his essay ‘Laws and States in Quantum Mechanics’, John Forge presents a case for considering laws of nature to be privileged sets of states, trajectories in the quantum mechanical analogue of phase space. Having presented an argument to show that states have to be taken with full ontological seriousness, Forge then uses those states to undergird his favourite account of laws and explanation — called the Instance View. On this view laws are a special sort of pattern, a certain (...) kind of regularity, and explanations are instances of these regularities (so that you explain some phenomenon A by indicating that it is an instance of some regularity R). Forge then uses this account of laws and explanation to urge the acceptance of van Fraassen’s Modal Interpretation of Quantum Mechanics. (shrink)

In this paper I put forward a suggestion for identifying causality in micro-systems with the specific quantum field theoretic interactions that occur in such systems. I first argue — along the lines of general transference theories — that such a physicalistic account is essential to an understanding of causation; I then proceed to sketch the concept of interaction as it occurs in quantum field theory and I do so from both a formal and an informal point of view. Finally, I (...) present reasons for thinking that only a quantum field theoretic account can do the job — in particular I rely on a theorem by D. Currie and to the effect that interaction cannot be described in (a Hamiltonian formulation of) Classical Mechanics. Throughout the paper I attempt to suggest that the widespread scepticism about the ability of quantum theory to support a theory of causality is mistaken and rests on several misunderstandings. (shrink)

Adrian Heathcote has proposed a truth-making account of knowledge that combines traditional conditions of justified true belief with the truth-making condition, which would jointly provide us with the sufficient condition of knowledge, and this truth-maker account of knowledge in turn explains why a gettiered justified true belief fails to be regarded as a genuine instance of knowledge. In this paper, by the comparison of two different casual models that are illustrated by the thermometer and the clock respectively, however, (...) it will be argued that Heathcote’s truth-making account of knowledge fails to cope with the Gettier case of the stopped clock and therefore is called for some further remedy. (shrink)

A Brief History of the Philosophy of Time is a concise and accessible survey of the history of philosophical and scientific developments in understanding time and our experience of time. It discusses prominent ideas about the nature of time, plus many subsidiary puzzles about time, from the classical period through the present.

Historical sciences like paleontology and archaeology have uncovered unimagined, remarkable and mysterious worlds in the deep past. How should we understand the success of these sciences? What is the relationship between knowledge and history? In Scientific Knowledge and the Deep Past: History Matters, Adrian Currie examines recent paleontological work on the great changes that occurred during the Cretaceous period - the emergence of flowering plants, the splitting of the mega-continent Gondwana, and the eventual fall of the dinosaurs - to (...) analyse the knowledge of historical scientists, and to reflect upon the nature of history. He argues that distinctively historical processes are 'peculiar': they have the capacity to generate their own highly specific dynamics and rules. This peculiarity, Currie argues, also explains the historian's interest in narratives and stories: the contingency, complexity and peculiarity of the past demands a narrative treatment. Overall, Currie argues that history matters for knowledge. (shrink)

The character of computational modelling of cognition depends on an underlying theory of representation. Classical cognitive science has exploited the syntax/semantics theory of representation that derives from logic. But this has had the consequence that the kind of psychological explanation supported by classical cognitive science is " _conceptualist_: " psychological phenomena are modelled in terms of relations that hold between concepts, and between the sensors/effectors and concepts. This kind of explanation is inappropriate for the Proper Treatment of Connectionism.

Inspired by the writings of J. M. Hinton (1967a, 1967b, 1973), but ushered into the mainstream by Paul Snowdon (1980–1, 1990–1), John McDowell (1982, 1986), and M. G. F. Martin (2002, 2004, 2006), disjunctivism is currently discussed, advocated, and opposed in the philosophy of perception, the theory of knowledge, the theory of practical reason, and the philosophy of action. But what is disjunctivism?

John Scottus Eriugena (d. ca. 877) is regarded as the most important philosopher and theologian in the Latin West from the death of Boethius until the thirteenth century. He incorporated his understanding of Latin sources, Ambrose, Augustine, Boethius and Greek sources, including the Cappadocian Fathers, Pseudo-Dionysius, and Maximus Confessor, into a metaphysics structured on Aristotle's Categories, from which he developed Christian Neoplatonist theology that continues to stimulate 21st-century theologians. This collection of essays provides an overview of the latest scholarship on (...) various aspects of Eriugena's thought and writings, including his Irish background, his use of Greek theologians, his Scripture hermeneutics, his understanding of Aristotelian logic, Christology, and the impact he had on contemporary and later theological traditions. Contributors: David Albertson, Joel Barstad, John Contreni, Christophe Erismann, John Gavin, Adrian Guiu, Michael Harrington, Catherine Kavanagh, A. Kijewska, Stephen Lahey, Elena Lloyd-Sidle, Bernard McGinn, Ernesto Sergio Mainoldi, Dermot Moran, Giulio D'Onofrio, Willemien Otten, and Alfred Siewers. (shrink)

This volume will be an essential resource for anyone working in the central areas of philosophy, and the starting point for future research in this fascinating ...

This volume is a wide-ranging examination of denial and ideological denialism. It offers a readable overview of the psychology and social science of bias, self-deception, and denial, and examines the role of ideological denialism in conflicts over science and public policy, politics, and culture.

Ciencia y lógica de mundos posibles indaga en un aspecto negativo de la visión positivista de la historia del pensamiento. Según esta interpretación, determinante dentro del pensamiento contemporáneo, existe una oposición irredimible entre la metodología del conocimiento científico y la metafísica. El estudio de los supuestos ontológicos de la epistemología aristotélica y de la nueva metodología galileana evidencia, sin embargo, que históricamente la ciencia moderna no nace en oposición a la metafísica, sino que surge a partir de una concepción metafísica (...) determinada. Resulta imposible comprender a fondo el fenómeno de la revolución galileana sin tener en cuenta los aportes lógicos de pensadores medievales que tuvieron una actitud crítica frente a las implicaciones ontológicas de la epistemología aristotélica. Con el advenimiento del idealismo trascendental - a diferencia de Descartes, Leibniz o Newton - la filosofía se separa de la ciencia experimental. Esto se debe a que con Kant la filosofía se aleja de la postura filosófica de los origenes de la ciencia moderna, y retorna a una concepción de la naturaleza en cierto modo similar a la aristotélica. Así mismo, la interpretación propuesta en el manifiesto del Círculo de Viena con respecto a algunas de las revoluciones científicas de los siglos XIX y XX, supone que la ciencia moderna se ha desarrollado en la dirección señalada por la concepción metafísica del mundo que se encuentra en el origen de la revolución galileana. (shrink)

"This book does nothing less than to set new standards in combining philosophical with political theology.

There remains no consensus among social scientists as to how to measure and understand forms of information deprivation such as misinformation. Machine learning and statistical analyses of information deprivation typically contain problematic operationalizations which are too often biased towards epistemic elites' conceptions that can undermine their empirical adequacy. A mature science of information deprivation should include considerable citizen involvement that is sensitive to the value-ladenness of information quality and that doing so may improve the predictive and explanatory power of extant (...) models. (shrink)