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)

The Logic of Causation: Definition, Induction and Deduction of Deterministic Causality is a treatise of formal logic and of aetiology. It is an original and wide-ranging investigation of the definition of causation (deterministic causality) in all its forms, and of the deduction and induction of such forms. The work was carried out in three phases over a dozen years (1998-2010), each phase introducing more sophisticated methods than the previous to solve outstanding problems. This study was intended as part of a (...) larger work on causal logic, which additionally treats volition and allied cause-effect relations (2004). The Logic of Causation deals with the main technicalities relating to reasoning about causation. Once all the deductive characteristics of causation in all its forms have been treated, and we have gained an understanding as to how it is induced, we are able to discuss more intelligently its epistemological and ontological status. In this context, past theories of causation are reviewed and evaluated (although some of the issues involved here can only be fully dealt with in a larger perspective, taking volition and other aspects of causality into consideration, as done in Volition and Allied Causal Concepts). Phase I: Macroanalysis. Starting with the paradigm of causation, its most obvious and strongest form, we can by abstraction of its defining components distinguish four genera of causation, or generic determinations, namely: complete, partial, necessary and contingent causation. When these genera and their negations are combined together in every which way, and tested for consistency, it is found that only four species of causation, or specific determinations, remain conceivable. The concept of causation thus gives rise to a number of positive and negative propositional forms, which can be studied in detail with relative ease because they are compounds of conjunctive and conditional propositions whose properties are already well known to logicians. The logical relations (oppositions) between the various determinations (and their negations) are investigated, as well as their respective implications (eductions). Thereafter, their interactions (in syllogistic reasoning) are treated in the most rigorous manner. The main question we try to answer here is: is (or when is) the cause of a cause of something itself a cause of that thing, and if so to what degree? The figures and moods of positive causative syllogism are listed exhaustively; and the resulting arguments validated or invalidated, as the case may be. In this context, a general and sure method of evaluation called ‘matricial analysis’ (macroanalysis) is introduced. Because this (initial) method is cumbersome, it is used as little as possible – the remaining cases being evaluated by means of reduction. Phase II: Microanalysis. Seeing various difficulties encountered in the first phase, and the fact that some issues were left unresolved in it, a more precise method is developed in the second phase, capable of systematically answering most outstanding questions. This improved matricial analysis (microanalysis) is based on tabular prediction of all logically conceivable combinations and permutations of conjunctions between two or more items and their negations (grand matrices). Each such possible combination is called a ‘modus’ and is assigned a permanent number within the framework concerned (for 2, 3, or more items). This allows us to identify each distinct (causative or other, positive or negative) propositional form with a number of alternative moduses. This technique greatly facilitates all work with causative and related forms, allowing us to systematically consider their eductions, oppositions, and syllogistic combinations. In fact, it constitutes a most radical approach not only to causative propositions and their derivatives, but perhaps more importantly to their constituent conditional propositions. Moreover, it is not limited to logical conditioning and causation, but is equally applicable to other modes of modality, including extensional, natural, temporal and spatial conditioning and causation. From the results obtained, we are able to settle with formal certainty most of the historically controversial issues relating to causation. Phase III: Software Assisted Analysis. The approach in the second phase was very ‘manual’ and time consuming; the third phase is intended to ‘mechanize’ much of the work involved by means of spreadsheets (to begin with). This increases reliability of calculations (though no errors were found, in fact) – but also allows for a wider scope. Indeed, we are now able to produce a larger, 4-item grand matrix, and on its basis find the moduses of causative and other forms needed to investigate 4-item syllogism. As well, now each modus can be interpreted with greater precision and causation can be more precisely defined and treated. In this latest phase, the research is brought to a successful finish! Its main ambition, to obtain a complete and reliable listing of all 3-item and 4-item causative syllogisms, being truly fulfilled. This was made technically feasible, in spite of limitations in computer software and hardware, by cutting up problems into smaller pieces. For every mood of the syllogism, it was thus possible to scan for conclusions ‘mechanically’ (using spreadsheets), testing all forms of causative and preventive conclusions. Until now, this job could only be done ‘manually’, and therefore not exhaustively and with certainty. It took over 72’000 pages of spreadsheets to generate the sought for conclusions. This is a historic breakthrough for causal logic and logic in general. Of course, not all conceivable issues are resolved. There is still some work that needs doing, notably with regard to 5-item causative syllogism. But what has been achieved solves the core problem. The method for the resolution of all outstanding issues has definitely now been found and proven. The only obstacle to solving most of them is the amount of labor needed to produce the remaining (less important) tables. As for 5-item syllogism, bigger computer resources are also needed. (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)

A Fortiori Logic: Innovations, History and Assessments is a wide-ranging and in-depth study of a fortiori reasoning, comprising a great many new theoretical insights into such argument, a history of its use and discussion from antiquity to the present day, and critical analyses of the main attempts at its elucidation. Its purpose is nothing less than to lay the foundations for a new branch of logic and greatly develop it; and thus to once and for all dispel the many fallacious (...) ideas circulating regarding the nature of a fortiori reasoning. -/- The work is divided into three parts. The first part, Formalities, presents the author’s largely original theory of a fortiori argument, in all its forms and varieties. Its four (or eight) principal moods are analyzed in great detail and formally validated, and secondary moods are derived from them. A crescendo argument is distinguished from purely a fortiori argument, and similarly analyzed and validated. These argument forms are clearly distinguished from the pro rata and analogical forms of argument. Moreover, we examine the wide range of a fortiori argument; the possibilities of quantifying it; the formal interrelationships of its various moods; and their relationships to syllogistic and analogical reasoning. Although a fortiori argument is shown to be deductive, inductive forms of it are acknowledged and explained. Although a fortiori argument is essentially ontical in character, more specifically logical-epistemic and ethical-legal variants of it are acknowledged. -/- The second part of the work, Ancient and Medieval History, looks into use and discussion of a fortiori argument in Greece and Rome, in the Talmud, among post-Talmudic rabbis, and in Christian, Moslem, Chinese and Indian sources. Aristotle’s approach to a fortiori argument is described and evaluated. There is a thorough analysis of the Mishnaic qal vachomer argument, and a reassessment of the dayo principle relating to it, as well as of the Gemara’s later take on these topics. The valuable contribution, much later, by Moshe Chaim Luzzatto is duly acknowledged. Lists are drawn up of the use of a fortiori argument in the Jewish Bible, the Mishna, the works of Plato and Aristotle, the Christian Bible and the Koran; and the specific moods used are identified. Moreover, there is a pilot study of the use of a fortiori argument in the Gemara, with reference to Rodkinson’s partial edition of the Babylonian Talmud, setting detailed methodological guidelines for a fuller study. There is also a novel, detailed study of logic in general in the Torah. -/- The third part of the present work, Modern and Contemporary Authors, describes and evaluates the work of numerous (some thirty) recent contributors to a fortiori logic, as well as the articles on the subject in certain lexicons. Here, we discover that whereas a few authors in the last century or so made some significant contributions to the field, most of them shot woefully off-target in various ways. The work of each author, whether famous or unknown, is examined in detail in a dedicated chapter, or at least in a section; and his ideas on the subject are carefully weighed. The variety of theories that have been proposed is impressive, and stands witness to the complexity and elusiveness of the subject, and to the crying need for the present critical and integrative study. But whatever the intrinsic value of each work, it must be realized that even errors and lacunae are interesting because they teach us how not to proceed. -/- This book also contains, in a final appendix, some valuable contributions to general logic, including new analyses of symbolization and axiomatization, existential import, the tetralemma, the Liar paradox and the Russell paradox. (shrink)

