Logic in Buddhist Philosophy concerns the systematic study of anumāna (often translated as inference) as developed by Dignāga (480-540 c.e.) and Dharmakīti (600-660 c.e.). Buddhist logicians think of inference as an instrument of knowledge (pramāṇa) and, thus, logic is considered to constitute part of epistemology in the Buddhist tradition. According to the prevalent 20th and early 21st century ‘Western’ conception of logic, however, logical study is the formal study of arguments. If we understand the nature of (...) logic to be formal, it is difficult to see what bearing logic has on knowledge. In this paper, by weaving together the main threads of thought that are salient in Dignāga’s and Dharmakīti’s texts, I shall re-conceive the nature of logic in the context of epistemology and demarcate the logical part of epistemology which can be recognised as logic. I shall demonstrate that we can recognise the logical significance of inference as understood by Buddhist logicians despite the fact that its logical significance lies within the context of knowledge. (shrink)

This article discusses the relation between the early Wittgenstein’s and Carnap’s philosophies of logic, arguing that Carnap’s position in The Logical Syntax of Language is in certain respects much closer to the Tractatus than has been recognized. In Carnapian terms, the Tractatus’ goal is to introduce, by means of quasi-syntactical sentences, syntactical principles and concepts to be used in philosophical clarification in the formal mode. A distinction between the material and formal mode is therefore already part of the Tractatus’ (...) view, and its method for introducing syntactical concepts and principles should be entirely acceptable for Carnap by his own criteria. Moreover, despite the Tractatus’ rejection of syntactical statements, there is an important correspondence between Wittgenstein’s saying-showing distinction and Carnap’s object-language-syntax-language distinction: both constitute a distinction between logico-syntactical determinations concerning language and language as determined or described by those determinations. Wittgenstein’s distinction therefore constitutes a precursor of the object-language syntax-language distinction which the latter in a certain sense affirms, rather than simply contradicting it. The saying-showing distinction agrees with Carnap’s position also in marking logic as something that isn’t true/false about either language or reality, which is a conception that underlies Carnap’s principle of tolerance. (shrink)

This chapter focuses on alternative logics. It discusses a hierarchy of logical reform. It presents case studies that illustrate particular aspects of the logical revisionism discussed in the chapter. The first case study is of intuitionistic logic. The second case study turns to quantum logic, a system proposed on empirical grounds as a resolution of the antinomies of quantum mechanics. The third case study is concerned with systems of relevance logic, which have been the subject of an (...) especially detailed reform program. Finally, the fourth case study is paraconsistent logic, perhaps the most controversial of serious proposals. (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)

It is often said that ‘every logical truth is obvious’ (Quine 1970: 82), that the ‘axioms and rules of logic are true in an obvious way’ (Murawski 2014: 87), or that ‘logic is a theory of the obvious’ (Sher 1999: 207). In this chapter, I set out to test empirically how the idea that logic is obvious is reflected in the scholarly work of logicians and philosophers of logic. My approach is data-driven. That is to say, (...) I propose that systematically searching for patterns of usage in databases of scholarly works, such as JSTOR, can provide new insights into the ways in which the idea that logic is obvious is reflected in logical and philosophical practice, i.e., in the arguments that logicians and philosophers of logic actually make in their published work. (shrink)

Because formal systems of symbolic logic inherently express and represent the deductive inference model formal proofs to theorem consequences can be understood to represent sound deductive inference to true conclusions without any need for other representations such as model theory.

Tarski "proved" that there cannot possibly be any correct formalization of the notion of truth entirely on the basis of an insufficiently expressive formal system that was incapable of recognizing and rejecting semantically incorrect expressions of language. -/- The only thing required to eliminate incompleteness, undecidability and inconsistency from formal systems is transforming the formal proofs of symbolic logic to use the sound deductive inference model.

The Berlin Group for scientific philosophy was active between 1928 and 1933 and was closely related to the Vienna Circle. In 1930, the leaders of the two Groups, Hans Reichenbach and Rudolf Carnap, launched the journal Erkenntnis. However, between the Berlin Group and the Vienna Circle, there was not only close relatedness but also significant difference. Above all, while the Berlin Group explored philosophical problems of the actual practice of science, the Vienna Circle, closely following Wittgenstein, was more interested (...) in problems of the language of science. The book includes first discussion ever (in three chapters) on Walter Dubislav’s logic and philosophy. Two chapters are devoted to another author scarcely explored in English, Kurt Grelling, and another one to Paul Oppenheim who became an important figure in the philosophy of science in the USA in the 1940s–1960s. Finally, the book discusses the precursor of the Nord-German tradition of scientific philosophy, Jacob Friedrich Fries. Mehr anzeigen Weniger anzeigen . (shrink)

