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.

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 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)

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)

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)

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)

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)

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)

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)

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)

The author criticizes Kelsen's distinction between static and dynamic systems of norms and his theory of legal dynamics. The author moreover presents the institutionalist conception of legal dynamics. Kelsen's concept of static systems is incompatible with normological scepticism: The deduction of rules from a basic principle depends on additional premises; even in static systems there is a kind of dynamics produced by actual facts. Kelsen's conception of legal dynamics is also incompatible with normological scepticism and with Kelsen's demand of (...) purity of jurisprudence. In the institutionalist conception Iegal dynamics is rather conceived as an interplay of legal norms and facts. Empowering relations, the principle of co‐validity, temporal limits of norms, derogation, legal validity and the basic norm are analysed accordingly. Appendices deal with Paulson's empowering theory of legal norm and Lippold's double‐faced reconstruction of the legal order. (shrink)

In this paper I argue that the program of L. Laudan et al for empirically testing historiographical philosophies of science ("the VPI program") does not succeed in providing a consistent naturalist program in philosophy of science. In particular, the VPI program endorses a nonnaturalist metamethodology that insists on a hypothetico-deductive structure to scientific testing. But hypothetico-deductivism seems to be both inadequate as an account of scientific theory testing in general and fundamentally at odds with most of the historiographic (...) philosophies under test. I sketch an account of testing historiographic philosophies of science more consistent with the views about scientific testing of those philosophies and argue that such a program is neither viciously circular nor necessarily self-refuting. (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)

This book presents an in-depth and critical reconstruction of Prawitz’s epistemic grounding, and discusses it within the broader field of proof-theoretic semantics. The theory of grounds is also provided with a formal framework, through which several relevant results are proved. Investigating Prawitz’s theory of grounds, this work answers one of the most fundamental questions in logic: why and how do some inferences have the epistemic power to compel us to accept their conclusion, if we have accepted their (...) premises? Prawitz proposes an innovative description of inferential acts, as applications of constructive operations on grounds for the premises, yielding a ground for the conclusion. The book is divided into three parts. In the first, the author discusses the reasons that have led Prawitz to abandon his previous semantics of valid arguments and proofs. The second part presents Prawitz’s grounding as found in his ground-theoretic papers. Finally, in the third part, a formal apparatus is developed, consisting of a class of languages whose terms are equipped with denotation functions associating them to operations and grounds, as well as of a class of systems where important properties of the terms can be proved. (shrink)

Without directly addressing the Demarcation Problem for logic—the problem of distinguishing logical vocabulary from others—we focus on distinctive aspects of logical vocabulary in pursuit of a second goal in the philosophy of logic, namely, proposing criteria for the justification of logical rules. Our preferred approach has three components. Two of these are effectively Belnap’s, but with a twist. We agree with Belnap’s response to Prior’s challenge to inferentialist characterisations of the meanings of logical constants. Belnap argued that for a logical (...) constant to exist, its rules must be conservative over a previously given consequence relation and guarantee the uniqueness of the constant. The twist is that we require logical vocabulary to be provably conservative, not over a previously given formal consequence relation, but over a previously given meaningful vocabulary of a language. Uniqueness is also a feature defined in terms of provability: if two syntactically distinguished expressions are governed by the same rules, then formulas with them as main operators are interderivable. Belnap’s criteria are not only those for the existence of a logical constant, but more: they are what distinguishes logical vocabulary from all other expressions. It is the defining mark of a logical constant that it is provably conservative over the fragment of the language which excludes it and that its rules guarantee its uniqueness. The third component is the topic neutrality of logic. The provable conservativeness of logic over a previously given vocabulary of a language is motivated, in part, by appeal to molecularism in the theory of meaning. Molecularity is a feature endorsed by the theory of meaning as a whole, so it does not distinguish logical constants from other expressions. The same is true for conservativeness. We argue that molecularity, and hence conservativeness, are implicit presuppositions of speakers’ use of language: the addition of new vocabulary to a language is presupposed to be conservative. But this presupposition is one that we should be able reflectively to endorse (such as when attempting a rational reconstruction of the use of the vocabulary). Thus, where conservativeness is found to fail, this defect should be remedied and the use of the vocabulary corrected (as in classical negation) or excised altogether (as in pejoratives). We go on to characterise a notion of topic neutrality, which we argue applies to logical vocabulary. We then note that reflective endorsement of the conservativeness of a topic neutral vocabulary requires a proof that the vocabulary is conservative relative to any base vocabulary. Thus we require that logical vocabulary be demonstrably conservative. Allying this requirement, distinctive of logic, to a general consideration about the commitments of assertion yields a mode of justification for logical constants akin to some conceptions of Harmony, i.e., to the idea that the consequences of assertion of a logical complex need to be warranted by the grounds and ought to be the strongest consequences warranted by the grounds. Intuitionistic logic acquires a somewhat familiar justification but emanating from a new motivation. (shrink)

