In a career that spans 60 years so far, W.W. Tait has made many highly influential contributions to logic, the philosophy of mathematics, and their history. The present collection of new essays - contributed by former students, colleagues, and friends - is a Festschrift, i.e., a celebration of his life and work. The essays address a variety of themes prominent in his work or related to it. The collection starts with an introduction in which Tait's contributions are (...) sketched and put into context. The eleven essays that follow are arranged in three parts: Part I. Proof Theory and its History; Part II. Logic and Philosophy of Mathematics; and Part III. History of Logic and Philosophy of Mathematics. Each of the essays contributes substantially to one or several of these areas. The authors included are: Steve Awodey, Solomon Feferman, Michael Friedman, Warren Goldfarb, Geoffrey Hellman, William Howard, Stephen Menn, Rebecca Morris, Charles Parsons, Erich Reck, Thomas Ricketts, and Wilfried Sieg. The editor, Erich H. Reck is Professor of Philosophy at the University of California at Riverside. (shrink)

Logic and African Philosophy: Seminal Essays on African Systems of Thought aims to put African intellectual history in perspective, with focus on the subjects of racism, logic, language, and psychology. The volume seeks to fill in the gaps left by the exclusion of African thinkers that are frequent in the curricula of African schools concerning history, sociology, philosophy, and cultural studies. The book is divided into four parts that are preceded by an introduction to link up the essays (...) and emphasize their sociological implications. Part one is comprised of essays that opened the controversy of whether logic can be found in traditional African cultures as well as other matters like the nature of the mind and behavior of African peoples. The essays in part two are centered on the following question: are the laws of thought present in African languages and cultures? Part three brings together essays that sparkle the debate on whether there can be such a thing as African logic, which stems from the discussions in part two. Part four is concerned on the theme of system-building in logic; contributions are written by members of the budding African philosophy movement called the 'Conversational School of Philosophy' based at the University of Calabar, and the main objective of their papers is to formulate systems of African logic. (shrink)

Putnam, Hilary FPhilosophy of logic. Harper Essays in Philosophy. Harper Torchbooks, No. TB 1544. Harper & Row, Publishers, New York-London, 1971. v+76 pp. The author of this book has made highly regarded contributions to mathematics, to philosophy of logic and to philosophy of science, and in this book he brings his ideas in these three areas to bear on the traditional philosophic problem of materialism versus (objective) idealism. The book assumes that contemporary science (mathematical and (...) physical) is largely correct as far as it goes, or at least that it is rational to believe in it. The main thesis of the book is that consistent acceptance of contemporary science requires the acceptance of some sort of Platonistic idealism affirming the existence of abstract, non-temporal, non-material, non-mental entities (numbers,scientific laws, mathematical formulas, etc.). The author is thus in direct opposition to the extreme materialism which had dominated philosophy of science in the first three quarters of this century. the book can be especially recommended to the scientifically literate, general reader whose acquaintance with these areas is limited to the earlier literature of when it had been assumed that empiricistic materialism was the only philosophy compatible with a scientific outlook. To this group the book presents an eye-opening challenge fulfilling the author’s intention of “shaking up preconceptions and stimulating further discussion”. (shrink)

The old medieval problem of the temporal relationship between an eternal God and an eternal or timed world remains an issue that animates debates about the nature of God in contemporary philosophy of religion. The Islamic debate pitted the philosophers, in particular Ibn Sīnā [Avicenna], who held that an eternal God produced an eternal world that was merely logically posterior to him, against some theologians, such as al-Ghazālī (Alghazel) who insisted on the scriptural doctrine of creatio ex nihilo and (...) refuted the possibility of an eternal world. The conflict continued with each side ceding some aspects and rejecting others until the Safavid period in which one finds the divisions between philosophy and theology irrevocably breaking down. I shall discuss the positions of three key philosophers of early modern Iran who all defended the doctrine of creatio ex nihilo from a philosophical perspective and came up with some novel approaches to the old problem of the temporal relationship between God and creation. /// O presente artigo parte da constatação de que o velho problema dos pensadores medievais acerca do relacionamento temporal entre um Deus que é eterno e um mundo que ora se entende como eterno ora como localizado no tempo permanece ainda hoje um dos assuntos que animam os debates relativos à natureza de Deus na fdosofia da religião contemporânea. Constata-se, antes de mais, que o debate que se verificou no seio do Islão começou por levantar os filósofos, particularmente Ibn Sīnā [Avicenna], o qual defendia que um Deus eterno produziu um mundo eterno que apenas do ponto de vista lógico lhe era posterior, contra os teólogos, tais como al-Ghazātī [Alghazel], o qual insistia na doutrina baseada na Escritura da creatio ex nihilo e refutava a possibilidade de um mundo eterno. O conflito continuou com cada uma das partes cedendo alguns aspectos e rejeitando outros até à emergência do período dos Safavidas durante o qual se verifica o rompimento das divisões entre Filosofia e Teologia. Assim, o autor do artigo propõe-se analisar as posições de três filósofos fundamentais do início da era moderna no Irão, pensadores esses que defendiam a doutrína da creatio ex nihilo numa perspectiva filosófica e, ao mesmo tempo, foram capazes de avançar com algumas abordagens novas ao velho problema da relação temporal entre Deus e a criação. (shrink)

PUTNAM has made highly regarded contributions to mathematics, to philosophy of logic and to philosophy of science, and in this book he brings his ideas in these three areas to bear on the traditional philosophic problem of materialism versus (objective) idealism. The book assumes that contemporary science (mathematical and physical) is largely correct as far as it goes, or at least that it is rational to believe in it. The main thesis of the book is that (...) consistent acceptance of contemporary science requires the acceptance of some sort of Platonistic idealism affirming the existence of abstract, non-temporal, non-material, non-mental entities (numbers, scientific laws, mathematical formulas, etc.). The author is thus in direct opposition to the extreme materialism which had dominated philosophy of science in the first three quarters of this century. The book can be recommended to the scientifically literate, general reader whose acquaintance with these areas is limited to the literature of the 1950’s and before, when it had been assumed that empiricistic materialism was the only philosophy compatible with a scientific outlook. To this group the book presents an eye-opening challenge fulfilling the author’s intention of “shaking up preconceptions and stimulating further discussion”. QUINE’S book is not easy to read, partly because the level of sophistication fluctuates at high frequency between remote extremes and partly because of convoluted English prose style and devilish terminology. Almost all of the minor but troublesome technical errata in the first printing have been corrected [see reviews, e.g., the reviewer, Philos. Sci. 39 (1972), no. 1, 97–99]. In the opinion of the reviewer the book is not suitable for undergraduate instruction, and without external motivation few mathematicians are likely to have the patience to appreciate it. Nevertheless, a careful study of the book will more than repay the effort and one should expect to find frequent references to this book in coming years. (shrink)

I provide a critical commentary regarding the attitude of the logician and the philosopher towards the physicist and physics. The commentary is intended to showcase how a general change in attitude towards making scientific inquiries can be beneficial for science as a whole. However, such a change can come at the cost of looking beyond the categories of the disciplines of logic, philosophy and physics. It is through self-inquiry that such a change is possible, along with the realization of (...) the essence of the middle that is otherwise excluded by choice. The logician, who generally holds a reverential attitude towards the physicist, can then actively contribute to the betterment of physics by improving the language through which the physicist expresses his experience. The philosopher, who otherwise chooses to follow the advancement of physics and gets stuck in the trap of sophistication of language, can then be of guidance to the physicist on intellectual grounds by having the physicist’s experience himself. In course of this commentary, I provide a glimpse of how a truthful conversion of verbal statements to physico-mathematical expressions unravels the hitherto unrealized connection between Heisenberg uncertainty relation and Cauchy’s definition of derivative that is used in physics. The commentary can be an essential reading if the reader is willing to look beyond the categories of logic, philosophy and physics by being ‘nobody’. (shrink)

