This important book provides a new unifying methodology for logic. It replaces the traditional view of logic as manipulating sets of formulas with the notion of structured families of labelled formulas with algebraic structures. This approach has far reaching consequences for the methodology of logics and their semantics, and the book studies the main features of such systems along with their applications. It will interest logicians, computer scientists, philosophers and linguists.

Reprint of the original, first published in 1869.

AN INVESTIGATION OF THE LAWS OF THOUGHT. CHAPTER I. NATURE AND DESIGN OF THIS WORK. . HPHE design of the following treatise is to investigate the ...

Modern logic is undergoing a cognitive turn, side-stepping Frege’s ‘antipsychologism’. Collaborations between logicians and colleagues in more empirical fields are growing, especially in research on reasoning and information update by intelligent agents. We place this border-crossing research in the context of long-standing contacts between logic and empirical facts, since pure normativity has never been a plausible stance. We also discuss what the fall of Frege’s Wall means for a new agenda of logic as a theory of rational agency, and what (...) might then be a viable understanding of ‘psychologism’ as a friend rather than an enemy of logical theory. (shrink)

A description of mental mechanisms that explain how emotions influence thought, from everyday decision making to scientific discovery and religious belief, and an analysis of when emotion can contribute to good reasoning.

Argumentation theory is a distinctly multidisciplinary field of inquiry. It draws its data, assumptions, and methods from disciplines as disparate as formal logic and discourse analysis, linguistics and forensic science, philosophy and psychology, political science and education, sociology and law, and rhetoric and artificial intelligence. This presents the growing group of interested scholars and students with a problem of access, since it is even for those active in the field not common to have acquired a familiarity with relevant aspects of (...) each discipline that enters into this multidisciplinary matrix. This book offers its readers a unique comprehensive survey of the various theoretical contributions which have been made to the study of argumentation. It discusses the historical works that provide the background to the field and all major approaches and trends in contemporary research. Argument has been the subject of systematic inquiry for twenty-five hundred years. It has been graced with theories, such as formal logic or the legal theory of evidence, that have acquired a more or less settled provenance with regard to specific issues. But there has been nothing to date that qualifies as a unified general theory of argumentation, in all its richness and complexity. This being so, the argumentation theorist must have access to materials and methods that lie beyond his or her "home" subject. It is precisely on this account that this volume is offered to all the constituent research communities and their students. Apart from the historical sections, each chapter provides an economical introduction to the problems and methods that characterize a given part of the contemporary research program. Because the chapters are self-contained, they can be consulted in the order of a reader's interests or research requirements. But there is value in reading the work in its entirety. Jointly authored by the very people whose research has done much to define the current state of argumentation theory and to point the way toward more general and unified future treatments, this book is an impressively authoritative contribution to the field. (shrink)

The purpose of this paper is to communicate some developments in what we call the new logic. In a nutshell the new logic is a model of the behaviour of a logical agent. By these lights, logical theory has two principal tasks. The first is an account of what a logical agent is. The second is a description of how this behaviour is to be modelled. Before getting on with these tasks we offer a disclaimer and a warning. The disclaimer (...) is that although the new logic is significantly different from it, we have no inclination to see the new logic as a rival of mathematical logic. We do not advocate the displacement of, e.g. model theory, but rather its supplementation or adaptation. The warning is that, whereas mathematical logic must eschew psychologism, the new logic cannot do without it. The fuller story of the new logic must eschew psychologism, the new logic cannot do without it. The fuller story of the new logic is part of our book, The Reach of Abduction, scheduled to appear in 2001 or early 2002. (shrink)

This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be (...) preserved, reproduced, and made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

Husserls »Logische Untersuchungen« sind eines der folgenreichsten Werke der neueren Philosophiegeschichte. Mit dem ersten Erscheinen in den Jahren 1900 und 1901 (Max Niemeyer Verlag, Halle/Saale) nimmt jene Schule ihren Anfang, deren Name im Untertitel des zweiten Bandes zum ersten Mal sinnfällig wird: die Phänomenologie. Husserl sah damals in diesem Werk »Versuche zur Neubegründung der reinen Logik und Erkenntnistheorie«, die den Grund zu einem größeren Gedankengebäude zu legen imstande waren. Sie wollten freilich kein bloßes Programm sein, sondern »Fundamentalarbeit an den unmittelbar (...) erschauten und ergriffenen Sachen« darstellen. Die weitere Arbeit an der Ausprägung der phänomenologischen Philosophie führte schon nach wenigen Jahren zu neuen Problemen, zu vertieften Erkenntnissen und zu schärferen Formulierungen. Ihnen trägt die zweite, zum Teil tiefgreifend umgearbeitete Auflage Rechnung, deren Text seither in unveränderter Form immer wieder nachgedruckt wurde. (shrink)

In this paper we present Drama, a distributed model of analogical mapping that integrates semantic and structural constraints on constructing analogies. Specifically, Drama uses holographic reduced representations (Plate, 1994), a distributed representation scheme, to model the effects of structure and meaning on human performance of analogical mapping. Drama is compared to three symbolic models of analogy (SME, Copycat, and ACME) and one partially distributed model (LISA). We describe Drama's performance on a number of example analogies and assess the model in (...) terms of neurological and psychological plausibility. We argue that Drama's successes are due largely to integrating structural and semantic constraints throughout the mapping process. We also claim that Drama is an existence proof of using distributed representations to model high‐level cognitive phenomena. (shrink)

Theoretical and manipulative abduction conjectures and manipulations : the extra-theoretical dimension of scientific discovery. -- Non-explanatory and instrumental abduction : plausibility, implausibility, ignorance preservation. -- Semiotic brains and artificial minds : how brains make up material cognitive systems. -- Neuromultimodal abduction : pre-wired brains, embidiment, neurospaces. -- Animal abduction : from mindless organisms to srtifactual mediators. -- Abduction, affordances, and cognitive niches : sharing representations and creating chances through cognitive niche construction. -- Abduction in human and logical agents : hasty (...) generalizers, hybrid abducers, fallacies. -- Morphodynamical abduction : causation of hypotheses by attractors dynamics. (shrink)

We conducted a computer-based psychological experiment in which a random mix of 40 tautologies and 40 non-tautologies were presented to the participants, who were asked to determine which ones of the formulas were tautologies. The participants were eight university students in computer science who had received tuition in propositional logic. The formulas appeared one by one, a time-limit of 45 s applied to each formula and no aids were allowed. For each formula we recorded the proportion of the participants who (...) classified the formula correctly before timeout and the mean response time among those participants. We propose a new proof formalism for modeling propositional reasoning with bounded cognitive resources. It models declarative memory, visual memory, working memory, and procedural memory according to the memory model of Atkinson and Shiffrin and reasoning processes according to the model of Newell and Simon. We also define two particular proof systems, T and NT, for showing propositional formulas to be tautologies and non-tautologies, respectively. The accuracy was found to be higher for non-tautologies than for tautologies ( p T was.89 and for non-tautologies the correlation between latency and minimum proof length in NT was.87. (shrink)