Philosophy of biology is often said to have emerged in the last third of the twentieth century. Prior to this time, it has been alleged that the only authors who engaged philosophically with the life sciences were either logical empiricists who sought to impose the explanatory ideals of the physical sciences onto biology, or vitalists who invoked mystical agencies in an attempt to ward off the threat of physicochemical reduction. These schools paid little attention to actual biological science, and (...) as a result philosophy of biology languished in a state of futility for much of the twentieth century. The situation, we are told, only began to change in the late 1960s and early 1970s, when a new generation of researchers began to focus on problems internal to biology, leading to the consolidation of the discipline. In this paper we challenge this widely accepted narrative of the history of philosophy of biology. We do so by arguing that the most important tradition within early twentieth-century philosophy of biology was neither logical empiricism nor vitalism, but the organicist movement that flourished between the First and Second World Wars. We show that the organicist corpus is thematically and methodologically continuous with the contemporary literature in order to discredit the view that early work in the philosophy of biology was unproductive, and we emphasize the desirability of integrating the historical and contemporary conversations into a single, unified discourse. (shrink)

In his book The Boundary Stones of Thought, Ian Rumfitt considers five arguments in favour of intuitionistic logic over classical logic. Two of these arguments are based on reflections concerning the meaning of statements in general, due to Michael Dummett and John McDowell. The remaining three are more specific, concerning statements about the infinite and the infinitesimal, statements involving vague terms, and statements about sets.Rumfitt is sympathetic to the premisses of many of these arguments, and takes some of (...) them to be effective challenges to Bivalence, the following principle: Each statement is either true or false.However, he argues that counterexamples to Bivalence do not immediately lead to counterexamples to Excluded Middle, and so do not immediately refute classical logic; here, Excluded Middle is taken to be the following principle: For each statement A, is true.Much... (shrink)

Gila Sher interviewed by Chen Bo: -/- I. Academic Background and Earlier Research: 1. Sher’s early years. 2. Intellectual influence: Kant, Quine, and Tarski. 3. Origin and main Ideas of The Bounds of Logic. 4. Branching quantifiers and IF logic. 5. Preparation for the next step. -/- II. Foundational Holism and a Post-Quinean Model of Knowledge: 1. General characterization of foundational holism. 2. Circularity, infinite regress, and philosophical arguments. 3. Comparing foundational holism and foundherentism. 4. A post-Quinean model (...) of knowledge. 5. Intellect and figuring out. 6. Comparing foundational holism with Quine’s holism. 7. Evaluation of Quine’s Philosophy -/- III. Substantive Theory of Truth and Relevant Issues: 1. Outline of Sher’s substantive theory of truth. 2. Criticism of deflationism and treatment of the Liar. 3. Comparing Sher’s substantive theory of truth with Tarski’s theory of truth. -/- IV. A New Philosophy of Logic and Comparison with Other Theories: 1. Foundational account of logic. 2. Standard of logicality, set theory and logic. 3. Psychologism, Hanna’s and Maddy’s conceptions of logic. 4. Quine’s theses about the revisability of logic. -/- V. Epilogue. (shrink)

Review of Russell’s Philosophy of Logical Atomism 1897–1905, by Jolen Galaugher (Palgrave Macmillan 2013).

This book is best regarded as a concise essay developing the personal views of a major philosopher of logic and as such it is to be welcomed by scholars in the field. It is not (and does not purport to be) a treatment of a significant portion of those philosophical problems generally thought to be germane to logic. It would be easy to list many popular topics in philosophy of logic which it does not mention. Even (...) its "definition" of logic-"the systematic study of logical truth"-is peculiar to the author and would be regarded as inappropriately restrictive by many logicians There are several standard ways of defining truth using sequences. Quine’s discussions in the 1970 first printing of Philosophy of logic and in previous lectures were vitiated by mixing two. Quine’s logical Two-Method Error, which eluded Quine’s colleagues, was corrected in the 1978 sixth printing. But Quine never explicitly acknowledged, described, or even mentioned the error in print although in correspondence he did thank Corcoran for bringing it to his attention. In regard to style one may note that the book is rich in metaphorical and sometimes even cryptic passages one of the more remarkable of which occurs in the Preface and seems to imply that deductive logic does not warrant distinctive philosophical treatment. Moreover, the author's sesquipedalian performances sometimes subvert perspicuity. (shrink)

