This essay focuses on the intriguing relationship between mathematics and physical phenomena, arguing that the brain uses a single spatiotemporal- causal objective framework in order to characterize and manipulate basic external data and internal physical and emotional reactive information, into more complex thought and knowledge. It is proposed that multiple hierarchical permutations of this single format eventually give rise to increasingly precise visceral meaning. The main thesis overcomes the epistemological complexities of the Frame Problem by asserting that the primal frame (...) of reference – within which chaotic conscious thought ultimately emerges – is essentially a synchronous representation of the four macro properties of existence plus the genetically derived causal objective, and the embodied physical and emotional reactions that even the lowliest cognitive organisms are born with, and which they automatically express as they struggle to exist within an ever-changing and often hostile environment. -/-. (shrink)

Klein’s account of epistemic justification, infinitism, supplies a novel solution to the regress problem. We argue that concentrating on the normative aspect of justification exposes a number of unpalatable consequences for infinitism, all of which warrant rejecting the position. As an intermediary step, we develop a stronger version of the ‘finite minds’ objection.

The paper deals with the paradox that rationality demands rational substantiation which can’t be given in principle. Thus it is argued that only intuition can prevail against skepticism and subjectivism. But intuition is "transcendent" to rationality and therefore its acceptance as the substantiation of rationality implies existence of transcendental reality. In itself it has infinite regress qua infinite reiteration of reality levels without any qualitative ontological alteration, therefore only infinite transcendence is able to ground a finite immanence.

I here argue for a particular formulation of truth-deflationism, namely, the propositionally quantified formula, (Q) “For all p, <p> is true iff p”. The main argument consists of an enumeration of the other (five) possible formulations and criticisms thereof. Notably, Horwich’s Minimal Theory is found objectionable in that it cannot be accepted by finite beings. Other formulations err in not providing non-questionbegging, sufficiently direct derivations of the T-schema instances. I end by defending (Q) against various objections. In particular, I (...) argue that certain circularity charges rest on mistaken assumptions about logic that lead to Carroll’s regress. I show how the propositional quantifier can be seen as on a par with first-order quantifiers and so equally acceptable to use. While the proposed parallelism between these quantifiers is controversial in general, deflationists have special reasons to affirm it. I further argue that the main three types of approach the truth-paradoxes are open to an adherent of (Q), and that the derivation of general facts about truth can be explained on its basis. (shrink)

In Part I we developed a model, called system P, for constructing the physical universe. In the present paper (Part II) we explore the hypothesis that something exists prior to the physical universe; i.e. we suppose that there exists a sequence of projections (and levels) that is prior to the sequence that constructs the physical universe itself. To avoid an infinite regress, this prior sequence must be finite, meaning that the whole chain of creative projections must begin at (...) some primal level which is itself uncreated. So, from this primal level emanates a primal sequence of projections, which yields a first-created system; by definition, there is no creation prior to this first system. Proceeding from this basis, we use the template of our previous work in constructing entities in the physical universe to outline the construction of entities in this first-created system. Next, we seek an interpretation of this first system and its entities. Since our "primal level" is an uncreated state of being from which all creation springs, it draws obvious allusions to the concept of "God". So at this point the model bumps head-on into theology, and we are forced to ask: Is there some metaphysically- or theologically-related work that can help us to interpret this first-created system and its entities? Indeed, such a work, and consequent interpretations, will be put forth --- from which much more then follows. (shrink)

This paper responds to comments and criticisms by Stefan Brandt and Eva-Maria Jung, directed at the book "Know-how as Competence. A Rylean Responsibilist Account".

How should you decide what to do when you’re uncertain about basic normative principles? A natural suggestion is to follow some "second-order:" norm: e.g., obey the most probable norm or maximize expected choiceworthiness. But what if you’re uncertain about second-order norms too—must you then invoke some third-order norm? If so, any norm-guided response to normative uncertainty appears doomed to a vicious regress. This paper aims to rescue second-order norms from the threat of regress. I first elaborate and defend (...) the claim some philosophers have made that the regress problem forces us to accept normative externalism, the view that at least one norm is incumbent on all agents regardless of their normative beliefs. But, I then argue, we need not accept externalism about first-order norms, thus closing off any question of how agents should respond to normative uncertainty. Rather, we can head off the threat of regress by ascribing external force to a single second-order norm: the enkratic principle. (shrink)

