In this paper I consider an objection that friends of the Metaphysic of Temporal Parts (MTP) press against other solutions to the problem of temporary intrinsics and turn it against the MTP itself. I do not argue that the MTP must be false, nor do I argue that there are no arguments in favor of the MTP. Rather, the conclusion I draw is conditional: if the MTP provides an adequate response to the problem of temporary intrinsics, then the MTP provides (...) no reason to reject our commonsense view of the nature of material objects. (shrink)

Many contemporary philosophers of mind are concerned to defend a thesis called a posteriori physicalism. This thesis has two parts, one metaphysical, and the other epistemological. The metaphysical part of the thesis—the physicalist part—is the claim that the psychological nature of the actual world is wholly physical. The epistemological part of the thesis—the a posteriori part—is the claim that no a priori connection holds between psychological nature and physical nature. Despite its attractiveness, however, a familiar argument alleges that a posteriori (...) physicalism cannot be true. This argument is sometimes called the Property Dualism Argument Against Physicalism. In this paper, I consider Stephen White’s version of the Property Dualism Argument and argue that it fails. I distinguish two ways in which the argument’s crucial notion might be understood, and I argue that on neither way of understanding it is the Property Dualism Argument compelling. (shrink)

A review of Andrew Melnyk, A Physicalist Manifesto: Thoroughly Modern Materialism (Cambridge University Press, 2003).

My goal in this paper is to argue that the principled approach to hearsay is consistent with the rule of law. I begin by contrasting an instrumental conception of the rule of law with a conception that views the rule of law in primarily normative terms. I then turn my attention to a recent criticism of the Supreme Court of Canada’s principled approach to hearsay and suggest that if Michael Oakeshott’s normative interpretation of the rule of law is adopted, there (...) is no tension between the principled approach to hearsay and the rule of law. (shrink)

The process of adopting a child is “not for the faint of heart.” This is what we were told the first time we, as a couple, began this process. Part of the challenge lies in fulfilling the licensing requirements for adoption, which, beyond the usual home study, can include mandatory participation in parenting classes. The question naturally arises for many people who are subjected to these requirements whether they are morally justified. We tackle this question in this paper. In our (...) view, while strong reasons exist in favour of licensing adoptive parents, these reasons support the licensing not only of adoptive parents, but of all or some subset of so-called “natural” parents as well. We therefore conclude that the status quo with respect to parental licensing, according to which only adoptive parents need to be licensed, is morally unjustified. (shrink)

A review of Katy Barnett, Accounting for Profit for Breach of Contract (Hart Publishing, 2012).

A review of Arthur Ripstein, Force and Freedom: Kant's Legal and Political Philosophy (Harvard University Press, 2009).

A review of Douglas Husak, Philosophy of Criminal Law: Selected Essays (Oxford University Press, 2010).

This paper presents 59 new studies (N = 72,310) which focus primarily on the “bat and ball problem.” It documents our attempts to understand the determinants of the erroneous intuition, our exploration of ways to stimulate reflection, and our discovery that the erroneous intuition often survives whatever further reflection can be induced. Our investigation helps inform conceptions of dual process models, as “system 1” processes often appear to override or corrupt “system 2” processes. Many choose to uphold their intuition, even (...) when directly confronted with simple arithmetic that contradicts it – especially if the intuition is approximately correct. (shrink)

This overview of the philosophy of certainty will distinguish two types of certainty, specify controversial theses about certainty from recent literature, and explain some of the arguments for and against those theses.

Stipulation gives us a degree of control over meaning. By stipulating how I will use a term I am able to determine the meaning it will receive on future occasions of use. My stipulation will affect the truth conditional content of my future utterances. But the mechanisms of stipulation are mysterious. As Cappelen (2018) argues, meaning is typically determined in an inscrutable way by a myriad of external factors beyond our control. How does stipulation override these factors? And the powers (...) of stipulation are limited. Firstly, the power of stipulation is typically short-lived. Sec-ondly, some stipulations simply don’t get off the ground. What explains the limits of stipulation? I consider two related approaches to stipulation and argue that they are unable to capture stipulation’s metasemantic effects. I then provide an explanation of the metasemantic effects of stipulation: Stipulation determines meaning by determining the word use it is fitting to hold the speaker to. This account is able to capture the mechanisms and limits of stipulation, whilst also explaining why we should care about stip-ulative success. I close by briefly drawing out some lessons for conceptual engineering. -/- . (shrink)

