A phenomenological exploration of the meta-physics of categories, relations, and signs as encountered in physics and the natural sciences.

Habermas’ theory of communicative action is explored as an orientation to the question of understanding which negotiates a pathway between two opposing (and complementary) theoretical frameworks—namely, hermeneutical-relational and empirical-analytical frameworks. His perspective grounds speech, action and understanding in the ethics of human relations. In his approach, understanding is fixed by particular events or situations about which intersubjective agreement must be achieved through the offer and acceptance of reasons that simultaneously orient actors to three worlds: the objective, the social and the (...) personal worlds. This approach raises the question as to whether the process of abstracting from the particular event to the general form, through such rational discourse, might create systems of understanding which silence individual expression and naming, particularly if such expression involves an identity that is not shared with others in the group. In other words, is the origin of an event or situation necessarily a null point for all actors? As this question is explored, metaphor comes to the fore as a complementary process of showing that which cannot be grounded in the dominant system of understanding. The pivot role of naming in the formal structure of Godel’s First Incompleteness Theorem for Number Theory demonstrates the challenge to Habermas’ theory. (shrink)

A formal model of the processes of digestion in a hypothetical cell is developed and discussed as a case study of how the threefold logic of Peircean semiotics works within Rosen’s paradigm of relational ontology. The formal model is used to demonstrate several fundamental differences between a relational description of biological processes and a mechanistic description. The formal model produces a logic of embodied generalization that is mediated and determined by the cell through its interactions with the environment. Specifically, the (...) synchronization of the functions of pattern recognition and semantic attribution results in an open and adaptive learning system that is stabilized by a hermeneutical circle. The formal model is schematically compared to deep learning in logistic neural networks. The relational principles of biosemiotics demonstrated through this case study are applicable to other biological systems, as well as to the relational ontology of systems theory, artificial intelligence systems, and relativistic quantum theory. (shrink)

Using Peirce as a guide, this paper explores the way in which light mediates finitude through the relational process of semiosis. Embodying the triadic logic of identity, difference and return, light creates space, time and matter. Attention is on simple bodily forms and the meta-physics of their relationality. The first section introduces the mathematical and metaphysical contours of Peirce’s approach. The second section motivates Peirce’s three categories as interwoven process. In the third section, Peirce’s formalism of the sign is presented (...) and applied to simple physical and biological bodies. (shrink)

By identifying the formal role of light in relativity theory with the formal role of text in Gadamer’s theory of hermeneutics, the two theories are brought into relationship. Through this fusion, the privileging of “space” in physics and the privileging of “time” in hermeneutics are reciprocally interrogated as horizons of truth.

An exploration of the hypothesis that quantum mechanics is the interpretative framework of relativity theory.

This text explores the interfacing of philosophy and poetry as encounter with alterity—language engaging theme and rupture.

An exploration of the relational ontology of space, time and light.

By bringing together Dretske’s theory of knowledge, Shannon’s theory of information, and the conceptual framework of statistical physics, this paper explores some of the meta-physical challenges posed by a naturalistic notion of semantical information. It is argued that Dretske’s theory cannot be said to be naturalistically grounded in the world described by classical physics and that Dretske information is not consistent with Shannon information. A possible route to reconciling Dretske’s insights with Shannon’s theory is proposed. Along the way, an attempt (...) is made to clarify several points of possible confusion about the relationships between Dretske information, Shannon information and statistical physics. (shrink)

