The philosophical debate around the impact of machine learning in science is often framed in terms of a choice between AI and classical methods as mutually exclusive alternatives involving difficult epistemological trade-offs. A common worry regarding machine learning methods specifically is that they lead to opaque models that make predictions but do not lead to explanation or understanding. Focusing on the field of molecular biology, I argue that in practice machine learning is often used with explanatory aims. More specifically, I (...) argue that machine learning can be tightly integrated with other, more traditional, research methods and in a clear sense can contribute to insight into the causal processes underlying phenomena of interest to biologists. One could even say that machine learning is not the end of theory in important areas of biology, as has been argued, but rather a new beginning. I support these claims with a detailed discussion of a case study involving gene regulation by microRNAs. (shrink)

Systems biologists often distance themselves from reductionist approaches and formulate their aim as understanding living systems “as a whole.” Yet, it is often unclear what kind of reductionism they have in mind, and in what sense their methodologies would offer a superior approach. To address these questions, we distinguish between two types of reductionism which we call “modular reductionism” and “bottom-up reductionism.” Much knowledge in molecular biology has been gained by decomposing living systems into functional modules or through detailed studies (...) of molecular processes. We ask whether systems biology provides novel ways to recompose these findings in the context of the system as a whole via computational simulations. As an example of computational integration of modules, we analyze the first whole-cell model of the bacterium M. genitalium. Secondly, we examine the attempt to recompose processes across different spatial scales via multi-scale cardiac models. Although these models rely on a number of idealizations and simplifying assumptions as well, we argue that they provide insight into the limitations of reductionist approaches. Whole-cell models can be used to discover properties arising at the interfaces of dynamically coupled processes within a biological system, thereby making more apparent what is lost through decomposition. Similarly, multi-scale modeling highlights the relevance of macroscale parameters and models and challenges the view that living systems can be understood “bottom-up.” Specifically, we point out that system-level properties constrain lower-scale processes. Thus, large-scale modeling reveals how living systems at the same time are more and less than the sum of the parts. (shrink)

Der vorliegende Aufsatz stellt das Erbe der Kantischen Theorie der Konstitutions- und Regulationsleistung der Erfahrung – die Analytik der Grundsätze – dar, das unserer Auffassung nach zur Begründung der rein spekulativen Philosophie Hegels führt. In diesem Zusammenhang werden einerseits die transzendental-konstitutiven Grundsätze – Axiome der Anschauung und Antizipationen der Wahrnehmung – und andererseits die transzendental-regulativen Grundsätze – Analogien der Erfahrung und Postulate des empirischen Denkens überhaupt – als grundlegendes Material der Exegese benutzt. Als Resultat der Deutung erscheint das Problem des (...) Doppel-Verhältnisses zwischen Erfahrung und Verstandesgrundsätzen. Ein solches Verhältnis entfaltet sich nicht nur als die erfahrungsmäßige Verwirklichung der Grundsätze, sondern auch als die grundsätzliche Ermöglichung der Erfahrung. Der notwendige Charakter der Wahrheit in transzendentaler Hinsicht begründet sich dabei durch die allgemeine Beziehung der transzendentalen Grundsätze des reinen Verstandes zur Gesamtheit der Erfahrung. Es wird die These vertreten, dass die Auffassung der Natur – d.h. die das Dasein der Erscheinungen in der Zeit ermöglichende Einheit – das Hauptvermächtnis Kants für den Deutschen Idealismus im Allgemeinen und für Hegels Philosophie im Besonderen darstellt. (shrink)

In current debates on Descartes’ metaphysics of the mind, the question tends to be whether his position is that of a libertarian or of a compatibilist concerning the freedom of the will. I intervene in this discussion by focusing on the experience of choosing freely. To do this I take a closer look at the 'feeling of not being determined by external forces', an up to now too little discussed passage of the 'Fourth Meditation'. In successively considering God, an evil (...) genius and the faculty of understanding as external forces acting on the will, I show how Descartes’ discussion of freedom of choice implicates both his ethical and epistemological ambitions in a way that could benefit the libertarian-compatibilist debate. To determine the nature of the freedom of will in Descartes, one may not only discuss the causality of the operations of the will, but also the perception of this causality by the mind, in other words, the experience of freedom. (shrink)

Exploratory factor analysis (EFA) of the Psychopathic Personality Inventory (PPI; S. O. Lilienfeld, 1990; S. O. Lilienfeld & B. P. Andrews, 1996) with a community sample has suggested that the PPI subscales may comprise 2 higher order factors (S. D. Benning, C. J. Patrick, B. M. Hicks, D. M. Blonigen, & R. F. Krueger, 2003). However, substantive and structural evidence raises concerns about the viability of this 2-factor model, particularly in offender populations. The authors attempted to replicate the S. D. (...) Benning et al. 2-factor solution using a large (N= 1,224) incarcerated male sample. Confirmatory factor analysis of this model resulted in poor model fit. Similarly, using the same EFA procedures as did S. D. Benning et al., the authors found little evidence for a 2-factor model. When they followed the recommendations of J.-W. van Prooijen and W. A. van der Kloot (2001) for recovering EFA solutions, model fit results provided some evidence that a 3-factor EFA solution could be recovered via confirmatory factor analysis. (shrink)

Psychopathy refers to a range of complex behaviors and personality traits, including callousness and antisocial behavior, typically studied in criminal populations. Recent studies have used self-reports to examine psychopathic traits among noncriminal samples. The goal of the current study was to examine the underlying factor structure of the Self-Report of Psychopathy Scale–Short Form (SRP-SF) across complementary samples and examine the impact of gender on factor structure. We examined the structure of the SRP-SF among 2,554 young adults from three undergraduate samples (...) and a high-risk young adult sample. Using confirmatory factor analysis, a four-correlated factor model and a four-bifactor model showed good fit to the data. Evidence of weak invariance was found for both models across gender. These findings highlight that the SRP-SF is a useful measure of low-level psychopathic traits in noncriminal samples, although the underlying factor structure may not fully translate across men and women. (shrink)

