Behavior that solves a problem is distinguished by the fact that it changes another part of the solver's behavior and is strengthened when it does so. Problem solving typically involves the construction of discriminative stimuli. Verbal responses produce especially useful stimuli, because they affect other people. As a culture formulates maxims, laws, grammar, and science, its members behave more effectively without direct or prolonged contact with the contingencies thus formulated. The culture solves problems for its members, and does so by (...) transmitting the verbal discriminative stimuli called rules. Induction, deduction, and the construction of models are ways of producing rules. Behavior that solves a problem may result from direct shaping by contingencies or from rules constructed either by the problem solver or by others. Because different controlling variables are involved, contingency-shaped behavior is never exactly like rule-governed behavior. The distinction must take account of a system which establishes certain contingencies of reinforcement, such as some part of the natural environment, a piece of equipment, or a verbal community; the behavior shaped and maintained by these contingencies; rules, derived from the contingencies, which specify discriminative stimuli, responses, and consequences, and the behavior occasioned by the rules. (shrink)

I argue that, in the Prior Analytics, higher and above the well-known ‘reduction through impossibility’ of figures, Aristotle is resorting to a general procedure of demonstrating through impossibility in various contexts. This is shown from the analysis of the role of adunaton in conversions of premises and other demonstrations where modal or truth-value consistency is indirectly shown to be valid through impossibility. Following the meaning of impossible as ‘non-existent’, the system is also completed by rejecting any invalid combinations of terms (...) in deductions or conversions. The notion of impossibility reaches the core of Aristotle's system in the Prior Analytics. On the one hand, the use of adunaton shows that he is following one of the two requisites for demonstrative science formulated in the Posterior Analytics, i.e. to demonstrate that it is impossible for things to be otherwise than stated. On the other hand, that demonstrations through impossibility are rooted in the notion of contradiction supp.. (shrink)

We owe most scientific knowledge to methods of inquiry that are never formally analyzed. The analysis of behavior does not call for hypothetico-deductive methods. Statistics, taught in lieu of scientific method, is incompatible with major features of much laboratory research. Squeezing significance out of ambiguous data discourages the more promising step of scrapping the experiment and starting again. As a consequence, psychologists have taken flight from the laboratory. They have fled to Real People and the human interest of “real life,” (...) to Mathematical Models and the elegance of symbolic treatments, to the Inner Man and the explanatory preoccupation with inferred internal mechanisms, and to Laymanship and its appeal to “common sense.” An experimental analysis provides an alternative to these divertissements.The “theories” to which objection is raised here are not the basic assumptions essential to any scientific activity or statements that are not yet facts, but rather explanations which appeal to events taking place somewhere else, at some other level of observation, described in different terms, and measured, if at all, in different dimensions. Three types of learning theories satisfy this definition: physiological theories attempting to reduce behavior to events in the nervous system; mentalistic theories appealing to inferred inner events; and theories of the Conceptual Nervous System offered as explanatory models of behavior. It would be foolhardy to deny the achievements of such theories in the history of science. The question of whether they are necessary, however, has other implications.Experimental material in three areas illustrates the function of theory more concretely. Alternatives to behavior ratios, excitatory potentials, and so on demonstrate the utility of rate or probability of response as the basic datum in learning. Functional relations between behavior and environmental variables provide an account of why learning occurs. Activities such as preferring, choosing, discriminating, and matching can be dealt with solely in terms of behavior, without referring to processes in another dimensional system. The experiments are not offered as demonstrating that theories are not necessary but to suggest an alternative. Theory is possible in another sense. Beyond the collection of uniform relationships lies the need for a formal representation of the data reduced to a minimal number of terms. A theoretical construction may yield greater generality than any assemblage of facts; such a construction will not refer to another dimensional system. (shrink)

One of the claims made for C. S. Peirce's existential graphs has been that they are a deductively complete formulation of first-order logic with identity. As Peirce presented them, this is true only for certain versions of first-order logic :those which do not include terms for individuals. I amend Peirce's rules here, showing, in particular, how they are capable of demonstrating that, for instance, ?Jack is in the kitchen? contradicts ?Jack is not in the kitchen?