The received view in the history of the philosophy of psychology is that the logical positivists—Carnap and Hempel in particular—endorsed the position commonly known as “logical” or “analytical” behaviourism, according to which the relations between psychological statements and the physical-behavioural statements intended to give their meaning are analytic and knowable a priori. This chapter argues that this is sheer legend: most, if not all, such relations were viewed by the logical positivists as synthetic and knowable only a posteriori. It (...) then traces the origins of the legend to the logical positivists’ idiosyncratic extensional or at best weakly intensional use of what are now considered crucially strongly intensional semantic notions, such as “translation,” “meaning” and their cognates, focussing on a particular instance of this latter phenomenon, arguing that a conflation of explicit definition and analyticity may be the chief source of the legend. (shrink)

I address a type of circularity threat that arises for the view that we employ general basic logical principles in deductive reasoning. This type of threat has been used to argue that whatever knowing such principles is, it cannot be a fully cognitive or propositional state, otherwise deductive reasoning would not be possible. I look at two versions of the circularity threat and answer them in a way that both challenges the view that we need to apply general logical principles (...) in deductive reasoning and defuses the threat to a cognitivist account of knowing basic logical principles. (shrink)

Since the time of Aristotle's students, interpreters have considered Prior Analytics to be a treatise about deductive reasoning, more generally, about methods of determining the validity and invalidity of premise-conclusion arguments. People studied Prior Analytics in order to learn more about deductive reasoning and to improve their own reasoning skills. These interpreters understood Aristotle to be focusing on two epistemic processes: first, the process of establishing knowledge that a conclusion follows necessarily from a set of premises (that is, on the (...) epistemic process of extracting information implicit in explicitly given information) and, second, the process of establishing knowledge that a conclusion does not follow. Despite the overwhelming tendency to interpret the syllogistic as formal epistemology, it was not until the early 1970s that it occurred to anyone to think that Aristotle may have developed a theory of deductive reasoning with a well worked-out system of deductions comparable in rigor and precision with systems such as propositional logic or equational logic familiar from mathematical logic. When modern logicians in the 1920s and 1930s first turned their attention to the problem of understanding Aristotle's contribution to logic in modern terms, they were guided both by the Frege-Russell conception of logic as formal ontology and at the same time by a desire to protect Aristotle from possible charges of psychologism. They thought they saw Aristotle applying the informal axiomatic method to formal ontology, not as making the first steps into formal epistemology. They did not notice Aristotle's description of deductive reasoning. Ironically, the formal axiomatic method (in which one explicitly presents not merely the substantive axioms but also the deductive processes used to derive theorems from the axioms) is incipient in Aristotle's presentation. Partly in opposition to the axiomatic, ontically-oriented approach to Aristotle's logic and partly as a result of attempting to increase the degree of fit between interpretation and text, logicians in the 1970s working independently came to remarkably similar conclusions to the effect that Aristotle indeed had produced the first system of formal deductions. They concluded that Aristotle had analyzed the process of deduction and that his achievement included a semantically complete system of natural deductions including both direct and indirect deductions. Where the interpretations of the 1920s and 1930s attribute to Aristotle a system of propositions organized deductively, the interpretations of the 1970s attribute to Aristotle a system of deductions, or extended deductive discourses, organized epistemically. The logicians of the 1920s and 1930s take Aristotle to be deducing laws of logic from axiomatic origins; the logicians of the 1970s take Aristotle to be describing the process of deduction and in particular to be describing deductions themselves, both those deductions that are proofs based on axiomatic premises and those deductions that, though deductively cogent, do not establish the truth of the conclusion but only that the conclusion is implied by the premise-set. Thus, two very different and opposed interpretations had emerged, interestingly both products of modern logicians equipped with the theoretical apparatus of mathematical logic. The issue at stake between these two interpretations is the historical question of Aristotle's place in the history of logic and of his orientation in philosophy of logic. This paper affirms Aristotle's place as the founder of logic taken as formal epistemology, including the study of deductive reasoning. A by-product of this study of Aristotle's accomplishments in logic is a clarification of a distinction implicit in discourses among logicians--that between logic as formal ontology and logic as formal epistemology. (shrink)

