A computational theory of consciousness should include a quantitative measure of consciousness, or MoC, that (i) would reveal to what extent a given system is conscious, (ii) would make it possible to compare not only different systems, but also the same system at different times, and (iii) would be graded, because so is consciousness. However, unless its design is properly constrained, such an MoC gives rise to what we call the boundary problem: an MoC that labels a system as conscious (...) will do so for some – perhaps most – of its subsystems, as well as for irrelevantly extended systems (e.g., the original system augmented with physical appendages that contribute nothing to the properties supposedly supporting consciousness), and for aggregates of individually conscious systems (e.g., groups of people). This problem suggests that the properties that are being measured are epiphenomenal to consciousness, or else it implies a bizarre proliferation of minds. We propose that a solution to the boundary problem can be found by identifying properties that are intrinsic or systemic: properties that clearly differentiate between systems whose existence is a matter of fact, as opposed to those whose existence is a matter of interpretation (in the eye of the beholder). We argue that if a putative MoC can be shown to be systemic, this ipso facto resolves any associated boundary issues. As test cases, we analyze two recent theories of consciousness in light of our definitions: the Integrated Information Theory and the Geometric Theory of consciousness. (shrink)

Physical theories are complex and necessary tools for gaining new knowledge about their areas of application. A distinction is made between abstract and practical theories. The last are constantly being improved in the cognitive activity of professional physicists and studied by future physicists. A variant of the philosophy of physics based on a modified structural-nominative reconstruction of practical theories is proposed. Readers should decide whether this option is useful for their understanding of the philosophy of physics, as (...) well as other philosophies of particular sciences. (shrink)

The paper explicates the stages of the author’s philosophical evolution in the light of Kopnin’s ideas and heritage. Starting from Kopnin’s understanding of dialectical materialism, the author has stated that category transformations of physics has opened from conceptualization of immutability to mutability and then to interaction, evolvement and emergence. He has connected the problem of physical cognition universals with an elaboration of the specific system of tools and methods of identifying, individuating and distinguishing objects from a scientific theory domain. The (...) role of vacuum conception and the idea of existence (actual and potential, observable and nonobservable, virtual and hidden) types were analyzed. In collaboration with S.Crymski heuristic and regulative functions of categories of substance, world as a whole as well as postulates of relativity and absoluteness, and anthropic and self-development principles were singled out. Elaborating Kopnin’s view of scientific theories as a practically effective and relatively true mapping of their domains, the author in collaboration with M. Burgin have originated the unified structure-nominative reconstruction (model) of scientific theory as a knowledge system. According to it, every scientific knowledge system includes hierarchically organized and complex subsystems that partially and separately have been studied by standard, structuralist, operationalist, problem-solving, axiological and other directions of the current philosophy of science. 1) The logico-linguistic subsystem represents and normalizes by means of different, including mathematical, languages and normalizes and logical calculi the knowledge available on objects under study. 2) The model-representing subsystem comprises peculiar to the knowledge system ways of their modeling and understanding. 3) The pragmatic-procedural subsystem contains general and unique to the knowledge system operations, methods, procedures, algorithms and programs. 4) From the viewpoint of the problem-heuristic subsystem, the knowledge system is a unique way of setting and resolving questions, problems, puzzles and tasks of cognition of objects into question. It also includes various heuristics and estimations (truth, consistency, beauty, efficacy, adequacy, heuristicity etc) of components and structures of the knowledge system. 5) The subsystem of links fixes interrelations between above-mentioned components, structures and subsystems of the knowledge system. The structure-nominative reconstruction has been used in the philosophical and comparative case-studies of mathematical, physical, economic, legal, political, pedagogical, social, and sociological theories. It has enlarged the collection of knowledge structures, connected, for instance, with a multitude of theoreticity levels and with an application of numerous mathematical languages. It has deepened the comprehension of relations between the main directions of current philosophy of science. They are interpreted as dealing mainly with isolated subsystems of scientific theory. This reconstruction has disclosed a variety of undetected knowledge structures, associated also, for instance, with principles of symmetry and supersymmetry and with laws of various levels and degrees. In cooperation with the physicist Olexander Gabovich the modified structure-nominative reconstruction is in the processes of development and justification. Ideas and concepts were also in the center of Kopnin’s cognitive activity. The author has suggested and elaborated the triplet model of concepts. According to it, any scientific concept is a dependent on cognitive situation, dynamical, multifunctional state of scientist’s thinking, and available knowledge system. A concept is modeled as being consisted from three interrelated structures. 1) The concept base characterizes objects falling under a concept as well as their properties and relations. In terms of volume and content the logical modeling reveals partially only the concept base. 2) The concept representing part includes structures and means (names, statements, abstract properties, quantitative values of object properties and relations, mathematical equations and their systems, theoretical models etc.) of object representation in the appropriate knowledge system. 3) The linkage unites a structures and procedures that connect components from the abovementioned structures. The partial cases of the triplet model are logical, information, two-tired, standard, exemplar, prototype, knowledge-dependent and other concept models. It has introduced the triplet classification that comprises several hundreds of concept types. Different kinds of fuzziness are distinguished. Even the most precise and exact concepts are fuzzy in some triplet aspect. The notions of relations between real scientific concepts are essentially extended. For example, the definition and strict analysis of such relations between concepts as formalization, quantification, mathematization, generalization, fuzzification, and various kinds of identity are proposed. The concepts «PLANET» and «ELEMENTARY PARTICLE» and some of their metamorphoses were analyzed in triplet terms. The Kopnin’s methodology and epistemology of cognition was being used for creating conception of the philosophy of law as elaborating of understanding, justification, estimating and criticizing legal system. The basic information on the major directions in current Western philosophy of law (legal realism, feminism, criticism, postmodernism, economical analysis of law etc.) is firstly introduced to the Ukrainian audience. The classification of more than fifty directions in modern legal philosophy is suggested. Some results of historical, linguistic, scientometric and philosophic-legal studies of the present state of Ukrainian academic science are given. (shrink)

Philosophy of Science; Ukraine; Polysytemic nature of theories; Practical theories; Subsystems of a theory.