This paper uses a schema for infinite regress arguments to provide a solution to the problem of the infinite regress of justification. The solution turns on the falsity of two claims: that a belief is justified only if some belief is a reason for it, and that the reason relation is transitive.

Discusses Frege's formal definitions and characterizations of infinite and finite sets. Speculates that Frege might have discovered the "oddity" in Dedekind's famous proof that all infinite sets are Dedekind infinite and, in doing so, stumbled across an axiom of countable choice.

This essay argues that the main lesson of Lewis Carroll's Regress is that arguments are constitutively presuppositional.

In this work we propose an encoding of Reiter’s Situation Calculus solution to the frame problem into the framework of a simple multimodal logic of actions. In particular we present the modal counterpart of the regression technique. This gives us a theorem proving method for a relevant fragment of our modal logic.

The paper aims to elucidate in better detail than before the dispute about whether or not dispositional monism—the view that all basic properties are pure powers—entails a vicious infinite regress. Particular focus is on Alexander Bird's and George Molnar's attempts to show that the arguments professing to demonstrate a vicious regress are inconclusive because they presuppose what they aim to prove, notably that powers are for their nature dependent on something else. I argue that Bird and Molnar are (...) mistaken. It is true that dispositional monism is popularly assumed to characterize powers as dependent entities, but this is not what the arguments aim to prove. They merely aim to demonstrate that it would be absurd to assume that all properties are dependent in this way. Finally, it is argued that there is an unresolved tension in Bird's and Molnar's accounts of powers. They characterize them as being for their nature dependent on the manifestations that they are for, and yet ontologically independent of those same manifestations. Until that tension is resolved, their accounts are not equipped to remove the threat of vicious regress. (shrink)

This paper provides a thorough analysis of two often informally stated claims. First, successful argumentation in the sense of persuasive argumentation requires agreement between the interlocutors about the rationality of arguments. Second, a general agreement about rationality of arguments cannot itself be established via argumentation, since such an attempt leads to an infinite meta‐regress. Hence, agreement about the rationality of arguments is a precondition for successful argumentation. As the paper argues, these plausible claims hold under the assumption that interlocutors (...) are subjectively rational and follow their own standards of rationality when engaging in argumentation. (shrink)

The Language of Thought Hypothesis is often taken to have the fatal flaw that it generates an explanatory regress. The language of thought is invoked to explain certain features of natural language (e.g., that it is learned, understood, and is meaningful), but, according to the regress argument, the language of thought itself has these same features and hence no explanatory progress has been made. We argue that such arguments rely on the tacit assumption that the entire motivation for (...) the language of thought consists in explaining the explanandum that allegedly generates the regress. But this tacit assumption is simply false. The Language of Thought Hypothesis is a cogent view and one with considerable explanatory advantages. (shrink)

This paper critically evaluates the regress argument for infinitism. The dialectic is essentially this. Peter Klein argues that only an infinitist can, without being dogmatic, enhance the credibility of a questioned non-evident proposition. In response, I demonstrate that a foundationalist can do this equally well. Furthermore, I explain how foundationalism can provide for infinite chains of justification. I conclude that the regress argument for infinitism should not convince us.

How should you decide what to do when you're uncertain about basic normative principles (e.g., Kantianism vs. utilitarianism)? A natural suggestion is to follow some "second-order" norm: e.g., "comply with the first-order norm you regard as most probable" or "maximize expected choiceworthiness". But what if you're uncertain about second-order norms too -- must you then invoke some third-order norm? If so, it seems that any norm-guided response to normative uncertainty is doomed to a vicious regress. In this paper, I (...) aim to rescue second-order norms from this threat of regress. I first elaborate and defend the suggestion some philosophers have entertained that the regress problem forces us to accept normative externalism, the view that at least one norm is incumbent on agents regardless of their beliefs or evidence concerning that norm. But, I then argue, we need not accept externalism about first-order (e.g., moral) norms, thus closing off any question of what an agent should do in light of her normative beliefs. Rather, it is more plausible to ascribe external force to a single, second-order rational norm: the enkratic principle, correctly formulated. This modest form of externalism, I argue, is both intrinsically well-motivated and sufficient to head off the threat of regress. (shrink)

Discusses Frege's formal definitions and characterizations of infinite and finite sets. Speculates that Frege might have discovered the "oddity" in Dedekind's famous proof that all infinite sets are Dedekind infinite and, in doing so, stumbled across an axiom of countable choice.

