The deviation of mathematical proof—proof in mathematical practice—from the ideal of formal proof—proof in formal logic—has led many philosophers of mathematics to reconsider the commonly accepted view according to which the notion of formal proof provides an accurate descriptive account of mathematical proof. This, in turn, has motivated a search for alternative accounts of mathematical proof purporting to be more faithful to the reality of mathematical practice. Yet, in order to develop and evaluate such alternative accounts, it appears as a (...) necessary prerequisite to first possess a clear picture of what the deviation of mathematical proof from formal proof consists in. The present work aims to contribute building such a picture by investigating the relation between the elementary steps of deduction constituting the two types of proofs—mathematical inference and logical inference. Many claims have been made in the literature regarding the relation between mathematical inference and logical inference, most of them stating that the former is lacking properties that are constitutive of the latter. Such differentiating claims are, however, usually put forward without a clear conception of the properties occurring in them, and are generally considered to be immediately justified by our direct acquaintance, or phenomenological experience, with the two types of inferences. The present study purports to advance our understanding of the relation between mathematical inference and logical inference by developing a detailed philosophical analysis of the differentiating claims, that is, an analysis of the meaning of the differentiating claims—through the properties that occur in them—as well as the reasons that support them. To this end, we provide at the outset a representative list of the different properties of logical inference that have occurred in the differentiating claims, and we notice that they all boil down to the three properties of formality, generality, and mechanicality. For each one of these properties, our analysis proceeds in two steps: we first provide precise conceptual characterizations of the different ways logical inference has been said to be formal, general, and mechanical, in the philosophical and logical literature on formal proof; we then examine why mathematical inference does not appear to be formal, general, and mechanical, for the different variations of these notions identified. Our study results in a precise conceptual apparatus for expressing and discussing the properties differentiating mathematical inference from logical inference, and provides a first inventory of the various reasons supporting the observations of those differences. The differentiating claims constitute thus a set of data that any philosophical account of mathematical inference and proof purporting to be more faithful to mathematical practice ought to be able to accommodate and explain. (shrink)

This essay advances and develops a dynamic conception of inference rules and uses it to reexamine a long-standing problem about logical inference raised by Lewis Carroll’s regress.

The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems. Primary attention is focused on: admissible or permissible inference rules the derivability of the admissible inference rules the structural completeness of logics the bases for admissible and valid inference rules. There is particular emphasis on propositional non-standard logics (primary, superintuitionistic and modal logics) but general logical consequence relations and classical first-order theories are also considered. The book (...) is basically self-contained and special attention has been made to present the material in a convenient manner for the reader. Proofs of results, many of which are not readily available elsewhere, are also included. The book is written at a level appropriate for first-year graduate students in mathematics or computer science. Although some knowledge of elementary logic and universal algebra are necessary, the first chapter includes all the results from universal algebra and logic that the reader needs. For graduate students in mathematics and computer science the book is an excellent textbook. (shrink)

The perfect fit of syntactic derivability and logical consequence in first-order logic is one of the most celebrated facts of modern logic. In the present flurry of attention given to the semantics of natural language, surprisingly little effort has been focused on the problem of logical inference in natural language and the possibility of its completeness. Even the traditional theory of the syllogism does not give a thorough analysis of the restricted syntax it uses.My objective is to (...) show how a theory of inference may be formulated for a fragment of English that includes a good deal more than the classical syllogism. The syntax and semantics are made as formal and as explicit as is customary for artificial formal languages. The fragment chosen is not maximal but is restricted severely in order to provide a clear overview of the method without the cluttering details that seem to be an inevitable part of any grammar covering a substantial fragment of a natural language. (Some readers may feel the details given here are too onerous.). (shrink)

Polynomizing is a term that intends to describe the uses of polynomial-like representations as a reasoning strategy and as a tool for scientific heuristics. I show how proof-theory and semantics for classical and several non-classical logics can be approached from this perspective, and discuss the assessment of this prospect, in particular to recover certain ideas of George Boole in unifying logic, algebra and the differential calculus.