Judaic Logic is an original inquiry into the forms of thought determining Jewish law and belief, from the impartial perspective of a logician. Judaic Logic attempts to honestly estimate the extent to which the logic employed within Judaism fits into the general norms, and whether it has any contributions to make to them. The author ranges far and wide in Jewish lore, finding clear evidence of both inductive and deductive reasoning in the Torah and other books of the (...) Bible, and analyzing the methodology of the Talmud and other Rabbinic literature by means of formal tools which make possible its objective evaluation with reference to scientific logic. The result is a highly innovative work – incisive and open, free of clichés or manipulation. Judaic Logic succeeds in translating vague and confusing interpretative principles and examples into formulas with the clarity and precision of Aristotelean syllogism. Among the positive outcomes, for logic in general, are a thorough listing, analysis and validation of the various forms of a-fortiori argument, as well as a clarification of dialectic logic. However, on the negative side, this demystification of Talmudic/Rabbinic modes of thought (hermeneutic and heuristic) reveals most of them to be, contrary to the boasts of orthodox commentators, far from deductive and certain. They are often, legitimately enough, inductive. But they are also often unnatural and arbitrary constructs, supported by unverifiable claims and fallacious techniques. Many other thought-processes, used but not noticed or discussed by the Rabbis, are identified in this treatise, and subjected to logical review. Various more or less explicit Rabbinic doctrines, which have logical significance, are also examined in it. In particular, this work includes a formal study of the ethical logic (deontology) found in Jewish law, to elicit both its universal aspects and its peculiarities. With regard to Biblical studies, one notable finding is an explicit formulation (which, however, the Rabbis failed to take note of and stress) of the principles of adduction in the Torah, written long before the acknowledgement of these principles in Western philosophy and their assimilation in a developed theory of knowledge. Another surprise is that, in contrast to Midrashic claims, the Tanakh (Jewish Bible) contains a lot more than ten instances of qal vachomer (a-fortiori) reasoning. In sum, Judaic Logic elucidates and evaluates the epistemological assumptions which have generated the Halakhah (Jewish religious jurisprudence) and allied doctrines. Traditional justifications, or rationalizations, concerning Judaic law and belief, are carefully dissected and weighed at the level of logical process and structure, without concern for content. This foundational approach, devoid of any critical or supportive bias, clears the way for a timely reassessment of orthodox Judaism (and incidentally, other religious systems, by means of analogies or contrasts). Judaic Logic ought, therefore, to be read by all Halakhists, as well as Bible and Talmud scholars and students; and also by everyone interested in the theory, practise and history of logic. (shrink)

The standard definition of “argument” is satisfied by any series of statements in which one (of the statements) is marked as the conclusion of the others. This leads to the counter-intuitive result that “I like cookies, therefore, all swans are white” is an argument, since “therefore” marks “all swans are white” as the conclusion of “I like cookies”. This objection is often disregarded by stating that, although the previous sequence is an argument, it fails to be a good one. However, (...) when we compare our previous argument with a definitely bad argument like “this swan is white, therefore, all swans are white”, we see that there is an important difference between them. Whereas the former fails to fulfil our intuition of what an argument is, the latter does qualify as an argument, but as a bad one. In this talk, I will sketch a definition that better captures this feature of our intuition of what an argument is in three steps. Following Díez and Moulines (1999), I first reduce inductive validity to deductive validity through what we may call the method of deductivisation. Second, through epistemic predicates (cf. Thompson 2002), I introduce a broader concept of validity that accounts not only for deductive and inductive validity, but also for a weaker type of validity that may be called pseudo-validity. I show that these pseudo-valid arguments can also be deductivised with the help of the above-mentioned epistemic predicates. Finally, I re-define the concept of argument as any series of statements that is at least pseudo-valid, which leaves the “cookies argument” outside of this definition. (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)

This chapter attempts to establish an understanding of the concept of logic. Since there is no unanimous definition of logic, we shall consider some definitions which will facilitate our development of a working definition. This will be followed by a historical trajectory of logic as a discipline, and thereafter, an exposition of the scope and subject matter of logic, as well as the laws of thought shall be given. The aspects or divisions of logic shall also be examined here-in. This (...) chapter shall also include an overview of arguments in logic. This will be done by means of some definitions which will facilitate an understanding of the concept of argument. Since arguments are constituted by sentences which are called propositions, a distinction shall be made between sentences in the ordinary sense and in the propositional sense. This will be followed by a quick glance at the components of arguments. Inference, a term which denotes the relationship between the components of arguments, namely, premises and conclusions, shall also be considered. Also to be discussed in this chapter are: types and kinds of arguments, some instantiations of arguments, truth-value of propositions, validity and invalidity of arguments as well as sound and unsound arguments. A briefing on the usefulness of arguments to man shall also be given in this chapter. The end-point of this chapter shall be a discourse on the relevance or value of logic as it applies to our daily living. (shrink)

In a world filled with information overload and complex problems, the ability to think logically is a superpower. "A Little More Logical" is your guide to mastering this essential skill. This engaging and accessible open educational resource is perfect for students, teachers, and lifelong learners who want to improve their critical thinking abilities and make better decisions in all aspects of life. -/- Through a series of fun and interactive chapters, "A Little More Logical" covers a wide range of topics, (...) from the basics of constructing sound arguments to the application of logic in fields like ethics, science, and computing. You'll learn how to spot and avoid common fallacies, analyze real-world arguments, and use logical reasoning to solve problems and make informed choices. -/- But this book isn't just about abstract concepts – it's about the human story behind logic. You'll discover the fascinating lives and ideas of diverse thinkers, from ancient philosophers to modern-day pioneers, who have shaped the development of logical reasoning throughout history. With thought-provoking examples, engaging exercises, and plenty of humor along the way, "A Little More Logical" makes the study of logic both rigorous and entertaining. -/- Whether you're a student looking to ace your philosophy class, a teacher searching for high-quality educational resources, or a curious reader who wants to sharpen your mind, "A Little More Logical" is the perfect companion on your journey to becoming a more effective thinker. Unlock the power of logical thinking today with this one-of-a-kind open educational resource! (shrink)

Aristotle determines eristic argument as argument which either operates upon the basis of acceptable premisses (endoxa) 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 (or, again, argument which uses both of these mechanisms). 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 endoxa in terms of a relational concept of acceptability. Real Índoxa are propositions which are accepted by a qualified group or individual. False endoxa 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 endoxa as a norm for premiss-acceptance. In particular, eristic arguments may even be valid in the sense of a syllogismos 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 endoxa. (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)