Learning mathematics through distance education can be challenging, with the “logical” and “rewarding” nature proving difficult to measure. This article aimed to articulate an argument explaining the “logical” and “rewarding” nature of online mathematics learning, elucidating their causal factors. Existing data from the literature that involving students at Visayas State University, Philippines, were utilized in this study. The study used statistical measures to capture descriptions from the data, and quantile regression analysis was employed to forecast the predictors of the logicality (...) and rewarding nature of learning mathematics at a distance. Results indicate that learning mathematics in the new normal is perceived as “logical” and moderately “rewarding”. The regression and correlation analyses revealed a significant positive association between the perceived “logical” nature and the rewarding experience of learning mathematics. The constructed statistical models depicted that the determinants of logicality in learning mathematics include family income, money spent on the internet, learning environment, household size, social status, and health. Moreover, causal factors such as family income, money spent on the internet, learning environment, leisure activities, social status, and health significantly determine the rewarding nature of learning mathematics online. Conclusively, institution must support college students with their online learning needs. Furthermore, mathematics instructors should create lively and exciting online discussions that boost their logical thinking. Providing problem-solving task that are intrinsically rewarding can contribute to a more fulfilling learning experience. (shrink)

Plausibly, no agent ever performs an action without some desire to perform that action. If so, a regress argument shows that, given incompatibilism, we are only rarely free. The argument sidesteps recent objections to this thesis.

Recent work by Peijnenburg, Atkinson, and Herzberg suggests that infinitists who accept a probabilistic construal of justification can overcome significant challenges to their position by attending to mathematical treatments of infinite probabilistic regresses. In this essay, it is argued that care must be taken when assessing the significance of these formal results. Though valuable lessons can be drawn from these mathematical exercises (many of which are not disputed here), the essay argues that it is entirely unclear that the form of (...) infinitism that results meets a basic requirement: namely, providing an account of infinite chains of propositions qua reasons made available to agents. (shrink)

Is there a successful regress argument against intellectualism? In this article I defend the negative answer. I begin by defending Stanley and Williamson's (2001) critique of the contemplation regress against Noë (2005). I then identify a new argument – the employment regress – that is designed to succeed where the contemplation regress fails, and which I take to be the most basic and plausible form of a regress argument against intellectualism. However, I argue that the (...) employment regress still fails. Drawing on the previous discussion, I criticise further regress arguments given by Hetherington (2006) and Noë (2005). (shrink)

This paper explains what an infinite regress argument is. Part 1 contains some examples of infinite regress arguments. Part 2 presents a schema for all such arguments an defines an infinite regress argument as one that approximates to the schema. Part 3 tests the schema on the examples. Part 4 contrasts my account of infinite regress arguments with that given by Passmore and shows that Passmore's theory succumbs to objections. Part 5 distinguishes an infinite regress (...) argument from an infinite regress and defines an infinite regress. Part 6 explains the dyslogistic force of 'infinite regress'. (shrink)

Students during the distance education were experiencing solitude and depression in their studies due to no social interaction which led to psychological suffering. In this article, college students' attitudes toward statistics learning were investigated, and its predictors by statistical modeling. Secondary data was extracted from a current study from the literature, summarized using descriptive statistics, and presented in tabular form. As for modeling the predictors of students' attitudes in learning statistics, it was done through multiple linear regression via the ordinary (...) least square (OLS) approach. The finding of statistical calculations revealed that, on average, students possess a "neutral attitude" towards learning statistics online. This suggests that students do not show active involvement and positive engagement in the classroom environment due to some challenges they have encountered during online learning. The regression model I revealed that students who are using mobile phones, fewer study hours in statistics, and intimate relationships with teachers are the significant factors of positive attitude in learning. On the other hand, regression model II showed that low internet signal and low mental health are significant determinants of positive behavior in learning statistics online. Conclusively, students who have suitable gadgets for online learning and with good vibes with their teachers have good performance in class even if they study less, however, effective. Moreover, students with less distraction on social media and with mental stress, tend to deviate their attention in studying their lessons in statistics which positively increases their learning attitude and well-being. (shrink)