This interesting and imaginative monograph is based on the author’s PhD dissertation supervised by Saul Kripke. It is dedicated to Timothy Smiley, whose interpretation of PRIOR ANALYTICS informs its approach. As suggested by its title, this short work demonstrates conclusively that Aristotle’s syllogistic is a suitable vehicle for fruitful discussion of contemporary issues in logical theory. Aristotle’s syllogistic is represented by Corcoran’s 1972 reconstruction. The review studies Lear’s treatment of Aristotle’s logic, his appreciation of the Corcoran-Smiley paradigm, and (...) his understanding of modern logical theory. In the process Corcoran and Scanlan present new, previously unpublished results. Corcoran regards this review as an important contribution to contemporary study of PRIOR ANALYTICS: both the book and the review deserve to be better known. (shrink)

This autobiographical piece is in response to Frank Fair’s kind invitation to write a reflective piece on my involvement over the last 30 years in the critical thinking movement, with special attention given to 18 years of assessment data as I assessed students’ critical thinking outcomes at Baker University. The first section of the paper deals with my intellectual history and how I came to a specific understanding of CT. The second deals with the Baker Experiment in combining instruction in (...) CT with written composition, with a special focus on Deductive Reconstruction. The third section goes over our attempts at assessment and what we discovered by using three separate tests. The final section of the paper presents my conclusions about the challenges of teaching CT based on the Baker Experiment. (shrink)

After a chapter which is an introduction to and summary of the rest of the book, chapter 2 begins by criticizing various attempts to do away with theories, such as the Reichenbach-Salmon conception of theoretical truth in terms of observational consequences, and the Ramsey strategy of replacing first-order theoretical sentences by second-order nontheoretical ones; it then argues against hypothetico-deductivist theories of confirmation on the grounds that they are unable to handle the relevance of evidence to theory, whether or not (...) other formal constraints or even nonformal ones such as simplicity and explanatory power are added to those theories; it ends with an exposition of the Reichenbach-Carnap conventionalist thesis that the confirmation of hypotheses with evidence presupposes analytic principles connecting hypothetical and empirical concepts. Chapter 3 criticizes Bayesian theories of confirmation on such grounds as that the a priori arguments for Bayesian restrictions on beliefs are insufficient; that the Bayesian explanations of notions like variety of evidence, ad hocness, and simplicity are inadequate; and that they cannot account, without drastic revisions, for the relevance of evidence to theory, especially old evidence to new theory. Chapter 4 is an unsympathetic account of historically oriented philosophies of science; Lakatos’s notion of progressive research programs and Laudan’s theory of problem-solving effectiveness are found to be insufficiently precise and dubbed examples of "new fuzziness", while the Sneed-Stegmüller dynamics of theories is regarded as "a paradigm of misplaced rigor" ; and all three are criticized as unable to explicate the concept of evidential relevance. Chapter 5 is a formal and informal elaboration of the basic idea in Glymour’s account of theory and evidence, namely that confirmation or support is a three-term relation among evidence, hypothesis, and theory, so that evidence confirms an hypothesis only relative to a theory, and such that evidence e confirms hypothesis h relative to T if T with e implies, but T without e does not imply, an instance of h, and T with e does not imply a comparable hypothesis h’ different from h; the most interesting part of this chapter is a series of discussions showing how such an idea makes sense of the "methodological truisms" that it is possible selectively to test certain parts of a theory but not others, that a theory is supported better by a greater variety of evidence, that redundant or physically meaningless quantities are an undesirable feature of theories, that there are no inviolable rules, that a "white shoe" does not confirm "all ravens are black," that a theory is more useful and better supported than the set of its observational consequences, and that the hypothetico-deductive method often works. Since Glymour claims no originality for the conception of this general account, but only for its description, he plausibly thinks it necessary to apply it to some important historical cases of actual science; he does so in the next chapter by discussing at some length the structure and merits of Ptolemaic and Copernican astronomy, of Newton’s universal gravitation, of nineteenth century atomism, of Freud’s Rat Man, and of general relativity. For example, he argues convincingly that Copernicanism was better supported by the evidence available even before the telescope because it alone, and not the Ptolemaic theory, can determine some planetary properties which are presupposed by both theories, can test and confirm some common hypotheses, and can be confirmed in an essential rather than incidental manner; and though Glymour admits that the Copernicans tended to argue in terms of explanatory rather than confirmatory superiority, he sketches an interesting account of the relation between explanation and confirmation which strengthens his case. He also analyzes the text at the beginning of book 3 of Newton’s Principia and compiles a reconstruction of the intricate details of the inferential structure of the argument to universal gravitation; his impressive reconstruction clearly shows that Newton’s method is neither the inductivist one he himself thought he was following, nor the one attributed to him by Pierre Duhem, but rather one in accordance with Glymour’s so-called "bootstrap strategy" of repeatedly using the evidence from Kepler’s second and third laws, from lunar data, and from falling bodies, together with the theory consisting of the second and third laws of motion, to arrive at increasingly general instances of the principle of universal gravitation. Glymour’s account of arguments for and against the atomic theory from Thomson to Cannizzaro is his longest historical example, but he himself admits that this illustration of the bootstrap strategy is "certainly not the neatest", and rather "diffuse, and perhaps disconnected". Chapter 7 is a detailed application of the same principles to the technique known among social scientists as "causal modeling"; since such "causal models" are essentially systems of algebraic equations, Glymour’s account shows indirectly that the bootstrap strategy is applicable to any scientific theory presented as a set of algebraic equations; this, of course is not surprising, since the formal considerations with which Glymour begins the exposition of his theory in chapter 5 involve systems of algebraic equations. Chapter 8 is an attempt to apply Glymour’s theory of evidence to the very common scientific practice of curve-fitting, where one measures values of two or more quantities and then infers a functional relationship; Glymour argues that simpler polynomials are preferred because they are tested more frequently and more severely by the data and because they are more informative; but then he criticizes his own explanation and concludes that "the bootstrap procedures of chapter 5 do not seem to help the problem much more than a whit" ; this is admirably honest, but if one wants an additional logical or methodological rationale, then one would perhaps have to go to the meta-level and say that Glymour is here testing his own theory, and he is more interested in a further illustration of the bootstrap methodology even with a failed test, than he is to claim universal or exclusive validity for it. In chapter 9 Glymour uses his bootstrap theory of confirmation to criticize geometrical conventionalism; he considers the alternative theories of space or space-time proposed by conventionalists to show the radical undetermination of geometries by evidence, for example, a non-Euclidean geometry with no universal force instead of Newtonian gravitation with Euclidean geometry; he argues that such alternatives are simply not as well tested as the originals and that their equivalence to the originals is questionable. The last chapter is a brief discussion of further problems worthy of future investigation. (shrink)

