This essay presents deductive arguments to an introductory-level audience via a discussion of Aristotle's three types of rhetoric, the goals of and differences between deductive and non-deductive arguments, and the major features of deductive arguments (e.g., validity and soundness).

Juhani Yli-Vakkuri has argued that the Twin Earth thought experiments offered in favour of semantic externalism can be replaced by a straightforward deductive argument from premisses widely accepted by both internalists and externalists alike. The deductive argument depends, however, on premisses that, on standard formulations of internalism, cannot be satisfied by a single belief simultaneously. It does not therefore, constitute a proof of externalism. The aim of this article is to explain why.

The traditional No-Miracles Argument (TNMA) asserts that the novel predictive success of science would be a miracle, and thus too implausible to believe, if successful theories were not at least approximately true. The TNMA has come under fire in multiple ways, challenging each of its premises and its general argumentative structure. While the TNMA relies on explaining novel predictive success via the truth of the theories, we put forth a deductive version of the No-Miracles argument (DNMA) that (...) avoids inference to the best explanation entirely. Instead, a relatively simple empirical framework and a probabilistic analysis can accomplish the ambitious goals of the TNMA while entirely sidestepping its problems. This close-but-distinct argument has many independent strengths and comparatively few weaknesses. Indeed, objections tailored specifically to the DNMA reveal surprising insights into how exactly NMAs are neither circular nor question-begging, as has been widely speculated. (shrink)

One of the principle aims of the B version of Kant’s transcendental deduction is to show how it is possible that the same “I think” can accompany all of my representations, which is a transcendental condition of the possibility of judgment. Contra interpreters such as A. Brook, I show that this “I think” is an a priori (reflected) self-consciousness; contra P. Keller, I show that this a priori self-consciousness is first and foremost a consciousness of one’s personal identity from a (...) first person point of view. (shrink)

Looking at every sense this article proves through deduction; that your mind needs a source to dream. Dreams are old experienced essences of platonic forms. You can only experience new forms essences when you are awake because of initial experiences. If dreams are old, experienced essences (what this article proves) therefore you know you are awake when you initially sense new experienced essences.

According to informal logic, the possibilities of deductive logic as a tool for analysing and evaluating ordinary arguments are very limited. While I agree with this claim in general, I question it in the case of the argument from cause to effect. In this paper I first show, on the basis of carefully chosen examples, that we usually react differently to falsification of the conclusion of the argument from cause to effect than we do to the falsification (...) of the conclusion of other defeasible arguments. I then identify general conditions and assumptions under which the causal argument from cause to effect can be reconstructed as deductive. Finally, I compare the causal argument with the expert argument, which is a typical example of a defeasible argument in the narrower sense. (shrink)

The article develops and justifies, on the basis of the epistemological argumentation theory, two central pieces of the theory of evaluative argumentation interpretation: 1. criteria for recognizing argument types and 2. rules for adding reasons to create ideal arguments. Ad 1: The criteria for identifying argument types are a selection of essential elements from the definitions of the respective argument types. Ad 2: After presenting the general principles for adding reasons (benevolence, authenticity, immanence, optimization), heuristics are proposed (...) for finding missing reasons, for deductive arguments, e.g., semantic tableaux are suggested. (shrink)

Many philosophers subscribe to the view that philosophy is a priori and in the business of discovering necessary truths from the armchair. This paper sets out to empirically test this picture. If this were the case, we would expect to see this reflected in philosophical practice. In particular, we would expect philosophers to advance mostly deductive, rather than inductive, arguments. The paper shows that the percentage of philosophy articles advancing deductive arguments is higher than those advancing inductive arguments, (...) which is what we would expect from the vantage point of the armchair philosophy picture. The results also show, however, that the percentages of articles advancing deductive arguments and those advancing inductive arguments are converging over time and that the difference between inductive and deductive ratios is declining over time. This trend suggests that deductive arguments are gradually losing their status as the dominant form of argumentation in philosophy. (shrink)

This paper describes a cubic water tank equipped with a movable partition receiving various amounts of liquid used to represent joint probability distributions. This device is applied to the investigation of deductive inferences under uncertainty. The analogy is exploited to determine by qualitative reasoning the limits in probability of the conclusion of twenty basic deductive arguments (such as Modus Ponens, And-introduction, Contraposition, etc.) often used as benchmark problems by the various theoretical approaches to reasoning under uncertainty. The probability (...) bounds imposed by the premises on the conclusion are derived on the basis of a few trivial principles such as "a part of the tank cannot contain more liquid than its capacity allows", or "if a part is empty, the other part contains all the liquid". This stems from the equivalence between the physical constraints imposed by the capacity of the tank and its subdivisions on the volumes of liquid, and the axioms and rules of probability. The device materializes de Finetti's coherence approach to probability. It also suggests a physical counterpart of Dutch book arguments to assess individuals' rationality in probability judgments in the sense that individuals whose degrees of belief in a conclusion are out of the bounds of coherence intervals would commit themselves to executing physically impossible tasks. (shrink)