This chapter attempts to establish an understanding of the concept of logic. Since there is no unanimous definition of logic, we shall consider some definitions which will facilitate our development of a working definition. This will be followed by a historical trajectory of logic as a discipline, and thereafter, an exposition of the scope and subject matter of logic, as well as the laws of thought shall be given. The aspects or divisions of logic shall also be examined here-in. This (...) chapter shall also include an overview of arguments in logic. This will be done by means of some definitions which will facilitate an understanding of the concept of argument. Since arguments are constituted by sentences which are called propositions, a distinction shall be made between sentences in the ordinary sense and in the propositional sense. This will be followed by a quick glance at the components of arguments. Inference, a term which denotes the relationship between the components of arguments, namely, premises and conclusions, shall also be considered. Also to be discussed in this chapter are: types and kinds of arguments, some instantiations of arguments, truth-value of propositions, validity and invalidity of arguments as well as sound and unsound arguments. A briefing on the usefulness of arguments to man shall also be given in this chapter. The end-point of this chapter shall be a discourse on the relevance or value of logic as it applies to our daily living. (shrink)

A truth-preservation fallacy is using the concept of truth-preservation where some other concept is needed. For example, in certain contexts saying that consequences can be deduced from premises using truth-preserving deduction rules is a fallacy if it suggests that all truth-preserving rules are consequence-preserving. The arithmetic additive-associativity rule that yields 6 = (3 + (2 + 1)) from 6 = ((3 + 2) + 1) is truth-preserving but not consequence-preserving. As noted in James Gasser’s dissertation, Leibniz has been (...) criticized for using that rule in attempting to show that arithmetic equations are consequences of definitions. -/- A system of deductions is truth-preserving if each of its deductions having true premises has a true conclusion—and consequence-preserving if, for any given set of sentences, each deduction having premises that are consequences of that set has a conclusion that is a consequence of that set. Consequence-preserving amounts to: in each of its deductions the conclusion is a consequence of the premises. The same definitions apply to deduction rules considered as systems of deductions. Every consequence-preserving system is truth-preserving. It is not as well-known that the converse fails: not every truth-preserving system is consequence-preserving. Likewise for rules: not every truth-preserving rule is consequence-preserving. There are many famous examples. In ordinary first-order Peano-Arithmetic, the induction rule yields the conclusion ‘every number x is such that: x is zero or x is a successor’—which is not a consequence of the null set—from two tautological premises, which are consequences of the null set, of course. The arithmetic induction rule is truth-preserving but not consequence-preserving. Truth-preserving rules that are not consequence-preserving are non-logical or extra-logical rules. Such rules are unacceptable to persons espousing traditional truth-and-consequence conceptions of demonstration: a demonstration shows its conclusion is true by showing that its conclusion is a consequence of premises already known to be true. The 1965 Preface in Benson Mates (1972, vii) contains the first occurrence of truth-preservation fallacies in the book. (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)

Consider the following. The first is a one-premise argument; the second has two premises. The question sign marks the conclusions as such. -/- Matthew, Mark, Luke, and John wrote Greek. ? Every evangelist wrote Greek. -/- Matthew, Mark, Luke, and John wrote Greek. Every evangelist is Matthew, Mark, Luke, or John. ? Every evangelist wrote Greek. -/- The above pair of premise-conclusion arguments is of a sort familiar to logicians and philosophers of science. In each case the first premise is (...) logically equivalent to the set of four atomic propositions: “Matthew wrote Greek”, “Mark wrote Greek”, “Luke wrote Greek”, and “John wrote Greek”. The universe of discourse is the set of evangelists. We presuppose standard first-order logic. -/- As many logic texts teach, the first of these two premise-conclusion arguments—sometimes called a complete enumerative induction— is invalid in the sense that its conclusion does not follow from its premises. To get a counterargument, replace ‘Matthew’, ‘Mark’, ‘Luke’, and ‘John’ by ‘two’,’four’, ‘six’ and ‘eight’; replace ‘wrote Greek’ by ‘are even’; and replace ‘evangelist’ by ‘number’. This replacement converts the first argument into one having true premises and false conclusion. -/- But the same replacement performed on the second argument does no such thing: it converts the second premise into the falsehood “Every number is two, four, six, or eight”. As many logic texts teach, there is no replacement that converts the second argument into one with all true premises and false conclusion. The second is valid; its conclusion is deducible from its two premises using an instructive natural deduction. -/- This paper “does the math” behind the above examples. The theorem could be stated informally: the above examples are typical. (shrink)

Logical abductivism is the epistemic view about logic according to which logical theories are justified by abduction (or Inference to the Best Explanation), that is on how well they explain the relevant evidence, so that the correct logical theory turns out to be the one that explains it best. Arguably, this view should be equally applied to both deductive and non-deductive logics, abduction included. But while there seems to be nothing wrong in principle in using abduction to determine (...) the correct logical theories of deduction and induction, things might be more complicated regarding logical theories of abduction. We may wonder whether allowing for an abductive justification of a theory of abduction is an epistemically legitimate move, since here circularity casts its shadow and makes the situation darker. This is the issue to which this work is devoted. I will defend that, to be effective, an abductive justification for a theory of abduction calls for a justification of abduction in advance, which we do not yet have. (shrink)

John D. Norton is responsible for a number of influential views in contemporary philosophy of science. This paper will discuss two of them. The material theory of induction claims that inductive arguments are ultimately justified by their material features, not their formal features. Thus, while a deductive argument can be valid irrespective of the content of the propositions that make up the argument, an inductive argument about, say, apples, will be justified (or not) depending on facts about (...) apples. The argument view of thought experiments claims that thought experiments are arguments, and that they function epistemically however arguments do. These two views have generated a great deal of discussion, although there hasn’t been much written about their combination. I argue that despite some interesting harmonies, there is a serious tension between them. I consider several options for easing this tension, before suggesting a set of changes to the argument view that I take to be consistent with Norton’s fundamental philosophical commitments, and which retain what seems intuitively correct about the argument view. These changes require that we move away from a unitary epistemology of thought experiments and towards a more pluralist position. (shrink)

When an empirical prediction E of hypothesis H is observed to be true, such observation is said to confirm, i.e., support (although not prove) the truth of the hypothesis. But why? What justifies the claim that such evidence supports the hypothesis? The widely accepted answer is that it is justified by induction. More specifically, it is commonly held that the following argument, (1) If H then E; (2) E; (3) Therefore, (probably) H (here referred to as ‘hypothetico-deductive confirmation argument’), (...) is inductively strong. Yet this argument looks nothing like an inductive generalization, i.e., it does not seem inductive in the term’s traditional, enumerative sense. If anything, it has the form of the fallacy of affirming the consequent. This paper aims to solve this puzzle. True, in recent decades, ‘induction’ has been sometimes used more broadly to encompass any non-deductive, i.e., ampliative, argument. Applying Bayesian confirmation theory has famously demonstrated that hypothetico-deductive confirmation is indeed inductive in this broader, ampliative sense. Nonetheless, it will be argued here that, despite appearance, hypothetico-deductive confirmation can also be recast as enumerative induction. Hence, by being enumeratively inductive, the scientific method of hypothetico-deductive confirmation is justified through this traditional, more restrictive type of induction rather than merely by ampliative induction. (shrink)

