The paper begins with a more carefully stated version of ontologically neutral (ON) logic, originally introduced in (Hailperin, 1997). A non-infinitistic semantics which includes a definition of potential infinite validity follows. It is shown, without appeal to the actual infinite, that this notion provides a necessary and sufficient condition for provability in ON logic.

The Fifth International Congress of Logic, Methodology and Philosophy of Science was held at the University of Western Ontario, London, Canada, 27 August to 2 September 1975. The Congress was held under the auspices of the International Union of History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science, and was sponsored by the National Research Council of Canada and the University of Western Ontario. As those associated closely with the work of the Division over (...) the years know well, the work undertaken by its members varies greatly and spans a number of fields not always obviously related. In addition, the volume of work done by first rate scholars and scientists in the various fields of the Division has risen enormously. For these and related reasons it seemed to the editors chosen by the Divisional officers that the usual format of publishing the proceedings of the Congress be abandoned in favour of a somewhat more flexible, and hopefully acceptable, method of pre sentation. Accordingly, the work of the invited participants to the Congress has been divided into four volumes appearing in the University of Western Ontario Series in Philosophy of Science. The volumes are entitled, Logic, Foundations of Mathematics and Computability Theory, Foun dational Problems in the Special Sciences, Basic Problems in Methodol ogy and Linguistics, and Historical and Philosophical Dimensions of Logic, Methodology and Philosophy of Science. (shrink)

This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading Brazilian logicians and their Latin-American and European colleagues. All papers were selected by a careful refereeing processs and were (...) revised and updated by their authors for publication in this volume. There are three sections: Advances in Logic, Advances in Theoretical Computer Science, and Advances in Philosophical Logic. Well-known specialists present original research on several aspects of model theory, proof theory, algebraic logic, category theory, connections between logic and computer science, and topics of philosophical logic of current interest. Topics interweave proof-theoretical, semantical, foundational, and philosophical aspects with algorithmic and algebraic views, offering lively high-level research results. (shrink)

This chapter explores the intersection of experimental philosophy and philosophical logic. It considers a distinction between pure and applied logic. It sketches some ways in which experimental results and empirical results more broadly, can inform and have informed debates within philosophical logic. The chapter lays out a way of looking at the situation that makes plain at least one way in which people should expect experimental and logical concerns to overlap. It turns to the phenomenon (...) of vagueness, where people can see this overlap explored and developed from multiple angles, showing just how intimately related experiment and logic can be. Logic is not only useful for exploring hypotheses about truth conditions and entailments but also for exploring hypotheses about reasoning. Logical and experiment can fruitfully interact in a variety of applications, and that is all people need for experimental philosophical logic to be worthwhile. (shrink)

The first edition of the Handbook of Philosophical Logic (four volumes) was published in the period 1983-1989 and has proven to be an invaluable reference work ...

Philosophical Logic is a clear and concise critical survey of nonclassical logics of philosophical interest written by one of the world's leading authorities on the subject. After giving an overview of classical logic, John Burgess introduces five central branches of nonclassical logic, focusing on the sometimes problematic relationship between formal apparatus and intuitive motivation. Requiring minimal background and arranged to make the more technical material optional, the book offers a choice between an overview and in-depth (...) study, and it balances the philosophical and technical aspects of the subject.The book emphasizes the relationship between models and the traditional goal of logic, the evaluation of arguments, and critically examines apparatus and assumptions that often are taken for granted. Philosophical Logic provides an unusually thorough treatment of conditional logic, unifying probabilistic and model-theoretic approaches. It underscores the variety of approaches that have been taken to relevantistic and related logics, and it stresses the problem of connecting formal systems to the motivating ideas behind intuitionistic mathematics. Each chapter ends with a brief guide to further reading.Philosophical Logic addresses students new to logic, philosophers working in other areas, and specialists in logic, providing both a sophisticated introduction and a new synthesis. (shrink)

Machine generated contents note: -- Series Editors' PrefaceAcknowledgementsNotes on ContributorsHow Things Are Elsewhere; W. Schwarz Information Change and First-Order Dynamic Logic; B.Kooi Interpreting and Applying Proof Theories for Modal Logic; F.Poggiolesi & G.Restall The Logic(s) of Modal Knowledge; D.Cohnitz On Probabilistically Closed Languages; H.Leitgeb Dogmatism, Probability and Logical Uncertainty; B.Weatherson & D.Jehle Skepticism about Reasoning; S.Roush, K.Allen & I.HerbertLessons in Philosophy of Logic from Medieval Obligations; C.D.Novaes How to Rule Out Things with Words: Strong Paraconsistency and (...) the Algebra of Exclusion; F.Berto Lessons from the Logic of Demonstratives; G.RussellThe Multitude View on Logic; M.Eklund Index. (shrink)