The English Synopsis is after the text of the book. The book presents an original and generalizing substantive vision of the philosophy of science through the prism of a detailed analysis of the polysystem structure of scientific theories. Theories are considered, firstly, as complex specialized forms of developed scientific thinking about the realities studied by natural science, secondly, as constantly improving tools for producing new knowledge in interaction with experimental research, and thirdly, as carriers of ordered and verified (...) knowledge. Emphasis is placed on their nominal and ontic subsystems. The book develops personal and joint research of the authors (theoretical physicist and philosopher), the experience of teaching philosophy of physics at NaUKMA, philosophy of science at the Higher School of Philosophy at the H. Skovoroda Institute of Philosophy of the National Academy of Sciences of Ukraine and theoretical physics at the National Technical University "Ihor Sikorsky Kyiv Polytechnic Institute". The research is based on a significant source base covering works of modern Western researchers in natural science and philosophy of science. For students, teachers, and scientists who are interested in the problems of modern philosophy of science and have a certain amount of scientific knowledge. It will also be useful for high school students who are eager to become scientists. (shrink)

In this paper we propose an informal exposition of the structure approach in the philosophy of science. Scientific knowledge is here considered as a collection of scientific theories. Each scientific theory has logico-linguistic, model-representing, pragmatic-procedural, and problem-heuristical subsystems and a subsystem of ties. The pivotal methodological concept for the exact description of these subsystems is the named set. We also outline the possibility of applying the structure-nominative approach to certain problems in the philosophy of science.

We introduce a realist, unextravagant interpretation of quantum theory that builds on the existing physical structure of the theory and allows experiments to have definite outcomes but leaves the theory’s basic dynamical content essentially intact. Much as classical systems have specific states that evolve along definite trajectories through configuration spaces, the traditional formulation of quantum theory permits assuming that closed quantum systems have specific states that evolve unitarily along definite trajectories through Hilbert spaces, and our interpretation extends this intuitive picture (...) of states and Hilbert-space trajectories to the more realistic case of open quantum systems despite the generic development of entanglement. We provide independent justification for the partial-trace operation for density matrices, reformulate wave-function collapse in terms of an underlying interpolating dynamics, derive the Born rule from deeper principles, resolve several open questions regarding ontological stability and dynamics, address a number of familiar no-go theorems, and argue that our interpretation is ultimately compatible with Lorentz invariance. Along the way, we also investigate a number of unexplored features of quantum theory, including an interesting geometrical structure—which we call subsystem space—that we believe merits further study. We conclude with a summary, a list of criteria for future work on quantum foundations, and further research directions. We include an appendix that briefly reviews the traditional Copenhagen interpretation and the measurement problem of quantum theory, as well as the instrumentalist approach and a collection of foundational theorems not otherwise discussed in the main text. (shrink)

What is the quantum state of the universe? Although there have been several interesting suggestions, the question remains open. In this paper, I consider a natural choice for the universal quantum state arising from the Past Hypothesis, a boundary condition that accounts for the time-asymmetry of the universe. The natural choice is given not by a wave function but by a density matrix. I begin by classifying quantum theories into two types: theories with a fundamental wave function and (...) theories with a fundamental density matrix. The Past Hypothesis is compatible with infinitely many initial wave functions, none of which seems to be particularly natural. However, once we turn to density matrices, the Past Hypothesis provides a natural choice---the normalized projection onto the Past Hypothesis subspace in the Hilbert space. Nevertheless, the two types of theories can be empirically equivalent. To provide a concrete understanding of the empirical equivalence, I provide a novel subsystem analysis in the context of Bohmian theories. Given the empirical equivalence, it seems empirically underdetermined whether the universe is in a pure state or a mixed state. Finally, I discuss some theoretical payoffs of the density-matrix theories and present some open problems for future research. (Bibliographic note: the thesis was submitted for the Master of Science in mathematics at Rutgers University.). (shrink)

Biological evolution and technological innovation, while differing in many respects, also share common features. In particular, implementation of a new technology in the market is analogous to the spreading of a new genetic trait in a population. Technological innovation may occur either through the accumulation of quantitative changes, as in the development of the ocean clipper, or it may be initiated by a new combination of features or subsystems, as in the case of steamships. Other examples of the latter (...) type are electric networks that combine the generation, distribution, and use of electricity, and containerized transportation that combines standardized containers, logistics, and ships. Biological evolution proceeds, phenotypically, in many small steps, but at the genetic level novel features may arise not only through the accumulation of many small, common mutational changes, but also when distinct, relatively rare genetic changes are followed by many further mutations. In particular, capabilities of biologically modern man may have been initiated, perhaps some 150 000 years ago, by one or few accidental but distinct combinations of modules and subroutines of gene regulation which are involved in the generation of the neural network in the cerebral cortex. It is even conceivable that it was one primary genetic event that initiated the evolution of biologically modern man, introducing some novel but subtle feature of connectivity into the cerebral cortex which allowed for meta-levels of abstraction and upgraded modes of information processing. This may have set the stage for the evolution of integrated but diverse higher capabilities such as structured language, symbolic thought, strategic thought, and cognition based empathy. (shrink)

This paper presents two systems of natural deduction for the rejection of non-tautologies of classical propositional logic. The first system is sound and complete with respect to the body of all non-tautologies, the second system is sound and complete with respect to the body of all contradictions. The second system is a subsystem of the first. Starting with Jan Łukasiewicz's work, we describe the historical development of theories of rejection for classical propositional logic. Subsequently, we present the two systems (...) of natural deduction and prove them to be sound and complete. We conclude with a ‘Theorem of Inversion’. (shrink)

This chapter introduces a research-based conceptual framework for the study of the inner psychosocial reality of business enterprises. It is called the Inner Organizational Ecosystem Approach (IOEA). This model is systemic in nature, and it defines the basic features of small and medium-size enterprises, such as elements, structures, borders, social actors, organizational climate, processes and resources. Further, it also covers the dynamics of psychosocial reality, processes, emergent qualities and the higher-order subsystems of the overall organizational ecosystem, including the global (...) business environment, which is understood as a macro-system where all the individual organizational ecosystems co-exist. In the applied part of the chapter, cognitive changes emerging within systemic leadership training are defined. Participation in systemic training causes changes in the cognitive processing of reality, more specifically improvements in layer-based framing, relativistic contextual orientation, temporality drift and meaning generation. All of these changes are components of the systemic mind, which is a concept newly proposed and defined by the present study. The systemic mind is a living matrix that is extremely open to acquiring new skills and new patterns of thinking, analyzing and meaning generation. It is processual and it can be considered as an ongoing process of continuous absorption of new cognitive patterns. Both the Inner Organizational Ecosystem Approach and the concept of the systemic mind provide a new theoretical background for empirical investigation in the fields of systemic and systems psychology, complexity psychology, organizational psychology, economic anthropology and the social anthropology of work. (shrink)