: According to Kant, the arguments of rational psychology are formal fallacies that he calls transcendental paralogisms. It remains heavily debated whether there actually is any formal error in the inferences Kant presents: according to Grier and Allison, they are deductively invalid syllogisms, whereas Bennett, Ameriks, and Van Cleve deny that they are formal fallacies. I advance an interpretation that reconciles these extremes: transcendental paralogisms are sound in general logic but constitute formal fallacies in transcendental logic. By formalising the paralogistic (...) inference, I will pinpoint the error as an illegitimate existential presupposition. Since - unlike transcendental logic - general logic abstracts from all objects, this error can only be detected in transcendental logic. (shrink)

For years, the European world saw millions of swans, and all of them without exception were white. If inductive reasoning is valid, one may conclude that all swans are white. However, this would be incorrect: in 1667 Dutch explorer Willem de Vlamingh observed black swans in Australia, falsifying the hypothesis that all swans are white. While often used as a cautionary tale for the use of induction, such as with Popper’s falsification principle, I want to explore a slightly different (...) idea: does the existence of fabricated or otherwise failed accounts of Black swans give me a reason to ignore future arguments or doubt their existence? I argue that while faulty or fabricated reports do not give us a logical reason to reject a claim, they can give us a practical one for refusing to consider future arguments. This practical vs logical distinction gives an inductive reason for believing that future arguments will be invalid, but keeps one from being able to necessarily deny the claim in question without further argumentation. (shrink)

SummaryIn this paper, two different theoretical problems of induction are delineated. The first problem is addressed; the second problem is deferred to the sequel to this paper. The first problem of induction is taken to be the seemingly unformalizable nature of traditional inductive arguments. It is shown that the problem does not arise out of some particularly dubious argument form , but rather from the presupposition that inductive “logic” is, like deductive logic, assertoric. Rather , inductive (...) logic is dialectical in nature.RésuméDans cet article, deux problèmes théoriques de l'induction sont formulés. Le premier est traité, le second le sera dans une suite à cet article. Le premier problème de l'induction est ici la nature apparemment non formalisable des arguments inductifs traditionnels. L'auteur montre que le problème ne provient pas d'une forme d'argumentation particulièrement douteuse , mais au contraire de la présupposition que la «logique» inductive est, comme la logique déductive, assertorique. Il soutient au contraire qu'elle est par nature dialectique.ZusammenfassungIn der vorliegenden Arbeit werden zwei theoretische Probleme der Induktion formuliert, wovon das zweite in einem anderen Artikel behandelt werden soll. Das erste Problem betrifft die scheinbar nicht formalisierbare Natur der üblichen induktiven Argumente. Der Verfasser zeigt dass das Problem nicht von einer besonders zweifelhaften Argumentationsform herrührt , sondern von der Voraussetzung, dass die induktive «Logik» — wie die deduktive Logik — assertorisch sei. Es wird dagegen gezeigt, dass die induktive Logik dialektischer Natur ist. (shrink)

