I explore the possibility of a structuralist interpretation of homotopy type theory (HoTT) as a foundation for mathematics. There are two main aspects to HoTT's structuralist credentials. First, it builds on categorical set theory (CST), of which the best-known variant is Lawvere's ETCS. I argue that CST has merit as a structuralist foundation, in that it ascribes only structural properties to typical mathematical objects. However, I also argue that this success depends on the adoption of a strict (...) typing system which undermines the metaphysical seriousness of this structuralism. Homotopy type theory adds to CST a distinctive theory of identity between sets, which arguably allows its objects to be seen as ante rem structures. I examine the prospects for such a view, and address many other interpretive problems as they arise. (shrink)

This paper applies homotopy type theory to formal semantics of natural languages and proposes a new model for the linguistic phenomenon of copredication. Copredication refers to sentences where two predicates which assume different requirements for their arguments are asserted for one single entity, e.g., "the lunch was delicious but took forever". This paper is particularly concerned with copredication sentences with quantification, i.e., cases where the two predicates impose distinct criteria of quantification and individuation, e.g., "Fred picked up and (...) mastered three books." In our solution developed in homotopy type theory and using the rule of existential closure following Heim analysis of indefinites, common nouns are modeled as identifications of their aspects using HoTT identity types, e.g., the common noun book is modeled as identifications of its physical and informational aspects. The previous treatments of copredication in systems of semantics which are based on simple type theory and dependent type theories make the correct predictions but at the expense of ad hoc extensions (e.g., partial functions, dot types and coercive subtyping). The model proposed here, also predicts the correct results but using a conceptually simpler foundation and no ad hoc extensions. (shrink)

This article proposes a way of doing type theory informally, assuming a cubical style of reasoning. It can thus be viewed as a first step toward a cubical alternative to the program of informalization of type theory carried out in the homotopy type theory book for dependent type theory augmented with axioms for univalence and higher inductive types. We adopt a cartesian cubical type theory proposed by Angiuli, Brunerie, Coquand, Favonia, Harper, and Licata as (...) the implicit foundation, confining our presentation to elementary results such as function extensionality, the derivation of weak connections and path induction, the groupoid structure of types, and the Eckmman–Hilton duality. (shrink)

In this paper, we develop a mathematical model of awareness based on the idea of plurality. Instead of positing a singular principle, telos, or essence as noumenon, we model it as plurality accessible through multiple forms of awareness (“n-awareness”). In contrast to many other approaches, our model is committed to pluralist thinking. The noumenon is plural, and reality is neither reducible nor irreducible. Nothing dies out in meaning making. We begin by mathematizing the concept of awareness by appealing to the (...) mathematical formalism of higher category theory. The beauty of higher category theory lies in its universality. Pluralism is categorical. In particular, we model awareness using the theories of derived categories and (infinity, 1)-topoi which will give rise to our meta-language. We then posit a “grammar” (“n-declension”) which could express n-awareness, accompanied by a new temporal ontology (“n-time”). Our framework allows us to revisit old problems in the philosophy of time: how is change possible and what do we mean by simultaneity and coincidence? Another question which could be re-conceptualized in our model is one of soteriology related to this pluralism: what is a self in this context? A new model of “personal identity over time” is thus introduced. (shrink)

In this paper, I introduce the idea that some important parts of contemporary pure mathematics are moving away from what I call the extensional point of view. More specifically, these fields are based on criteria of identity that are not extensional. After presenting a few cases, I concentrate on homotopy theory where the situation is particularly clear. Moreover, homotopy types are arguably fundamental entities of geometry, thus of a large portion of mathematics, and potentially to all mathematics, (...) at least according to some speculative research programs. (shrink)

In a series of papers Ladyman and Presnell raise an interesting challenge of providing a pre-mathematical justification for homotopy type theory. In response, they propose what they claim to be an informal semantics for homotopy type theory where types and terms are regarded as mathematical concepts. The aim of this paper is to raise some issues which need to be resolved for the successful development of their types-as-concepts interpretation.