Our computational metaphysics group describes its use of automated reasoning tools to study Leibniz’s theory of concepts. We start with a reconstruction of Leibniz’s theory within the theory of abstract objects (henceforth ‘object theory’). Leibniz’s theory of concepts, under this reconstruction, has a non-modal algebra of concepts, a concept-containment theory of truth, and a modal metaphysics of complete individual concepts. We show how the object-theoretic reconstruction of these components of Leibniz’s (...) class='Hi'>theory can be represented for investigation by means of automated theorem provers and finite model builders. The fundamental theorem of Leibniz’s theory is derived using these tools. (shrink)

It is commonplace to view the rigor of the mathematics in Euclid's Elements in the way an experienced teacher views the work of an earnest beginner: respectable relative to an early stage of development, but ultimately flawed. Given the close connection in content between Euclid's Elements and high-school geometry classes, this is understandable. Euclid, it seems, never realized what everyone who moves beyond elementary geometry into more advanced mathematics is now customarily taught: a fully rigorous proof cannot rely on geometric (...) intuition. In his arguments he seems to call illicitly upon our understanding of how objects like triangles and circles behave rather than grounding everything rigorously in axioms.Though widespread, the attitude is in a historical sense puzzling. For over two millenia, mathematicians of all levels studied the arguments in Elements and found nothing substantial missing. The book, on the contrary, represented the limit of mathematical explicitness. It served as the paradigm for careful and exact reasoning. How it could enjoy this reputation for so long is mysterious if careful and exact reasoning demands that all inferences be grounded in a modern axiomatic theory in the way Hilbert did in his famous Foundations of Geometry. By these standards, Euclid's work is deeply flawed. The holes in his arguments are not minor and excusable, but massive and cryptic.With his book Euclid and His Twentieth Century Rivals, Nathaniel Miller makes substantial progress in clearing this mystery up. The book is an explication of FG , a formal system of proof developed by Miller which reconstructs Euclid's deductions as essentially diagrammatic. The holes in Euclid's arguments are taken to appear precisely at those steps which are unintelligible without an accompanying geometric diagram. Interpreting the reasoning in the Elements in terms of a modern axiomatization , …. (shrink)