This book represents the first major attempt by any author to provide an integrated account of the evidence for bias in human reasoning across a wide range of disparate psychological literatures. The topics discussed involve both deductive and inductive reasoning as well as statistical judgement and inference. In addition, the author proposes a general theoretical approach to the explanations of bias and considers the practical implications for real world decision making. The theoretical stance of the book is based on a (...) distinction between preconscious heuristic processes which determine the mental representation of 'relevant' features of the problem content, and subsequent analytic reasoning processes which generate inferences and judgements. Phenomena discussed and interpreted within this framework include feature matching biases in propositional reasoning, confirmation bias, biasing and debiasing effects of knowledge on reasoning, and biases in statistical judgement normally attributed to 'availability' and 'representativeness' heuristics. In the final chapter, the practical consequences of bias for real life decision making are considered, together with various issues concerning the problem of 'debiasing'. The major approaches discussed are those involving education and training on the one hand, and the development of intelligent software and interactive decision aids on the other. (shrink)

I defend a novel interpretation of Kant's conceptualism regarding the contents of our perceptual experiences. Conceptualist interpreters agree that Kant's Deduction aims to prove that intuitions require the categories for their spatiality and temporality. But conceptualists disagree as to which features of space and time make intuitions require the categories. Interpreters have cited the singularity, unity, infinity, and homogeneity of space and time. But this is incompatible with Kant's Aesthetic, which aims to prove that these same features qualify space (...) and time as intuitions, not concepts. On my interpretation, the feature is objectivity. Space and time are objective, in that they ground our judgments in geometry and mechanics. (shrink)

A system of natural deduction rules is proposed for an idealized form of English. The rules presuppose a sharp distinction between proper names and such expressions as the c, a (an) c, some c, any c, and every c, where c represents a common noun. These latter expressions are called quantifiers, and other expressions of the form that c or that c itself, are called quantified terms. Introduction and elimination rules are presented for any, every, some, a (an), and (...) the, and also for any which, every which, and so on, as well as rules for some other concepts. One outcome of these rules is that Every man loves some woman is implied by, but does not imply, Some woman is loved by every man, since the latter is taken to mean the same as Some woman is loved by all men. Also, Jack knows which woman came is implied by Some woman is known by Jack to have come, but not by Jack knows that some woman came. (shrink)

This paper relates to a formal statement of the mechanisms that are thought minimally necessary to underpin consciousness. This is expressed in the form of axioms. We deem this to be useful if there is ever to be clarity in answering questions about whether this or the other organism is or is not conscious. As usual, axioms are ways of making formal statements of intuitive beliefs and looking, again formally, at the consequences of such beliefs. The use of this style (...) of exposition does not entail a claim to provide a mathematically rigorous formal deductive system. Conventional mathematical notation is used to achieve clarity, although this is elaborated with natural language in an attempt to reduce terseness. In our view, making the approach axiomatic is synonymous with building clear usable tests for consciousness and is therefore a central feature of the paper. The extended scope of this approach is to lay down some essential properties that should be considered when designing machines that could be said to be conscious. In the broader discussion about the nature of consciousness and its neurological mechanisms, it may seem to some that axiomatisation is premature and continues to beg many questions. However, the approach is meant to be open- ended so that others can build further axiomatic clarifications that address the very large number of questions which, in the search for a formal basis for consciousness, still remain to be answered. Of course, in discussions about consciousness many will also argue that the subject is not one that may ever be formally addressed by means of axioms. The view taken in this paper is 'let's try to do it and see how far it gets'. (shrink)

The problem of Kant’s Neglected Alternative is that while his Aesthetic provides an argument that space and time are empirically real – in applying to all appearances – its argument seems to fall short of the conclusion that space and time are transcendentally ideal, in not applying to any things in themselves. By considering an overlooked passage in which Kant explains why his Transcendental Deduction is ‘unavoidably necessary’, I argue that it is not solely in his Aesthetic but more (...) so in his Deduction where he intends to provide his argument for the transcendental ideality of space and time. His Deduction shows that space and time do not have a valid application to any things in themselves by arguing that the categories do have a valid application to everything in space and time, but that the categories do not have a valid application to any things in themselves. (shrink)

Logical Form, Probability Interpretations, and the Inductive/Deductive Distinction.

I have long concluded that psychologists seek 'facts' but don't care about 'truth'; while philosophers seek 'truth' but don't care about 'facts'. After attending Tucson-2002, I would create a third reckless stereotype: eastern philosophy seek 'enlightenment' but don't care about 'facts' or 'truth'. To avoid this seeming to be the equal-opportunity put-down that it really is, let me amend that to: scientists seek inductive 'facts' about consciousness, western philosophers seek deductive 'truth' about consciousness, and eastern philosophers seek transcendent 'enlightenment' - (...) to grow, transcend, or lose my/our own consciousness. To make it even more complicated, there are - obliquely bridging the facts, truth, and enlightenment camps - brain-probing anaesthesiologists and others advocating an intriguing package of quantum mechanics, microtubules, pan-psychism and causation-running-backwards-in- time. H-E-L-P! With the echoes of the conference still in my mental ears, I dedicate this report to Mountcastle, Maharishi, and Monty Python. (shrink)