The purpose of this introduction is to give a rough overview of the discussion of the formalization of arguments, focusing on deductive arguments. The discussion is structured around four important junctions: i) the notion of support, which captures the relation between the conclusion and premises of an argument, ii) the choice of a formal language into which the argument is translated in order to make it amenable to evaluation via formal methods, iii) the question of quality criteria (...) for such formalizations, and finally iv) the choice of the underlying logic. This introductory discussion is supplemented by a brief description of the genesis of the special issue, acknowledgements, and summaries of each article. (shrink)

Argumentations are at the heart of the deductive and the hypothetico-deductive methods, which are involved in attempts to reduce currently open problems to problems already solved. These two methods span the entire spectrum of problem-oriented reasoning from the simplest and most practical to the most complex and most theoretical, thereby uniting all objective thought whether ancient or contemporary, whether humanistic or scientific, whether normative or descriptive, whether concrete or abstract. Analysis, synthesis, evaluation, and function of argumentations are described. (...) Perennial philosophic problems, epistemic and ontic, related to argumentations are put in perspective. So much of what has been regarded as logic is seen to be involved in the study of argumentations that logic may be usefully defined as the systematic study of argumentations, which is virtually identical to the quest of objective understanding of objectivity. (shrink)

The definitions of ‘deduction’ found in virtually every introductory logic textbook would encourage us to believe that the inductive/deductive distinction is a distinction among kinds of arguments and that the extension of ‘deduction’ is a determinate class of arguments. In this paper, we argue that that this approach is mistaken. Specifically, we defend the claim that typical definitions of ‘deduction’ operative in attempts to get at the induction/deduction distinction are either too narrow or insufficiently precise. We conclude by presenting (...) a deflationary understanding of the inductive/deductive distinction; in our view, its content is nothing over and above the answers to two fundamental sorts of questions central to critical thinking. (shrink)

From the second half of the last century, there has been a widespread view in the Anglophone world that Kant’s transcendental deduction (aka TD) aims to vindicate our common-sense view of the world as composed of public and objective particulars against some unqualified forms of skepticism. This widespread assumption has raised serious doubt not only about the success of TD but also about the very nature of its argument in both editions of the Critique. Yet, if there is a (...) connection between TD and global skepticism, the intriguing question is: Who is this skeptic? According to Strawson, “the skeptic” is a hypothesis of a purely sense-datum experience. In contrast, the fact that TD turns on the key notion of self-consciousness has induced several other scholars to assume that the skeptic is no none but a Cartesian external-world skeptic. None of those readings find textual support or are compatible with the very structure of the first Critique. The question is: Does this mean that TD aims only to undermine empiricism, as Guyer suggests? I do not believe so. I am pretty convinced that TD addresses a peculiar form of global skepticism, namely “Hume’s challenge to reason.” Assuming that we cognize (erkennen) and experience (erfahren) appearances as objects as a requirement of Newtonian physics, TD aims to provide a justification of the principle that nature is uniform that is superior to Hume’s justification. (shrink)

Complex human reasoning involves minimal abilities to extract conclusions implied in the available information. These abilities are considered “deductive” because they exemplify certain abstract relations among propositions or probabilities called deductive arguments. However, the electrophysiological dynamics which supports such complex cognitive pro- cesses has not been addressed yet. In this work we consider typically deductive logico- probabilistically valid inferences and aim to verify or refute their electrophysiological functional connectivity differences from invalid inferences with the same content (same (...) relational variables, same stimuli, same relevant and salient features). We recorded the brain electrophysiological activity of 20 participants (age 1⁄4 20.35 ± 3.23) by means of an MEG system during two consecutive reasoning tasks: a search task (invalid condition) without any specific deductive rules to follow, and a logically valid deductive task (valid condition) with explicit deductive rules as instructions. We calculated the functional connectivity (FC) for each condition and conducted a seed-based analysis in a set of cortical regions of interest. Finally, we used a cluster-based permutation test to compare the dif- ferences between logically valid and invalid conditions in terms of FC. As a first novel result we found higher FC for valid condition in beta band between regions of interest and left prefrontal, temporal, parietal, and cingulate structures. FC analysis allows a second novel result which is the definition of a propositional network with operculo-cingular, parietal and medial nodes, specifically including disputed medial deductive “core” areas. The experiment discloses measurable cortical processes which do not depend on content but on truth-functional propositional operators. These experimental novelties may contribute to understand the cortical bases of deductive processes. (shrink)

The paper develops a classificatory system of basic argument types on the basis of the epis-temological approach to argumentation. This approach has provided strict rules for several kinds of argu-ments. These kinds may be brought into a system of basic irreducible types, which rely on different parts of epistemology: deductive logic, probability theory, utility theory. The system reduces a huge mass of differ-ent argument schemes to basic types and gives them an epistemological foundation.