Triadic (systemical) logic can provide an interpretive paradigm for understanding how quantum indeterminacy is a consequence of the formal nature of light in relativity theory. This interpretive paradigm is coherent and constitutionally open to ethical and theological interests. -/- In this statement: -/- (1) Triadic logic refers to a formal pattern that describes systemic (collaborative) processes involving signs that mediate between interiority (individuation) and exteriority (generalized worldview or Umwelt). It is also called systemical logic or the logic of relatives. The (...) term "triadic logic" emphasizes that this logic involves mediation of dualities through an irreducibly triadic formalism. The term "systemical logic" emphasizes that this logic applies to systems in contrast to traditional binary logic which applies to classes. The term "logic of relatives" emphasizes that this logic is background independent (in the sense discussed by Smolin ). -/- (2) An interpretive paradigm refers to a way of thinking that generates an understanding through concepts, their inter-relationships and their connections with experience. -/- (3) Coherence refers to holistic integrity or continuity in the meaning of concepts that form an interpretation or understanding. -/- (4) Constitutionally open refers to an inherent dependence in principle of an interpretation or understanding on something outside of a specific discipline's discourse or domain of inquiry (epistemic system). Interpretations that are constitutionally open are incomplete in themselves and open to responsive, interdisciplinary discourse and collaborative learning. (shrink)

An exploration of the metaphysics of relation as a unifying motif in modern physics. What happens when Ideal observers begin to observe their own observing?

In this paper, I trace the three-fold essence of “return”—a generating trope of identity and difference, through which formal aspects of the theory of relativity, the movement of language and emergence in evolution might converge. The trope of return is contrasted with the more common two-fold structure of relatedness underwriting differential calculus, propositional semantics and reductionism, which privileges space over time, identity over difference, self over creation.

An imaginative exploration of space and time in which light mediates the relationship between finitude and the Infinite. Light becomes the creative source through which interiority and exteriority are manifested and brought into synchronicity as time, space and mass. The exploration probes the relational logic of relativity theory using the meta-physical insights of Augustine, Hegel, Levinas, and Peirce.

a collection of poems as companion to a collection of philosophical études.

This workbook of "études" offers a collection of experimental texts for communal dialogue and discovery that crosses multiple academic disciplines, including: foundations of physics, metaphysics, theoretical biology, semiotics, cognitive science, linguistics, phenomenology, logic & mathematics, poetry and theology. Each étude probes limits, horizons and boundaries by implicitly bring into relation foundational issues that characterize different academic disciplines or systems of meaning formation. Some formal techniques are deployed the études. Most notable is the use of the “logic of three” to overcome (...) falsely totalizing images and inexorable dualities. This technique involves a particular kind of attunement to the “betweenness” of mediation that is not common in modern science. The attunement draws on the formal and precise movements of analysis in concert with the metaphoric and singular movements of synthesis. (shrink)

A debate between two aestheticians concerning the relative influence of Scottish and German philosophers on the contemporary discipline. -/- .

A deconstruction of the implicit notion of Absolute space that dominates modern physics. The deconstruction is enacted by juxtaposing the common notion of Absolute space abstracted from Newton’s Philosophiae Naturalis Principia Mathematica with Levinas’ particular present treatment of space in Otherwise than Being: Or Beyond Essence.

As part of a review symposium on DARWIN'S ARGUMENT BY ANALOGY: FROM ARTIFICIAL TO NATURAL SELECTION (2021), the journal METASCIENCE invited Roger White, Jon Hodge and me to submit a response to the thoughtful commentaries on our book by Andrea Sullivan-Clarke, David Depew and Andrew Inkpen.

An exploration of the metaphysics of process-ordering in Quantum Theory and Relativity Theory that is guided by Bohm, Peirce, Levinas, and Torrance.

Sleep onset is associated with marked changes in behavioral, physiological, and subjective phenomena. In daily life though subjective experience is the main criterion in terms of which we identify it. But very few studies have focused on these experiences. This study seeks to identify the subjective variables that reflect sleep onset. Twenty young subjects took an afternoon nap in the laboratory while polysomnographic recordings were made. They were awakened four times in order to assess subjective experiences that correlate with the (...) (1) appearance of slow eye movement, (2) initiation of stage 1 sleep, (3) initiation of stage 2 sleep, and (4) 5 min after the start of stage 2 sleep. A logistic regression identified control over and logic of thought as the two variables that predict the perception of having fallen asleep. For sleep perception, these two variables accurately classified 91.7% of the cases; for the waking state, 84.1%. (shrink)

