A diverse group of DNA‐binding regulatory proteins share a common structural domain which is homologous to the sequence of a highly conserved and abundant chromosomal protein, HMG‐1. Proteins containing this HMG‐1 box regulate various cellular functions involving DNA binding, suggesting that the target DNA sequences share a common structural element. Members of this protein family exhibit a dual DNA‐binding specificity: each recognizes a unique sequence as well as a common DNA conformation. The highly conserved HMG‐1/‐2 proteins may modulate the binding (...) of other HMG‐1 box proteins to bent DNA. We examine the structural and functional relationships between the proteins, identify their signature† and describe common features of their target DNA elements. (shrink)

In this book, which thoroughly revises and greatly expands his classic work Sameness and Substance, David Wiggins retrieves and refurbishes in the light of twentieth-century logic and logical theory certain conceptions of identity, of substance and of persistence through change that philosophy inherits from its past. In this new version, he vindicates the absoluteness, necessity, determinateness and all or nothing character of identity against rival conceptions. He defends a form of essentialism that he calls individuative essentialism, and then a (...) form of realism that he calls conceptualist realism. In a final chapter he advocates a human being-based conception of the identity and individuation of persons, arguing that any satisfactory account of personal memory must make reference to the life of the rememberer himself. This important book will appeal to a wide range of readers in metaphysics, philosophical logic, and analytic philosophy. (shrink)

Einstein's philosophy of physics was predicated on his Trennungsprinzip, a combination of separability and locality, without which he believed objectification, and thereby "physical thought" and "physical laws", to be impossible. Bohr's philosophy, on the other hand, was grounded in a seemingly different doctrine about the possibility of objective knowledge, namely the necessity of classical concepts. In fact, it follows from Raggio's Theorem in algebraic quantum theory that - within an appropriate class of physical theories - suitable mathematical translations of the (...) doctrines of Bohr and Einstein are equivalent. Thus - upon our specific formalization - quantum mechanics accommodates Einstein's Trennungsprinzip if and only if it is interpreted a la Bohr through classical physics. Unfortunately, the protagonists themselves failed to discuss their differences in this constructive way, since their debate was dominated by Einstein's ingenious but ultimately flawed attempts to establish the "incompleteness" of quantum mechanics. This aspect of their debate may still be understood and appreciated, however, as reflecting a much deeper and insurmountable disagreement between Bohr and Einstein about the knowability of Nature. Using the theological controversy on the knowability of God as a analogy, we can say that Einstein was a Spinozist, whereas Bohr could be said to be on the side of Maimonides. Thus Einstein's off-the-cuff characterization of Bohr as a 'Talmudic philosopher' was spot-on. (shrink)

Lipsey and Lancaster's "general theory of second best" is widely thought to have significant implications for applied theorizing about the institutions and policies that most effectively implement abstract normative principles. It is also widely thought to have little significance for theorizing about which abstract normative principles we ought to implement. Contrary to this conventional wisdom, I show how the second-best theorem can be extended to myriad domains beyond applied normative theorizing, and in particular to more abstract theorizing about the normative (...) principles we should aim to implement. I start by separating the mathematical model used to prove the second-best theorem from its familiar economic interpretation. I then develop an alternative normative-theoretic interpretation of the model, which yields a novel second best theorem for idealistic normative theory. My method for developing this interpretation provides a template for developing additional interpretations that can extend the reach of the second-best theorem beyond normative theoretical domains. I also show how, within any domain, the implications of the second-best theorem are more specific than is typically thought. I conclude with some brief remarks on the value of mathematical models for conceptual exploration. (shrink)