Blending the qualitative and analytic research methods, this article critically examines the nature and limitations of inductive arguments within the field of logic. Inductive arguments, unlike their deductive counterparts, provide conclusions that extend beyond the premises, thus offering probabilistic rather than certain conclusions. This critique emphasises the weak inferential connections inherent in inductive reasoning, where premises give only partial or probable support to conclusions. The analysis highlights the ampliative value of inductive arguments, illustrating how they broaden conceptual knowledge by (...) introducing new information. However, the article also delves into reasons for their limited acceptance in logic, focusing on their probabilistic nature, contingency, experiential basis, and susceptibility to fallacies such as hasty generalisation, composition, false cause, and appeal to authority. Despite these criticisms, the article recognises that inductive arguments hold significant merit in scientific inquiry and everyday reasoning, contrasting with the firm, analytic nature of deductive arguments used in formal logic and philosophical analysis. The article concludes by advocating for a balanced approach in argumentation, underscoring the need to appreciate the contextual strengths and limitations of both inductive and deductive reasoning in the pursuit of effective logical analysis. (shrink)

In section 1, I develop epistemic communism, my view of the function of epistemically evaluative terms such as ‘rational’. The function is to support the coordination of our belief-forming rules, which in turn supports the reliable acquisition of beliefs through testimony. This view is motivated by the existence of valid inferences that we hesitate to call rational. I defend the view against the worry that it fails to account for a function of evaluations within first-personal deliberation. In the rest of (...) the paper, I then argue, on the basis of epistemic communism, for a view about rationality itself. I set up the argument in section 2 by saying what a theory of rational deduction is supposed to do. I claim that such a theory would provide a necessary, sufficient, and explanatorily unifying condition for being a rational rule for inferring deductive consequences. I argue in section 3 that, given epistemic communism and the conventionality that it entails, there is no such theory. Nothing explains why certain rules for deductive reasoning are rational. (shrink)

In the transcendental deduction, the central argument of the Critique of Pure Reason, Kant seeks to secure the objective validity of our basic categories of thought. He distinguishes objective and subjective sides of this argument. The latter side, the subjective deduction, is normally understood as an investigation of our cognitive faculties. It is identified with Kant’s account of a threefold synthesis involved in our cognition of objects of experience, and it is said to precede and ground Kant’s proof (...) of the validity of the categories in the objective deduction. I challenge this standard reading of the subjective deduction, arguing, first, that there is little textual evidence for it, and, second, that it encourages a problematic conception of how the deduction works. In its place, I present a new reading of the subjective deduction. Rather than being a broad investigation of our cognitive faculties, it should be seen as addressing a specific worry that arises in the course of the objective deduction. The latter establishes the need for a necessary connection between our capacities for thinking and being given objects, but Kant acknowledges that his readers might struggle to comprehend how these seemingly independent capacities are coordinated. Even worse, they might well believe that in asserting this necessary connection, Kant’s position amounts to an implausible subjective idealism. The subjective deduction ismeant to allay these concerns by showing that they rest on a misunderstanding of the relation between these faculties. This new reading of the subjective deduction offers a better fit with Kant’s text. It also has broader implications, for it reveals the more philosophically plausible account of our relation to the world as thinkers that Kant is defending – an account that is largely obscured by the standard reading of the subjective deduction. (shrink)

It is tempting to think that multi premise closure creates a special class of paradoxes having to do with the accumulation of risks, and that these paradoxes could be escaped by rejecting the principle, while still retaining single premise closure. I argue that single premise deduction is also susceptible to risks. I show that what I take to be the strongest argument for rejecting multi premise closure is also an argument for rejecting single premise closure. Because of the (...) symmetry between the principles, they come as a package: either both will have to be rejected or both will have to be revised. (shrink)

The paper critically discusses an empirical study by Mizrahi & Dickinson 2020, which analyzes in a huge data base (JSTORE) the incidence of three types of philosophical arguments. Their results are: 1. Deductive arguments were the most commeon type of argument in philosophy until the end of the 20th century. 2. Around 2008 a shift in methodology occurred, such that the indcutive arguments outweigh other types of argument. The paper, first, criticizes the empirical study as grossly false (...) and considers the - very limited - possibilities of recognition of argument types by present computer programs. (shrink)

In attempt to provide an answer to the question of origin of deductive proofs, I argue that Aristotle’s philosophy of math is more accurate opposed to a Platonic philosophy of math, given the evidence of how mathematics began. Aristotle says that mathematical knowledge is a posteriori, known through induction; but once knowledge has become unqualified it can grow into deduction. Two pieces of recent scholarship on Greek mathematics propose new ways of thinking about how mathematics began in the Greek (...) culture. Both claimed there was a close relationship between the culture and mathematicians; mathematics was understood through imaginative processes, experiencing the proofs in tangible ways, and establishing a consistent unified form of argumentation. These pieces of evidence provide the context in which Aristotle worked and their contributions lend support to the argument that mathematical premises as inductively available is a better way of understanding the origins of deductive practices, opposed to the Platonic tradition. (shrink)