Psychopathic individuals display a callous-coldhearted approach to interpersonal and affective situations and engage in impulsive and antisocial behaviors. Despite early conceptualizations suggesting that psychopathy is related to enhanced cognitive functioning, research examining executive functioning (EF) in psychopathy has yielded few such findings. It is possible that some psychopathic trait dimensions are more related to EF than others. Research using a 2-factor or 4-facet model of psychopathy highlights some dimension-specific differences in EF, but this research is limited in scope. Another complicating (...) factor in teasing apart the EF–psychopathy relationship is the tendency to use different psychopathy assessments for incarcerated versus community samples. In this study, an EF battery and multiple measures of psychopathic dimensions were administered to a sample of male prisoners (N. (shrink)

Conventional wisdom holds that the von Neumann entropy corresponds to thermodynamic entropy, but Hemmo and Shenker (2006) have recently argued against this view by attacking von Neumann's (1955) argument. I argue that Hemmo and Shenker's arguments fail due to several misunderstandings: about statistical-mechanical and thermodynamic domains of applicability, about the nature of mixed states, and about the role of approximations in physics. As a result, their arguments fail in all cases: in the single-particle case, the finite particles case, (...) and the infinite particles case. (shrink)

In spite of the many efforts made to clarify von Neumann’s methodology of science, one crucial point seems to have been disregarded in recent literature: his closeness to Hilbert’s spirit. In this paper I shall claim that the scientific methodology adopted by von Neumann in his later foundational reflections originates in the attempt to revaluate Hilbert’s axiomatics in the light of Gödel’s incompleteness theorems. Indeed, axiomatics continues to be pursued by the Hungarian mathematician in the spirit of Hilbert’s (...) school. I shall argue this point by examining four basic ideas embraced by von Neumann in his foundational considerations: a) the conservative attitude to assume in mathematics; b) the role that mathematics and the axiomatic approach have to play in all that is science; c) the notion of success as an alternative methodological criterion to follow in scientific research; d) the empirical and, at the same time, abstract nature of mathematical thought. Once these four basic ideas have been accepted, Hilbert’s spirit in von Neumann’s methodology of science will become clear. (shrink)

John von Neumann's proof that quantum mechanics is logically incompatible with hidden varibales has been the object of extensive study both by physicists and by historians. The latter have concentrated mainly on the way the proof was interpreted, accepted and rejected between 1932, when it was published, and 1966, when J.S. Bell published the first explicit identification of the mistake it involved. What is proposed in this paper is an investigation into the origins of the proof rather than the (...) aftermath. In the first section, a brief overview of the his personal life and his proof is given to set the scene. There follows a discussion on the merits of using here the historical method employed elsewhere by Andrew Warwick. It will be argued that a study of the origins of von Neumann's proof shows how there is an interaction between the following factors: the broad issues within a specific culture, the learning process of the theoretical physicist concerned, and the conceptual techniques available. In our case, the ‘conceptual technology’ employed by von Neumann is identified as the method of axiomatisation. (shrink)

We show that the respective oversights in the von Neumann's general theorem against all hidden variable theories and Bell's theorem against their local-realistic counterparts are homologous. When latter oversight is rectified, the bounds on the CHSH correlator work out to be ±2√2 instead of ±2.

This paper reviews some major episodes in the history of the spatial isomorphism problem of dynamical systems theory. In particular, by analysing, both systematically and in historical context, a hitherto unpublished letter written in 1941 by John von Neumann to Stanislaw Ulam, this paper clarifies von Neumann's contribution to discovering the relationship between spatial isomorphism and spectral isomorphism. The main message of the paper is that von Neumann's argument described in his letter to Ulam is the very (...) first proof that spatial isomorphism and spectral isomorphism are not equivalent because spectral isomorphism is weaker than spatial isomorphism: von Neumann shows that spectrally isomorphic ergodic dynamical systems with mixed spectra need not be spatially isomorphic. (shrink)

In this brief paper, we argue about the conceptual relationship between the role of observer in quantum mechanics and the von Neumann Chain. -/- .

Reseña de „Birnbacher, D. y Koßler, M. (eds.). (2022). Das Hauptwerk 200 Jahre Arthur Schopenhauers Die Welt als Wille und Vorstellung. Königshausen & Neumann“ in: Tópicos, 69, (2024), 497–506.

Harsanyi claimed that his Aggregation and Impartial Observer Theorems provide a justification for utilitarianism. This claim has been strongly resisted, notably by Sen and Weymark, who argue that while Harsanyi has perhaps shown that overall good is a linear sum of individuals’ von Neumann-Morgenstern utilities, he has done nothing to establish any con- nection between the notion of von Neumann-Morgenstern utility and that of well-being, and hence that utilitarianism does not follow. The present article defends Harsanyi against the (...) Sen-Weymark cri- tique. I argue that, far from being a term with precise and independent quantitative content whose relationship to von Neumann-Morgenstern utility is then a substantive question, terms such as ‘well-being’ suffer (or suffered) from indeterminacy regarding precisely which quantity they refer to. If so, then (on the issue that this article focuses on) Harsanyi has gone as far towards defending ‘utilitarianism in the original sense’ as could coherently be asked. (shrink)

I argue that prioritarianism cannot be assessed in abstraction from an account of the measure of utility. Rather, the soundness of this view crucially depends on what counts as a greater, lesser, or equal increase in a person’s utility. In particular, prioritarianism cannot accommodate a normatively compelling measure of utility that is captured by the axioms of John von Neumann and Oskar Morgenstern’s expected utility theory. Nor can it accommodate a plausible and elegant generalization of this theory that has (...) been offered in response to challenges to von Neumann and Morgenstern. This is, I think, a theoretically interesting and unexpected source of difficulty for prioritarianism, which I explore in this article. (shrink)