THERE IS WIDESPREAD AGREEMENT among historians that the writings of Robert Boyle (1697-1691) constitute a valuable archive for understanding the concerns of seventeenth-century British natural philosophers. His writings have often been seen as representing, in one fashion or another, all of the leading intellectual currents of his day. ~ There is somewhat less consensus, however, on the proper historiographic method for interpreting these writings, as well as on the specific details of the beliefs expressed in them. Studies seeking to explicate (...) Boyle's thought have been, roughly speaking, of two general sorts. On the one hand there are those studies of a broadly "intellectualist" orientation which situate his natural philosophy within the intellectual context provided by metaphysics, religion, and early modern science. In this connection his corpuscularianism has been shown to be motivated by specific epistemological, theological, as well as empirical concerns. One of the central aims of such studies has been to show that apparently discordant elements in his scientific thought are rendered coherent by referring them to such "non-scientific" commitments. Among studies of this sort might be mentioned the works of John Hedley Brooke, E. A. Burtt, Gary B. Deason, J. E. McGuire, R. Hooykaas, Robert H. Kargon, Eugene M. Klaaren, P. M. Rattansi, and Richard S. Westfall. (shrink)

Neither M. Walzer's collectivist conception of the "moral equality" of combatants, nor its antithetical individualist conceptions of responsibility are compatible with the ethos of military professionalism and its conception(s) of the responsibility of military professionals for service in an unjust war.

John Searle and Roger Penrose are two staunch critics of computationalism who nonetheIess believe that with the right framework the mind can be naturalized. while they may be successful in showing the shortcomings of computationalism, I argue that their alternative noncomputational frameworks equally fail to carry out the project to naturalize the mind. The main reason is their failure to resolve some fundamental incompatibilities between mind and science. Searle tries to resolve the incompatibility between the subjectivity of consciousness and the (...) objectivity of silence by means of conceptual clarification. He, howeve4 fails to deal with the concepts crucial to this incompatibility, namely, the publicness of scientific knowledge and the privacy of psychological knowledge. Penrose tries to resolve the incompatibility between the non-computationality of psychological process and the computationality of scientific process by expanding the scope of science through some radical changes in quantum physics. His strategy, howeve4 has the danger of trivializing the distinction between science and non-science thereby putting into question the very value of the project to naturalize the mind. In addition, the feasibility of this strategy remains dubious in light of the mysteries that still surround quantum physics. (shrink)

Discernimiento de espíritus, como muchos otros libros que comentan los Ejercicios Espirituales de san Ignacio de Loyola, describe lo que se conoce como el discernimiento de espíritus. Sin embargo, se dedica a explicar, ilustrar y, sobre todo, aplicar el discernimiento de espíritus en la experiencia espiritual cotidiana y común de las personas. El autor recalca que en la actualidad existen muchos factores personales y sociales que, impidiendo el cultivo del silencio interior y exterior, aumentan la dificultad de adentrarse en la (...) propia conciencia y, por ende, contribuyen a una profunda resistencia de las personas del mundo de hoy a vivir hacia adentro, es decir, hacia el encuentro consigo mismos. Dado que esta no es una tarea fácil, este libro está dirigido a quienes tengan la valentía –la virtud que quizá más repite el autor a lo largo de todo el libro– de ser espiritualmente conscientes de su vida. (shrink)

Review of Roger M. White, Wittgenstein's Tractatus Logico-Philosophicus: A Reader's Guide.