This chapter articulates two concerns that Karl Jaspers raised (with Hannah Arendt) about the common practice of viewing moral evil as unintelligible. The first is that this involves exoticizing the act and/or perpetrator in such a way that moral condemnation becomes difficult. The second is that it can lead us to treat the perpetrator, place, or victim as tainted or stained by a force whose motives we cannot grasp; this in turn can lead to magical thinking about evil as somehow (...) contagious or contaminating. After distinguishing some of the main categories of evil discussed in the western tradition, I examine ways in which moral evil, in particular, has been characterized as unintelligible, and try to discern which of them raises these Jaspersian concerns. I argue that there are at least two conceptions of “radical evil”—not the Kantian one, but the ones articulated by Hannah Arendt—that do so. (shrink)

This entry summarizes arguments for and against the thesis that knowledge entails belief.

In this paper I will introduce a new compatibilist account of free action: indirect conscious control compatibilism, or just indirect compatibilism for short. On this account, actions are free either when they are caused by compatibilist‐friendly conscious psychological processes, or else by sub‐personal level processes influenced in particular ways by compatibilist‐friendly conscious psychological processes. This view is motivated by a problem faced by a certain family of compatibilist views, which I call conscious control views. These views hold that we act (...) freely when we act in a way that is caused by certain conscious psychological processes. One problem for such views is that current neuroscience suggests that most of our actions are not caused by such processes. Instead, many of the actions we typically suppose are free are caused by sub‐personal level processes and hence would count as not free according to contemporary conscious control views. I argue, contra these views, that many actions caused by these sub‐personal level processes are indirectly free. Further, most of the actions we ordinarily judge to be free are free in this indirect manner. (shrink)

I develop and defend a sense-datum theory of perception. My theory follows the spirit of classic sense-datum theories: I argue that what it is to have a perceptual experience is to be acquainted with some sense-data, where sense-data are private particulars that have all the properties they appear to have, that are common to both perception and hallucination, that constitute the phenomenal characters of perceptual experiences, and that may be aptly described as pictures in-side one’s head. But my theory also (...) diverges from conventional sense-datum theories in some key respects: on my view, (1) sense-data are first-person presentations of neural states, (2) the sensational qualities of sense-data differ in kind from the sensible qualities of external objects, and (3) sense-data are the vehicles in virtue of which we perceive, rather than the objects that we perceive. I argue that this package of claims is appropriately labeled ‘sense-datum theory’, and that the resultant view ought to be a live contender in contemporary philosophy of perception. (shrink)

In recent years, the science and the philosophy of consciousness has seen growing interest in structural questions about consciousness. This is the Editorial Introduction for a special volume for Philosophy and the Mind Sciences on “Structuralism in Consciousness Studies.”.

Intelligent neurotechnology is an emerging field that combines neurotechnologies like brain-computer interface (BCI) with artificial intelligence. This paper introduces a capability framework to assess the responsible use of intelligent BCI systems and provide practical ethical guidance. It proposes two tests, the threshold and flourishing tests, that BCI applications must meet, and illustrates them in a series of cases. After a brief introduction (Section 1), Section 2 sets forth the capability view and the two tests. It illustrates the threshold test using (...) examples from clinical medicine of BCI applications that enable patients with profound disabilities to function at a threshold level through computer mediation. Section 3 illustrates the flourishing test by exploring possible future applications of BCI involving neuroenhancements for healthy people, using examples adapted from research currently underway in the US military. Section 3 applies a capability lens to a complex case involving dual effects, both therapeutic and non-therapeutic, showing how the threshold and flourishing tests resolve the case. Section 4 replies to three objections: neurorights are the best tool for assessing BCI; the two tests are moving targets; and the analysis utilizes a capability view to do work it is not designed for. The paper concludes that a capability view offers unique advantages and gives practical guidance for evaluating the responsible use of present and future BCI applications. Extrapolating from our analysis may help guide other emerging technologies, such as germline gene editing, expected to impact central human capabilities. (shrink)

