Bruce Waller has defended a deductive reconstruction of the kinds of analogical arguments found in ethics, law, and metaphysics. This paper demonstrates the limits of such a reconstruction and argues for an alternative. non-deductive reconstruction. It will be shown that some analogical arguments do not fit Waller's deductive schema, and that such a schema does not allow for an adequate account of the strengths and weaknesses of an analogical argument. The similarities and differences between (...) the account defended herein and the Trudy Govier's account are discussed as well. (shrink)

Bruce Waller has defended a deductive reconstruction of the kinds of analogical arguments found in ethics, law, and metaphysics. This paper demonstrates the limits of such a reconstruction and argues for an alternative. non-deductive reconstruction. It will be shown that some analogical arguments do not fit Waller's deductive schema, and that such a schema does not allow for an adequate account of the strengths and weaknesses of an analogical argument. The similarities and differences between (...) the account defended herein and the Trudy Govier's account are discussed as well. (shrink)

Michael V. Wedin presents a rigorous reconstruction of the deductions in Parmenides' Way of Truth: the most important philosophical treatise before Plato and Aristotle. He answers criticisms which claim that Parmenides' arguments are shot through with logical fallacies, and argues against natural explanations of Parmenides in the Ionian tradition.

Over the past few decades there has been a rebellion brewing in the world of Parmenides scholarship. Most of the things you probably think you know about the man have come under serious and sustained attack. No longer is it safe to accept on trust the view—which G. E. L. Owen so forcefully defended in his 1960 paper “Eleatic Questions”—that according to Parmenides there exists only one thing, ungenerated, indestructible, unchanging, indivisible, and spherical. Nor is it safe to assume that (...) he had no real commitment to empirical theorizing, and sought only to demolish the cosmological tradition that was initiated and developed by his Ionian predecessors Thales, Anaximander, and Anaximenes. All of.. (shrink)

According to Hempel, all scientific explanations and predictions which are produced exclusively with deterministic laws must be deductive, in the sense that the explanandum or the prediction must be a logical consequence of the laws and the initial conditions in the explanans. This deducibility thesis has been attacked from several quarters. Some time ago Canfield and Lehrer presented a “refutation” of DT as applied to predictions, in which they tried to prove that “if the deductive reconstruction [DT (...) for predictions] were an adequate reconstruction, then scientific prediction would be impossible”. Their argument seems to have been uncontested except for an inconclusive rejoinder by Beard. Moreover, Stegmüller has recently argued that “it may turn out that all or at least most of the so-called deductive-nomological explanations are in truth inductive and not deductive arguments, in view of the difficulty which has been pointed out by Canfield and Lehrer”. It seems it would be worth investigating whether Canfield and Lehrer's argument is, indeed, correct. (shrink)

The relation between logic and thought has long been controversial, but has recently influenced theorizing about the nature of mental processes in cognitive science. One prominent tradition argues that to explain the systematicity of thought we must posit syntactically structured representations inside the cognitive system which can be operated upon by structure sensitive rules similar to those employed in systems of natural deduction. I have argued elsewhere that the systematicity of human thought might better be explained as resulting from the (...) fact that we have learned natural languages which are themselves syntactically structured. According to this view, symbols of natural language are external to the cognitive processing system and what the cognitive system must learn to do is produce and comprehend such symbols. In this paper I pursue that idea by arguing that ability in natural deduction itself may rely on pattern recognition abilities that enable us to operate on external symbols rather than encodings of rules that might be applied to internal representations. To support this suggestion, I present a series of experiments with connectionist networks that have been trained to construct simple natural deductions in sentential logic. These networks not only succeed in reconstructing the derivations on which they have been trained, but in constructing new derivations that are only similar to the ones on which they have been trained. (shrink)

The paper deals with reconstruction of the unique reductivecounterpart of the deductive logic. The procedure results in the deductivereductive form of logic. This extension is illustrated on the base of intuitionistic logics: Heyting’s, Brouwerian and Heyting-Brouwer’s ones.

In these comments, I share some remarks concerning two main points lying at the core of Gava’s book Kant’s Critique of Pure Reason and the Method of Metaphysics: Gava’s reconstruction and account of a transcendental deduction, its relation to a metaphysical deduction, and more specifically his reading of the B-Deduction. I will discuss Gava’s arguments in order to highlight the key tenets of his interpretation and raise questions related to (1) the meaning and scope of the notion of ‘transcendental’; (...) and (2) the commitment to – and the extent of – what we might call ‘cognitive constructivism’. (shrink)