C. I. Lewis (I883-I964) was the first major figure in history and philosophy of logic—-a field that has come to be recognized as a separate specialty after years of work by Ivor Grattan-Guinness and others (Dawson 2003, 257).Lewis was among the earliest to accept the challenges offered by this field; he was the first who had the philosophical and mathematical talent, the philosophical, logical, and historical background, and the patience and dedication to objectivity needed to excel. He was (...) blessed with many fortunate circumstances, not least of which was entering the field when mathematical logic, after only six decades of toil, had just reaped one of its most important harvests with publication of the monumental Principia Mathematica. It was a time of joyful optimism which demanded an historical account and a sober philosophical critique. Lewis was one of the first to apply to mathematical logic the Aristotelian dictum that we do not understand a living institution until we see it growing from its birth. (shrink)

This paper introduces the special issue on Logic and Philosophy of Religion of the journal Sophia: International Journal of Philosophy and Traditions (Springer). The issue contains the following articles: Logic and Philosophy of Religion, by Ricardo Sousa Silvestre and Jean-Yvez Béziau; The End of Eternity, by Jamie Carlin Watson; The Vagueness of the Muse—The Logic of Peirce’s Humble Argument for the Reality of God, by Cassiano Terra Rodrigues; Misunderstanding the Talk(s) of the Divine: Theodicy (...) in the Wittgensteinian Tradition, by Ondřej Beran; On the Concept of Theodicy, by Ricardo Sousa Silvestre; The Logical Problem of the Trinity and the Strong Theory of Relative Identity, by Daniel Molto; Thomas Aquinas on Logic, Being, and Power, and Contemporary Problems for Divine Omnipotence, by Errin D. Clark. -/- . (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)

This paper demonstrates that Edmund Husserl’s frequently overlooked 1890 manuscript, “On the Logic of Signs,” when closely investigated, reveals itself to be the hermeneutical touchstone for his seminal 1891 Philosophy of Arithmetic. As the former comprises Husserl’s earliest attempt to account for all of the different kinds of signitive experience, his conclusions there can be directly applied to the latter, which is focused on one particular type of sign; namely, number signs. Husserl’s 1890 descriptions of motivating and replacing (...) signs will be respectively employed to clarify his 1891 understanding of the authentic and inauthentic presentations of numbers via number signs. Moreover, his schematic classification of replacement-signs in Semiotic will illuminate the reasons why he believed the number system to be necessary for the operation of replacing number signs. (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)

A consensus exists among contemporary philosophers of biology about the history of their field. According to the received view, mainstream philosophy of science in the 1930s, 40s, and 50s focused on physics and general epistemology, neglecting analyses of the 'special sciences', including biology. The subdiscipline of philosophy of biology emerged (and could only have emerged) after the decline of logical positivism in the 1960s and 70s. In this article, I present bibliometric data from four major philosophy of (...) science journals (Erkenntnis, Philosophy of Science, Synthese, and the British Journal for the Philosophy of Science), covering 1930-59, which challenge this view. (shrink)

The title of the present paper might arouse some curiosity among the minds of the readers. The very first question that arises in this respect is whether India produced any logic in the real sense of the term as has been used in the West. This paper is centered only on the three systems of Indian philosophy namely Nyāya, Buddhism and Jainism. We have been talking of Indian philosophy, Indian religion, Indian culture and Indian spirituality, but not (...) that which are of more fundamental concepts for any branch of knowledge whether it is social sciences or humanities. No aspect of human life and the universe has been left unexamined by Indian philosophers, and this leads to a totality of vision in both philosophical and psychological fields. In this paper we will discuss the main thinkers, sources and main concepts related to Indian Logic. (shrink)

In this inaugural lecture I offer, against the background of a discussion of knowledge representation and its tools, an overview of my research in the philosophy of science. I defend a relational model-theoretic realism as being the appropriate meta-stance most congruent with the model-theoretic view of science as a form of human engagement with the world. Making use of logics with preferential semantics within a model-theoretic paradigm, I give an account of science as process and product. I demonstrate the (...) power of the full-blown employment of this paradigm in the philosophy of science by discussing the main applications of model-theoretic realism to traditional problems in the philosophy of science. I discuss my views of the nature of logic and of its role in the philosophy of science today. I also specifically offer a brief discussion on the future of cognitive philosophy in South Africa. My conclusion is a general look at the nature of philosophical inquiry and its significance for philosophers today. South African Journal of Philosophy Vol. 25 (4) 2006: pp. 275-289. (shrink)