People are ‘biased toward the future’: all else being equal, we typically prefer to have positive experiences in the future, and negative experiences in the past. Several explanations have been suggested for this pattern of preferences. Adjudicating among these explanations can, among other things, shed light on the rationality of future-bias: For instance, if our preferences are explained by unjustified beliefs or an illusory phenomenology, we might conclude that they are irrational. This paper investigates one hypothesis, according to which future-bias (...) is explained by our having a phenomenology that we describe, or conceive of, as being as of time robustly passing. We empirically tested this hypothesis and found no evidence in its favour. Our results present a puzzle, however, when compared with the results of an earlier study. We conclude that although robust passage phenomenology on its own probably does not explain future-bias, having this phenomenology and taking it to be veridical may contribute to future-bias. (shrink)

Previously, we introduced a capability approach to assess the responsible use of brain-computer interface. In this commentary, we say more about the ethical basis of our capability view and respond to three objections. The first objection holds that by stressing that capability lists are provisional and subject to change, we threaten the persistence of human dignity, which is tied to capabilities. The second objection states that we conflate capabilities and abilities. The third objection claims that the goal of using neuroenhancements (...) should be preserving capabilities, not altering them. (shrink)

Philosophers have long noted, and empirical psychology has lately confirmed, that most people are “biased toward the future”: we prefer to have positive experiences in the future, and negative experiences in the past. At least two explanations have been offered for this bias: belief in temporal passage and the practical irrelevance of the past resulting from our inability to influence past events. We set out to test the latter explanation. In a large survey, we find that participants exhibit significantly less (...) future bias when asked to consider scenarios where they can affect their own past experiences. This supports the “practical irrelevance” explanation of future bias. It also suggests that future bias is not an inflexible preference hardwired by evolution, but results from a more general disposition to “accept the things we cannot change”. However, participants still exhibited substantial future bias in scenarios in which they could affect the past, leaving room for complementary explanations. Beyond the main finding, our results also indicate that future bias is stake-sensitive and that participants endorse the normative correctness of their future-biased preferences and choices. In combination, these results shed light on philosophical debates over the rationality of future bias, suggesting that it may be a rational response to empirical realities rather than a brute, arational disposition. (shrink)

This is part 1 on a paper whose final variation of parts shall be titled,”The Universal Theory of Existence: The Sashu, Pharaohs, and the al-Mahdī”. The first part of this series sets the premise for a proposed ”Theory of Everything” that will be the foundation for encompassing many different topics. Since, the beginning of time, a singularity existed. This singularity is what we call an origin point of everything. Beyond, this origin point for time is different depending on position, being (...) outside of the singularity, or the idea that multiple universes exists with different time dilation, and likely different laws. Existence in essence is centered around the idea of what is prior to the origin point of time, and in theory, what is the space-time complexity together, in regards to how civilization come to be. From a physics standpoint, there are multiple theories around this. For starters, the author of this paper coined QSOPR Theorem, MDQBT, QSICT, and how this relates to Time/Multiverse Dilation and Origin Points. Quantum Similarity on a molecular, atomic, theoretical, and chemical level is one of these vast things humanity should be trying to explore. (shrink)

Critical comments on David Papineau's idea that people find physicalism about phenomenal consciousness unbelievable because they commit what he calls the 'antipathetic fallacy'.