Why study notations, diagrams, or more broadly the variety of nonverbal “representations” or “signs” that are used in mathematical practice? This chapter maps out recent work on the topic by distinguishing three main philosophical motivations for doing so. First, some work (like that on diagrammatic reasoning) studies signs to recover norms of informal or historical mathematical practices that would get lost if the particular signs that these practices rely on were translated away; work in this vein has the potential to (...) broaden our view of the specific normativity of mathematics beyond logical proof. Second, some work focuses on signs to highlight the open-ended and “nonrigorous” aspects of mathematical practice, and the role of these aspects in the historical development of mathematics. The third motivation is based on the following observation: the reason differences in signs matter in mathematics is that humans are finite agents, with cognitive and computational limitations. Accordingly, studying signs can be a way to study how human computational constraints shape the mathematics that we do, and to tackle the topic of mathematical understanding. (shrink)

Artificial intelligence has historically been conceptualized in anthropomorphic terms. Some algorithms deploy biomimetic designs in a deliberate attempt to effect a sort of digital isomorphism of the human brain. Others leverage more general learning strategies that happen to coincide with popular theories of cognitive science and social epistemology. In this paper, I challenge the anthropomorphic credentials of the neural network algorithm, whose similarities to human cognition I argue are vastly overstated and narrowly construed. I submit that three alternative supervised learning (...) methods—namely lasso penalties, bagging, and boosting—offer subtler, more interesting analogies to human reasoning as both an individual and a social phenomenon. Despite the temptation to fall back on anthropomorphic tropes when discussing AI, however, I conclude that such rhetoric is at best misleading and at worst downright dangerous. The impulse to humanize algorithms is an obstacle to properly conceptualizing the ethical challenges posed by emerging technologies. (shrink)

A collection of 14 essays honoring the life and work of Oxford philosopher Wiggins touching on topics from ancient philosophy to ethics, metaphysics and the theory of meaning. The contributing scholars debate many of the seminal issues of Wiggins' work, including the determinancy of distinctness, relative identity, naturalism in ethics, logic and truth in moral judgments, and the practical wisdom of Aristotle. The collection uniquely features replies by Wiggins to each of the papers. Annotation copyright by Book News, Inc., Portland, (...) OR. (shrink)

Beginning with Anderson, spontaneous symmetry breaking in infinite quantum systems is often put forward as an example of emergence in physics, since in theory no finite system should display it. Even the correspondence between theory and reality is at stake here, since numerous real materials show ssb in their ground states, although they are finite. Thus against what is sometimes called ‘Earman's Principle’, a genuine physical effect seems theoretically recovered only in some idealisation, disappearing as soon as the idealisation is (...) removed.We review the well-known arguments that no finite system can exhibit ssb, using the formalism of algebraic quantum theory in order to control the thermodynamic limit and unify the description of finite- and infinite-volume systems. Using the striking mathematical analogy between the thermodynamic limit and the classical limit, we show that a similar situation obtains in quantum mechanics versus classical mechanics.This discrepancy between formalism and reality is quite similar to the measurement problem, and hence we address it in the same way, adapting an argument of the Landsman and Reuvers that was originally intended to explain the collapse of the wave-function within conventional quantum mechanics. Namely, exponential sensitivity to perturbations of the dynamics as the system size increases causes symmetry breaking already in finite but very large quantum systems. This provides continuity between finite- and infinite-volume descriptions of quantum systems featuring ssb and hence restores Earman's Principle. (shrink)

