The papers in this volume present some of the most recent results of the work about contradictions in philosophical logic and metaphysics; examine the history of contradiction in crucial phases of philosophical thought; consider the relevance of contradictions for political and philosophical actuality. From this consideration a common question emerges: the question of the irreducibility, reality and productive force of (some) contradictions.

ABSTRACT: A comprehensive introduction to ancient (western) logic from earliest times to the 6th century CE, with a focus on issues that may be of interest to contemporary logicians and covering important topics in Post-Aristotelian logic that are frequently neglected (such as Peripatetic hypothetical syllogistic, the Stoic axiomatic system of propositional logic and various later ancient developments).

Analytic philosophy is sometimes said to have particularly close connections to logic and to science, and no particularly interesting or close relation to its own history. It is argued here that although the connections to logic and science have been important in the development of analytic philosophy, these connections do not come close to characterizing the nature of analytic philosophy, either as a body of doctrines or as a philosophical method. We will do better to understand analytic (...) philosophy—and its relationship to continental philosophy—if we see it as a historically constructed collection of texts, which define its key problems and concerns. It is true, however, that analytic philosophy has paid little attention to the history of the subject. This is both its strength—since it allows for a distinctive kind of creativity—and its weakness—since ignoring history can encourage a philosophical variety of “normal science.”. (shrink)

This paper provides a short summary of Mark Bevir, The Logic of the History of Ideas (Cambridge: Cambridge University Press, 1999). Logic stands here as a subset of Wittgenstein’s notion of philosophy as a matter of the grammar of our concepts. It studies the forms of reasoning appropriate to a discipline, rather than the material of that discipline. Hence, the logic of the history of ideas considers the nature of meaning, the way we should justify (...) our knowledge of past meanings, and how we should explain things such as the existence of meanings, the beliefs people held, and conceptual change. (shrink)

In 1934 a most singular event occurred. Two papers were published on a topic that had (apparently) never before been written about, the authors had never been in contact with one another, and they had (apparently) no common intellectual background that would otherwise account for their mutual interest in this topic.1 These two papers formed the basis for a movement in logic which is by now the most common way of teaching elementary logic by far, and indeed is (...) perhaps all that is known in any detail about logic by a number of philosophers (especially in North America). This manner of proceeding in logic is called ‘natural deduction’. And in its own way the instigation of this style of logical proof is as important to the history of logic as the discovery of resolution by Robinson in 1965, or the discovery of the logistical method by Frege in 1879, or even the discovery of the syllogistic by Aristotle in the fourth century BC. (shrink)

The Conciliatory Character of Jaina Logic. In the previous pages there has been given an indication of the services rendered by the Jainas and N° Brihrna^1 H,e the Buddhists in the formation of the Mediaeval School of Indian Logic. Since the  ...

A 'self-refutation argument' is any argument which aims at showing that a certain thesis is self-refuting. This study was the first book-length treatment of ancient self-refutation and provides a unified account of what is distinctive in the ancient approach to the self-refutation argument, on the basis of close philological, logical and historical analysis of a variety of sources. It examines the logic, force and prospects of this original style of argumentation within the context of ancient philosophical debates, dispelling various (...) misconceptions concerning its nature and purpose and elucidating some important differences which exist both within the ancient approach to self-refutation and between that approach, as a whole, and some modern counterparts of it. In providing a comprehensive account of ancient self-refutation, the book advances our understanding of influential and debated texts and arguments from philosophers like Democritus, Plato, Aristotle, Epicurus, the Stoics, the Academic sceptics, the Pyrrhonists and Augustine. (shrink)

Is logic masculine? Is women's lack of interest in the "hard core" philosophical disciplines of formal logic and semantics symptomatic of an inadequacy linked to sex? Is the failure of women to excel in pure mathematics and mathematical science a function of their inability to think rationally? Andrea Nye undermines the assumptions that inform these questions, assumptions such as: logic is unitary, logic is independenet of concrete human relations, and logic transcends historical circumstances as well (...) as gender. In a series of studies of the logics of historical figures--Parmenides, Plato, Aristotle, Zeno, Abelard, Ockham, and Frege--she traces the changing interrelationships between logical innovation and oppressive speech strategies, showing that logic is not transcendent truth but abstract forms of language spoken by men, whether Greek ruling citizens, or scientists. (shrink)