Fregean predicates applied to Fregean objects are merely defined by a `timeless' deductive order of sentences. They cannot provide sufficient structure in order to explain how names can refer to objects of intuition and how predicates can express properties of substances that change in time. Therefore, the accounts of Wilson and Quine, Prior and Brandom for temporal judgments fail — and a new reconstruction of Kant's transcendental logic, especially of the analogies of experience, is needed.

In Reconstructing Reason and Representation, Murray Clarke offers a detailed study of the philosophical implications of evolutionary psychology. In doing so, he offers new solutions to key problems in epistemology and philosophy of mind, including misrepresentation and rationality. He proposes a naturalistic approach to reason and representation that is informed by evolutionary psychology, and, expanding on the massive modularity thesis advanced in work by Leda Cosmides and John Tooby, argues for a modular, adapticist account of misrepresentation and knowledge. Just as (...) the reliability of representation can be defended on the basis of an account of the proper function of cognitive modularity, misrepresentation can be explained through an appeal to the "gap theory," by noting the divergence between the proper and actual domains of cognitive modules in a massively modular mind.Clarke argues for an externalist, modular reliabilism by suggesting that evolution has equipped us with generally reliable inferential systems even if they do not always produce true beliefs. He argues that reliable deductive and inductive inference occurs only when cognitive modules deal with actual domains that are sufficiently similar to their proper domains. This psychologically informed, naturalized adapticism leads to the suggestion that knowledge is a set of natural kinds housed in the modules of a massively modular mind. Typically, the proper function of these cognitive modules is to provide us with truths that enable us to satisfy our basic biological needs. Beyond reasoning modules, other cognitive modules discussed include the ability to orient ourselves in space, and our abilities with language, numbers, object reasoning, and social understanding. Clarke also defends Cosmides and Tooby's massive modularity hypothesis against such critics as Jerry Fodor by demonstrating that these critics consistently misrepresent Cosmides and Tooby's position. (shrink)

This article provides the first comprehensive reconstruction and analysis of Hintikka’s attempt to obtain a measure of the information yield of deductive inferences. The reconstruction is detailed by necessity due to the originality of Hintikka’s contribution. The analysis will turn out to be destructive. It dismisses Hintikka’s distinction between surface information and depth information as being of any utility towards obtaining a measure of the information yield of deductive inferences. Hintikka is right to identify the failure (...) of canonical information theory to give an account of the information yield of deductions as a scandal, however this article demonstrates that his attempt to provide such an account fails. It fails primarily because it applies to only a restricted set of deductions in the polyadic predicate calculus, and fails to apply at all to the deductions in the monadic predicate calculus and the propositional calculus. Some corollaries of these facts are a number of undesirable and counterintuitive results concerning the proposed relation of linguistic meaning (and hence synonymy) with surface information. Some of these results will be seen to contradict Hintikka’s stated aims, whilst others are seen to be false. The consequence is that the problem of obtaining a measure of the information yield of deductive inferences remains an open one. The failure of Hintikka’s proposal will suggest that a purely syntactic approach to the problem be abandoned in favour of an intrinsically semantic one. (shrink)

Descartes’s most extensive discussion of the law of refraction and the shape of the anaclastic lens is contained in Rule 8 of "Rules for the Direction of the Mind". Few reconstructions of Descartes’s discovery of the law of refraction take Rule 8 as their basis. In Rule 8, Descartes denies that the law of refraction can be discovered by purely mathematical means, and he requires that the law of refraction be deduced from physical principles about natural power or force, the (...) nature of the action of light, and the behavior of light rays in a variety of transparent media. For over a century, however, there has been broad agreement that Descartes discovered the law of refraction by purely mathematical means, and that he only later provided the relevant physical rationale (via comparisons or analogies) in Dioptrics II. I execute each step in Descartes’s proposed deduction of the law of refraction and the shape of the anaclastic lens in Rule 8 and concretely show how Descartes could have discovered the law of refraction and the shape of the anaclastic by its means. Rule 8, I argue, reflects Descartes’s actual path to the discovery of the law of refraction and the shape of the anaclastic lens. (shrink)

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)

Excerpt from Logic, Vol. 1: Deduction The present work aims at embracing a full course of Logic, both Formal and Inductive. In an introductory chapter, are set forth such doctrines of psychology as have a bearing on Logic, the nature of knowledge in general, and the classification of the sciences the intention being to avoid doctrinal digressions in the course of the work. Although preparatory to the under standing of what follows, this chapter may be passed over lightly on a (...) first perusal of the work. The part on Deduction contains the usual doctrines of the Syllogism, with the additions of Hamilton, and a full abstract of the novel and elaborate schemes of De Morgan and Boole. The Inductive portion comprises the methods of induc tive research, and all those collateral topics brought for ward by Mr. Mill, as part of the problem of Induction; various modifications being made in the manner of state ment, the order of topics, and the proportion of the hand ling. The greatest innovation is the rendering of Cause by the new doctrine called the Conservation, Persistence, or Correlation of Force. Mr. Mill's view of the relation of Deduction and Induc tion is fully adopted, as being the solution of the otherwise inextricable puzzle of the syllogism, and the means of giving unity and comprehensiveness to Logic. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works. (shrink)

This paper argues against the deductive reconstruction of scientific prediction, that is, against the view that in prediction the predicted event follows deductively from the laws and initial conditions that are the basis of the prediction. The major argument of the paper is intended to show that the deductive reconstruction is an inaccurate reconstruction of actual scientific procedure. Our reason for maintaining that it is inaccurate is that if the deductive reconstruction were an (...) accurate reconstruction, then scientific prediction would be impossible. (shrink)

Aristotle’s Prior Analytics identifies deductions simpliciter with inferential necessity, so that a deduced conclusion is necessarily inferred from some premises. Modern logical reconstructions claim that inferential necessity in Aristotle corresponds to logical validity. However, this logical reconstruction fails on two accounts. First, logical validity does not highlight Aristotle’s distinction between inferential necessity and predicative necessity, meaning that the inferential necessity of a deduction is not of the same kind as the predicative necessity of a non‑deductive argument. Second, logical (...) validity does not explain the relevance of Aristotle’s distinction between complete and incomplete deductions. Logicians speak of complete deduction by adding the term “obvious” or “transparent” to logical validity, and then criticize Aristotle’s view for being unclear. However, Aristotle’s position is not confronted with this difficulty. There is nothing to add to inferential necessity, which already means complete deducibility, as opposed to incomplete deducibility, deemed to be potentially complete. Accordingly, the Prior Analytics reduces the incomplete deductions to the complete deductions in order to prove the potential, inferential necessity of the incomplete deductions. Logical validity would have been faithful to Aristotle’s text, if it had been possible to coin a notion of potential validity, distinct from both validity and invalidity. (shrink)

In this paper, it is argued that only in the section on dialectic in the Critique of Judgment does Kant reach a definitive and conclusive version of deduction, after discovering the concept of the supersensible. In the section on the deduction of pure aesthetic judgments, Kant does not satisfactorily explain the critical distinction between the sensible nature of humanity and the supersensible nature of human reason presupposed in the concept of universal communicability. While the concept of the supersensible illustrates this (...) distinction, it is only through this concept that Kant that can justify the specific possibility of claiming subjective validity in taste. The priority of the solution found in the dialectic is illustrated not only by a comparative analysis of the two sections, but also by a historical reconstruction of the process of the formation of the work, which shows that the first formulation of the concept of validity coincides with the use of the concept of the supersensible. (shrink)

In this paper, it is argued that only in the section on dialectic in the Critique of Judgment does Kant reach a definitive and conclusive version of deduction, after discovering the concept of the supersensible. In the section on the deduction of pure aesthetic judgments, Kant does not satisfactorily explain the critical distinction between the sensible nature of humanity and the supersensible nature of human reason presupposed in the concept of universal communicability. While the concept of the supersensible illustrates this (...) distinction, it is only through this concept that Kant that can justify the specific possibility of claiming subjective validity in taste. The priority of the solution found in the dialectic is illustrated not only by a comparative analysis of the two sections, but also by a historical reconstruction of the process of the formation of the work, which shows that the first formulation of the concept of validity coincides with the use of the concept of the supersensible. (shrink)

My aim is to reconstruct the basic steps and the fundamental idea of Kant’s transcendental deduction of categories as well as Hegel’s interpretation and reframing of Kant’s idea. Hegel’s reading is crucial for two reasons: first, for fixing the basic form of the Kant­ian argument and secondly, for understanding its metaphilosophical relevance. For Hegel, philosophical proof has a specific nature, which distinguishes it from scientific proof and brings it closer to a juridical one. In this perspective the transcendental deduction, which (...) is universally considered one of the most difficult chapters in the history of philosophy, reveals itself as the genuine clarification of specifically philosophical proof. I first present the idea of Kant’s transcendental deduction in the Critique of Pure Reason as well as its Hegelian reading in the Science of Logic and reformulation as the very method of philosophy in the Philo­sophy of Right. I show what in the Kantian argumentation constituted the basis for Hegel’s own interpretation and transformation. In so doing, I highlight a ‘red thread’ between the two ideas of the transcendental deduction. I conclude by proposing a formal account of Kant’s and Hegel’s ideas and by summing up the main metaphilosophical insights we can gain from Kant’s idea and its Hegelian interpretation. (shrink)

This paper deals with Popper's little-known work on deductive logic, published between 1947 and 1949. According to his theory of deductive inference, the meaning of logical signs is determined by certain rules derived from ?inferential definitions? of those signs. Although strong arguments have been presented against Popper's claims (e.g. by Curry, Kleene, Lejewski and McKinsey), his theory can be reconstructed when it is viewed primarily as an attempt to demarcate logical from non-logical constants rather than as a semantic (...) foundation for logic. A criterion of logicality is obtained which is based on conjunction, implication and universal quantification as fundamental logical operations. (shrink)

I first criticize strawson's account of the transcendental deduction, And then argue that wittgenstein's considerations (in his later work) of the rule-Governed nature of judgment can be used to reconstruct a valid argument for a certain kind of objectivity, Which excludes solipsims. I suggest how kant's talk of synthesis can be reinterpreted in the light of this, As indeed can the doctrine of empirical realism and transcendental idealism.

Excerpt from Induction and Deduction: A Historical Critical Sketch of Successive Philosophical Conceptions Respecting the Relations Between Inductive and Deductive Thought and Other Essays It is a painful and pathetic task for an intimate friend of Constance Naden to be called upon to write a memoir, however brief, of her short life, instead of looking forward to years of happy and elevating intercourse, sharing in works of benevolent usefulness, and gladly watching her rise to the distinction which her intellectual (...) gifts entitled her circle of friends to anticipate. The sorrow for her loss must be lifelong. As Mrs. Browning says, "the inevitable strikes us dead," but the expression of it is unavailing. All that remains for the most devoted of her friends is to keep her memory green, by striving to let the world know what it has lost, both in promise and in fulfilment. Miss Naden's earlier life was uneventful, and almost all the details for this portion of it have been drawn from accounts published in the Birmingham papers, at the time of her death, by those associated with her school and college career. Constance Caroline Woodhill Naden was born on the 24th January, 1858, at her father's house in Edgbaston, where he still resides, and is the President of the Birmingham Architectural Association. Her mother died on the 5th February, a few days after the birth of her child. Shortly afterwards the motherless infant was domesticated with her mother's parents, Mr. and Mrs. Woodhill, of Pakenham House, Edgbaston, and here Constance lived a retired, peaceful life, adored by her grandparents, till they died, Mr. Woodhill in 1881, and his widow in 1887. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works. (shrink)

In this article, the author proposes to reconstruct Kant's "transcendental deduction" without in any way making use of the results of the so-called "metaphysical" one. His suggestion is that what Kant baptizes "pure concepts" or "categories" are in fact not "concepts" at all, strictly speaking, but rather the very forms of judgment from which these "concepts" were supposed to have been derived in the "metaphysical deduction". The task of the "transcendental" deduction is, then, to show that such forms of judgment (...) can legitimately be applied to empirical contents: to demonstrate, in other words, the possibility of empirical knowledge. (shrink)

The purpose of the third section of Kant’s Groundwork is to prove the possibility of the categorical imperative. In the end of the second section, Kant establishes that a proof like this is necessary to show that morality is ‘something’ and ‘not a chimerical idea without any truth’ or a ‘phantom’. Since the categorical imperative was established as a synthetic a priori practical proposition, in order to prove its possibility it is necessary ‘to go beyond cognition of objects to a (...) critique of the subject, that is, of pure practical reason’. Kant names this kind of proof a deduction. The present paper intends to show the argument whose purpose is to justify the categorical imperative; show that the argument is a transcendental deduction; present the argument as it is reconstructed by Allison, and show that, although it seems compelling, the position of the commentator could not be accepted by Kant himself. (shrink)

The essay provides a new interpretation of Fichte’s deduction of the external world that considers the argument to be motivated not by epistemic concerns but by concerns about the possibility of freedom. In defending this view, I critically examine Frederick Beiser’s reconstruction of Fichte’s deduction, which characterizes the argument as refuting external world skepticism, exactly the threat by which Fichte is not troubled. I claim that Fichte is troubled by ethical skepticism, the view that the freedom required for self-consciousness (...) is not possible. Establishing the possibility of the freedom involved in self-consciousness requires an external world suitable for such a form of freedom. An implication of this claim is that the world that Fichte deduces is an intersubjective or social world. (shrink)

Lucy Allais seeks to provide a reading of the Transcendental Deduction of the Categories which is compatible with a nonconceptualist account of Kant’s theory of intuition. According to her interpretation, the aim of the Deduction is to show that a priori concept application is required for empirical concept application. I argue that once we distinguish the application of the categories from the instantiation of the categories, we see that Allais’s reconstruction of the Deduction cannot provide an answer to Hume’s (...) problem about our entitlement to use a priori concepts when thinking about the objects of empirical intuition. If the Deduction is to provide a response to Hume, Allais’s interpretation must be rejected. (shrink)

Using the LDSNL model of utterance interpretation being developed by Gabbay and Kempson , this paper demonstrates how the dynamics of the proof process adopted explains configurational restrictions imposed on the interpretation of elliptical fragments. The blurring of traditional semantic and syntactic dichotomies in the LDSNL proof-theoretic reconstruction of interpretation successfully provides a basis for predicting the array of variation displayed by different elliptical forms. The logic adopted is a composite system of a type logic nested within a database (...) logic. Two resource-sensitive sub-types of Conditional Introduction form the basis for explaining the ellipsis data. The result is a demonstration of how the simple device of adding labels to an inference system can provide a useful tool not only at the meta-logic level of comparing alternative logic and grammar formalisms, but also at the level of explaining natural language data. (shrink)

Deductivism has been variously presented as an evaluative thesis and as an interpretive one. I argue that deductivism fails as a universal evaluative thesis, and as such that its value as an interpretive thesis must be supported on other grounds. As a reconstructive strategy, deductivism is justified only on the grounds that an arguer is, or ought to be, aiming at the deductive standard of evidence. As such, the reconstruction of an argument as deductive must be supported (...) by contextual and situational factors including facts about the arguer. Further, the plausibility of deductivism as a normative thesis is not tied to its plausibility as a descriptive or interpretive thesis. (shrink)

This paper examines critically the reconstruction of the ‘Sherlock Holmes sense of deduction’ proposed jointly by M.B. Hintikka and J. Hintikka in the 1980s, and its successor, the interrogative model of inquiry developed by J. Hintikka and his collaborators in the 1990s. The Hintikkas’ model explicitly used game theory in order to formalize a naturalistic approach to inquiry, but the imi abandoned both the game-theoretic formalism, and the naturalistic approach. It is argued that the latter better supports the claim (...) that the imi provides a ‘logic of discovery’, and safeguards its empirical adequacy. Technical changes necessary to this interpretation are presented, and examples are discussed, both formal and informal, that are better analyzed when these changes are in place. The informal examples are borrowed from Conan Doyle’s The Case of Silver Blaze, a favorite of M.B. and J. Hintikka. (shrink)

This book departs from much of the scholarship on Kant by demonstrating the centrality of imagination to Kant's philosophy as a whole. In Kant's works, human experience is simultaneously passive and active, thought and sensed, free and unfree: these dualisms are ofen thought of as unfortunate byproducts of his system. Gibbons, however, shows that imagination performs a vital function in 'bridging gaps' between the different elements of cognition and experience. Thus, the role imagination plays in Kant's works expresses his fundamental (...) insight into the complexity of cognition for finite rational beings such as ourselves. Gibbons begins with an interpretation of synthesis which shows it to be a broader activity than most accounts suggest. Examining the first Critique, she presents a reading of the Transcendental Deduction and the chapter on Schematism that spells out the extraconceptual activities of imagination essential to cognition. This account of imagination is built upon in the Critique of Judgment, where Kant elaborates its role in characterizing the subjective conditions of judgement. Throughout, the cooperation of imagination and reason is highlighted; Gibbons shows that on Kant's account, human beings pursue reason's ideal ends through the provisional and continuing attempt to articulate them. This attempt involves an appeal to a shared social and historical imagination - thus, a full characterization of the subjective conditions of judgement must include the role of imagination. (shrink)

Dieter Henrich’s reconstruction of the transcendental deduction in "Identität und Objektivität" has been criticised (probably unfairly) by Guyer and others for assuming that we have a priori Cartesian certainty about our own continuing existence through time. In his later article "The Identity of the Subject in the Transcendental Deduction", Henrich addresses this criticism and proposes a new, again entirely original argument for a reconstruction. I attempt to elucidate this argument with reference to Evans’s theory of the Generality Constraint (...) and a remark of Strawson’s in Individuals. Its logical form of a sentence-operator requires that the "I think" be capable of accompanying every thought that we can form. Henrich seems to rely on this point, claiming in addition that we must be aware of this property of the "I think". I object that we cannot assume everyone to be capable of doing the philosophy of her own situation. (shrink)

The comments accompanying Proposition (Prop.) 11 (“God... necessarily exists”) in Part I of Spinoza’s The Ethics contain sketches of what appear to be at least three more or less distinct ontological arguments. The first of these is problematic even on its own terms. More is true: even the proposition “God exists” (GE), a consequence of Prop. 11, cannot be derived from the definitions and axioms of Part I (the “DAPI”) of The Ethics; thus, Prop. 11 cannot be derived from the (...) DAPI, either. To prove these claims, I use an automated deduction system (ADS) to show that Prop. 11 is independent of the DAPI. I then augment the DAPI with some auxiliary assumptions I believe Spinoza would accept and that sustain an automated derivation of (GE). The results illustrate how an ADS can facilitate the analysis of arguments and yield an apparently novel argument cast in the style of Spinoza. (shrink)

Schaffner’s model of theory reduction has played an important role in philosophy of science and philosophy of biology. Here, the model is found to be problematic because of an internal tension. Indeed, standard antireductionist external criticisms concerning reduction functions and laws in biology do not provide a full picture of the limits of Schaffner’s model. However, despite the internal tension, his model usefully highlights the importance of regulative ideals associated with the search for derivational, and embedding, deductive relations among (...) mathematical structures in theoretical biology. A reconstructed Schaffnerian model could therefore shed light on mathematical theory development in the biological sciences and on the epistemology of mathematical practices more generally. *Received November 2006; revised March 2009. †To contact the author, please write to: Philosophy Department, University of California, Santa Cruz, 1156 High St., Santa Cruz, CA 95064; e‐mail: [email protected]. (shrink)

This paper examines whether Sherlock Holmes’ “Science of Deduction and Analysis,” as reconstructed by Hintikka and Hintikka The sign of three: Peirce, Dupin, Holmes, Indiana University Press, Bloomington, 1983), exemplifies a logic of discovery. While the Hintikkas claimed it does, their approach remained largely programmatic, and ultimately unsuccessful. Their reconstruction must thus be expanded, in particular to account for the role of memory in inquiry. Pending this expansion, the Hintikkas’ claim is vindicated. However, a tension between the naturalistic aspirations (...) of their model and the formal apparatus they built it on is identified. The paper concludes on suggestions for easing this tension without losing the normative component of the Hintikkas’ epistemological model. (shrink)

In this article, I review the new book by C. D. Novaes, The Dialogical Roots of Deduction: Historical, Cognitive, and Philosophical Perspectives on Reasoning. I reconstruct the main themes and arguments presented in the work and critically assess its results.

Reconstructing Popper's research programme for the Human Sciences, Noretta Koertge (Inquiry, Vol. 18 [1975]) has given a deductive?nomological account of explanations of actions by means of a Rationality Principle. It is argued here that such a Rationality Principle is fundamentally redundant. Neither is it logically necessary in order to deduce a cognitive action?explanandum, nor can it be given a semantic non?empty interpretation, at least not within Koertge's own syllogism. Any attempt to save the Rationality Principle as unfalsifiablc but nevertheless (...) indispensable for action explanations is rejected in the light of possible alternative action explanations by empirical and therefore in principle falsifiable psychological laws. (shrink)

ABSTRACT At the core of Kant’s theoretical philosophy lies the deduction of the categories: his effort to secure the distinctiveness of sensibility and understanding and to provide a necessary relation between the domains of these faculties. The argument for this claim is presented in two different versions - i.e., the A and B editions of the Critique of pure reason - and is one of the most puzzling in Kant’s corpus. The common view in the literature that considers the importance (...) of the A-deduction and tries to present its structure is that it must be understood in the light of the B-deduction argument. I aim at contesting this view and offering an internal reconstruction of the A-deduction argument which reveals its unique methodology. The thesis advanced is that the A-deduction follows an analytical methodology and that this methodology does not allow the accomplishment of the task of the deduction stated in Kant’s effort. At first, Kant’s retrospect of the A-deduction is taken into account. After that, a consideration of the part of the argument described as ‘subjective deduction’ is carried out. (shrink)

Charles S. Peirce attempted to develop his semiotic theory of cognitive signs interpretation, which are originated in our basic perceptual operations that quasi-prove the truth of perceptual judgment representing reality. The essential problem was to explain how, by a cognitive interpretation of the sequence of perceptual signs, we can represent external physical reality and reflectively represent our cognitive mind’s operations of signs. With his phaneroscopy introspection, Peirce shows how, without going outside our cognitions, we can represent external reality. Hence Peirce (...) can avoid the Berkeleyian, Humean, and Kantian phenomenologies, as well as the modern analytic philosophy and hermeneutic phenomenology. Peirce showed that with the trio of semiotic interpretation – abductive logic of discovery of hypotheses, deductive logic of necessary inference, and inductive logic of evaluation – we can reach a complete proof of the true representation of reality. This semiotic logic of reasoning is the epistemic logic representing human confrontation in reality, with which we can achieve knowledge and conduct our behavior. However, Peirce did not complete his realistic revolution to eliminate previously accepted nominalistic and idealistic epistemologies of formal logic and pure mathematics. Here, I inquire why Peirce did not complete his historical realist epistemological revolution and following that inquiry I attempt to reconstruct it. (shrink)

HSÜN Tzu's essay on "Rectifying Terms" is justly considered a work of "great logical interest." For in this essay, one finds a remarkably modern concern with such topics as the rationale for having terms; the empirical and pragmatic bases for the classification of terms; the formation of generic and specific terms; the importance of observing established linguistic practices; the necessity of complying with proper standards for the institution, ratification, and regulation of the uses of language ; the nature of argumentative (...) discourse ; and the problems inherent in successful linguistic communication. A careful examination of some passages in other essays also suggests an awareness of the distinction between deductive, inductive, and analogical inferences, though Hsün Tzu provides us no explicit discussion of the nature of reasoning and its validating rules. (shrink)

After presenting Apostel’s views on scientific realism, I present definitions of the concepts of ontology and metaphysics. I then proceed to develop Apostel’s basic ontology and his metaphysics. Apostel proposed a particular understanding of existence based on his views on causation. He also developed a view of the universe as a causal self-explaining system. I discuss and illustrate three kinds of what he calls “metaphysical deductions” that aim to deliver such a view of the universe. The most important one is (...) the Leibnizian variational method, that should allow us to deduce the existing universe as the ‘best’ of all possible worlds. (shrink)

Minimal adversariality consists in the opposition of contradictory conclusions in argumentation, and its usual metaphorical expression as a game between combating arguers has seen it be criticized from a number of perspectives: the language used, whether cooperation best attains the argumentative telos of epistemic betterment, and the ideal nature of the metaphor itself. This paper explores primarily the idealization of deductive argumentation, which is problematic due to its attenuated applicability to a dialectic involving premises and justificatory biases that are (...) left hidden and unelucidated. To clarify the issue and offer up a solution, we consider minimal adversariality as an involuntary state of affairs before relating this interpretation to a link between rational persuasion and the attainment of epistemic betterment. Through this we see how the idealizing tendencies of minimal adversariality can be reduced even in argumentation involving premises whose justifications for any arguer are inaccessible to any other arguer. (shrink)