The relationship between classical and quantum theory is of central importance to the philosophy of physics, and any interpretation of quantum mechanics has to clarify it. Our discussion of this relationship is partly historical and conceptual, but mostly technical and mathematically rigorous, including over 500 references. For example, we sketch how certain intuitive ideas of the founders of quantum theory have fared in the light of current mathematical knowledge. One such idea that has certainly stood the test of time is (...) Heisenberg's `quantum-theoretical Umdeutung (reinterpretation) of classical observables', which lies at the basis of quantization theory. Similarly, Bohr's correspondence principle (in somewhat revised form) and Schroedinger's wave packets (or coherent states) continue to be of great importance in understanding classical behaviour from quantum mechanics. On the other hand, no consensus has been reached on the Copenhagen Interpretation, but in view of the parodies of it one typically finds in the literature we describe it in detail. On the assumption that quantum mechanics is universal and complete, we discuss three ways in which classical physics has so far been believed to emerge from quantum physics, namely in the limit h -> 0 of small Planck's constant (in a finite system), in the limit N goes to infinity of a large system with $N$ degrees of freedom (at fixed h), and through decoherence and consistent histories. The first limit is closely related to modern quantization theory and microlocal analysis, whereas the second involves methods of C*-algebras and the concepts of superselection sectors and macroscopic observables. In these limits, the classical world does not emerge as a sharply defined objective reality, but rather as an approximate appearance relative to certain ``classical" states and observables. Decoherence subsequently clarifies the role of such states, in that they are ``einselected", i.e. robust against coupling to the environment. Furthermore, the nature of classical observables is elucidated by the fact that they typically define (approximately) consistent sets of histories. This combination of ideas and techniques does not quite resolve the measurement problem, but it does make the point that classicality results from the elimination of certain states and observables from quantum theory. Thus the classical world is not created by observation (as Heisenberg once claimed), but rather by the lack of it. (shrink)

According to dispositionalism about modality, a proposition <p> is possible just in case something has, or some things have, a power or disposition for its truth; and <p> is necessary just in case nothing has a power for its falsity. But are there enough powers to go around? In Yates (2015) I argued that in the case of mathematical truths such as <2+2=4>, nothing has the power to bring about their falsity or their truth, which means they come out both (...) necessary and not possible. Combining this with axiom (T), it is easy to derive a contradiction. I suggested that dispositionalists ought to retreat a little and say that <p> is possible just in case either p, or there is a power to bring it about that p, grounding the possibility of mathematical propositions in their truth rather than in powers. Vetter’s (2015) has the resources to provide a response to my argument, and in her (2018) she explicitly addresses it by arguing for a plenitude of powers, based on the idea that dispositions come in degrees, with necessary properties a limiting case of dispositionality. On this view there is a power for <2+2=4>, without there being a power to bring about its truth. In this paper I argue that Vetter’s case for plenitude does not work. However, I suggest, if we are prepared to accept metaphysical causation, a case can be made that there is indeed a power for <2+2=4>. (shrink)

We propose a formal framework for interpretable machine learning. Combining elements from statistical learning, causal interventionism, and decision theory, we design an idealised explanation game in which players collaborate to find the best explanation for a given algorithmic prediction. Through an iterative procedure of questions and answers, the players establish a three-dimensional Pareto frontier that describes the optimal trade-offs between explanatory accuracy, simplicity, and relevance. Multiple rounds are played at different levels of abstraction, allowing the players to explore overlapping causal (...) patterns of variable granularity and scope. We characterise the conditions under which such a game is almost surely guaranteed to converge on a optimal explanation surface in polynomial time, and highlight obstacles that will tend to prevent the players from advancing beyond certain explanatory thresholds. The game serves a descriptive and a normative function, establishing a conceptual space in which to analyse and compare existing proposals, as well as design new and improved solutions. (shrink)

We attempt to clarify the main conceptual issues in approaches to ‘objectification’ or ‘measurement’ in quantum mechanics which are based on superselection rules. Such approaches venture to derive the emergence of classical ‘reality’ relative to a class of observers; those believing that the classical world exists intrinsically and absolutely are advised against reading this paper. The prototype approach (K. Hepp, Helv. Phys. Acta45 (1972), 237–248) where superselection sectors are assumed in the state space of the apparatus is shown to be (...) untenable. Instead, one should couple system and apparatus to an environment, and postulate superselection rules for the latter. These are motivated by the locality of any observer or other (actual or virtual) monitoring system. In this way ‘environmental’ solutions to the measurement problem (H.D. Zeh, Found. Phys.1 (1970), 69–76; W. H. Zurek, Phys. Rev.D26 (1982), 1862–1880 and Progr. Theor. Phys.89 (1993), 281–312) become consistent and acceptable, too. Points of contact with the modal interpretation are briefly discussed. We propose a minimal value attribution to observables in theories with superselection rules, in which only central observables have properties. In particular, the eigenvector-eigenvalue link is dropped. This is mainly motivated by Ockham's razor. (shrink)