A possible world is a junky world if and only if each thing in it is a proper part. The possibility of junky worlds contradicts the principle of general fusion. Bohn (2009) argues for the possibility of junky worlds, Watson (2010) suggests that Bohn‘s arguments are flawed. This paper shows that the arguments of both authors leave much to be desired. First, relying on the classical results of Cantor, Zermelo, Fraenkel, and von Neumann, this paper proves the possibility of (...) junky worlds for certain weak set theories. Second, the paradox of Burali-Forti shows that according to the Zermelo-Fraenkel set theory ZF, junky worlds are possible. Finally, it is shown that set theories are not the only sources for designing plausible models of junky worlds: Topology (and possibly other "algebraic" mathematical theories) may be used to construct models of junky worlds. In sum, junkyness is a relatively widespread feature among possible worlds. (shrink)

We review our approach to quantum mechanics adding also some new interesting results. We start by giving proof of two important theorems on the existence of the A(Si) and i,±1 N Clifford algebras. This last algebra gives proof of the von Neumann basic postulates on the quantum measurement explaining thus in an algebraic manner the wave function collapse postulated in standard quantum theory. In this manner we reach the objective to expose a self-consistent version of quantum mechanics. In detail (...) we realize a bare bone skeleton of quantum mechanics recovering all the basic foundations of this theory on an algebraic framework. We give proof of the quantum like Heisenberg uncertainty relations using only the basic support of the Clifford algebra. In addition we demonstrate the well known phenomenon of quantum Mach Zender interference using the same algebraic framework, as well as we give algebraic proof of quantum collapse in some cases of physical interest by direct application of the theorem that we derive to elaborate the i,±1 N algebra. We also discuss the problem of time evolution of quantum systems as well as the changes in space location, in momentum and the linked invariance principles. We are also able to re-derive the basic wave function of standard quantum mechanics by using only the Clifford algebraic approach. In this manner we obtain a full exposition of standard quantum mechanics using only the basic axioms of Clifford algebra. We also discuss more advanced features of quantum mechanics. In detail, we give demonstration of the Kocken-Specher theorem, and also we give an algebraic formulation and explanation of the EPR paradox only using the Clifford algebra. By using the same approach we also derive Bell inequalities. Our formulation is strongly based on the use of idempotents that are contained in Clifford algebra. Their counterpart in quantum mechanics is represented by the projection operators that, as it is well known, are interpreted as logical statements, following the basic von Neumann results. Von Neumann realized a matrix logic on the basis of quantum mechanics. Using the Clifford algebra we are able to invert such result. According to the results previously obtained by Orlov in 1994, we are able to give proof that quantum mechanics derives from logic. We show that indeterminism and quantum interference have their origin in the logic. Therefore, it seems that we may conclude that quantum mechanics, as it appears when investigated by the Clifford algebra, is a two-faced theory in the sense that it looks from one side to “matter per se”, thus to objects but simultaneously also to conceptual entities. We advance the basic conclusion of the paper: There are stages of our reality in which we no more can separate the logic ( and thus cognition and thus conceptual entity) from the features of “matter per se”. In quantum mechanics the logic, and thus the cognition and thus the conceptual entity-cognitive performance, assume the same importance as the features of what is being described. We are at levels of reality in which the truths of logical statements about dynamic variables become dynamic variables themselves so that a profound link is established from its starting in this theory between physics and conceptual entities. Finally, in this approach there is not an absolute definition of logical truths. Transformations , and thus … “redefinitions”…. of truth values are permitted in such scheme as well as the well established invariance principles, clearly indicate . (shrink)

The paper summarizes expected utility theory, both in its original von Neumann-Morgenstern version and its later developments, and discusses the normative claims to rationality made by this theory.

Does consciousness collapse the quantum wave function? This idea was taken seriously by John von Neumann and Eugene Wigner but is now widely dismissed. We develop the idea by combining a mathematical theory of consciousness (integrated information theory) with an account of quantum collapse dynamics (continuous spontaneous localization). Simple versions of the theory are falsified by the quantum Zeno effect, but more complex versions remain compatible with empirical evidence. In principle, versions of the theory can be tested by experiments (...) with quantum computers. The upshot is not that consciousness-collapse interpretations are clearly correct, but that there is a research program here worth exploring. (shrink)

People with the kind of preferences that give rise to the St. Petersburg paradox are problematic---but not because there is anything wrong with infinite utilities. Rather, such people cannot assign the St. Petersburg gamble any value that any kind of outcome could possibly have. Their preferences also violate an infinitary generalization of Savage's Sure Thing Principle, which we call the *Countable Sure Thing Principle*, as well as an infinitary generalization of von Neumann and Morgenstern's Independence axiom, which we call (...) *Countable Independence*. In violating these principles, they display foibles like those of people who deviate from standard expected utility theory in more mundane cases: they choose dominated strategies, pay to avoid information, and reject expert advice. We precisely characterize the preference relations that satisfy Countable Independence in several equivalent ways: a structural constraint on preferences, a representation theorem, and the principle we began with, that every prospect has a value that some outcome could have. (shrink)

In his classic book “the Foundations of Statistics” Savage developed a formal system of rational decision making. The system is based on (i) a set of possible states of the world, (ii) a set of consequences, (iii) a set of acts, which are functions from states to consequences, and (iv) a preference relation over the acts, which represents the preferences of an idealized rational agent. The goal and the culmination of the enterprise is a representation theorem: Any preference relation that (...) satisfies certain arguably acceptable postulates determines a (finitely additive) probability distribution over the states and a utility assignment to the consequences, such that the preferences among acts are determined by their expected utilities. Additional problematic assumptions are however required in Savage's proofs. First, there is a Boolean algebra of events (sets of states) which determines the richness of the set of acts. The probabilities are assigned to members of this algebra. Savage's proof requires that this be a σ-algebra (i.e., closed under infinite countable unions and intersections), which makes for an extremely rich preference relation. On Savage's view we should not require subjective probabilities to be σ-additive. He therefore finds the insistence on a σ-algebra peculiar and is unhappy with it. But he sees no way of avoiding it. Second, the assignment of utilities requires the constant act assumption: for every consequence there is a constant act, which produces that consequence in every state. This assumption is known to be highly counterintuitive. The present work contains two mathematical results. The first, and the more difficult one, shows that the σ-algebra assumption can be dropped. The second states that, as long as utilities are assigned to finite gambles only, the constant act assumption can be replaced by the more plausible and much weaker assumption that there are at least two non-equivalent constant acts. The second result also employs a novel way of deriving utilities in Savage-style systems -- without appealing to von Neumann-Morgenstern lotteries. The paper discusses the notion of “idealized agent" that underlies Savage's approach, and argues that the simplified system, which is adequate for all the actual purposes for which the system is designed, involves a more realistic notion of an idealized agent. (shrink)