Regress arguments have convinced many that reasoning cannot require beliefs about what follows from what. In this paper I argue that this is a mistake. Regress arguments rest on dubious (although deeply entrenched) assumptions about the nature of reasoning — most prominently, the assumption that believing p by reasoning is simply a matter of having a belief in p with the right causal ancestry. I propose an alternative account, according to which beliefs about what follows from what play (...) a constitutive role in reasoning. (shrink)

Propositional logics in general, considered as a set of sentences, can be undecidable even if they have “nice” representations, e.g., are given by a calculus. Even decidable propositional logics can be computationally complex (e.g., already intuitionistic logic is PSPACE-complete). On the other hand, finite-valued logics are computationally relatively simple—at worst NP. Moreover, finite-valued semantics are simple, and general methods for theorem proving exist. This raises the question to what extent and under what circumstances propositional logics represented in various (...) ways can be approximated by finite-valued logics. It is shown that the minimal m-valued logic for which a given calculus is strongly sound can be calculated. It is also investigated under which conditions propositional logics can be characterized as the intersection of (effectively given) sequences of finite-valued logics. (shrink)

Talk at University of Turin, 'Kant, oltre Kant, May 5th 2023. --- -/- It is useful, while keeping in mind a holistic approach, to concentrate on a common theme in Kant’s text, which it will turn out is the quintessential element of his novel ‘way of thinking’, as he himself put it in preface of the second edition of the Critique of Pure Reason. This common theme is the idea of synthesis, which is what holds together, and is the entryway (...) to, all the other familiar aspects of Kant’s thought: his concept of self-consciousness or how mind is involved in cognition, his ideas about the role of the imagination, his theory of knowledge and his metaphysics of experience, and not unimportantly, its relation to what is probably the most Kantian element here: the categories of the understanding as the first principles of knowledge. But the meaning of synthesis and its role in its various facets, though frequently the subject of discussion in papers and monographs alike, is hardly understood in contemporary Kant scholarship. Most readings of the text of the Deduction, the part in which Kant elucidates his concept of synthesis, exhibit a shallow, mechanical understanding of it. -/- A compounding factor is that synthesis can’t really be understood independently of the other aforementioned elements of Kant’s thought. Grasping the meaning of synthesis implies coming to grips with his concept of self-consciousness and the way both self-consciousness and the categories are intricately and intimately involved. Most interpretations consider these aspects too much as if they were indeed separable faculties or entities that serve separable functions, undercutting an important feature of Kant’s metaphysics: the possibility of a priori unified cognition, for which an indivisible self-legislating subject is responsible. Rather, they are expressions of various aspects of a singular function of the mind as the ground of possible unified knowledge. -/- One striking example of such a superficial reading of the text is the way the relation between figurative synthesis and intellectual synthesis—or in the case of the A-Deduction the threefold synthesis—is standardly interpreted, as if the two are independent or quasi-independent functions of different faculties of the mind, the imagination and the understanding. In this paper, I focus on the relation between figurative and intellectual synthesis, while arguing that failing to understand this properly, indeed the relation between the imagination and the understanding, leads to a vicious regress in the explanation of the ground of knowledge, for which a priori synthesis is specifically designed. In other words, failing to see the intimate relation between the imagination and the understanding, the very identity that lies at their root, risks losing sight of the primary aim of Kant’s thought: the possibility of a priori unified knowledge. (shrink)

A general class of labeled sequent calculi is investigated, and necessary and sufficient conditions are given for when such a calculus is sound and complete for a finite -valued logic if the labels are interpreted as sets of truth values. Furthermore, it is shown that any finite -valued logic can be given an axiomatization by such a labeled calculus using arbitrary "systems of signs," i.e., of sets of truth values, as labels. The number of labels needed is logarithmic (...) in the number of truth values, and it is shown that this bound is tight. (shrink)

Rondo Keele makes a foray into what he calls 'applied logic', investigating a complex argument strategy employed against Ockham by his greatest contemporary opponent, Walter Chatton. Chatton conceives a two-part strategy which attempts to force a kind of iteration of conceptual analysis, together with an infinite explanatory regress, in order to establish that one particular philosophical analysis is ultimately dependent on another. Chatton uses this strategy against Ockham in order to show that the latter's reductionist metaphysics depends ultimately upon (...) a deeper level of realist assumptions that he can neither evade nor explain away. Keele then shows how, earlier in his career, Chatton found himself on the receiving end of this same strategy, defending his own highly original solution to the problem of future contingents from the very iteration-regress attack he would subsequently use on Ockham. Keele concludes with an examination of Chatton's attempts to avoid the consequences of his own strategy, and draws some connections between this argument strategy and modal collapse in modern logics. (shrink)