This paper deals with the study of the nature of mind, its processes and its relations with the other filed known as logic, especially the contribution of most notable contemporary analytical philosophy Ludwig Wittgenstein. Wittgenstein showed a critical relation between the mind and logic. He assumed that every mental process is logical. Mental field is field of space and time and logical field is a field of reasoning (inductive and deductive). It is only with the advancement in (...) logic, we are today in the era of scientific progress and technology. Logic played an important role in the cognitive part or we can say in the ‗philosophy of mind‘ that this branch is developed only because of three crucial theories i.e. rationalism, empiricism, and criticism. In this paper, it is argued that innate ideas or truth are equated with deduction and acquired truths are related with induction. This article also enhance the role of language in the makeup of the world of mind, although mind and the thought are the terms that are used by the philosophers synonymously but in this paper they are taken and interpreted differently. It shows the development in the analytical tradition subjected to the areas of mind and logic and their critical relation. (shrink)

John Perry’s new book makes an important philosophical contribution at two quite distinct levels. The first and most obvious is its systematic critical discussion of three of the most notorious recent arguments in favor of some form of Property Dualism: Chalmers’ Zombie Argument, Jackson’s Knowledge Argument, and Kripke’s Modal Argument. Perry—no stranger himself to matters modal, indexical, and demonstrative—brings an especial authority to this task. Unlike many of us, he eats, drinks, and breathes the same modal vocabulary deployed by (...) all three of these authors, and, unlike some of us, he accepts most of what passes for conventional wisdom in current modal theory. Moreover, while “antecedently inclined” toward some form of physicalism in the philosophy of mind, he has no particular ideological axe to grind here. Perry never turns to extol the positive virtues of this, that, or the other materialist theory of mind above its various dualist adversaries. He just wishes to determine whether any of the three celebrated arguments cited above provides the antecedent materialist with a motive for reconsidering that general position. Other readers will be eager, as was I, to see how a judge with Perry’s solid but prototypically “analytic” credentials comes down on this issue. (shrink)

The IOth International Congress of Logic, Methodology and Philosophy of Science, which took place in Florence in August 1995, offered a vivid and comprehensive picture of the present state of research in all directions of Logic and Philosophy of Science. The final program counted 51 invited lectures and around 700 contributed papers, distributed in 15 sections. Following the tradition of previous LMPS-meetings, some authors, whose papers aroused particular interest, were invited to submit their works for publication in a (...) collection of selected contributed papers. Due to the large number of interesting contributions, it was decided to split the collection into two distinct volumes: one covering the areas of Logic, Foundations of Mathematics and Computer Science, the other focusing on the general Philosophy of Science and the Foundations of Physics. As a leading choice criterion for the present volume, we tried to combine papers containing relevant technical results in pure and applied logic with papers devoted to conceptual analyses, deeply rooted in advanced present-day research. After all, we believe this is part of the genuine spirit underlying the whole enterprise of LMPS studies. (shrink)

The prime purpose of this paper is, first, to restore to discourse-bound occasion sentences their rightful central place in semantics and secondly, taking these as the basic propositional elements in the logical analysis of language, to contribute to the development of an adequate logic of occasion sentences and a mathematical (Boolean) foundation for such a logic, thus preparing the ground for more adequate semantic, logical and mathematical foundations of the study of natural language. Some of the insights elaborated (...) in this paper have appeared in the literature over the past thirty years, and a number of new developments have resulted from them. The present paper aims at providing an integrated conceptual basis for this new development in semantics. In Section 1 it is argued that the reduction by translation of occasion sentences to eternal sentences, as proposed by Russell and Quine, is semantically and thus logically inadequate. Natural language is a system of occasion sentences, eternal sentences being merely boundary cases. The logic has fewer tasks than is standardly assumed, as it excludes semantic calculi, which depend crucially on information supplied by cognition and context and thus belong to cognitive psychology rather than to logic. For sentences to express a proposition and thus be interpretable and informative, they must first be properly anchored in context. A proposition has a truth value when it is, moreover, properly keyed in the world, i.e. is about a situation in the world. Section 2 deals with the logical properties of natural language. It argues that presuppositional phenomena require trivalence and presents the trivalent logic ${\rm PPC}_{3}$ , with two kinds of falsity and two negations. It introduces the notion of Σ-space for a sentence A (or / A /, the set of situations in which A is true) as the basis of logical model theory, and the notion of / ${\bf P}^{A}$ / (the Σ-space of the presuppositions of A), functioning as a 'private' subuniverse for / A /. The trivalent Kleene calculus is reinterpreted as a logical account of vagueness, rather than of presupposition. ${\rm PPC}_{3}$ and the Kleene calculus are refinements of standard bivalent logic and can be combined into one logical system. In Section 3 the adequacy of ${\rm PPC}_{3}$ as a truth-functional model of presupposition is considered more closely and given a Boolean foundation. In a noncompositional extended Boolean algebra, three operators are defined: $1_{a}$ for the conjoined presuppositions of a, ã for the complement of a within $1_{a}$ , and â for the complement of $1_{a}$ within Boolean 1. The logical properties of this extended Boolean algebra are axiomatically defined and proved for all possible models. Proofs are provided of the consistency and the completeness of the system. Section 4 is a provisional exploration of the possibility of using the results obtained for a new discourse-dependent account of the logic of modalities in natural language. The overall result is a modified and refined logical and model-theoretic machinery, which takes into account both the discourse-dependency of natural language sentences and the necessity of selecting a key in the world before a truth value can be assigned. (shrink)

The main purpose of this article is to bring Ragin’s recent methodological contributions, which build on ideas borrowed from fuzzy logic, to the attention of management scholars. To demonstrate the possible use of the techniques developed by Ragin in management research, three specific examples for their likely applications are presented: the replications of Porter’s diamond framework for Turkey, Greece and Canada. The article concludes that Ragin’s systematic techniques prove helpful in making explicit the process of comparing qualitative evidence (...) derived from case study research, and thus they deserve greater attention in the management literature. (shrink)

It is argued that the theory of opposition is in position to contribute as a formal method of conceptual engineering, by means of an increasing dichotomy-making process that augments the number of elements into any structured lexical field. After recalling the roots of this theory and its logical tenets, it is shown how the processes of expansion and contraction of discourse can modify a lexical field and, with it, our collective representation of ideas. This theory can also bring some (...) order to the question of disagreement in philosophical discourse: what do philosophers disagree about; how can we clarify the distinction between verbal disagreement (focused on words) and substantive disagreement (focused on things)? The ensuing construction of conceptual systems will be exemplified through three case studies of philosophy: desire, truth judgment, and the left–right political divide. The construction rules of such systems resort to the theory of opposition, which intends to improve our understanding of what entails either agreement or disagreement about the meaning of concepts. Such a better understanding of philosophical discourse relies on its formalization in terms of closed lexical fields, thereby leading to a comparative analysis of concepts in light of logical relations between their definitions. (shrink)