Since John Von Neumann's proposition in 1932 of a relationship between quantum mechanics and the brain, different perspectives and proposals have evolved (Tarlaci, 2010). Hu & Wu (2006) point out that the seat of consciousness would be the spin within the membranes of neurons and proteins in the brain. Sieb (2016) applied the theory of relativity to spatiotemporal consciousness and found correlations with aspects of brain functioning. Another suggestion is that consciousness emerges because of the Orchestrated Objective Reduction in (...) microtubules (Hameroff & Penrose, 2003). However, few studies about the psychological implications of the relationship between quantum mechanics and the brain and its application to individual psychology exist. (shrink)

In 1957, Feyerabend delivered a paper titled ‘On the Quantum-Theory of Measurement’ at the Colston Research Symposium in Bristol to sketch a completion of von Neumann's measurement scheme without collapse, using only unitary quantum dynamics and well-motivated statistical assumptions about macroscopic quantum systems. Feyerabend's paper has been recognised as an early contribution to quantum measurement, anticipating certain aspects of decoherence. Our paper reassesses the physical and philosophical content of Feyerabend's contribution, detailing the technical steps as well as its overall (...) philosophical motivations and consequences. Summarising our results, Feyerabend interpreted collapse as a positivist assumption in quantum mechanics leading to a strict distinction between the uninterpreted formalism of unitary evolution in quantum mechanics and the classically interpreted observational language describing post-measurement outcomes. Thus Feyerabend took the no-collapse completion of the von Neumann measurement scheme to show the dispensability of the positivist assumption, leading the way to a realistic interpretation of quantum theory. We note, however, that there are substantial problems with his account of measurement that bring into question its viability as a legitimate foil to the orthodox view. We further argue that his dissatisfaction with the von Neumann measurement scheme is indicative of early views on theoretical pluralism. (shrink)

Could a sufficiently detailed computer simulation of consciousness replicate consciousness? In other words, is performing the right computations sufficient for artificial consciousness? Or will there remain a difference between simulating and being a conscious system, because the right computations must be implemented in the right way? From the perspective of Karl Friston's free energy principle, self-organising systems (such as living organisms) share a set of properties that could be realised in artificial systems, but are not instantiated by computers with a (...) classical (von Neumann) architecture. I argue that at least one of these properties, viz. a certain kind of causal flow, can be used to draw a distinction between systems that merely simulate, and those that actually replicate consciousness. Since this property is instantiated by all systems that conform to the free energy principle (not just conscious beings), the account on offer here can be extended to draw a distinction between simulating and being a certain type of system, more generally. In particular, this may inform meta-ethical accounts of artificial moral status and artificial moral agency. (shrink)

Attention has a long history in philosophy, despite its near absence in the twentieth century. This chapter provides an overview of philosophical research on attention. It begins by explaining the concept of "selection from limitation," contrasting it with the more recent "selection for action." It reviews historical texts that discuss attention, focusing on those in the Western canon whose understanding of "attention" aligns with contemporary usage. It then describes the differential treatment of attention in phenomenology and behaviorism in the last (...) century. Finally, it discusses contemporary research by topic: attention, perception, and knowledge; attention and consciousness; attention and action; and attention and the self. It includes work by Allport,Aristotle, Astell, Augustine, Bergson, Berkeley, Block, Bradley, Buddhaghosa, Campbell, Cherry, De Brigard, Dehaene and Naccache, Descartes, Dickie, Du Bois, Ganeri, Hegel, Heidegger, James, Kant, Koch and Tsuchiya, LaBerge, Locke, Mack and Rock, Malebranche, Merleau-Ponty, Mole, Montemayor and Haladjian, Neumann, Pashler, Posner, Prinz, Reid, Rensink, Reynolds and Heeger, Treisman, Watzl, Wittgenstein, Wollstonecraft, and Wu. (shrink)

The probabilities a Bayesian agent assigns to a set of events typically change with time, for instance when the agent updates them in the light of new data. In this paper we address the question of how an agent's probabilities at different times are constrained by Dutch-book coherence. We review and attempt to clarify the argument that, although an agent is not forced by coherence to use the usual Bayesian conditioning rule to update his probabilities, coherence does require the agent's (...) probabilities to satisfy van Fraassen's [1984] reflection principle (which entails a related constraint pointed out by Goldstein [1983]). We then exhibit the specialized assumption needed to recover Bayesian conditioning from an analogous reflection-style consideration. Bringing the argument to the context of quantum measurement theory, we show that "quantum decoherence" can be understood in purely personalist terms---quantum decoherence (as supposed in a von Neumann chain) is not a physical process at all, but an application of the reflection principle. From this point of view, the decoherence theory of Zeh, Zurek, and others as a story of quantum measurement has the plot turned exactly backward. (shrink)