Filosofia limbajului are legătură cu studiul modului în care limbajul nostru se implică și interacționează cu gândirea noastră. Studierea logicii și relația dintre logică și vorbirea obișnuită poate ajuta o persoană să își structureze mai bine propriile argumente și să critice argumentele celorlalți. Înțelesul este modul în care pot fi considerate în mod corespunzător cuvinte, simboluri, idei și convingeri, definiția sa depinzând de teoria abordată, precum teoria corespondenței, teoria coerenței, teoria constructivistă, teoria consensului sau teoria pragmatică. Există mai multe explicații (...) distince despre ceea ce înseamnă un „sens” lingvistic, în funcție de diverse teorii (ideologice, adevăr-condiționale, de utilizare a limbajului, constructiviste, de referință, verificaționiste, pragmatice, etc.) Investigațiile privind modul în care limbajul interacționează cu lumea sunt numite teorii de referință. Sensul unei propoziții este gândul pe care îl exprimă. Un astfel de gând este abstract, universal și obiectiv. Sensurile determină referința și sunt, de asemenea, modurile de prezentare a obiectelor la care se referă expresiile. Referințele sunt obiectele din lume despre care vorbesc cuvintele. Filosofia limbajului explorează relația dintre limbă și realitate, în special filosofia problemelor de studiu lingvistic care nu pot fi abordate de alte domenii. Logica filozofică se ocupă de descrieri formale ale limbajului obișnuit, nespecializat („natural”). -/- CUPRINS: -/- 1. Filosofia limbajului - 1.1 Istorie - - Filosofia antică - - Filosofia medievală - - Filosofia modernă - - Filosofia contemporană - 1.2 Subiecte și sub-domenii majore - - Compoziție și părți - - Natura sensului - - Referinţă - - Mintea și limba - - - Înnăscut și învățat - - - Limba și gândul - - Interacțiunea socială și limba - 1.3 Limbajul și filozofia continentală - 1.4 Probleme în filosofia limbajului - - Imprecizia - - Problema universalului și a compoziției - - Natura limbajului - - Abordări formale versus informale - - Traducere și interpretare - 1.5 Nominalism - - Istorie - - - Filozofia greacă veche - - - Filozofia medievală - - - Filosofia modernă și contemporană - - Problema universalelor - - Tipuri - - - Filosofie analitică și matematică - - Critica originilor istorice ale termenului 2. Înțeles - 2.1 Adevăr și înțeles - - Teorii majore ale înțelesului - - - Teoria corespondenței - - - Teoria coerenței - - - Teoria constructivistă - - - Teoria consensului - - - Teoria pragmatică - - Teorii și comentarii asociate - - - Logica și limbajul - - - Gottlob Frege - - - Bertrand Russell - - - Alte teorii ale adevărului - - - Saul Kripke - - - Criticile teoriilor de adevăr ale înțelesului - 2.2 Bertrand Russell, Despre denotare - - "Fraza care denotă" - - - Concepția lui Russell despre o frază care denotă - - - Referința la ceva care nu există - - - Epistemologie - - Teoria descrierilor - - - Descrierea matematică - - - Ilustrare - - - Meinong - - Rezolvarea problemei existențialelor negative - - - Declarații despre concepte în care obiectul nu există - - - Ambiguitate - - - Nume fictive - - Critici - 2.3 Sens și referință - - Precursori - - - Antistene - - - John Stuart Mill - 2.3.1 Sens - - Sens și descriere - - Traducerea Bedeutung - - Natura sensului - 2.3.2 Referinţă - 2.4 Nume proprii - - Problema - 2.4.1 Teorii - - Teoria lui Mill - - Teoria bazată pe sensul numelor - - Teoria descriptivă - - Teoria cauzală a numelor - - Teorii de referință directă - - Filosofia continentală - 2.5 Gottlob Frege, Despre sens și referință - 2.6 Teorii cauzale ale referinței - - Motivaţie - - Variații - 2.6.1 Teoria cauzală a referinței a lui Saul Kripke - 2.6.2 Teoria cauzală a referinței a lui Gareth Evans - 2.6.3 Teoria cauzală a referinței a lui Michael Devitt - 2.6.4 Blockchain și arborele cauzal al referinței - 2.6.5 Perspective - 2.7 Saul Kripke, Numire și necesitate - 2.7.1 Prelegerea I - 2.7.2 Prelegerea II - 2.7.3 Prelegerea III - 2.7.4 Concluzii - 2.8 Kit Fine, Relaționismul semantic - - A. Antinomia variabilei - - B. Abordarea tarskiană - - C. Respingerea rolului semantic - - D. Abordarea instanțială - - E. Abordarea algebrică - - F. Abordarea relațională - - G. Semantica relațională pentru logica de primul ordin 3. Logica - Concepte - - Forma logică - - Semantică - - Inferență - - Sisteme logice - - Logică și raționalitate - - Concepte rivale - Tipuri - - Logica silogistică - - Logica propozițională - - Logica predicatelor - - Logica modală - - Raționament informal și dialectică - - Logica matematică - - Logica filozofică - - Logica computațională - - Logica non-clasică - Controverse - - "Este logica empirică?" - - Implicare: Strictă sau materială - - Tolerarea imposibilului - - Respingerea adevărului logic - 3.1 Filosofia logicii - - Adevăr - - - Purtătorii de adevăr - - - Adevăruri analitice, adevăr logic, valabilitate, consecință logică și implicare - 3.2 Logica propozițională - - Explicaţie - - Istorie - - Terminologie - - Noțiuni de bază - - - Închiderea sub operații - - - Argument - 3.3 Logica predicatelor - - Introducere - - Sintaxa - - - Alfabetul - - - - Simboluri logice - - - - Simboluri non-logice - - - Regulile formării - - - - Termeni - - - - Formule - - - - Convenții notaționale - - - Variabile libere și legate - - Semantica - - - Structuri de prim ordin - - - Evaluarea valorilor de adevăr - - - Valabilitate, satisfabilitate și consecință logică - - - Algebrizare - - - Teorii, modele și clase elementare de prim ordin - - - Domenii goale - 3.4 Logica modală - - Dezvoltarea logicii modale - - Semantica - - - Teoria modelului - - - Sisteme axiomatice - - - Teoria dovezilor structurale - - - Metode de decizie - - Tipuri de logici modale - - - Logica aletică - - - Logica epistemică - - - Logica temporală - - - Logica deontică - - - Logica doxastică - - - Alte logici modale - - Ontologia posibilității - - Controverse - 3.5 Declarații - - Declarația ca o entitate abstractă - 3.6 Dileme - - Utilizarea dilemei în logică - 3.7 Argumente - - Formal și informal - - Tipuri standard - - - Argumente deductive - - - Argumente inductive - 3.8 Actualism - - Exemplu - - Puncte de vedere filosofice - - Analiza indexicală a actualității - 3.9 Lumi posibile - - Posibilitate, necesitate și contingență - - Semantica formală a logicii modale - - De la logica modală la instrumentul filosofic - - Teoria lumii posibile în studiile literare - 3.9.1 Lumi reale, ne-reale dar posibile, și imposibile - - Lumi posibile logic - - Constituienții lumilor posibile - 3.10 Saul Kripke - - Wittgenstein - - Adevăr - 3.10.1 Logica modală - - Modele canonice - - Modele Carlson - 3.10.2 Logica intuiționistă - - Logica intuiționistă de ordinul întâi - 3.10.3 Nume și Necesitate - - "Un puzzle despre credință" Referințe Despre autor - Nicolae Sfetcu - - De același autor - - Contact Editura - MultiMedia Publishing . (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. -/- KEY WORDS: hypothesis, theorem, argumentation, proof, deduction, premise-conclusion argument, valid, inference, implication, epistemic, ontic, cogent, fallacious, paradox, formal, validation. (shrink)

David Stove was a philosopher strong on argument and polemic. His work on the logical intepretation of probability led to a defence of induction in The Rationality of Induction (1986). It resulted too in his denunciation of Popper, Kuhn, Lakatos and Feyeraband as irrationalists because of their "deductivism" (the thesis that the only logic is deductive logic). Stove also defended controversial views on the intelligence of women and on Darwinism. The article surveys his life and work.

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

It is one thing for a given proposition to follow or to not follow from a given set of propositions and it is quite another thing for it to be shown either that the given proposition follows or that it does not follow.* Using a formal deduction to show that a conclusion follows and using a countermodel to show that a conclusion does not follow are both traditional practices recognized by Aristotle and used down through the history of logic. These (...) practices presuppose, respectively, a criterion of validity and a criterion of invalidity each of which has been extended and refined by modern logicians: deductions are studied in formal syntax (proof theory) and coun¬termodels are studied in formal semantics (model theory). The purpose of this paper is to compare these two criteria to the corresponding criteria employed in Boole’s first logical work, The Mathematical Analysis of Logic (1847). In particular, this paper presents a detailed study of the relevant metalogical passages and an analysis of Boole’s symbolic derivations. It is well known, of course, that Boole’s logical analysis of compound terms (involving ‘not’, ‘and’, ‘or’, ‘except’, etc.) contributed to the enlargement of the class of propositions and arguments formally treatable in logic. The present study shows, in addition, that Boole made significant contributions to the study of deduc¬tive reasoning. He identified the role of logical axioms (as opposed to inference rules) in formal deductions, he conceived of the idea of an axiomatic deductive sys¬tem (which yields logical truths by itself and which yields consequences when ap¬plied to arbitrary premises). Nevertheless, surprisingly, Boole’s attempt to imple¬ment his idea of an axiomatic deductive system involved striking omissions: Boole does not use his own formal deductions to establish validity. Boole does give symbolic derivations, several of which are vitiated by “Boole’s Solutions Fallacy”: the fallacy of supposing that a solution to an equation is necessarily a logical consequence of the equation. This fallacy seems to have led Boole to confuse equational calculi (i.e., methods for gen-erating solutions) with deduction procedures (i.e., methods for generating consequences). The methodological confusion is closely related to the fact, shown in detail below, that Boole had adopted an unsound criterion of validity. It is also shown that Boole totally ignored the countermodel criterion of invalid¬ity. Careful examination of the text does not reveal with certainty a test for invalidity which was adopted by Boole. However, we have isolated a test that he seems to use in this way and we show that this test is ineffectual in the sense that it does not serve to identify invalid arguments. We go beyond the simple goal stated above. Besides comparing Boole’s earliest criteria of validity and invalidity with those traditionally (and still generally) employed, this paper also investigates the framework and details of THE MATHEMATICAL ANALYSIS OF LOGIC. (shrink)

We proceed to describe a model for the formation and maintenance of polythematic delusions encountered in schizophrenia, which is in adequacy with Brendan Maher's account of delusions. Polythematic delusions are considered here as the conclusions of arguments triggered by apophenia that include some very common errors of reasoning such as post hoc fallacy and confirmation bias. We describe first the structure of reasoning which leads to delusions of reference, of telepathy and of influence, by distinguishing between the primary, secondary, (...) tertiary and quaternary types of delusional arguments. These four levels of arguments correspond to a stage the nature of which is respectively instantial, inductive, interpretative at a monothematic level and interpretative at a polythematic level. We also proceed to identify accurately the fallacious steps in the corresponding reasoning. We expose then the role of apophenia in the elaboration of delusional ideas. Lastly, we describe the role played by the hallucinations in the present model. (shrink)

While the empirical evidence pointing to a gender gap in professional, academic philosophy in the English-speaking world is widely accepted, explanations of this gap are less so. In this paper, we aim to make a modest contribution to the literature on the gender gap in academic philosophy by taking a quantitative, corpus-based empirical approach. Since some philosophers have suggested that it may be the argumentative, “logic-chopping,” and “paradox-mongering” nature of academic philosophy that explains the underrepresentation of women in the discipline, (...) our research questions are the following: Do men and women philosophers make different types of arguments in their published works? If so, which ones and with what frequency? Using data mining and text analysis methods, we study a large corpus of philosophical texts mined from the JSTOR database in order to answer these questions empirically. Using indicator words to classify arguments by type, we search through our corpus to find patterns of argumentation. Overall, the results of our empirical study suggest that women philosophers make deductive, inductive, and abductive arguments in their published works just as much as male philosophers do, with no statistically significant differences in the proportions of those arguments relative to each philosopher’s body of work. (shrink)

Recent years have seen a surge of attention to the problem of logical pluralism; most of which has been a reaction to Beall and Restall’s account of logical pluralism as the existence of more than one equally correct semantic relation of logical consequence. The underlying thesis is that the indeterminacy of the notion of validity goes beyond what the inductive-deductive distinction can precisify. The notion of deductive validity itself is indeterminate as well and this indeterminacy has its (...) roots in the indeterminacy of the more fundamental notion of case. Cases are what make the premisses and the conclusion of an argument true; the most notable example being Tarskian models for classical logic. Deductive validity is the preservation of truth across all cases. This paper argues that unless this account of logical pluralism is supplemented with an argument in favor of the equal legitimacy of the purported cases it becomes merely a semi-controversial exposition of how different logics can be generated. (shrink)

This is a brief primer on elementary logic originally developed for an Applied Ethics course. I offer it here for any who might find it worthwhile or useful.

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)