In this paper, we propose a mathematical model of subjective experience in terms of classes of hierarchical geometries of representations (“n-awareness”). We first outline a general framework by recalling concepts from higher category theory, homotopy theory, and the theory of (infinity,1)-topoi. We then state three conjectures that enrich this framework. We first propose that the (infinity,1)-category of a geometric structure known as perfectoid diamond is an (infinity,1)-topos. In order to construct a topology on the (infinity,1)-category of (...) diamonds we then propose that topological localization, in the sense of Grothendieck-Rezk-Lurie (infinity,1)-topoi, extends to the (infinity,1)-category of diamonds. We provide a small-scale model using triangulated categories. Finally, our meta-model takes the form of Efimov K-theory of the (infinity,1)-category of perfectoid diamonds, which illustrates structural equivalences between the category of diamonds and subjective experience (i.e.its privacy, self-containedness, and self-reflexivity). Based on this, we investigate implications of the model. We posit a grammar (“n-declension”) for a novel language to express n-awareness, accompanied by a new temporal scheme (“n-time”). Our framework allows us to revisit old problems in the philosophy of time: how is change possible and what do we mean by simultaneity and coincidence? We also examine the notion of “self” within our framework. A new model of personal identity is introduced which resembles a categorical version of the “bundle theory”: selves are not substances in which properties inhere but (weakly) persistent moduli spaces in the K-theory of perfectoid diamonds. (shrink)

We introduce the category of mereotopology Mtop as an alternative category to that of topology Top, stating ontological consequences throughout. We consider entities such as boundaries utilizing Brentano’s thesis and holes utilizing homotopy theory with a rigorous proof of Hausdorff Spaces satisfying [GEM]TC axioms. Lastly, we mention further areas of study in this category.

The quest to understand the natural and the mathematical as well as philosophical principles of dynamics of life forms are ancient in the human history of science. In ancient times, Pythagoras and Plato, and later, Copernicus and Galileo, correctly observed that the grand book of nature is written in the language of mathematics. Platonism, Aristotelian logism, neo-realism, monadism of Leibniz, Hegelian idealism and others have made efforts to understand reasons of existence of life forms in nature and the underlying principles (...) through the lenses of philosophy and mathematics. In this paper, an approach is made to treat the similar question about nature and existential life forms in view of mathematical philosophy. The approach follows constructivism to formulate an abstract model to understand existential life forms in nature and its dynamics by selectively combining the elements of various schools of thoughts. The formalisms of predicate logic, probabilistic inference and homotopy theory of algebraic topology are employed to construct a structure in local time-scale horizon and in cosmological time-scale horizon. It aims to resolve the relative and apparent conflicts present in various thoughts in the process, and it has made an effort to establish a logically coherent interpretation. (shrink)

In this paper, we try to establish that some mathematical theories, like K-theory, homology, cohomology, homotopy theories, spectral sequences, modern Galois theory (in its various applications), representation theory and character theory, etc., should be thought of as (abstract) machines in the same way that there are (concrete) machines in the natural sciences. If this is correct, then many epistemological and ontological issues in the philosophy of mathematics are seen in a different light. We concentrate on (...) one problem which immediately follows the recognition of the particular status of these theories: the demarcation problem between ‘natural kinds’ and ‘artefacts’. (shrink)

What is so special and mysterious about the Continuum, this ancient, always topical, and alongside the concept of integers, most intuitively transparent and omnipresent conceptual and formal medium for mathematical constructions and the battle field of mathematical inquiries ? And why it resists the century long siege by best mathematical minds of all times committed to penetrate once and for all its set-theoretical enigma ? -/- The double-edged purpose of the present study is to save from the transfinite deadlock of (...) higher set theory the jewel of mathematical Continuum -- this genuine, even if mostly forgotten today raison d'etre of all set-theoretical enterprises to Infinity and beyond, from Georg Cantor to W. Hugh Woodin to Buzz Lightyear, by simultaneously exhibiting the limits and pitfalls of all old and new reductionist foundational approaches to mathematical truth: be it Cantor's or post-Cantorian Idealism, Brouwer's or post-Brouwerian Constructivism, Hilbert's or post-Hilbertian Formalism, Goedel's or post-Goedelian Platonism. -/- In the spirit of Zeno's paradoxes, but with the enormous historical advantage of hindsight, we claim that Cantor's set-theoretical methodology, powerful and reach in proof-theoretic and similar applications as it might be, is inherently limited by its epistemological framework of transfinite local causality, and neither can be held accountable for the properties of the Continuum already acquired through geometrical, analytical, and arithmetical studies, nor can it be used for an adequate, conceptually sensible, operationally workable, and axiomatically sustainable re-creation of the Continuum. -/- From a strictly mathematical point of view, this intrinsic limitation of the constative and explicative power of higher set theory finds its explanation in the identified in this study ultimate phenomenological obstacle to Cantor's transfinite construction, similar to topological obstacles in homotopy theory and theoretical physics: the entanglement capacity of the mathematical Continuum. (shrink)