This paper explores an idea of Stoic descent that is largely neglected nowadays, the idea that an argument is valid when the conditional formed by the conjunction of its premises as antecedent and its conclusion as consequent is true. As it will be argued, once some basic features of our naıve understanding of validity are properly spelled out, and a suitable account of conditionals is adopted, the equivalence between valid arguments and true conditionals makes perfect sense. The account of (...) validity outlined here, which displays one coherent way to articulate the Stoic intuition, accords with standard formal treatments of deductive validity and encompasses an independently grounded characterization of inductive validity. (shrink)

The thesis of this paper is that we can justify induction deductively relative to one end, and deduction inductively relative to a different end. I will begin by presenting a contemporary variant of Hume ’s argument for the thesis that we cannot justify the principle of induction. Then I will criticize the responses the resulting problem of induction has received by Carnap and Goodman, as well as praise Reichenbach ’s approach. Some of these authors compare induction to deduction. Haack (...) compares deduction to induction, and I will critically discuss her argument for the thesis that we cannot justify the principles of deduction next. In concluding I will defend the thesis that we can justify induction deductively relative to one end, and deduction inductively relative to a different end, and that we can do so in a non-circular way. Along the way I will show how we can understand deductive and inductive logic as normative theories, and I will briefly sketch an argument to the effect that there are only hypothetical, but no categorical imperatives. (shrink)

Is it possible to give a justification of our own practice of deductive inference? The purpose of this paper is to explain what such a justification might consist in and what its purpose could be. On the conception that we are going to pursue, to give a justification for a deductive practice means to explain in terms of an intuitively satisfactory notion of validity why the inferences that conform to the practice coincide with the valid ones. That is, (...) a justification should provide an analysis of the notion of validity and show that the inferences that conform to the practice are just the ones that are valid. Moreover, a complete justification should also explain the purpose, or point, of our inferential practice. We are first going to discuss the objection that any justification of our deductive practice must use deduction and therefore be circular. Then we will consider a particular model of justificatory explanation, building on Georg Kreisel’s concept of informal rigour. Finally, in the main part of the paper, we will discuss three ideas for defining the notion of validity: (i) the classical conception according to which the notion of (bivalent) truth is taken as basic and validity is defined in terms of the preservation of truth; (ii) the constructivist idea of starting instead with the notion of (a canonical) proof (or verification) and define validity in terms of this notion; (iii) the idea of taking the notions of rational acceptance and rejection as given and define an argument to be valid just in case it is irrational to simultaneously accept its premises and reject its conclusion (or conclusions, if we allow for multiple conclusions). Building on work by Dana Scott, we show that the last conception may be viewed as being, in a certain sense, equivalent to the first one. Finally, we discuss the so-called paradox of inference and the informativeness of deductive arguments. (shrink)

This article identifies and formalizes the logical features of analogous terms that justify their use in deduction. After a survey of doctrines in Aristotle, Aquinas, and Cajetan, the criteria of “analogy of proper proportionality” are symbolized in first-order predicate logic. A common genus justifies use of a common term, but does not provide the inferential link required for deduction. Rather, the respective differentiae foster this link through their identical proportion. A natural-language argument by analogy is formalized so as to (...) exhibit these criteria, thereby showing the validity of analogical deduction. (shrink)

This paper raises obvious questions undermining any residual confidence in Mates work and revealing our embarrassing ignorance of true nature of Stoic deduction. It was inspired by the challenging exploratory work of JOSIAH GOULD.

Kant’s derivation of the table of categories from logical functions of judgments in the metaphysical deduction remains one of the least convincing arguments of the Critique of Pure Reason. This article presents an alternative approach to the question of the a priori origin of the table of categories. By circumventing the metaphysical deduction, I show the possibility of demonstrating the exact functions and necessity of the twelve categorial forms as emerging from the interaction of the synthetic unity of apperception with (...) the manifold content of the a priori intuition of space and time. I argue that this a priori material of cognition imposes a constraint on the spontaneity of understanding, thus giving rise to the specific rules of synthesis that make up the table of categories. On the reading I suggest, the table of categories can be understood as expressing the a priori form of self-consciousness in the face of space and time. (shrink)

