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.

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)

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 this paper, I argue that those relying solely on the transmissive model to explain necessity face a regress of necessity. I then argue that the regress of necessity is vicious due to explanatory failure because it fails to address the source question of necessity adequately. We have prima facie justification for this conclusion in the absence of positive arguments for necessity infinitism, which holds that an infinite chain of necessity could serve as the source of necessity. On (...) pain of vicious regress, we should accept necessity foundationalism, which posits the existence of foundational box-truths (truths of the form □p) whose necessity is not explained by the necessity of further box-truths. Necessity foundationalism is motivated by the regress of necessity in a similar manner to justification foundationalism, which is motivated by the regress of epistemic reason. (shrink)

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)

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 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.

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)

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.

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)

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)

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.

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)

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)

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 problem of infinite regress presents a profound challenge in epistemology and philosophy, questioning the possibility of achieving foundational knowledge amidst an endless chain of justifications. This paper introduces a set of four axioms designed to directly address and resolve the problem of infinite regress, ensuring theoretical rigor and applicability across diverse scenarios, including simulated or illusory realities. By focusing on Direct Address, Intellectual Rigor in All Realities, Avoiding Pragmatic Dismissals, and Theoretical Consistency, these axioms provide a structured (...) framework for evaluating philosophical theories aimed at overcoming this complex issue. The paper explores current theories that align with these axioms, evaluates popular theories that do not, and argues for the critical role of these axioms in guiding future philosophical inquiry and resolution of infinite regress. (shrink)

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)

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

[Winner of the 2017 AILACT Essay Prize Prize.] 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. (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)

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)

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)

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)

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)

It seems like a problem to say that love can be merited—its value is located in its transcendence of comparative judgments. However, we commonly make judgments about who is and is not worth loving. We deem certain romantic partners, friends, and family members as worth or not worth our loving time, attention, and effort. In this paper, I argue that love can be merited, and it is merited because of a person’s intrinsic valuable qualities. However, it is not the fact (...) that such qualities can be compared that is relevant. What is relevant is the fact that such qualities are gradable, and what it means for someone to merit love is that their qualities meet a threshold or standard of value for love. Moreover, love requires some amount of practical wisdom in discerning these thresholds and when someone meets or fails to meet them. This is important to recognize since we are creatures of finite love. We do not have the capacity to love everyone who is both worthy and unworthy of love. Given our finite capacities, I argue that making wise and discerning judgments about whom to love should be kept in mind when philosophizing about love. (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)

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 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.

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)

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)

I will explore the paradoxical nature of epistemic access. By critiquing the traditional conception of mental states that are labelled as ’knowledge’, I demonstrate the susceptibility of these states to an infinite regress, thus, challenging their existence and validity. I scrutinise the assumption that an epistemic agent can have complete epistemic access to all facts about a given object while simultaneously being ignorant of certain truths that impact the very knowledge claims about the object. I further analyse the implications (...) of this paradox when attempting to fine-grain the parameters of epistemic access, which happens to reveal the vacuity of such definitions and the inevitability of the regress. (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)

Bradley proposes a regress according to which, any theory that considers external objects as a unit composed of multiple components is flawed. Since most tropists consider the concrete object to be composed of coexisting tropes, Bradley's sregress embraces tropism as well. Maureen is of the opinion that Bradley's view about the existence of a relationship is incorrect and that a relationship is something that has an existential dependence on its surroundings, and based on this, he has resolved the problems (...) of Bradley's regress. However, based on an understanding of Allameh Tabataba'i's statements and analysis regarding the existence of a relationship, it is possible to criticize Maureen and consider the dependence between the relationship and its surroundings to be two-way. In addition, although Maurin's view solves the problem of Bradley's regress, it seems incompatible with the tropism. In this article, after a brief look at tropism, Bradley's regress is presented, and then this problem for tropism is explained. Next, Maureen's solution is proposed and after that, this solution is criticized and defended from the point of view of internal and mutual dependence between the relationship and its surroundings. (shrink)

Purpose. The article aims to provide practical recommendations for calculating natural frequencies in axisymmetric shells using finite element methods. It focuses on the need to develop a simplified model that can be used in any modern finite element software package. The study analyzes the impact of the simplified homogeneous model on the deviation and error of natural frequencies compared to real structures. Design / Method / Approach. The research is based on creating a simplified shell geometry by determining (...) parameters such as shell thickness and density. These parameters are derived under the condition of equivalence in the moment of inertia and mass of the cross-sectional element. These parameters can vary along the height of the shell. Findings. The natural frequencies of the experimental shell with complex geometry were calculated and compared with those of the simplified model. The deviations and errors in the calculated frequencies were determined. It was demonstrated that the simplified model allows the calculation of natural frequencies with a deviation of no more than 1% from the experimental model, while significantly reducing computation time and the required computer resources. Theoretical Implications. The research expands the understanding of challenges in calculating the natural frequencies of complex objects using finite element methods under limited computational resources. Practical Implications. Practical recommendations are provided for engineers and designers when performing modeling tasks in the mechanics of deformable solid bodies. Originality / Value. The article presents an original analysis of a real case where a simplified model was implemented to determine the natural harmonics of a liquid rocket engine nozzle, making it a valuable tool for studying complex structures. Research Limitations / Future Research. The study is limited to the analysis of determining the natural frequencies of axisymmetric shells and does not cover all possible geometric features. Future research may focus on developing simplified models based on the equivalence of stiffness and mass parameters. Article Type. Case study, practical article. (shrink)