This book is a study of the second-edition version of the 'Transcendental Deduction', which is one of the most important and obscure sections of Kant's Critique of Pure Reason. By way of a close analysis of the B-Deduction, Adam Dickerson makes the distinctive claim that the Deduction is crucially concerned with the problem of making intelligible the unity possessed by complex representations - a problem that is the representationalist parallel of the semantic problem of the unity of (...) the proposition. Along the way he discusses most of the key themes in Kant's theory of knowledge, including the nature of thought and representation, the notion of objectivity, and the way in which the mind structures our experience of the world. (shrink)

I argue for a novel, non-subjectivist interpretation of Kant’s transcendental idealism. Kant’s idealism is often interpreted as specifying how we must experience objects or how objects must appear to us. I argue to the contrary by appealing to Kant’s Transcendental Deduction. Kant’s Deduction is the proof that the categories are not merely subjectively necessary conditions we need for our cognition, but objectively valid conditions necessary for objects to be appearances. My interpretation centres on two claims. First, Kant’s method (...) of self-knowledge consists in his determining what makes our cognitive faculty finite in contrast to God’s infinite cognitive faculty. Second, Kant’s limitation of our knowledge to appearances consists in his developing an account according to which appearances and our finite cognitive faculty are conceived of in terms of each other and in contrast to noumena in the positive sense and God’s infinite cognitive faculty. (shrink)

Among the quantificational notions neglected by classical logic are "many," "few," and "nearly all." Despite the apparent vagueness associated with these terms in ordinary discourse, in specific contexts we can and do draw strict inferences from statements in which they occur. In this pioneering work, Altham has attempted to uncover something of the formal logic that justifies such inferences. He begins by showing the mutual interdefinability of the three terms. If negation and any one of them are taken as primitive, (...) the other two are definable in terms of these. Selecting as his basic semantic notion the idea of a manifold or many-membered-set, he shows it is only necessary to fix upon a number n, greater than one, to represent the least number of elements to constitute a specific manifold and then one can construct a natural deductive system which uses the standard predicate logic. He develops at great length a weak system that yields principles of inference which are valid in every non-empty domain and in which the classical predicate logic appears as a limiting case. One point that emerges is that the three plurality operators may all be exhibited as involving a double quantification not characteristic of "some," "none," or "all." Next, two stronger systems are developed more briefly which are valid only in many-membered domains. The strongest can represent the largest set of informal arguments and seems to be the most natural of the three. Nevertheless, since these three systems admittedly do not give an exhaustive account of the use of these quantifiers in informal discourse, Altham explains three further systems which correspond more closely to the natural language use of these terms. Finally an appendix indicates what modifications would be required for an intuitionistic logic like Heyting's or the minimal logic of Kolmogorov-Johansson. The text is clearly written and requires no greater logical sophistication to understand than would be needed to follow Lemmon's Beginning Logic or Mates' Elementary Logic.--A. B. W. (shrink)

This book, besides meeting a definite need in the field of Kantian ethical studies, is excellent. Professor Beck treats the Practical Reason as an exemplification of a general Kantian method applied to problems organic to the Kantian system as a whole. His interpretation of the 'Transcendental deduction' of the Principle of Pure Practical Reason is particularly brilliant; the Principle is shown to be established in precisely the form required for a complete resolution of the third antinomy of the Critique (...) of Pure Reason, and the procedure has the further warrant of showing the validity of the "deduction" of chapter III of the "Grundlegung."--J. B. (shrink)

Two experiments examined the role of conditional reasoning in the logical deduction game, Mastermind . An analysis suggested that Modus Tollens (MT) reasoning could be used to determine the code structure, for example, in determining if any of the colours in the code are repeated. Consistent with this analysis, Experiment 1 showed that only MT errors are correlated with the number of hypotheses advanced in Mastermind . A subsequent analysis showed that conditional reasoning such as Affirming the Consequent (AC) (...) and Denying the Antecedent (DA) could lead to particularly damaging inferences only when the code was four different colours. When that was known before play, Experiment 2 showed that AC errors, but not MT errors, were significantly correlated with Mastermind hypotheses advanced. A stepwise multiple regression analysis supported these findings: When the solvers knew they were playing a four-colour code, there was a slight diminution in the variance explained by MT errors, and a significant increase in the variance explained by AC errors. An analysis of the number of different possible codes that could be consistent with hypotheses actually played showed that the number of such codes is far fewer when the code consists of four different colours than when its structure is not known. This analysis suggests that reasoners are therefore unlikely to discover many alternative causes for the feedback given when the code consists of four different colours, and it is under these conditions that humans are most likely to engage in AC reasoning. (shrink)