Dogmatism holds that an experience or seeming that p can provide prima facie immediate justification for believing p in virtue of its phenomenology. Dogmatism about perceptual justification has appealed primarily to proponents of representational theories of perceptual experience. Call dogmatism that takes perceptual experience to be representational "representational phenomenal dogmatism." As we show, phenomenal seemings play a crucial role in dogmatism of this kind. Despite its conventional appeal to representational theorists, dogmatism is not by definition committed to any particular view (...) of perceptual experience. Naive realists and disjunctivists who hold that perceptual experience is a perceptual relation of direct acquaintance can also endorse dogmatism. Indeed, we argue that they ought to do so. Otherwise, they cannot maintain that relationalism about perceptual experience has an epistemic advantage compared to the representational view. We then show that even if we grant that relationalism has this advantage, only dogmatism that takes perceptual experience to be representational can be extended to account for non-deductive inferential justification. As an account of the latter is required to avoid succumbing to skepticism, relationalism, we argue, does not have the epistemic advantage its defenders claim it has. (shrink)

It is commonly held that Kant ventured to derive morality from freedom in Groundwork III. It is also believed that he reversed this strategy in the second Critique, attempting to derive freedom from morality instead. In this paper, I set out to challenge these familiar assumptions: Kant’s argument in Groundwork III rests on a moral conception of the intelligible world, one that plays a similar role as the ‘fact of reason’ in the second Critique. Accordingly, I argue, there is (...) no reversal in the proof-structure of Kant’s two works. (shrink)

In the chapter “Information and Content” of their Impossible Worlds, Berto and Jago provide us with a semantic account of information in deductive reasoning such that we have an explanation for why some, but not all, logical deductions are informative. The framework Berto and Jago choose to make sense of the above-mentioned idea is a semantic interpretation of Sequent Calculus rules of inference for classical logic. I shall argue that although Berto and Jago’s idea and framework are hopeful, their (...) definitions do not capture what is intended. This is so because the definitions are solely based on the logical complexity of an argument and they fail to capture the richness of the non- logical content of that argument. Then I will suggest some amendments to address this problem. Finally, I will extend the application of the definitions to first-order logic. It shall be observed that in some classical deductions, applying contraction may lead to hiding some epistemic impossibilities. This happens when formulae which contribute different propositions to the proof get contracted at the quantified level. (shrink)

Mathematicians often speak of conjectures, yet unproved, as probable or well-confirmed by evidence. The Riemann Hypothesis, for example, is widely believed to be almost certainly true. There seems no initial reason to distinguish such probability from the same notion in empirical science. Yet it is hard to see how there could be probabilistic relations between the necessary truths of pure mathematics. The existence of such logical relations, short of certainty, is defended using the theory of logical probability (or objective Bayesianism (...) or non-deductive logic), and some detailed examples of its use in mathematics surveyed. Examples of inductive reasoning in experimental mathematics are given and it is argued that the problem of induction is best appreciated in the mathematical case. (shrink)

This essay partly builds on and partly criticizes a striking idea of Dieter Henrich. Henrich argues that Kant's distinction in the first Critique between the question of fact (quid facti) and the question of law (quid juris) provides clues to the argumentative structure of a philosophical "Deduction". Henrich suggests that the unity of apperception plays a role analogous to a legal factum. By contrast, I argue, first, that the question of fact in the first Critique is settled by the Metaphysical (...) Deduction, which establishes the purity of origin of the Categories, and, second, that in the second Critique, the relevant factum is the Fact of Reason, which amounts to the fact that the Moral Law is pure in origin. (shrink)

Abstract Argument is seen as central to philosophy, especially epistemology. It is often said that philosophy teaches you to argue for any position. Arguments are used to justify beliefs and many people suppose that for a belief to be counted for knowledge it must be justified. In science, scientific theories must be backed by the evidence and it has been proposed that the relationship of evidence to theory is that of argument to conclusion. But is argument really (...) so important? Arguments in practice are hardly ever persuasive, and a deductive argument adds no new information. Knowledge and wisdom of the philosophical kind can be garnered and created through observation, exploration, experiment, collaboration, narrative and sharing. None of these ways of knowing necessarily involve argument, and can actually in some cases be harmed by argument. It is fairly uncontroversial to say that argument has a central role in contemporary English speaking philosophy. But if argument is a form of combat then this emphasis on argument could be a source of gender bias in philosophy and in certain sciences. Men are physiologically attracted to combat through the mechanism of testosterone fluctuations in response to competitive situations. But apart from being attractive to some men, arguments do not create good philosophy. Good philosophy aims at the love of wisdom and knowledge. Two principle goods in philosophy are the creation of knowledge and the spreading of knowledge. Arguments neither create knowledge nor are persuasive. On the contrary, arguments create divisions and cognitive biases. As such philosophy may be better with less of an emphasis on argument, and more emphasis on non-violence, sharing and love. (shrink)

The aim of this paper is to challenge the idea that Toulmin’s main focus in The Uses of Argument is to critique formal deductive logic. I first try to challenge the argument that, on the basis of what Toulmin says about analytic arguments, it is impossible to determine exactly what they are. I will then attempt to determine the basic contours of analytic arguments. Finally, I will conclude that the concept of an analytic argument involves epistemological (...) assumptions to which formal logicians are in no way committed by the nature of their discipline. (shrink)