The basic notions in Prior’s Ockhamist and Peircean logics of branching-time are the notion of moment and that of history (or course of events). In the tree semantics, histories are defined as maximal linearly ordered sets of moments. In the geometrical approach, both moments and histories are primitive entities and there is no set theoretical (and ontological) dependency of the latter on the former. In the topological approach, moments can be defined as the elements of a rank 1 base (...) of a non-Archimedean topology on the set of histories. In this paper, it will be shown that the topological approach, and hence the other approaches, can be reconstructed in a framework in which the basic notions are those of history and of relative closeness relation among histories. (shrink)

The study of literary texts appears at the moment to stand at a decisive juncture. Trends in critical thinking over the last decades have questioned the possibility of recovering a text's historical meaning. At the same time, there is a newly insistent plea for a return to “history” in the interpretation of literature. Before a rapprochement can occur, however, we need to have a clearer understanding of how both historians and critics understand “history” and of the ways in (...) which postmodernist thought positions history and the role of the historian with respect to issues of literary interpretation at the forefront of contemporary critical debate. (shrink)

The basic notions in Prior's Ockhamist and Peircean logics of branching-time are the notion of moment and that of history. In the tree semantics, histories are defined as maximal linearly ordered sets of moments. In the geometrical approach, both moments and histories are primitive entities and there is no set theoretical dependency of the latter on the former. In the topological approach, moments can be defined as the elements of a rank 1 base of a non-Archimedean topology on the (...) set of histories. In this paper, it will be shown that the topological approach, and hence the other approaches, can be reconstructed in a framework in which the basic notions are those of history and of relative closeness relation among histories. (shrink)

This essay presents a theoretical construct upon which to base a working - "pragmatic" - definition of the History of Present Illness (HPI). The major thesis of this essay is that analysis of both the logic of hypothesis formation and literary narrative - especially detective stories - facilitates understanding of the diagnostic process. The essay examines three elements necessary to a successful development of a patient's HPI: the logic of hypothesis formation, based upon the work of the (...) philosopher-logician, Charles Sanders Peirce; the organization of knowledge in relation to structures of narrative; and the feedback necessary to the successful physician-interviewer. It concludes with a systematic description of the design of hypothesis formation within diagnoses. (shrink)

Greek, Indian and Arabic Logic marks the initial appearance of the multi-volume Handbook of the History of Logic. Additional volumes will be published when ready, rather than in strict chronological order. Soon to appear are The Rise of Modern Logic: From Leibniz to Frege. Also in preparation are Logic From Russell to Gödel, The Emergence of Classical Logic, Logic and the Modalities in the Twentieth Century, and The Many-Valued and Non-Monotonic Turn in (...) class='Hi'>Logic. Further volumes will follow, including Mediaeval and Renaissance Logic and Logic: A History of its Central. In designing the Handbook of the History of Logic, the Editors have taken the view that the history of logic holds more than an antiquarian interest, and that a knowledge of logic's rich and sophisticated development is, in various respects, relevant to the research programmes of the present day. Ancient logic is no exception. The present volume attests to the distant origins of some of modern logic's most important features, such as can be found in the claim by the authors of the chapter on Aristotle's early logic that, from its infancy, the theory of the syllogism is an example of an intuitionistic, non-monotonic, relevantly paraconsistent logic. Similarly, in addition to its comparative earliness, what is striking about the best of the Megarian and Stoic traditions is their sophistication and originality. Logic is an indispensably important pivot of the Western intellectual tradition. But, as the chapters on Indian and Arabic logic make clear, logic's parentage extends more widely than any direct line from the Greek city states. It is hardly surprising, therefore, that for centuries logic has been an unfetteredly international enterprise, whose research programmes reach to every corner of the learned world. Like its companion volumes, Greek, Indian and Arabic Logic is the result of a design that gives to its distinguished authors as much space as would be needed to produce highly authoritative chapters, rich in detail and interpretative reach. The aim of the Editors is to have placed before the relevant intellectual communities a research tool of indispensable value. Together with the other volumes, Greek, Indian and Arabic Logic, will be essential reading for everyone with a curiosity about logic's long development, especially researchers, graduate and senior undergraduate students in logic in all its forms, argumentation theory, AI and computer science, cognitive psychology and neuroscience, linguistics, forensics, philosophy and the history of philosophy, and the history of ideas. (shrink)

This book reveals the rational basis for historians' descriptions, interpretations and explanations of past events. C. Behan McCullagh defends the practice of history as more reliable than has recently been acknowledged. Historians, he argues, make their accounts of the past as fair as they can and avoid misleading their readers. He explains and discusses postmodern criticisms of history, providing students and teachers of history with a renewed validation of their practice. McCullagh takes the history debate to (...) a new stage with bold replies to the major questions historians face today. (shrink)