The biomedical literature makes extensive use of the concept of a genetic program. So far, however, the nature of genetic programs has received no satisfactory elucidation from the standpoint of computer science. This unsettling omission has led to doubts about the very existence of genetic programs, on the grounds that gene regulatory networks lack a predetermined schedule of execution, which may seem to contradict the very idea of a program. I show, however, that we can make perfect sense of genetic (...) programs, if only we abandon the preconception that all computers have a von Neumann architecture. Instead, genetic programs instantiate the computational architecture of Post–Newell Production Systems. That is, genetic programs are unordered sets of conditional instructions, instructions that fire independently when their conditions are matched. For illustration I present a paradigm Production System that regulates the functioning of the well-known lac operon of E. coli. On close reflection it turns out that not only genes, but also proteins encode instructions. I propose, therefore, to rename genetic programs to biomolecular programs. Biomolecular and/or genetic programs, and the cellular computers than run them, are to be understood not as von Neumann computers, but as Post–Newell production systems. (shrink)

The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 1927 von Neumann paper [31]. Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T [42]. Mathematical logicians recognize the role of schemata in first-order number theory where Peano’s second-order Induction Axiom is approximated by Herbrand’s (...) Induction-Axiom Schema [23]. Similarly, in first-order set theory, Zermelo’s second-order Separation Axiom is approximated by Fraenkel’s first-order Separation Schema [17]. In some of several closely related senses, a schema is a complex system having multiple components one of which is a template-text or scheme-template, a syntactic string composed of one or more “blanks” and also possibly significant words and/or symbols. In accordance with a side condition the template-text of a schema is used as a “template” to specify a multitude, often infinite, of linguistic expressions such as phrases, sentences, or argument-texts, called instances of the schema. The side condition is a second component. The collection of instances may but need not be regarded as a third component. The instances are almost always considered to come from a previously identified language (whether formal or natural), which is often considered to be another component. This article reviews the often-conflicting uses of the expressions ‘schema’ and ‘scheme’ in the literature of logic. It discusses the different definitions presupposed by those uses. And it examines the ontological and epistemic presuppositions circumvented or mooted by the use of schemata, as well as the ontological and epistemic presuppositions engendered by their use. In short, this paper is an introduction to the history and philosophy of schemata. (shrink)

I follow standard mathematical practice and theory to argue that the natural numbers are the finite von Neumann ordinals. I present the reasons standardly given for identifying the natural numbers with the finite von Neumann's (e.g., recursiveness; well-ordering principles; continuity at transfinite limits; minimality; and identification of n with the set of all numbers less than n). I give a detailed mathematical demonstration that 0 is { } and for every natural number n, n is the set of (...) all natural numbers less than n. Natural numbers are sets. They are the finite von Neumann ordinals. (shrink)

The bi-polar confrontation between the Soviet Union and the USA involved many leading game theorists from both sides of the Iron Curtain: Oskar Morgenstern, John von Neumann, Michael Intriligator, John Nash, Thomas Schelling and Steven Brams from the United States and Nikolay Vorob’ev, Leon A. Petrosyan, Elena B. Yanovskaya and Olga N. Bondareva from the Soviet Union. The formalization of game theory took place prior to the Cold War but the geopolitical confrontation hastened and shaped its evolution. In our (...) article we outline four similarities and differences between Western GT and Soviet GT: 1) the Iron Curtain resulted in a lagged evolution of GT in the Soviet Union; 2) Soviet GT focused more on operations research and issues of centralized planning; 3) the contemporary Western view on Soviet GT was biased and Soviet contributions, including works on dynamic stability, non-emptiness of the core and many refinements, suggest that Soviet GT was able to catch up to the Western level relatively fast; 4) international conferences, including Vilnius, 1971, fostered interaction between Soviet game theorists and their Western colleagues. In general, we consider the Cold War to be a positive environment for GT in the West and in the Soviet Union. (shrink)

Since the pioneering work of Birkhoff and von Neumann, quantum logic has been interpreted as the logic of (closed) subspaces of a Hilbert space. There is a progression from the usual Boolean logic of subsets to the "quantum logic" of subspaces of a general vector space--which is then specialized to the closed subspaces of a Hilbert space. But there is a "dual" progression. The notion of a partition (or quotient set or equivalence relation) is dual (in a category-theoretic sense) (...) to the notion of a subset. Hence the Boolean logic of subsets has a dual logic of partitions. Then the dual progression is from that logic of partitions to the quantum logic of direct-sum decompositions (i.e., the vector space version of a set partition) of a general vector space--which can then be specialized to the direct-sum decompositions of a Hilbert space. This allows the logic to express measurement by any self-adjoint operators rather than just the projection operators associated with subspaces. In this introductory paper, the focus is on the quantum logic of direct-sum decompositions of a finite-dimensional vector space (including such a Hilbert space). The primary special case examined is finite vector spaces over ℤ₂ where the pedagogical model of quantum mechanics over sets (QM/Sets) is formulated. In the Appendix, the combinatorics of direct-sum decompositions of finite vector spaces over GF(q) is analyzed with computations for the case of QM/Sets where q=2. (shrink)

“There’s Plenty of Room at the Bottom”, said the title of Richard Feynman’s 1959 seminal conference at the California Institute of Technology. Fifty years on, nanotechnologies have led computer scientists to pay close attention to the links between physical reality and information processing. Not all the physical requirements of optimal computation are captured by traditional models—one still largely missing is reversibility. The dynamic laws of physics are reversible at microphysical level, distinct initial states of a system leading to distinct final (...) states. On the other hand, as von Neumann already conjectured, irreversible information processing is expensive: to erase a single bit of information costs ~3 × 10−21 joules at room temperature. Information entropy is a thermodynamic cost, to be paid in non-computational energy dissipation. This paper addresses the problem drawing on Edward Fredkin’s Finite Nature hypothesis: the ultimate nature of the universe is discrete and finite, satisfying the axioms of classical, atomistic mereology. The chosen model is a cellular automaton with reversible dynamics, capable of retaining memory of the information present at the beginning of the universe. Such a CA can implement the Boolean logical operations and the other building bricks of computation: it can develop and host all-purpose computers. The model is a candidate for the realization of computational systems, capable of exploiting the resources of the physical world in an efficient way, for they can host logical circuits with negligible internal energy dissipation. (shrink)

