This work is in two parts. The main aim of part 1 is a systematic examination of deductive, probabilistic, inductive and purely inductive dependence relations within the framework of Kolmogorov probability semantics. The main aim of part 2 is a systematic comparison of (in all) 20 different relations of probabilistic (in)dependence within the framework of Popper probability semantics (for Kolmogorov probability semantics does not allow such a comparison). Added to this comparison is an examination of (in all) (...) 15 purely inductive dependence relations. ————Part 1 leads in an axiomatic step-by-step development from the elementary classical truth value semantics of a sentential-logical language, called ‘L’, (chapter 1) to the elementary Kolmogorov probability semantics of L (chapter 2), which is then extended to four axiomatic semantical theories of dependence relations between the formulae of L. First the elementary Kolmogorov probability semantics of L is extended to a theory, called ‘Kdd’, of the relations of deductive dependence and deductive independence between formulae of L (chapter 3). Then Kdd is extended to a theory, called ‘Kpd1’, of the degree to which formulae of L probabilistically depend on each other in regard to a given probability distribution on the set of all formulae of L (chapter 4). Kpd1, in its turn, gets extended to a theory, called ‘Kpd2’, of the relations of probabilistic dependence and independence, relativized to unary Kolmogorov probability functions defined on L (chapter 5). Then Kpd2 is extended to a theory, called ‘Kid’, of the relations of inductive dependence and inductive independence, again relativized to unary Kolmogorov probability functions defined on L (chapter 6). Finally, Kid is extended to a theory, called ‘Kpid’, of the relations of purely inductive positive and negative dependence, relativized to unary Kolmogorov probability functions defined on L (chapter 7). ——Chapter 1, which deals with the familiar notions of truth value functions, tautologies, consequence relations and relations of logical opposition, is naturally the shortest chapter of part 1.——In chapter 2, the elementary classical semantics of L is extended to the elementary Kolmogorov probability semantics of L, i.e. to an axiomatic theory of unary and of binary Kolmogorov probability functions defined on the set of formulae of L. Because of the elementary character of this theory, chapter 2 is also rather short.——Chapter 3 introduces the first theory on dependence relations, to wit: Kdd, the theory of deductive (in)dependence between formulae of L. I follow here the well-known idea of Popper and Miller, who have used it in a famous discussion on the nature of probabilistic support for their arguments that probabilistic support is deductive, not inductive. I develop Kdd in the form of about 100 theorems, making ample use of the fact that deductive independence is nothing but subcontrary opposition, and close with a remark on the fundamental difference between deductive and logical dependence—two relations the ideas of which are all too easily mixed up.——Chapters 4 and 5 deal extensively with the traditional ideas of probabilistic (in)dependence, applied to formulae rather than to events. As always, I proceed axiomatically in a step-by-step process under systematic viewpoints and obtain about 300 theorems in this way. In the formulation of the theorems, I took special care to state clearly and expressly so-called tacit assumptions, especially those concerning the probability values of the formulae said to be dependent on each other. These assumptions are usually missing in the literature, due either to economy of writing or to sloppiness of thinking. Presumably, both chapters contain little that is new, their value lying more in the systematic grouping and organic development of the theorems than in the newness of these.——In chapter 6, I extend the axiomatic theory about probabilistic (in)dependence which has been elaborated in chapter 5, to an axiomatic theory of inductive (in)dependence by requiring of the relation of inductive (in)dependence that it be probabilistic (in)dependence, but not also logical implication or logical opposition. I point out the differences between probabilistic and inductive (in)dependence by means of some 60 theorems and close my examination of inductive (in)dependence by considering its relationship to the notion of support in the philosophy of science.——Finally, in chapter 7, the last of part 1, I take the step from inductive dependence to what I call ‘purely inductive dependence’ by combining the idea of inductive dependence with that of deductive independence in a way which is suggested by writings of Popper and Miller. I arrive at two noteworthy theorems. Firstly, there is indeed no purely inductive support. But secondly, and perhaps amazingly, countersupport is purely inductive.————Whereas the probabilistic framework of part 1 of the present work is Kolmogorov probability semantics, the framework of part 2 is Popper probability semantics, which is not only worth examining as a fascinating alternative to orthodox Kolmogorov probability semantics, but also allows us to examine dependence relations more deeply, than Kolmogorov probability semantics does. Part 2 leads—again in an axiomatic step-by-step development—from the basic Popper probability semantics of L, called ‘Pb’, (chapter 8) via a probabilistic theory of logical attributes, called ‘Ps’, (chapter 9) to four axiomatic semantical theories of dependence relations between the formulae of L. First, Ps is extended to a theory, called ‘Pdd’, of the relations of deductive dependence and deductive independence between formulae of L (chapter 10). Then Pdd is extended to a theory, called ‘Ppd’, of (in all) 20 relations of probabilistic (in)dependence, relativized to binary Popper probability functions defined on L (chapter 11). Ppd, in its turn, is extended to a theory, called ‘Pid’, of (in all) 10 relations of inductive dependence, again relativized to binary Popper probability functions defined on L (first part of chapter 12). Finally, Pid is extended to a theory, called ‘Ppid’, of (in all) 15 relations of purely inductive positive and negative dependence, relativized to binary Popper probability functions defined on L (second part of chapter 12).——Chapter 8, the first chapter of part 2 of the present work, is entirely preparatory. It introduces the axioms and about 180 theorems (150 of them together with their proofs) of basic Popper probability semantics in order to set this kind of semantics under way.——Then, in chapter 9, basic Popper probability semantics is extended to a probabilistic theory of logical properties of and relations between the formulae of L. Although I think that the way I did this extension is of some interest in itself, the main task of chapter 9 is again a preparatory one: to yield the indispensable lemmata (about 90 in number) for the theorems concerning probabilistic dependence relations in chapter 11 and concerning inductive dependence relations in chapter 12.——Chapter 10 brings the extension of Ps to the theory Pdd of deductive (in)dependence. Only half a dozen theorems are noted here for later use in the Pdd-extensions Ppd and Ppid. In view of the over 100 theorems already gained on this topic in the Kolmogorovian framework (cf. chapter 3), a similar extensive elaboration of Pdd would have been superfluous.——Chapter 11 is the most important one of part 2. It consists of a systematic comparison of 20 probabilistic (in)dependence concepts by means of about 230 theorems, obtained within the axiomatic theory Ppd, which is built up as an extension of Pdd. The main points of comparison were: differences in logical strength; reflexivity and symmetry; behaviour under the condition that the probability values of the formulae in question are extreme. It turned out that each of the examined concepts violates a strong and straightforward version of the intuitive requirement that probabilistic dependence should go with logical dependence. Whereas the corresponding chapter 5 in part 1 of the present work may not have led to new theorems, chapter 11 yields dozens of them in the process of comparison of concepts of dependence and independence which had—as far as I know—never before been treated in a single theoretical framework. With Popper probability semantics, this framework has become available, and here I have simply made full use of it.——In chapter 12, I extend the theory Ppd of probabilistic (in)dependence to the theories Pid and Ppid of inductive and purely inductive dependence, in a way very similar to that in which I have extended the theory Kpd2 to the theories Kid and Kpid in chapters 6 and 7. The first main result of Kpid (roughly: there is no purely inductive support) could be repeated for four of the five purely inductive positive dependence relations considered in chapter 12, whereas the second main result of Kpid (roughly: there is purely inductive countersupport ) could be repeated for each of the five examined purely inductive negative dependence relations. Chapter 12 closes with a brief recapitulation and critical discussion of the main results. (shrink)

