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.

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

In the theory of meaning, it is common to contrast truth-conditional theories of meaning with theories which identify the meaning of an expression with its use. One rather exact version of the somewhat vague use-theoretic picture is the view that the standard rules of inference determine the meanings of logical constants. Often this idea also functions as a paradigm for more general use-theoretic approaches to meaning. In particular, the idea plays a key role in the anti-realist program of (...) Dummett and his followers. In the theory of truth, a key distinction now is made between substantial theories and minimalist or deflationist views. According to the former, truth is a genuine substantial property of the truth-bearers, whereas according to the latter, truth does not have any deeper essence, but all that can be said about truth is contained in T-sentences (sentences having the form: ‘P’ is true if and only if P). There is no necessary analytic connection between the above theories of meaning and truth, but they have nevertheless some connections. Realists often favour some kind of truth-conditional theory of meaning and a substantial theory of truth (in particular, the correspondence theory). Minimalists and deflationists on truth characteristically advocate the use theory of meaning (e.g. Horwich). Semantical anti-realism (e.g. Dummett, Prawitz) forms an interesting middle case: its starting point is the use theory of meaning, but it usually accepts a substantial view on truth, namely that truth is to be equated with verifiability or warranted assertability. When truth is so understood, it is also possible to accept the idea that meaning is closely related to truth-conditions, and hence the conflict between use theories and truth-conditional theories in a sense disappears in this view. (shrink)