Simple regression (regression analysis with a single explanatory variable), and multiple regression (regression models with multiple explanatory variables), typically correspond to very different biological questions. The former use regression lines to describe univariate associations. The latter describe the partial, or direct, effects of multiple variables, conditioned on one another. We suspect that the superficial similarity of simple and multiple regression leads to confusion in their interpretation. A clear understanding of these methods is essential, as they underlie a large range of (...) procedures in common use in biology. Beyond simple and multiple regression in their most basic forms, understanding the key principles of these procedures is critical to understanding, and properly applying, many methods, such as mixed models, generalised models, and causal inference using graphs (including path analysis and its extensions). A simple, but careful, look at the distinction between these two analyses is valuable in its own right, and can also be used to clarify widely-held misconceptions about collinearity (correlations among explanatory variables). There is no general sense in which collinearity is a problem. We suspect that the perception of collinearity as a hindrance to analysis stems from misconceptions about interpretation of multiple regression models, and so we pursue discussions about these misconceptions in this light. In particular, collinearity causes multiple regression coefficients to be less precisely estimated than corresponding simple regression coefficients. This should not be interpreted as a problem, as it is perfectly natural that direct effects should be harder to characterise than univariate associations. Purported solutions to the perceived problems of collinearity are detrimental to most biological analyses. (shrink)

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued (...) first order logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

A debunking argument contends that some target moral judgments were produced by unreliable processes and concludes that such judgments are unjustified. Debunking arguments face a regress challenge: to show that a process is unreliable at tracking the moral truth, we need to rely on other moral judgments. But we must show that these relied-upon judgments are also reliable, which requires yet a further set of judgments, whose reliability needs to be confirmed too, and so on. Some argue that the (...) debunker faces an insurmountable regress, which disables the debunking conclusion. In this paper, I explore and defuse this regress challenge. (shrink)

William James advocated a form of finite theism, motivated by epistemological and moral concerns with scholastic theism and pantheism. In this article, I elaborate James’s case for finite theism and his strategy for dealing with these concerns, which I dub the problems of suffering. I contend that James is at the very least implicitly aware that the problem of suffering is not so much one generic problem but a family of related problems. I argue that one of James’s (...) great contributions to philosophical theism is his advocacy for the view that adequate theistic philosophizing is not so much about cracking this family of problems, but finding a version of the problem to embrace. (shrink)

This paper presents a uniform general account of regress problems in the form of a pentalemma—i.e., a set of five mutually inconsistent claims. Specific regress problems can be analyzed as instances of such a general schema, and this Regress Pentalemma Schema can be employed to generate deductively valid arguments from the truth of a subset of four claims to the falsity of the fifth. Thus, a uniform account of the nature of regress problems allows for an (...) improved understanding of specific regress objections or arguments, and, correspondingly, of the general logical geography of the debate about infinite regresses. This uniform approach is illustrated by a treatment of the classical epistemological problem of justification, but it encompasses a whole variety of cases including explanation and ontological grounding. Furthermore, this general account is compared and contrasted with the existing literature discussing argument schemata for regress objections, particularly with the work of Jan Willem Wieland. It is shown how such other schemata can be incorporated and superseded by the general Regress Pentalemma Schema. (shrink)

I argue against the skeptical epistemological view exemplified by the Groarkes that “all theories of informal argument must face the regress problem.” It is true that in our theoretical representations of reasoning, infinite regresses of self-justification regularly and inadvertently arise with respect to each of the RSA criteria for argument cogency (the premises are to be relevant, sufficient, and acceptable). But they arise needlessly, by confusing an RSA criterion with argument content, usually premise material.

Van Fraassen's Judy Benjamin problem asks how one ought to update one's credence in A upon receiving evidence of the sort ``A may or may not obtain, but B is k times likelier than C'', where {A,B,C} is a partition. Van Fraassen's solution, in the limiting case of increasing k, recommends a posterior converging to the probability of A conditional on A union B, where P is one's prior probability function. Grove and Halpern, and more recently Douven and Romeijn, have (...) argued that one ought to leave credence in A unchanged, i.e. fixed at P(A). We argue that while the former approach is superior, it brings about a Reflection violation due in part to neglect of a ``regression to the mean'' phenomenon, whereby when C is eliminated by random evidence that leaves A and B alive, the ratio P(A):P(B) ought to drift in the direction of 1:1. (shrink)

