The Turing machine halting problem can be explained by several factors, including arithmetic logic irreversibility and memory erasure, which contribute to computational uncertainty due to information loss during computation. Essentially, this means that an algorithm can only preserve information about an input, rather than generate new information. This uncertainty arises from characteristics such as arithmetic logical irreversibility, Landauer's principle, and memory erasure, which ultimately lead to a loss of information and an increase in entropy. To measure this uncertainty and loss (...) of information, the concept of arithmetic logical entropy can be used. The Turing machine and its equivalent, general recursive functions can be understood through the λ calculus and the Turing/Church thesis. However, there are certain recursive functions that cannot be fully understood or predicted by other algorithms due to the loss of information during logical-arithmetic operations. In other words, the behaviour of these functions cannot be completely determined at every stage of the computation due to a lack of information in their definition. While there are some cases where the behaviour of recursive functions is highly predictable, the lack of information in most cases makes it impossible for algorithms to determine if a program will halt or not. This inability to predict the outcome of the computation is the essence of the halting problem of the Turing machine. Even in cases where more information is available about the program, it is still difficult to determine with certainty if the program will halt or not. This also highlights the importance of the Turing oracle machine, which introduces information from outside the computation to compensate for the lack of information and ultimately decide the result of the computation. (shrink)

Complexity is a relatively new field of study that is still heavily influenced by philosophy. However, with the advent of modern computing, it has become easier to conduct thorough investigations of complex systems using computational simulations. Despite significant progress, there remain certain characteristics of complex systems that are difficult to comprehend. To better understand these features, information can be applied using simple models of complex systems. The concepts of Shannon's information theory, Kolgomorov complexity, and logical depth are helpful in this (...) regard. Computational mathematical models based on recursive processes, recursive functions, and information in functions offer new insights into complexity by exploring its connection with irreversibility and the loss of information. Through these models, it is possible to see complexity as a transformation of input information through algorithmic computation, with time, logical depth, and information loss serving as key factors in understanding the process. (shrink)

Philosophical orthodoxy has it that intentional action consists in one’s intention appropriately causing a motion of one’s body, placing the latter as (conceptually and/or metaphysically) prior to the former. Here I argue that this standard schema should be reversed: acting intentionally is at least conceptually prior to intending. The argument is modelled on a Williamsonian argument for the priority of knowledge developed by Jenifer Nagel. She argues that children acquire the concept KNOWS before they acquire BELIEVES, building on this alleged (...) developmental priority of knowledge to establish its conceptual priority. I start by taking a closer look at Nagel’s argument, canvassing extant objections to do both with the empirical adequacy of her claims and their philosophical implications. Doing so allows me in the second part of the paper to draw lessons that inform the construction of a revamped parallel argument for the priority of ACTS INTENTIONALLY. (shrink)

This paper aims to make progress in understanding the nature of reasoning. Its primary goal is to spell out and defend a novel account of what reasoning might be, in terms of how reasoning contributes to settling (practical and theoretical) inquiries. Prior to spelling out this constructive proposal, however, the paper problematizes a very common picture of reasoning in an attempt to demonstrate the need for an alternative approach. The overarching argument of the paper is comprised of three stages. The (...) first attacks the predominant conception of reasoning for its specious restriction to fully conscious and explicit episodes. The second stage offers a replacement for this faulty conception, according to which a reasoning agent is one who may be represented as if she were undergoing a fully conscious and explicit process. Finally, the last stage proposes one way to fill in the above schema, articulating and defending conditions for representing agents as reasoning fully consciously and explicitly. Each of the above stages is independent of the others: One may accept that reasoning need not be conscious and explicit but reject the schema proposed as a replacement; and again, the schema may be accepted but not the particular proposal for filling it in. (shrink)

The nature of attention has been the topic of a lively research programme in psychology for over a century. But there is widespread agreement that none of the theories on offer manage to fully capture the nature of attention. Recently, philosophers have become interested in the debate again after a prolonged period of neglect. This paper contributes to the project of explaining the nature of attention. It starts off by critically examining Christopher Mole’s prominent “adverbial” account of attention, which traces (...) the failure of extant psychological theories to their assumption that attending is a kind of process. It then defends an alternative, process-based view of the metaphysics of attention, on which attention is understood as an activity and not, as psychologists seem to implicitly assume, an accomplishment. The entrenched distinction between accomplishments and activities is shown to shed new light on the metaphysics of attention. It also provides a novel diagnosis of the empirical state of play. (shrink)

Rationality requires that our mental attitudes exhibit specific patterns of coherence. Do we have reason to comply? 'Prichardian Quietists' regard this question as fundamentally confused: the only reasons to comply with rational requirements are the ones given by the requirements themselves. In this paper, I argue that PQ fails. I proceed by granting that Prichard's own position, from which PQ draws inspiration, is defensible, while identifying three serious problems with the parallel position about rationality. First, as I argue, PQ is (...) not plausibly combined with either the narrow-scope or the wide-scope formulations of rational requirements. Second, PQ implies that the reasons to comply with rational requirements are reasons of the wrong kind. And finally, PQ lacks a crucial component of its explanation, viz. a plausible theory of what constitutes being rationally required to V. (shrink)