It is a striking fact from reverse mathematics that almost all theorems of countable and countably representable mathematics are equivalent to just five subsystems of second order arithmetic. The standard view is that the significance of these equivalences lies in the set existence principles that are necessary and sufficient to prove those theorems. In this article I analyse the role of set existence principles in reverse mathematics, and argue that they are best understood as closure conditions on the powerset (...) of the natural numbers. (shrink)

Why are natural theories pre-well-ordered by consistency strength? In previous work, an approach to this question was proposed. This approach was inspired by Martin's Conjecture, one of the most prominent conjectures in recursion theory. Fixing a reasonable subsystem $T$ of arithmetic, the goal was to classify the recursive functions that are monotone with respect to the Lindenbaum algebra of $T$. According to an optimistic conjecture, roughly, every such function must be equivalent to an iterate $\mathsf{Con}_T^\alpha$ of the consistency operator (...) ``in the limit'' within the ultrafilter of sentences that are true in the standard model. In previous work the author established the first case of this optimistic conjecture; roughly, every recursive monotone function is either as weak as the identity operator in the limit or as strong as $\mathsf{Con}_T$ in the limit. Yet in this note we prove that this optimistic conjecture fails already at the next step; there are recursive monotone functions that are neither as weak as $\mathsf{Con}_T$ in the limit nor as strong as $\mathsf{Con}_T^2$ in the limit. In fact, for every $\alpha$, we produce a function that is cofinally equivalent to $\mathsf{Con}^\alpha_T$ yet cofinally equivalent to $\mathsf{Con}_T$. (shrink)

Using as a starting point recent and apparently incompatible conclusions by Saunders and Knox, I revisit the question of the correct spacetime setting for Newtonian physics. I argue that understood correctly, these two versions of Newtonian physics make the same claims both about the background geometry required to define the theory, and about the inertial structure of the theory. In doing so I illustrate and explore in detail the view—espoused by Knox, and also by Brown —that inertial structure is defined (...) by the dynamics governing subsystems of a larger system. This clarifies some interesting features of Newtonian physics, notably the distinction between using the theory to model subsystems of a larger whole and using it to model complete universes, and the scale-relativity of spacetime structure. _1_ Introduction _2_ Newtonian Mechanics and Galilean Spacetime _3_ Vector Relationism and Maxwellian Spacetime _4_ Recovering the Galilei Group: Dynamics of Subsystems _5_ Knox on Inertial Structure _6_ Connections on Maxwellian Spacetime _7_ Knox on Newtonian Gravity _8_ Vector Relationism and Newton–Cartan Theory _9_ Inertial Structure in Newton–Cartan Gravity _10_ Reconciling Knox and Saunders _11_ Conclusions. (shrink)

In the first part of this investigation we highlight two, seemingly irreconcilable, beliefs that suggest an impending crisis in the teaching, research, and practice of—primarily state-supported—mathematics: (a) the belief, with increasing, essentially faith-based, conviction and authority amongst academics that first-order Set Theory can be treated as the lingua franca of mathematics, since its theorems—even if unfalsifiable—can be treated as ‘knowledge’ because they are finite proof sequences which are entailed finitarily by self-evidently Justified True Beliefs; and (b) the slowly emerging, but (...) powerfully rooted in economic imperatives, belief that only those Justified True Beliefs can be treated as ‘knowledge’ which are, further, categorically communicable as Factually Grounded Beliefs—hence as comprehensible pre-formal ‘mathematical truths’—by any intelligence that lays claims to a mathematical lingua franca. We argue that this seeming irreconcilability merely reflects a widening chasm between an increasing under-estimation of the value to society of ‘semantic arithmetical truth’, and an increasing over-estimation of the value to society of ‘syntactic set-theoretical provability’; a chasm which must be narrowed and bridged explicitly. We thus proffer a Complementarity Thesis which seeks to recognize that mathematical ‘provability’ and mathematical ‘truth’ need to be interdependent and complementary, ‘evidence-based’, assignments-by-convention to the formulas of a formal mathematical language; where (a) the goal of mathematical ‘proofs’ may be viewed as seeking to ensure that any mathematical language intended to formally represent our pre-formal conceptual metaphors and their inter-relatedness is unambiguous, and free from contradiction; whilst (b) the goal of mathematical ‘truths’ must be viewed as seeking to ensure that any such representation does, indeed, uniquely identify and adequately represent such metaphors and their inter-relatedness. Our thesis is that, by universally ignoring the need to introduce goal (b) in our curriculum, the teaching of, and research in, mathematics at the post-graduate level cannnot justify its value to society beyond the mere intellectual stimulation of individual minds. In the second part we appeal to some recent—and hitherto unsuspected—unarguably constructive Tarskian interpretations, of the first-order Peano Arithmetic PA, which establish PA as both finitarily consistent, and categorical. Since we also show that the second order subsystem ACA0 of Peano Arithmetic and PA cannot both be assumed provably consistent, we conclude that there can be no mathematical, or meta-mathematical, proof of consistency for Set Theory. Hence the theorems of any Set Theory are not sufficient for distinguishing between (i) what we can believe to be a ‘mathematical truth’; (ii) what we can evidence as a ‘mathematical truth’; and (iii) what we ought not to believe is a ‘mathematical truth’; whilst the theorems of the first-order Peano Arithmetic PA are sufficient for distinguishing between (i), (ii) and (iii). We conclude from this that the holy grail of mathematics ought to be ‘arithmetical truth’, not ‘set-theoretical proof’. (shrink)

In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes. In this paper I show that a number of logics are susceptible to a strengthened version of Curry's paradox. This can be adapted to provide a proof theoretic analysis of the omega-inconsistency in Lukasiewicz's continuum valued logic, allowing us to better evaluate which logics are suitable for a naïve truth theory. On this basis I identify two natural subsystems of Lukasiewicz logic which individually, (...) but not jointly, lack the problematic feature. (shrink)