Drawing on the epistemology of logic literature on anti-exceptionalism about logic, we set out to investigate the following metaphilosophical questions empirically: Is philosophy special? Are its methods (dis)continuous with science? More specifically, we test the following metaphilosophical hypotheses empirically: philosophical deductivism, philosophical inductivism, and philosophical abductivism. Using indicator words to classify arguments by type (namely, deductive, inductive, and abductive arguments), we searched through a large corpus of philosophical texts mined from the JSTOR database (N = 435,703) to find (...) patterns of argumentation. The results of our quantitative, corpus-based study suggest that deductive arguments are significantly more common than abductive arguments and inductive arguments in philosophical texts overall, but they are gradually and steadily giving way to non-deductive (i.e. inductive and abductive) arguments in academic philosophy. (shrink)

This is a commentary on Adrian Heathcote’s interesting paper ‘Hume’s Master Argument’. Heathcote contends that No-Ought-From-Is is primarily a logical thesis, a ban on Is/Ought inferences which Hume derives from the logic of Ockham. NOFI is thus a variation on what Heathcote calls ‘Hume’s Master Argument’, which he also deploys to prove that conclusions about the future (and therefore a-temporal generalizations) cannot be derived by reason from premises about the past, and that conclusions about external objects or other minds cannot (...) be derived by reason from premises about impressions. Heathcote raises an important question. Having (apparently) argued that our inductive inferences are not justified by reason, Hume puts them down to Custom, and seems to suggest that we OUGHT to indulge this propensity but NOt the superstitious propensities that lead to religious belief. (Query: Why is it right to indulge one non-rational propensity but not the others?) Finally Heathcote argues that just as there are valid, but not formally valid, arguments taking us from claims about inferential relations to claims about what we ought to believe, so there may be valid, but not formally valid, arguments taking us from factual claims about some situation to claims about what we ought to do. -/- I reply that Hume does indeed have a Master Argument and that it does rely on logical principles but not on the logic of Ockham which had been largely forgotten by Hume’s day. Instead Hume relies on the idea widely believed in the 18th Century and taught to Hume at Edinburgh by his logic Professor Colin Drummond, that in a logically valid argument the conclusion is contained in the premises. I reconstruct Hume’s Master Argument using this principle. I draw a careful distinction between two theses: 1) that we cannot get from non-moral premises to moral conclusions with the aid of logic alone and 2) that we cannot get from non-moral premises to moral conclusions with aid of analytic bridge principles. Hume believed the first but not the second. What then is the role of NOFI in the larger argument of the Treatise? To show that the truths of ethics cannot be derived via logic from self-evident truths of some other kind and thus that they are not demonstrable. How can we make sense of Hume’s apparent belief that it is sometimes right to transcend reason and sometimes not? In the case of Custom, we live in a world governed by causal regularities, and, in such a world, induction is in fact a fairly reliable belief-forming mechanism. Thus a suitably qualified spectator (one aware of the kind of world we live in) would tend to approve of indulging it, even if it cannot be justified by reason. However, our superstitious propensities are (and can be known to be) unreliable, since they produce different and inconsistent results in different people. Thus it is it is wrong (something a suitably qualified spectator would disapprove of) to indulge the faculty of Superstition. I also take issue with Heathcote’s penchant for valid, but not formally valid, inferences. I supply the missing premises for Heathcote’s Is/Ought inferences and argue that they are either not true or not necessary. (shrink)

John Maynard Keynes’s A Treatise on Probability is the seminal text for the logical interpretation of probability. According to his analysis, probabilities are evidential relations between a hypothesis and some evidence, just like the relations of deductive logic. While some philosophers had suggested similar ideas prior to Keynes, it was not until his Treatise that the logical interpretation of probability was advocated in a clear, systematic and rigorous way. I trace Keynes’s influence in the philosophy of probability through a (...) heterogeneous sample of thinkers who adopted his interpretation. This sample consists of Frederick C. Benenson, Roy Harrod, Donald C. Williams, Henry E. Kyburg and David Stove. The ideas of Keynes prove to be adaptable to their diverse theories of probability. My discussion indicates both the robustness of Keynes’s probability theory and the importance of its influence on the philosophers whom I describe. I also discuss the Problem of the Priors. I argue that none of those I discuss have obviously improved on Keynes’s theory with respect to this issue. (shrink)

[English in PhilArchive, unpublished]. Ruđer Bošković's (Rogerius Joseph Boscovich, 1711-1787) induction is described as a reasoning procedure that combines abductive, generalizing and deductive forms of inference. According to Bošković, the application of inductive reasoning extends beyond natural science. Bošković's critique of the use of the principle of sufficient reason is discussed, and constructive rules of Bošković's inductive logic are proposed from the standpoint of contemporary justification logic. To that end, justification logic could be extended with Bošković's typology (...) of reasons. Hunter's result (1965) is conceived as a confirmation that the inference from the constructive defectus rationis is a necessary component of Bošković's induction. - English version in _PhilArchive_. (shrink)