Gerhard Schurz [2001, Journal for General Philosophy of Science, 32, 65-107] has proposed to reconstruct auxiliary hypothesis addition, e.g., postulation of Neptune to immunize Newtonian mechanics, with concepts from non-monotonous inference to avoid the retention of false predictions that are among the consequence-set of the deductive model. However, the non-monotonous reconstruction retains the observational premise that is indeed rejected in the deductive model. Hence, his proposal fails to do justice to Lakatos' core-belt model, therefore fails to meet (...) what Schurz coined "Lakatos' challenge". It is argued that Lakatos's distinction between core and belt of a research program is not mapable onto premise-set and consequence-set and that Schurz's understanding of a ceteris paribus clause as a transfinite list of interfering factors is problematic. I propose a simple reading of Lakatos's use of the term ceteris paribus clause and motivate why the term hypothesis addition, despite not being interpretable literally, came to be entrenched. (shrink)

The issue of the nature of cognitive experience has been a subject of lively debate in recent works on epistemology, and the philosophy of mind. During this debate, the relevance of Kant to contemporary theories of cognition has been re-discovered. However, participants in this debate disagree whether Kant was a conceptualist or a non-conceptualist, with regard to the character of intuitions. The central point of controversy concerns whether or not Kant’s sensible intuitions involve understanding and have a conceptual content. In (...) this paper, I show that, despite their disagreements, both sides share a number of common presuppositions, which have determined a biased framework for the reading of Kant. My principal aim in this article is to reconcile the case for conceptualism with those interpretations which argue that intentionality and conceptuality can be separated. To achieve it, I present my own reconstruction of Kant’s theory of cognition, relying essentially on Kantian considerations found in the B-version of the Transcendental Deduction, and offer a new interpretation of Kantian conceptualism. (shrink)

This book is a contribution to both the study of the logical and philosophical foundations of physics, and the investigation of applied formal axiomatic systems. Basri uses the techniques of logic and set theory in order to construct a rigorous physical theory whose theorems turn out to be those of the general theory of relativity or else arbitrarily close approximations thereof. Whether Basri's approach turns out to be fruitful for the analysis of foundational problems in physics remains (...) to be seen, but he has clearly rendered an important service in providing at least one rigorously unified way of talking about such things as particles, events, signals, clocks, rigid measuring instruments, etc. A novel feature of the book is that the basis of Basri's system is rather phenomenalistic: he uses primitives like "the class of unbiased human observers" and "the class of simultaneous sensations of observer H." The obvious philosophical problems about perception and the external world which are consequent upon this sort of approach are not treated by Basri, but he is certainly not to be faulted on this account. There are, however, a number of errors and imprecisions in the underlying logistic system, some of which are more serious than others. But in general, this book deserves to be read and its thesis considered by all students interested in serious and responsible efforts in the philosophy of physics.—H. P. K. (shrink)

The logical system Hyperproof and the computer implementation of it--both created by Jon Barwise and John Etchemendy--present a radical new approach to modeling and teaching about reasoning. Hyperproof is a heterogeneous proof system that uses both sentences and diagrams as steps in proofs. This dissertation addresses important logical, philosophical, and pedagogical issues that Hyperproof raises. We formalize the syntax and semantics of Hyperproof, show that the major inference rules are valid, and give completeness results for four subsystems of Hyperproof. We (...) address philosophical issues raised by the logical analysis, including the importance of the presence of homomorphism between diagrams and the worlds they represent. We also apply the constructivist educational philosophy to create a detailed explanation of how to teach analytic reasoning with Hyperproof, and we discuss how Hyperproof can be augmented to teach about reasoning with different types of domains. (shrink)

When we speak of philosophy and therapy, or of philosophy as therapy, the usual intent is to suggest that ‘philosophizing’ is or should be a way to clarify the mind or purify the soul. While there may be little point in arguing with psychoses or deeply-embedded neuroses our more ordinary misjudgements, biases and obsessions may be alleviated, at least, by trying to ‘see things clearly and to see them whole’, by carefully identifying premises and seeing what they – rationally – (...) support, and by seeking to eliminate the residual influence of premises that we have long since, rationally, dismissed. I don't intend to argue with this account – though of course it may be as well to remember that ‘philosophizing’ may have more dangerous effects. It is not obvious that philosophical argument will always help us ‘see things straight’, and the Athenian democracy was not altogether wrong to think that some of Socrates' followers or pupils learnt quite the wrong things from him. (shrink)