A central debate in philosophy of action concerns whether agential knowledge, the knowledge agents characteristically have of their own actions, is inferential. While inferentialists like Sarah Paul hold that it is inferential, others like Lucy O’Brien and Kieran Setiya argue that it is not. In this paper, I offer a novel argument for the view that agential knowledge is non-inferential, by posing a dilemma for inferentialists: on the first horn, inferentialism is committed to holding that agents have only alienated knowledge (...) of their own actions; on the second horn, inferentialism is caught in a vicious regress. Neither option is attractive, so inferentialism should be rejected. (shrink)

This Open Access book addresses the age-old problem of infinite regresses in epistemology. How can we ever come to know something if knowing requires having good reasons, and reasons can only be good if they are backed by good reasons in turn? The problem has puzzled philosophers ever since antiquity, giving rise to what is often called Agrippa's Trilemma. The current volume approaches the old problem in a provocative and thoroughly contemporary way. Taking seriously the idea that good reasons are (...) typically probabilistic in character, it develops and defends a new solution that challenges venerable philosophical intuitions and explains why they were mistakenly held. Key to the new solution is the phenomenon of fading foundations, according to which distant reasons are less important than those that are nearby. The phenomenon takes the sting out of Agrippa's Trilemma; moreover, since the theory that describes it is general and abstract, it is readily applicable outside epistemology, notably to debates on infinite regresses in metaphysics. (shrink)

This chapter has two goals: to motivate the foundationalist solution to the regress problem and to defend it against arguments from Sellars, BonJour and Klein. Both the motivation and the defence of foundationalism raise larger questions about the relationship between foundationalism and access internalism. I argue that foundationalism is not in conflict with access internalism, despite influential arguments to the contrary, and that access internalism in fact supplies a theoretical motivation for foundationalism. I conclude that foundationalism and access internalism (...) form a coherent and well-motivated package. (shrink)

Taylor has recently argued that adopting either the standard Kimian or Davidsonian approaches to the metaphysics of events quite directly solves the regress of pure powers. I argue, though, that on closer inspection Taylor’s proposal does not succeed, given either the Kimian or the Davidsonian account of events.

The neutrosophic automorphisms of a neutrosophic groups G (I) , denoted by Aut(G (I)) is a neu-trosophic group under the usual mapping composition. It is a permutation of G (I) which is also a neutrosophic homomorphism. Moreover, suppose that X1 = X(G (I)) is the neutrosophic group of inner neutrosophic auto-morphisms of a neutrosophic group G (I) and Xn the neutrosophic group of inner neutrosophic automorphisms of Xn-1. In this paper, we show that if any neutrosophic group of the sequence (...) G (I), X1, X2, … is the identity, then G (I) is nilpotent. (shrink)

Most of the historically salient versions of the Cosmological Argument rest on two assumptions. The first assumption is that some contingeney (i.e., contingent fact) is such that a necessity is required to explain it. Against that assumption we will argue that necessities alone cannot explain any contingency and, furthermore, that it is impossible to explain the totality of contingencies at all.The second assumption is the Principle of Sufficient Reason. Against the Principle of Sufficient Reason we will argue that it is (...) unreasonable to require, as the Principle of Sufficient Reason does, that any given whole of contingent facts has an explanation. Instead, it depends on the results of empirical investigation whether or not one should ask for an explanation of the given whole.We argue that if a cosmological argument invokes either of the two assumptions, then it fails to prove that a necessity is needed to explain the universe of contingent facts. (shrink)

I raise three puzzles concerning self-deception: (i) a conceptual paradox, (ii) a dilemma about how to understand human cognitive evolution, and (iii) a tension between the fact of self-deception and Davidson’s interpretive view. I advance solutions to the first two and lay a groundwork for addressing the third. The capacity for self-deception, I argue, is a spandrel, in Gould’s and Lewontin’s sense, of other mental traits, i.e., a structural byproduct. The irony is that the mental traits of which self-deception is (...) a spandrel/byproduct are themselves rational. (shrink)