The paper defends a variant of the material implication approach to the meaning of conditional sentences against some arguments that are considered to be widely subscribed to and/or important in the philosophical, psychological and linguistic literature. These arguments are shown to be wrong, debatable, or to miss their aim if the truth conditions defining material implication are viewed as determining nothing but the denotation of conditional sentences and if the function of conditional sentences in deduction (logic) is focused on rather (...) than in inferencing (reasoning). It is shown that some ‘paradoxes of material implication’ are due to inconsistent premises of deductions introduced by semantic relations between clauses constituting the premises, a fact which does not invalidate the approach. Other ‘paradoxes’ are shown to arise because they are based on uninformative deductions, violating a basic pragmatic principle. In addition, the paper introduces the distinction between the set of possible states of a mental model of the actual world and of alternative worlds. It is argued that material implication determines the denotation of an indicative conditional as a subset of the former set and the denotation of a subjunctive conditional as a subset of the latter set, thus unifying these two types of conditionals. (shrink)

The main aim of this paper is to examine an almost universal assumption concerning the structure of Paley’s argument for design. Almost all commentators suppose that Paley’s argument is an inductive argument---either an argument by analogy or an argument by inference to the best explanation. I contend, on the contrary, that Paley’s argument is actually a straightforwardly deductive argument. Moreover, I argue that, when Paley’s argument is properly understood, it can readily (...) be seen that it is no good. Finally---although I do not stress this very much---I note that the points that I make about Paley’s argument can carryover to modern design arguments that are based upon the argument that Paley actually gives. (shrink)

A ‘lottery belief’ is a belief that a particular ticket has lost a large, fair lottery, based on nothing more than the odds against it winning. The lottery paradox brings out a tension between the idea that lottery beliefs are justified and the idea that that one can always justifiably believe the deductive consequences of things that one justifiably believes – what is sometimes called the principle of closure. Many philosophers have treated the lottery paradox as an argument (...) against the second idea – but I make a case here that it is the first idea that should be given up. As I shall show, there are a number of independent arguments for denying that lottery beliefs are justified. (shrink)

In “The Zygote Argument is Invalid: Now What?” (2015), Kristin Mickelson published an objection to the Zygote Argument that she first presented in 2012 as workshop comments on a draft of Mele's "Manipulation, Moral Responsibility, and Bullet-Biting" (2013). Assuming that the phrase "determinism precludes free will" means something like determinism-related causal factors are what prevent people from acting freely when determinism is true, Mele's original Zygote Argument was invalid. At the workshop, Mickelson presented Mele with two options (...) to address the problem, a premise-preserving option and a conclusion-preserving option. That is, Mele could change the conclusion of the original argument to the negative, non-explanatory thesis entailed by its original two premises, or find a way to add premises that would support the positive, explanatory conclusion of the original argument (which, notably, is the conclusion that Pereboom supports using best-explanation reasoning in his Four-Case Argument). Mickelson used this as an opportunity to explain the key contribution that best-explanation reasoning makes to manipulation arguments -- and why the best variant of the manipulation argument might conclude that incompatibilism is FALSE. In response to Mickelson's objection, Mele changed the conclusion of the argument before "Manipulation, Moral Responsibility, and Bullet-Biting" went to print, choosing Mickelson's proposal to change its conclusion over the suggestion to change its premises. However, Mele failed to mention Mickelson's invalidity objection in print and that he changed the conclusion of his argument as a direct response to it; nor did Mele mention the costs that Mickelson outlined for the premise-preserving solution that he adopted or the benefits of a conclusion-preserving solution. At the same time, Mele began using the term 'incompatibilism' to pick out the negative, non-explanatory claim supported by the newly revised Zygote Argument--and also started to claim (without providing evidence) that those who use the term 'incompatibilism' to denote the explanatory claim deterministic causal factors *make it the case* that no one acts freely when determinism is true" is guilty of using the term in a nonstandard and nontraditional way that he had "never had any use for"--failing to mention that he clearly used the term in this explanatory sense in his 2005 critique of the Four-Case Argument, which is to be expected give that Derk Pereboom uses the explanatory definition (as do Kadri Vihvelin, Carolina Sartorio, and *most* other contributors to the free-will literature). In THIS reply essay, Mickelson responds to an attempt by Gabriel De Marco (FSU, advisor Alfred Mele) to defend the original Zygote Argument from Mickelson's 2012/2015 critique. Unfortunately, both of De Marco's proposed "solutions" are non-starters. The first is a non-starter because De Marco merely repeats the premise-preserving solution that Mickelson offered to Mele in 2012 and that Mele adopted in print in 2013. In other words, De Marco took credit for the premise-preserving solution to the invalidity objection that Mickelson developed (although he does *redescribe* Mickelson's solution in his own idiosyncratic jargon) and Mele had already adopted in print. De Marco's second solution is a non-starter because it is constituted by a patently invalid argument. Contrary to De Marco's proposal, it's not true that the conjunction of possibilism and incompossibilism deductively entails the positive, diagnostic claim that deterministic causal factors beyond one's control preclude (destroy, undermine, is antagonistically relevant to) free will when determinism is true. *My thanks to the editors of Philosophia for publishing this reply when PhilStudies would not. (shrink)