"Philosophical logic" describes two distinct areas: the investigation of the fundamental concepts of logic, the formal investigation of alternatives and extensions to classical logic. The first is a philosophical discipline, concerned with notions like truth, propositions, necessity, logical consequence, vagueness, and reasoning. The second is a technical discipline, devoted to developing formal logical systems-modal logics, second-order logics, intuitionistic logics, relevance logics, logics of vagueness and conditionals-and proving things about them. Most texts in philosophical (...) class='Hi'>logic focus on one of these areas, but in this book John MacFarlane treats them together in an integrated way, showing how philosophical considerations motivate the technical projects, and how the constraints revealed by the technical projects illuminate the philosophical issues. Topics covered include quantifiers, modal logic, indicative conditionals, model-theoretic and proof-theoretic characterizations of logical consequence, intuitionistic logic, fundamental logical disagreement, relevance logic, the relation of logic and reasoning, and vagueness. Each chapter is organized around suggested readings and includes exercises. Key Features: An integrated treatment of the technical and philosophical issues comprising philosophical logic Written by a leading authority on logicism and logical form and a successful expositor and teacher Designed to serve students taking only one course in logic beyond the introductory level Provides tools and concepts necessary to understand work in many areas of analytic philosophy Includes exercises, suggested readings, and suggestions for further exploration in each chapter. (shrink)

For the last 25 years, since publication of his Logical Studies, Professor Von Wright has steadily explored the field of philosophical logic. The concept of negation, logical paradoxes, the puzzles connected with evidence and probability in confirmation theory, the interrelatedness of the ideas of time and change, and the clarification of the structure of temporal and spatial orderings are among the many areas he has profitably investigated. -- "Philosophical Review".

The purpose of this brief introduction is to describe the origin of the papers here presented and to acknowledge the help of some of the many individuals who were involved in the preparation of this volume. Of the eighteen papers, nine stem from the annual fall colloquium of the Depart ment of Philosophy at the University of Western Ontario held in London, Ontario from November 10 to November 12, 1967. The colloquium was entitled 'Philosophical Logic'. After some discussion, (...) the editors decided to retain that title for this volume. Von Wright's paper 'On the Logic and Ontology of Norms' is printed here after some revision. A. R. Anderson commented on the paper at the colloquium, but his comments here are based upon the revised version of the von Wright paper. The chairman of the session at which von Wright's paper was read and discussed was T. A. Goudge. Aqvist's paper 'Scattered Topics in Interrogative Logic', and Belnap's comments, 'Aqvist's Cor rections-Accumulating Question-Sequences', are printed as delivered. The chairman of the Aqvist-Belnap session was R. E. Butts. Wilfrid Sellars' paper 'Some Problems about Belief' is printed as delivered at the col loquium, but 'Quantifiers, Beliefs, and Sellars' by Ernest Sosa is a revision of his comments at the colloquium. That session was chaired by G. D. W. Berry. Ackermann's paper 'Some Problems oflnductive Logic', as well as Skyrms' comments, are printed as delivered. (shrink)