This paper develops an inference system for natural language within the ‘Natural Logic’ paradigm as advocated by van Benthem, Sánchez and others. The system that we propose is based on the Lambek calculus and works directly on the Curry-Howard counterparts for syntactic representations of natural language, with no intermediate translation to logical formulae. The Lambek -based system we propose extends the system by Fyodorov et~al., which is based on the Ajdukiewicz/Bar-Hillel calculus Bar Hillel,. This enables the system to (...) deal with new kinds of inferences, involving relative clauses, non-constituent coordination, and meaning postulates that involve complex expressions. Basing the system on the Lambek calculus leads to problems with non-normalized proof terms, which are treated by using normalization axioms. (shrink)

Internalization is a key property of justification logics. It states that justification logics internalize their own notion of proof which is essential for the proof of the realization theorem. The aim of this note is to show how to make use of internalization to track where an agent’s knowledge comes from and how to apply this to the problem of data privacy.

This is the preface for a special volume published by the Journal of Applied Non-Classical Logics Volume 9, Issue 1, 1999.

Merging logic and mathematics in deductive inference-an innovative, cutting-edge approach. Optimization methods for logical inference? Absolutely, say Vijay Chandru and John Hooker, two major contributors to this rapidly expanding field. And even though "solving logical inference problems with optimization methods may seem a bit like eating sauerkraut with chopsticks... it is the mathematical structure of a problem that determines whether an optimization model can help solve it, not the context in which the problem occurs." Presenting (...) powerful, proven optimization techniques for logic inference problems, Chandru and Hooker show how optimization models can be used not only to solve problems in artificial intelligence and mathematical programming, but also have tremendous application in complex systems in general. They survey most of the recent research from the past decade in logic/optimization interfaces, incorporate some of their own results, and emphasize the types of logic most receptive to optimization methods-propositional logic, first order predicate logic, probabilistic and related logics, logics that combine evidence such as Dempster-Shafer theory, rule systems with confidence factors, and constraint logic programming systems. Requiring no background in logic and clearly explaining all topics from the ground up, Optimization Methods for Logical Inference is an invaluable guide for scientists and students in diverse fields, including operations research, computer science, artificial intelligence, decision support systems, and engineering. (shrink)

One of the key concepts in the Philosophy of Logic is the notion of inference. In this paper we expand the notion of logical inference and describe its role in a comprehensive theory of rationality. Some recent rationality theories either presuppose an unattainable logical capacity or they minimize the role of logic, in light of the vast amount of data on fallacious inferential performance. In this paper we defend the view that logical acuity, redefined to (...) include heuristics, is a necessary factor in rationality. We evaluate some presuppositions of algorithmic models and some normative and metatheoretical properties of heuristic models, and defend our model against possible objections. Our revised notion of logical inference functions as the nucleus of the notion of logical acuity which in turn is a necessary building block for a realistic model of rationality. This model emphasizes the logical role of inferential heuristics, cognitive constraints and contextuality, introduces concepts such as "obvious inference", "cautious deductive closure", and "familiarity", and develops the notions of cognitive economy and contextual limitations as tools for evaluating and predicting rational behavior. (shrink)

Some philosophers find the following thesis attractive: for every logical constant C there is a set of logical rules of inference R such that a subject knows the meaning of C if and only if she accepts the rules in R. I point out some obvious but, apparently, easily forgotten difficulties concerning this thesis.

Merker et al. argue that integrated information theory is not a theory of consciousness because the IIT formalism does not match phenomenology. I argue that the authors ultimately fail to articulate the problem of the inference of the postulates from the axioms. I suggest a different version of this problem, and argue that this can help rethink IIT's potential for consciousness science.

In this paper we consider logical inference as an activity that results in proofs and hence produces knowledge. We suggest to merge the semantical analysis of deliberatively seeing-to-it-that from stit theory and the semantics of the epistemic logic with justification from. The general idea is to understand proving that A as seeing to it that a proof of A is available. We introduce a semantics of various notions of proving as an activity and present a number of valid (...) principles that relate the various notions of proving to each other and to notions of justified knowledge, implicit knowledge, and possibility. We also point out and comment upon certain principles our semantics fails to validate. (shrink)

I defend a conception of Logic as normative for the sort of activities in which inferences super-vene, namely, reasoning and arguing. Toulmin’s criticism of formal logic will be our framework to shape the idea that in order to make sense of Logic as normative, we should con-ceive it as a discipline devoted to the layout of arguments, understood as the representations of the semantic, truth relevant, properties of the inferences that we make in arguing and reason-ing.