Much attention has been given to Arabic thought in the history of philosophy, however, Arabic contributions to logic have been greatly overlooked. In the ten essays of this book, Nicholas Rescher presents substantial material on the history, progression and major trends of Arabic logic from the eighth through the sixteenth century. Rescher finds that, like much of Western thought, Arabic logic had its basis in Greek philosophy, and specifically in Hellenistic Aristotelian logic.

In the tree-like representation of Time, two histories are undivided at a moment t whenever they share a common moment in the future of t. In the present paper, it will first be proved that Ockhamist and Peircean branching-time logics are unable to express some important sentences in which the notion of undividedness is involved. Then, a new semantics for branching-time logic will be presented. The new semantics is based on trees endowed with an indistinguishability function, a generalization of (...) the notion of undividedness. It will be shown that Ockhamist and Peircean semantics can be viewed as limit cases of the semantics developed in this paper. (shrink)

In 1948, Stanis aw Ja kowski defined a logical system D2 of a discursive 1 sentential calculus. The aim of this paper is to introduce the reader to the basic ideas of the discursive logic and to show, in a historical perspective, its development originating from the two germ papers [19] and [20]. We intend to present some problems connected with it and outline the solutions they have received up to the present day.

Although he has written extensively on a broad array of topics, Mark Bevir is most famous for his influential and controversial book The Logic of the History of Ideas (Cambridge University Press, 1999). In a wide-ranging interview, Bevir responds to a number of criticisms and mischaracterizations of the book, clarifies his aims in writing it, and identifies his relationship of his postfoundationalism to both analytical and continental philosophy. Additionally, Bevir articulates a hitherto unexpected ethical dimension to the work, (...) suggesting that it seeks to provide for a philosophy of the human sciences that incorporates those capacities for agency and reasoning that make us fully human and are thus deserving of respect. As such, he connects the book to the broader web of moral and political beliefs that underpin his work as a whole. (shrink)

Whatever its merits and difficulties, the concept of logic embedded in much of the "new philosophy" of the early modern period was then understood to supplant contemporary views of formal logic. The notion of compiling a natural history of the understanding constituted the basis of this new concept of logic. The following paper attempts to trace this view of logic through some of the major and numerous minor texts of the period, centering on the development (...) and influence of John Locke's understanding of the analysis of the cognitive faculties as the discipline of logic. (shrink)

: This essay is an attempt to see how some of Galison's ideas and analyses look from the vantage of art history. If there's to be dialogue between the history of science and the history of art, it will be necessary to find historically recognizable senses for words like "logic" and "homologous." I also propose how Galison's kinds of images might fit into larger classifications of images known to the history of art.

Inductive Logic is number ten in the 11-volume Handbook of the History of Logic. While there are many examples were a science split from philosophy and became autonomous (such as physics with Newton and biology with Darwin), and while there are, perhaps, topics that are of exclusively philosophical interest, inductive logic — as this handbook attests — is a research field where philosophers and scientists fruitfully and constructively interact. This handbook covers the rich history of (...) scientific turning points in Inductive Logic, including probability theory and decision theory. Written by leading researchers in the field, both this volume and the Handbook as a whole are definitive reference tools for senior undergraduates, graduate students and researchers in the history of logic, the history of philosophy, and any discipline, such as mathematics, computer science, cognitive psychology, and artificial intelligence, for whom the historical background of his or her work is a salient consideration. (shrink)

This paper is a brief history of natural logic at the interface of logic, linguistics, and nowadays also other disciplines. It merely summarizes some facts that deserve to be common knowledge.

The Editors’ vision for this volume is that it should be a selection of essays, contributed by the academics who have worked, studied, collaborated and disagreed with Göran Sundholm; engaging in debated issues and exploring untouched areas maybe only suggested or hinted at in Sundholm’s own work. "Acts of Knowledge" characterizes the papers contained in this volume as bringing something scientifically valuable in their respective fields: all the papers present cutting-edge research in their own style, contributing to very lively debates (...) occurring in the literature in logic, philosophical logic and history of logic. But it also hints at Göran’s constructivist background, which has been an influence or a challenge for many of the contributors. "History, Philosophy and Logic" refers directly to Göran's broad interests into the various aspects of the Philosophy of Logic, Mathematics, and Language, their origins and development, especially with the focus on the Modern History of Logic and the philosophical implications thereof. The readers will find scattered all along this volume pieces of -- and reflections on -- all these themes. (shrink)