This volume brings together a group of logic-minded philosophers and philosophically oriented logicians, mainly from Asia, to address a variety of logical and philosophical topics of current interest, offering a representative cross-section of the philosophical logic landscape in early 21st-century Asia. It surveys a variety of fields, including modal logic, epistemic logic, formal semantics, decidability and mereology. The book proposes new approaches and constructs more powerful frameworks, such as cover theory, an algebraic approach to (...) cut-elimination, and a Boolean approach to causal discovery, to name but a few. Readers may find a wide range of applications of these original works in current research of philosophical logic, especially in the structural and conceptual analysis of some significant semantic properties and formal systems. The variety of topics and issues discussed here will appeal to readers from a broad spectrum of disciplines, ranging from mathematical/philosophical logic, computing science, cognitive science and artificial intelligence, to linguistics, game theory and beyond. (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 advent of quantum mechanics in the early 20 th Century had profound consequences for science and mathematics, for philosophy (Schrödinger), and for logic (von Neumann). In 1968, Putnam wrote that quantum mechanics required a revolution in our understanding of logic per se. However, applications of quantum logics have been little explored outside the quantum domain. Dummett saw some implications of quantum logic for truth, but few philosophers applied similar intuitions to epistemology or ontology. Logic remained (...) a truth-functional ’science’ of correct propositional reasoning. Starting in 1935, the Franco-Romanian thinker Stéphane Lupasco described a logical system based on the inherent dialectics of energy and accordingly expressed in and applicable to complex real processes at higher levels of reality. Unfortunately, Lupasco’s fifteen major publications in French went unrecognized by mainstream logic and philosophy, and unnoticed outside a Francophone intellectual community, albeit with some translations into other Romance languages. In English, summaries of Lupasco’s logic appeared ca. 2000, but the first major treatment and extension of his system was published in 2008 (see Brenner 2008). This paper is a further attempt to establish Lupasco’s concepts as significant contributions to the history and philosophy of logic, in line with the work of Gödel, general relativity, and the ontological turn in philosophy. (shrink)

This second edition of the Handbook of Philosophical Logic reflects great changes in the landscape of philosophical logic since the first edition. It gives readers an idea of that landscape and its relation to computer science and formal language and artificial intelligence. It shows how the increased demand for philosophical logic from computer science and artificial intelligence and computational linguistics accelerated the development of the subject directly and indirectly. This development in turn, directly pushed (...) research forward, stimulated by the needs of applications. New logic areas becameestablished and old areas were enriched and expanded. At the same time, it socially provided employment for generations of logicians residing in computer science, linguistics and electrical engineering departments which of course helped keep the logic community to thrive. The many contributors to this Handbook are active in these application areas and are among the most famous leading figures of applied philosophical logic of our times. (shrink)

This is the first of a three-volume collection of David Lewis's most recent papers in all the areas to which he has made significant contributions. The purpose of this collection (and the two volumes to follow) is to disseminate even more widely the work of a preeminent and influential late twentieth-century philosopher. The papers are now offered in a readily accessible format. This first volume is devoted to Lewis's work on philosophical logic from the last twenty-five years. The (...) topics covered include: deploying the methods of formal semantics from artificial formalised languages to natural languages, model-theoretic investigations of intensional logic, contradiction, relevance, the differences between analog and digital representation, and questions arising from the construction of ambitious formalised philosophical systems. The volume will serve as an important reference tool for all philosophers and their students. (shrink)

This title introduces students to non-classical logic, syllogistic, to quantificational and modal logic. The book includes exercises throughout and a glossary of terms and symbols. Taking students beyond classical mathematical logic, "Philosophical Logic" is a wide-ranging introduction to more advanced topics in the study of philosophical logic. Starting by contrasting familiar classical logic with constructivist or intuitionist logic, the book goes on to offer concise but easy-to-read introductions to such subjects as (...) quantificational and syllogistic logic, modal logic and set theory. Chapters of this title include: Sentential Logic; Quantificational Logic; Sentential Modal Logic; Quantification and Modality; Set Theory; Incompleteness; An Introduction to Term Logic; and, Modal Term Logic. In addition, the book includes a list of symbols and a glossary of terms for ease of reference and exercises throughout help students master the topics covered in the book. (shrink)

For the last 25 years, since publication of his Logical Studies, Professor Von Wright has steadily explored the field of philosophical logic. The concept of negation, logical paradoxes, the puzzles connected with evidence and probability in confirmation theory, the interrelatedness of the ideas of time and change, and the clarification of the structure of temporal and spatial orderings are among the many areas he has profitably investigated.

The aim of the book is to introduce the reader to some new areas oflogic which have yet to find their way into the bulk of modern logic books written from the more orthodox direction of the mainstream of develop ments. Such a work seems to me much needed, both because of the in trinsic value and increasing prominence of the nonstandard sector of logic, and because this particular sector is of the greatest interest from the standpoint of (...) philosophical implications and applications. This book unites a series of studies in philosophical logic, drawing for the most part on material which I have contributed to the journal liter ature of the subject over the past ten years. Despite the fact that some of these essays have been published in various journals at different times, they possess a high degree of thematic and methodological unity. All of these studies deal with material of substantial current interest in philo sophical logic and embody a fusion of the modern techniques of logical and linguistic-philosophical analysis for the exploration of areas of logic that are of substantial philosophical relevance. (shrink)

For the last 25 years, since publication of his Logical Studies, Professor Von Wright has steadily explored the field of philosophical logic. The concept of negation, logical paradoxes, the puzzles connected with evidence and probability in confirmation theory, the interrelatedness of the ideas of time and change, and the clarification of the structure of temporal and spatial orderings are among the many areas he has profitably investigated.

cians concerned with using logical tools in philosophy have been keenly aware of the limitations that arise from the original con centration of symbolic logic on the idiom of mathematics, and many of them have worked to create extensions of the received logical theories that would make them more generally applicable in philosophy. Carnap's Testability and Meaning, published in 1936 and 1937, was a good early example of this sort of research, motivated by the inadequacy of first-order formalizations of (...) dis 'This sugar cube is soluble in water'. positional sentences like And in fact there is a continuous history of work on this topic, extending from Carnap's paper to Shoham's contribution to the present volume.. Much of the work in philosophical logic, and much of what has appeared in The Journal of Philosophical Logic, was mo tivated by similar considerations: work in modal logic, intensional logics, non declaratives, presuppositions, and many other topics. In this sort of research, sin.ce the main point is to devise new formalisms, the technical development tends to be rather shallow in comparison with mathematical logic, though it is sel dom absent: theorems need to be proved in order to justify the formalisms, and sometimes these are nontrivial. On the other hand, much effort has to go into motivating a logical innovation. (shrink)

First published in 1989. Routledge is an imprint of Taylor & Francis, an informa company.

Poland has played an enormous role in the development of mathematical logic. Leading Polish logicians, like Lesniewski, Lukasiewicz and Tarski, produced several works related to philosophical logic, a field covering different topics relevant to philosophical foundations of logic itself, as well as various individual sciences. This collection presents contemporary Polish work in philosophical logic which in many respects continue the Polish way of doing philosophical logic. This book will be of interest (...) to logicians, mathematicians, philosophers, and linguists. (shrink)

Vladimir Aleksandrovich Smirnov was born on March 2, 1931. He graduated from Moscow State University in 1954. From 1957 till 1961 he was a lecturer in philosophy and logic at the Tomsk University. Since 1961 his scientific activity continued in Moscow at the Institute of Philosophy of Academy of Sciences of the USSR. From 1970 and till the last days of his life V. A. Smirnov was lecturer and then Professor at the Chair of Logic at Moscow State (...) University. V. A. Smirnov played an important role at the Institute of Philosophy of Russian Academy of Sciences being the Head of Department of Epistemology, Logic and Philosophy of Science and Technology, and the Head of Section of Logic. Last years he was the leader of the Centre of Logical Investigations of Russsian Academy of Sciences. In 1990-91 he founded a new non-goverment Institute of Logic, Cognitive Sciences and Development of Personality for performing research, teaching, editorial and organization activity in the field of humanities. At the Department of Philosophy of Moscow State University and at the Institute of Philosophy V. A. Smirnov and his close colleagues have founded a Russian logical school which brought up many talented researchers who work at several scientific centres in various countries. (shrink)

With this issue we initiate the policy of expanding the scope of Tulane Studies in Philosophy to include, in addition to the work of members of the department, contributions from philosophers who have earned advanced degrees from Tulane and who are now teaching in other colleges and universities. The Editor THE LOGIC OF OUR LANGUAGE ROBERT L. ARRINGTON Wittgenstein wrote in the Tractatus that "logic is not a body of doctrine, but a mirror-image of the world. " 1 (...) In line with his suggestion that a proposition is a 'picture', Wittgenstein argued that propositions 'show' the logical structure of the real. He was insistent, however, that "the apparent logical form of a proposition need not be its real one. " 2 As a result of this we can misunderstand the structure of fact. Philosophical problems arise just when "the logic of our language is mis understood. " 3 It is common knowledge that much of this view of logic was rejected by Wittgenstein himself in the Philosophical Investi gations. There we are told that language has no ideal or sublime 4 logic which mirrors the structure of the extra-linguistic world. Consequently, inferences from the structure of language to the structure of that extra-linguistic world are invalid. Reality can be 'cut up' in any of a number of ways by language. Wittgenstein adopted a view of philosophy which would render that discipline a non-explanatory, non-critical study of the multiple ways in which language can be used. (shrink)