The various papers and short "discussions" contained in this latest addition to the "Studies in Logic" series were presented at the 1965 International Colloquium in the Philosophy of Science, in London. Of the nine "problems" considered in this symposium, seven have directly to do with philosophy, one is an historical study of the origins of Euclid's axiomatics, and the last is an interesting—if one-sided—discussion of the "new math" controversy in the pre-college curriculum. Happily, this book demonstrates that the (...) important issues in the philosophy of mathematics somewhat outrun the usual ism-mongering debate between representatives of various schools. Unhappily, it also demonstrates that a good deal of undeserving material seems to find its way between the covers of scholarly books. After reading certain of the articles in this volume one is left with the feeling that the authors have not come to grips with the issues which they raise, that a lot of effort has been expended on peripheral matters, and that, in some instances, a sledge hammer has been brought down upon an egg. Abraham Robinson's article, "The Metaphysics of the Calculus," deals with a series of important linguistic and ontological problems concerning the foundations of analysis. Moreover, these are problems which can no longer be ignored, especially in view of the evolution of non-standard analysis. But, unfortunately, the interested reader would do far better to turn to Robinson's recent book on the subject, and pay special attention to the second, third, and last chapters therein. "On a Fregean Dogma" by Fred Sommers gives a rather curious non-quantificational algorithm for the monadic fragment of syllogistic. This Sommers does in the interest of "a conservative effort to restore categorical statements to predicative status." Despite the heat and the occasional interesting remarks which the discussion generated, one is inclined to ask, "So what?" The sequence of three papers by Mostowski, Bernays, and Körner is best considered as a group, since each of these is concerned with the philosophical significance of recent results in set theory and logic. Students of the philosophy of mathematics would do well to read this part of the book very carefully, although one wishes that the authors would elaborate a bit on their specific philosophical views. Finally, there is Georg Kreisel's difficult and amazing paper, "Informal Rigor and Completeness Proofs," in which is presented a mathematical treatment of the problem of selecting the primitive rules and concepts of mathematical systems. Kreisel's ideas are refreshing, unorthodox, dubious, and a genuine contribution to the philosophy of mathematics. In sum, this book is a mixed bag, uneven in the quality of its contents, but worth reading.—H. P. K. (shrink)

Abstract.One of the theses of the present work is that, at the strictly logical and methodological level, practical logic has neither made, nor can it make any contribution to the philosophy of law, since none of the three branches of practical logic that have been taken into account, namely, the logic of norms, deontic logic and legal logic, seems to be theoretically possible. The contribution of practical logic to the analysis of legal language is assessed in terms (...) of both the instruments of analysis elaborated by practical logic, the artificial languages, and the results obtained in two capital subjects, the negations of norms and the permissions. (shrink)

This paper employs network theory, mining data and bibliometric analysis when mapping the scientific contribution of Nobel Prize candidate; Manuel Sandoval Vallarta, the first and most renowned Mexican physicist and important figure in Latin American science. Vallarta died in 1977, and the existing literature is about his life and contributions to science but not about how those are still valuable today. This paper is the first to highlight, with mapping tools, that his contributions are relevant to the international (...) community of cosmic rays (as he was pioneer and leader), quantum mechanics and relativity. These tools delivered three findings: Identify how he built his own field of study, same as universal knowledge. Unveil that the backward and forward Vallarta citations follow a _scale-free_ network distribution. Determine social factors that benefited or affected his scientific activities—such as World War II interrupting Vallarta’s successful productivity at Massachusetts Institute of Technology. Furthermore, this study confirmed the interdisciplinary nature of the mapping studies of the scientist's contributions using scientometric tools. As a result, several interesting questions arose throughout our research, some of which were answered from the history and philosophy of science. However, others need to be analyzed by experts in the fields of Vallarta. Mapping research sends an invitation to interdisciplinary dialogue/research between experts in different areas of study to better understand the process of knowledge production both, individual and collective. (shrink)

The series presents historical and systematic studies on the philosophy of Alexius Meinong and his school, as well as on works influenced by aspects of Meinong's philosophy. Furthermore, the series is open to contributions in the analytic-phenomenological tradition, mirroring the most recent developments in these disciplines.

William Ernest Johnson was a renowned British logician and economist, and also a fellow of King's College, Cambridge. Originally published in 1921, this book forms the first of a three-volume series by Johnson relating to 'the whole field of logic as ordinarily understood'. The series is widely regarded as Johnson's greatest achievement, making a significant contribution to the tradition of philosophical logic. This book will be of value to anyone with an interest in Johnson's theories, philosophy and the (...) historical development of logic. (shrink)

My purpose in this paper is to shed some light on two questions: In what sense is logic philosophical? And what is philosophical logic? I take these two questions as co-extensive: an answer to one of them is also (or can easily be converted into) an answer to the other. I approach the problem from three perspectives: a conceptual, a descriptive and a prescriptive perspective. In other words, I try to answer the following questions: (i) In what sense can (...) logic be taken as philosophical? (ii) In what sense has logic been taken as philosophical? (iii) In what sense should logic be taken as philosophical? To this end, I analyze excerpts from five works in which meanings are attributed to the expression “philosophical logic”. The meanings are then object of critical analysis: I try to assess which of these semantical alternatives do not hold up as satisfactory answers to (iii). The result of this analysis is then used as a starting point for my own answer to question (iii). (shrink)

The Philosophy of Chrysippus is a reconstruction of the philosophy of an eminent Stoic philosopher, based upon the fragmentary remains of his voluminous writings. Chrysippus of Cilicia, who lived in a period that covers roughly the last three-quarters of the third century B.C., studied philosophy in Athens and upon Cleanthes’ death became the third head of the Stoa, one of the four great schools of philosophy of the Hellenistic period. Chrysippus wrote a number of treatises (...) in each of the major departments of philosophy, logic, physics, and ethics. Much of his fame derived from his acuteness as a logician, but his importance for Stoic philosophy generally was acknowledged in antiquity in the saying, “Had there been no Chrysippus, there would be no Stoa.” Previous accounts of Chrysippus’ philosophy, including Émile Bréhier’s study, the only work in this century which had sought to deal with Chrysippus’ philosophy alone, blurred the distinctive contributions of Chrysippus to Stoic philosophy and failed to bring to light the peculiar features in his thought. The vagueness in these accounts resulted in large measure from the assumption that if an ancient author ascribed a doctrine to “the Stoics” or “Stoicism”, one could infer that the doctrine belonged to Chrysippus. Professor Gould works from the more circumspect methodological principle that unless an ancient author explicitly ascribes a doctrine to Chrysippus, his testimony cannot be used in reconstructing Chrysippus’ philosophy. Working with those of the fragments in Hans von Arnim’s collection, Stoicorum Veterum Fragmenta, which are explicitly Chrysippean in the sense suggested, Mr. Gould has worked out an account of Chrysippus’ views in the fields of logic, natural philosophy, and ethics. In order that Chrysippus’ thought might be viewed in context Mr. Gould provides a background picture by describing the third century milieu in which the Stoic philosopher worked. This follows an account of Chrysippus’ life and reputation in antiquity and a description of modern assessments of Chrysippus’ position in the Stoa. In his account of Chrysippus’ philosophy Mr. Gould frequently introduces comparisons and contrasts with Plato and Aristotle to help emphasize the continuity between Hellenic and early Hellenistic philosophy. Finally, in a concluding chapter, the author shows that the dominant themes in Chrysippus’ philosophy, while not exhibiting a thoroughly well-knit system, nevertheless are woven together into a remarkably comprehensive whole, which must have been extraordinarily impressive in antiquity. (shrink)

Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The book balances accessibility, breadth, and rigor, and is designed so that its materials will fit into a single semester. Its distinctive presentation of traditional logic material will enhance readers' capabilities and mathematical maturity. The proof theory portion presents classical propositional logic and (...) first-order logic using a computer-oriented (resolution) formal system. Linear resolution and its connection to the programming language Prolog are also treated. The computability component offers a machine model and mathematical model for computation, proves the equivalence of the two approaches, and includes famous decision problems unsolvable by an algorithm. The section on nonclassical logic discusses the shortcomings of classical logic in its treatment of implication and an alternate approach that improves upon it: Anderson and Belnap's relevance logic. Applications are included in each section. The material on a four-valued semantics for relevance logic is presented in textbook form for the first time. Aimed at upper-level undergraduates of moderate analytical background, Three Views of Logic will be useful in a variety of classroom settings. Gives an exceptionally broad view of logic. Treats traditional logic in a modern format. Presents relevance logic with applications. Provides an ideal text for a variety of one-semester upper-level undergraduate courses. (shrink)