This book studies the foundations of quantum theory through its relationship to classical physics. This idea goes back to the Copenhagen Interpretation (in the original version due to Bohr and Heisenberg), which the author relates to the mathematical formalism of operator algebras originally created by von Neumann. The book therefore includes comprehensive appendices on functional analysis and C*-algebras, as well as a briefer one on logic, category theory, and topos theory. Matters of foundational as well as mathematical interest that are (...) covered in detail include symmetry (and its "spontaneous" breaking), the measurement problem, the Kochen-Specker, Free Will, and Bell Theorems, the Kadison-Singer conjecture, quantization, indistinguishable particles, the quantum theory of large systems, and quantum logic, the latter in connection with the topos approach to quantum theory. This book is Open Access under a CC BY licence. (shrink)

Extant theoretical work on the political resource curse implies that dependence on resource revenues should decrease autocracies’ likelihood of democratizing but not necessarily affect democracies’ chances of survival. Yet most previous empirical studies estimate models that are ill-suited to address this claim. We improve upon earlier studies, estimating a dynamic logit model that interacts a continuous measure of resource dependence with an indicator of regime type using data from 166 countries, covering the period from 1816-2006. We find that an increase (...) in resource dependence at time t - 1 increases the likelihood of autocratic persistence at t, but has no appreciable effect on democratic survival. We go beyond existing empirical studies to show that increases in resource dependence have persistent and substantial cumulative effects on autocracies' likelihood of becoming democratic over the long-term, showing that the total effect of resource dependence on regime type is much larger than the short-term (one period) effect indicates. (shrink)

Japan and the Enemies of Open Political Science argues that Eurocentric blindness is a scientific failing, not a moral one. In a way true of no other political system, Japan's greatness has the potential to enliven and reform almost all the main branches of Western Political Science. David Williams criticizes Western social science, Anglo-American Philosophy and French Theory and explains why mainstream economists, historians of political thought and postculturalists have ignored Japan's modern achievements. Williams demonstrates why the renewal of (...) social science and the nurturing of a "a philosophy of the Pacific Century" requires a sustained act of intellectual demolition. (shrink)

This is an in-depth study of J.G. Fichte’s philosophy of mathematics and theory of geometry. It investigates both the external formal and internal cognitive parallels between the axioms, intuitions and constructions of geometry and the scientific methodology of the Fichtean system of philosophy. In contrast to “ordinary” Euclidean geometry, in his Erlanger Logik of 1805 Fichte posits a model of an “ursprüngliche” or original geometry – that is to say, a synthetic and constructivistic conception grounded in ideal archetypal elements that (...) are grasped through geometrical or intelligible intuition. -/- Accordingly, this study classifies Fichte’s philosophy of mathematics as a whole as a species of mathematical Platonism or neo-Platonism, and concludes that the Wissenschaftslehre itself may be read as an attempt at a new philosophical mathesis, or “mathesis of the mind.” -/- “This work testifies to the author's exact and extensive knowledge of the Fichtean texts, as well as of the philosophical, scientific and historical contexts. Wood has opened up completely new paths for Fichte research, and examines with clarity and precision a domain that up to now has hardly been researched.” Professor Dr. Marco Ivaldo -/- “This study, written in a language distinguished by its limpidity and precision, and constantly supported by a close reading of the Fichtean texts and secondary literature, furnishes highly detailed and convincing demonstrations. In directly confronting the difficult historical relationship between the Wissenschaftslehre and mathematics, the author has broken new ground that is at once stimulating, decidedly innovative, and elegantly audacious.” Professor Dr. Emmanuel Cattin. (shrink)