Scientists use models to know the world. It i susually assumed that mathematicians doing pure mathematics do not. Mathematicians doing pure mathematics prove theorems about mathematical entities like sets, numbers, geometric figures, spaces, etc., they compute various functions and solve equations. In this paper, I want to exhibit models build by mathematicians to study the fundamental components of spaces and, more generally, of mathematical forms. I focus on one area of mathematics where models occupy a central role, namely homotopy (...) theory. I argue that mathematicians introduce genuine models and I offer a rough classification of these models. (shrink)

I prove that invoking the univalence axiom is equivalent to arguing 'without loss of generality' (WLOG) within Propositional Univalent Foundations (PropUF), the fragment of Univalent Foundations (UF) in which all homotopy types are mere propositions. As a consequence, I argue that practicing mathematicians, in accepting WLOG as a valid form of argument, implicitly accept the univalence axiom and that UF rightly serves as a Foundation for Mathematical Practice. By contrast, ZFC is inconsistent with WLOG as it is applied, and (...) therefore cannot serve as a foundation for practice. (shrink)

How does one formalize the structure of structures necessary for the foundations of physics? This work is an attempt at conceptualizing the metaphysics of pregeometric structures, upon which new and existing notions of quantum geometry may find a foundation. We discuss the philosophy of pregeometric structures due to Wheeler, Leibniz as well as modern manifestations in topos theory. We draw attention to evidence suggesting that the framework of formal language, in particular, homotopy type theory, provides the conceptual (...) building blocks for a theory of pregeometry. This work is largely a synthesis of ideas that serve as a precursor for conceptualizing the notion of space in physical theories. In particular, the approach we espouse is based on a constructivist philosophy, wherein ``structureless structures'' are syntactic types realizing formal proofs and programs. Spaces and algebras relevant to physical theories are modeled as type-theoretic routines constructed from compositional rules of a formal language. This offers the remarkable possibility of taxonomizing distinct notions of geometry using a common theoretical framework. In particular, this perspective addresses the crucial issue of how spatiality may be realized in models that link formal computation to physics, such as the Wolfram model. (shrink)

This paper responds to recent work in the philosophy of Homotopy Type Theory by James Ladyman and Stuart Presnell. They consider one of the rules for identity, path induction, and justify it along ‘pre-mathematical’ lines. I give an alternate justification based on the philosophical framework of inferentialism. Accordingly, I construct a notion of harmony that allows the inferentialist to say when a connective or concept is meaning-bearing and this conception unifies most of the prominent conceptions of harmony through (...) category theory. This categorical harmony is stated in terms of adjoints and says that any concept definable by iterated adjoints from general categorical operations is harmonious. Moreover, it has been shown that identity in a categorical setting is determined by an adjoint in the relevant way. Furthermore, path induction as a rule comes from this definition. Thus we arrive at an account of how path induction, as a rule of inference governing identity, can be justified on mathematically motivated grounds. (shrink)

I introduce a formalization of probability which takes the concept of 'evidence' as primitive. In parallel to the intuitionistic conception of truth, in which 'proof' is primitive and an assertion A is judged to be true just in case there is a proof witnessing it, here 'evidence' is primitive and A is judged to be probable just in case there is evidence supporting it. I formalize this outlook by representing propositions as types in Martin-Lof type theory (MLTT) and defining (...) a 'probability type' on top of the existing machinery of MLTT, whose inhabitants represent pieces of evidence in favor of a proposition. One upshot of this approach is the potential for a mathematical formalism which treats 'conjectures' as mathematical objects in their own right. Other intuitive properties of evidence occur as theorems in this formalism. (shrink)

Due to the wide scope of (in particular linear) homotopy type theory (using quantum natural language processing), a metatheory can be applied not just to theorizing the metatheory of scientific progress, but ordinary language or any public language defined by sociality/social agents as the precondition for the realizability of (general) intelligence via an inferential network from which judgement can be made. How this metatheory of science generalizes to public language is through the recent advances of quantum natural language (...) processing, but the traditional metalogical encodings (of Tarski) is relatively comparable through universes such as the type of types or type of types of types found in the inherent inferentialism of UF/HoTT via infinity-groupoids. The "computational trinity" of proofs=programs=algebra in HoTT also means reason is defined functionally as "what it does" by what it computes (proofs are programs). Following Reza Negarestani's recent book, through the self's self-realizability, achieving self-consciousness and consciousness beyond selfhood, "geistig manifestation" is achieved in the form of general intelligence, but only through an inferential network of social agents intrinsically encoded through computation. (shrink)