Skeptical theism is a family of responses to the evidential problem of evil. What unifies this family is two general claims. First, that even if God were to exist, we shouldn’t expect to see God’s reasons for permitting the suffering we observe. Second, the previous claim entails the failure of a variety of arguments from evil against the existence of God. In this essay, we identify three particular articulations of skeptical theism—three different ways of “filling in” those two claims—and describes (...) their role in responding to evidential arguments of evil due to William Rowe and Paul Draper. But skeptical theism has been subject to a variety of criticisms, several of which raise interesting issues and puzzles not just in philosophy of religion but other areas of philosophy as well. Consequently, we discuss some of these criticisms, partly with an eye to bringing out the connections between skeptical theism and current topics in mainstream philosophy. Finally, we conclude by situating skeptical theism within our own distinctive methodology for evaluating world views, what we call “worldview theory versioning.”. (shrink)

This is a three-part exchange on the relationship between belief and credence. It begins with an opening essay by Roger Clarke that argues for the claim that the notion of credence generalizes the notion of belief. Julia Staffel argues in her reply that we need to distinguish between mental states and models representing them, and that this helps us explain what it could mean that belief is a special case of credence. Roger Clarke's final essay reflects on the compatibility of (...) the previously discussed views with dualist and monist interpretations of our mental states and our ways of modeling them. (shrink)

This essay provides a novel account of iterated epistemic states. The essay argues that states of epistemic determinacy might be secured by countenancing iterated epistemic states on the model of fixed points in the modal $\mu$-calculus. Despite the epistemic indeterminacy witnessed by the invalidation of modal axiom 4 in the sorites paradox -- i.e. the KK principle: $\square$$\phi$ $\rightarrow$ $\square$$\square$$\phi$ -- a hyperintensional epistemic $\mu$-automaton permits fixed points to entrain a principled means by which to iterate epistemic states and account (...) thereby for necessary conditions on self-knowledge. The hyperintensional epistemic $\mu$-calculus is applied to the iteration of the epistemic states of a single agent instead of the common knowledge of a group of agents, and is thus a novel contribution to the literature. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

For millennia self has been conjectured to be necessary for consciousness. But scant empirical evidence has been adduced to support this hypothesis. Inconsistent explications of “self” and failure to design apt experiments have impeded progress. Advocates of phenomenological psychiatry, however, have helped explicate “self,” and employed it to explain some psychopathological symptoms. In those studies, “self” is understood in a minimalist sense, sheer “for-me-ness.” Unfortunately, explication of the “minimal self” (MS) has relied on conceptual analysis, and applications to psychopathology have (...) been hermeneutic, allowing for many degrees of interpretive latitude. The result is that MS’s current scientific status is analogous to that of the “atom,” at the time when “atom” was just beginning to undergo transformation from a philosophical to a scientific concept. Fortunately, there is now an opportunity to promote a similar transformation for “MS.” Discovery of the brain’s Default Mode Network (DMN) opened the door to neuroimaging investigations of self. Taking the DMN and other forms of intrinsic activity as a starting point, an empirical foothold can be established, one that spurs experimental research and that enables extension of research into multiple phenomena. New experimental protocols that posit “MS” can help explain phenomena hitherto not thought to be related to self, thereby hastening development of a mature science of self. In particular, targeting phenomena wherein consciousness is lost and recovered, as in some cases of Unresponsive Wakefulness Syndrome (UWS), allow for design of neuroimaging probes that enable detection of MS during non-conscious states. These probes, as well as other experimental protocols applied to NREM Sleep, General Anesthesia (GA), and the waking state, provide some evidence to suggest that not only can self and consciousness dissociate, MS might be a necessary precondition for conscious experience. Finally, these findings have implications for the science of consciousness: it has been suggested that “levels of consciousness” (LoC) is not a legitimate concept for the science of consciousness. But because we have the conceptual and methodological tools with which to refine investigations of MS, we have the means to identify a possible foundation—a bifurcation point—for consciousness, as well as the means by which to measure degrees of distance from that foundation. These neuroimaging investigations of MS position us to better assess whether LoC has a role to play in a mature science of consciousness. (shrink)