In 1962, the philosopher Richard Taylor used six commonly accepted presuppositions to imply that human beings have no control over the future. David Foster Wallace not only took issue with Taylor's method, which, according to him, scrambled the relations of logic, language, and the physical world, but also noted a semantic trick at the heart of Taylor's argument. _Fate, Time, and Language_ presents Wallace's brilliant critique of Taylor's work. Written long before the publication of his fiction and essays, Wallace's (...) thesis reveals his great skepticism of abstract thinking made to function as a negation of something more genuine and real. He was especially suspicious of certain paradigms of thought-the cerebral aestheticism of modernism, the clever gimmickry of postmodernism-that abandoned "the very old traditional human verities that have to do with spirituality and emotion and community." As Wallace rises to meet the challenge to free will presented by Taylor, we witness the developing perspective of this major novelist, along with his struggle to establish solid logical ground for his convictions. This volume, edited by Steven M. Cahn and Maureen Eckert, reproduces Taylor's original article and other works on fatalism cited by Wallace. James Ryerson's introduction connects Wallace's early philosophical work to the themes and explorations of his later fiction, and Jay Garfield supplies a critical biographical epilogue. (shrink)

This is a review of the issue of randomness in quantum mechanics, with special emphasis on its ambiguity; for example, randomness has different antipodal relationships to determinism, computability, and compressibility. Following a philosophical discussion of randomness in general, I argue that deterministic interpretations of quantum mechanics are strictly speaking incompatible with the Born rule. I also stress the role of outliers, i.e. measurement outcomes that are not 1-random. Although these occur with low probability, their very existence implies that the no-signaling (...) principle used in proofs of randomness of outcomes of quantum-mechanical measurements should be reinterpreted statistically, like the second law of thermodynamics. In three appendices I discuss the Born rule and its status in both single and repeated experiments, review the notion of 1-randomness that in various guises was investigated by Kolmogorov and others and treat Bell’s Theorem and the Free Will Theorem with their implications for randomness. (shrink)

Einstein's philosophy of physics (as clarified by Fine, Howard, and Held) was predicated on his Trennungsprinzip, a combination of separability and locality, without which he believed objectification, and thereby "physical thought" and "physical laws", to be impossible. Bohr's philosophy (as elucidated by Hooker, Scheibe, Folse, Howard, Held, and others), on the other hand, was grounded in a seemingly different doctrine about the possibility of objective knowledge, namely the necessity of classical concepts. In fact, it follows from Raggio's Theorem in algebraic (...) quantum theory that - within an appropriate class of physical theories - suitable mathematical translations of the doctrines of Bohr and Einstein are equivalent. Thus - upon our specific formalization - quantum mechanics accommodates Einstein's Trennungsprinzip if and only if it is interpreted a la Bohr through classical physics. Unfortunately, the protagonists themselves failed to discuss their differences in this constructive way, since their debate was dominated by Einstein's ingenious but ultimately flawed attempts to establish the "incompleteness" of quantum mechanics. This aspect of their debate may still be understood and appreciated, however, as reflecting a much deeper and insurmountable disagreement between Bohr and Einstein about the knowability of Nature. Using the theological controversy on the knowability of God as a analogy, we can say that Einstein was a Spinozist, whereas Bohr could be said to be on the side of Maimonides. Thus Einstein's off-the-cuff characterization of Bohr as a 'Talmudic philosopher' was spot-on. (shrink)

The author of this book has traced the major lines of argument over those years in a most engaging style with clear descriptions of the concepts and ideas.