We give a concise presentation of the Univalent Foundations of mathematics outlining the main ideas, followed by a discussion of the UniMath library of formalized mathematics implementing the ideas of the Univalent Foundations (section 1), and the challenges one faces in attempting to design a large-scale library of formalized mathematics (section 2). This leads us to a general discussion about the links between architecture and mathematics where a meeting of minds is revealed between architects and mathematicians (section 3). On the (...) way our odyssey from the foundations to the "horizon" of mathematics will lead us to meet the mathematicians David Hilbert and Nicolas Bourbaki as well as the architect Christopher Alexander. (shrink)

A platitude that took hold with Kuhn is that there can be several equally good ways of balancing theoretical virtues for theory choice. Okasha recently modelled theory choice using technical apparatus from the domain of social choice: famously, Arrow showed that no method of social choice can jointly satisfy four desiderata, and each of the desiderata in social choice has an analogue in theory choice. Okasha suggested that one can avoid the Arrow analogue for theory choice (...) by employing a strategy used by Sen in social choice, namely, to enhance the information made available to the choice algorithms. I argue here that, despite Okasha’s claims to the contrary, the information-enhancing strategy is not compelling in the domain of theory choice. (shrink)

Things and Their Place in Theories Our talk of external things, our very notion of things, is just a conceptual apparatus that helps us to foresee and ...

Perception is riddled with cases of reliable misperception. These are cases in which a perceptual state is tokened inaccurately any time it is tokened under normal conditions. On the face of it, this fact causes trouble for theories that provide an analysis of perceptual content in non-semantic, non-intentional, and non-phenomenal terms, such as those found in Millikan (1984), Fodor (1990), Neander (2017), and Schellenberg (2018). I show how such theories can be extended so that they cover such cases without giving (...) up their core commitments. (shrink)

This is a penultimate draft of a paper that will appear in Handbook of Imagination, Amy Kind (ed.). Routledge Press. Please cite only the final printed version.

When you type the word “serendipity” in a word-processor application such as Microsoft Word, the autocorrection engine suggests you choose other words like “luck” or “fate”. This correcting act turns out to be incorrect. However, it points to the reality that serendipity is not a familiar English word and can be misunderstood easily. Serendipity is a very much scientific concept as it has been found useful in numerous scientific discoveries, pharmaceutical innovations, and numerous humankind’s technical and technological advances. Therefore, there (...) have been many books written around the concept. So why do we need this additional book? This is not just another book about serendipity. It has evolved from the Editor’s question lingering for a decade after finishing his widely cited article (coauthored with Prof. Nancy K. Napier of Boise State University, ID, USA) “Serendipity as a strategic advantage?” in T. Wilkinson’s edited volume Strategic Management in the 21st Century, published by Praeger. The Editor and contributing authors have tried to achieve the following in this title. Demystifying the Serendipity Myth The phenomenon of serendipity has always been thought of as a “miracle”. It is the mystery of human innovation and one of the ultimate secrets of our society. But serendipity is not just a lucky coincidence nor any hidden conspiracy. This book explores the science of the information process behind this seemingly miraculous phenomenon. It connects human society with nature, going back to the root of our existence and looking at the flame of survival to discover the harmony in making creativity. Presenting the nuts and bolts of being an adventurer of science The authors present their conceptual investigations into serendipity’s nature and its mechanism by examining interesting real events and stories. The content is thought-provoking, and readers are led to question and explore their own life stories and problems along the journey of reading this book. Catching an elusive high-value target requires great strategies and efforts. But there are no dark secrets here because this is the “way of nature” – how we humans have always strived for innovation without realizing the blueprints behind such processes. Unlike other books on serendipity, this book will show you that a powerful “secret” is closer than you think. Delivering practical uses for different audiences By understanding the conditionality and survival drivers of serendipity, individuals or organizations can make better decisions on creating the right environment to facilitate the encounter and attainment of this valuable phenomenon. For scientists: With clear explanations of the information processes underlying serendipity, flexible theoretical frameworks of mindsponge and the 3D principle of creativity, researchers are provided with the tools they need to dig deeper into their own fields of study and find practical applications, be it psychology, economics, sociology, or anything that involves innovation (which is, in fact, every scientific discipline). For curious casual readers: Everybody needs innovation to make breakthroughs or spice up one’s life. If you think great ideas come to people randomly from an unknown fairy place, this book will convince you otherwise without taking away that awe and wonder. But above all, you will know how to become more creative, scientifically and straightforwardly, with no snake oil and no weird tricks. For ambitious business people: The flame that brought about great successes throughout human history is within you. But you can only use it if you understand it. While others wait for serendipity to come, you will be able to actively hunt for those precious moments. As it has always been: the best hunters triumph, not the passive wanderers. And in this age of information chaos, finding the golden fruits is not easy. Those from information technology know this problem well, and this book is the treasure map that they have been seeking to navigate that stormy ocean looking for jewels. Like a kingfisher tracking its prey through the water, waiting to gracefully strike, with serendipity, a person seizes the prize of creativity amid the chaos of life. ¤ ¤ ¤ Official introduction: The book explores the nature, underlying causes, and the information processing mechanism of serendipity. It proposes that natural or social survival demands drive serendipity, and serendipity is conditional on the environment and the mindset, on both individual and collective levels. From Darwin's evolution theory to Sun Tzu's war tactics, major innovations throughout human history are unified by this key concept. In the rapidly changing world, information is abundant but rather chaotic. The adaptive power of serendipity allows people to notice treasures within this wild sea, but only for those who understand how it works. To increase the probability of encountering and attaining serendipity, one should employ the mindsponge mechanism and the 3D process of creativity, for without these frameworks, serendipity is truly an elusive target. The book also discusses methods to build environments and cultures rich in navigational and useful information to maximize the chance of finding and capitalizing on serendipity. As a skill, serendipity has a resemblance to how kingfishers observe and hunt their prey. (shrink)