The preface paradox does not show that it can be rational to have inconsistent beliefs, because preface writers do not have inconsistent beliefs. I argue, first, that a fully satisfactory solution to the preface paradox would have it that the preface writer's beliefs are consistent. The case here is on basic intuitive grounds, not the consequence of a theory of rationality or of belief. Second, I point out that there is an independently motivated theory of belief – sensitivism – which (...) allows such a solution. I sketch a sensitivist account of the preface writer's doxastic state. (shrink)

This paper aims to provide a mathematically tractable background against which to model both modal cognitivism and modal expressivism. I argue that epistemic modal algebras, endowed with a hyperintensional, topic-sensitive epistemic two-dimensional truthmaker semantics, comprise a materially adequate fragment of the language of thought. I demonstrate, then, how modal expressivism can be regimented by modal coalgebraic automata, to which the above epistemic modal algebras are categorically dual. I examine five methods for modeling the dynamics of conceptual engineering for intensions and (...) hyperintensions. I develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. I examine then the virtues unique to the modal expressivist approach here proffered in the setting of the foundations of mathematics, by contrast to competing approaches based upon both the inferentialist approach to concept-individuation and the codification of speech acts via intensional semantics. (shrink)

This paper endeavors to establish foundations for the interaction between hyperintensional semantics and two-dimensional indexing. I examine the significance of the semantics, by developing three, novel interpretations of the framework. The first interpretation provides a characterization of the distinction between fundamental and derivative truths. The second interpretation demonstrates how the elements of decision theory are definable within the semantics, and provides a novel account of the interaction between probability measures and hyperintensional grounds. The third interpretation concerns the contents of the (...) types of intentional action, and the semantics is shown to resolve a puzzle concerning the role of intention in action. Topic-sensitive two-dimensional truthmaker semantics can be interpreted epistemically and metasemantically. (shrink)

This essay aims to provide a modal logic for rational intuition. Similarly to treatments of the property of knowledge in epistemic logic, I argue that rational intuition can be codified by a modal operator governed by the modal $\mu$-calculus. Via correspondence results between fixed point modal propositional logic and the bisimulation-invariant fragment of monadic second-order logic, a precise translation can then be provided between the notion of 'intuition-of', i.e., the cognitive phenomenal properties of thoughts, and the modal operators regimenting the (...) notion of 'intuition-that'. I argue that intuition-that can further be shown to entrain conceptual elucidation, by way of figuring as a dynamic-interpretational modality which induces the reinterpretation of both domains of quantification and the intensions and hyperintensions of mathematical concepts that are formalizable in monadic first- and second-order formal languages. Hyperintensionality is countenanced via a topic-sensitive epistemic two-dimensional truthmaker semantics. (shrink)

This paper aims to contribute to the analysis of the nature of mathematical modality and hyperintensionality, and to the applications of the latter to absolute decidability. Rather than countenancing the interpretational type of mathematical modality as a primitive, I argue that the interpretational type of mathematical modality is a species of epistemic modality. I argue, then, that the framework of two-dimensional semantics ought to be applied to the mathematical setting. The framework permits of a formally precise account of the priority (...) and relation between epistemic mathematical modality and metaphysical mathematical modality. The discrepancy between the modal systems governing the parameters in the two-dimensional intensional setting provides an explanation of the difference between the metaphysical possibility of absolute decidability and our knowledge thereof. I also advance a topic-sensitive epistemic two-dimensional truthmaker semantics, if hyperintensional approaches are to be preferred to possible worlds semantics. I examine the relation between two-dimensional hyperintensional states and epistemic set theory, providing two-dimensional hyperintensional formalizations of the modal logic of ZFC, large cardinal axioms, $\Omega$-logic, and the Epistemic Church-Turing Thesis. (shrink)