Interpretation -- Introduction -- Interpreting Plato -- The political culture of Plato's early dialogues -- Dialogue -- Character and history -- The mouthpiece principle -- Forms of evidence -- Desire -- Socrates and eros -- The subjectivist conception of desire -- Instrumental and terminal desire -- Rational and irrational desires -- Desire in the critique of Akrasia -- Interpreting Lysis -- The deficiency conception of desire -- Inauthentic friendship -- Platonic desire -- Antiphilosophical desires -- Knowledge -- Excellence as wisdom (...) -- The epistemic unity of excellence -- Dunamis and technê -- Goodness and form -- The epistemological priority of definitional knowledge -- Ordinary ethical knowledge -- Method -- The Socratic fallacy -- Socrates' pursuit of definitions -- Hupothesis -- Two postulates -- The geometrical illustration -- Geometrical analysis -- The method of reasoning from a postulate -- Elenchus and hupothesis -- Knowledge and aitia -- F-conditions -- Cognitive security -- Aporia -- Forms of aporia -- Dramatic aporia -- The example of Charmides -- Charmides as autobiography -- The politics of Sôphrosunê -- Critias' Philotimia -- Self-knowledge and the knowledge of knowledge -- Knowledge of knowledge and knowledge of the good -- Philosophy and the polis. (shrink)

David Williams explores the complex links between Condorcet as visionary ideologist and pragmatic legislator, and between his concept of modernity and the management of change. The Marquis de Condorcet was one of the few Enlightenment thinkers to witness and participate in the French Revolution. Based on an extensive array of printed and original manuscript sources, Williams' analysis of Condorcet's politics will be a major contribution to Enlightenment studies.

I argue that Bohmian mechanics cannot reasonably be claimed to be a deterministic theory. If one assumes the “quantum equilibrium distribution” provided by the wave function of the universe, Bohmian mechanics requires an external random oracle in order to describe the algorithmic randomness properties of typical outcome sequences of long runs of repeated identical experiments. This oracle lies beyond the scope of Bohmian mechanics, including the impossibility of explaining the randomness property in question from “random” initial conditions. Thus the advantages (...) of Bohmian mechanics over other interpretations of quantum mechanics, if any, must lie at an ontological level, and in its potential to derive the quantum equilibrium distribution and hence the Born rule. (shrink)

The Discovery of Evolution explains what the theory of evolution is all about by providing a historical narrative of discovery. Some of the major puzzles that confront anyone studying living things are discussed and it details how these were solved from an evolutionary perspective. Beginning with the emergence of the early naturalists in the seventeenth century, the scientific discoveries that led up to and then flowed from Darwin and Wallace's theory of evolution by natural selection are then discussed, and finally (...) the modern evolutionary studies at the close of the twentieth century are detailed. This new edition of The Discovery of Evolution is fully updated and contains a new chapter on the evolutionary studies of the twentieth century. By approaching the topic of evolution in this way, it is made accessible to the non-specialist and no previous study of biology is required in order to read and understand this book. (shrink)

Bell’s Theorem from Physics 36:1–28 (1964) and the (Strong) Free Will Theorem of Conway and Kochen from Notices AMS 56:226–232 (2009) both exclude deterministic hidden variable theories (or, in modern parlance, ‘ontological models’) that are compatible with some small fragment of quantum mechanics, admit ‘free’ settings of the archetypal Alice and Bob experiment, and satisfy a locality condition akin to parameter independence. We clarify the relationship between these theorems by giving reformulations of both that exactly pinpoint their resemblance and their (...) differences. Our reformulation imposes determinism in what we see as the only consistent way, in which the ‘ontological state’ initially determines both the settings and the outcome of the experiment. The usual status of the settings as ‘free’ parameters is subsequently recovered from independence assumptions on the pertinent (random) variables. Our reformulation also clarifies the role of the settings in Bell’s later generalization of his theorem to stochastic hidden variable theories. (shrink)