This paper seeks to carve out a distinctive category of conspiracy theorist, and to explore the process of becoming a conspiracy theorist of this sort. Those on whom I focus claim their beliefs trace back to simply trusting their senses and experiences in a commonsensical way, citing what they take to be authoritative firsthand evidence or observations. Certain flat Earthers, anti-vaxxers, and UFO conspiracy theorists, for example, describe their beliefs and evidence this way. I first distinguish these conspiracy theorists by (...) contrasting them with another group that has recently received a lot of attention from the media, philosophers, and academics more broadly. I then dig more deeply into the nature of these conspiracy theorists’ epistemic self-understanding, in order to give an account of the process by which one becomes such a conspiracy theorist. I conclude with some takeaways and implications: first, I explore the implications of my account for whether these conspiracy theorists’ beliefs are rational; then, I argue that my account has practical takeaways about counteracting beliefs in misinformation, since strategies appropriate to this kind of conspiracy theorist may not be the same ones that are appropriate for other kinds. (shrink)

This note outlines a Theory of Everything consistent with the PF interpretation of quantum mechanics.

This paper continues developing the theory of everything consistent with the Presentist Fragmentalist interpretation of quantum mechanics.

In this chapter I articulate and defend a basic principle capturing the underlying structure of an attractive sort of national reconciliation that accounts for a wide array of disparate judgments about the subject. There are extant theories of national reconciliation in the literature, most of which are informed by Kantian, liberal-democratic and similar perspectives. In contrast to these, I spell out a theory grounded on a comparatively underexplored sub-Saharan ethic. My foremost aim is to demonstrate how African ideals about (...) communal relationship, still largely unfamiliar to an international audience, do a promising job of providing a unified foundation for the roles of truth-telling, apology, forgiveness, compensation, amnesty and related practices often associated with national reconciliation. (shrink)

This paper give the first foray into the development of a Theory of Everything that is consistent with the PF interpretation of quantum mechanics.

Notions such as śūnyatā, catuṣkoṭi, and Indra's net, which figure prominently in Buddhist philosophy, are difficult to readily accommodate within our ordinary thinking about everyday objects. Famous Buddhist scholar Nāgārjuna considered two levels of reality: one called conventional reality, and the other ultimate reality. Within this framework, śūnyatā refers to the claim that at the ultimate level objects are devoid of essence or "intrinsic properties", but are interdependent by virtue of their relations to other objects. Catuṣkoṭi refers to the claim (...) that four truth values, including contradiction, are admissible in reasoning. Indra's net refers to the claim that every part of a whole is reflective of the whole. Here we present category theoretic constructions that are reminiscent of these Buddhist concepts. The universal mapping property definition of mathematical objects, wherein objects of a universe of discourse are defined not in terms of their content, but in terms of their relations to all objects of the universe is reminiscent of śūnyatā. The objective logic of perception, with perception modeled as [a category of] two sequential processes (sensation followed by interpretation), and with its truth value object of four truth values, is reminiscent of the Buddhist logic of catuṣkoṭi. The category of categories, wherein every category has a subcategory of sets with zero structure within which every category can be modeled, is reminiscent of Indra's net. Our thorough elaboration of the parallels between Buddhist philosophy and category theory can facilitate better understanding of Buddhist philosophy, and bring out the broader philosophical import of category theory beyond mathematics. (shrink)