Imperatives cannot be true, but they can be obeyed or binding: `Surrender!' is obeyed if you surrender and is binding if you have a reason to surrender. A pure declarative argument — whose premisses and conclusion are declaratives — is valid exactly if, necessarily, its conclusion is true if the conjunction of its premisses is true; similarly, I suggest, a pure imperative argument — whose premisses and conclusion are imperatives — is obedience-valid (alternatively: bindingness-valid) exactly if, necessarily, its conclusion is (...) obeyed (alternatively: binding) if the conjunction of its premisses is. I argue that there are two kinds of bindingness, and that a vacillation between two corresponding variants of bindingness-validity largely explains conflicting intuitions concerning the validity of some pure imperative arguments. I prove that for each of those two variants of bindingness-validity there is an equivalent variant of obedience-validity. Finally, I address alternative accounts of pure imperative inference. (shrink)

Although written in Japanese, what the statistical inference is philosophically investigated.

Abstract Introduction Logically valid deductive arguments are clear examples of abstract recursive computational proce‐ dures on propositions or on probabilities. However, it is not known if the cortical time‐consuming inferential pro‐ cesses in which logical arguments are eventually realized in the brain are in fact physically different from other kinds of inferential processes. Methods In order to determine whether an electrical EEG discernible pattern of logical deduction exists or not, a new experimental paradigm is proposed contrasting logically valid (...) and invalid inferences with exactly the same content (same premises and same relational variables) and distinct logical complexity (propositional truth‐functional operators). Electroencephalographic signals from 19 subjects (24.2 ± 3.3 years) were acquired in a two‐condition para‐ digm (100 trials for each condition). After the initial general analysis, a trial‐by‐trial approach in beta‐2 band allowed to uncover not only evoked but also phase asynchronous activity between trials. Results showed that (i) deductive inferences with the same content evoked the same response pattern in logically valid and invalid conditions, (ii) mean response time in logically valid inferences is 61.54% higher, (iii) logically valid inferences are subjected to an early (400 ms) and a late reprocessing (600 ms) verified by two distinct beta‐2 activa‐ tions (p‐value < 0,01, Wilcoxon signed rank test). Conclusion We found evidence of a subtle but measurable electrical trait of logical validity. Results put forward the hypothesis that some logically valid deductions are recursive or computational cortical events. Keywords Beta‐2 band, Evoked potentials, Induced potentials, Deductive inference, Logical validity, Cortical bases of logical reasoning. (shrink)

Gaining information can be modelled as a narrowing of epistemic space . Intuitively, becoming informed that such-and-such is the case rules out certain scenarios or would-be possibilities. Chalmers’s account of epistemic space treats it as a space of a priori possibility and so has trouble in dealing with the information which we intuitively feel can be gained from logical inference. I propose a more inclusive notion of epistemic space, based on Priest’s notion of open worlds yet which contains (...) only those epistemic scenarios which are not obviously impossible. Whether something is obvious is not always a determinate matter and so the resulting picture is of an epistemic space with fuzzy boundaries. (shrink)

A certain type of inference rules in modal logics, generalizing Gabbay's Irreflexivity rule, is introduced and some general completeness results about modal logics axiomatized with such rules are proved.

Dharmakīrti argues that there is no pramāṇa (valid means of cognition or source of knowledge) for a thesis that is a self-contradiction (svavacanavirodha). That is, self-contradictions such as ‘everything said is false’ and ‘my mother is barren’ cannot be known to be true or false. The contemporary scholar Tillemans challenges Dharmakīrti by arguing that we can know that self-contradictions are false by means of a formal logical inference. The aims of the paper are to answer Tillemans’ challenge from (...) what we take to be Dharmakīrti’s or Dharmakīrtian (someone who is like Dharmakīrti) perspective and to demonstrate the unique features of Dharmakīrti’s view of inference. By so doing, we show that the epistemology in relation to the formal conception of logic that underlies Tillemans’ challenge is problematic from Dharmakīrti’s or Dharmakīrtian perspective. The paper, thus, presents Dharmakīrti’s view of inference and logical reasoning as well as a Dharmakīrtian challenge to the formal conception of logic that is the dominant contemporary conception. (shrink)

This paper analyses a hitherto unknown technique of using logic diagrams to create argument maps in eristic dialectics. The method was invented in the 1810s and -20s by Arthur Schopenhauer, who is considered the originator of modern eristic. This technique of Schopenhauer could be interesting for several branches of research in the field of argumentation: Firstly, for the field of argument mapping, since here a hitherto unknown diagrammatic technique is shown in order to visualise possible situations of arguments in a (...) dialogical controversy. Secondly, the art of controversy or eristic, since the diagrams do not analyse the truth of judgements and the validity of inferences, but the persuasiveness of arguments in a dialogue. (shrink)

Some arguments include imperative clauses. For example: ‘Buy me a drink; you can’t buy me that drink unless you go to the bar; so, go to the bar!’ How should we build a logic that predicts which of these arguments are good? Because imperatives aren’t truth apt and so don’t stand in relations of truth preservation, this technical question gives rise to a foundational one: What would be the subject matter of this logic? I argue that declaratives are used to (...) produce beliefs, imperatives are used to produce intentions, and beliefs and intentions are subject to rational requirements. An argument will strike us as valid when anyone whose mental state satisfies the premises is rationally required to satisfy the conclusion. For example, the above argument reflects the principle that it is irrational not to intend what one takes to be the necessary means to one’s intended ends. I argue that all intuitively good patterns of imperative inference can be explained using off-the-shelf formulations of our rational requirements. I then develop a formal-semantic theory embodying this view that predicts a range of data, including free-choice effects and Ross’s paradox. The resulting theory shows one way that our aspirations to rational agency can be discerned in the patterns of our speech, and is a case study in how the philosophy of language and the philosophy of action can be mutually illuminating. (shrink)

Once upon a time, logical conventionalism was the most popular philosophical theory of logic. It was heavily favored by empiricists, logical positivists, and naturalists. According to logical conventionalism, linguistic conventions explain logical truth, validity, and modality. And conventions themselves are merely syntactic rules of language use, including inference rules. Logical conventionalism promised to eliminate mystery from the philosophy of logic by showing that both the metaphysics and epistemology of logic fit into a scientific picture (...) of reality. For naturalists of all stripes, this was paradise. Alas, paradise was lost. By the end of the twentieth century, logical conventionalism had been almost universally abandoned. But more recently, it has been revitalized. This chapter provides an overview of logical conventionalism and its history, clears away misunderstandings, and briefly responds to both the canonical objections to conventionalism (from Quine, Dummett, Boghossian, and many others) as well as new objections (from Field and Golan). From paradise lost, to paradise regained: logical conventionalism is back. (shrink)

What is the connection between justification and the kind of consequence relations that are studied by logic? In this essay, I shall try to provide an answer, by proposing a general conception of the kind of inference that counts as justified or rational.

The overwhelming majority of those who theorize about implicit biases posit that these biases are caused by some sort of association. However, what exactly this claim amounts to is rarely specified. In this paper, I distinguish between different understandings of association, and I argue that the crucial senses of association for elucidating implicit bias are the cognitive structure and mental process senses. A hypothesis is subsequently derived: if associations really underpin implicit biases, then implicit biases should be modulated by counterconditioning (...) or extinction but should not be modulated by rational argumentation or logical interventions. This hypothesis is false; implicit biases are not predicated on any associative structures or associative processes but instead arise because of unconscious propositionally structured beliefs. I conclude by discussing how the case study of implicit bias illuminates problems with popular dual-process models of cognitive architecture. (shrink)

Many classically valid meta-inferences fail in a standard supervaluationist framework. This allegedly prevents supervaluationism from offering an account of good deductive reasoning. We provide a proof system for supervaluationist logic which includes supervaluationistically acceptable versions of the classical meta-inferences. The proof system emerges naturally by thinking of truth as licensing assertion, falsity as licensing negative assertion and lack of truth-value as licensing rejection and weak assertion. Moreover, the proof system respects well-known criteria for the admissibility of inference rules. Thus, (...) supervaluationists can provide an account of good deductive reasoning. Our proof system moreover brings to light how one can revise the standard supervaluationist framework to make room for higher-order vagueness. We prove that the resulting logic is sound and complete with respect to the consequence relation that preserves truth in a model of the non-normal modal logic _NT_. Finally, we extend our approach to a first-order setting and show that supervaluationism can treat vagueness in the same way at every order. The failure of conditional proof and other meta-inferences is a crucial ingredient in this treatment and hence should be embraced, not lamented. (shrink)

Is imagination a source of knowledge? Timothy Williamson has recently argued that our imaginative capacities can yield knowledge of a variety of matters, spanning from everyday practical matters to logic and set theory. Furthermore, imagination for Williamson plays a similar epistemic role in cognitive processes that we would traditionally classify as either a priori or a posteriori, which he takes to indicate that the distinction itself is shallow and epistemologically fruitless. In this chapter, I aim to defend the a priori-a (...) posteriori distinction from Williamson’s challenge by questioning his account of imagination. I distinguish two notions of imagination at play in Williamson’s account – sensory vs. belief-like imagination – and show that both face empirical and normative issues. Sensory imagination seems neither necessary nor sufficient for knowledge. Whereas, belief-like imagination isn’t adequately disentangled from inference. Additionally, Williamson’s examples are ad hoc and don’t generalize. I conclude that Williamson’s case against the a priori-a posteriori distinction is unconvincing, and so is the thesis that imagination is an epistemic source. (shrink)

An important problem with machine learning is that when label number n>2, it is very difficult to construct and optimize a group of learning functions, and we wish that optimized learning functions are still useful when prior distribution P(x) (where x is an instance) is changed. To resolve this problem, the semantic information G theory, Logical Bayesian Inference (LBI), and a group of Channel Matching (CM) algorithms together form a systematic solution. MultilabelMultilabel A semantic channel in the G (...) theory consists of a group of truth functions or membership functions. In comparison with likelihood functions, Bayesian posteriors, and Logistic functions used by popular methods, membership functions can be more conveniently used as learning functions without the above problem. In Logical Bayesian Inference (LBI), every label’s learning is independent. For Multilabel learning, we can directly obtain a group of optimized membership functions from a big enough sample with labels, without preparing different samples for different labels. A group of Channel Matching (CM) algorithms are developed for machine learning. For the Maximum Mutual Information (MMI) classification of three classes with Gaussian distributions on a two-dimensional feature space, 2-3 iterations can make mutual information between three classes and three labels surpass 99% of the MMI for most initial partitions. For mixture models, the Expectation-Maxmization (EM) algorithm is improved and becomes the CM-EM algorithm, which can outperform the EM algorithm when mixture ratios are imbalanced, or local convergence exists. The CM iteration algorithm needs to combine neural networks for MMI classifications on high-dimensional feature spaces. LBI needs further studies for the unification of statistics and logic. (shrink)

Christian apologists, like Willian Lane Craig and Stephen T. Davis, argue that belief in Jesus’ resurrection is reasonable because it provides the best explanation of the available evidence. In this article, I refute that thesis. To do so, I lay out how the logic of inference to the best explanation (IBE) operates, including what good explanations must be and do by definition, and then apply IBE to the issue at hand. Multiple explanations—including (what I will call) The Resurrection Hypothesis, (...) The Lie Hypothesis, The Coma Hypothesis, The Imposter Hypothesis, and The Legend Hypothesis—will be considered. While I will not attempt to rank them all from worst to best, what I will reveal is how and why The Legend Hypothesis is unquestionably the best explanation, and The Resurrection Hypothesis is undeniably the worst. Consequently, not only is Craig and Davis’ conclusion mistaken, but belief in the literal resurrection of Jesus is irrational. In presenting this argument, I do not take myself to be breaking new ground; Robert Cavin and Carlos Colombetti have already presented a Bayesian refutation of Craig and Davis’ arguments. But I do take myself to be presenting an argument that the average person (and philosopher) can follow. It is my goal for the average person (and philosopher) to be able to clearly understand how and why the hypothesis “God supernaturally raised Jesus from the dead” fails utterly as an explanation of the evidence that Christian apologist cite for Jesus’ resurrection. (shrink)

In the Tractatus Wittgenstein criticizes Frege and Russell's view that laws of inference (Schlussgesetze) "justify" logical inferences. What lies behind this criticism, I argue, is an attack on Frege and Russell's conceptions of logical entailment. In passing, I examine Russell's dispute with Bradley on the question whether all relations are "internal".

The so-called materially valid inferences have come to new prominence through the work of Robert Brandom. This paper introduces a fragment of a logic of concepts that does not reduce concepts to their extensions. Concept logic and ist semantics allow us to represent the conceptual knowledge used in material inferences and thus suggests a way to deal with them.

Mathematics textbooks teach logical reasoning by example, a practice started by Euclid; while logic textbooks treat logic as a subject in its own right without practical application to mathematics. Stuck in the middle are students seeking mathematical proficiency and educators seeking to provide it. To assist them, the article explains in practical detail how to teach logic-based skills such as: making mathematical reasoning fully explicit; moving from step to step in a mathematical proof in logically correct ways; and checking (...) to make sure inferences are logically correct. The methodology can easily be extended beyond the four examples analyzed. (shrink)

This monograph is an in-depth and engaging discourse on the deeply cognitive roots of human scientific quest. The process of making scientific inferences is continuous with the day-to-day inferential activity of individuals, and is predominantly inductive in nature. Inductive inference, which is fallible, exploratory, and open-ended, is of essential relevance in our incessant efforts at making sense of a complex and uncertain world around us, and covers a vast range of cognitive activities, among which scientific exploration constitutes the pinnacle. (...) Inductive inference has a personal aspect to it, being rooted in the cognitive unconscious of individuals, which has recently been found to be of paramount importance in a wide range of complex cognitive processes. One other major aspect of the process of inference making, including the making of scientific inferences, is the role of a vast web of beliefs lodged in the human mind, as also of a huge repertoire of heuristics, that constitute an important component of ‘unconscious intelligence’. Finally, human cognitive activity is dependent in a large measure on emotions and affects, that operate mostly at an unconscious level. Of special importance in scientific inferential activity is the process of hypothesis making, which is examined in this book, along with the above aspects of inductive inference, at considerable depth. The book focuses on the inadequacy of the viewpoint of naive realism in understanding the contextual nature of scientific theories, where a cumulative progress towards an ultimate truth about Nature appears to be too simplistic a generalization. It poses a critique to the commonly perceived image of science which is seen as the last word in logic and objectivity, the latter in the double sense of being independent of individual psychological propensities and, at the same time, approaching a correct understanding of the workings of a mind-independent nature. Adopting the naturalist point of view, it examines the essential tension between the cognitive endeavours of individuals and scientific communities, immersed in belief systems and cultures, on the one hand, and the engagement with a mind-independent reality on the other. In the end, science emerges as an interpretation of nature, which is perceived by us only contextually, as successively emerging cross-sections of limited scope and extent. Successive waves of theory building in science appear as episodic and kaleidoscopic changes in perspective as certain in-built borders are crossed, rather than as a cumulative progress towards some ultimate truth. While written in an informal and conversational style, the book raises a number of deep and intriguing questions located at the interface of cognitive psychology and philosophy of science, meant for both the general lay reader and the specialist. Of particular interest is the way it explores the role of belief (aided by emotions and affects) in making the process of inductive inference possible since belief is a subtle though all-pervasive cognitive factor not adequately investigated in the current literature. (shrink)

In this paper we propose to present from a new perspective some loci comunes of traditional logic. More exactly, we intend to show that some hypothetico-disjunctive inferences (i.e. the complex constructive dilemma, the complex destructive dilemma, the simple constructive dilemma, the simple destructive dilemma) and two hypothetico-categorical inferences (namely modus ponendo-ponens and modus tollendo-tollens) particularize two more abstract inferential structures: the constructive n-lemma and the destructive nlemma.

What is an inference? Logicians and philosophers have proposed various conceptions of inference. I shall first highlight seven features that contribute to distinguish these conceptions. I shall then compare three conceptions to see which of them best explains the special force that compels us to accept the conclusion of an inference, if we accept its premises.

In previous work, we studied four well known systems of qualitative probabilistic inference, and presented data from computer simulations in an attempt to illustrate the performance of the systems. These simulations evaluated the four systems in terms of their tendency to license inference to accurate and informative conclusions, given incomplete information about a randomly selected probability distribution. In our earlier work, the procedure used in generating the unknown probability distribution (representing the true stochastic state of the world) tended (...) to yield probability distributions with moderately high entropy levels. In the present article, we present data charting the performance of the four systems when reasoning in environments of various entropy levels. The results illustrate variations in the performance of the respective reasoning systems that derive from the entropy of the environment, and allow for a more inclusive assessment of the reliability and robustness of the four systems. (shrink)

What is an inference and when is an inference deductive rather than inductive, abductive, etc. The goal of this paper is precisely to determine what is that we, humans, do when we engage in deduction, i.e., whether there is something that satisfies both our pre-theoretical intuitions and theoretical presuppositions about deduction, as a cognitive process. The paper is structured in two parts: the first one deals with the issue of what is an inference. There, I will defend (...) the hypothesis that an inference is a causal process where an initial cognitive state causes another in such a way that the causal translation depends essentially on the content of the involved states. In other words, in an inference, a mental state A causes another B, partially because they have the content they have. Based on the conclusion from the first part, I will develop an account of deductive inference in the second part of the article. In order to achieve this, I will start by setting the stage and developing four constraints that an adequate account of deductive inference ought to satisfy. Then, I will present six different hypotheses that one might propose to characterize inferences of this kind. I have divided the proposals in two groups, the first one – which I will call the “logical proposals” – assume that whether an inference is a deduction or not depends exclusively on the content of the mental states involved in the inference, while the second – which I will call the “cognitive proposals” – reject the aforementioned assumption and instead recognize that extra cognitive information is required to determine whether an inference is a deduction or not. I will evaluate each proposal in turn, according to whether they satisfy the constraints introduced at the beginning of this second part. As a result of such evaluation, I will conclude that only one of the cognitive proposals actually satisfies the four constraints and therefore should be considered to give an adequate characterization of deductive inference. (shrink)

In this paper I argue that pluralism at the level of logical systems requires a certain monism at the meta-logical level, and so, in a sense, there cannot be pluralism all the way down. The adequate alternative logical systems bottom out in a shared basic meta-logic, and as such, logical pluralism is limited. I argue that the content of this basic meta-logic must include the analogue of logical rules Modus Ponens and Universal Instantiation. I show (...) this through a detailed analysis of the ‘adoption problem’, which manifests something special about MP and UI. It appears that MP and UI underwrite the very nature of a logical rule of inference, due to all rules of inference being conditional and universal in their structure. As such, all logical rules presuppose MP and UI, making MP and UI self-governing, basic, unadoptable, and required in the meta-logic for the adequacy of any logical system. (shrink)

This paper discusses some key connexive principles construed as principles about reasons, that is, as principles that express logical properties of sentences of the form ‘_p_ is a reason for _q_’. Its main goal is to show how the theory of reasons outlined by Crupi and Iacona, which is based on their evidential account of conditionals, yields a formal treatment of such sentences that validates a restricted version of the principles discussed, overcoming some limitations that affect most extant accounts (...) of conditionals. (shrink)

Inferentialism is a theory in the philosophy of language which claims that the meanings of expressions are constituted by inferential roles or relations. Instead of a traditional model-theoretic semantics, it naturally lends itself to a proof-theoretic semantics, where meaning is understood in terms of inference rules with a proof system. Most work in proof-theoretic semantics has focused on logical constants, with comparatively little work on the semantics of non-logical vocabulary. Drawing on Robert Brandom’s notion of material (...) class='Hi'>inference and Greg Restall’s bilateralist interpretation of the multiple conclusion sequent calculus, I present a proof-theoretic semantics for atomic sentences and their constituent names and predicates. The resulting system has several interesting features: (1) the rules are harmonious and stable; (2) the rules create a structure analogous to familiar model-theoretic semantics; and (3) the semantics is compositional, in that the rules for atomic sentences are determined by those for their constituent names and predicates. (shrink)

Transcranial magnetic stimulation is used to make inferences about relationships between brain areas and their functions because, in contrast to neuroimaging tools, it modulates neuronal activity. The central aim of this article is to critically evaluate to what extent it is possible to draw causal inferences from repetitive TMS data. To that end, we describe the logical limitations of inferences based on rTMS experiments. The presented analysis suggests that rTMS alone does not provide the sort of premises that are (...) sufficient to warrant strong inferences about the direct causal properties of targeted brain structures. Overcoming these limitations demands a close look at the designs of rTMS studies, especially the methodological and theoretical conditions which are necessary for the functional decomposition of the relations between brain areas and cognitive functions. The main points of this article are that TMS-based inferences are limited in that stimulation-related causal effects are not equivalent to structure-related causal effects due to TMS side effects, the electric field distribution, and the sensitivity of neuroimaging and behavioral methods in detecting structure-related effects and disentangling them from confounds. Moreover, the postulated causal effects can be based on indirect effects. A few suggestions on how to manage some of these limitations are presented. We discuss the benefits of combining rTMS with neuroimaging in experimental reasoning and we address the restrictions and requirements of rTMS control conditions. The use of neuroimaging and control conditions allows stronger inferences to be gained, but the strength of the inferences that can be drawn depends on the individual experiment’s designs. Moreover, in some cases, TMS might not be an appropriate method of answering causality-related questions or the hypotheses have to account for the limitations of this technique. We hope this summary and formalization of the reasoning behind rTMS research can be of use not only for scientists and clinicians who intend to interpret rTMS results causally but also for philosophers interested in causal inferences based on brain stimulation research. (shrink)

In 1A:7 of the Mengzi, Mengzi tries to convince King Xuan of Qi that he is a “true” king. As a reading of Mengzi’s reasoning involved in his attempt at persuasion, David Nivison advances an inferential view, according to which Mengzi’s persuasion involves inferences. In this paper, I consider the assumptions underlying the objections raised against Nivison’s inferential view. I argue that these objections assume a contemporary Western view about the nature of logic and inferences. I propose an alternative characterisation (...) of the relevant sense of inference that, I believe, is more sensitive to the classical Chinese philosophical context and argue that certain insights can be derived from reading Mengzi in light of this alternative characterization of inferences. (shrink)

This tutorial is for beginners wanting to learn the basics of propositional logic; the simplest of the formal systems of logic. Leslie Allan introduces students to the nature of arguments, validity, formal proofs, logical operators and rules of inference. With many examples, Allan shows how these concepts are employed through the application of three different methods for proving the formal validity of arguments.

I argue against inferentialism about logic. First, I argue against an analogy between logic and chess, before considering a more basic objection to stipulating inference rules as a way of establishing the meaning of logical constants. The objectionthe Mushroom Omelette Objectionis that stipulative acts are partly constituted by logical notions, and therefore cannot be used to explain logical thought. I then argue that the same problem also attaches to following existing conventional rules, since either those rules (...) have logical contents, or following those conventional rules is done for logical reasons. Lastly, I compare this argument with other arguments found in Quine’s early work, and consider two attempts to reply to Quine. (shrink)

I examine and resolve an exegetical dichotomy between two main interpretations of Peirce’s theory of abduction, namely, the Generative Interpretation and the Pursuitworthiness Interpretation. According to the former, abduction is the instinctive process of generating explanatory hypotheses through a mental faculty called insight. According to the latter, abduction is a rule-governed procedure for determining the relative pursuitworthiness of available hypotheses and adopting the worthiest one for further investigation—such as empirical tests—based on economic considerations. It is shown that the Generative Interpretation (...) is inconsistent with a fundamental fact of logic for Peirce—i.e., abduction is a kind of inference—and the Pursuitworthiness Interpretation is flawed and inconsistent with Peirce’s naturalistic explanation for the possibility of science and his view about the limitations of classical scientific method. Changing the exegetical locus classicus from the logical form of abduction to insight and economy of research, I argue for the Unified Interpretation according to which abduction includes both instinctive hypotheses-generation and rule-governed hypotheses-ranking. I show that the Unified Interpretation is immune to the objections raised successfully against the Generative and the Pursuitworthiness interpretations. (shrink)

Philosophers such as Nietzsche, Heidegger, Derrida, Deleuze and Gendlin pronounce that difference must be understood as ontologically prior to identity. They teach that identity is a surface effect of difference, that to understand the basis of logico-mathematical idealities we must uncover their genesis in the fecundity of differentiation. In this paper, I contrast Heidegger’s analyses of the present to hand logico-mathematical object, which he discuses over the course of his career in terms of the ‘as’ structure, temporalization and enframing , (...) with the approaches of Gendlin and Deleuze, supplementing this discussion with Husserl’s investigations of mathematical idealities. Deleuze and Gendlin distinguish between the representational power a logical pattern has in itself, apart from its virtual generative source, to exactly repeat itself, and the way this self-same pattern is generated and changed by the larger situational texture within which it is embedded. In so doing, they misconstrue the empty, meaningless temporalization of logical calculation as the explicitly preserving carrying-through of already instituted implicit sense. For Heidegger, by contrast, logical inference is less a supplement to or development of implicit experience than a narrowing of its scope , a deficient mode of handiness. Experiencing something as present to hand extension modifies the relevant usefulness of ‘as’ structured comportment by stripping away what is meaningful in our relation with beings, and in the process stripping away its intelligibility. Thus, contrary to the assertions of Deleuze and Gendlin, extensive repetition does not carry through intelligible, relevant meaning, it dissolves understanding into the nihilism of empty calculation. (shrink)

"Surrender; therefore, surrender or fight" is apparently an argument corresponding to an inference from an imperative to an imperative. Several philosophers, however (Williams 1963; Wedeking 1970; Harrison 1991; Hansen 2008), have denied that imperative inferences exist, arguing that (1) no such inferences occur in everyday life, (2) imperatives cannot be premises or conclusions of inferences because it makes no sense to say, for example, "since surrender" or "it follows that surrender or fight", and (3) distinct imperatives have conflicting permissive (...) presuppositions ("surrender or fight" permits you to fight without surrendering, but "surrender" does not), so issuing distinct imperatives amounts to changing one's mind and thus cannot be construed as making an inference. In response I argue inter alia that, on a reasonable understanding of 'inference', some everyday-life inferences do have imperatives as premises and conclusions, and that issuing imperatives with conflicting permissive presuppositions does not amount to changing one's mind. (shrink)

There is wide support in logic, philosophy, and psychology for the hypothesis that the probability of the indicative conditional of natural language, $P(\textit{if } A \textit{ then } B)$, is the conditional probability of $B$ given $A$, $P(B|A)$. We identify a conditional which is such that $P(\textit{if } A \textit{ then } B)= P(B|A)$ with de Finetti's conditional event, $B|A$. An objection to making this identification in the past was that it appeared unclear how to form compounds and iterations of (...) conditional events. In this paper, we illustrate how to overcome this objection with a probabilistic analysis, based on coherence, of these compounds and iterations. We interpret the compounds and iterations as conditional random quantities which, given some logical dependencies, may reduce to conditional events. We show how the inference to $B|A$ from $A$ and $B$ can be extended to compounds and iterations of both conditional events and biconditional events. Moreover, we determine the respective uncertainty propagation rules. Finally, we make some comments on extending our analysis to counterfactuals. (shrink)

Monists say that the nature of truth is invariant, whichever sentence you consider; pluralists say that the nature of truth varies between different sets of sentences. The orthodoxy is that logic and logical form favour monism: there must be a single property that is preserved in any valid inference; and any truth-functional complex must be true in the same way as its components. The orthodoxy, I argue, is mistaken. Logic and logical form impose only structural constraints on (...) a metaphysics of truth. Monistic theories are not guaranteed to satisfy these constraints, and there is a pluralistic theory that does so. (shrink)

We contend that it is possible to argue reasonably for and against arguments from classifications and definitions, provided they are seen as defeasible (subject to exceptions and critical questioning). Arguments from classification of the most common sorts are shown to be based on defeasible reasoning of various kinds represented by patterns of logical reasoning called defeasible argumentation schemes. We show how such schemes can be identified with heuristics, or short-cut solutions to a problem. We examine a variety of arguments (...) of this sort, including argument from abductive classification, argument from causal classification, argument from analogy-based classification and arguments from classification based on generalizations. (shrink)

The book answers long-standing questions on scientific modeling and inference across multiple perspectives and disciplines, including logic, mathematics, physics and medicine. The different chapters cover a variety of issues, such as the role models play in scientific practice; the way science shapes our concept of models; ways of modeling the pursuit of scientific knowledge; the relationship between our concept of models and our concept of science. The book also discusses models and scientific explanations; models in the semantic view of (...) theories; the applicability of mathematical models to the real world and their effectiveness; the links between models and inferences; and models as a means for acquiring new knowledge. It analyzes different examples of models in physics, biology, mathematics and engineering. Written for researchers and graduate students, it provides a cross-disciplinary reference guide to the notion and the use of models and inferences in science. (shrink)

The traditional possible-worlds model of belief describes agents as ‘logically omniscient’ in the sense that they believe all logical consequences of what they believe, including all logical truths. This is widely considered a problem if we want to reason about the epistemic lives of non-ideal agents who—much like ordinary human beings—are logically competent, but not logically omniscient. A popular strategy for avoiding logical omniscience centers around the use of impossible worlds: worlds that, in one way or another, (...) violate the laws of logic. In this paper, we argue that existing impossible-worlds models of belief fail to describe agents who are both logically non-omniscient and logically competent. To model such agents, we argue, we need to ‘dynamize’ the impossible-worlds framework in a way that allows us to capture not only what agents believe, but also what they are able to infer from what they believe. In light of this diagnosis, we go on to develop the formal details of a dynamic impossible-worlds framework, and show that it successfully models agents who are both logically non-omniscient and logically competent. (shrink)

This paper develops a trivalent semantics for the truth conditions and the probability of the natural language indicative conditional. Our framework rests on trivalent truth conditions first proposed by Cooper (1968) and Belnap (1973) and it yields two logics of conditional reasoning: (i) a logic C of certainty-preserving inference; and (ii) a logic U for uncertain reasoning that preserves the probability of the premises. We show systematic correspondences between trivalent and probabilistic representations of inferences in either framework, and we (...) use the distinction between the two systems to cast light on the validity of inferences such as Modus Ponens, Or-To-If, and Conditional Excluded Middle. Specifically, the conditional behaves monotonically in C, but non-monotonically in U; Modus Ponens is valid in C, but valid in U only for non-nested conditionals. The result is a unified account of the semantics and epistemology of indicative conditionals that can be fruitfully applied to analyzing the validity of conditional inferences. (shrink)

When discussing Logical Pluralism several critics argue that such an open-minded position is untenable. The key to this conclusion is that, given a number of widely accepted assumptions, the pluralist view collapses into Logical Monism. In this paper we show that the arguments usually employed to arrive at this conclusion do not work. The main reason for this is the existence of certain substructural logics which have the same set of valid inferences as Classical Logic—although they are, in (...) a clear sense, non-identical to it. We argue that this phenomenon can be generalized, given the existence of logics which coincide with Classical Logic regarding a number of metainferential levels—although they are, again, clearly different systems. We claim this highlights the need to arrive at a more refined version of the Collapse Argument, which we discuss at the end of the paper. (shrink)

In Tractatus 5.132 Wittgenstein argues that inferential justification depends solely on the understanding of the premises and conclusion, and is not mediated by any further act. On this basis he argues that Frege’s and Russell’s rules of inference are “senseless” and “superfluous”. This line of argument is puzzling, since it is unclear that there could be any viable account of inference according to which no such mediation takes place. I show that Wittgenstein’s rejection of rules of inference (...) can be motivated by taking account of his holistic construal of the relation between inference and understanding. (shrink)

Bilattices, introduced by Ginsberg as a uniform framework for inference in artificial intelligence, are algebraic structures that proved useful in many fields. In recent years, Arieli and Avron developed a logical system based on a class of bilattice-based matrices, called logical bilattices, and provided a Gentzen-style calculus for it. This logic is essentially an expansion of the well-known Belnap–Dunn four-valued logic to the standard language of bilattices. Our aim is to study Arieli and Avron’s logic from the (...) perspective of abstract algebraic logic . We introduce a Hilbert-style axiomatization in order to investigate the properties of the algebraic models of this logic, proving that every formula can be reduced to an equivalent normal form and that our axiomatization is complete w.r.t. Arieli and Avron’s semantics. In this way, we are able to classify this logic according to the criteria of AAL. We show, for instance, that it is non-protoalgebraic and non-self-extensional. We also characterize its Tarski congruence and the class of algebraic reducts of its reduced generalized models, which in the general theory of AAL is usually taken to be the algebraic counterpart of a sentential logic. This class turns out to be the variety generated by the smallest non-trivial bilattice, which is strictly contained in the class of algebraic reducts of logical bilattices. On the other hand, we prove that the class of algebraic reducts of reduced models of our logic is strictly included in the class of algebraic reducts of its reduced generalized models. Another interesting result obtained is that, as happens with some implicationless fragments of well-known logics, we can associate with our logic a Gentzen calculus which is algebraizable in the sense of Rebagliato and Verdú . We also prove some purely algebraic results concerning bilattices, for instance that the variety of distributive bilattices is generated by the smallest non-trivial bilattice. This result is based on an improvement of a theorem by Avron stating that every bounded interlaced bilattice is isomorphic to a certain product of two bounded lattices. We generalize it to the case of unbounded interlaced bilattices. (shrink)

My first paper on the Is/Ought issue. The young Arthur Prior endorsed the Autonomy of Ethics, in the form of Hume’s No-Ought-From-Is (NOFI) but the later Prior developed a seemingly devastating counter-argument. I defend Prior's earlier logical thesis (albeit in a modified form) against his later self. However it is important to distinguish between three versions of the Autonomy of Ethics: Ontological, Semantic and Ontological. Ontological Autonomy is the thesis that moral judgments, to be true, must answer to a (...) realm of sui generis non-natural PROPERTIES. Semantic autonomy insists on a realm of sui generis non-natural PREDICATES which do not mean the same as any natural counterparts. Logical Autonomy maintains that moral conclusions cannot be derived from non-moral premises.-moral premises with the aid of logic alone. Logical Autonomy does not entail Semantic Autonomy and Semantic Autonomy does not entail Ontological Autonomy. But, given some plausible assumptions Ontological Autonomy entails Semantic Autonomy and given the conservativeness of logic – the idea that in a valid argument you don’t get out what you haven’t put in – Semantic Autonomy entails Logical Autonomy. So if Logical Autonomy is false – as Prior appears to prove – then Semantic and Ontological Autonomy would appear to be false too! I develop a version of Logical Autonomy (or NOFI) and vindicate it against Prior’s counterexamples, which are also counterexamples to the conservativeness of logic as traditionally conceived. The key concept here is an idea derived in part from Quine - that of INFERENCE-RELATIVE VACUITY. I prove that you cannot derive conclusions in which the moral terms appear non-vacuously from premises from which they are absent. But this is because you cannot derive conclusions in which ANY (non-logical) terms appear non-vacuously from premises from which they are absent Thus NOFI or Logical Autonomy comes out as an instance of the conservativeness of logic. This means that the reverse entailment that I have suggested turns out to be a mistake. The falsehood of Logical Autonomy would not entail either the falsehood Semantic Autonomy or the falsehood of Ontological Autonomy, since Semantic Autonomy only entails Logical Autonomy with the aid of the conservativeness of logic of which Logical Autonomy is simply an instance. Thus NOFI or Logical Autonomy is vindicated, but it turns out to be a less world-shattering thesis than some have supposed. It provides no support for either non-cognitivism or non-naturalism. (shrink)

Logic and psychology overlap in judgment, inference and proof. The problems raised by this commonality are notoriously difficult, both from a historical and from a philosophical point of view. Sundholm has for a long time addressed these issues. His beautiful piece of work [A Century of Inference: 1837-1936] begins by summarizing the main difficulty in the usual provocative manner of the author: one can start, he says, by the act of knowledge to go to the object, as the (...) Idealist does; one can also start by the object to go to the act, in the Realist mood; never the two shall meet. He is himself inclined to accept the first perspective as the right one and he has eventually developed an original version of antirealism which starts, not from considerations about the publicity of meaning, in the manner of Dummett, but from an epistemic standpoint, trying to search in a non-Fregean tradition of analysis of judgement and cognate notions a way of founding constructivist semantics. The present paper ploughes the same field. We concentrate on the significance, for Sundholm’s program, of the perspective that has been opened by Twardowski in his important essay on acts and products (1912. (shrink)

I provide an analysis of Hegel's interpretation of the faith exemplified in Abraham's journey to Mt. Moriah to sacrifice his son. I do so by looking at changes in Hegel's discussion of this episode in the Lectures on the Philosophy of Religion that were given over the last decade of his career. In the process of tracing the contours of the development of Hegel's thinking on this issue I argue that his social philosophy, on which persons are first and foremost (...) creatures of rational self-determination, is informed by his understanding of logic and metaphysics, and I suggest some of the rationalist and romantic elements animating Hegel's thought remain viable today. (shrink)

Peer Review Book Description - Maria Seykora (female, published age 28) -/- -/- Classical Logic will attempt to give a comprehensive and rigorous introduction and more advanced overview of the area of logic widely known as “classical logic,” as distinguished from modern-day “non-classical logic,” for undergraduate students in general. It will cover the topics of Informal Logic (including logical fallacies, deduction, induction, and abductive reasoning) and Formal Logic. (Because it aims to cover these two topics, the title may change (...) to Informal and Classical Logic for the first edition.) Within the category of Formal Logic, it will cover Syllogistic or Categorical Logic and Symbolic Logic. Furthermore, within Symbolic Logic, it will cover Propositional Logic, Predicate Logic, and Modal Logic. The Formal Logic component is currently unfinished, and the Informal Logic component is somewhat unfinished. The unique selling proposition is “the first comprehensive Classical Logic textbook.” It seems that many textbooks for college students today, including Patrick J. Hurley’s, are loosely organized around Classical Logic and other various areas of logic, yet there is not a clear-cut, comprehensive summation of Classical Logic in textbook form. For instance, Hurley’s textbook does not have a section on Modal Logic, and does not address some fallacies such as Hypothesis Contrary to Fact, the Genetic Fallacy, Appeal to Nature, No True Scotsman Fallacy, Emotionally Loaded Language fallacies, etc. Stan Baronett’s Logic textbook also does not include discussions of Modal Logic or these additional fallacies and others like them, and Siu-Fan Lee’s textbook does not include Modal Logic either. Additionally, abductive reasoning, which involves making an inference to the best explanation, is important in real life, yet it seems absent from most logic textbooks. (shrink)

I discuss Smokrović’s work on the normativity of logic (Smokrović 2017, Smokrović 2018). I agree that the classical formal logic is not an adequate model for real-life reasoning. But I present some doubts about his notion of deductive logic and his proposal to model such reasoning in non-monotonic logic. No branch of formal logic by itself is likely to capture real-life inferential links (reasoned-inference). I use the logic of relevance as my case study and extend the pessimistic morals to (...) modern systems of non-classical logic. Finally, I propose a more lax conception of normativty: there is a connection between logical assessment in the broad sense (as sanctioned by the notion of cogency) and the evaluation and criticism of reasoning. (shrink)