Why are quantum correlations so puzzling? A standard answer is that they seem to require either nonlocal influences or conspiratorial coincidences. This suggests that by embracing nonlocal influences we can avoid conspiratorial fine-tuning. But that’s not entirely true. Recent work, leveraging the framework of graphical causal models, shows that even with nonlocal influences, a kind of fine-tuning is needed to recover quantum correlations. This fine-tuning arises because the world has to be just so as to disable the use of nonlocal (...) influences to signal, as required by the no-signaling theorem. This places an extra burden on theories that posit nonlocal influences, such as Bohmian mechanics, of explaining why such influences are inaccessible to causal control. I argue that Everettian Quantum Mechanics suffers no such burden. Not only does it not posit nonlocal influences, it operates outside the causal models framework that was presupposed in raising the fine-tuning worry. Specifically, it represents subsystems with density matrices instead of random variables. This allows it to sidestep all the results (including EPR and Bell) that put quantum correlations in tension with causal models. However, this doesn’t mean one must abandon causal reasoning altogether in a quantum world. When decoherence is rampant and there’s no controlled entanglement, Everettian Quantum Mechanics licenses our continued use of standard causal models. When controlled entanglement is present---such as in Bell-type experiments---we can employ recently-proposed quantum causal models that are consistent with Everettian Quantum Mechanics. We never need invoke any kind of non-local influence or any kind of fine-tuning. (shrink)

In the following we will investigate whether von Mises’ frequency interpretation of probability can be modified to make it philosophically acceptable. We will reject certain elements of von Mises’ theory, but retain others. In the interpretation we propose we do not use von Mises’ often criticized ‘infinite collectives’ but we retain two essential claims of his interpretation, stating that probability can only be defined for events that can be repeated in similar conditions, and that exhibit frequency stabilization. The central idea (...) of the present article is that the mentioned ‘conditions’ should be well-defined and ‘partitioned’. More precisely, we will divide probabilistic systems into object, initializing, and probing subsystem, and show that such partitioning allows to solve problems. Moreover we will argue that a key idea of the Copenhagen interpretation of quantum mechanics (the determinant role of the observing system) can be seen as deriving from an analytic definition of probability as frequency. Thus a secondary aim of the article is to illustrate the virtues of analytic definition of concepts, consisting of making explicit what is implicit. (shrink)

In the present book, the starting line is defined by a morphogenetic perspective on human communication and culture. The focus is on visual communication, music, religion (myth), and language, i.e., on the “symbolic forms” at the heart of human cultures (Ernst Cassirer). The term “morphogenesis” has more precisely the meaning given by René Thom (1923-2002) in his book “Morphogenesis and Structural Stability” (1972) and the notions of “self-organization” and cooperation of subsystems in the “Synergetics” of Hermann Haken (1927- ). (...) The naturalization of communication and cultural phenomena is the favored strategy, but the major results of the involved disciplines (art history, music theory, religious science, and linguistics) are respected. Visual art from the Paleolithic to modernity stands for visual communication. The present book focuses on studies of classical painting and sculpture (e.g., Leonardo da Vinci, William Turner, and Henry Moore) and modern art (e.g., Jackson Pollock and Joseph Beuys). Musical morphogenesis embraces classical music (from J. S. Bach to Arnold Schönberg) and political songwriting (Bob Dylan, Leonhard Cohen). The myths of pre-literary societies show the effects of self-organization in the re-assembly (bricolage) of traditions. Classical polytheistic and monotheistic religions demonstrate the unfolding of basic germs (religious attractors) and their reduction in periods of crisis, the self-organization of complex religious networks, and rationalized macro-structures (in theologies). Significant tendencies are analyzed in the case of Buddhism and Christianism. Eventually, a holistic view of symbolic communication and human culture emerges based on state-of-the-art in evolutionary biology, cognitive science, linguistics, and semiotics (philosophy of symbolic forms). (shrink)

A simple argument proposes a direct link between realism about quantum mechanics and one kind of metaphysical holism: if elementary quantum theory is at least approximately true, then there are entangled systems with intrinsic whole states for which the intrinsic properties and spatiotemporal arrangements of salient subsystem parts do not suffice. Initially, the proposal is compelling: we can find variations on such reasoning throughout influential discussions of entanglement. Upon further consideration, though, this simple argument proves a bit too simple. To (...) get such metaphysically robust consequences out, we need to put more than minimal realism in. This paper offers a diagnosis: our simple argument seems so compelling thanks to an equivocation. The predictions of textbook quantum theory already resonate with familiar holistic slogans; for realists, then, any underlying reality, conforming to such predictions, also counts as holistic in some sense or other, if only by association. Such associated holism, though, does not establish the sort of specific, robust supervenience failure claimed by our simple argument. While it may be natural to slide to this stronger conclusion, facilitating the slide is not minimal realism per se but an additional explanatory assumption about how and why reality behaves in accordance with our theory: roughly, quantum theory accurately captures patterns in the features and behaviors of physical reality because some underlying metaphysical structure constrains reality to exhibit these patterns. Along with the diagnosis comes a recommendation: we can and should understand one traditional disagreement about the metaphysics of entanglement as another manifestation of a familiar and more general conflict between reductive and non-reductive conceptions of metaphysical theorizing. Such reframing makes clearer what resources reductionists have for resisting the simple argument’s challenge from quantum holism. It also has an important moral for their opponents. Traditional focus on whole-part supervenience failure distracts from a root disagreement about metaphysical structure and its role in our theorizing. Non-reductionists fond of our simple argument would be better off tackling this root directly. (shrink)

The monistic worldview aims at a uniform description of nature based on scientific models. Quantum physical systems are mutually part of the other quantum physical systems. An aperture distributes the subsystems and the wave front in all possible ways. The system only takes one of the possible paths, as measurements show. Conclusion from Bell's theorem: Before the quantum physical measurement, there is no point-like location in the universe where all the information that explains the measurement is available. Distributed information (...) is possible. Movement of the particle and measuring process are deterministic. The oscillation between location uncertainty and momentum uncertainty leads photons to determine their own location at short intervals. The uncertainty principle focuses the systems. The fields of the surrounding matter influence the location of the new formation. The effect of all fields is based on a common mechanism. (shrink)

Gaisi Takeuti extended Gentzen's work to higher-order case in 1950's–1960's and proved the consistency of impredicative subsystems of analysis. He has been chiefly known as a successor of Hilbert's school, but we pointed out in the previous paper that Takeuti's aimed to investigate the relationships between "minds" by carrying out his proof-theoretic project rather than proving the "reliability" of such impredicative subsystems of analysis. Moreover, as briefly explained there, his philosophical ideas can be traced back to Nishida's philosophy (...) in Kyoto's school. For the proving the consistency of such systems, it is crucial to prove the well-foundedness of ordinals called "ordinal diagrams" developed for it. Takeuti presented such arguments several times in order to show that they are admitted in his stand point. As a starting point of investigating his finitist stand point, we formulate the system of ordinal notations up to ε0 and reconstruct the well-foundedness arguments of them. (shrink)