Many scholars believe that "On a New List of Categories" is a metaphysical or transcendental deduction. This essay will argue that Peirce derives the categories by induction and validates their order by precision . Afterwards, the article will draw support from Peirce's youthful and mature writings to explain how the new way of listing the categories can serve as a genealogy of meaning : how different types of terms, propositions and arguments emerge in the reasoning process as different types of (...) signs. In this way, the genealogy of meaning would then qualify as both a phenomenology of logic and a science of semiotics.. Such a science of semiotics will have three types of comparison corresponding to the sign-relation in inference: namely, uniparance, diaparance and comparance. Then, the three types of comparison will give rise to three types of relative in different types of proposition: namely, concurrent, disquiparant, and equal. Finally, the three types of relative will give rise to different types of signs corresponding to different types of terms: namely, icons, indices and symbols. With this classification, then, there is an explanation of how the reasoning process is a semiotic process with three forms of valid arguments: namely, hypothesis, induction and deduction . (shrink)

PLEASE NOTE: This is the corrected 2nd eBook edition, 2021. ●●●●● _Critique of Impure Reason_ has now also been published in a printed edition. To reduce the otherwise high price of this scholarly, technical book of nearly 900 pages and make it more widely available beyond university libraries to individual readers, the non-profit publisher and the author have agreed to issue the printed edition at cost. ●●●●● The printed edition was released on September 1, 2021 and is now available through (...) all booksellers, including Barnes & Noble, Amazon, and brick-and-mortar bookstores under ISBN 978-0-578-88646-6. ●●●●● In light of the length of this book, readers who would like to have a more detailed description of the book's objectives and method may find it helpful to read the detailed and clearly written Wikipedia entry about this work: From the Wikipedia search page, use the search phrase "Critique of Impure Reason". At least at the time of this writing (11/29/2021), the Wikipedia entry is well-researched and accurate. ●●●●● In addition, a "Primer on Bartlett's CRITIQUE OF IMPURE REASON" has been made available by the author. It is available under its title through PhilPapers and other philosophy online archives. ●●●●● COMMENDATIONS OF THIS WORK, from the back cover of the published edition: ●●●●● “I admire its range of philosophical vision.” – Nicholas Rescher, Distinguished University Professor of Philosophy, University of Pittsburgh, author of more than 100 books. ●●●●● “Bartlett’s _Critique of Impure Reason_ is an impressive, bold, and ambitious work. Careful scholarship is balanced by original analyses that lead the reader to recognize the limits of meaning, knowledge, and conceptual possibility. The work addresses a host of traditional philosophical problems, among them the nature of space, time, causality, consciousness, the self, other minds, ontology, free will and determinism, and others. The book culminates in a fascinating and profound new understanding of relativity physics and quantum theory.” – Gerhard Preyer, Professor of Philosophy, Goethe-University, Frankfurt am Main, Germany, author of many books including _Concepts of Meaning_, _Beyond Semantics and Pragmatics_, _Intention and Practical Thought_, and _Contextualism in Philosophy_. ●●●●● “[This work’s] goal is of a unique and difficult species: Dr. Bartlett seeks to develop a formal logical calculus on the basis of transcendental philosophical arguments; in fact, he hopes that this calculus will be the formal expression of the transcendental foundation of knowledge.... I consider Dr. Bartlett’s work soundly conceived and executed with great skill.” – C. F. von Weizsäcker, philosopher and physicist, former Director, Max-Planck-Institute, Starnberg, Germany. ●●●●● “Bartlett has written an American “Prolegomena to All Future Metaphysics.” He aims rigorously to eliminate meaningless assertions, reach bedrock, and place philosophy on a firm foundation that will enable it, like science and mathematics, to produce lasting results that generations to come can build on. This is a great book, the fruit of a lifetime of research and reflection, and it deserves serious attention.” — Martin X. Moleski, former Professor, Canisius College, Buffalo, NY, studies of scientific method, the presuppositions of thought, and the self-referential nature of epistemology. ●●●●● “Bartlett has written a book on what might be called the underpinnings of philosophy. It has fascinating depth and breadth, and is all the more striking due to its unifying perspective based on the concepts of reference and self-reference.” – Don Perlis, Professor of Computer Science, University of Maryland, author of numerous publications on self-adjusting autonomous systems and philosophical issues concerning self-reference, mind, and consciousness. ●●●●● ●●●●● The _Critique of Impure Reason: Horizons of Possibility and Meaning_ comprises a major and important contribution to philosophy. Thanks to the generosity of its publisher, this massive 885-page volume has been published as a free open access eBook (3.75MB) as well as an open access printed edition. It inaugurates a revolutionary paradigm shift in philosophical thought by providing compelling and long-sought-for solutions to a wide range of philosophical problems. In the process, the work fundamentally transforms the way in which the concepts of reference, meaning, and possibility are understood. The book includes a Foreword by the celebrated German philosopher and physicist Carl Friedrich von Weizsäcker. ●●●●● In Kant’s _Critique of Pure Reason_ we find an analysis of the preconditions of experience and of knowledge. In contrast, but yet in parallel, the new _Critique_ focuses upon the ways—unfortunately very widespread and often unselfconsciously habitual—in which many of the concepts that we employ _conflict_ with the very preconditions of meaning and of knowledge. ●●●●● This is a book about the boundaries of frameworks and about the unrecognized conceptual confusions in which we become entangled when we attempt to transgress beyond the limits of the possible and meaningful. We tend either not to recognize or not to accept that we all-too-often attempt to trespass beyond the boundaries of the frameworks that make knowledge possible and the world meaningful. ●●●●● The _Critique of Impure Reason_ proposes a bold, ground-breaking, and startling thesis: that a great many of the major philosophical problems of the past can be solved through the recognition of a viciously deceptive form of thinking to which philosophers as well as non-philosophers commonly fall victim. For the first time, the book advances and justifies the criticism that a substantial number of the questions that have occupied philosophers fall into the category of “impure reason,” violating the very conditions of their possible meaningfulness. ●●●●● The purpose of the study is twofold: first, to enable us to recognize the boundaries of what is referentially forbidden—the limits beyond which reference becomes meaningless—and second, to avoid falling victims to a certain broad class of conceptual confusions that lie at the heart of many major philosophical problems. As a consequence, the boundaries of _possible meaning_ are determined. ●●●●● Bartlett, the author or editor of more than 20 books, is responsible for identifying this widespread and delusion-inducing variety of error, _metalogical projection_. It is a previously unrecognized and insidious form of erroneous thinking that undermines its own possibility of meaning. It comes about as a result of the pervasive human compulsion to seek to transcend the limits of possible reference and meaning. ●●●●● Based on original research and rigorous analysis combined with extensive scholarship, the _Critique of Impure Reason_ develops a self-validating method that makes it possible to recognize, correct, and eliminate this major and pervasive form of fallacious thinking. In so doing, the book provides at last provable and constructive solutions to a wide range of major philosophical problems. ●●●●● CONTENTS AT A GLANCE ▪▪▪▪▪ Preface ▪▪▪▪▪ Foreword by Carl Friedrich von Weizsäcker ▪▪▪▪▪ Acknowledgments ▪▪▪▪▪ Avant-propos: A philosopher’s rallying call ▪▪▪▪▪ Introduction ▪▪▪▪▪ A note to the reader ▪▪▪▪▪ A note on conventions ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART I ▪▪▪▪▪ ▪▪▪▪▪ WHY PHILOSOPHY HAS MADE NO PROGRESS AND HOW IT CAN ▪▪▪▪▪ 1 Philosophical-psychological prelude ▪▪▪▪▪ 2 Putting belief in its place: Its psychology and a needed polemic ▪▪▪▪▪ 3 Turning away from the linguistic turn: From theory of reference to metalogic of reference ▪▪▪▪▪ 4 The stepladder to maximum theoretical generality ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART II ▪▪▪▪▪ THE METALOGIC OF REFERENCE ▪▪▪▪▪ A New Approach to Deductive, Transcendental Philosophy ▪▪▪▪▪ 5 Reference, identity, and identification ▪▪▪▪▪ 6 Self-referential argument and the metalogic of reference ▪▪▪▪▪ 7 Possibility theory ▪▪▪▪▪ 8 Presupposition logic, reference, and identification ▪▪▪▪▪ 9 Transcendental argumentation and the metalogic of reference ▪▪▪▪▪ 10 Framework relativity ▪▪▪▪▪ 11 The metalogic of meaning ▪▪▪▪▪ 12 The problem of putative meaning and the logic of meaninglessness ▪▪▪▪▪ 13 Projection ▪▪▪▪▪ 14 Horizons ▪▪▪▪▪ 15 De-projection ▪▪▪▪▪ 16 Self-validation ▪▪▪▪▪ 17 Rationality: Rules of admissibility ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART III ▪▪▪▪▪ PHILOSOPHICAL APPLICATIONS OF THE METALOGIC OF REFERENCE ▪▪▪▪▪ Major Problems and Questions of Philosophy and the Philosophy of Science ▪▪▪▪▪ 18 Ontology and the metalogic of reference ▪▪▪▪▪ 19 Discovery or invention in general problem-solving, mathematics, and physics ▪▪▪▪▪ 20 The conceptually unreachable: “The far side” ▪▪▪▪▪ 21 The projections of the external world, things-in-themselves, other minds, realism, and idealism ▪▪▪▪▪ 22 The projections of time, space, and space-time ▪▪▪▪▪ 23 The projections of causality, determinism, and free will ▪▪▪▪▪ 24 Projections of the self and of solipsism ▪▪▪▪▪ 25 Non-relational, agentless reference and referential fields ▪▪▪▪▪ 26 Relativity physics as seen through the lens of the metalogic of reference ▪▪▪▪▪ 27 Quantum theory as seen through the lens of the metalogic of reference ▪▪▪▪▪ 28 Epistemological lessons learned from and applicable to relativity physics and quantum theory ▪▪▪▪▪ ▪▪▪▪▪ PART IV ▪▪▪▪▪ HORIZONS ▪▪▪▪▪ 29 Beyond belief ▪▪▪▪▪ 30 _Critique of Impure Reason_: Its results in retrospect ▪▪▪▪▪ ▪▪▪▪▪ SUPPLEMENT ▪▪▪▪▪ The Formal Structure of the Metalogic of Reference ▪▪▪▪▪ APPENDIX I ▪▪▪▪▪ The Concept of Horizon in the Work of Other Philosophers ▪▪▪▪▪ APPENDIX II ▪▪▪▪▪ Epistemological Intelligence ▪▪▪▪▪ References ▪▪▪▪▪ Index ▪▪▪▪▪ About the author. (shrink)