Mind wandering has been a target of a fast-expanding area of research in cognitive science and philosophy. One of the central puzzles that researchers have been grappling with is whether this mental process should be thought of as passive or active in nature. Intuitively, a wandering mind seems passive but mounting empirical evidence suggests otherwise. Irving (2021) defends a prominent account of mind wandering as unguided attention, which aims inter alia to resolve the puzzle. However, I present counterexamples that reveal (...) Irving’s account to be both too weak and too strong. I then develop the alternative proposal that (stated roughly) mind wandering consists in voluntarily passive attention. After unpacking and defending this idea, I show how it helps to eliminate the conflicting appearance of mind wandering as both passive and active. (shrink)

The paper proposes a novel solution to the problem of the time of a killing (ToK), which persistently besets theories of act-individuation. The solution proposed claims to expose a crucial wrong-headed assumption in the debate, according to which ToK is essentially a problem of locating some event that corresponds to the killing. The alternative proposal put forward here turns on recognizing a separate category of dynamic occurents, viz. processes. The paper does not aim to mount a comprehensive defense of process (...) ontology, relying instead on extant defenses. The primary aim is rather to put process ontology to work in diagnosing the current state of play over ToK, and indeed in solving it. (shrink)

There has been a resurgence of interest lately within philosophy of mind and action in the category of mental action. Against this background, the present paper aims to question the very possibility, or at least the theoretical significance, of teasing apart mental and bodily acts. After raising some doubts over the viability of various possible ways of drawing the mental act/bodily act distinction, the paper draws some lessons from debates over embodied cognition, which arguably further undermine the credibility of the (...) distinction. The insignificance of the distinction is demonstrated in part by showing how the focus on ‘inner’ acts hampers fruitful discussion of Galen Strawson’s skepticism of mental agency. Finally, the possibility is discussed that a distinction between covert and overt action should supplant the one between mental and bodily action. (shrink)

The overwhelmingly predominant view in philosophy sees intending as a mental state, specifically a plan-like state. This paper rejects the predominant view in favor of a starkly opposed novel alternative. After criticizing both the predominant Bratman-esque view of intention, and an alternative view inspired by Michael Thompson, the paper proceeds to set out and defend the idea that acting with an intention to V should be understood disjunctively, as either one’s V-ing intentionally or one’s performing some kind of failed intentional (...) V-ing, where the two disjuncts share no common state of intention. Instructive structural parallels to perceptual disjunctivism are pointed out, and the view is shown, unlike its rivals, to successfully extend to capture both prospective and present intention, thereby unifying the three different guises of intention. (shrink)

Intention Cognitivism – the doctrine that intending to V entails, or even consists in, believing that one will V – is an important position with potentially wide-ranging implications, such as a revisionary understanding of practical reason, and a vindicating explanation of 'Practical Knowledge'. In this paper, I critically examine the standard arguments adduced in support of IC, including arguments from the parity of expression of intention and belief; from the ability to plan around one's intention; and from the explanation provided (...) by the thesis for our knowledge of our intentional acts. I conclude that none of these arguments are compelling, and therefore that no good reason has been given to accept IC. (shrink)

I describe a new problem for metaethical constructivism. The problem arises when agents make conflicting judgments, so that the constructivist is implausibly committed to denying they have any reason for any of the available options. The problem is illustrated primarily with reference to Sharon Street’s version of constructivism. Several possible solutions to the problem are explained and rejected.

Evolutionary debunking arguments appeal to selective etiologies of human morality in an attempt to undermine moral realism. But is morality actually the product of evolution by natural selection? Although debunking arguments have attracted considerable attention in recent years, little of it has been devoted to whether the underlying evolutionary assumptions are credible. In this paper, we take a closer look at the evolutionary hypotheses put forward by two leading debunkers, namely Sharon Street and Richard Joyce. We raise a battery of (...) considerations, both empirical and theoretical, that combine to cast doubt on the plausibility of both hypotheses. We also suggest that it is unlikely that there is in the vicinity a plausible alternative hypothesis suitable for the debunker’s cause. (shrink)

Evolutionary debunking arguments (EDAs) have attracted extensive attention in meta-ethics, as they pose an important challenge to moral realism. Mogensen (2015) suggests that EDAs contain a fallacy, by confusing two distinct forms of biological explanation – ultimate and proximate. If correct, the point is of considerable importance: evolutionary genealogies of human morality are simply irrelevant for debunking. But we argue that the actual situation is subtler: while ultimate claims do not strictly entail proximate ones, there are important evidential connections between (...) the two. Attending to these connections clears ground for a new and improved EDA. However, it also brings into view some possible problems with EDAs that have been largely neglected so far. (shrink)