As humans, we use the power of thinking to make scientific discoveries, develop technologies, manage social interactions, and transmit knowledge to the next generations. With the ability to think, we can trace back and discover the origin of the universe, the natural world, and ourselves. The content of this book, Mindsponge Theory, is part of that discovery process. -/- Product Details -/- Publisher ‏ : ‎ Walter de Gruyter (December 6, 2022) Publication date ‏ : ‎ December 6, 2022 (...) Language ‏ : ‎ English Hardcover ‏ : ‎ 214 pages ISBN-10 ‏ : ‎ 8367405145 ISBN-13 ‏ : ‎ 978-8367405140 Dimensions ‏ : ‎ 6.3 x 0.71 x 9.29 inches -/- . (shrink)

This paper appears to give a Theory of Everything.

Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist reading). While (...) STT, understood as a theory of intensional entities, retains the Fregean division of properties and relations into a multiplicity of categories according to their adicities and ‘input types’ and discards the division of intensional entities into different ‘orders’, OTT takes the opposite approach: it retains the hierarchy of orders (though with some modifications) and discards the categorisation of properties and relations according to their adicities and input types. In contrast to STT, this latter approach avoids intensional counterparts of the Epimenides and related paradoxes. Fundamental intensional entities lie at the base of the proposed hierarchy and are also given a prominent part to play in the individuation of non-fundamental intensional entities. (shrink)

According to the standard view in philosophy, intentionality is the mark of genuine action. In psychology, human cognition and agency are now widely explained in terms of the workings of two distinct systems (or types of processes), and intentionality is not a central notion in this dual-system theory. Further, it is often claimed, in psychology, that most human actions are automatic, rather than consciously controlled. This raises pressing questions. Does the dual-system theory preserve the philosophical account of intentional (...) action? How much of our behavior is intentional according to this view? And what is the role of consciousness? I will propose here a revised account of intentional action within the dual-system framework, and we will see that most of our behavior can qualify as intentional, even if most of it is automatic. An important lesson will be that philosophical accounts of intentional action need to pay more attention to the role of consciousness in action. (shrink)

In this contribution I will retrace the main stages of my research on the objectification problem in quantum mechanics by highlighting some personal memories of my supervisor, the theoretical physicist Giovanni Morchio. The central aim of my MSc thesis was to ask whether the hypothesis of objectification, which is currently added to the formalism, is not, at least in one case, deducible from it and in particular from the dynamics of the temporal evolution. The case study we were looking for (...) had to: 1) represent a situation similar to that in which a macroscopic system such as a measurement apparatus, following interaction with a system, assumes a well-defined state (which or for example represents the fact that the result of a measurement is a particular value), i.e becomes objective 2) represent a fact in nature in which it is not clear whether its explanation can be derived from the formalism of quantum mechanics or whether a hypothesis of objectification is necessary for its explanation. Proving that such a fact can be deduced from the time evolution of quantum mechanics allowed us to conclude that there are cases in which the hypothesis of objectification is superfluous or, in other words, obtainable from the formalism. (shrink)

Chapter 5 of an e-book 'Handbook for Logotherapists' 2024 (Niiles-Mäki Anne). Institute for Purpose-centered Philosophy Finland.

There are many views about the structure of concepts, a plausible one of which is the theory-theory. Though this view is plausible for concrete concepts, it is unclear that it would work for abstract concepts, and then for moral concepts. The goal of this paper is to provide a plausible theory-theory account for moral concepts and show that it is supported by results in the moral psychology literature. Such studies in moral psychology do not explicitly contend (...) for the theory-theory of moral concepts, but I demonstrate that they actually do provide evidence for the use of theory knowledge at times in moral categorization and decision-making. In philosophy of cognitive science, I newly show that there is evidence that the theory-theory does apply to some moral concepts. (shrink)

