For example, i might say that it is necessary for me to pay my bills, even though i know full well that there is a possible world where i fail to pay them. An examination of traditional and contemporary views concerning major issues in metaphysics, such as continued existence through change, universals and particulars, realism, causation, necessity and possibility, possible worlds and time and space. This chapter is an overview of logic as presented in this book. Possible worlds notes stanford encyclopedia of philosophy. It is often contrasted with the way things actually are. We here try to apply the concept of possible parallel worlds from logic, which came to our knowledge through the hands of graham priest, and through a french movie, to psychiatry. And, indead, in conventional first order logic if such were the case then one could prove. The many worlds of logic resources history of logic. The text uses materials that are 2,500 years old, and materials that were in the news this year. In addition to the usual sentence operators of classical logic such as and. An introduction to modal logic 2009 formosan summer school on logic, language, and computation 29 june10 july, 2009. Jan 31, 2016 in order to show the context of how the debates of philsci arise, we need to understand some basics of logic, and why in particular one form of logic is considered problematic. We then give an informal introduction to the key elements of logic logical sentences, logical entailment, and logical proofs.
Logically speaking, god must have created cause the universe effect. An introduction to logic and its philosophy english and german edition 9780915144594. Basic concepts in modal logic1 stanford university. I know that there are plenty of reference request of philosophical logic. Raymond bradley and norman swartz, possible worlds. The field is considered to be distinct from philosophical logic. The condition a appears to be a tautology and therefore true. Modal approaches in metaphysics and quantum mechanics. A contemporary introduction is for students who have already done an introductory philosophy course. Possibly true then means true in at least one possible world, necessarily true means true in all possible worlds, and contingently true means true in the actual world but not all worlds. The fact remains that clear thinking requires an effort and doesnt always come naturally.
To read these files, you will need adobe acrobat reader installed on your computer. Thinking about logic an introduction to the philosophy of logic. Based on the notion of designated truth degrees, it is essentially a routine. Copies of acrobat reader are available free from adobe and are offered in many. This is a new introduction to logic for university undergraduates in their first and second years. Copies of acrobat reader are available free from adobe and are offered in many versions, for various operating systems windows, macintosh, unix, etc. The originality of the approach will also make it of considerable interest to postgraduates and professional logicians. Lewis began the search for an axiom system to characterize. Leibniz used the concept of a possible world in his proposed solution to the theological problem of the existence of evil, arguing that an. Possible worlds is being made available, free of charge, for personal i.
Reviewed by bassam romaya, philosophy instructor, bloomsburg university of pennsylvania on 3719. Interest in modal logic resumed in the twentieth century though, when c. This book is an introduction to logic for students of contemporary philosophy. Philosophy of logic is the investigation, critical analysis and intellectual reflection on issues arising in logic. The actual world consists of those states of affairs which exist, that is, the facts. Few philosophers today find this statement very plausible. It is really an idiosyncratic but effective introductory philosophy test book, touching on metaphysics, epsitemology, philosophy of language, logic and of course contingency and necessity. I do not think it is so easy to decide what is impossible, however. Although possible world has been part of the philosophical lexicon at least since leibniz, the notion became firmly entrenched in contemporary philosophy with the development of possible world semantics for the languages of propositional and firstorder modal logic. This book explains what those insights are and uses them to construct an integrated approach to both the philosophy of logic and the science of logic itself. Possible worlds the concept of possible worlds henceforth pw, loosely inspired by leibniz philosophy, was developed in the second half of the 20th century by philosophers of the analytic school kripke, lewis, hintikka 1989, plantinga 1976, rescher as a means to solve problems in formal semantics. As with most disciplines, philosophy comes with its own vast array of key terms, concepts, and vocabulary, which introductory students must learn in order to make sense of the disciplines contributions and key debates both past and present. His assailant, bob, ran away, but was seen by a passerby, charles, who witnessed the crime from start to. Yet, weinberg retorts, the service of philosophy was merely a negative one, freeing science from the constraints that it had imposed on itself.
An introduction to logic and its philosophy by raymond bradley. Pdf an introduction to logic, critical thinking and. Loux provides a fresh look at the central topics in metaphysics, making this essential reading for any student of the subject. This paper examines claims that quantified modal logic trades on deep failures and confusions. Dec 08, 2018 here we consider imaginary worlds determined by different laws, e. Possible world semantics in philosophy of language. Completion of the lower division writing requirement. An introduction to logic through a discussion of possible worlds theory, the book is very unusual. The condition b is a statement of fact about john which makes him subject to. Metaphysical theories and philosophical constraints. An introduction to logic and its philosophy read now.
As a general rule, we present kripke models graphically, with nodes labeled according to the variables they model, so called ground truth, and edges linking worlds related by. Leibniz used the concept of a possible world in his proposed solution to the theological problem of the existence of evil, arguing that an allperfect god would actualize the best of all possible worlds. Girle 2003 and girle 2000 are introductory textbooks on formal possible worlds semantics in modal logic. Philosophical logic is the branch of study that concerns questions about reference, predication, identity, truth, quantification, existence, entailment. This third edition is revised and updated and includes two new chapters on time and causation. A fallacy of necessity is a fallacy in the logic of a syllogism whereby a degree of unwarranted necessity is placed in the conclusion example a bachelors are necessarily unmarried. Carlson baltimore, maryland usa it is too bad this book is out of print, for the authors do a fine job of introducing the student of philosophy or mathematics to the essentials of modern. Introduction to philosophylogicmodal logic wikibooks.
To each possible world one assigns a linguistic entity to serve as that world s representative in effect, to be the possible world. Copies of acrobat reader are available free from adobe and are offered in many versions, for various operating systems windows. Bradley and swartz rule out the possiblity something can be both true and false at the same time. Leibniz and the philosophy of optimism gottfried leibniz used logic to form his view on the world. Talk of possible worlds is now a commonplace within philosophy. Logic and the philosophy of science 45 logic and the philosophy of science bas c. Possible worlds is a good introduction to the philosophy of possible worlds and logic.
A semantics for modal logic was first introduced in the late1950s work of saul kripke and his colleagues. From this groundwork, the theory of possible worlds became a central part. Even in modal logic, one may wish to restrict the range of possible worlds which are relevant in determining whether \\box a\ is true at a given world. This applies not only to analytic metaphysics, but to areas as diverse as philosophy of language, philosophy of science, epistemology, and ethics. Nonreductive theories of possible worlds, philosophy compass, 46, 10091021. My university course on philosophy of logic uses a. This chapter provides an introduction to possible worlds semantics in both logic and the philosophy of language, including a discussion of some of the advantages and challenges for possible worlds semantics. The notion of the possible world is connected to logic and science, and the notions of fiction. Reducing possible worlds to language 335 extensional language.
Ethics takes up the meanings of our moral conceptssuch as right action, obligation and justiceand formulates principles to guide moral decisions, whether in private or public life. A statement in modal logic that is possible is said to be true in at least one possible world. Published in studia logica, special issue ways of worlds ii, 84. Download the logic of reliable inquiry logic and computation in philosophy pdf free. An introduction to philosophy open textbook library. We start with a discussion of possible worlds and illustrate the notion in an application area known as sorority world.
Philosophy is the study of wisdom, and can emerge in our conversations in social media, in school, around the family dinner table, and even in the car. An introduction to logic through a discussion of possible world s theory, the book is very unusual. Possible worlds stanford encyclopedia of philosophy. Possible world, conception of a total way the universe might have been. In particular, it discusses the putative problem of failure of substitutivity of co. An introduction to logic and its philosophy, oxford.
An introduction to logic and its philosophy raymond bradley, norman swartz download bok. Formal logic some technical terms 1 of 4 proposition premise enthymeme the case means it is true that, or real that. Now, surely, some philosophers, such as voltaire and kant, played an in uential role in the acceptance, of action at a distance. From this groundwork, the theory of possible worlds became a central part of. Three philosophical conceptions of possible worlds. Distinct possible worlds are assigned distinct linguistic entities if they are discernible6, but in general the assignment need not be onetoone. Carlson baltimore, maryland usa it is too bad this book is out of print, for the authors do a fine job of introducing the student of philosophy or mathematics to the essentials. It concludes with a discussion of alternatives for a more adequate modal logic and its semantics, developing themes. Philosophy of logic, the study, from a philosophical perspective, of the nature and types of logic, including problems in the field and the relation of logic to mathematics, computer science, the empirical sciences, and human disciplines such as linguistics, psychology, law, and education. Leibniz thought it reassuring to say that although our world contains much that is evil, it is nonetheless the best of all possible worlds.
The articles are translated and given a very informative introduction by. It is really an idiosyncratic but effective introductory philosophy. See the articles on actualism especially 2 and 3 and modal logic. The philosophy of logical atomism, with an introduction by d. Multiple topics will be covered, and may include the existence of god, the nature of mind and body, free will, ethics and political philosophy, knowledge and skepticism. Work in modal logic after the scholastics stagnated, with the exception of leibnizs suggestion there are other possible worlds besides the actual world. Although the higher reaches of possible worlds semantics bristle with technical subtleties, its basic insights are really very simple. Norman swartz a copy that has been read, but remains in clean condition. God could not create a perfect world because only god can be perfect. But one can get better at it if one is willing to work a bit and accept guidance every now and then. An introduction to logic and its philosophy by raymond bradley and norman swartz.
Introduction to philosophy 4 a general introduction to some of the fundamental questions, texts, and methods of philosophy. A brief introduction to the intuitionistic propositional calculus. Pages can include limited notes and highlighting, and the copy can include previous owner inscriptions. But it seems to me that most of them are about symbolic logic, baby logic or modal logic. Norman swartz born 1939 is a professor emeritus retired 1998 of philosophy, simon fraser university. Most philosophy students study advanced topics like modal logic for the first time in graduate school, but its to the students advantage to be exposed to modal logic as undergraduates, says calvin college professor, stephen wykstra. Open a book or article of contemporary analytic philosophy, and you are likely to find talk of possible worlds therein. Modal metaphysics internet encyclopedia of philosophy. It covers i basic approaches to logic, including proof theory and especially model theory, ii extensions of standard logic such as modal logic that are important in philosophy, and iii some elementary philosophy of logic. He is the author or coauthor of multiple books and multiple articles on the internet encyclopedia of philosophy. It began, nearly three hundred years ago, within philosophical theology.
An excellent introduction to logic in all possible worlds, september 24, 2002, by dr. Also available online in html, pdf, and epub formats in a sidebyside. An introduction to logic and its philosophy free ebook download as pdf file. Modal logic attempts to include the notions of modality necessary, contingent, possible and impossible, among others into the structure of classical logic propositional logic and predicate calculus and is therefore an extension of classical logic.