This paper provides a brief introduction to quantum theory and the proceeds to discuss the different ways in which the relationship between quantum theory and mind/consciousness is seen in some of the main alternative interpretations of quantum theory namely by Bohr; von Neumann; Penrose: Everett; and Bohm and Hiley. It briefly considers how qualia might be explained in a quantum framework, and makes a connection to research on quantum biology, quantum cognition and quantum computation. The paper notes that it (...) is widely agreed that conscious experience has dynamical and holistic features. It asks whether these features might in some way be a reflection of the dynamic and holistic quantum physical processes associated with the brain that may underlie (and make possible) the more mechanistic neurophysiological processes that contemporary cognitive neuroscience is measuring. If so, these macroscopic processes would be a kind of shadow, or amplification of the results of quantum processes at a deeper (pre-spatial or "implicate") level where our minds and conscious experience essentially live and unfold. The macroscopic, mechanistic level is of course necessary for communication, cognition and life as we know it, including science; but perhaps the experiencing (consciousness) of that world and the initiation of our actions takes place at a more subtle, non-mechanical level of the physical world, which quantum theory has begun to discover. At the very least a quantum perspective will help a “classical” consciousness theorist to become better aware of some of the hidden assumptions in his or her approach. Given that consciousness is widely thought to be a “hard” problem, its solution may well require us to question and revise some of our assumptions that now seem to us completely obvious. This is what quantum theory is all about – learning, on the basis of scientific experiments, to question the “obvious” truths about the nature of the physical world and to come up with more coherent alternatives. (shrink)