A fundamental notion of the Tractatus is that of the repetition of an operation. The operation specially mentioned is the simultaneous negation represented by the Sheffer stroke. ‘If an operation is applied repeatedly to its own results, I speak of successive applications of it. … In a similar sense I speak of successive applications of more than one operation to a number of propositions’.

This book deals with a neglected episode in the history of logic and theories of cognition: the way in which conceptions of inference changed during the seventeenth century. The author focuses on the work of Descartes, contrasting his construal of inference as an instantaneous grasp in accord with the natural light of reason, with the Aristotelian view of inference as a discursive process. Gaukroger offers a new interpretation of Descartes`s contribution to the question, revealing it to be (...) a significant advance over humanist and late Scholastic conceptions. He argues that Descartes's account played a pivotal role in the development of our understanding of the nature of inference. (shrink)

The Yogācāra school of logic developed a theory of sign-inferences that has many features of the Stoic and Epicurean logical teachings with small inclusions of Aristotelian ideas. In the Nyāyabindu of Dharmakīrti, we can find the following schemes of formal reasoning: modus Barbara (Figure I) and modus Camenes (Figure IV) of the Aristotelian syllogistic, and all the inference rules of the Stoic logic: modus ponens, modus tollens, modus ponendo tollens, modus tollendo ponens I, modus tollendo ponens II. The (...) three premises of Yogācāra inference (if p, then q; there is an example that p and q occur together; p; then q) corresponds to the Epicurean doctrine of three premises with a necessary exemplification. Thus, the paper is a comparative study of Greek and Buddhist theory of sign-inferences, showing a deep similarity between them. (shrink)

This book is a major contribution to the study of the philosopher F. H. Bradley, the most influential member of the nineteenth-century school of British Idealists. It offers a sustained interpretation of Bradley's Principles of Logic, explaining the problem of how it is possible for inferences to be both valid and yet have conclusions that contain new information. The author then describes how this solution provides a basis for Bradley's metaphysical view that reality is one interconnected experience and how this (...) gives rise to a new problem of truth. (shrink)

We can provisionally distinguish inference as logically drawing some new result out of given information from argument as advancing reasons in support of a challenged claim. Blair and Johnson place inference beyond the scope of informal logic, and Tou lmin considers inference to be the connection of premises with conclusion in a strong argument. Both approaches are inadequate to inference as distinguished here, and partly as a consequence argument analysts tend unwittingly to mark the distinction as (...) t hat between linked and convergent arguments. Here I urge that there are advantages to treating inference as inference. (shrink)

Our paper aims to investigate inference rules for Nelson’s logics and to discuss possible ways to determine admissibility of inference rules in such logics. We will use the technique offered originally for intuitionistic logic and paraconsistent minimal Johannson’s logic. However, the adaptation is not an easy and evident task since Nelson’s logics do not enjoy replacement of equivalences rule. Therefore we consider and compare standard admissibility and weak admissibility. Our paper founds algorithms for recognizing weak admissibility and admissibility (...) itself – for restricted cases, to show the problems arising in the course of study. (shrink)

This paper naturalizes inductive inference by showing how scientific knowledge of real mechanisms provides large benefits to it. I show how knowledge about mechanisms contributes to generalization, inference to the best explanation, causal inference, and reasoning with probabilities. Generalization from some A are B to all A are B is more plausible when a mechanism connects A to B. Inference to the best explanation is strengthened when the explanations are mechanistic and when explanatory hypotheses are themselves (...) mechanistically explained. Causal inference in medical explanation, counterfactual reasoning, and analogy also benefit from mechanistic connections. Mechanisms also help with problems concerning the interpretation, availability, and computation of probabilities. (shrink)

The logician's central concern is with the validity of argument. A logical theory ought, therefore, to provide a general criterion of validity. This book sets out to find such a criterion, and to describe the philosophical basis and the formal theory of a logic in which the premises of a valid argument are relevant to its conclusion. The notion of relevance required for this theory is obtained by an analysis of the grounds for asserting a formula in a proof.

As the subtitle suggests, the book is organized around the themes of judgment, inference and truth. Material for the first two topics is largely taken from the second edition of Bradley's Principles of Logic. The discussion of his conception of truth relies on essays written in reply to various authors. In general, the book is to be welcomed by students of Bradley for its remarkably clear and unpretentious exposition of central themes in these difficult topics.Much of the book is (...) taken up with discussion of the views of Bradley's precursors and contemporaries in British and German idealism, material that is important for understanding Bradley's own views. Hegel scholars may cringe, however, at the oft-repeated claim, stated without qualification, that Hegel regarded thought and reality as identical. Allard argues that Hegel must maintain this because his view of deductive inference required that objects be self-determining, and self-determining objects require the identity of thought and being. The argument is particularly puzzling in the light of the fact that Bradley's view of inference also requires the self-development of its objects, although he denied that thought and reality are identical. (shrink)

One of Ian Hacking's earliest publications, this book showcases his early ideas on the central concepts and questions surrounding statistical reasoning. He explores the basic principles of statistical reasoning and tests them, both at a philosophical level and in terms of their practical consequences for statisticians. Presented in a fresh twenty-first-century series livery, and including a specially commissioned preface written by Jan-Willem Romeijn, illuminating its enduring importance and relevance to philosophical enquiry, Hacking's influential and original work has been revived for (...) a new generation of readers. (shrink)

An important field of probability logic is the investigation of inference rules that propagate point probabilities or, more generally, interval probabilities from premises to conclusions. Conditional probability logic (CPL) interprets the common sense expressions of the form “if . . . , then . . . ” by conditional probabilities and not by the probability of the material implication. An inference rule is probabilistically informative if the coherent probability interval of its conclusion is not necessarily equal to the (...) unit interval [0, 1]. Not all logically valid inference rules are probabilistically informative and vice versa. The relationship between logically valid and probabilistically informative inference rules is discussed and illustrated by examples such as the modus ponens or the affirming the consequent. We propose a method to evaluate the strength of CPL inference. (shrink)

The paradox of biological diversity is the key problem of theoretical ecology. The paradox consists in the contradiction between the competitive exclusion principle and the observed biodiversity. The principle is important as the basis for ecological theory. On a relatively simple model we show a mechanism of indefinite coexistence of complete competitors which violates the known formulations of the competitive exclusion principle. This mechanism is based on timely recovery of limiting resources and their spatio-temporal allocation between competitors. Because of limitations (...) of the black-box modeling there was a problem to formulate the exclusion principle correctly. Our white-box multiscale model of two-species competition is based on logical deterministic individual-based cellular automata. This approach provides an automatic deductive inference on the basis of a system of axioms, and gives a direct insight into mechanisms of the studied system. It is one of the most promising methods of artificial intelligence. We reformulate and generalize the competitive exclusion principle and explain why this formulation provides a solution of the biodiversity paradox. In addition, we propose a principle of competitive coexistence. (shrink)

Logic, in one of the many sense of that term, is a theory about what follows from what and why. Arguably, the correct theory has to be determined by abduction. Over recent years, so called logical anti-exceptionalists have investigated this matter. Current discussions have been restricted to deductive logic. However, there are also, of course, various forms of non-deductive reasoning. Indeed, abduction itself is one of these. What is to be said about the way of choosing the best theory (...) of non-deductive inferences? It would seem clear that an anti-exceptionalist should hold that essentially the same method of choice should apply to non-deductive logic. A number of issues need to be faced in the process, not the least of which is the circularity involved in an abductive justification for a theory of abduction. This paper discusses matters. (shrink)

This paper aims to be a friendly introduction to formal learning theory. I introduce key concepts at a slow pace, comparing and contrasting with other approaches to inductive inference such as con…rmation theory. A number of examples are discussed, some in detail, such as Goodman’s Riddle of Induction. I outline some important results of formal learning theory that are of philosophical interest. Finally, I discuss recent developments in this approach to inductive inference.

The paper investigates admissible inference rules for the multi-modal logic LTK, which describes a combination of linear time and knowledge. This logic is semantically defined as the set of all ℒ.

The basic idea of logical expressivism in the Brandomian tradition is that logic makes inferential relations explicit and thereby accessible to critical discussion. But expressivists have not given a convincing explanation of what the point of logical theories is. Peregrin provides a starting point by observing a distinction between making explicit and explication in Carnap’s sense of replacing something unclear and vague by something clear and exact. Whereas logical locutions make inferential relations explicit within a language, (...) class='Hi'>logical theories use formal languages to explicate inferential roles and meanings of ordinary-language expressions. But Peregrin also holds that the whole point of logical theories is to provide perspicuous models of inferential structures in ordinary language practice. This turns explication into a mere continuation of making explicit by other means, and it leads to a one-sided conception of logic which has no room for evaluating inferential practice in light of logical theories. As a more convincing alternative, I suggest that expressivists rely on the method of reflective equilibrium. This approach is closely related to Carnapian explication, but it has the potential of correcting informal inferential practice without dubious ambitions to replace ordinary languages by logical formalisms. (shrink)

This paper establishes a connection between structure sensitive categorial inference and classical modal logic. The embedding theorems for non-associative Lambek Calculus and the whole class of its weak Sahlqvist extensions demonstrate that various resource sensitive regimes can be modelled within the framework of unimodal temporal logic. On the semantic side, this requires decomposition of the ternary accessibility relation to provide its correlation with standard binary Kripke frames and models.

Those who speak of the philosophy of science do not all have the same sort of study in mind. For some it is speculation about the overall nature of the world. Others take it to be basic theory of knowledge and perception. And for still others, it is a branch of philosophical analysis focused speci is meant to be a study falling under fically on science. The present book this last category. Generally, such a study has two aspects: one, methodological, (...) dealing with the logical structure of science, the other, substantive, dealing with scientific concepts. Our concern here is primarily methodological; and, where discussion veers at times towards substantive matters, this will be largely for the purpose of illustrating underlying methodological points. It should also be added that our considerations will be of a general sort, intended to apply to all of science with no special concern for any particular divisions. Except in an incidental manner, therefore, we shall give no primary attention to special problems in the methodology of the social sciences or in the philosophy of physics or of biology. And if we draw the larger portion of our examples from the physical rather than from the behavioral sciences, this is done merely for simplicity, succinctness, and similar conveniences of exposition rather than out of specialized concern for any particular area. (shrink)

This paper addresses Frege's discussion of illogical thought in the introduction to Basic Laws of Arithmetic. After a brief introduction, I discuss Frege's claims that logic is normative vis-à-vis thought, and not descriptive, and his opposition to the idea that logical laws express psychological necessities. I argue that these two strands of Frege's polemic against psychologism constitute two motivating factors behind his allowing for the possibility of illogical thought. I then explore a line of thought—originally advanced by Joan Weiner—according (...) to which Frege should have rejected illogical thought as not constituting a genuine possibility. I argue that, once developed, this line of thought constitutes an important correction (moreover, one that is consistent with his two aforementioned anti-psychologistic strands) to Frege's own response to the possibility of illogical thought. -/- . (shrink)

The 2021 Nobel Prize in Economics recognizes a type of causal model known as the Rubin causal model, or potential outcome framework, which deserves far more attention from philosophers than it currently receives. To spark philosophers' interest, I develop a dialectic connecting the Rubin causal model to the Lewis-Stalnaker debate on a logical principle of counterfactuals: Conditional Excluded Middle (CEM). I begin by playing good cop for CEM, developing a new argument in its favor---a Quine-Putnam-style indispensability argument. This argument (...) is based on the observation that CEM seems to be indispensable to the Rubin causal model, which underpins our best scientific theory of causal inference in health and social sciences---a Nobel Prize-winning theory. Indeed, CEM has long remained a core assumption of the Rubin causal model, despite challenges from within the statistics and economics communities over twenty years ago. I then switch sides to play bad cop for CEM, undermining the indispensability argument by developing a new theory of causal inference that dispenses with CEM while preserving the successes of the original theory (thanks to a new theorem proved here). The key, somewhat surprisingly, is to integrate two approaches to causal modeling: the Rubin causal model, more familiar in health and social sciences, and the causal Bayes net, more familiar in philosophy. The good cop/bad cop dialectic is concluded with a connection to broader philosophical issues, including intertheory relations, the revisability of logic, and the role of background assumptions in justifying scientific inference. (shrink)