This paper claims that there is no such thing as the correct answer to the question of what is logical form: two significantly different notions of logical form are needed to fulfil two major theoretical roles that pertain respectively to logic and semantics. The first part of the paper outlines the thesis that a unique notion of logical form fulfils both roles, and argues that the alleged best candidate for making it true is unsuited for one of the two (...) roles. The second part spells out a considerably different notion which is free from that problem, although it does not fit the other role. As it will be suggested, each of the two notions suits at most one role, so the uniqueness thesis is ungrounded. (shrink)

This paper accomplishes two goals. First, the essay elucidates Husserl’s descriptions of meaning consciousness from the 1901 Logical Investigations. I examine Husserl’s observations about the three ways we can experience meaning and I discuss his conclusions about the structure of meaning intentions. Second, the paper explores how Husserl reworked that 1901 theory in his 1913/14 Revisions to the Sixth Investigation. I explore how Husserl transformed his descriptions of the three intentions involved in meaningful experience. By doing so, Husserl not only (...) recognized intersubjective communication as the condition of possibility of linguistic meaning acts, but also transformed his account of the structure of both signitive and intuitive acts. In the conclusion, I cash out this analysis, by showing how, on the basis of these new insights, Husserl reconstructs his theory of fulfillment. (shrink)

The identity theory’s rise to prominence in analytic philosophy of mind during the late 1950s and early 1960s is widely seen as a watershed in the development of physicalism, in the sense that whereas logical behaviourism proposed analytic and a priori ascertainable identities between the meanings of mental and physical-behavioural concepts, the identity theory proposed synthetic and a posteriori knowable identities between mental and physical properties. While this watershed does exist, the standard account of it is misleading, as it (...) is founded in erroneous intensional misreadings of the logical positivists’—especially Carnap’s—extensional notions of translation and meaning, as well as misinterpretations of the positivists’ shift from the strong thesis of translation-physicalism to the weaker and more liberal notion of reduction-physicalism that occurred in the Unity of Science programme. After setting the historical record straight, the essay traces the first truly modern identity theory to Schlick’s pre-positivist views circa 1920 and goes on to explore its further development in Feigl, arguing that the fundamental difference between the Schlick-Feigl identity theory and the more familiar and influential Place-Smart-Armstrong identity theory has resurfaced in the deep and seemingly unbridgeable gulf in contemporary philosophy of consciousness between inflationary mentalism and deflationary physicalism. (shrink)

The article is centered on the question of how best to understand the logical pluralism/logical monism debate. A number of suggestions are brought up and rejected on the ground that they re...

هذا الكتاب هو الجانب الأكبر من أطروحتي للدكتوراه من جامعة القاهرة "فلسفة اللغة والمنطق عند كواين" وهو أول دراسة عربية عن هذا المنطقي الفيلسوف. تنقسم الدراسة إلى خمسة فصول يسبقها مدخل ويلحقها خاتمة. يحدد المدخل المراد بفلسفة اللغة وفلسفة المنطق، وتيارات فلسفة اللغة المعاصرة وموقع كواين منها. ويناقش الفصل الأول مشكلة التحليلية. ويشرح الثاني نظرية كواين التجريبية السلوكية في دراسة اللغة والإشارة. ويعالج الفصل الثالث مشكلة المعنى. ويحلل الرابع دعوى اللاتحديد في الترجمة. ويبحث الخامس آراء كواين في فلسفة المنطق. وفي (...) الخاتمة تأصيل لفلسفة كواين التي تسمى التجريبية الطبيعية أحيانا أو التجريبية البراجماتية أحيانا أخرى. ويقع الكتاب في 356 صفحة . (shrink)

My analysis here is an attempt to bring out the main through-line in the development of Bulgarian philosophy of law today. A proper account of Bulgarian philosophy of law in the 20th century requires an attempt to find, on the one hand, a solution to epistemological and methodological problems in law and, on the other, a clear-cut influence of the Kantian critical tradition. Bulgarian philosophy of law follows a complicated path, ranging from acceptance and revision of Kantian (...) philosophy to the development of interesting theories on the logic of legal reasoning. (shrink)