The concept of fitness has generated a lot of discussion in philosophy of biology. There is, however, relative agreement about the need to distinguish at least two uses of the term: ecological fitness on the one hand, and population genetics fitness on the other. The goal of this paper is to give an explication of the concept of ecological fitness by providing a reconstruction of the theory of natural selection in which this concept was framed, that is, based (...) on the way the theory was put to use in Darwin’s main texts. I will contend that this reconstruction enables us to account for the current use of the theory of natural selection. The framework presupposed in the analysis will be that of metatheoretical structuralism. This framework will provide both a better understanding of the nature of ecological fitness and a more complete reconstruction of the theory. In particular, it will provide what I think is a better way of understanding how the concept of fitness is applied through heterogeneous cases. One of the major advantages of my way of thinking about natural selection theory is that it would not have the peculiar metatheoretical status that it has in other available views. I will argue that in order to achieve these goals it is necessary to make several concepts explicit, concepts that are frequently omitted in usual reconstructions. (shrink)

This book, an exploration of the work of Leibnitz, is Ortega’s most systematic contribution to philosophy. Ortega begins with a detailed definition of a principle and with an examination of the specific principles formulated by Leibnitz. He goes on to examine Leibnitz. He goes on to examine Leibnitz’s complex and mercurial attitudes towards principles and discusses the effects of these attitudes on his philosophy and on contributions to mathematics and logic.

Judith Shklar has been invoked by contemporary realists as an example of how history is a better source of political knowledge than abstract philosophy. This emphasis on history challenges the predominant understanding of her political theory that stresses the universality of fear of cruelty. This contrast between history and moral universalism invites a serious investigation of Shklar's historical method. This article takes up this task by reconstructing a Shklarian historical method based on a tripartite relation between historical memory, democratic (...) citizenship, and historically minded political theory. This reconstructed historical method challenges the boundaries of Shklar's liberalism and broadens the possibilities that her political theory can offer. (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)

One of the most debated questions in psychology and cognitive science is the nature and the functioning of the mental processes involved in deductive reasoning. However, all existing theories refer to a specific deductive domain, like syllogistic, propositional or relational reasoning.Our goal is to unify the main types of deductive reasoning into a single set of basic procedures. In particular, we bring together the microtheories developed from a mental models perspective in a single theory, for which (...) we provide a formal foundation. We validate the theory through a computational model (UNICORE) which allows fine‐grained predictions of subjects' performance in different reasoning domains.The performance of the model is tested against the performance of experimental subjects—as reported in the relevant literature—in the three areas of syllogistic, relational and propositional reasoning. The computational model proves to be a satisfactory artificial subject, reproducing both correct and erroneous performance of the human subjects. Moreover, we introduce a developmental trend in the program, in order to simulate the performance of subjects of different ages, ranging from children (3–6) to adolescents (8–12) to adults (>21). The simulation model performs similarly to the subjects of different ages.Our conclusion is that the validity of the mental model approach is confirmed for the deductive reasoning domain, and that it is possible to devise a unique mechanism able to deal with the specific subareas. The proposed computational model (UNICORE) represents such a unifying structure. (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)

In a fluent, clear, and lively style this translation by two of Maslov's junior colleagues brings the work of the late Soviet scientist S. Yu. Maslov to a wider audience. Maslov was considered by his peers to be a man of genius who was making fundamental contributions in the fields of automatic theorem proving and computational logic. He published little, and those few papers were regarded as notoriously difficult. This book, however, was written for a broad audience of readers and (...) describes elegant examples of applications in such fields as computer science, artificial intelligence, operations research, economic modeling, and biological modeling, among others. The book also brings to light the work by the American mathematician E. L. Post, which inspired Maslov's own work in the development of a general theory and which has been long neglected by mathematicial logicians and systems theorists in the United States. The book's first chapter introduces the Rules of the Game. Part I, Mathematics of Calculi, covers E. L. Post's canonical systems, deductive systems and algorithms, and probabilistic calculi and deductive information. Part II, Horizonal Modeling, takes up a "toy" economy, the calculi of technological possibilities, and the development of rules. Part III, Vertical Modeling, deals with the topics of "to fight and to search" and the consequences of the asymmetry of cognitive mechanisms. Vladimir Lifschitz is affiliated with the Department of Computer Science at Stanford University, and Michael Gelfond with the Department of Electrical Engineering and Computer Science at the University of Texas, El Paso. Theory of Deductive Systems and Its Applicationsis included in the Foundation of Computing Series, edited by Michael Garey. (shrink)