While the traditional conception of inductive logic is Carnapian, I develop a Peircean alternative and use it to unify formal learning theory, statistics, and a significant part of machine learning: supervised learning. Some crucial standards for evaluating non-deductive inferences have been assumed separately in those areas, but can actually be justified by a unifying principle.

This essay (a revised version of my undergraduate honors thesis at Stanford) constructs a theory of analogy as it applies to argumentation and reasoning, especially as used in fields such as philosophy and law. The word analogy has been used in different senses, which the essay defines. The theory developed herein applies to analogia rationis, or analogical reasoning. Building on the framework of situation theory, a type of logical relation called determination is defined. This determination relation solves a puzzle about (...) analogy in the context of logical argument, namely, whether an analogous situation contributes anything logically over and above what could be inferred from the application of prior knowledge to a present situation. Scholars of reasoning have often claimed that analogical arguments are never logically valid, and that they therefore lack cogency. However, when the right type of determination structure exists, it is possible to prove that projecting a conclusion inferred by analogy onto the situation about which one is reasoning is both valid and non-redundant. Various other properties and consequences of the determination relation are also proven. Some analogical arguments are based on principles such as similarity, which are not logically valid. The theory therefore provides us with a way to distinguish between legitimate and illegitimate arguments. It also provides an alternative to procedures based on the assessment of similarity for constructing analogies in artificial intelligence systems. (shrink)

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

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)

Logic is the study of the quality of arguments. An argument consists of a set of premises and a conclusion. The quality of an argument depends on at least two factors: the truth of the premises, and the strength with which the premises confirm the conclusion. The truth of the premises is a contingent factor that depends on the state of the world. The strength with which the premises confirm the conclusion is supposed to be independent of the state of (...) the world. Logic is only concerned with this second, logical factor of the quality of arguments. (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 resolving of the main problem of quantum mechanics about how a quantum leap and a smooth motion can be uniformly described resolves also the problem of how a distribution of reliable data and a sequence of deductive conclusions can be uniformly described by means of a relevant wave function “Ψdata”.

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)

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 (...) class='Hi'>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)

In the article I deal with some paradoxes and errors caused by improper usage of logical and philosophical terms appearing in the arguments for existence of god and other philosophical issues. I point at rst some paradoxes coming om improper usage of propositional calculus as an instrument for analysis of a natural language. this language is actually not using simple sentences but rather propositional functions, their logical connections, and some replacements for variables in them. We still have to deal with (...) so called paradox of material implication. the second paragraph provides formal and metatheoretical critics of Charles Sanders Peirce’s theory of deduction, induction and abduction. I argue that what Peirce and his followers call abduction is actually deduction or some reasoning unable to describe in terms of the logic used by them. Both syllogistic and inferential theory of abduction generate some paradoxes and contradictions. In the last paragraph also some paradoxes and contradictions resulting om the theory of causation by Jan Łukasiewicz are presented. the central issue of the article is erroneous usage of the implication: in logical paraphrases of a natural language, in description of the scienti c reasoning, and in description of causality. However, my objective is not to solve all problems mentioned above but rather to open a discussion over them. (shrink)