Work on the nature and scope of formal logic has focused unduly on the distinction between logical and extra-logical vocabulary; which argument forms a logical theory countenances depends not only on its stock of logical terms, but also on its range of grammatical categories and modes of composition. Furthermore, there is a sense in which logical terms are unnecessary. Alexandra Zinke has recently pointed out that propositional logic can be done without logical terms. By defining a logical-term-free language (...) with the full expressive power of first-order logic with identity, I show that this is true of logic more generally. Furthermore, having, in a logical theory, non-trivial valid forms that do not involve logical terms is not merely a technical possibility. As the case of adverbs shows, issues about the range of argument forms logic should countenance can quite naturally arise in such a way that they do not turn on whether we countenance certain terms as logical. (shrink)

Abu Nasr Muhammad Al-Farabi (870–950 AD), the second outstanding representative of the Muslim peripatetic after al Kindi (801–873 AD), was born in Turkestan about 870 AD. Al-Farabi’s studies commenced in Farab, then he travelled to Baghdad, where he studied logic with a Christian scholar named Yuhanna b. Hailan. Al-Farabi wrote numerous works dealing with almost every branch of science in the medieval world. In addition to a large number of books on logic and other sciences, he came to (...) be known as the “Second Teacher” (al-Mou’allim al-Thani), Aristotle being the first. One of Al-Farabi’s most important contributions was clarifying the func- tions of logic as follows: 1. He defined logic and compared it with grammar, and discussed the clas- sification and fundamental principles of science in a unique and useful manner. 2. He made the study of logic easier by dividing it into two categories: Takhayyul (idea) and Thubut (proof). 3. He believed that the objective of logic is to correct faults we may find in ourselves and in others, and faults that others find in us. 4. He said that if we do not comprehend logic, we must either have faith in all people, or mistrust all people, or differentiate between them. Such actions would be undertaken without a basis of evidence or experimen- tation. In this paper, I will analyse the functions of logic in Al-Farabi’s works, Enumeration of the Sciences, Book on the Syllogism, Book on Dialectic, Book on Demonstration and Ring Stones of Wisdom, in order to present his contributions in the field of logic. (shrink)

This paper reconstructs the American reception of logical positivism in the early 1930s. I argue that Moritz Schlick (who had visiting positions at Stanford and Berkeley between 1929 and 1932) and Herbert Feigl (who visited Harvard in the 1930-31 academic year) played a crucial role in promoting the *Wissenschaftliche Weltauffassung*, years before members of the Vienna Circle, the Berlin Group, and the Lvov-Warsaw school would seek refuge in the United States. Building on archive material from the Wiener Kreis Archiv, the (...) Harvard University Archives, and the Herbert Feigl Papers, as well as a large number of publications in American philosophy journals from the early 1930s, I reconstruct the subtle transformation of the American philosophical landscape in the years immediately preceding the European exodus. I argue that (1) American philosophical discussions about meaning and significance and (2) internal dynamics in the Vienna Circle between 1929 and 1931 significantly impacted the way in which US philosophers came to perceive logical positivism. (shrink)

This paper contributes to explaining the rise of logical empiricism in mid-twentieth century (North) America and to a better understanding of American philosophy of science before the dominance of logical empiricism. We show that, contrary to a number of existing histories, philosophy of science was already a distinct subfield of philosophy, one with its own approaches and issues, even before logical empiricists arrived in America. It was a form of speculative philosophy with a concern for speculative (...) metaphysics, normative issues relating to science and society and issues which later were associated with logical empiricist philosophy of science, issues such as confirmation, scientific explanation, reductionism and laws of nature. Further, philosophy of science was not primarily pragmatist in orientation. We also show, with the help of our historical characterization, that a recent account of the emergence of analytic philosophy applies to the rise of logical empiricism. It has been argued that the emergence of American analytic philosophy is partly explained by analytic philosophers’ use of key institutions, including of journals, to marginalize speculative philosophy and promote analytic philosophy. We argue that this use of institutions included the marginalization of speculative and value-laden philosophy of science and the promotion of logical empiricism. (shrink)

Logical pluralism is the view that there is more than one correct logic. This very general characterization gives rise to a whole family of positions. I argue that not all of them are stable. The main argument in the paper is inspired by considerations known as the “collapse problem”, and it aims at the most popular form of logical pluralism advocated by JC Beall and Greg Restall. I argue that there is a more general argument available that challenges all (...) variants of logical pluralism that meet the following three conditions: that there are at least two correct logical systems characterized in terms of different consequence relations, that there is some sort of rivalry among the correct logics, and that logical consequence is normative. The hypothesis I argue for amounts to conditional claim: If a position satisfies all these conditions, then that position is unstable in the sense that it collapses into competing positions. (shrink)