In order to explain delusional beliefs, one must first consider what factors should be included in a theory of delusion. Unlike a one-factor theory, a two-factor theory of delusion argues that not only anomalous experience (the first factor) but also an impairment of the belief-evaluation system (the second factor) is required. Recently, two-factor theorists have adopted various Bayesian approaches in order to give a more accurate description of delusion formation. By reviewing the progression from a one-factor (...) class='Hi'>theory to a two-factor theory, I argue that in light of the second factor’s requirements, different proposed impairments can be unified within a consistent belief-evaluation system. Under this interpretation of the second factor, I further argue that the role of a mechanism responsible for detecting bizarreness is wrongly neglected. I conclude that the second factor is a compound system which consists of differing functional parts, one of which functions to detect bizarreness in different stages of delusion; moreover, I hold that the impairment can be one or several of these functional parts. (shrink)

Without directly addressing the Demarcation Problem for logic—the problem of distinguishing logical vocabulary from others—we focus on distinctive aspects of logical vocabulary in pursuit of a second goal in the philosophy of logic, namely, proposing criteria for the justification of logical rules. Our preferred approach has three components. Two of these are effectively Belnap’s, but with a twist. We agree with Belnap’s response to Prior’s challenge to inferentialist characterisations of the meanings of logical constants. Belnap argued that for a logical (...) constant to exist, its rules must be conservative over a previously given consequence relation and guarantee the uniqueness of the constant. The twist is that we require logical vocabulary to be provably conservative, not over a previously given formal consequence relation, but over a previously given meaningful vocabulary of a language. Uniqueness is also a feature defined in terms of provability: if two syntactically distinguished expressions are governed by the same rules, then formulas with them as main operators are interderivable. Belnap’s criteria are not only those for the existence of a logical constant, but more: they are what distinguishes logical vocabulary from all other expressions. It is the defining mark of a logical constant that it is provably conservative over the fragment of the language which excludes it and that its rules guarantee its uniqueness. The third component is the topic neutrality of logic. The provable conservativeness of logic over a previously given vocabulary of a language is motivated, in part, by appeal to molecularism in the theory of meaning. Molecularity is a feature endorsed by the theory of meaning as a whole, so it does not distinguish logical constants from other expressions. The same is true for conservativeness. We argue that molecularity, and hence conservativeness, are implicit presuppositions of speakers’ use of language: the addition of new vocabulary to a language is presupposed to be conservative. But this presupposition is one that we should be able reflectively to endorse (such as when attempting a rational reconstruction of the use of the vocabulary). Thus, where conservativeness is found to fail, this defect should be remedied and the use of the vocabulary corrected (as in classical negation) or excised altogether (as in pejoratives). We go on to characterise a notion of topic neutrality, which we argue applies to logical vocabulary. We then note that reflective endorsement of the conservativeness of a topic neutral vocabulary requires a proof that the vocabulary is conservative relative to any base vocabulary. Thus we require that logical vocabulary be demonstrably conservative. Allying this requirement, distinctive of logic, to a general consideration about the commitments of assertion yields a mode of justification for logical constants akin to some conceptions of Harmony, i.e., to the idea that the consequences of assertion of a logical complex need to be warranted by the grounds and ought to be the strongest consequences warranted by the grounds. Intuitionistic logic acquires a somewhat familiar justification but emanating from a new motivation. (shrink)

Morality is demanding; this is a platitude. It is thus no surprise when we find that moral theories too, when we look into what they require, turn out to be demanding. However, there is at least one moral theory – consequentialism – that is said to be beset by this demandingness problem. This calls for an explanation: Why only consequentialism? This then leads to related questions: What is the demandingness problematic about? What exactly does it claim? Finally, there is (...) the question of what we do if we accept that there is a demandingness problem for consequentialism: How can consequentialists respond? The present chapter sets out to answer these questions (or at least point to how they could be answered). (shrink)

According to embodied cognition, the philosophical and empirical literature on theory of mind is misguided. Embodied cognition rejects the idea that social cognition requires theory of mind. It regards the intramural debate between the Theory Theory and the Simulation Theory as irrelevant, and it dismisses the empirical studies on theory of mind as ill conceived and misleading. Embodied cognition provides a novel deflationary account of social cognition that does not depend on theory of (...) mind. In this chapter, l describe embodied cognition’s alternative to theory of mind and discuss three challenges it faces. (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)