Both ways of looking at the history of logic as well as some of the issues that plague contemporary disputes over the nature of logic are illustrated in three recent books. Henry Veatch's Intentional Logic turns to a medieval Aristotelian philosophy as providing the framework for an adequate account of logical subject matter. Ernest Moody's Truth and Consequence in Mediaeval Logic borrows from the technical apparatus of present-day logicians in an endeavor to reassess what was once dismissed (...) as fourteenth century logic-chopping. Benson Mates' Stoic Logic is a similar study in the logic of an earlier period. (shrink)

This dissertation makes two primary contributions. The first three chapters develop an interpretation of Carnap's Meta-Philosophical Program which places stress upon his methodological analysis of the sciences over and above the Principle of Tolerance. Most importantly, I suggest, is that Carnap sees philosophy as contiguous with science—as a part of the scientific enterprise—so utilizing the very same methods and subject to the same limitations. I argue that the methodological reforms he suggests for philosophy amount to (...) class='Hi'>philosophy as the explication of the concepts of science through the construction and use of suitably robust meta-logical languages. My primary interpretive claim is that Carnap's understanding of logic and mathematics as a set of formal auxiliaries is premised upon this prior analysis of the character of logico-mathematical knowledge, his understanding of its role in the language of science, and the methods used by practicing mathematicians. Thus the Principle of Tolerance, and so Carnap's logical pluralism, is licensed and justified by these methodological insights. This interpretation of Carnap's program contrasts with the popular Deflationary reading as proposed in Goldfarb & Ricketts. The leading idea they attribute to Carnap is a Logocentrism: That philosophical assertions are always made relative to some particular language, and that our choice of syntactical rules for a language are constitutive of its inferential structure and methods of possible justification. Consequently Tolerance is considered the foundation of Carnap's entire program. My third chapter argues that this reading makes Carnap's program philosophically inert, and I present significant evidence that such a reading is misguided. The final chapter attempts to extend the methodological ideals of Carnap's program to the analysis of the ongoing debate between category- and set-theoretic foundations for mathematics. Recent criticism of category theory as a foundation charges that it is neither autonomous from set theory, nor offers a suitable ontological grounding for mathematics. I argue that an analysis of concepts can be foundationally informative without requiring the construction of those concepts from first principles, and that ontological worries can be seen as methodologically unfruitful. (shrink)

The subject of this report is a border region between two languages: that of the Zen kōan and that of formal logic. Firstly, I present part of a classic work of Zen Buddhism, the Hekiganroku (Biyen-lu, 碧巌録) with some additional commentary. Secondly, I put forward a possible means of translating Zen kōans into the language of formal logic. This exposition is tied to a three-fold problematic: Is it possible to say that the different logics (of the language of Zen (...) and the language of formal logic) agree in their logical essence? If so, in which aspects can we find these points of agreement? Or do they represent only different parallel logics without any points of crossing? What is the definitive difference between their respective ways of thinking? The answers to these questions may providecontemporary buddhist philosophy with a further perspective: how Zen thought can stimulate and contribute to formal logic. The transcription of Zen kōan into formal logical symbols is able to clarify what is the most important subject in the language of Zen. At the same time it will show the limitations of the language of formal logic and the language of Zen kōan. In my report I try to delineate the limits of verbal expression in formal logic and explore what is the truth expressed in nonverbal applications of Zen logic. A new way of thinking can emerge from the field between the logic of verbal and of non-verbal expression. (shrink)

This book presents novel formalizations of three of the most important medieval logical theories: supposition, consequence and obligations. In an additional fourth part, an in-depth analysis of the concept of formalization is presented - a crucial concept in the current logical panorama, which as such receives surprisingly little attention.Although formalizations of medieval logical theories have been proposed earlier in the literature, the formalizations presented here are all based on innovative vantage points: supposition theories as algorithmic hermeneutics, (...) theories of consequence analyzed with tools borrowed from model-theory and two-dimensional semantics, and obligations as logical games. For this reason, this is perhaps the first time that these medieval logical theories are made fully accessible to the modern philosopher and logician who wishes to obtain a better grasp of them, but who has always been held back by the lack of appropriate ‘translations' into modern terms.Moreover, the book offers a reflection on the very nature of logic, a reflection that is prompted by the comparisons between medieval and modern logic, their similarities and dissimilarities. It is thus a contribution not only to the history of logic, but also to the philosophy of logic, the philosophy of language and semantics.The analysis of medieval logic is also relevant for the modern philosopher and logician in that, being the unifying methodology used across all disciplines at that time, logic really provided unity to science. It thus presents a unified model of scientific investigation, where logic plays the aggregating role. (shrink)