We propose a technical reformulation of the measurement problem of quantum mechanics, which is based on the postulate that the final state of a measurement is classical; this accords with experimental practice as well as with Bohr’s views. Unlike the usual formulation (in which the post-measurement state is a unit vector in Hilbert space), our version actually opens the possibility of admitting a purely technical solution within the confines of conventional quantum theory (as opposed to solutions that either modify this (...) theory, or introduce unusual and controversial interpretative rules and/or ontologies). To that effect, we recall a remarkable phenomenon in the theory of Schrödinger operators (discovered in 1981 by Jona-Lasinio, Martinelli, and Scoppola), according to which the ground state of a symmetric double-well Hamiltonian (which is paradigmatically of Schrödinger’s Cat type) becomes exponentially sensitive to tiny perturbations of the potential as ħ→0. We show that this instability emerges also from the textbook wkb approximation, extend it to time-dependent perturbations, and study the dynamical transition from the ground state of the double well to the perturbed ground state (in which the cat is typically either dead or alive, depending on the details of the perturbation). Numerical simulations show that adiabatically arising perturbations may (quite literally) cause the collapse of the wave-function in the classical limit. Thus, at least in the context of a simple mathematical model, we combine the technical and conceptual virtues of decoherence (which fails to solve the measurement problem but launches the key idea that perturbations may come from the environment) with those of dynamical collapse models à la grw (which do solve the measurement problem but are ad hoc), without sharing their drawbacks: single measurement outcomes are obtained (instead of merely diagonal reduced density matrices), and no modification of quantum mechanics is needed. (shrink)

Fichte-Studien, volume 49 (Leiden: Brill/Rodopi Publishers, 8 April 2021), edited by David W. Wood, 471pp. -/- Presenting new critical perspectives on J.G. Fichte’s Wissenschaftslehre, this volume of articles in English by an international group of scholars addresses the topic of first principles in Fichte’s writings. Especially discussed are the central text of his Jena period, the 1794/95 Grundlage der gesammten Wissenschaftslehre, as well as later versions like the Wissenschaftslehre nova methodo (1796-99) and the presentations of 1804 and 1805. Also (...) included are new studies on the first principles of the particular sub-disciplines of Fichte’s system, such as the doctrines of aesthetics, nature, right, ethics, and history. The volume also contains a number of miscellaneous essays on Fichte research, as well as several book reviews. (shrink)

Following Birkhoff and von Neumann, quantum logic has traditionally been based on the lattice of closed linear subspaces of some Hubert space, or, more generally, on the lattice of projections in a von Neumann algebra A. Unfortunately, the logical interpretation of these lattices is impaired by their nondistributivity and by various other problems. We show that a possible resolution of these difficulties, suggested by the ideas of Bohr, emerges if instead of single projections one considers elementary propositions to be families (...) of projections indexed by a partially ordered set C(A) of appropriate commutative subalgebras of A. In fact, to achieve both maximal generality and ease of use within topos theory, we assume that A is a so-called Rickart C*-algebra and that C(A) consists of all unital commutative Rickart C*-subalgebras of A. Such families of projections form a Hey ting algebra in a natural way, so that the associated propositional logic is intuitionistic: distributivity is recovered at the expense of the law of the excluded middle. Subsequently, generalizing an earlier computation for n x n matrices, we prove that the Heyting algebra thus associated to A arises as a basis for the internal Gelfand spectrum (in the sense of Banaschewski-Mulvey) of the "Bohrification" A̱ of A, which is a commutative Rickart C*-algebra in the topos of functors from C(A) to the category of sets. We explain the relationship of this construction to partial Boolean algebras and Bruns-Lakser completions. Finally, we establish a connection between probability measures on the lattice of projections on a Hubert space H and probability valuations on the internal Gelfand spectrum of A̱ for A = B(H). (shrink)

Human thought is unable to acknowledge the reality of affliction. To acknowledge affliction means saying to oneself: I may lose at any moment, through the play of circumstances over which I have no control, anything whatsoever I possess, including those things which are so intimately mine that I consider them as being myself. There is nothing that I might not lose.