Aristotle determines eristic argument as argument which either operates upon the basis of acceptable premisses and merely give the impression of being deductive, or argument which truly is deductive but operates upon the basis of premisses which seem to be acceptable, but are not. I attempt to understand what Aristotle has in mind when he says that someone is deceived into accepting premisses which seem to be acceptable but which are really not, and how this (...) disqualifies such arguments from being dialectical. In the first section of the paper I interpret Aristotle’s notion of ἔνδοξα in terms of a relational concept of acceptability. Real ἔνδοα are propositions which are accepted by a qualified group or individual. False ἔνδοα may also be accepted by someone or some group, and may even be true, but they are used to serve the purposes of eristical argumentation, which departs from certain standards of dialectical argumentation articulated in the notion of ἔνδοξα as a norm for premiss-acceptance. In particular, eristic arguments may even be valid in the sense of a συλλογισμός while still failing to be proper dialectical arguments. In the second part of the paper I consider how this can be, in examining certain types of fallacies in the Sophistical Refutations and the relationship between fallacious argumentation and false ἔνδοξα. (shrink)

In this paper, I argue that, other things being equal, simpler arguments are better. In other words, I argue that, other things being equal, it is rational to prefer simpler arguments over less simple ones. I sketch three arguments in support of this claim: an argument from mathematical proofs, an argument from scientific theories, and an argument from the conjunction rule.

A key question in the philosophy of logic is how we have epistemic justification for claims about logical entailment (assuming we have such justification at all). Justification holism asserts that claims of logical entailment can only be justified in the context of an entire logical theory, e.g., classical, intuitionistic, paraconsistent, paracomplete etc. According to holism, claims of logical entailment cannot be atomistically justified as isolated statements, independently of theory choice. At present there is a developing interest in—and endorsement of—justification holism (...) due to the revival of an abductivist approach to the epistemology of logic. This paper presents an argument against holism by establishing a foundational entailment-sentence of deduction which is justified independently of theory choice and outside the context of a whole logical theory. (shrink)

This work examines Kant’s remarkable decision to rewrite the core argument of the first Critique, the Transcendental Deduction of the Categories. I identify a two-part structure common to both versions: first establishing an essential role for the categories in unifying sensible intuitions; and then addressing a worry about how the connection between our faculties asserted in the first part is possible. I employ this structure to show how Kant rewrote the argument, focusing on Kant’s response to the concerns (...) raised in an early review by Johann Schultz. Schultz’s dissatisfaction with the original Deduction lies in its second part, and Kant’s subsequent revisions are focused on providing a better answer to this how-possible question. The new Deduction offers a more direct and convincing account of how our faculties work together to make experience possible. (shrink)

Havstad (2022) argues that the argument from inductive risk for the claim that non-epistemic values have a legitimate role to play in the internal stages of science is deductively valid. She also defends its premises and thus soundness. This is, as far as we are aware, the best reconstruction of the argument from inductive risk in the existing literature. However, there is a small flaw in this reconstruction of the argument from inductive risk which appears to render (...) the argument invalid. This flaw is superficial, and a small amendment to it rescues the claim of validity. (shrink)

Kant's A-Edition objective deduction is naturally (and has traditionally been) divided into two arguments: an " argument from above" and one that proceeds " von unten auf." This would suggest a picture of Kant's procedure in the objective deduction as first descending and ascending the same ladder, the better, perhaps, to test its durability or to thoroughly convince the reader of its soundness. There are obvious obstacles to such a reading, however; and in this chapter I will argue that (...) the arguments from above and below constitute different, albeit importantly inter-related, proofs. Rather than drawing on the differences in their premises, however, I will highlight what I take to be the different concerns addressed and, correspondingly, the distinct conclusions reached by each. In particular, I will show that both arguments can be understood to address distinct specters, with the argument from above addressing an internal concern generated by Kant’s own transcendental idealism, and the argument from below seeking to dispel a more traditional, broadly Humean challenge to the understanding’s role in experience. These distinct concerns also imply that these arguments yield distinct conclusions, though I will show that they are in fact complementary. (shrink)

Kant’s argument in § 38 of the *Critique of Judgment* is subject to a dilemma: if the subjective condition of cognition is the sufficient condition of the pleasure of taste, then every object of experience must produce that pleasure; if not, then the universal communicability of cognition does not entail the universal communicability of the pleasure. Kant’s use of an additional premise in § 21 may get him out of this difficulty, but the premises themselves hang in the air (...) and have no independent plausibility. What Kant offers as a proof of our right to make judgments of taste is more charitably construed as an indirect argument for the adequacy of a speculative explanation of a *presumed* right to make judgments of taste. (shrink)