This paper aims to investigate Allan Gibbard’s norm-expressivist account of normativity. In particular, the aim is to see whether Gibbard’s theory is able to account for the normativity of reason-claims. For this purpose, I first describe how I come to targeting Gibbard’s theory by setting out the main tenets of quasi-realism cum expressivism. After this, I provide a detailed interpretation of the relevant parts of Gibbard’s theory. I argue that the best reading of his account is the one that takes (...) normativity to be carried by a controlled, coherent, comprehensive set of norms. Finally, I present a potential obstacle to Gibbard’s approach: the regress problem. The idea is to examine the structure of the non-cognitive state expressed and find it inadequate due to the possibility of an infinite regress in the justification of the norms whose acceptance it contains. I then end the paper with some concluding remarks. (shrink)

There is a long-standing debate in epistemology on the structure of justification. Some recent work in formal epistemology promises to shed some new light on that debate. I have in mind here some recent work by David Atkinson and Jeanne Peijnenburg, hereafter “A&P”, on infinite regresses of probabilistic support. A&P show that there are probability distributions defined over an infinite set of propositions {\ such that \ is probabilistically supported by \ for all i and \ has a high probability. (...) Let this result be “APR”. A&P oftentimes write as though they believe that APR runs counter to foundationalism. This makes sense, since there is some prima facie plausibility in the idea that APR runs counter to foundationalism, and since some prominent foundationalists argue for theses inconsistent with APR. I argue, though, that in fact APR does not run counter to foundationalism. I further argue that there is a place in foundationalism for infinite regresses of probabilistic support. (shrink)

This paper focuses on order-preserving logics defined from varieties of distributive lattices with negation, and in particular on the problem of whether these can be axiomatized by means Hilbert-style calculi that are finite. On the negative side, we provide a syntactic condition on the equational presentation of a variety that entails failure of finite axiomatizability for the corresponding logic. An application of this result is that the logic of all distributive lattices with negation is not finitely axiomatizable; we (...) likewise establish that the order-preserving logic of the variety of all Ockham algebras is also not finitely axiomatizable. On the positive side, we show that an arbitrary subvariety of semi-De Morgan algebras is axiomatized by a finite number of equations if and only if the corresponding order-preserving logic is axiomatized by a finite Hilbert-style calculus. This equivalence also holds for every subvariety of a Berman variety of Ockham algebras. We obtain, as a corollary, a new proof that the implication-free fragment of intuitionistic logic is finitely axiomatizable, as well as a new corresponding Hilbert-style calculus. Our proofs are constructive in that they allow us to effectively convert an equational presentation of a variety of algebras into a Hilbert-style calculus for the corresponding order-preserving logic, and vice versa. We also consider the assertional logics associated to the above-mentioned varieties, showing in particular that the assertional logics of finitely axiomatizable subvarieties of semi-De Morgan algebras are finitely axiomatizable as well. (shrink)

In this discussion note, I aim to reconstruct and assess Korsgaard's recent attempt to extend her regress argument. I begin, in section 1, with a brief recapitulation of the regress argument. Then, in section 2, I turn to the extension. I argue that the extension does not work because Korsgaard cannot rule out the possibility--a possibility for which there is both empirical evidence and argumentative pressure coming directly from the original regress--that we value animality in ourselves qua (...) animality of rational beings. (shrink)

This essay examines some of the ways in which the assumption of the essential finitude of the human mind, in contrast to the infinitude of God’s mind, bears on Leibniz’s and Kant’s accounts of our representational capacities. This examination reveals several underappreciated similarities between their views, but also some notable differences that help us pinpoint where and in what ways Kant departs from his celebrated predecessor. The fruits of this examination are a better understanding of Kant’s conception of the discursivity (...) of our understanding, his account of the difference between concepts and intuitions, and the particular flavor of his idealism. -/- . (shrink)

I show that in our theoretical representations of argument, vicious infinite regresses of self-reference may arise with respect to each of the three usual, informal criteria of argument cogency: the premises are to be relevant, sufficient, and acceptable. They arise needlessly, by confusing a cogency criterion with argument content. The three types of regress all are structurally similar to Lewis Carroll’s famous regress, which involves quantitative extravagance with no explanatory power. Most attention is devoted to the sufficiency criterion, (...) including its relation to the view au courant that inferring necessarily involves the thinker taking her premises to support her conclusion. I contend that this view is mistaken and likewise that arguments make no such assumption or inference claim as that the premises support the conclusion. The core of the positive alternative model I propose is that there is commitment to, but not claiming, the proposition that the premises support the conclusion. (shrink)