ABSTRACTThe new paradigm in the psychology of reasoning redirects the investigation of deduction conceptually and methodologically because the premises and the conclusion of the inferences are assumed to be uncertain. A probabilistic counterpart of the concept of logical validity and a method to assess whether individuals comply with it must be defined. Conceptually, we used de Finetti's coherence as a normative framework to assess individuals' performance. Methodologically, we presented inference schemas whose premises had various levels of probability that contained non-numerical (...) expressions and, as a control, sure levels. Depending on the inference schemas, from 60% to 80% of the participants produced coherent conclusions when the premises were uncertain. The data also show that except for schemas involving conjunction, performance was consistently lower with certain than uncertain premises, the rate of conjunction fallacy was consistently low (not exceeding 20%,.. (shrink)

Various sources in the literature claim that the deduction theorem does not hold for normal modal or epistemic logic, whereas others present versions of the deduction theorem for several normal modal systems. It is shown here that the apparent problem arises from an objectionable notion of derivability from assumptions in an axiomatic system. When a traditional Hilbert-type system of axiomatic logic is generalized into a system for derivations from assumptions, the necessitation rule has to be modified in a way that (...) restricts its use to cases in which the premiss does not depend on assumptions. This restriction is entirely analogous to the restriction of the rule of universal generalization of first-order logic. A necessitation rule with this restriction permits a proof of the deduction theorem in its usual formulation. Other suggestions presented in the literature to deal with the problem are reviewed, and the present solution is argued to be preferable to the other alternatives. A contraction-and cut-free sequent calculus equivalent to the Hubert system for basic modal logic shows the standard failure argument untenable by proving the underivability of DA from A. (shrink)

In this paper, I claim that Kant’s subjective deduction in the first edition of the KrV is to be understood in terms of an investigation of the fundamental force(s) (Grundkraft) of the soul, an investigation essential to Wolffian psychology and much debated throughout Germany in the second half of the 1700’s. I argue that the subjective deduction is indeed presented by means of the exposition of the three-fold syntheses but only insofar as these syntheses are employed as pointers towards each (...) of three original sources of cognition. Only taken as such can we do justice not only to the argument’s unique concern as distinct from that of the objective deduction, but also to its dependence upon the justificatory results of that deduction which was after all Kant’s “primary concern”. (shrink)

ABSTRACT Real-time graphical interval logic is a modal logic for reasoning about time in which the basic modality is the interval. The logic differs from other logics in that it has a natural intuitive graphical representation that resembles the timing diagrams drawn by system designers. We have developed an automted deduction system for the logic, which includes a theorem prover and a user interface. The theorem prover checks the validity of proofs in the logic and produces counterexamples to invalid proofs. (...) The user interface includes a graphical editor that enables the user to create graphical formulas on a workstation display, and a database and proof manager that tracks proof dependencies and allows graphical formulas to be stored and retrieved. In this paper we describe the logic, the automated deduction system, and an application to robotics. (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)

How are dependent (or linked) premises to be distinguished from independent (or convergent) premises? Deductive validity, sometimes proposed as a necessary condition for depende'nce, cannot be, for the premises of both inductive and deductive but invalid arguments can be dependent. The question is really this: When do multiple premises for a certain conclusion fonn one argument for that conclusion and when do they form multiple arguments? Answer: Premises are dependent when the evidence they offer for their conclusion is (...) more than the ordinary sum of their probabilities. Ordinary sums are defined in the paper. (shrink)

Using the matching bias example, the aim of the present studies was to show that adults' reasoning biases are due to faulty executive inhibition programming. In the first study, the subjects were trained on Wason's classical card selection task; half were given training in how to inhibit the perceptual matching bias (experimental group) and half in logic without the inhibition component (control group). On the pre- and post-tests, their performance was assessed on the Evans conditional rule falsification task (with a (...) negation in the antecedent of the rule), a task that also involves matching bias. In addition, subjects were tested for perceptual field dependence/independence using the Embedded Figures Test. The results brought out a specific inhibition training effect, as well as a clear-cut relationship in the experimental group between receptiveness to training and perceptual field independence. In the second study, the training paradigm was the same except that on the pre- and post-tests, the negation was in the consequent of the conditional rule (in this case, the perceptual matching response corresponds to the logical response). The subjects succeeded on the pre-test, and the matching-bias inhibition training had a negative effect on post-test performance. This specific negative priming effect confirms the inhibitory impact of our experimental training and outlines the dissociation of inhibition and logical components. (shrink)

The fallibility of deduction is the thesis that a thoughtful speaker-reasoner can wrongly believe that an inference is deductively valid. The author presents an argument to the effect that the fallibility of deduction is incompatible with the widespread view that deduction is epistemically unfruitful (the conclusion is contained in the premises, and the transition from premises to conclusion never extends knowledge). If the fallibility of deduction is a fact, the argument presented is a refutation of the doctrine of the unfruitfulness (...) of deduction. But its relevance goes further, because the argument reveals a connection between two different problems: a solution to the problem of fruitfulness (how can deductive inferences increase our knowledge?) is a starting point for a solution to the problem of fallibility (how can deductive inferences be wrong?). To solve the problem of fruitfulness, Michael Dummett proposed some general ideas concerning meaning and inference. Starting from these meaning-theoretical ideas, one can develop an explanation of the fallibility of deduction. The general explanatory strategy does not depend on the choice between a theory of meaning centered on truth, verification, inferential role, or on other key notions. (shrink)

First, I consider J.L. Mackie's deductive argument from evil, noting that required modifications to his premises, especially those dealing with what it is to be a good person and omnipotence, do not entail that God would be required to eliminate evil completely. Hence, no contradiction exists between God's existence, possession of certain properties, and the existence of evil. Second I evaluate McCloskey's arguments against reasons for evil often suggested by the theist: that evil is a means to achieving the (...) good, that evil is a by-product of securing the good, and that certain goods are logically dependent on the existence of certain evils. I argue that in none of these objections is McCloskey successful. (shrink)

How do people make deductions? The orthodox view in psychology is that they use formal rules of inference like those of a “natural deduction” system.Deductionargues that their logical competence depends, not on formal rules, but on mental models. They construct models of the situation described by the premises, using their linguistic knowledge and their general knowledge. They try to formulate a conclusion based on these models that maintains semantic information, that expresses it parsimoniously, and that makes explicit something not directly (...) stated by any premise. They then test the validity of the conclusion by searching for alternative models that might refute the conclusion. The theory also resolves long-standing puzzles about reasoning, including how nonmonotonic reasoning occurs in daily life. The book reports experiments on all the main domains of deduction, including inferences based on prepositional connectives such as “if” and “or,” inferences based on relations such as “in the same place as,” inferences based on quantifiers such as “none,” “any,” and “only,” and metalogical inferences based on assertions about the true and the false. Where the two theories make opposite predictions, the results confirm the model theory and run counter to the formal rule theories. Without exception, all of the experiments corroborate the two main predictions of the model theory: inferences requiring only one model are easier than those requiring multiple models, and erroneous conclusions are usually the result of constructing only one of the possible models of the premises. (shrink)

A first-order language with a defined identity predicate is proposed whose apparatus for atomic predication is sensitive to grammatical categories of natural language. Subatomic natural deduction systems are defined for this naturalistic first-order language. These systems contain subatomic systems which govern the inferential relations which obtain between naturalistic atomic sentences and between their possibly composite components. As a main result it is shown that normal derivations in the defined systems enjoy the subexpression property which subsumes the subformula property with respect (...) to atomic and identity formulae as a special case. The systems admit a proof-theoretic semantics which does not only apply to logically compound but also to atomic and identity formulae—as well as to their components. The potential of the defined systems for a meticulous first-order analysis of natural inferences whose validity crucially depends on expressions of some of the aforementioned categories is demonstrated. (shrink)

This article examines how deduction preserves certainty and how much certainty it can preserve according to Descartes’s Rules for the Direction of the Mind. I argue that the certainty of a deduction is a matter of four conditions for Descartes. First, certainty depends on whether the conjunction of simple propositions is composed with necessity or contingency. Second, a deduction approaches the certainty of an intuition depending on how many “acts of conceiving” it requires and—third—the complexity or difficulty of the acts (...) of thinking, which is determined by the content of the thoughts and on external factors. Fourth, certainty depends on the intellectual aptitude of the person using the deduction. A deduction lacks certainty when it relies on memory such that it is not apprehended with immediacy. However, the mental capacity and speed of a mind can be increased by training the special mental faculties of perspicacity and discernment. Increasing one’s intellectual aptitude allows for more steps of a deduction to be inferred in fewer acts of conceiving, thereby helping preserve the certainty of a deduction. (shrink)

David Miller claims that every valid deductive argument begs the question. Other philosophers and logicians have made similar claims. I show that the claim is false. Its appeal depends on the existence of logical terminology, particularly concerning what a proposition 'contains' or its 'logical content,' that is best understood as metaphoric and that, given its aptness to mislead, would be better eschewed. I show how the terminology appears to derive from early modern theories of the nature of mind, ideas (...) and reasoning that have since been rejected. (shrink)

I take Newton's arguments to inverse square centripetal forces from Kepler's harmonic and areal laws to be classic deductions from phenomena. I argue that the theorems backing up these inferences establish systematic dependencies that make the phenomena carry the objective information that the propositions inferred from them hold. A review of the data supporting Kepler's laws indicates that these phenomena are Whewellian colligations-generalizations corresponding to the selection of a best fitting curve for an open-ended body of data. I argue that (...) the information theoretic features of Newton's corrections of the Keplerian phenomena to account for perturbations introduced by universal gravitation show that these corrections do not undercut the inferences from the Keplerian phenomena. Finally, I suggest that all of Newton's impressive applications of Universal gravitation to account for motion phenomena show an attempt to deliver explanations that share these salient features of his classic deductions from phenomena. (shrink)

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

Drawing upon Martin-Löf’s semantic framework for his constructive type theory, semantic values are assigned also to natural-deduction derivations, while observing the crucial distinction between consequence among propositions and inference among judgements. Derivations in Gentzen’s format with derivable formulae dependent upon open assumptions, stand, it is suggested, for proof-objects, whereas derivations in Gentzen’s sequential format are proof-acts.

Dedekind’s methodology, in his classic booklet on the foundations of arithmetic, has been the topic of some debate. While some authors make it closely analogue to Hilbert’s early axiomatics, others emphasize its idiosyncratic features, most importantly the fact that no axioms are stated and its careful deductive structure apparently rests on definitions alone. In particular, the so-called Dedekind “axioms” of arithmetic are presented by him as “characteristic conditions” in the _definition_ of the complex concept of a _simply infinite_ system. (...) Making sense of Dedekind’s method may be dependent on an analysis of the classical model of deductive science, as presented by authors from the eighteenth and early nineteenth centuries. Studying the modern reconstructions of Euclidean geometry, we show that they did not presuppose deductive independence of the axioms from the definitions. Authors like Wolff elaborated a mathematics _based on definitions_, and the Wolffian model of deductive science shows significant coincidences with Dedekind’s method, despite the great differences in content and approach. Wolff had a conception of definitions as _genetic_, which bears some similarities with Kant’s idea of synthetic definitions: they are understood as positing the content of mathematical concepts and introducing thought objects (_Gedankendinge_) that are the objects of mathematics. The emphasis on the spontaneity of the understanding, which can be found in this philosophical tradition, can also be fruitfully related with Dedekind’s idea of the “free creation” of mathematical objects. (shrink)

The question whether epistemological concepts are closed under deduction is an important one since many skeptical arguments depend on closure. Such skepticism can be avoided if closure is not true of knowledge (or justification). This response to skepticism is rejected by Peter Klein and others. Klein argues that closure is true, and that far from providing the skeptic with a powerful weapon for undermining our knowledge, it provides a tool for attacking the skeptic directly. This paper examines various arguments in (...) favor of closure and Klein's attempted use of closure to refute skepticism. Such a refutation of skepticism is mistaken. But the closure principle is in any case false, so the skepticism that depends on it is undermined. The appeal of the closure principle derives from a failure to recognize an important feature of our epistemological concepts, namely, their context relativity. (shrink)

This paper concerns the connection between speech act theory, especially the theory of assertion, and deduction, especially Natural Deduction.From a very abstract point of view, an assertion of a content p can be described as the ascription of the property of being p to the actual index, or point of evaluation. This is the abstract characterization of assertoric force. Let’s assume that the actual index is a possible world, namely the actual world. Thus, the conclusion of a closed argument, as (...) an act, is an assertion, and thereby characterized as the ascription of the conclusion content as a property to the actual world.The question that will concern us in this talk is how this idea extends to the status of other acts in the practice of Natural Deduction. In these terms, what is the force of an inference that depends on one or more open assumptions? What is the force of the assumption itself? What is the force of an assertion that depends on an entire derivation? Do we need to ascribe a force to the derivation as a whole? Is there a coherent complete theory of act forces of Natural Deduction along these lines? What is the relation of such a theory to the theory of validity of an argument? (shrink)

The term “deductive justification” is used either in the relative or absolute sense. In the first case, a sentence is deductively justified with respect to a class of premisses and may be more or less probable, depending on the degree of justification (eventually non-deductive) of the premisses. In the second sense, a sentence justified deductively in a language to which it belongs, is necessarily true, provided only the meaning postulated by the semantical rules of its expressions can be (...) realized (i. e. if the denotata assigned to the expressions by the semantical rules do exist); in this second case, the statement justified deductively is analytic in the given language. Thus the explication of the latter concept of deductive justification requires an explication of the concept of an analytic statement in a language. (shrink)

This article examines the current justifications of deductive inferences, and finds them wanting. It argues that this depends on the fact that all such justification take no account of the role deductive inferences play in knowledge. Alternatively, the article argues that a justification of deductive inferences may be given in terms of the fact that they are non-ampliative, in the sense that the content of the conclusion is merely a reformulation of the content of the premises. Some (...) possible objections to this view are discussed and found inadequate. (shrink)

Based on the premise that what is relevant, consistent, or true may change from context to context, a formal framework of relevance and context is proposed in which • contexts are mathematical entities • each context has its own language with relevant implication • the languages of distinct contexts are connected by embeddings • inter-context deduction is supported by bridge rules • databases are sets of formulae tagged with deductive histories and the contexts they belong to • abduction and (...) revision are supported by a notion of consistency of formulae and sets of formulae which are relative to a context, and which can, in turn, be seen as constituents of agendas. (shrink)

We provide a new link between deductive and probabilistic reasoning fallacies. Illusory inferences from disjunction are a broad class of deductive fallacies traditionally explained by recourse to a matching procedure that looks for content overlap between premises. In two behavioral experiments, we show that this phenomenon is instead sensitive to real-world causal dependencies and not to exact content overlap. A group of participants rated the strength of the causal dependence between pairs of sentences. This measure is a (...) near perfect predictor of fallacious reasoning by an independent group of participants in illusory inference tasks with the same materials. In light of these results, we argue that all extant accounts of these deductive fallacies require non-trivial adjustments. Crucially, these novel _indirect_ illusory inferences from disjunction bear a structural similarity to seemingly unrelated _probabilistic reasoning_ problems, in particular the conjunction fallacy from the heuristics and biases literature. This structural connection was entirely obscure in previous work on these deductive problems, due to the theoretical and empirical focus on content overlap. We argue that this structural parallelism provides arguments against the need for rich descriptions and individuating information in the conjunction fallacy, and we outline a unified theory of deductive illusory inferences from disjunction and the conjunction fallacy, in terms of Bayesian confirmation theory. (shrink)

We are justified in employing the rule of inference Modus Ponens (or one much like it) as basic in our reasoning. By contrast, we are not justified in employing a rule of inference that permits inferring to some difficult mathematical theorem from the relevant axioms in a single step. Such an inferential step is intuitively “too large” to count as justified. What accounts for this difference? In this paper, I canvass several possible explanations. I argue that the most promising approach (...) is to appeal to features like usefulness or indispensability to important or required cognitive projects. On the resulting view, whether an inferential step counts as large or small depends on the importance of the relevant rule of inference in our thought. (shrink)

I take Newton’s arguments to inverse square centripetal forces from Kepler’s harmonic and areal laws to be classic deductions from phenomena. I argue that the theorems backing up these inferences establish systematic dependencies that make the phenomena carry the objective information that the propositions inferred from them hold. A review of the data supporting Kepler’s laws indicates that these phenomena are Whewellian colligations—generalizations corresponding to the selection of a best fitting curve for an open-ended body of data. I argue that (...) the information theoretic features of Newton’s corrections of the Keplerian phenomena to account for perturbations introduced by universal gravitation show that these corrections do not undercut the inferences from the Keplerian phenomena. Finally, I suggest that all of Newton’s impressive applications of Universal gravitation to account for motion phenomena show an attempt to deliver explanations that share these salient features of his classic deductions from phenomena. (shrink)

The present PhD thesis is concerned with the question whether good reasoning requires that the subject has some cognitive grip on the relation between premises and conclusion. One consideration in favor of such a requirement goes as follows: In order for my belief-formation to be an instance of reasoning, and not merely a causally related sequence of beliefs, the process must be guided by my endorsement of a rule of reasoning. Therefore I must have justified beliefs about the relation between (...) my premises and my conclusion. -/- The rationality of a belief often depends on whether it is rightly connected to other beliefs, or more generally to other mental states —the states capable of providing a reason to holding the belief in question. For instance, some rational beliefs are connected to other beliefs by being inferred from them. It is often accepted that the connection implies that the subject in some sense ‘takes the mental states in question to be reason-providing’. But views on how exactly this is to be understood differ widely. They range from interpretations according to which ‘taking a mental state to be reason-providing’ imposes a mere causal sustaining relation between belief and reason-providing state to interpretations according to which one ‘takes a mental state to be reason-providing’ only if one believes that the state is reason-providing. The most common worry about the latter view is that it faces a vicious regress. In this thesis a different but in some respects similar interpretation of ‘taking something as reason-providing’ is given. It is argued to consist of a disposition to react in certain ways to information that challenges the reason-providing capacity of the allegedly reason-providing state. For instance, that one has inferred A from B partly consists in being disposed to suspend judgment about A if one obtains a reason to believe that B does not render A probable. The account is defended against regress-objections and the suspicion of explanatory circularity. (shrink)

Electrical brain activity modulation in terms of changes in its intensity and spatial distribution is a function of age and task demand. However, the dynamics of brain modulation is unknown when it depends on external factors such as training. The aim of this research is to verify the effect of deductive reasoning training on the modulation in the brain activity of healthy younger and older adults ( (mean age of 21 ± 3.39) and (mean age of 68.92 ± 5.72)). (...) The analysis reveals the benefits of training, showing that it lowers cerebral activation while increasing the number of correct responses in the trained reasoning task (). The brain source generators were identified by time-averaging low-resolution brain electromagnetic tomography (sLORETA) current density images. In both groups, a bilateral overactivation associated with the task and not with age was identified. However, while the profile of bilateral activation in younger adults was symmetrical in anterior areas, in the older ones, the profile was located asymmetrically in anterior and posterior areas. Consequently, bilaterality may be a marker of how the brain adapts to maintain cognitive function in demanding tasks in both age groups. However, the differential bilateral locations across age groups indicate that the tendency to brain modulation is determined by age. (shrink)

We analyze the causal-observational languages that were introduced in Barbero and Sandu (2018), which allow discussing interventionist counterfactuals and functional dependencies in a unified framework. In particular, we systematically investigate the expressive power of these languages in causal team semantics, and we provide complete natural deduction calculi for each language. Furthermore, we introduce a generalized semantics which allows representing uncertainty about the causal laws, and we analyze the expressive power and proof theory of the causal-observational languages over this enriched semantics.

The present form of mathematical logic originated in the twenties and early thirties from the partial merging of two different traditions, the algebra of logic and the logicist tradition (see [27], [41]). This resulted in a new form of logic in which several features of the two earlier traditions coexist. Clearly neither the algebra of logic nor the logicist’s logic is identical to the present form of mathematical logic, yet some of their basic ideas can be distinctly recognized within it. (...) One of such ideas is Boole’s view that logic is the study of the laws of thought. This is not to be meant in a psychologistic way. Frege himself states that the task of logic can be represented “as the investigation of the mind; [though] of the mind, not of minds” [17, p. 369]. Moreover Frege never charges Boole with being psychologistic and in a letter to Peano even distinguishes between the followers of Boole and “the psychological logicians” [16, p. 108]. In fact for Boole the laws of thought which are the object of logic belong “to the domain of what is termed necessary truth” [2, p. 404]. For him logic does not depend on psychology, on the contrary psychology depends on logic insofar as it is only through an investigation of logical operations that we could obtain “some probable intimations concerning the nature and constitution of the human mind” [2, p. 1]. Logic is normative, not descriptive. For, the laws of thought do not “manifest their presence otherwise than by merely prescribing the conditions of formal inference” [2, p. 419]. They are, “properly speaking, the laws of right reasoning only” [2, p. 408]. So they “form but a part of the system of laws by which the actual processes of reasoning, whether right or wrong, are governed” [2, p. 409]. Boole’s idea that logic is the study of the laws of thought was taken over by Hilbert. According to him logic is “a discipline which expresses the structure of all our thought” [31, p.. (shrink)

In this article, we shall show the generalized notions of distributivity of Boolean algebras have essential relations with several axioms and properties of set theory, say the Axiom of Choice, the Axiom of Dependence Choice, the Prime Ideal Theorems, Martin's axioms, Lebesgue measurability and so on.

A framing effect occurs when an agent's choices are not invariant under changes in the way a decision problem is presented, e.g. changes in the way options are described (violation of description invariance) or preferences are elicited (violation of procedure invariance). Here we identify those rationality violations that underlie framing effects. We attribute to the agent a sequential decision process in which a “target” proposition and several “background” propositions are considered. We suggest that the agent exhibits a framing effect if (...) and only if two conditions are met. First, different presentations of the decision problem lead the agent to consider the propositions in a different order (the empirical condition). Second, different such “decision paths” lead to different decisions on the target proposition (the logical condition). The second condition holds when the agent's initial dispositions on the propositions are “implicitly inconsistent,” which may be caused by violations of “deductive closure.” Our account is consistent with some observations made by psychologists and provides a unified framework for explaining violations of description and procedure invariance. (shrink)

This article demonstrates the fallacy of legal deduction as a method which is supposed to guarantee the certainty and predictability of the law. The Author asserts that legal deduction is in fact not of a logical nature. Their premises are of an uneven character or else one of them must be created in a non-mechanical way. This in turn makes legal deduction that is comprehended as a mode of inference that is infallible, provided its premises are true / valid nothing (...) more than misunderstanding and fallacy. In addition, in this paper, the outcomes of legal deduction are shown to be highly dependent on the direct and indirect context under the threat of their being utterly absurd. Since the lack of fixity and clarity, these contexts, however, may lead one to madness, i. e. at least unless she or he abandons the idea that only logical types of inferences govern legal deduction and are solely responsible for its outcomes. (shrink)

In this paper, I explore the strategy of circularity employed by Kant and Husserl in their treatment of categoriality. I focus on the relation between transcendental and metaphysical deductions in Kant’s Critique of Pure Reason, and on the problem of “epistemic foundationalism” and categoriality in Husserl’s Sixth Logical Investigation. I propose that the strategy of circularity is manifested through the peculiar self-enclosure of the categories of transcendental deduction vis-à-vis metaphysical deduction (Kant) and categorial intuition vis-à-vis sensuous intuition (Husserl). Although it (...) is usually regarded as a deficient and damaging occurrence in argumentation, circularity appears to be a crucial component in the analysis of both thinkers. The analytical realms recognized by both these thinkers, are acknowledged as continually dependent upon the self-evidential “contingency” of the realms they are supposed to hierarchically overarch. The strict separation between the transcendental and phenomenological realms and their addressees appears to be founded on mutual circularity, where the relation between investigator and investigated extends beyond their separation and reconciliation. Both Kant and Husserl, through the circular relationship with empiricism-rationalism and psychologism radically re-articulated the logic-ontology and founding-founded polarities. (shrink)

Este trabajo tiene por objetivo examinar la idea de deducción metamatemática en el programa de Hilbert, mostrando su dependencia de conceptos gnoseológicos, tales como el de conocimiento intuitivo. También se comparará esta concepcion de la deducción con la fundamentación intuicionista de la logica. Sostendré que esta deducción metamatemática lleva a una caracterización de la logica como una teoría de las deducciones formales en un sentido particular.This paper aims to examine the idea of metamathematical deduction in Hilbert’s program showing its (...) class='Hi'>dependence of epistemological notions, such as intuitive knowledge. This conception of deduction will be also compared with the intuitionistic foundation of logic. I will argue that this metamathematical deduction leads to a characterization of logic as a theory of formal deductions in a particular sense. (shrink)

The Principle of Dependent Choice is shown to be equivalent to: the Baire Category Theorem for Čech-complete spaces (or for complete metric spaces); the existence theorem for generic sets of forcing conditions; and a proof-theoretic principle that abstracts the "Henkin method" of proving deductive completeness of logical systems. The Rasiowa-Sikorski Lemma is shown to be equivalent to the conjunction of the Ultrafilter Theorem and the Baire Category Theorem for compact Hausdorff spaces.

In this paper, we axiomatize the negatable consequences in dependence and independence logic by extending the systems of natural deduction of the logics given in [22] and [11]. We prove a characterization theorem for negatable formulas in independence logic and negatable sentences in dependence logic, and identify an interesting class of formulas that are negatable in independence logic. Dependence and independence atoms, first-order formulas belong to this class. We also demonstrate our extended system of independence logic by (...) giving explicit derivations for Armstrong's Axioms and the Geiger-Paz-Pearl axioms of dependence and independence atoms. (shrink)

Limited distribution phenomena related to negation and negative polarity are usually thought of in terms of affectivity where affective is understood as negative or downward entailing. In this paper I propose an analysis of affective contexts as nonveridical and treat negative polarity as a manifestation of the more general phenomenon of sensitivity to (non)veridicality (which is, I argue, what affective dependencies boil down to). Empirical support for this analysis will be provided by a detailed examination of affective dependencies in Greek, (...) but the distribution of any will also be shown to follow from (non)veridicality. (shrink)

This unique volume explores what ethics has to offer the practicing physician, nurse, and allied health care worker. The authors introduce the basic vocabulary of ethics and present and discuss the most commonly used ethical theories, using case studies to illustrate how ethics work within the context of health care. Newcomers to the field will learn what ethics is all about and how it relates to the pragmatic concerns of the health care professional. Those who already have a working knowledge (...) of the field will find a new approach to ethical theory--personalism--which the authors believe can make the practical use of ethics more effective and reliable. (shrink)