This paper argues for a reinterpretation of Aristotle's concept of an enthymeme and also his wider informal logic in terms of arguments that are defeasible. They are represented by forms of argument that are called argumentation schemes, considered to be similar to forms of argument found in deductive logic, but different from the foregoing in virtue of their being defeasible. Indeed, the most interesting schemes have been put forward as a helpful way of characterizing structures of human (...) reasoning that have proved troublesome to model deductively. The paper sheds new light on Aristotle's topics and how to dene `enthymeme'. If the traditional denition of an enthymeme in logic accepted for over two thousand years is a misnomer, the question is raised whether we ought to redene it as a defeasible argumentations scheme or leave things as they are. (shrink)

The purpose of this Perspective Essay was to logically examine and rebut some of the common arguments posited by Atheists against the existence of God. The essay is purely philosophical. The critical tool of discourse is Deductive argumentation. The essay infers that appealing to the existence of evil as proof against God's existence is a weak argument based on a faulty conception of the term ‘evil'. It also deduces that what an Atheist calls biblical contradictions are not in (...) the strictest sense contradictions. Lastly, the argument that God's existence is impossible due to the immorality of those who believe in God is not tenable because God's existence and his nature do not include human conduct. (shrink)

my goal here is to provide a detailed analysis of the methods of inference that are employed in De prospectiva pingendi. For this purpose, a method of natural deduction is proposed. the treatise by Piero della Francesca is a manifestation of a union between the ne arts and the mathematical sciences of arithmetic and geometry. He de nes painting as a part of perspective and, speaking precisely, as a branch of geometry, which is why we nd advanced geometrical exercises here.

I argue that Descartes intended the so-called ontological "argument" as a self-validating intuition, rather than as a formal proof. The textual evidence for this view is highly compelling, but the strongest support comes from understanding Descartes's diagnosis for why God's existence is not 'immediately' self-evident to everyone and the method of analysis that he develops for making it self-evident. The larger aim of the paper is to use the ontological argument as a case study of Descartes's nonformalist theory (...) of deduction and his method of analysis, showing how he conceives the latter as a form of philosophical therapy. (shrink)

In this paper, I discuss the debate on Kant and nonconceptual content. Inspired by Kant’s account of the intimate relation between intuition and concepts, McDowell (1996) has forcefully argued that the relation between sensible content and concepts is such that sensible content does not severally contribute to cognition but always only in conjunction with concepts. This view is known as conceptualism. Recently, Kantians Robert Hanna and Lucy Allais, among others, have brought against this view the charge that it neglects the (...) possibility of the existence of essentially nonconceptual content that is not conceptualised or subject to conceptualisation. Their critique of McDowell amounts to nonconceptualism. However, both views, conceptualist and nonconceptualist, share the assumption that intuition is synthesised content in Kant’s sense. My interest is not in the validity of the philosophical positions of conceptualism or nonconceptualism per se. I am particularly interested in the extent to which the views that McDowell and Hanna and Allais respectively advance are true to Kant, or can validly be seen as Kantian positions. I argue that although McDowell is right that intuition is only epistemically relevant in conjunction with concepts, Hanna and Allais are right with regard to the existence of essentially nonconceptual content (intuitions) independently of the functions of the understanding, but that they are wrong with regard to non-conceptualised intuition being synthesised content in Kant’s sense. Kantian conceptualists (Bowman 2011; Griffith 2012; Gomes 2014) have responded to the recent nonconceptualist offensive, with reference to A89ff./B122ff. (§13)—which, confusingly, the nonconceptualists also cite as evidence for their contrary reading—by arguing that the nonconceptualist view conflicts with the central goal of the Transcendental Deduction, namely, to argue that all intuitions are subject to the categories. I contend that the conceptualist reading of A89ff./B122ff. is unfounded, but also that the nonconceptualists are wrong to believe that intuitions as such refer strictly to objects independently of the functions of the understanding, and that they are mistaken about the relation between figurative synthesis and intellectual synthesis. I argue that Kant is a conceptualist, albeit not in the sense that standard conceptualists assume. Perceptual knowledge is always judgemental, though without this resulting in the standard conceptualist claim that, necessarily, all intuitions or all perceptions per se stand under the categories (strong conceptualism). I endorse the nonconceptualist view that, for Kant, perception per se, i.e. any mere or ‘blind’ intuition of objects (i.e. objects as indeterminate appearances) short of perceptual knowledge, does not necessarily stand under the categories. Perception is not yet perceptual knowledge. In this context, I point out the common failure in the literature on the Transcendental Deduction, both of the conceptualist and nonconceptualist stripe, to take account of the modal nature of Kant’s argument for the relation between intuition and concept insofar as cognition should arise from it. (shrink)