Reverse mathematics studies which subsystems of second order arithmetic are equivalent to key theorems of ordinary, non-set-theoretic mathematics. The main philosophical application of reverse mathematics proposed thus far is foundational analysis, which explores the limits of different foundations for mathematics in a formally precise manner. This paper gives a detailed account of the motivations and methodology of foundational analysis, which have heretofore been largely left implicit in the practice. It then shows how this account can be fruitfully applied in (...) the evaluation of major foundational approaches by a careful examination of two case studies: a partial realization of Hilbert’s program due to Simpson [1988], and predicativism in the extended form due to Feferman and Schütte. -/- Shore [2010, 2013] proposes that equivalences in reverse mathematics be proved in the same way as inequivalences, namely by considering only omega-models of the systems in question. Shore refers to this approach as computational reverse mathematics. This paper shows that despite some attractive features, computational reverse mathematics is inappropriate for foundational analysis, for two major reasons. Firstly, the computable entailment relation employed in computational reverse mathematics does not preserve justification for the foundational programs above. Secondly, computable entailment is a Pi-1-1 complete relation, and hence employing it commits one to theoretical resources which outstrip those available within any foundational approach that is proof-theoretically weaker than Pi-1-1-CA0. (shrink)

The Language of Thought program has a suicidal edge. Jerry Fodor, of all people, has argued that although LOT will likely succeed in explaining modular processes, it will fail to explain the central system, a subsystem in the brain in which information from the different sense modalities is integrated, conscious deliberation occurs, and behavior is planned. A fundamental characteristic of the central system is that it is “informationally unencapsulated” -- its operations can draw from information from any cognitive domain. The (...) domain general nature of the central system is key to human reasoning; our ability to connect apparently unrelated concepts enables the creativity and flexibility of human thought, as does our ability to integrate material across sensory divides. The central system is the holy grail of cognitive science: understanding higher cognitive function is crucial to grasping how humans reach their highest intellectual achievements. But according to Fodor, the founding father of the LOT program and the related Computational Theory of Mind (CTM), the holy grail is out of reach: the central system is likely to be non-computational (Fodor 1983, 2000, 2008). Cognitive scientists working on higher cognitive function should abandon their efforts. Research should be limited to the modules, which for Fodor rest at the sensory periphery (2000).1 Cognitive scientists who work in the symbol processing tradition outside of philosophy would reject this pessimism, but ironically, within philosophy itself, this pessimistic streak has been very influential, most likely because it comes from the most well-known proponent of LOT and CTM. Indeed, pessimism about centrality has become assimilated into the mainstream conception of LOT. (Herein, I refer to a LOT that appeals to pessimism about centrality as the “standard LOT”). I imagine this makes the standard LOT unattractive to those philosophers with a more optimistic approach to what cognitive science can achieve.. (shrink)

One of the philosophical uses of Dedekind’s categoricity theorem for Peano Arithmetic is to provide support for semantic realism. To this end, the logical framework in which the proof of the theorem is conducted becomes highly significant. I examine different proposals regarding these logical frameworks and focus on the philosophical benefits of adopting open-ended schemas in contrast to second order logic as the logical medium of the proof. I investigate Pederson and Rossberg’s critique of the ontological advantages of open-ended arithmetic (...) when it comes to establishing the categoricity of Peano Arithmetic and show that the critique is highly problematic. I argue that Pederson and Rossberg’s ontological criterion deliver the bizarre result that certain first order subsystems of Peano Arithmetic have a second order ontology. As a consequence, the application of the ontological criterion proposed by Pederson and Rossberg assigns a certain type of ontology to a theory, and a different, richer, ontology to one of its subtheories. (shrink)