Frege claims that the laws of logic are characterized by their “generality,” but it is hard to see how this could identify a special feature of those laws. I argue that we must understand this talk of generality in normative terms, but that what Frege says provides a normative demarcation of the logical laws only once we connect it with his thinking about truth and science. He means to be identifying the laws of logic as those that appear (...) in every one of the scientific systems whose construction is the ultimate aim of science, and in which all truths have a place. Though an account of logic in terms of scientific systems might seem hopelessly antiquated, I argue that it is not: a basically Fregean account of the nature of logic still looks quite promising. (shrink)

ABSTRACT Theories of sets such as Zermelo Fraenkel set theory are usually presented as the combination of two distinct kinds of principles: logical and set-theoretic principles. The set-theoretic principles are imposed ‘on top’ of first-order logic. This is in agreement with a traditional view of logic as universally applicable and topic neutral. Such a view of logic has been rejected by the intuitionists, on the ground that quantification over infinite domains requires the use of intuitionistic rather than (...) classical logic. In the following, I consider constructive set theories, which use intuitionistic rather than classical logic, and argue that they manifest a distinctive interdependence or an entanglement between sets and logic. In fact, Martin-Löf type theory identifies fundamental logical and set-theoretic notions. Remarkably, one of the motivations for this identification is the thought that classical quantification over infinite domains is problematic, while intuitionistic quantification is not. The approach to quantification adopted in Martin-Löf’s type theory is subtly interconnected with its predicativity. I conclude by recalling key aspects of an approach to predicativity inspired by Poincaré, which focuses on the issue of correct quantification over infinite domains and relate it back to Martin-Löf type theory. (shrink)

This essay takes logic and ethics in broad senses: logic as the science of evidence; ethics as the science justice. One of its main conclusions is that neither science can be fruitfully pursued without the virtues fostered by the other: logic is pointless without fairness and compassion; ethics is pointless without rigor and objectivity. The logician urging us to be dispassionate is in resonance and harmony with the ethicist urging us to be compassionate.

Recent work on Austrian philosophy has revealed, hitherto, unsuspected links between Vienna circle positivism on the one hand, and the thought of Franz Brentano and his circle on the other. the paper explores these links, casting light also on the Polish analytic movement, on the development of gestalt psychology, and on the work of Schlick and Neurath.

In this paper, I criticize the thesis that value-laden approaches in American philosophy of science were marginalized in the 1960s through the editorial policy at Philosophy of Science and funding practices at the National Science Foundation. I argue that there is no available evidence of any normative restriction on philosophy of science as a domain of inquiry which excluded research on the relation between science and society. Instead, I claim that the absence of any exemplary, professional philosopher (...) who discussed the relation between science and society sufficed to narrow the focus of philosophers of science, given the institutional stabilization of the domain within professional philosophy from 1959 onwards. (shrink)

The paper begins by acknowledging that weakened systematic precision in phenomenology has made its application in philosophy of science obscure and ineffective. The defining aspirations of early transcendental phenomenology are, however, believed to be important ones. A path is therefore explored that attempts to show how certain recent developments in the logic of self-reference fulfill in a clear and more rigorous fashion in the context of philosophy of science certain of the early hopes of phenomenologists. The resulting (...) dual approach is applied to several problems in the philosophy of science: on the one hand, to proposed rejections of scientific objectivity, to the doctrine of radical meaning variance, and to the Quine-Duhem thesis, and or. the other, to an analysis of hidden variable theory in quantum mechanics. (shrink)