The harms associated with wireless mobile devices (e.g. smartphones) are well documented. They have been linked to anxiety, depression, diminished attention span, sleep disturbance, and decreased relationship satisfaction. Perhaps what is most worrying from a moral perspective, however, is the effect these devices can have on our autonomy. In this article, we argue that there is an obligation to foster and safeguard autonomy in ourselves, and we suggest that wireless mobile devices pose a serious threat to our capacity to fulfill (...) this obligation. We defend the existence of an imperfect duty to be a ‘digital minimalist’. That is, we have a moral obligation to be intentional about how and to what extent we use these devices. The empirical findings already justify prudential reasons in favor of digital minimalism, but the moral duty is distinct from and independent of prudential considerations. (shrink)

Carruthers argues that knowledge of our own propositional attitudes is achieved by the same mechanism used to attain knowledge of other people's minds. This seems incompatible with "privileged access"---the idea that we have more reliable beliefs about our own mental states, regardless of the mechanism. At one point Carruthers seems to suggest he may be able to maintain privileged access, because we have additional sensory information in our own case. We raise a number of worries for this suggestion, concluding that (...) Carruthers's new theory cannot clearly preserve the superior reliability of our beliefs about our own attitudes. (shrink)

Critics of persuasive advertising argue that it undermines the autonomy of consumers by manipulating their desires in morally problematic ways. My aim is this paper is to refine that argument by employing a conception of autonomy that is not at odds with certain forms of manipulation. I argue that the charge of manipulation is not sufficient for condemning persuasive advertising. On my view, manipulation of an agent’s desires through advertising is justifiable in cases where the agent accepts the process through (...) which the desires were developed. I show how the standard manipulation objection proves too much as it would also condemn cases of that kind. I argue that this distinction is especially important when we consider the implications of “new media.” In addition to increasing vulnerability to manipulation, new media have considerable impacts on well-being. By siding with the traditional autonomy argument, we would be compelled to take an implausible stand against all forms of manipulation through advertising, but I suggest that only a proper subset of those cases are morally problematic. This conclusion opens up a space for persuasive advertising that is permissible while nevertheless condemning cases that violate consumers’ autonomy. (shrink)

This paper aims to provide hyperintensional foundations for mathematical platonism. I examine Hale and Wright's (2009) objections to the merits and need, in the defense of mathematical platonism and its epistemology, of the thesis of Necessitism. In response to Hale and Wright's objections to the role of epistemic and metaphysical modalities in providing justification for both the truth of abstraction principles and the success of mathematical predicate reference, I examine the Necessitist commitments of the abundant conception of properties endorsed by (...) Hale and Wright and examined in Hale (2013), and demonstrate how a two-dimensional approach to the epistemology of mathematics is consistent with Hale and Wright's notion of there being non-evidential epistemic entitlement rationally to trust that abstraction principles are true. A choice point that I flag is that between availing of intensional or hyperintensional semantics. The hyperintensional semantic approach that I advance is a topic-sensitive epistemic two-dimensional truthmaker semantics. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest that observational type theory can be applied to first-order abstraction principles in order to make abstraction principles recursively enumerable. Epistemic and metaphysical states and possibilities may thus be shown to play a constitutive role in vindicating the reality of mathematical objects and truth, and in providing a conceivability-based route to the truth of abstraction principles as well as other axioms and propositions in mathematics. (shrink)

I argue that the two-dimensional hyperintensions of epistemic topic-sensitive two-dimensional truthmaker semantics provide a compelling solution to the access problem. I countenance an abstraction principle for epistemic hyperintensions based on Voevodsky's Univalence Axiom and function type equivalence in Homotopy Type Theory. I apply, further, modal rationalism in modal epistemology to solve the access problem. Epistemic possibility and hyperintensionality, i.e. conceivability, can be a guide to metaphysical possibility and hyperintensionality, when (i) epistemic worlds or epistemic hyperintensional states are interpreted as being (...) centered metaphysical worlds or hyperintensional states, i.e. indexed to an agent, when (ii) the epistemic (hyper-)intensions and metaphysical (hyper-)intensions for a sentence coincide, i.e. the hyperintension has the same value irrespective of whether the worlds in the argument of the functions are considered as epistemic or metaphysical, and when (iii) sentences are said to consist in super-rigid expressions, i.e. rigid expressions in all epistemic worlds or states and in all metaphysical worlds or states. I argue that (i) and (ii) obtain in the case of the access problem. (shrink)