In common with a number of other authors I believe that there has been a paradigm shift in the psychology of reasoning, specifically the area traditionally labelled as the study of deduction. The deduction paradigm was founded in a philosophical tradition that assumed logicality as the basis for rational thought, and provided binary propositional logic as the agreed normative framework. By contrast, many contemporary authors assume that people have degrees of uncertainty in both premises and conclusions, and reject (...) binary logic as a workable normative system. I discuss a number of questions and challenges for this new psychology of reasoning, including the following: (a) Do we need an alternative normative system, such as Bayesianism, for the new paradigm? (b) Is there any longer a clear distinction between the study of deductive and inductive reasoning, the latter having its own tradition and literature? (c) Precisely how is the integrated study of reasoning and decision making facilitated by the new paradigm? (d) What difficulties with dual-processing approaches need to be resolved, if they are to take us forward? (shrink)

This is a monumental study of the transcendental deduction—that argument of legendary obscurity lying at the heart of Immanuel Kant’s Critique of Pure Reason. Allison begins from the methodological precept that “Kant’s argument can best be understood in light of the internal development of his thought”, and his book thus provides a systematic historical account of the deduction and its emergence from earlier texts. It begins with two chapters on the major pre-critical writings, which trace the emergence of (...) Kant’s “methodological” concerns with the limits and possibilities of metaphysical theorizing. However, this concern... (shrink)

As a contribution to the commemorations of Spinoza's death, this article describes in a few pages the significance of Spinoza in the evolution of Western political thought. Especially in his Political Treatise, Spinoza attempted to elaborate a «scientific» theory of political life, i.e. a closing deductive theory based upon a «true knowledge of the causes and natural bases» of human actions and passions. In his view it can be proved with a rational necessity that democracy - defined as Spinoza defines (...) it - is the best political regime. He strongly emphasizes that democracy and, consequently, a well organized and efficiently functioning life in common, is impossible without real freedom of opinion and speech and a political «neutralization» of religion. (shrink)

The objective of the article is twofold: to advance an interpretation of Descartes’ position on the problem of explaining how deduction from universal propositions to their particular instances can be both legitimate and useful for discovery of truth; and to argue that his position is a valuable contribution to the philosophy of logic. In Descartes’ view. the problem in question is that syllogistic deductions from universal propositions to their particular instances is circular and hence useless as a means for (...) discovery of truth. Descartes’ solution to the problem is to claim that noncircular, useful deduction from the universal to the particular must first be based on deduction from particular truths to particular truths. I examine previous interpretations of Cartesian deduction given by E.M. Curley, Bernard Williams, and Andre Gombay. None of these interpretations fit with all of Descartes’ criticisms of syllogistic deduction and his characterization of useful and legitimate deduction (such as the cogito). I argue that the key to a correct interpretation is Descartes’ claim that implicit knowledge of universal propositions plays a crucial role in useful and legitimate deduction, and I explain how we may cash in his talk of implicit knowledge through Ryle’s notion of knowing how. Having set out a fuller explication of Descartes’ theory of deduction, I argue that it is consistent with the way people actually reason, that it helps us with problems in the philosophy of logic that have been raised by John Stuart Mill, Hilary Putnam, and Michael Dummett. (shrink)

The objective of the article is twofold: to advance an interpretation of Descartes’ position on the problem of explaining how deduction from universal propositions to their particular instances can be both legitimate and useful for discovery of truth; and to argue that his position is a valuable contribution to the philosophy of logic. In Descartes’ view. the problem in question is that syllogistic deductions from universal propositions to their particular instances is circular and hence useless as a means for (...) discovery of truth. Descartes’ solution to the problem is to claim that noncircular, useful deduction from the universal to the particular must first be based on deduction from particular truths to particular truths. I examine previous interpretations of Cartesian deduction given by E.M. Curley, Bernard Williams, and Andre Gombay. None of these interpretations fit with all of Descartes’ criticisms of syllogistic deduction and his characterization of useful and legitimate deduction (such as the cogito). I argue that the key to a correct interpretation is Descartes’ claim that implicit knowledge of universal propositions plays a crucial role in useful and legitimate deduction, and I explain how we may cash in his talk of implicit knowledge through Ryle’s notion of knowing how. Having set out a fuller explication of Descartes’ theory of deduction, I argue that it is consistent with the way people actually reason, that it helps us with problems in the philosophy of logic that have been raised by John Stuart Mill, Hilary Putnam, and Michael Dummett. (shrink)