Andrews argues for a pluralistic folk psychology that employs different kinds of practices and different kinds of cognitive tools (including personality trait attribution, stereotype activation, inductive reasoning about past behavior, and ...

The goal of this paper is to show that Thomas Aquinas, in his _Disputed Questions on Evil_, presents a theory of free will that is compatibilist but still involves a version of the principle of alternative possibilities (PAP) and even requires alternative possibilities for a certain kind of responsibility. In Aquinas’ view, choosing between possibilities is not the primary power of the will. Rather, choice arises through the complex interaction of various parts of human psychology, in particular through the indeterminacy (...) of the intellect and through the interaction between reason and passion. Both of these ways provide cases where Aquinas not only allows for alternative possibilities but thinks that they are necessary for moral responsibility, all the while remaining, strictly speaking, a compatibilist. (shrink)

Frege-Geach worries about embedding and composition have plagued metaethical theories like emotivism, prescriptivism and expressivism. The sharpened point of such criticism has come to focus on whether negation and inconsistency have to be understood in descriptivist terms. Because they reject descriptivism, these theories must offer a non-standard account of the meanings of ethical and normative sentences as well as related semantic facts, such as why certain sentences are inconsistent with each other. This paper fills out such a solution to the (...) negation problems, following some of the original emotivist ideas about the interplay of interests in conversation. We communicate both to share information and coordinate our actions, and we use distinctively normative language like deontic ‘must’ and ‘may’ to negotiate what people are to do. The kinds of disagreement involved in such negotiation can illuminate the issues with negation and inconsistency. This paper outlines a dynamic semantic system in which these ideas can bear fruit, developing the scorekeeping model of conversation. The result is clarification about what Frege-Geach worries can mean for nondescriptive semantics. (shrink)

This is a paper on the philosophical clinical psychology of PTSD. How best to improve our treatment plans for the disorder is the primary imperative in the clinical literature. Our failure to properly treat those suffering from PTSD up until now could be either the result of merely a problem in practice or, more seriously, a problem in principle. In this essay, I explore three possible accounts consistent with the supposition that what we have here is a problem in principle. (...) I call the first the “Somatic” hypothesis; the second, the “Memorial”; and the third, a “Rilkean” hypothesis of PTSD, which is inspired by the recent work of M. Rowlands. The first two have been more-or-less articulated previously; the third is introduced here for the first time. The primary argument of this essay is abductive: I argue in favor of a Rilkean Memory hypothesis of PTSD by comparing it to the other two accounts and showing that it possesses greater theoretical virtue than they do. I then conclude the essay by noting certain limitations with the account here sketched, nonetheless suggesting that this hypothesis can open up new avenues of clinical research and treatment options for the disorder. (shrink)

What makes a certain consideration an aesthetic reason rather than a reason of some other kind? Is it a solely a matter of the kind of attitude or activity that the reason supports? How fundamental or structural are such reasons? Do they contrast in a natural way with epistemic or practical reasons? Is skilled aesthetic achievement, whether interpretative or creative, a matter of recognizing the aesthetic reasons we have for a given response, and correctly according with such reasons? In this (...) paper, I offer a preliminary discussion of these topics. I argue that our account of aesthetic reasons should respect the fact that they play an important regulative role, over and above directly supporting aesthetic response. Such a role allows aesthetic reasons to moderate a wide range of practical and epistemic activities, but not by adding or substituting distinctively aesthetic ends or purposes for such activities. I then go on to argue against the view that skilled aesthetic achievement consists in correct recognition of and accord with aesthetic reasons, adapting a recent argument of Timothy Williamson’s. (shrink)

Is a human more conscious than an octopus? In the science of consciousness, it’s oftentimes assumed that some creatures (or mental states) are more conscious than others. But in recent years, a number of philosophers have argued that the notion of degrees of consciousness is conceptually confused. This paper (1) argues that the most prominent objections to degrees of consciousness are unsustainable, (2) examines the semantics of ‘more conscious than’ expressions, (3) develops an analysis of what it is for a (...) degreed property to count as degrees of consciousness, and (4) applies the analysis to various theories of consciousness. I argue that whether consciousness comes in degrees ultimately depends on which theory of consciousness turns out to be correct. But I also argue that most theories of consciousness entail that consciousness comes in degrees. (shrink)

Recent research (Latham, Miller and Norton, forthcoming) reveals that a majority of people represent actual time as dynamical. But do they, as suggested by McTaggart and Gödel, represent time as essentially dynamical? This paper distinguishes three interrelated questions. We ask (a) whether the folk representation of time is sensitive or insensitive: i.e., does what satisfies the folk representation of time in counterfactual worlds depend on what satisfies it actually—sensitive—or does is not depend on what satisfies it actually—insensitive, and (b) do (...) those who represent actual time as dynamical, represent time in all possible worlds as dynamical—what we call insensitive dynamism—or do they represent time in all possible worlds as dynamical only conditional on the actual world in fact being dynamical—what we call sensitive dynamism and (c) do dynamists and non-dynamists deploy two different representations of time, or deploy the same representation, but disagree about what actually satisfies that representation? We found no evidence that the folk representation of time is sensitive, or that the folk representation of time is essentially dynamical in either sense, though we did find evidence of a shared representation, on which dynamical features are sufficient, but not necessary, for time. (shrink)

This introduction to the topical collection, Folk Psychology: Pluralistic Approaches reviews the origins and basic theoretical tenets of the framework of pluralistic folk psychology. It places special emphasis on pluralism about the variety folk psychological strategies that underlie behavioral prediction and explanation beyond belief-desire attribution, and on the diverse range of social goals that folk psychological reasoning supports beyond prediction and explanation. Pluralism is not presented as a single theory or model of social cognition, but rather as a big-tent research (...) program encompassing both revisionary and more traditionally inspired approaches to folk psychology. After reviewing the origins of pluralistic folk psychology, the papers in the current issue are introduced. These papers fall into three thematic clusters: Folk-psychological strategies beyond propositional attitude attribution ; Enculturation and regulative folk psychology ; and Defenses of pluralism. (shrink)

Many theorists have found the notion of forgiveness to be paradoxical, for it is thought that only the blameworthy can be appropriately forgiven but that the blameworthy are appropriately blamed not forgiven. Some have appealed to the notion of repentance to resolve this tension. But others have objected that such a response is explanatorily inadequate in the sense that it merely stipulates and names a solution leaving the transformative power of repentance unexplained. Worse still, others have objected that such a (...) response cannot succeed because no amount of repentance can render the blameworthy not blameworthy. I argue that this latter objection is based on a mistaken assumption, the acknowledgement of which has the power to resolve the paradox in a way that meets the explanatory adequacy challenge, and, more generally, has significant implications with which any full theory of forgiveness must engage. (shrink)

This work was written for the Midlands Conference of Critical Thought which took place on 5–6th April 2024 at Nottingham Trent University. It was presented for a session on productivity, process, and the value of making, organised by the Vienna Contemporary Art Space. The work provides an overview of two of the presenter’s essays, Content and Operation and Instinct and Intelligence, to show how the process of philosophy can be the subject matter of philosophical works.

Empirical evidence suggests that a majority of people believe that time robustly passes, and that many also report that it seems to them, in experience, as though time robustly passes. Non-dynamists deny that time robustly passes, and many contemporary non-dynamists—deflationists—even deny that it seems to us as though time robustly passes. Non-dynamists, then, face the dual challenge of explaining why people have such beliefs and make such reports about their experiences. Several philosophers have suggested the stable-self explanation, according to which (...) what partly explains one or both of the explananda is that people believe themselves to have a stable persisting self which is imagined either as moving through time, or as being stationary, with time moving around it. This paper empirically investigates this explanation. We found, however, no evidential support for the stable-self explanation, leaving the non-dynamist but also, we will argue, the dynamist, with an extant explanatory challenge. (shrink)

Autoinhibition is a design principle realized in many molecular mechanisms in biology. After explicating the notion of a design principle and showing that autoinhibition is such a principle, we focus on how researchers discovered instances of autoinhibition, using research establishing the autoinhibition of the molecular motors kinesin and dynein as our case study. Research on kinesin and dynein began in the fashion described in accounts of mechanistic explanation but, once the mechanisms had been discovered, researchers discovered that they exhibited a (...) second phenomenon, autoinhibition. The discovery of autoinhibition not only reverses the pattern in terms of which philosophers have understood mechanism discovery but runs counter to the one phenomenon-one mechanism principle assumed to relate mechanisms and the phenomena they explain. The ubiquity of autoinhibition as a design principle, therefore, necessitates a philosophical understanding of mechanisms that recognizes how they can participate in more than one phenomenon. Since mechanisms with this design are released from autoinhibition only when they are acted on by control mechanisms, we advance a revised account of mechanisms that accommodates attribution of multiple phenomena to the same mechanism and distinguishes them from other processes that control them. (shrink)

Most elpistologists now agree that hope for a specific outcome involves more than just desire plus the presupposition that the outcome is possible. This paper argues that the additional element of hope is a disposition to focus on the desired outcome in a certain way. I first survey the debate about the nature of hope in the recent literature, offer objections to some important competing accounts, and describe and defend the view that hope involves a kind of focus or attention. (...) I then suggest that this account makes sense of the intuitive thought that there are moral and pragmatic norms on hope that go beyond the norms on desires and modal presuppositions. I conclude by considering some key questions. (shrink)

This paper develops a theory of analog representation. We first argue that the mark of the analog is to be found in the nature of a representational system’s interpretation function, rather than in its vehicles or contents alone. We then develop the rulebound structure theory of analog representation, according to which analog systems are those that use interpretive rules to map syntactic structural features onto semantic structural features. The theory involves three degree-theoretic measures that capture three independent ways in which (...) a system can be more or less analog. We explain how our theory improves upon prior accounts of analog representation, provides plausible diagnoses for novel challenge cases, extends to hybrid systems that are partially analog and partially symbolic, and accounts for some of the advantages and disadvantages of representing analogically versus symbolically. (shrink)

Let a smooth experience be an experience with perfectly gradual changes in phenomenal character. Consider, as examples, your visual experience of a blue sky or your auditory experience of a rising pitch. Do the phenomenal characters of smooth experiences have continuous or discrete structures? If we appeal merely to introspection, then it may seem that we should think that smooth experiences are continuous. This paper (1) uses formal tools to clarify what it means to say that an experience is continuous (...) or discrete, and (2) develops a discrete model of the phenomenal characters of smooth experiences. As a result, I'll argue that introspection leaves open whether smooth experiences are continuous or discrete. Yet I’ll also argue—perhaps surprisingly—that the discrete theory may better fit our introspective evidence. (shrink)

The assertion that an experiment by Afshar et al. demonstrates violation of Bohr’s Principle of Complementarity is based on the faulty assumption that which-way information in a double-slit interference experiment can be retroactively determined from a future measurement.

We investigated, experimentally, the contention that the folk view, or naïve theory, of time, amongst the population we investigated is dynamical. We found that amongst that population, ~ 70% have an extant theory of time that is more similar to a dynamical than a non-dynamical theory, and ~ 70% of those who deploy a naïve theory of time deploy a naïve theory that is more similar to a dynamical than a non-dynamical theory. Interestingly, while we found stable results across our (...) two experiments regarding the percentage of participants that have a dynamical or non-dynamical extant theory of time, we did not find such stability regarding which particular dynamical or non-dynamical theory of time they take to be most similar to our world. This suggests that there might be two extant theories in the population—a broadly dynamical one and a broadly non-dynamical one—but that those theories are sufficiently incomplete that participants do not stably choose the same dynamical theory as being most similar to our world. This suggests that while appeals to the ordinary view of time may do some work in the context of adjudicating disputes between dynamists and non-dynamists, they likely cannot do any such work adjudicating disputes between particular brands of dynamism. (shrink)

With the passage and implementation of the “first-to-file” provisions of the America Invents Act of 2011, the U.S. patent system must rely more than ever before on patent documents for its own ontological commitments concerning the existence of claimed kinds of useful objects and processes. This Article provides a comprehensive description of the previously unrecognized function of the patent document in incurring and securing warrants to these ontological commitments, and the respective roles of legal doctrines and practices in the patent (...) system’s ontological project. Among other contributions, the resulting metaphysical account serves to reconcile competing interpretations of the written description requirement that have emerged from the Federal Circuit’s recent jurisprudence, and to explain why the patent system is willing and able to examine, grant and enforce claims reciting theoretical entities. While this Article is entirely descriptive, it concludes by identifying promising normative and prescriptive implications of this work, including the formulation of an appropriate test for the patent-eligibility of software-implemented inventions in the post-Bilski era. (shrink)

Thought’s Pathway was published in the third Zeno Press anthology. Edited by Christian Patracchini, the subject of the anthology was the themes present in Elmmino Olmi’s A Tree of Wooden Clogs. The essay explores the relationship between thought and the natural environment, the places where Heidegger and Nietzsche chose to think, and the dual-meaning of the title in terms of the representational unity of the inner line of thinking and outer natural area.

Is consciousness intrinsically valuable? Some theorists favor the positive view, according to which consciousness itself accrues intrinsic value, independent of the particular kind of experience instantiated. In contrast, I favor the neutral view, according to which consciousness is neither intrinsically valuable nor disvaluable. The primary purpose of this paper is to clarify what is at stake when we ask whether consciousness is intrinsically valuable, to carve out the theoretical space, and to evaluate the question rigorously. Along the way, I also (...) show why the neutral view is attractive and why certain arguments for the positive view do not work. (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)

The view that folk psychology is primarily mindreading beliefs and desires has come under challenge in recent years. I have argued that we also understand others in terms of individual properties such as personality traits and generalizations from past behavior, and in terms of group properties such as stereotypes and social norms (Andrews 2012). Others have also argued that propositional attitude attribution isn’t necessary for predicting others’ behavior, because this can be done in terms of taking Dennett’s Intentional Stance (Zawidzki (...) 2013), appealing to social structures (Maibom 2007), shared norms (McGeer 2007) or via solution based heuristics for reaching equilibrium between social partners (Morton 2003). But it isn’t only prediction that can be done without thinking about what others think; we can explain and understand people in terms of their personality traits, habitual behaviors, and social practices as well. The decentering of propositional attitude attributions goes hand in hand with a move away from taking folk psychology to be primarily a predictive device. While experiments examining folk psychological abilities in children, infants, and other species still rest on asking subjects to predict behavior, theoretical investigations as to the evolutionary function of folk psychology have stressed the role of explanation (Andrews 2012) and regulative functions (McGeer 2007, Zawidzki 2013, Fenici 2011). In this paper I argue that an explanatory role for folk psychology is also a regulative role, and that language is not required for these regulative functions. I will start by drawing out the relationship between prediction, explanation, and regulation of behavior according to both mindreading approaches to folk psychology and the pluralistic account I defend. I will argue that social cognition does not take the form of causal reasoning so much as it does normative reasoning, and will introduce the folk psychological spiral. Then I will examine the cognitive resources necessary for participating in the folk psychological spiral, and I will argue that these cognitive resources can be had without language. There is preliminary evidence that some other species understand one another through a normative lens that, through looping effects, creates expectations that community members strive to live up to. (shrink)

While many aspects of cognition have been shown to be shared between humans and non-human animals, there remains controversy regarding whether the capacity to mentally time travel is a uniquely human one. In this paper, we argue that there are four ways of representing when some event happened: four kinds of temporal representation. Distinguishing these four kinds of temporal representation has five benefits. First, it puts us in a position to determine the particular benefits these distinct temporal representations afford an (...) organism. Second, it provides the conceptual resources to foster a discussion about which of these representations is necessary for an organism to count as having the capacity to mentally time travel. Third, it enables us to distinguish stricter from more liberal views of mental time travel that differ regarding which kind(s) of temporal representation is taken to be necessary for mental time travel. Fourth, it allows us to determine the benefits of taking a stricter or more liberal view of mental time travel. Finally, it ensures that disagreement about whether some species can mentally time travel is not merely the product of unrecognised disagreement about which temporal representation is necessary for mental time travel. We argue for a more liberal view, on the grounds that it allows us to view mental time travel as an evolutionarily continuous phenomenon, and to recognise that differences in the ways that organisms mentally time travel might reflect different temporal representations, or combinations thereof, that they employ. Our ultimate aim, however, is to create the conceptual framework for further discussion regarding what sorts of temporal representations are required for mental time travel. (shrink)

In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is not possible (...) to define intensional connectives from extensional notions. This conjecture is formulated precisely in higher-order logic, and concrete cases in which it fails are examined. The paper ends with a discussion of the logic of broad necessity. It is shown that the logic of broad necessity is a normal modal logic between S4 and Triv, and that it is consistent with a natural axiomatic system of higher-order logic that it is exactly S4. Some philosophical reasons to think that the logic of broad necessity does not include the S5 principle are given. (shrink)

This paper empirically investigates one aspect of the folk concept of time by testing how the presence or absence of directedness impacts judgements about whether there is time in a world. Experiment 1 found that dynamists, showed significantly higher levels of agreement that there is time in dynamically directed worlds than in non-dynamical non-directed worlds. Comparing our results to those we describe in Latham et al., we report that while ~ 70% of dynamists say there is time in B-theory worlds, (...) only ~ 45% say there is time in C-theory worlds. Thus, while the presence of directedness makes dynamists more inclined to say there is time in a world, a substantial subpopulation of dynamists judge that there is time in non-directed worlds. By contrast, a majority of non-dynamists judged that there was time in both growing block worlds and C-theory worlds, with no significant differences between the means. Experiment 2 found that when participants are only presented with non-dynamical worlds—namely, a directed world and a non-directed world—they report significantly higher levels of agreement that there is time in B-theory worlds. However, the majority of participants still judge that there is time in C-theory worlds. We conclude that while the presence of directedness bolsters judgements that there is time, most people do not judge it to be necessary for time. (shrink)

There is an old and powerful argument for the claim that divine foreknowledge is incompatible with the freedom to do otherwise. A recent response to this argument, sometimes called the “dependence response,” centers around the claim that God’s relevant past beliefs depend on the relevant agent’s current or future behavior in a certain way. This paper offers a new argument for the dependence response, one that revolves around different cases of time travel. Somewhat serendipitously, the argument also paves the way (...) for a new reply to a compelling objection to the dependence response, the challenge from prepunishment. But perhaps not so serendipitously, the argument also renders the dependence response incompatible with certain views of providence. (shrink)

Much has been written about the free energy principle (FEP), and much misunderstood. The principle has traditionally been put forth as a theory of brain function or biological self-organisation. Critiques of the framework have focused on its lack of empirical support and a failure to generate concrete, falsifiable predictions. I take both positive and negative evaluations of the FEP thus far to have been largely in error, and appeal to a robust literature on scientific modelling to rectify the situation. A (...) prominent account of scientific modelling distinguishes between model structure and model construal. I propose that the FEP be reserved to designate a model structure, to which philosophers and scientists add various construals, leading to a plethora of models based on the formal structure of the FEP. An entailment of this position is that demands placed on the FEP that it be falsifiable or that it conform to some degree of biological realism rest on a category error. To this end, I deliver first an account of the phenomenon of model transfer and the breakdown between model structure and model construal. In the second section, I offer an overview of the formal elements of the framework, tracing their history of model transfer and illustrating how the formalism comes apart from any interpretation thereof. Next, I evaluate existing comprehensive critical assessments of the FEP, and hypothesise as to potential sources of existing confusions in the literature. In the final section, I distinguish between what I hold to be the FEP—taken to be a modelling language or modelling framework—and what I term “FEP models.”. (shrink)