Karl Popper (1902-1994) was one of the most influential philosophers of science of the 20th century. He made significant contributions to debates concerning general scientific methodology and theory choice, the demarcation of science from non-science, the nature of probability and quantum mechanics, and the methodology of the social sciences. His work is notable for its wide influence both within the philosophy of science, within science itself, and within a broader social context. Popper’s early work attempts to solve the problem (...) of demarcation and offer a clear criterion that distinguishes scientific theories from metaphysical or mythological claims. Popper’s falsificationist methodology holds that scientific theories are characterized by entailing predictions that future observations might reveal to be false. When theories are falsified by such observations, scientists can respond by revising the theory, or by rejecting the theory in favor of a rival or by maintaining the theory as is and changing an auxiliary hypothesis. In either case, however, this process must aim at the production of new, falsifiable predictions. While Popper recognizes that scientists can and do hold onto theories in the face of failed predictions when there are no predictively superior rivals to turn to. He holds that scientific practice is characterized by its continual effort to test theories against experience and make revisions based on the outcomes of these tests. By contrast, theories that are permanently immunized from falsification by the introduction of untestable ad hoc hypotheses can no longer be classified as scientific. Among other things, Popper argues that his falsificationist proposal allows for a solution of the problem of induction, since inductive reasoning plays no role in his account of theory choice. Along with his general proposals regarding falsification and scientific methodology, Popper is notable for his work on probability and quantum mechanics and on the methodology of the social sciences. Popper defends a propensity theory of probability, according to which probabilities are interpreted as objective, mind-independent properties of experimental setups. Popper then uses this theory to provide a realist interpretation of quantum mechanics, though its applicability goes beyond this specific case. With respect to the social sciences, Popper argued against the historicist attempt to formulate universal laws covering the whole of human history and instead argued in favor of methodological individualism and situational logic. Table of Contents 1. Background 2. Falsification and the Criterion of Demarcation a. Popper on Physics and Psychoanalysis b. Auxiliary and Ad Hoc Hypotheses c. Basic Sentences and the Role of Convention d. Induction, Corroboration, and Verisimilitude 3. Criticisms of Falsificationism 4. Realism, Quantum Mechanics, and Probability 5. Methodology in the Social Sciences 6. Popper’s Legacy 7. References and Further Reading a. Primary Sources b. Secondary Sources -/- . (shrink)

Walter Dubislav (1895–1937) was a leading member of the Berlin Group for scientific philosophy. This “sister group” of the more famous Vienna Circle emerged around Hans Reichenbach’s seminars at the University of Berlin in 1927 and 1928. Dubislav was to collaborate with Reichenbach, an association that eventuated in their conjointly conducting university colloquia. Dubislav produced original work in philosophy of mathematics, logic, and science, consequently following David Hilbert’s axiomatic method. This brought him to defend formalism in these (...) disciplines as well as to explore the problems of substantiating (Begründung) human knowledge. Dubislav also developed elements of general philosophy of science. Sadly, the political changes in Germany in 1933 proved ruinous to Dubislav. He published scarcely anything after Hitler came to power and in 1937 committed suicide under tragic circumstances. The intent here is to pass in review Dubislav’s philosophy of logic, mathematics, and science and so to shed light on some seminal yet hitherto largely neglected currents in the history of philosophy of science. (shrink)

How does logic relate to rational belief? Is logic normative for belief, as some say? What, if anything, do facts about logical consequence tell us about norms of doxastic rationality? In this paper, we consider a range of putative logic-rationality bridge principles. These purport to relate facts about logical consequence to norms that govern the rationality of our beliefs and credences. To investigate these principles, we deploy a novel approach, namely, epistemic utility theory. That is, we assume (...) that doxastic attitudes have different epistemic value depending on how accurately they represent the world. We then use the principles of decision theory to determine which of the putative logic-rationality bridge principles we can derive from considerations of epistemic utility. (shrink)

CORCORAN RECOMMENDS COCCHIARELLA ON TYPE THEORY. The 1983 review in Mathematical Reviews 83e:03005 of: Cocchiarella, Nino “The development of the theory of logical types and the notion of a logical subject in Russell's early philosophy: Bertrand Russell's early philosophy, Part I”. Synthese 45 (1980), no. 1, 71-115 .

In the Fall of 1983, I offered a junior/senior-level course in Philosophy of Artificial Intelligence, in the Department of Philosophy at SUNY Fredonia, after returning there from a year’s leave to study and do research in computer science and artificial intelligence (AI) at SUNY Buffalo. Of the 30 students enrolled, most were computerscience majors, about a third had no computer background, and only a handful had studied any philosophy. (I might note that enrollments have subsequently increased in (...) the Philosophy Department’s AI-related courses, such as logic, philosophy of mind, and epistemology, and that several computer science students have added philosophy as a second major.) This article describes that course, provides material for use in such a course, and offers a bibliography of relevant articles in the AI, cognitive science, and philosophical literature. (shrink)