In a field dominated by research on moral prescription and moral prediction, there is poor understanding of the place of moral perceptions in organizations alongside philosophical ethics and causal models of ethical outcomes. As leadership failures continue to plague organizational health and firms recognize the wide-ranging impact of subjective bias, scholars and practitioners need a renewed frame of reference from which to reconceptualize their current understanding of ethics as perceived in individuals. Based on an assessment and selection perspective from the (...) field of human resource management, an alternative to conventional deductive-prescriptive approaches is proposed based on a pluralistic concept referred to as moral goodness. An inductive-descriptive theory-building framework is constructed based on three interrelated streams of inquiry to yield insight concerning both formal and informal instances of assessment. Recommendations are proposed for the application of the framework to future research and practice. (shrink)

More than a decade after Philip P. Wiener and Frederick H. Young edited the first volume of Studies in the Philosophy of Charles Sanders Peirce, Moore and Robin have brought together a collection of essays which serves as a valuable supplement to that earlier publication. It is more than a supplement, however; it can stand on its own as a significant contribution to Peirce scholarship. Continuity with the first volume is achieved through new essays which analyze Peirce's theory of belief, (...) of habit, and of Scotistic realism—themes about which many of the earlier papers revolved. Novelty is achieved through increased emphasis on Peirce's logical and mathematical writings and on the influence of nineteenth century evolutionism upon Peirce's pragmaticism. The exploration of the latter motif in the three contributions of W. Donald Oliver, Rulon Wells, and Thomas A. Goudge is particularly noteworthy. In their Preface, Moore and Robin state that the most significant contribution of this new volume is the revelation of the extent to which Peirce was first a scientist and then a philosopher. This is a misleading characterization of the book. True, Victor F. Lenzen's "Charles S. Peirce As Astronomer" is an engaging piece. On the other hand, the bulk of the articles impress the reader with the originality and modernity of Peirce, the philosopher and Peirce, the logician. The most notable feature of this collection is the number of essays which draw parallels between dominant philosophical and logical themes found in Peirce's writings and major interests of mid-twentieth century philosophers. Impressive examples are: A. R. Turquette's "Peirce's Icons For Deductive Logic," Richard M. Martin's "On Acting On A Belief," Larry Holmes's "Prolegomena To Peirce's Philosophy Of Mind," and Richard J. Bernstein's "Peirce's Theory of Perception." In presenting the articles which constitute this volume the editors give evidence not only of the relevance of Peirce for the contemporary student of philosophy but also of the impetus which Peirce's thought has provided for creative philosophical analysis. An additional bonus for Peirce scholars are two bibliographies prepared by Max H. Fisch. One is a supplement to Arthur W. Burk's 1958 bibliography of works by C. S. Peirce. The other is a draft of a bibliography of works about C. S. Peirce.—B. G. R. (shrink)

Munsat’s objective in collecting eleven selections on the analytic-synthetic distinction is to acquaint the beginning or intermediate student with the major aspects of the issue. The selections are presented in historical sequence and Munsat has effectively edited the works such that one can easily follow the development of the distinction without having to contend with excessive peripheral material. The editor provides a short introduction to the varieties of truth as well as prefatory notes to each selection. Beginning with brief selections (...) from Leibniz and Hobbes, the treatment of necessary and contingent truths is traced through Kant and Mill. The Mill selection, "Of Demonstration, and Necessary Truths," deals with the inductive foundations of the deductive sciences and mathematics. This line of investigation reaches its climax in the Frege passages on the nature of arithmetical propositions and Russell’s "What is an Empirical Science?" Of particular importance are portions of three classic contributions to the analytic-synthetic distinction: Kant’s Introduction to the Critique of Pure Reason, W. V. Quine’s critical "Two Dogmas of Empiricism," and the rebuttal to Quine’s attack by Grice and Strawson, "In Defense of a Dogma." Finally, the segment of J. L. Austin’s "The Meaning of a Word" could just as well have been excluded in the interest of continuity and in deference to some more appropriate selection. Munsat has included a useful nineteen-page bibliography.—B. G. H. (shrink)