The simulation hypothesis has recently excited renewed interest, especially in the physics and philosophy communities. However, the hypothesis specifically concerns {computers} that simulate physical universes, which means that to properly investigate it we need to couple computer science theory with physics. Here I do this by exploiting the physical Church-Turing thesis. This allows me to introduce a preliminary investigation of some of the computer science theoretic aspects of the simulation hypothesis. In particular, building on Kleene's second recursion theorem, I (...) prove that it is mathematically possible for us to be in a simulation that is being run on a computer \textit{by us}. In such a case, there would be two identical instances of us; the question of which of those is ``really us'' is meaningless. I also show how Rice's theorem provides some interesting impossibility results concerning simulation and self-simulation; briefly describe the philosophical implications of fully homomorphic encryption for (self-)simulation; briefly investigate the graphical structure of universes simulating universes simulating universes, among other issues. I end by describing some of the possible avenues for future research that this preliminary investigation reveals. (shrink)

In this paper I develop a genealogical approach for investigating and evaluating conspiracy theories. I argue that conspiracy theories with an epistemically problematic genealogy are (in virtue of that fact) epistemically undermined. I propose that a plausible type of candidate for such conspiracy theories involves what I call ‘second-order conspiracies’ (i.e. conspiracies that aim to create conspiracy theories). Then, I identify two examples involving such conspiracies: the antivaccination industry and the industry behind climate change denialism. After fleshing out the mechanisms (...) by which these industries systematically create and disseminate specific types of conspiracy theories, I examine the implications of my proposal concerning the particularism/generalism debate and I consider the possibility of what I call local generalism. Finally, I tackle three objections. It could be objected that a problematic genealogy for T merely creates what Dentith (2022) calls ‘type-1’ (or ‘weak’) suspicion for T. I also consider a challenge according to which the genealogical method is meta-undermined, as well as an objection from epistemic laundering. (shrink)

Game theory involves deliberating about what to do in light of what other people are likely to do. One of the central frameworks of game theory is the prisoner’s dilemma, in which participants who make rational choices end up in suboptimal outcomes. Using the prisoner’s dilemma to model competition between firms sets the stage for a new and promising approach to business ethics: the market failures approach.

A lump theorist claims that ordinary objects are spread out across possible worlds, much like many of us think that tables are spread out across space. We are not wholly located in any one particular world, the lump theorist claims, just as we are not wholly spatially located where one’s hand is. We are modally spread out, a trans-world mereological sum of world-bound parts. We are lump sums of modal parts. And so are all other ordinary objects. In this paper, (...) I explore lump theory and investigate five arguments against it. These arguments may be the primary reasons why lump theory has not been widely accepted––or extensively explored––until now. I maintain that these arguments can be answered, and moreover, that accepting lump theory has distinct advantages, making it a competitive view in its own right. (shrink)

I defend the cosmopolitan instrumentalist theory of secession, according to which a group has a right to secede only if this would promote cosmopolitan justice. I argue that the theory is preferable to other theories of secession because it is an entailment of cosmopolitanism, which is independently attractive, and because, unlike other theories of secession, it allows us to give the answers we want to give in cases like secession of the rich or secession that would make things (...) worse for minorities. I defend the view against the objections that it allows for colonialism and annexation, that it is not a distinct theory, and that it is impractical. (shrink)

This document represents some preliminary and unpublished content of a chapter in the edited book titled A New Theory of Serendipity: Nature, Emergence and Mechanism, which will soon be published and distributed by De Gruyter Poland (Sciendo Imprint; part of Walter de Gruyter GmbH, Berlin, Germany). A proper referencing should be like: Quan-Hoang Vuong, Tam-Tri Le, Quy Khuc, Minh-Hoang Nguyen. (2022). A new theory of serendipity. In: QH Vuong. (Ed.) A New Theory of Serendipity: Nature, Emergence and (...) Mechanism (pp. 91-108). Berlin, Germany: De Gruyter. (shrink)

Standard decision theory has trouble handling cases involving acts without finite expected values. This paper has two aims. First, building on earlier work by Colyvan (2008), Easwaran (2014), and Lauwers and Vallentyne (2016), it develops a proposal for dealing with such cases, Difference Minimizing Theory. Difference Minimizing Theory provides satisfactory verdicts in a broader range of cases than its predecessors. And it vindicates two highly plausible principles of standard decision theory, Stochastic Equivalence and Stochastic Dominance. The (...) second aim is to assess some recent arguments against Stochastic Equivalence and Stochastic Dominance. If successful, these arguments refute Difference Minimizing Theory. This paper contends that these arguments are not successful. (shrink)