We introduce the notion of complexity, first at an intuitive level and then in relatively more concrete terms, explaining the various characteristic features of complex systems with examples. There exists a vast literature on complexity, and our exposition is intended to be an elementary introduction, meant for a broad audience. -/- Briefly, a complex system is one whose description involves a hierarchy of levels, where each level is made of a large number of components interacting among themselves. The time evolution (...) of such a system is of a complex nature, depending on the interactions among subsystems in the next level below the one under consideration and, at the same time, conditioned by the level above, where the latter sets the context for the evolution. Generally speaking, the interactions among the constituents of the various levels lead to a dynamics characterized by numerous characteristic scales, each level having its own set of scales. What is more, a level commonly exhibits ‘emergent properties’ that cannot be derived from considerations relating to its component systems taken in isolation or to those in a different contextual setting. In the dynamic evolution of some particular level, there occurs a self-organized emergence of a higher level and the process is repeated at still higher levels. -/- The interaction and self-organization of the components of a complex system follow the principle commonly expressed by saying that the ‘whole is different from the sum of the parts’. In the case of systems whose behavior can be expressed mathematically in terms of differential equations this means that the interactions are nonlinear in nature. -/- While all of the above features are not universally exhibited by complex systems, these are nevertheless indicative of a broad commonness relative to which individual systems can be described and analyzed. There exist measures of complexity which, once again, are not of universal applicability, being more heuristic than exact. The present state of knowledge and understanding of complex systems is itself an emerging one. Still, a large number of results on various systems can be related to their complex character, making complexity an immensely fertile concept in the study of natural, biological, and social phenomena. -/- All this puts a very definite limitation on the complete description of a complex system as a whole since such a system can be precisely described only contextually, relative to some particular level, where emergent properties rule out an exact description of more than one levels within a common framework. -/- We discuss the implications of these observations in the context of our conception of the so-called noumenal reality that has a mind-independent existence and is perceived by us in the form of the phenomenal reality. The latter is derived from the former by means of our perceptions and interpretations, and our efforts at sorting out and making sense of the bewildering complexity of reality takes the form of incessant processes of inference that lead to theories. Strictly speaking, theories apply to models that are constructed as idealized versions of parts of reality, within which inferences and abstractions can be carried out meaningfully, enabling us to construct the theories. -/- There exists a correspondence between the phenomenal and the noumenal realities in terms of events and their correlations, where these are experienced as the complex behavior of systems or entities of various descriptions. The infinite diversity of behavior of systems in the phenomenal world are explained within specified contexts by theories. The latter are constructs generated in our ceaseless attempts at interpreting the world, and the question arises as to whether these are reflections of `laws of nature' residing in the noumenal world. This is a fundamental concern of scientific realism, within the fold of which there exists a trend towards the assumption that theories express truths about the noumenal reality. We examine this assumption (referred to as a ‘point of view’ in the present essay) closely and indicate that an alternative point of view is also consistent within the broad framework of scientific realism. This is the view that theories are domain-specific and contextual, and that these are arrived at by independent processes of inference and abstractions in the various domains of experience. Theories in contiguous domains of experience dovetail and interpenetrate with one another, and bear the responsibility of correctly explaining our observations within these domains. -/- With accumulating experience, theories get revised and the network of our theories of the world acquires a complex structure, exhibiting a complex evolution. There exists a tendency within the fold of scientific realism of interpreting this complex evolution in rather simple terms, where one assumes (this, again, is a point of view) that theories tend more and more closely to truths about Nature and, what is more, progress towards an all-embracing ‘ultimate theory’ -- a foundational one in respect of all our inquiries into nature. We examine this point of view closely and outline the alternative view -- one broadly consistent with scientific realism -- that there is no ‘ultimate’ law of nature, that theories do not correspond to truths inherent in reality, and that successive revisions in theory do not lead monotonically to some ultimate truth. Instead, the theories generated in succession are incommensurate with each other, testifying to the fact that a theory gives us a perspective view of some part of reality, arrived at contextually. Instead of resembling a monotonically converging series successive theories are analogous to asymptotic series. -/- Before we summarize all the above considerations, we briefly address the issue of the complexity of the {\it human mind} -- one as pervasive as the complexity of Nature at large. The complexity of the mind is related to the complexity of the underlying neuronal organization in the brain, which operates within a larger biological context, its activities being modulated by other physiological systems, notably the one involving a host of chemical messengers. The mind, with no materiality of its own, is nevertheless emergent from the activity of interacting neuronal assemblies in the brain. As in the case of reality at large, there can be no ultimate theory of the mind, from which one can explain and predict the entire spectrum of human behavior, which is an infinitely rich and diverse one. (shrink)

Episodic memory often is conceptualized as a uniquely human system of long-term memory that makes available knowledge accompanied by the temporal and spatial context in which that knowledge was acquired. Retrieval from episodic memory entails a form of first–person subjectivity called autonoetic consciousness that provides a sense that a recollection was something that took place in the experiencer’s personal past. In this paper I expand on this definition of episodic memory. Specifically, I suggest that (a) the core features assumed unique (...) to episodic memory are shared by semantic memory, (b) episodic memory cannot be fully understood unless one appreciates that episodic recollection requires the coordinated function of a number of distinct, yet interacting, “enabling” systems. Although these systems – ownership, self, subjective temporality, and agency – are not traditionally viewed as memorial in nature, each is necessary for episodic recollection and jointly they may be sufficient, and (c) the type of subjective awareness provided by episodic recollection (autonoetic) is relational rather than intrinsic – i.e., it can be lost in certain patient populations, thus rendering episodic memory content indistinguishable from the content of semantic long-term memory. (shrink)

The problem of theory choice and model selection is hard but still important when useful truths are underdetermined, perhaps not by all kinds of data but by the kinds of data we can have access to ethically or practicably—even if we have an infinity of such data. This article addresses a crucial instance of that problem: the problem of inferring causal structures from nonexperimental, nontemporal data without assuming the so-called causal Faithfulness condition or the like. A new account of epistemic (...) evaluation is developed to solve that problem and justify a standard practice of causal inference in data science. (shrink)

Non‐Humean theories of natural necessity invoke modally‐laden primitives to explain why nature exhibits lawlike regularities. However, they vary in the primitives they posit and in their subsequent accounts of laws of nature and related phenomena (including natural properties, natural kinds, causation, counterfactuals, and the like). This article provides a taxonomy of non‐Humean theories, discusses influential arguments for and against them, and describes some ways in which differences in goals and methods can motivate different versions of non‐Humeanism (and, for (...) that matter, Humeanism). In short, this article provides an introduction to non‐Humeanism concerning the metaphysics of laws of nature and natural necessity. (shrink)

This is the only complete logic for properties, relations, and propositions (PRPS) that has been formulated to date. First, an intensional abstraction operation is adjoined to first-order quantifier logic, Then, a new algebraic semantic method is developed. The heuristic used is not that of possible worlds but rather that of PRPS taken at face value. Unlike the possible worlds approach to intensional logic, this approach yields a logic for intentional (psychological) matters, as well as modal matters. At the close of (...) the paper, the origin of incompleteness in logic is investigated. The culprit is found to be the predication relation, a relation on properties and relations that is expressed in natural language by the copula. (shrink)

Conspiracy theories should be neither believed nor investigated - that is the conventional wisdom. I argue that it is sometimes permissible both to investigate and to believe. Hence this is a dispute in the ethics of belief. I defend epistemic ‘oughts’ that apply in the first instance to belief-forming strategies that are partly under our control. I argue that the policy of systematically doubting or disbelieving conspiracy theories would be both a political disaster and the epistemic equivalent of (...) self-mutilation, since it leads to the conclusion that history is bunk and the nightly news unbelievable. In fact (of course) the policy is not employed systematically but is only wheeled on to do down theories that the speaker happens to dislike. I develop a deductive argument from hard-to-deny premises that if you are not a ‘conspiracy theorist’ in my anodyne sense of the word then you are an ‘idiot’ in the Greek sense of the word, that is, someone so politically purblind as to have no opinions about either history or public affairs. The conventional wisdom can only be saved (if at all) if ‘conspiracy theory’ is given a slanted definition. I discuss some slanted definitions apparently presupposed by proponents of the conventional wisdom (including, amongst others, Tony Blair) and conclude that even with these definitions the conventional wisdom comes out as deeply unwise. I finish up with a little harmless fun at the expense of David Aaronvitch whose abilities as a rhetorician and a popular historian are not perhaps matched by a corresponding capacity for logical thought. (shrink)

The concept of truth and competing philosophical theories on what truth amounts to have an important place in contemporary philosophy. The aim of this chapter is to give a synopsis of different theories of truth and the particular philosophical issues related to the concept of truth. The literature on this topic is vast, and we must necessarily be rather selective and very brief about complex questions of interpretation of various philosophers. The focus of the chapter is mainly on (...) selected systematic issues and the most influential and well-established philosophical theories and key concepts. (shrink)

Should philosophers prefer simpler theories? Huemer (Philos Q 59:216–236, 2009) argues that the reasons to prefer simpler theories in science do not apply in philosophy. I will argue that Huemer is mistaken—the arguments he marshals for preferring simpler theories in science can also be applied in philosophy. Like Huemer, I will focus on the philosophy of mind and the nominalism/Platonism debate. But I want to engage with the broader issue of whether simplicity is relevant to philosophy.

Some sensory experiences are pleasant, some unpleasant. This is a truism. But understanding what makes these experiences pleasant and unpleasant is not an easy job. Various difficulties and puzzles arise as soon as we start theorizing. There are various philosophical theories on offer that seem to give different accounts for the positive or negative affective valences of sensory experiences. In this paper, we will look at the current state of art in the philosophy of mind, present the main contenders, (...) critically compare and contrast them. In particular, we want to examine how they handle the reason-giving power of affective states. We will look into two representationalist proposals (Evaluativism and Imperativism) and a functionalist proposal, and argue that, contrary to their own advertisements, the representationalist proposals don’t have good accounts of why and how sensory affect can motivate, rationalize, and justify subsequent behavior and intentional mental activity. We will show that our own functionalist proposal does a much better job in this regard, and that when the representationalist proposals are modified to do a better job, they fare better not because of their representationalist credentials but due to their functionalist ones. (shrink)

In this paper, three theories of progress and the aim of science are discussed: the theory of progress as increasing explanatory power, advocated by Popper in The logic of scientific discovery ; the theory of progress as approximation to the truth, introduced by Popper in Conjectures and refutations ; the theory of progress as a steady increase of competing alternatives, which Feyerabend put forward in the essay “Reply to criticism. Comments on Smart, Sellars and Putnam” and defended as late (...) as the last edition of Against method. It is argued that, contrary to what Feyerabend scholars have predominantly assumed, Feyerabend's changing attitude towards falsificationism—which he often advocated at the beginning of his career, and vociferously attacked in the 1970s and 1980s—must be explained by taking into account not only Feyerabend's very peculiar view of the aim of science, but also Popper's changing account of progress. (shrink)

According to the communication desideratum (CD), a notion of semantic content must be adequately related to communication. In the recent debate on indexical reference, (CD) has been invoked in arguments against the view that intentions determine the semantic content of indexicals and demonstratives (intentionalism). In this paper, I argue that the interpretations of (CD) that these arguments rely on are questionable, and suggest an alternative interpretation, which is compatible with (strong) intentionalism. Moreover, I suggest an approach that combines elements of (...) intentionalism with other subjectivist approaches, and discuss the role of intuitions in developing and evaluating theories of indexical reference. (shrink)

Climate change has become one of the most pressing problems that can threaten the existence and development of humans around the globe. Almost all climate scientists have agreed that climate change is happening and is caused mainly by greenhouse gas emissions induced by anthropogenic activities. However, some groups still deny this fact or do not believe that climate change results from human activities. This essay discusses the causes, significance, and skeptical arguments of climate change denialism, as well as the roles (...) of scientists and science communication in addressing the issues. Through this essay, we call for the active participation of scientists in science communication activities with the public, the opening of new science communication sectors specified for climate change, and more attention to social sciences and humanities in addressing climate change issues. (shrink)

Street’s (Philos Stud 127(1):109–166, 2006) Darwinian Dilemma purports to show that evolutionary considerations are in tension with realist theories of value, which include moral realism. According to this argument, moral realism can only be defended by assuming an implausible tracking relation between moral attitudes and moral facts. In this essay, I argue that this tracking relation is not as implausible as most people have assumed by showing that the three main objections against it are flawed. Since this is a (...) key premise in the reasoning, I conclude that the Darwinian Dilemma against moral realism can be resisted. (shrink)

A discussion of Wolfgang's Stegmüller's ideas on the structuralist conception of theories, especially as presented in his book The Structure and Dynamics of Theories (Springer, 1976).

Using the example of recent attempts to engineer the concept of conspiracy theory, I argue that philosophers should be far more circumspect in their approach to conceptual engineering than we have been – in particular, that we should pay much closer attention to the history behind and context that surrounds our target concept in order to determine whether it is a site of what I have elsewhere called ‘conceptual domination’. If it is, we may well have good reason to avoid (...) engineering. In their recent ‘What is a Conspiracy Theory?’, M. Giulia Napolitano and Kevin Reuter argue that the disagreement between generalists and particularists in the literature on conspiracy theories is best characterized as a set of dueling conceptual engineering projects. While I agree with their turn to this metaphilosophical literature, I give a very different account of its applicability. Particularists, on my account, are better read as aiming to diagnose the ways in which many discussions of the concept of conspiracy theories are a form of conceptual domination, where this broader context should then prompt us to abandon or block any concept of conspiracy theory that treats its referents as inherently defective. Broader metaphilosophical lessons are drawn. (shrink)

Recent accounts of coercion can be mapped onto two different axes: whether they focus on the situation of the coercee or the activities of the coercer; and whether or not they depend upon moral judgments in their analysis of coercion. Using this analysis, I suggest that almost no recent theories have seriously explored a non-moralized, coercer-focused approach to coercion. I offer some reasons to think that a theory in this underexplored quadrant offers some important advantages over theories confined (...) to the other quadrants. In particular I suggest that much of our interest in coercion depends on facts about the coercer, such as the sorts of powers coercers must possess to be able to coerce, and on the coercer's intention in using those powers to constrain or alter the coercee's activities. (shrink)

Local theories of consciousness state that one is conscious of a feature if it is adequately represented and processed in sensory brain areas, given some background conditions. We challenge the core prediction of local theories based on long-lasting postdictive effects demonstrating that features can be represented for hundreds of milliseconds in perceptual areas without being consciously perceived. Unlike previous empirical data aimed against local theories, localists cannot explain these effects away by conjecturing that subjects are phenomenally conscious (...) of features that they cannot report. We also discuss alternative explanations that localists could offer. (shrink)

Precision medicine and molecular systems medicine (MSM) are highly utilized and successful approaches to improve understanding, diagnosis, and treatment of many diseases from bench-to-bedside. Especially in the COVID-19 pandemic, molecular techniques and biotechnological innovation have proven to be of utmost importance for rapid developments in disease diagnostics and treatment, including DNA and RNA sequencing technology, treatment with drugs and natural products and vaccine development. The COVID-19 crisis, however, has also demonstrated the need for systemic thinking and transdisciplinarity and the limits (...) of MSM: the neglect of the bio-psycho-social systemic nature of humans and their context as the object of individual therapeutic and population-oriented interventions. COVID-19 illustrates how a medical problem requires a transdisciplinary approach in epidemiology, pathology, internal medicine, public health, environmental medicine, and socio-economic modeling. Regarding the need for conceptual integration of these different kinds of knowledge we suggest the application of general system theory (GST). This approach endorses an organism-centered view on health and disease, which according to Ludwig von Bertalanffy who was the founder of GST, we call Organismal Systems Medicine (OSM). We argue that systems science offers wider applications in the field of pathology and can contribute to an integrative systems medicine by (i) integration of evidence across functional and structural differentially scaled subsystems, (ii) conceptualization of complex multilevel systems, and (iii) suggesting mechanisms and non-linear relationships underlying the observed phenomena. We underline these points with a proposal on multi-level systems pathology including neurophysiology, endocrinology, immune system, genetics, and general metabolism. An integration of these areas is necessary to understand excess mortality rates and polypharmacological treatments. In the pandemic era this multi-level systems pathology is most important to assess potential vaccines, their effectiveness, short-, and long-time adverse effects. We further argue that these conceptual frameworks are not only valid in the COVID-19 era but also important to be integrated in a medicinal curriculum. (shrink)

This paper articulates a way to ground a relatively high prior probability for grand explanatory theories apart from an appeal to simplicity. I explore the possibility of enumerating the space of plausible grand theories of the universe by using the explanatory properties of possible views to limit the number of plausible theories. I motivate this alternative grounding by showing that Swinburne’s appeal to simplicity is problematic along several dimensions. I then argue that there are three plausible grand (...) views—theism, atheism, and axiarchism—which satisfy explanatory requirements for plausibility. Other possible views lack the explanatory virtue of these three theories. Consequently, this explanatory grounding provides a way of securing a nontrivial prior probability for theism, atheism, and axiarchism. An important upshot of my approach is that a modest amount of empirical evidence can bear significantly on the posterior probability of grand theories of the universe. (shrink)

Reliable misrepresentation is getting things wrong in the same way all the time. In Mendelovici 2013, I argue that tracking theories of mental representation cannot allow for certain kinds of reliable misrepresentation, and that this is a problem for those views. Artiga 2013 defends teleosemantics from this argument. He agrees with Mendelovici 2013 that teleosemantics cannot account for clean cases of reliable misrepresentation, but argues that this is not a problem for the views. This paper clarifies and improves the (...) argument in Mendelovici 2013 and response to Artiga's arguments. Tracking theories, teleosemantics included, really do need to allow for clean cases of reliable misrepresentation. (shrink)

Given a class of linear order types C, we identify and study several different classes of trees, naturally associated with C in terms of how the paths in those trees are related to the order types belonging to C. We investigate and completely determine the set-theoretic relationships between these classes of trees and between their corresponding first-order theories. We then obtain some general results about the axiomatization of the first-order theories of some of these classes of trees in (...) terms of the first-order theory of the generating class C, and indicate the problems obstructing such general results for the other classes. These problems arise from the possible existence of nondefinable paths in trees, that need not satisfy the first-order theory of C, so we have started analysing first order definable and undefinable paths in trees. (shrink)

The demarcation between science and non-science seems to play an important role in the process of scientific change, as theories regularly transition from being considered scientific to being considered unscientific and vice versa. However, theoretical scientonomy is yet to shed light on this process. The goal of this paper is to tackle the problem of demarcation from the scientonomic perspective. Specifically, we introduce scientificity as a distinct epistemic stance that an agent can take towards a theory. We contend that (...) changes in this stance are to be traced and explained by scientonomy. Thus, we formulate a new law of theory demarcation to account for changes in scientificity within the scientonomic framework. (shrink)

'Epistemic' theories of vagueness notoriously claim that (despite the appearances to the contrary) all of our vague terms have sharp boundaries, it's just that we can't know what they are. Epistemic theories are typically criticized for failing to explain (1) the source of the ignorance postulated, and (2) how our terms could come to have such precise boundaries. Both of these objections will, however, be shown to rest on certain 'presentist' assumptions about the relation between use and meaning, (...) and if allows that the meaning constitutive elements of our linguistic practices can extend into the future, the possibility of a new sort of 'normative epistemicism' emerges. (shrink)

Subjectivity theories of consciousness take self-reference, somehow construed, as essential to having conscious experience. These theories differ with respect to how many levels they posit and to whether self-reference is conscious or not. But all treat self-referencing as a process that transpires at the personal level, rather than at the subpersonal level, the level of mechanism. -/- Working with conceptual resources afforded by pre-existing theories of consciousness that take self-reference to be essential, several attempts have been made (...) to explain seemingly anomalous cases, especially instances of alien experience. These experiences are distinctive precisely because self-referencing is explicitly denied by the only person able to report them: those who experience them deny that certain actions, mental states, or body parts belong to self. The relevant actions, mental states, or body parts are sometimes attributed to someone or something other than self, and sometimes they are just described as not belonging to self. But all are referred away from self. -/- The cases under discussion here include somatoparaphrenia, schizophrenia, depersonalization, anarchic hand syndrome, and utilization behavior; the theories employed, Higher-Order Thought, Wide Intrinsicality, and Self-Representational. Below I argue that each of these attempts at explaining or explaining away the anomalies fails. Along the way, since each of these theories seeks at least compatibility with science, I sketch experimental approaches that could be used to adduce support for my position, or indeed for the positions of theorists with whom I disagree. -/- In a concluding section I first identify two presuppositions shared by all of the theorists considered here, and argue that both are either erroneous or misleading. Second, I call attention to divergent paths adopted when attempting to explain alienation experiences: some theorists choose to add a mental ingredient, while others prefer to subtract one. I argue that alienation from experience, action, or body parts could result from either addition or subtraction, and that the two can be incorporated within a comprehensive explanatory framework. Finally, I suggest that this comprehensive framework would require self-referencing of a sort, but self-referencing that occurs solely on the level of mechanism, or the subpersonal level. In adumbrating some features of this “subpersonal self,” I suggest that there might be one respect in which it is prior to conscious experience. (shrink)