A translation of the small volume originally published in 1939 based on De Vleeschauwer's classic La Déduction transcendentale dans l'œuvre de Kant, in which the author approaches the subject as "the historian of a great system and the biographer of a great mind." In addition to the detailed historical information, the study is valuable for exhibiting the philosophic perplexities involved in the construction of Kant's critical philosophy.--R. J. B.

This study in the philosophy of science analyzes "the logic of scientific inquiry and the logical structure of its intellectual products." The author distinguishes four patterns of scientific explanation: the deductive model, probabilistic explanation, functional and teleological explanation, and genetic explanation. The structure and application of each is explored with respect to some of the more specialized areas of science. Many of the traditional problems of philosophy of science are discussed, and there are excellent treatments of the methodology of the (...) social sciences and historical explanation. A large and important book, presenting a vast amount of material handled in an incisive manner.--B. J. H. (shrink)

We are concerned with showing how ‘labelled’ Natural Deduction presentation systems based on an extension of the so-called Curry-Howard functional interpretation can help us understand and generalise most of the deduction calculi designed to deal with the logical notion of existential quantification. We present the labelling mechanism for ‘’ using what we call ‘ɛ-terms’, which have the form of ‘a’) in a dual form to the ‘Ax.f’ terms of in the sense that the ‘witness’ is chosen at the (...) time of assertion/introduction.With the intention of demonstrating the generality of our framework, we provide a brief comparison with some other calculi of existentials, including the model-theoretic interpretations of Skolem and Herbrand, indicating the way in which some of the classical results on prenex normal forms can be extended to a wide range of logics. The essential ingredient is to look at the conceptual framework of labelled natural deduction as an attempted reconstruction of Frege's functional calculus where the devices of the Begriffsschrift work separately from, yet in harmony with, those of the Grundgesetze 1. (shrink)

Kant calls his Transcendental Deduction "the most difficult thing that could ever be undertaken on behalf of metaphysics" (4:260). Readers have found it not just difficult but downright impossible. I will address two long-standing problems. First, Kant seems to contradict his conclusion at the outset of his proof. He does so in both the 1781 and 1787 editions of his Critique of Pure Reason. Second, Kant seems to argue for his single conclusion twice over in his Critique's 1787 edition. (...) I will propose novel solutions by considering why Kant's Deduction is more difficult than his Transcendental Aesthetic, on one hand, and his 1770 Inaugural Dissertation, on the other. My broader aim is to oppose a subjectivist interpretation of Kant's Deduction with an original interpretation. On the subjectivist interpretation, Kant holds that the categories apply to appearances because appearances necessarily conform to our subjective forms of the understanding. I will argue to the contrary in addressing the first problem. On my interpretation, the reason that the categories apply to appearances is not just because of what our subjective forms of the understanding are. It is because of what objects are as appearances. What are objects as appearances, for Kant? In addressing the second problem, I will argue that they are objects of our possible intuitions and judgments. (shrink)

It is considered in some quarters that hypothesis‐driven methods are the only valuable, reliable or significant means of scientific advance. Data‐driven or ‘inductive’ advances in scientific knowledge are then seen as marginal, irrelevant, insecure or wrong‐headed, while the development of technology—which is not of itself ‘hypothesis‐led’ (beyond the recognition that such tools might be of value)—must be seen as equally irrelevant to the hypothetico‐deductive scientific agenda. We argue here that data‐ and technology‐driven programmes are not alternatives to hypothesis‐led studies in (...) scientific knowledge discovery but are complementary and iterative partners with them. Many fields are data‐rich but hypothesis‐poor. Here, computational methods of data analysis, which may be automated, provide the means of generating novel hypotheses, especially in the post‐genomic era. BioEssays 26:99–105, 2004. © 2003 Wiley Periodicals, Inc. (shrink)

In a priori analogies, the analogue is constructed in imagination, sharing certain properties with the primary subject. The analogue has some further property clearly consequent on those shared properties. Ceteris paribus the primary subject has that property also. The warrant involves non-empirical, e.g., moral intuition but is also defeasible. The argument is thus neither deductive nor inductive, but an additional type. In an inductive analogy, the analogues back the warrant from below. Distinguishing these two types of arguments by analogy gives (...) epistemic evaluative factors primacy over resemblance factors in classifying arguments—a prescient insight on Govier’s part. (shrink)