In this chapter, we turn our attention to the effects of the attention economy on our ability to act autonomously as a group. We begin by clarifying which sorts of groups we are concerned with, which are structured groups (groups sufficiently organized that it makes sense to attribute agency to the group itself). Drawing on recent work by Purves and Davis (2022), we describe the essential roles of trust (i.e., depending on groups to fulfill their commitments) and trustworthiness (i.e., the (...) property of a group that makes trusting them fitting) in autonomous group action, with particular emphasis on democratic institutions (which we view as group agents) and democratic legitimacy (which depends on trust and trustworthiness). We then explain how engagement maximization promotes polarization, which is detrimental to trust and trustworthiness and, in turn, democratic legitimacy and democratic institutions. We close by considering what groups might do to protect themselves from the threat posed to them by the attention economy. (shrink)

This paper provides a rebuttal to the argument in Bowen (2018) in `Synthese'. Bowen provides a novel hyperintensional, ground-theoretic regimentation of the proposals in the metaphysics of consciousness. He then argues that Chalmers' (2010) intensional two-dimensional conceivability argument against physicalism is unsound, in light of the hyperintensional metaphysics of consciousness. Thus, intensional conceivability cannot be a guide to hyperintensional metaphysics. This paper demonstrates that a multi-hyperintensional version of epistemic two-dimensional semantics can be countenanced, and is sufficient for conceivability to be (...) a guide to metaphysics in the hyperintensional setting such that Chalmers' argument, hyperintensionally construed, is in fact sound. (shrink)

Ordinary and philosophical thought suggests recognizing a distinction between two ways something can be of final value. Something can be of final value in virtue of its connection to other things of value (“non-basic final value”) or something can be of final value regardless of its connection to other things of value (“basic final value”). The primary aim of this paper is to provide an account of this distinction. I argue that we have reason to draw this distinction as it (...) helps avoid certain problems. I criticize accounts of this distinction due to Warren Quinn, Fred Feldman, and Michael Zimmerman. I then provide my own positive account which incorporates several of the insights of those accounts while avoiding their pitfalls. I conclude by relating my account to issues concerning partiality and appropriate attitudes. (shrink)

In this open access book, Timothy Aylsworth and Clinton Castro draw on the deep well of Kantian ethics to argue that we have moral duties, both to ourselves and to others, to protect our autonomy from the threat posed by the problematic use of technology. The problematic use of technologies like smartphones threatens our autonomy in a variety of ways, and critics have only begun to appreciate the vast scope of this problem. In the last decade, we have seen (...) a flurry of books making “self-help” arguments about how we could live happier, more fulfilling lives if we were less addicted to our phones. But none of these authors see this issue as one involving a moral duty to protect our autonomy. (shrink)

Broadly speaking, the contemporary scientific realist is concerned to justify belief in what we might call theoretical truth, which includes truth based on ampliative inference and truth about unobservables. Many, if not most, contemporary realists say scientific realism should be treated as ‘an overarching scientific hypothesis’ (Putnam 1978, p. 18). In its most basic form, the realist hypothesis states that theories enjoying general predictive success are true. This hypothesis becomes a hypothesis to be tested. To justify our belief in the (...) realist hypothesis, realists commonly put forward an argument known as the ‘no-miracles argument’. With respect to the basic hypothesis this argument can be stated as follows: it would be a miracle were our theories as successful as they are, were they not true; the only possible explanation for the general predictive success of our scientific theories is that they are true. (shrink)