The focus in this essay will be upon the paradoxes, and foremostly in set theory. A central result is that the librationist set theory £ extension \Pfund $\mathscr{HR}(\mathbf{D})$ of \pounds \ accounts for \textbf{Neumann-Bernays-Gödel} set theory with the \textbf{Axiom of Choice} and \textbf{Tarski's Axiom}. Moreover, \Pfund \ succeeds with defining an impredicative manifestation set $\mathbf{W}$, \emph{die Welt}, so that \Pfund$\mathscr{H}(\mathbf{W})$ %is a model accounts for Quine's \textbf{New Foundations}. Nevertheless, the points of view developed support the view that the truth-paradoxes (...) and the set-paradoxes have common origins, so that the librationist resolutions of the set theoretic paradoxes are at the same time resolutions of the truth theoretic paradoxes. Both the librationist resolutions of the set theoretic paradoxes and the truth theoretic paradoxes have non-trivial philosophical implications: librationist set theories have the consequence that there are no absolutely uncountable sets, and librationist truth theories allow the use of syntactical modalities in ways which circumvent limitations as those of \parencite{Montague1963}, and a truth predicate which is useful for more precise philosophical discourse. (shrink)

Tous les chercheurs intéressés aux fondements de la théorie quantique s’entendent sur le fait que celle-ci a profondément modifié notre conception de la réalité. Là s’arrête, toutefois, le consensus. Le formalisme de la théorie, non problématique, donne lieu à plusieurs interprétations très différentes, qui ont chacune des conséquences sur la notion de réalité. Cet article analyse comment l’interprétation de Copenhague, l’effondrement du vecteur d’état de von Neumann, l’onde pilote de Bohm et de Broglie et les mondes multiples d’Everett modifient, (...) chacun à sa manière, la conception classique de la réalité, dont le caractère local, en particulier, requiert une révision. (shrink)

En este artículo realizamos una reconstrucción del Programa original de Hilbert antes del surgimiento de los teoremas limitativos de la tercera década del siglo pasado. Para tal reconstrucción empezaremos por mostrar lo que Torretti llama los primeros titubeos formales de Hilbert, es decir, la defensa por el método axiomático como enfoque fundamentante. Seguidamente, mostraremos como estos titubeos formales se establecen como un verdadero programa de investigación lógico-matemático y como dentro de dicho programa la inquietud por la decidibilidad de los problemas (...) matemáticos y en específico la decidibilidad de la Lógica de primer orden cobra peso. Luego pasamos a analizar como la inquietud por la decibilidad toma lugar dentro del pensamiento filosófico-matemático de Hilbert presentándose como uno de los grandes problemas a los cuales la metamatemática debe encontrar una solución, esto lo hacemos mostrando un contraste con autores, como John von Neumann y Roberto Torretti, quienes de alguna u otra manera no interpretan el problema de la decidibilidad de la Lógica de primer orden como un problema de peso dentro del programa original de Hilbert. Finalmente argumentamos que el resultado meta-teórico de Church puede entenderse como una refutación del optimismo intelectual que permea a todo el programa original de Hilbert. (shrink)

contents -/- ONT vol 1 i. short review: Beyond the Black Rainbow ii. as you die, hold one thought iii. short review: LA JETÉE -/- ONT vol 2 i. maya means ii. short review: SANS SOLEIL iii. vocab iv. eros has an underside v. short review: In the Mood for Love -/- ONT vol 3 i. weed weakens / compels me ii. an Ender's Game after-party iii. playroom is a realm of the dead iv. a precise german History v. short (...) review: STATUES ALSO DIE vi. Kenneth Clark, curator for Fascism vii. a protest poem, in industry lit viii. Lawrence and the English Romance -/- ONT vol 4 i. short review: The Eyes of Tammy Faye ii. vR is efficient R iii. all thru Asia, robes for monks iv. same of God, and of the one God sent v. i thought of the Messiah / muse would be vi. conscience is strong vii. a monk's exalted end -/- ONT vol 5 -/- i. for Shakespeare's Richard the Third ii. the truth is i pass over so many words iii. the boori nazar / nadhar iv. i've awe for jihaad v. short review: Hail, Caesar! vi. a minute of Nothing, gone from YouTube vii. we were rivalrous friends, again viii. my bardo pdf ix. within i'm a weak old mandarin -/- ONT vol 6 i. short review: The Intern ii. the confusion of Chinatown iii. we'll remember water, in Theology iv. Respironics versus ResMed v. i'd bet my life for what vi. the Mad Max deity vii. they'd kill my rat, not heal him -/- ONT vol 7 i. Austen would eroticize all life ii. Merchant/Ivory, a name oddly right iii. Ellie Arroway / Agent Starling iv. abattoir / l’abattoir / laboratoire v. von Neumann's brain an anomaly vi. was terrified of death, delighted in the a-bomb vii. the Greatest Brain is variously named -/- ONT vol 8 i. the day they shot the sacrifice ii. Yay or Nay, on Animal Testing iii. an ought is an is / an is is an ought iv. Behaviorism is for zombies v. a finding from the neuro-lab, on empathy vi. i’ve never had discernible abs vii. a cowardice i'm assenting to perpetually -/- ONT vol 9 i. Day of the Locust / Triffids ii. we're wide on a Paramount soundstage iii. HOLLYWOOD, an ecologic history iv. yet one more site of end-time art v. he's "a bookworm with bulging lobes" vi. apartment is my state of being apart vii. enlightenment means a weight's release -/- ONT lates and xtras i. re Gödel's ontological argument ii. deep in pi's numeric noise iii. from Nothing, something iv. endless in the wrong direction, tragic v. they give you all Eternity to answer vi. what of God's mercy? vii. informed consent and prayer viii. i won't live on. a deed i've done may ix. my selective memory x. Janus means: in close-up foam, two faces xi. a liveable world is a readable world xii. what Supervenes from this? xiii. at each extreme our naming is anachronism xiv. Cat is a collapsing of the wave-function xv. diminishing returns in the history of Experiment xvi. all those undershared Nobels xvii. ice preserves the Cold from heat xviii. a desert spreads xix. Pinker's wit, on jokes xx. Rome surrounds St. Paul / Paul is now the center xxi. each is a gathering Ministry xxii. white boy shot execution-style xxiii. the McDonald's Statement of Claim xxiv. first & last: Don Quixote / Ulysses xxv. The Summer of Rave xxvi. this electro is intrinsically anonymous xxvii. all thru Asia, Drake-Rihanna xxviii. WHO IS BETTER: PLATON OR KANT? (shrink)

The text is a continuation of the article of the same name published in the previous issue of Philosophical Alternatives. The philosophical interpretations of the Kochen- Specker theorem (1967) are considered. Einstein's principle regarding the,consubstantiality of inertia and gravity" (1918) allows of a parallel between descriptions of a physical micro-entity in relation to the macro-apparatus on the one hand, and of physical macro-entities in relation to the astronomical mega-entities on the other. The Bohmian interpretation ( 1952) of quantum mechanics proposes (...) that all quantum systems be interpreted as dissipative ones and that the theorem be thus derstood. The conclusion is that the continual representation, by force or (gravitational) field between parts interacting by means of it, of a system is equivalent to their mutual entanglement if representation is discrete. Gravity (force field) and entanglement are two different, correspondingly continual and discrete, images of a single common essence. General relativity can be interpreted as a superluminal generalization of special relativity. The postulate exists of an alleged obligatory difference between a model and reality in science and philosophy. It can also be deduced by interpreting a corollary of the heorem. On the other hand, quantum mechanics, on the basis of this theorem and of V on Neumann's (1932), introduces the option that a model be entirely identified as the modeled reality and, therefore, that absolutely reality be recognized: this is a non-standard hypothesis in the epistemology of science. Thus, the true reality begins to be understood mathematically, i.e. in a Pythagorean manner, for its identification with its mathematical model. A few linked problems are highlighted: the role of the axiom of choice forcorrectly interpreting the theorem; whether the theorem can be considered an axiom; whether the theorem can be considered equivalent to the negation of the axiom. (shrink)

The Schrodinger's Cat and Wigner's Friend thought experiments, which logically follow from the universality of quantum mechanics at all scales, have been repeatedly characterized as possible in principle, if perhaps difficult or impossible for all practical purposes. I show in this paper why these experiments, and interesting macroscopic superpositions in general, are actually impossible in principle. First, no macroscopic superposition can be created via the slow process of natural quantum packet dispersion because all macroscopic objects are inundated with decohering interactions (...) that constantly localize them. Second, the SC/WF thought experiments depend on von Neumann-style amplification to achieve quickly what quantum dispersion achieves slowly. Finally, I show why such amplification cannot produce a macroscopic quantum superposition of an object relative to an external observer, no matter how well isolated the object from the observer, because: the object and observer are already well correlated to each other; and reducing their correlations to allow the object to achieve a macroscopic superposition relative to the observer is equally impossible, in principle, as creating a macroscopic superposition via the process of natural quantum dispersion. (shrink)

The full text of this essay is available in an English translation (also in philpapers) under: Alfred Gierer, Science, religion, and basic biological issues that are open to interpretation. Der Artikel bildet das Schlusskapitel des Buches " Alfred Gierer: Wissenschaftliches Denken, das Rätsel Bewusstsein und pro-religiöse Ideen", Königshausen&Neumann, Würzburg 2019. Reichweite und Grenzen naturwissenschaftlicher Erklärungen ergeben sich zum einen aus der universellen Gültigkeit physikalischer Gesetze, zum anderen aus prinzipiellen, intrinsischen Grenzen der Bestimmbarkeit und Berechenbarkeit, zumal bei selbstbezüglichen Fragestellungen. In (...) diesem Essay geht es um deutungsoffene Grundfragen in Zusammenhang mit der Beziehung von Wissenschaft und Religion: Der Unterscheidung von Tier und Mensch, der Entstehung der mentalen Fähigkeiten der biologischen Spezies „Mensch“, den naturgesetzlichen Voraussetzungen eines „lebensfreundlichen“ physikalischen Universums, und der Reichweite wie den Grenzen einer naturwissenschaftlichen Erklärung von menschlichem Bewusstsein. Naturwissenschaft kann auf der philosophischen, kulturellen und religiösen Ebene die Mehrdeutigkeit der Welt nicht auflösen. Agnostische und religiöse Grundauffassungen werden auf Dauer ko-existieren, und die Wahl ist nicht nur eine Frage des Wissens, sondern besonders auch der Weisheit und der Lebenskunst. (shrink)

Theoretiker der Künstlichen Intelligenz und deren Wegbegleiter in der Philosophie des Geistes haben auf unterschiedliche Weise auf Kritik am ursprünglichen Theorieziel der KI reagiert. Eine dieser Reaktionen ist die Zurücknahme dieses Theorieziels zugunsten der Verfolgung kleinerformatiger Projekte. Eine andere Reaktion ist die Propagierung konnektionistischer Systeme, die mit ihrer dezentralen Arbeitsweise die neuronalen Netze des menschlichen Gehirns besser simulieren sollen. Eine weitere ist die sogenannte robot reply. Die Roboterantwort besteht aus zwei Elementen. Sie enthält (a) das Zugeständnis, daß das Systemverhalten eines (...) wie auch immer programmierten konventionellen Digitalrechners mit von Neumann-Architektur nicht schon menschenähnliche Intelligenz aufweist, und (b) die Behauptung, daß es für bestimmte Arten von Maschinen doch zur Intelligenz reicht. In die Liga der intelligenten Wesen könnten Maschinen genau dann aufsteigen, wenn sie Roboter sind. Damit ist gemeint: wenn sie über Wahrnehmungskomponenten (Rezeptoren) und Handlungskomponenten (Effektoren) verfügen, mithilfe deren sie aktiv in kausale Interaktionen mit ihrer Umwelt eintreten können. Im Beitrag wird für die These argumentiert, daß der Roboterantwort eine richtige Intuition zugrunde liegt, von der die Roboterfreunde sich aber zu einer kurzschlüssigen Folgerung verleiten lassen. Es ist richtig, mentale Zustände und Handlungskompetenz eng aneinander zu binden. Einem Wesen, dem man Handlungsfähigkeit zuerkennt, kann man mentale Zustände nicht absprechen. Doch Handelnkönnen und Geisthaben sind nicht hinreichend unabhängig voneinander, als daß man das eine als Rechtfertigung für die Zuerkennung des anderen verwenden könnte. Man sollte Robotern beides absprechen. (shrink)

What is a physical object according to the theory of quantum mechanics? The first answer to be considered is that given by Bohr in terms of the concept of complementarity. This interpretation is illustrated by way of an example, the two slit experiment, which highlights some of the associated problems of ontology. One such problem is the so-called problem of measurement or observation. Various interpretations of measurement in Quantum Theory, including those of Heisenberg, von Neumann, Everett and Bohr, are (...) compared and contrasted. A second problem concerns whether or not QT can be considered complete and therefore satisfactory as a basis for physics. Various attempts to complete QT by means of the addition of ‘hidden variables’ to the quantum mechanical state function are considered and their aims and achievements assessed. Finally, we investigate some of the characteristic ontological problems for the orthodox interpretation of Relativistic Quantum Theory. -/- . (shrink)

This case examines the rise and fall of WeWork—a company that experienced one of the most dramatic changes of fortune in technology company history. For several years, WeWork was a Silicon Valley darling, growing at breakneck speed with visionary Adam Neumann at the helm. By some estimates, Neumann’s company was worth $47 billion in January of 2019. But when the company filed paperwork in preparation for going public later that year, investors balked at the details revealed in the (...) documents: billions of dollars in losses and lots of questionable behavior on the part of Neumann (including numerous conflicts of interest involving his personal business dealings). The IPO was postponed and later withdrawn; Neumann was forced to step down as CEO; and by May of 2020 the company’s valuation had dropped to $3 billion. Exploring this recent history will provide an opportunity to ask what lessons can be drawn from the rise and fall of WeWork, and from the economic and social context that enabled its growth. (shrink)

The 20th Century is the starting point for the most ambitious attempts to extrapolate human life into artificial systems. Norbert Wiener’s Cybernetics, Claude Shannon’s Information Theory, John von Neumann’s Cellular Automata, Universal Constructor to the Turing Test, Artificial Intelligence to Maturana and Varela’s Autopoietic Organization, all shared the goal of understanding in what sense humans resemble a machine. This scientific and technological movement has embraced all disciplines without exceptions, not only mathematics and physics but also biology, sociology, psychology, economics (...) etc. New terms were developed, such as “information”, “organization”, “entropy”, “communication”, “encryption”, “computation” and “algorithmics” to mention a few, all which had an enormous impact on artificial systems. Our work follows this historical track but with a reversed order of priorities. Instead of deducing a reduced group of human acts into an artificial environment, we deduce the human aspects of machines by extrapolating algorithmic methodologies into everyday life acts. The present informational theories were insufficiently powered to achieve this objective without developing a new theoretical approach. Hence, our research is directed towards an expansion of the current informational theories. (shrink)

In this paper, we examine how a research institution’s social structure and academic opinion leaders’ presence shaped the early adoption of a scientific innovation. Our case considers the early engagement of mathematical economists at the Cowles Commission with John von Neumann and Oskar Morgenstern’s Theory of Games and Economic Behavior. We argue that scholars with administrative leadership functions who were not only scientifically but also organizationally central – in our case the director of research Jacob Marschak – played a (...) crucial role in promoting the adoption of the Theory of Games. We support our argument with a scientometric analysis of all acknowledgments made in 488 papers published from 1944 to 1955 in the two main paper series at Cowles. We apply blockmodeling techniques to the acknowledgments network to reconstruct the formal and informal social structure at Cowles at the time. Our findings suggest that studies of the early adoption of scientific theories benefit from complementary perspectives on the role of academic leaders and scientists. Our study reveals the importance of formal and informal social structures and the agenda of administrative leaders in these structures to explain their adoption. (shrink)