The Problem of Epistemic Regress in Contemporary Epistemology and The Adequacy of Improved Solution Suggestions One of the main problems of epistemology; whether our beliefs about the world are correct or not, that is to say, it’s the problem of whether we have suitable reasons or not to think that we have the enough knowledge. The value of our beliefs and its epistemic justifiability are being examined through this problem. In this respect, Undoubtedly; one of the greatest problem of (...) contemporary epistemology is the problem of epistemic regress that is a problem of justification. On the other hand the solution suggestions developed for this problem, which is shown as a threat factor for the knowledge in point, don’t seem sufficient. In this article, the problem of epistemic regress which is emerging in the contemporary period will be discussed by examining the perspectives of tradition and contemporary epistemology. Four different and similar basic approaches that arise resulting from the problem of regress solution proposals brought by foundationalism, compatibilism, externalism and internalism will be analyzed. (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.

[Winner of the 2017 AILACT Essay Prize Prize.] 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. (shrink)

We model infinite regress structures -not arguments- by means of ungrounded recursively defined functions in order to show that no such structure can perform the task of providing determination to the items composing it, that is, that no determination process containing an infinite regress structure is successful.

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)

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)

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)

The philosophy of superdeterminism is based on a single scientific fact about the universe, namely that cause and effect in physics are not real. In 2020, accomplished Swedish theoretical physicist, Dr. Johan Hansson published a physics proof using Albert Einstein’s Theory of Special Relativity that our universe is superdeterministic meaning a predetermined static block universe without cause and effect in physics. In the absence of cause and effect in physics, there can be no actual energy in our universe but only (...) the illusion of energy. This is consistent with the zero energy universe theory, which says that the positive matter energy is exactly balanced by the negative gravitational energy, so that the total energy of the universe is zero. An infinite universe would have an infinite amount of positive matter energy exactly cancelling out an infinite amount of negative gravitational energy. However, mathematically infinity minus infinity is not equal to zero, but rather is undefined. Consequently, an infinite universe would be inconsistent with the perfect cancelling balance of positive matter energy and negative gravitational energy under the zero energy universe theory. As a result, only a finite universe is consistent with the zero energy universe theory and the philosophy of superdeterminism. (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.

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)

Feynman's sum-over-histories formulation of quantum mechanics has been considered a useful calculational tool in which virtual Feynman histories entering into a coherent quantum superposition cannot be individually measured. Here we show that sequential weak values, inferred by consecutive weak measurements of projectors, allow direct experimental probing of individual virtual Feynman histories, thereby revealing the exact nature of quantum interference of coherently superposed histories. Because the total sum of sequential weak values of multitime projection operators for a complete set of orthogonal (...) quantum histories is unity, complete sets of weak values could be interpreted in agreement with the standard quantum mechanical picture. We also elucidate the relationship between sequential weak values of quantum histories with different coarse graining in time and establish the incompatibility of weak values for nonorthogonal quantum histories in history Hilbert space. Bridging theory and experiment, the presented results may enhance our understanding of both weak values and quantum histories. (shrink)

The ethical philosophy of Emmanuel Levinas is typically associated with a punishing conception of responsibility rather than freedom. In this chapter, our aim is to explore Levinas’s often overlooked theory of freedom. Specifically, we compare Levinas’s account of freedom to the Kantian (and Fichtean) idea of freedom as autonomy and the Hegelian idea of freedom as relational. Based on these comparisons, we suggest that Levinas offers a distinctive conception of freedom—“finite freedom.” In contrast to Kantian autonomy, finite freedom (...) constitutively involves standing in certain social relations with others. And in contrast to Hegelian relational freedom, the social relations involved in finite freedom are not defined by mutual recognition, but by feelings of separation and even antagonism. Along the way, we promote a reading Levinas’s Totality and Infinity as a Hegel-style story of Bildung (development), and show how, on Levinas’s view, freedom can develop or mature in the life of the individual. (shrink)

A concise exposition of the development of the true infinite is found in Hegel's Encyclopedia Logic (EL92-95). It may be much easier to follow than the one given in the Science of Logic. The following paragraphs are from the Gerates, et al translation of that book, along with some parts of the "Additions" where I felt they were useful. At the end I give my interpretation of the development.

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)