Following Birkhoff and von Neumann, quantum logic has traditionally been based on the lattice of closed linear subspaces of some Hilbert space, or, more generally, on the lattice of projections in a von Neumann algebra A. Unfortunately, the logical interpretation of these lattices is impaired by their nondistributivity and by various other problems. We show that a possible resolution of these difficulties, suggested by the ideas of Bohr, emerges if instead of single projections one considers elementary propositions to be families (...) of projections indexed by a partially ordered set \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{C}(A)}$$\end{document} of appropriate commutative subalgebras of A. In fact, to achieve both maximal generality and ease of use within topos theory, we assume that A is a so-called Rickart C*-algebra and that \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{C}(A)}$$\end{document} consists of all unital commutative Rickart C*-subalgebras of A. Such families of projections form a Heyting algebra in a natural way, so that the associated propositional logic is intuitionistic: distributivity is recovered at the expense of the law of the excluded middle. Subsequently, generalizing an earlier computation for n × n matrices, we prove that the Heyting algebra thus associated to A arises as a basis for the internal Gelfand spectrum (in the sense of Banaschewski–Mulvey) of the “Bohrification” \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\underline A}$$\end{document} of A, which is a commutative Rickart C*-algebra in the topos of functors from \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{C}A}$$\end{document} to the category of sets. We explain the relationship of this construction to partial Boolean algebras and Bruns–Lakser completions. Finally, we establish a connection between probability measures on the lattice of projections on a Hilbert space H and probability valuations on the internal Gelfand spectrum of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\underline A}$$\end{document} for A = B(H). (shrink)

L'ingegneria concettuale è una branca della filosofia caratterizzata da un approccio normativo nei confronti della rappresentazione. Assunzione fondamentale è che i nostri dispositivi rappresentazionali possano essere difettosi. Si configura dunque come l'attività che consiste nell'identificare i difetti in tali dispositivi e mettere in atto strategie di miglioramento. Verranno illustrate le questioni fondamentali a cui una teoria di ingegneria concettuale deve rispondere: in cosa consiste esattamente questa attività? Come possiamo attuarla? Quali meccanismi regolano la formazione dei dispositivi rappresentazionali? Possiamo influire su (...) tali meccanismi? Verrà inoltre presentata un'obiezione all'ingegneria concettuale e varie risposte. -/- Conceptual engineering is a branch of philosophy characterised by a normative approach towards representation. The fundamental assumption of it is that our representational devices can be defective. Conceptual engineering is then the activity consisting of identifying the defects of such devices and putting in place ameliorative strategies. This paper illustrates the fundamental issues for a theory of conceptual engineering: what does this activity consist of? How can we implement it? What mechanisms regulate the formation of representational devices? Can we have an influence over those mechanisms? Moreover, it will be presented an objection to conceptual engineering and various responses to it. (shrink)

This is the first sustained, whole-Bible treatment on the theme of meeting God face to face. Starting with Genesis and ending with Revelation, the author systematically covers the major events in salvation history, all of which reveal the beauty of encountering God's grace in abundance.

Doctors’ strikes are legally permissible in the UK, with the situation differing in other countries. But are they morally permissible? Doug McConnell and Darren Mann have systematically attempted to dismiss the arguments for the moral impermissibility of doctors’ strikes and creatively attempted to provide further moral justification for them. Unfortunately for striking doctors, they fail to achieve this. Meanwhile, junior doctors’ strikes have continued in the UK through 2023 and have now extended into 2024. In this response, which focuses on (...) the UK situation and specifically junior doctors’ strikes in the National Health Service (NHS) in England, I will demonstrate a central problem with their arguments—namely that they underplay the harms caused by prolonged doctors’ strikes by ignoring the harms to patients with cancer. This weakens their conclusion that strikes are morally permissible in terms of the conditions and thresholds they set. I then provide a psychological critique of their justification for strikes in terms of the interests of the public. It follows that invoking the controversial concept of supererogatory action is ungrounded but also absurd when you consider time-critical cancer care. If those representing striking doctors wish to maintain a modicum of moral respectability, they should mitigate for patients with cancer and negotiate reasonably and with urgency. (shrink)