This volume comprises a selection of papers that were contributed to the 7th International Congress of Logic, Methodology and Philosophy of Science, which was held in Salzburg from the 11th - 16th July, 1983. There were 14 sections in this congress: 1. proof theory and foundations of mathematics 2. model theory and its applica ti on 3. recursion theory and theory of computation 4. axiomatic set theory 5. philosophical logic 6. general methodology of science 7. foundations of probability and (...) induction 8. foundations and philosophy of the physical sciences 9. foundati ons and phi 1 osophy of biology 10. foundations and philosophy of psychology foundations and philosophy 11. of the social sciences 12. foundati ons and philosophy of linguistics 13. history of logic, methodology and philosophy of science 14. fundamental principles of the ethics of science In each section, three or four invited addresses were given, which will be published in the Congress Proceedings (Ruth Barcan Marcus, Georg J. W. Dorn and Paul Weingartner, eds. : Logic, Metho dology and Philosophy of Science VII. Proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of v PREFACE Science, Salzburg, 1983. - Amsterdam, New York, Oxford: North-Holland Publishing 'Company, 1985. ) Every section with the exception of section 14 also contained contributed papers. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Empty Words: Buddhist Philosophy and Cross-Cultural InterpretationEdward R. FallsEmpty Words: Buddhist Philosophy and Cross-Cultural Interpretation. By Jay L. Garfield. Oxford and New York: Oxford University Press, 2002. 306 + xi pp.Jay L. Garfield's Empty Words is a collection of (mostly) previously published essays bearing on the interpretation of Buddhist thought. Emphasizing the Indo-Tibetan tradition while indebted to Euro-American philosophy, Empty Words belongs in a class (...) with books such as Tom Tillemans's Scripture, Logic and Language: Essays on Dharmakīrti and His Tibetan Successors (1999) and Matthew Kapstein's Reason's Traces: Identity and Interpretation in Indian and Tibetan Buddhist Thought (2001). Below is a précis of Empty Words, followed by remarks on some points that especially caught this reviewer's interest.The essays in Empty Words are gathered into three sections according to subject matter: (1) Madhyamaka, (2) Yogācāra, and (3) Ethics and Hermeneutics. There are five essays in section 1, clustered around three themes: Nāgārjuna's theory of causality (ch. 2, 4), parallels between Madhyamaka and the European skeptical tradition (ch. 1), and paradox in Madhyamaka (ch. 3, 5).Section 2 begins with an essay interpreting Vasubandhu on the three natures and three naturelessnesses, arguing that "Vasubandhu subordinates the naturelessnesses [End Page 196] to the natures pedagogically and describes them as characteristics of, but not (with the exception of the third) identical to the three natures" (p. 121). As for the other three essays in section 2, chapter 7 consists of a translation of and commentary on Vasubandhu's Trisvabhāvanirdes´a, chapter 8 presents an interesting experiment in cross-cultural interpretation in which the history of European idealism is viewed through a Buddhist idealist lens, and chapter 9 (one of the two previously unpublished essays in Empty Words—ch. 14 is the other) attempts to bring together Garfield's views on the limits of expressibility in Madhyamaka and his interpretation of the three natures in Yogācāra.Section 3 includes three essays concerning issues in ethics or political philosophy and two essays discussing the hermeneutical issues involved when Euro-American and Tibetan philosophers attempt to understand each other's traditions. The topics of the former essays are as follows. Is the Dalai Lama's advocacy of human rights (which are grounded in liberal moral theory) compatible with Buddhist ethics, which emphasizes a compassion-based morality (ch. 10)? Are Buddhist values and democracy incompatible (ch. 11)? How does Samdhong Rinpoche's approach to nonviolence relate to Gandhi's (ch. 12)? In the final two essays of the book, Garfield advocates a strategy of cross-cultural interpretation which would avoid the pitfall of orientalism, drawing heavily on Gadamerian-Heideggerian hermeneutics.The remarks that follow bear exclusively on points from essays in section 1 on Madhyamaka. In chapter 4, Garfield critiques the claim, attributed to Dharmakīrti (by rGyal tshab in his commentary on the pramānasiddhi chapter of Pramānavarttika) that belief in rebirth is necessary for the cultivation of bodhicitta. Garfield argues that if this claim is correct, then the "I" in the bodhisattva vow is doing real metaphysical work, functioning as the basis for a real causal relation, contra Nāgārjuna's analysis of causality (which is supposed to involve the rejection of real causal powers). Otherwise, a simpler account of bodhicitta would suffice, in which striving for personal enlightenment could be replaced by striving for someone's attaining enlightenment some time in the future. On this account, practitioners would resolve to contribute to the accumulation of causes of someone's eventually attaining enlightenment, where this accumulation of causes turns out to be something like "universal moral improvement."But what if practitioners just do not know how to bring about universal moral improvement? Garfield acknowledges that buddhas sometimes act counter to the "moral" good, and this suggests an important cognitive difference between buddhas and ordinary beings: ordinary beings can only (fallibly) infer what the best thing to do is, whereas buddhas simply know. Hence, the importance, from a practitioner's standpoint, of the Buddha's teaching, which is a path of personal attainment (and who knows whether it is incidentally a... (shrink)

This volume does not succeed in encapsulating the legacy of Logical Positivism. Much more than 291 pages would not suffice for the things of value the movement has left us. Logical Positivism has clarified old doctrines and provided us with new ones. It has encouraged new standards of care, clarity, and philosophical honesty. These in turn have fostered what I believe to be the movement's greatest legacy: a clear understanding of the difficulties with the prima facie attractive doctrines (...) associated with the movement. This is a propitious basis on which to extend our inquiries. What the volume does provide is a fair sample of the legacy's contemporary effect on the philosophy of science. Besides the three historical sketches, the papers review known difficulties with Logical Positivist views and present new doctrines inspired by foregoing critical examination. None of the criticisms is new, and for the most part they have been more clearly and thoroughly presented elsewhere. The papers which attempt to work out new ideas are below the standard we all would like to see in (and contribute to) the literature, but up to the standard of what we usually find. Consequently, the volume is best used as a source for particular authors' views on particular subjects. (shrink)

Palimpsests of Themselves is an intervention in current discussions about the fate of philosophy in postclassical Islamic intellectual history. It takes up the most advanced logic textbook of Muslim South Asia, The Ladder of the Sciences, as a case study and engages its legacy in three ways. In addition to presenting the first full translation and extended commentary in English, Asad Q. Ahmed offers detailed assessments of the technical contributions of the work, explores the social and institutional (...) settings of the vast commentarial response it elicited, and develops a theory of the philosophical commentary that is internal to the tradition. The technical, social, and theoretical approaches to the commentarial text complicate presuppositions upon which questions of Islam's intellectual decline are erected. As such, Ahmed offers a unique and powerful opportunity to understand the transmission of knowledge across the Islamic world. (shrink)

The article is devoted to the analysis of the theological-academic ontological doctrine of the three types of being formulated within the framework of the Russian theological-academic philosophy of the 19th century. The study of this problem in the context of the general analysis of the phenomenon of theological-academic philosophy allows expanding our understanding of the genesis of Russian philosophy and its religious-philosophical component. The main aim of the article is the historical-philosophical analysis (on the material of (...) philosophical courses of Russian theological academies and original works of professors of academies) of the doctrine about three types of being, which was developed within the framework of the theological-academic philosophy in Russia in the 19th century. The set goal is achieved by means of textual and religious analysis methods, as well as historical-functional, historical-genetic, and comparative research methods. The authors conclude that the specificity of theological-academic philosophizing was determined by confessional affiliation and consisted in its theistic form: the transversal theme of all theological-academic interpretations was the problem of being. Thus, theological-academic ontology took the form of the doctrine of God as an absolute being and the world as its derivative. The theological-academic doctrine of the three types of being and the synthesizing function of the absolute in relation to theological and material being cannot be characterized as quite logical and consistent. The notion of God as an absolute being is conditioned by the aspiration of theological-academic philosophers not to go beyond traditional orthodoxy and is one of the main specific features of theological-academic philosophical interpretations of religious consciousness. At the same time, the historical and philosophical analysis of the works of professors from Russian theological academies allows tracing how the powerful ideological and theoretical potential accumulated in Russian theological academies after their reforms in the 19th century contributed to the development of professional philosophy in Russia, the development of a philosophical categorical apparatus and the systematic formation of Russian philosophical thought. The development of this theme responds to the urgent research tasks of the history of philosophy. Further, this topic is very interesting not only for historians of philosophy but also for historians of religion, historians of orthodoxy, and culturologists. (shrink)

Language was at the heart of philosophical inquiry for Plato and Aristotle, and in contemporary discussion it is no less central. In addition to the history of philosophy’s extensive investigations of language, analytic and continental philosophy too have focused intensively on the matter. But since most inquiries into language remain enclosed in their own methodology, terminology, and tradition, the multiplicity of approaches is often accompanied by their mutual isolation. This book shows, however, that these traditions can speak meaningfully (...) to each other on language: rather than preventing dialogue, their differences provide opportunities for fruitful inquiry. -/- The essays in this volume each treat a central topic in the contemporary study of language. Part One addresses how expression determines thought according to Humboldt, the use of paraphrase in Quine’s semantic ascent, and the non-ambiguity of the Frege-Russell senses of ‘is.’ Part Two includes treatments of the possibility and impossibility of promising in Nietzsche, and Derrida’s re-working of Saussure’s distinction between language and world. Topics in Part Three include the origin and end of language for Heidegger and Foucault, and the mutual sharpening of logic and ordinary speech in Anselm. -/- This book fills a gap in current scholarship by bringing together nine essays that, through rejecting the debilitating yet often unquestioned divisions between disciplines, are able to illuminate the fundamental nature of language. -/- Contributors: Jaakko Hintikka, Jo-Jo Koo, Geoffrey Bennington, Sarah Hansen, JohnChristopher Adorno Keller, Vernon Cisney, Alina Beary, Jeffrey Golub, Eileen Sweeney -/- In each part of this thought-provoking volume on the nature of language, there are essays that demonstrate the immense intellectual potential of writing that refuses to see any decisive distinction between the present of philosophy and its history, or between the ways in which Kant’s work has been inherited in Anglo-American and Franco-German traditions. —Stephen Mulhall, New College, Oxford University -/- With its robust range of complementary topics, each subjected to penetrating examination, this collection of essays makes a welcome contribution to the philosophy of language, past and present. —Daniel Dahlstrom, Boston University -/- The contributions to this impressive volume ignore traditional divides between “analytic” and “continental,” historical and systematic philosophy. This enables the authors to put a number of key issues in the philosophy of language into a striking new light…. Fully accessible to the advanced undergraduate in philosophy, the book also contains many provocative ideas for the specialist. —Martin Kusch, University of Cambridge -/- TABLE OF CONTENTS | INTRODUCTION -/- On Speech and Language, Mark Sentesy, Boston College -/- Structure and Overview of This Volume, Jon Burmeister, Boston College -/- PART ONE: HOW DO WE THINK WHAT WE ARE SAYING? -/- The Expressivist Conception of Language and World: Humboldt and the Charge of Linguistic Idealism and Relativism, Jo-Jo Koo, University of Pittsburgh -/- What Can We Learn About Language From Thinking About Philosophy? JohnChristopher Adorno Keller, University of Notre Dame -/- It All Depends On What ‘Is’ Is: A Brief History (And Theory) Of Being, Jaakko Hintikka, Boston University -/- PART TWO: HOW DOES LANGUAGE WORK IN THE WORLD? -/- The Ironic Stance and the Limitations of Philosophy, Jeffrey A. Golub, New School for Social Research -/- Nietzsche’s Scandalous Body and the Promise of Metaphor, Sarah Hansen, Vanderbilt University -/- The Limits of My Language, Geoffrey Bennington, Emory University -/- PART THREE: CAN WE SPEAK ABOUT EVERYTHING? -/- Gathering and Contestation: The Place of Silence in Heidegger and Foucault, Vernon Cisney, Purdue University -/- Religious Language in Jacques Derrida, Alina Beary, Criswell College -/- The Asymmetry Between Language and Being: The Case of Anselm, Eileen Sweeney, Boston College . (shrink)

William Ernest Johnson was a renowned British logician and economist, andalso a fellow of King's College, Cambridge. Originally published in 1924, this book forms the third of a three-volume series by Johnson relating to 'the whole field of logic as ordinarily understood'. The series is widely regarded as Johnson's greatest achievement, making a significant contribution to the tradition of philosophical logic. This book will be of value to anyone with an interest in Johnson's theories, philosophy and the historical (...) development of logic. (shrink)

William Ernest Johnson was a renowned British logician and economist, and also a fellow of King's College, Cambridge. Originally published in 1922, this book forms the second of a three-volume series by Johnson relating to 'the whole field of logic as ordinarily understood'. The series is widely regarded as Johnson's greatest achievement, making a significant contribution to the tradition of philosophical logic. This book will be of value to anyone with an interest in Johnson's theories, philosophy and the (...) historical development of logic. (shrink)

In this article I present a special contribution to universalism by the Cracow Circle (Bocheński, Drewnowski, Salamucha). Presented thinkers were scientists, philosophers and theologians, and tried to combine these disciplines in their works. They took standards of rationality from logic and other sciences, and applied them to Christian philosophy and theology. This kind of rationality can be considered universal and when we use this rationality in dialogue between religion and other worldviews, the dialogue has a chance to be really (...) universal. (shrink)

The prime purpose of this paper is, first, to restore to discourse-bound occasion sentences their rightful central place in semantics and secondly, taking these as the basic propositional elements in the logical analysis of language, to contribute to the development of an adequate logic of occasion sentences and a mathematical foundation for such a logic, thus preparing the ground for more adequate semantic, logical and mathematical foundations of the study of natural language. Some of the insights elaborated in (...) this paper have appeared in the literature over the past thirty years, and a number of new developments have resulted from them. The present paper aims atproviding an integrated conceptual basis for this new development in semantics. In Section 1 it is argued that the reduction by translation of occasion sentences to eternal sentences, as proposed by Russell and Quine, is semantically and thus logically inadequate. Natural language is a system of occasion sentences, eternal sentences being merely boundary cases. The logic hasfewer tasks than is standardly assumed, as it excludes semantic calculi, which depend crucially on information supplied by cognition and context and thus belong to cognitive psychology rather than to logic. For sentences to express a proposition and thus be interpretable and informative, they must first be properly anchored in context. A proposition has a truth value when it is, moreover, properly keyed in the world, i.e. is about a situation in the world. Section 2 deals with the logical properties of natural language. It argues that presuppositional phenomena require trivalence and presents the trivalent logic PPC3, with two kinds of falsity and two negations. It introduces the notion of -space for a sentence A as the basis of logical model theory, and the notion of P A /, functioning as a `private' subuniverse for A/A. The trivalent Kleene calculus is reinterpreted as a logical account of vagueness, rather than of presupposition. PPC3 and the Kleene calculus are refinements of standard bivalent logic and can be combined into one logical system. In Section 3 the adequacy of PPC3 as a truth-functional model of presupposition is considered more closely and given a Boolean foundation. In a noncompositional extended Boolean algebra, three operators are defined: 1a for the conjoined presuppositions of a, ã for the complement of a within 1a, and â for the complement of 1a within Boolean 1. The logical properties of this extended Boolean algebra are axiomatically defined and proved for all possible models. Proofs are provided of the consistency and the completeness of the system. Section 4 is a provisional exploration of the possibility of using the results obtained for a new discourse-dependent account of the logic of modalities in natural language. The overall result is a modified and refined logical and model-theoretic machinery, which takes into account both the discourse-dependency of natural language sentences and the necessity of selecting a key in the world before a truth value can be assigned. (shrink)

Within the program of finding axiomatizations for various parts of computability logic, it was proven earlier that the logic of interactive Turing reduction is exactly the implicative fragment of Heyting’s intuitionistic calculus. That sort of reduction permits unlimited reusage of the computational resource represented by the antecedent. An at least equally basic and natural sort of algorithmic reduction, however, is the one that does not allow such reusage. The present article shows that turning the logic of the first sort of (...) reduction into the logic of the second sort of reduction takes nothing more than just deleting the contraction rule from its Gentzen-style axiomatization. The first sort of interactive reduction is also shown to come in three natural versions. While those three versions are very different from each other, their logical behaviors turn out to be indistinguishable, with that common behavior being precisely captured by implicative intuitionistic logic. Among the other contributions of the present article is an informal introduction of a series of new — finite and bounded — versions of recurrence operations and the associated reduction operations. (shrink)

Context: Philosophy of science is the branch of philosophy that deals with methods, foundations, and implications of science. It is a theory of how to create scientific knowledge. Presently, there is widespread agreement on how to do science, namely conjectures, ideally in the form of a mathematical model, and refutations, testing the model using empirical evidence. Problem: Many social scientists are using a conception of science created for the physical sciences. Expanding philosophy of science so that it (...) more successfully encompasses social systems would create new avenues of inquiry. Two dimensions could be added to philosophy of science: the amount of attention paid to the observer and the amount of impact of a theory on the system described. Method: My approach is to illuminate underlying assumptions. I claim that there are at least three epistemologies and that they can be combined to form a more robust conception of knowledge and of how to do research. There are at least four models and four basic elements being used by scientists. Results: The article identifies the logical propositions underlying second-order science. It suggests strategies for developing second-order science. And it describes several methods that can be used to practice second-order science, including how past theories have not only described but also changed the phenomenon being studied. Implications: The task for members of the scientific community, particularly social scientists, is to practice second-order science and to develop further its theories and methods. A practical implication is to accept methods for acting as well as theories as a contribution to science, since methods explicitly define the role of an observer/ participant. Constructivist content: The paper is an extension of the work of Heinz von Foerster and other second-order cyberneticians. (shrink)

In ancient philosophy, there is no discipline called “logic” in the contemporary sense of “the study of formally valid arguments.” Rather, once a subfield of philosophy comes to be called “logic,” namely in Hellenistic philosophy, the field includes (among other things) epistemology, normative epistemology, philosophy of language, the theory of truth, and what we call logic today. This entry aims to examine ancient theorizing that makes contact with the contemporary conception. Thus, we will here emphasize the (...) theories of the “syllogism” in the Aristotelian and Stoic traditions. However, because the context in which these theories were developed and discussed were deeply epistemological in nature, we will also include references to the areas of epistemological theorizing that bear directly on theories of the syllogism, particularly concerning “demonstration.” Similarly, we will include literature that discusses the principles governing logic and the components that make up arguments, which are topics that might now fall under the headings of philosophy of logic or non-classical logic. This includes discussions of problems and paradoxes that connect to contemporary logic and which historically spurred developments of logical method. For example, there is great interest among ancient philosophers in the question of whether all statements have truth-values. Relevant themes here include future contingents, paradoxes of vagueness, and semantic paradoxes like the liar. We also include discussion of the paradoxes of the infinite for similar reasons, since solutions have introduced sophisticated tools of logical analysis and there are a range of related, modern philosophical concerns about the application of some logical principles in infinite domains. Our criterion excludes, however, many of the themes that Hellenistic philosophers consider part of logic, in particular, it excludes epistemology and metaphysical questions about truth. Ancient philosophers do not write treatises “On Logic,” where the topic would be what today counts as logic. Instead, arguments and theories that count as “logic” by our criterion are found in a wide range of texts. For the most part, our entry follows chronology, tracing ancient logic from its beginnings to Late Antiquity. However, some themes are discussed in several eras of ancient logic; ancient logicians engage closely with each other’s views. Accordingly, relevant publications address several authors and periods in conjunction. These contributions are listed in three thematic sections at the end of our entry. (shrink)

About the Series Contemporary philosophy of science combines a general study from a philosophical perspective of the methods of science, with an inquiry, again from the philosophical point of view, into foundational issues that arise in the various special sciences. Methodological philosophy of science has deep connections with issues at the center of pure philosophy. It makes use of important results, for example, in traditional epistemology, metaphysics and the philosophy of language. It also connects in various (...) ways with other disciplines such as the history and sociology of the sciences, with pure logic, and with such branches of mathematics as probability theory. These volumes are, for the most part, devoted to readings in the methodological aspects of the philosophy of science. One volume, however, takes up the philosophical issues in the foundations of a particularly important special science, that is the issues in the foundations of theories of contemporary physics. The methodological volumes cover a number of crucial general problem areas. The first volume takes up issues in the nature of scientific explanation, and the related issues of the nature of scientific law and of the casual relation among events. The second volume explores issues in the nature and structure of scientific theories. The third volume collects inquiries into the nature of scientific change, as one theory is replaced by another. Volume four is devoted to readings concerning the nature of probability and the nature and justification of inductive reasoning in science. The following volume continues the exploration of the issue of confirming and rejecting theories with a series of readings devoted to Bayesian methodologies in science and to the exploration of non-inductive strategies for rationalizing belief. Finally, volume six explores three major problem areas in the foundation of physics: the nature and rationale for physical theories of space and time; the interpretive problems arising out of the quantum theory; and some puzzles arising out of statistical mechanical theories of physics. The readings are selected and arranged to provide the user with systematic access to the most important contemporary themes in methodological philosophy of science and in philosophy of physics. The selections include many recent contributions to the field, as well as papers and extracts from books and journals otherwise not easily available. (shrink)

The article mainly tries to discuss the dialogue between China and Western countries from the aspect of logic. There were three sources of logic, including formal logic in ancient Greek, logic in Early Qin of China as well as logic in ancient India. While, among all the schools in ancient China, Mohist and Virtuoso valued logic most. But as the rulers of Han Dynasty only paid their homage to Confucianism, the two schools gradually sank, logic in Early Qin of (...) China discontinued, without entering the main headstream of logic development worldwide. Later, logic in China had little influence on Chinese society although Indian logic was introduced in Tang Dynasty, a scholar-bureaucrat named Zhizao Li in Ming Dynasty, translated logic textbook Discussion of Name and Science, and German philosopher G.W. Leibniz explained Chinese changing theory with binary system. In the early 1900s, during the process of introducing western science, logic, regarded as the basis of science and a tool of scientific research, was highly valued by Chinese scholars, in fact, western logic entered China through two channels. After Chinese scholars learnt from western logic, they made their contribution to the development of logic. (shrink)

This two-part paper reconstructs the analytic turn in American philosophy through a comparative longitudinal study of three major philosophy departments: Princeton, Yale, and Columbia. I trace their hiring policies, tenure decisions, curriculum designs, and the external pressures that forced them to continuously adapt their strategies; and I use those analyses to distill some of the factors that contributed to the rapid growth of analytic philosophy between 1940 and 1970. In this first part, I show that philosophers (...) at Princeton, Yale, and Columbia actively tried to promote a ‘humanistic’ conception of philosophy until the early 1950s. I argue that logical positivism and related ‘scientific’ approaches were seen as a fundamental threat to the discipline and that this opposition influenced decision making at all three institutions. While many students and recent graduates saw philosophy as a scientific discipline, senior members of the community deplored the decline of the humanities and appointed mostly humanistic philosophers. I show that this generational conflict was reinforced by demographic, political, and economic developments and argue that these discriminatory practices helped forge a coalition between logical empiricists, scientific pragmatists, and ordinary language philosophers, who all began to identify as ‘analytic’ philosophers after the war. (shrink)

Since the first decade of the 14th Century, Thomas Aquinas’s disciples have struggled to explain and defend his doctrine of analogy. Analogy after Aquinas: Logical Problems, Thomistic Answers relates a history of prominent Medieval and Renaissance Thomists’ efforts to solve three distinct but interrelated problems arising from their reading both of Aquinas’s own texts on analogy, and from John Duns Scotus’s arguments against analogy and in favor of univocity in Metaphysics and Natural Theology. The first of these (...) class='Hi'>three problems concerns Aquinas’s at least apparently disparate statements on whether a name is said by analogy through a single concept or through diverse concepts. The second problem concerns the model of analogy suited for predicating names analogously across the categories of being or about God and creatures. Is “being” said analogously about God and creatures, or substance and accidents, on the model of how “healthy” is said of medicine and an animal, or on the model of how “principle” is said of a point and a line? The third problem comes from outside challenges to Aquinas’s thought, in particular Scotus’ claims that univocal names alone can mediate valid demonstrations, and any demonstration that failed to use its mediating terms univocally would fail by the fallacy of equivocation. Analogy after Aquinas makes a unique contribution to the study of philosophical theology in the tradition of Thomas Aquinas by showing the historical and philosophical connection between these three problems, as well as the variety of solutions proposed by leading representatives of this tradition. Thomists considered in the book include: Hervaeus Natalis (1250-1323), Thomas Sutton (1250-1315), John Capreolus (1380-1444), Dominic of Flanders (1425-1479), Paul Soncinas (d. 1494), Thomas dio vio Cajetan (1469-1534), Francis Silvestri of Ferrara (1474-1528), and Chrysostom Javelli (1470-1538). (shrink)

When the original Dutch version of this book was presented in 1971 to the University of Leiden as a thesis for the Doctorate in philosophy, I was prevented by the academic mores of that university from expressing my sincere thanks to three members of the Philosophical Faculty for their support of and interest in my pursuits. I take the liberty of doing so now, two and a half years later. First and foremost I want to thank Professor G. (...) Nuchelmans warmly for his expert guidance of my research. A number of my most im portant sources were brought to my attention by him. During the whole process of composing this book his criticism and encouragement were carried out in a truly academic spirit. He thereby provided working conditions that are a sine qua non for every author who is attempting to approach controversial matters in a scientific manner, conditions which, however, were not easily available at that time. In a later phase I also came into contact with Professors L. M. de Rijk and J. B. Ubbink, with both of whom I had highly stimulating discussions and exchanges of ideas. The present edition contains some entirely new sections, viz. 1-9, IV-29, V-9, V-20, VII-14 (iii), (iv), VII-17 (i), VIII-22, IX-17, IX-19, X-9 and XI-8. Section X-9 was inspired by a remark made by Professor A. (shrink)

This edited volume is a comprehensive presentation of views on the relations between metaphysics and logic from Aristotle through twentieth century philosophers who contributed to the return of metaphysics in the analytic tradition. The collection combines interest in logic and its history with interest in analytical metaphysics and the history of metaphysical thought. By so doing, it adds both to the historical understanding of metaphysical problems and to contemporary research in the field. Throughout the volume, essays focus on metaphysica generalis, (...) or the systematic study of the most general categories of being. Beginning with Aristotle and his Categories , the volume goes on to trace metaphyscis and logic through the late ancient and Arabic traditions, examining the views of Thomas Aquinas, Duns Scotus, and William Ockham. Moving into the early modern period, contributors engage with Leibniz's metaphysics, Kant's critique of metaphysics, the relation between logic and ontology in Hegel, and Bolzano's views. Subsequent chapters address: Charles S. Peirce's logic and metaphysics; the relevance of set-theory to metaphysics; Meinong's theory of objects; Husserl's formal ontology; early analytic philosophy; C.I. Lewis and his relation to Russell; and the relations between Frege, Carnap, and Heidegger. Surveying metaphysics through to the contemporary age, essays explore W.V. Quine's attitude towards metaphysics; Wilfrid Sellars's relation to antidescriptivism as it connects to Kripke's; the views of Putnam and Kaplan; Peter F. Strawson's and David M. Armstrong's metaphysics; Trope theory; and its relation to Popper's conception of three worlds. The volume ends with a chapter on transcendental philosophy as ontology. In each chapter, contributors approach their topics not merely in an historical and exegetical fashion, but also engage critically with the thought of the philosophers whose work they discuss, offering synthesis and original philosophical thought in the volume, in addition to very extensive and well-informed analysis and interpretation of important philosophical texts. The volume will serve as an essential reference for scholars of metaphysics and logic. (shrink)

The author’s aim in this quirky monograph is not to reconstruct all that can be surmised about Stoic logic in the first two centuries A.D. of the Roman empire, but rather to concentrate on the three Stoic authors whose extant texts contain remarks on logic. These imperial Stoics, Seneca, Epictetus, and Marcus Aurelius, are known for their emphasis on ethics and not for their contributions in either logic or physics. So it comes as some surprise that Barnes can (...) find much to say about what these philosophers thought about logic. As Barnes presents it (defying chronology), “Marcus introduces the comedy; Seneca features in the second act; and Epictetus is the hero” (ix). (shrink)

ABSTRACT Analytic philosophy in the mid-twentieth century underwent a major change of direction when a prior consensus in favour of extensionalism and descriptivism made way for approaches using direct reference, the necessity of identity, and modal logic. All three were first defended, in the analytic tradition, by one woman, Ruth Barcan Marcus. But analytic philosophers now tend to credit them to Kripke, or Kripke and Carnap. I argue that seeing Barcan Marcus in her historical context – one dominated (...) by extensionalism and descriptivism – allows us to see how revolutionary she was, in her work and influence on others. I focus on her debate with Quine, who found himself retreating to softened, and more viable, versions of his anti-modal arguments as a result. I make the case that Barcan's formal logic was philosophically well-motivated, connected to her views on reference, and well-matched to her overall views on ontology. Her nominalism led her to reject posits which could not be directly observed and named, such as possibilia. She conceived of modal calculi as facilitating counterfactual discourse about actual existents. I conclude that her contributions ought to be recognized as the first of their kind. Barcan Marcus must be awarded a central place in the canon of analytic philosophy. (shrink)

Both books form part of the proceedings of a 2001 Vienna conference held to mark the tenth anniversary of the Vienna Circle Institute (VCI). Founded independently of the University of Vienna (and funded even more precariously) and led since its inception by Friedrich Stadler, the VCI has managed to organize and cosponsor a remarkable number of conferences, most of them documented by volumes in three ongoing series of monographs that have become important repositories of current work on the legacy (...) of logical empiricism: Veröffentlichungen des Instituts Wiener Kreis, Yearbook of the Vienna Circle Institute, and Vienna Circle Institute Library. While some of these previous conferences and volumes also addressed entirely contemporary themes (game theory, quantum physics), the titles of the present volumes indicate that they are anchored historically, with some contributions moved mainly by current concerns. The Stadler volume surveys the conference as whole except for the (further elaborated) contributions on Carnap, which are collected in the Bonk volume. It provides an excellent service in showcasing the very varied and wide-ranging work that is currently being done on the Vienna Circle and what Stadler, somewhat expansively, calls its ‘periphery’. Here I can only indicate the breadth of topics treated of in his volume and make some highly selective remarks on some of the Carnap papers in Thomas Bonk's volume. (shrink)

Avicenna's logic has gathered much interest in recent decades. However, one significant point that has hitherto been frequently neglected is what logic means to Avicenna in the first place. Considering this issue, the main aim of this paper is to investigate Avicenna's account of logic. This is done by focusing on the logical sections of five of his comprehensive works, namely, the Kitāb al-Madkhal (of the Kitāb al-Shifāʾ, the Cure), al-Najāt (the Salvation), Dānishnāmi-yi ʿAlāʾ ī (Philosophy for ʿAlāʾ-ad-Dawla), (...) al-Mashriqiyyūn (the Easterners) and al-Ishārāt wa-t-tanbīhāt (the Pointers and Reminders). The reason for choosing these five works is fourfold, namely, logico-philosophical, linguistic, chronological and diversity of intended audience. Each work is analyzed based on the three fundamental elements which Avicenna links to the notion of logic, i.e. its definition, its status and its goal. The results of this analysis are then compared. Overall, Avicenna seems to have held a very stable account of logic across these works. (shrink)