Online research in philosophy

Peer Instruction (or PI for short) is a simple and effective technique you can use to make lectures more interactive, more engaging, and more effective learning experiences.

hese notes don’t reach any conclusions. Their purpose is to point to issues one needs to think through seriously when thinking about logic teaching. They indicate some of the relevant literature where some of these issues are addressed, but they also raise points that seem to have been overlooked. They aim to promote informed discussion. That indeed was their origin: they are descended from an internal discussion document prepared a few years ago when the then Department of Philosophy (...) at the University of Edinburgh was reviewing its logic teaching. (shrink)

The general chemistry curriculum includes a prelude that consumes nearly all of the first semester and occupies the first third of the typical textbook. This necessary prelude to the main event is comparable in scope to precalculus though not broken out as a formal ‘prechemistry’ course. Atomic orbitals account for much of this prelude-to-chemistry. By tradition, orbital theory is conveyed to the student in three disjunct pieces, presented in the following illogical order: the Pauli principle, the Aufbau principle, and Hund’s (...) rule. (Often the n + l rule is tossed into the mix as well, though with no fixed place in the scheme). In the early twentieth century, as various researchers announced new insights into the atom at unpredictable intervals, no one could have been faulted for teaching orbitals in such a manner, catch-as-catch-can. A hundred years on, the vestiges of that (presumed) practice look wrong, and are indefensible. In the approach advocated here, orbitals would be taught as a single hierarchical rule-set, with the parts coherently sequenced as Aufbau–Hund–Pauli (and with Madelung’s n + l rule rehabilitated as part of Aufbau, no longer a free-floating mnemonic aid only). Logic aside, pragmatism offers its own argument for adopting this scheme: A tighter approach to Aufbau can lighten the ‘prechemistry’ burden significantly and bring the student that much sooner to chemistry itself. (shrink)

A course in symbolic logic belongs as a requirement in the undergraduate philosophy major. In this paper, which started life as a letter to my departmental colleagues, I consider and respond to several reasons one might have for excluding Logic from the core requirements. I then give several arguments in favor of keeping Logic. The central—and most important—argument is that the lack of a proper background in logic makes it very difficult to approach many relatively straightforward (...) philosophical arguments, let alone the more technical subliteratures of philosophy. In developing this argument, I consider a few core texts and arguments (e.g., Gettier’s classic paper on the analysis of knowledge) and bring out how a student with some background in formal logic would be able to approach the texts and arguments with much greater ease than a student who lacks such a background. (shrink)

This article advances the view that propositional logic can and should be taught within general education logic courses in ways that emphasizes its practical usefulness, much beyond what commonly occurs in logic textbooks. Discussion and examples of this relevance include database searching, understanding structured documents, and integrating concepts of proof construction with argument analysis. The underlying rationale for this approach is shown to have import for questions concerning the design of logic courses, textbooks, and the general (...) education curriculum, particularly the sequencing of formal and informal logic courses. (shrink)

This article discusses two well-known texts that respectively describe learning and teaching, drawn from the work of Freud and Plato. These texts are considered in psychoanalytic terms using a methodology drawn from the philosophy of Luce Irigaray. In particular the article addresses Irigaray's approach to the analysis of speech and utterance as a ‘cohesion between the source of the utterance and the utterance itself’ (Hass, 2000). I apply this approach to ask whether educational tradition has fractured the relationship between (...) pedagogy and the body of the teacher/pupil. Teaching and learning are re-addressed in ways that challenge the gender-neutral representation of pedagogy as a systematic technique. (shrink)

Collectively these essays inform educators and researchers at different grade levels about the teaching and learning of proof at each level and, thus, help ...

A text that would find a place for the realistic formalism of Aristotle, the scientific penetration of Peirce, the pedagogical soundness of Dewey, and the ...

Hence, argumentation will have an increasing importance in education, both because it is a critical competence that has to be learned, and because argumentation ...

Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. To provide a balanced treatment of logic, tableaux are related to deductive proof systems.The logical systems presented are:- Propositional calculus (including binary decision diagrams);- Predicate calculus;- Resolution;- (...) Hoare logic;- Z;- Temporal logic.Answers to exercises (for instructors only) as well as Prolog source code for algorithms may be found via the Springer London web site: http://www.springer.com/978-1-85233-319-5 Mordechai Ben-Ari is an associate professor in the Department of Science Teaching of the Weizmann Institute of Science. He is the author of numerous textbooks on concurrency, programming languages and logic, and has developed software tools for teaching concurrency. In 2004, Ben-Ari received the ACM/SIGCSE Award for Outstanding Contributions to Computer Science Education. (shrink)

The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible to all the above. Covering propositional logic, first-order logic, and second-order logic, as well (...) as proof theory, computability theory, and model theory, the text also contains numerous carefully graded exercises and is ideal for a first or refresher course. (shrink)

Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to place, for example, second-order logic, type theory, modal and dynamic logics and MSL itself. The aim is two fold: only one theorem-prover is needed; proofs of the metaproperties of the different existing calculi can be avoided (...) by borrowing them from MSL. To make the book accessible to readers from different disciplines, whilst maintaining precision, the author has supplied detailed step-by-step proofs, avoiding difficult arguments, and continually motivating the material with examples. Consequently this can be used as a reference, for self-teaching or for first-year graduate courses. (shrink)

Philosophy is the study of the most general and fundamental problems of human life. The main areas of study in philosophy includes metaphysics, epistemology, logic, ethics and aesthetics etc. there are other several branches of philosophy which characterize different branches of knowledge. Philosophy being a very abstract branch of study, has not much scope of using equipment on a large scale to supplement the normal lecture schedules. However, in some papers/areas there are comparatively better scope to make the lectures (...) more concrete and interesting through proper use of various teaching aids and modes. We include logic, philosophy of science, applied philosophy, applied ethics, social and political philosophy, philosophy of mind, philosophy of cognitive science and history of philosophy etc., we can use various modern aids. In this article my attempt is to draw out an outlines of aids and modes for effective philosophy teaching. (shrink)

Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic providing an excellent insight into how a simple logic works. Formal logic allows you to check a logical claim without considering what the claim means. This highly abstracted idea is an essential and practical part of computer science. The idea of a formal system-a collection of rules and axioms, which define a universe of logical proofs-is what gives us programming languages and (...) modern-day programming. This book concentrates on using logic as a tool: making and using formal proofs and disproofs of particular logical claims. The logic it uses-natural deduction-is very small and very simple; working with it helps you see how large mathematical universes can be built on small foundations. The book is divided into four parts: Part I "Basics" gives an introduction to formal logic with a short history of logic and explanations of some technical words. Part II "Formal Syntactic Proof" show you how to do calculations in a formal system where you are guided by shapes and never need to think about meaning. Your experiments are aided by Jape, which can operate as both inquisitor and oracle. Part III "Formal Semantic Disproof" shows you how to construct mathematical counterexamples to shoe that proof is impossible. Jape can check the counterexamples you build. Part IV " Program Specification and Proof" describes how to apply your logical understanding to a real computer science problem, the accurate description and verification of programs. Jape helps, as far as arithmetic allows. Aimed at undergraduates and graduates in computer science, logic, mathematics and philosophy, the text includes reference to and exercises based on the computer software package Jape, an interactive teaching and research tool designed and hosted by the author that is freely available on the web. (shrink)

Fourteen philosophers share their experience teaching Peirce to undergraduates in a variety of settings and a variety of courses. The latter include introductory philosophy courses as well as upper-level courses in American philosophy, philosophy of religion, logic, philosophy of science, medieval philosophy, semiotics, metaphysics, etc., and even an upper-level course devoted entirely to Peirce. The project originates in a session devoted to teaching Peirce held at the 2007 annual meeting of the Society for the Advancement of American (...) Philosophy. The session, organized by <span class='Hi'>James</span> Campbell and Richard Hart, was co-sponsored by the American Association of Philosophy Teachers. (shrink)

Filling the need for an accessible, carefully structured introductory text in symbolic logic, Modern Logic has many features designed to improve students' comprehension of the subject, including a proof system that is the same as the award-winning computer program MacLogic, and a special appendix that shows how to use MacLogic as a teaching aid. There are graded exercises at the end of each chapter--more than 900 in all--with selected answers at the end of the book. Unlike competing (...) texts, Modern Logic gives equal weight to semantics and proof theory and explains their relationship, and develops in detail techniques for symbolizing natural language in first-order logic. After a general introduction featuring the notion of logical form, the book offers sections on classical sentential logic, monadic predicate logic, and full first-order logic with identity. A concluding section deals with extensions of and alternatives to classical logic, including modal logic, intuitionistic logic, and fuzzy logic. For students of philosophy, mathematics, computer science, or linguistics, Modern Logic provides a thorough understanding of basic concepts and a sound basis for more advanced work. (shrink)

When, if ever, is one justified in accepting the premises of an argument? What is the proper criterion of premise acceptability? Providing a comprehensive theory of premise acceptability, this book answers these questions from an epistemological approach that the author calls "common sense foundationalism". His work will be of interest to specialists in informal logic, critical thinking and argumentation theory as well as to a broader range of philosophers and those teaching rhetoric.

The Law School Admission Test is a half-day standardized exam designed primarily to test the logical reasoning skills of potential law school students. A traditional course in introductory logic does not adequately prepare students for the LSAT. Here I describe the sections of the test, identifying the relevant logic skills students must develop in order to complete them successfully in the time allotted. Then, drawing on my experience teaching a three-week “Logic for the LSAT” course in (...) May 2005, I discuss the main issues you will need to address should you decide to offer such a course. (shrink)

Although Kant envisaged a prominent role for logic in the argumentative structure of his Critique of pure reason, logicians and philosophers have generally judged Kant's logic negatively. What Kant called `general' or `formal' logic has been dismissed as a fairly arbitrary subsystem of first order logic, and what he called `transcendental logic' is considered to be not a logic at all: no syntax, no semantics, no definition of validity. Against this, we argue that Kant's (...) `transcendental logic' is a logic in the strict formal sense, albeit with a semantics and a definition of validity that are vastly more complex than that of first order logic. The main technical application of the formalism developed here is a formal proof that Kant's Table of Judgements in §9 of the Critique of pure reason, is indeed, as Kant claimed, complete for the kind of semantics he had in mind. This result implies that Kant's 'general' logic is after all a distinguished subsystem of first order logic, namely what is known as geometric logic. (shrink)

These lecture notes were composed while teaching a class at Stanford and studying the work of Brian Chellas (Modal Logic: An Introduction, Cambridge: Cambridge University Press, 1980), Robert Goldblatt (Logics of Time and Computation, Stanford: CSLI, 1987), George Hughes and Max Cresswell (An Introduction to Modal Logic, London: Methuen, 1968; A Companion to Modal Logic, London: Methuen, 1984), and E. J. Lemmon (An Introduction to Modal Logic, Oxford: Blackwell, 1977). The Chellas text influenced me the (...) most, though the order of presentation is inspired more by Goldblatt.2 My goal was to write a text for dedicated undergraduates with no previous experience in modal logic. The text had to meet the following desiderata: (1) the level of difficulty should depend on how much the student tries to prove on his or her own—it should be an easy text for those who look up all the proofs in the appendix, yet more difficult for those who try to prove everything themselves; (2) philosophers (i.e., colleagues) with a basic training in logic should be able to work through the text on their own; (3) graduate students should find it useful in preparing for a graduate course in modal logic; (4) the text should prepare people for reading advanced texts in modal logic, such as Goldblatt, Chellas, Hughes and Cresswell, and van Benthem, and in particular, it should help the student to see what motivated the choices in these texts; (5) it should link the two conceptions of logic, namely, the conception of a logic as an axiom system (in which the set of theorems is constructed from the bottom up through proof sequences) and the conception of a logic as a set containing initial ‘axioms’ and closed under ‘rules of inference’ (in which the set of theorems is constructed from the top down, by carving out the logic from the set of all formulas as the smallest set closed under the rules); finally, (6) the pace for the presentation of the completeness theorems should be moderate—the text should be intermediate between Goldblatt and Chellas in this regard (in Goldblatt, the completeness proofs come too quickly for the undergraduate, whereas in Chellas, too many unrelated.... (shrink)

Much of the last fifty years of scholarship on Aristotle’s syllogistic suggests a conceptual framework under which the syllogistic is a logic, a system of inferential reasoning, only if it is not a theory or formal ontology, a system concerned with general features of the world. In this paper, I will argue that this a misleading interpretative framework. The syllogistic is something sui generis: by our lights, it is neither clearly a logic, nor clearly a theory, but rather (...) exhibits certain characteristic marks of logics and certain characteristic marks of theories. In what follows, I will present a debate between a theoretical and a logical interpretation of the syllogistic. The debate centers on the interpretation of syllogisms as either implications or inferences. But the significance of this question has been taken to concern the nature and subject-matter of the syllogistic, and how it ought to be represented by modern techniques. For one might think that, if syllogisms are implications, propositions with conditional form, then the syllogistic, in so far as it is a systematic taxonomy of syllogisms, is a theory or a body of knowledge concerned with general features of the world. Furthermore, if the syllogistic is a theory, then it ought to be represented by an axiomatic system, a system deriving propositional theorems from axioms. On the other hand, if syllogisms are inferences, then the syllogistic is a logic, a system of inferential reasoning. And furthermore, it ought to be represented as a natural deduction system, a system deriving valid arguments by means of intuitively valid inferences. I will argue that one can disentangle these questions—are syllogisms inferences or implications, is the syllogistic a logic or a theory, is the syllogistic a body of worldly knowledge or a system of inferential reasoning, and ought we to represent the syllogistic as a natural deduction system or an axiomatic system—and that we must if we are to have a historically accurate understanding of Aristotle. (shrink)

This chapter begins with a discussion of Kant's theory of judgment-forms. It argues that it is not true in Kant's logic that assertoric or apodeictic judgments imply problematic ones, in the manner in which necessity and truth imply possibility in even the weakest systems of modern modal logic. The chapter then discusses theories of judgment-form after Kant, the theory of quantification, Frege's Begriffsschrift, C. I. Lewis and the beginnings of modern modal logic, the proof-theoretic approach to modal (...) logic, possible world semantics, correspondence theory, and modality and quantification. (shrink)

This collection, nearly all chosen by Boolos himself shortly before his death, includes thirty papers on set theory, second-order logic, and plural quantifiers; ...

In the present paper we propose a system of propositional logic for reasoning about justification, truthmaking, and the connection between justifiers and truthmakers. The logic of justification and truthmaking is developed according to the fundamental ideas introduced by Artemov. Justifiers and truthmakers are treated in a similar way, exploiting the intuition that justifiers provide epistemic grounds for propositions to be considered true, while truthmakers provide ontological grounds for propositions to be true. This system of logic is then (...) applied both for interpreting the notorious definition of knowledge as justified true belief and for advancing a new solution to Gettier counterexamples to this standard definition. (shrink)

Rabern and Rabern (Analysis 68:105–112 2 ) and Uzquiano (Analysis 70:39–44 4 ) have each presented increasingly harder versions of ‘the hardest logic puzzle ever’ (Boolos The Harvard Review of Philosophy 6:62–65 1 ), and each has provided a two-question solution to his predecessor’s puzzle. But Uzquiano’s puzzle is different from the original and different from Rabern and Rabern’s in at least one important respect: it cannot be solved in less than three questions. In this paper we solve Uzquiano’s (...) puzzle in three questions and show why there is no solution in two. Finally, to cement a tradition, we introduce a puzzle of our own. (shrink)

Our world is a world of change. Children are born and grow into adults. Material possessions rust and decay with age and ultimately perish. Yet scepticism about change is as old as philosophy itself. Heraclitus, for example, argued that nothing could survive the replacement of parts, so that it is impossible to step into the same river twice. Zeno argued that motion is paradoxical, so that nothing can alter its location. Parmenides and his followers went even further, arguing that the (...) very concept of qualitative change is inconsistent. Change in any respect is impossible, they argued, as change requires difference and nothing differs from itself. Few today would accept the Eleatic conclusion that change is impossible. But the topic of change continues to be a source of much debate, as it brings together various issues that are central to metaphysics, language, and logic – including identity, persistence, time, tense, and temporal logic. Author Recommends Wasserman, Ryan. 'The Problem of Change.' Philosophy Compass 1 (2006): 1–10. This article presents the problem of change and provides a brief survey of potential solutions. Haslanger, Sally. 'Persistence Through Time.' The Oxford Handbook of Metaphysics . Eds. M. Loux and D. Zimmerman. Oxford: Oxford University Press, 2003. This article presents the problem of change and provides a detailed survey of potential solutions. Heller, Mark. 'Things Change.' Philosophy and Phenomenological Research 52 (1992): 695–704. This article presents, explains, and defends the temporal parts solution to the problem of change. Hinchliff, Mark. 'The Puzzle of Change.' Philosophical Perspectives 10 (1996): 119–36. This article presents, explains, and defends the presentist solution to the problem of change. Wasserman, Ryan. 'The Argument from Temporary Intrinsics.' Australasian Journal of Philosophy 81 (2003): 413–19. This article presents, explains, and defends the relationist solution to the problem of change. Sider, Theodore. Four-Dimensionalism . Oxford: Oxford University Press, 2001. This book provides an introduction to various issues related to the problem of change, including the nature of time, tense, and persistence. Chapter 5 presents, explains, and defends the stage-view solution to the problem of change. Online Materials Change. URL: http://plato.stanford.edu/entries/change/ The Stanford Encyclopedia of Philosophy entry on change, by Chris Mortensen. Time. URL: http://plato.stanford.edu/entries/time/ The Stanford Encyclopedia of Philosophy entry on time, by Ned Markosian. Temporal Parts. URL: http://plato.stanford.edu/entries/temporal-parts/ The Stanford Encyclopedia of Philosophy entry on temporal parts, by Katherine Hawley. Material Constitution. URL: http://plato.stanford.edu/entries/material-constitution/ The Stanford Encyclopedia of Philosophy entry on material constitution, by Ryan Wasserman. Persistence Bibliography. URL: http://tedsider.org/teaching/pp_bibliography.pdf A bibliography on change and related issues, by Theodore Sider. Sample Syllabus Books on Syllabus Rea, Michael. Material Constitution: A Reader . Lanham: Rowman & Littlefield, 1997. Sider, Theodore. Four-Dimensionalism . Oxford: Oxford University Press, 2001. van Inwagen, P. and Zimmerman, D. 2008. Metaphysics: The Big Questions . 2nd ed. Oxford: Blackwell, 2008. Week 1: Time and Tense Four-Dimensionalism , chapters 1 and 2. Markosian, Ned. 'A Defence of Presentism.' Oxford Studies in Metaphysics, Volume 1. Ed. D. Zimmerman. Oxford: Oxford University Press, 2004: 47–82. In van Inwagen, P. and Zimmerman, D. Metaphysics: The Big Questions. 2nd ed. Oxford: Blackwell, 2008: 116-123. In van Inwagen, P. and Zimmerman, D. Metaphysics: The Big Questions. 2nd ed. Oxford: Blackwell, 2008: 124-129. Week 2: Time and Persistence Four-Dimensionalism , chapter 3. McGrath, Matthew. 'Temporal Parts.' Philosophy Compass 2 (2007): 730–48. In van Inwagen, P. and Zimmerman, D. Metaphysics: The Big Questions. 2nd ed. Oxford: Blackwell, 2008: 265-267. Hawthorne, J, Scala, M., and Wasserman, R. 'Recombination, Humean Supervenience, and Causal Constraints: An Argument for Temporal Parts?' Oxford Studies in Metaphysics , Volume 1. Ed. D. Zimmerman, Oxford: Oxford University Press, 2004: 301-318. Week 3: Change and Presentism In van Inwagen, P. and Zimmerman, D. Metaphysics: The Big Questions. 2nd ed. Oxford: Blackwell, 2008: 141-149. In van Inwagen, P. and Zimmerman, D. Metaphysics: The Big Questions. 2nd ed. Oxford: Blackwell, 2008: 267-269. In van Inwagen, P. and Zimmerman, D. Metaphysics: The Big Questions. 2nd ed. Oxford: Blackwell, 2008: 269-281. Week 4: Change and Temporal Parts Four-Dimensionalism , pp. 92–8. Heller, Mark. 'Things Change.' Philosophy and Phenomenological Research 52 (1992): 695–704. Lombard, Lawrence. 'The Doctrine of Temporal Parts and the "No Change" Objection.' Philosophy and Phenomenological Research 54 (1994): 365–72. Week 5: Change, Relationism, and Adverbialism Hawley, Katherine. 'Why Temporary Properties are not Relations between Physical Objects and Times.' Proceedings of the Aristotelian Society 98 (1998): 211–16. Wasserman, Ryan. 'The Argument from Temporary Intrinsics.' Australasian Journal of Philosophy 81 (2003): 413–19. Lewis, David. 'Tensing the Copula.' Mind 111 (2002): 1–13. Caplan, Ben. 'Why so Tense about the Copula?' Mind 114 (2007): 703–8. Week 6: Change and Tropes Ehring, Douglas. 'Lewis, Temporary Intrinsics and Momentary Tropes.' Analysis 57 (1997): 254–8. MacBride, Fraser. 'Four New Ways to Change Your Shape.' Australasian Journal of Philosophy 79 (2001): 81–9. Simons, Peter. 'On Being Spread Out in Time: Temporal Parts and the Problem of Change.' Existence and Explanation . Eds. W. Spohn, B.C. van Fraassen, and B. Skyrms. Dordrecht: Kluwer, 1991: 131-147. Weeks 7 and 8: Special Topic – Material Change Four-Dimensionalism , chapter 5. Selections from Material Constitution: A Reader. Week 9: Special Topic – Change of Position In van Inwagen, P. and Zimmerman, D. Metaphysics: The Big Questions. 2nd ed. Oxford: Blackwell, 2008: 186-195. In van Inwagen, P. and Zimmerman, D. Metaphysics: The Big Questions. 2nd ed. Oxford: Blackwell, 2008: 195-215. Week 10: Special topic – Changing the Past In van Inwagen, P. and Zimmerman, D. Metaphysics: The Big Questions. 2nd ed. Oxford: Blackwell, 2008: 224-235. van Iwagen, Peter. 'Changing the Past.' Oxford Studies in Metaphysics , Volume 5 . Ed. D. Zimmerman. Oxford: Oxford University Press, 2009: 1-22. Hudson, H. and Wasserman, R. 'Van Inwagen on Time Travel and Changing the Past.' Oxford Studies in Metaphysics , Volume 5. Ed. D. Zimmerman. Oxford: Oxford University Press, 2009: 41-49. (shrink)

Even among those philosophers who hold particular aspects of Hegel's philosophy in high regard, there have been few since the 19th century who have found Hegel's "metaphysics" plausible, and just as few not sceptical about the coherency of the "logical" project on which it is meant to be based. Indeed, against the type of work characteristic of the late nineteenth-century logical revolution which issued in modern analytic philosophy, it is often difficult to see exactly how Hegel's "logical" writings can be (...) read as a contribution to logic at all. Furthermore, any tendency toward skepticism here can only have been reinforced by the well-known views of Bertrand Russell about the logical inadequacy of the "Hegelian" approach of his predecessors. (shrink)

One effect of information technology is the increasing need to present information visually. The trend raises intriguing questions. What is the logical status of reasoning that employs visualization? What are the cognitive advantages and pitfalls of this reasoning? What kinds of tools can be developed to aid in the use of visual representation? This newest volume on the Studies in Logic and Computation series addresses the logical aspects of the visualization of information. The authors of these specially commissioned papers (...) explore the properties of diagrams, charts, and maps, and their use in problem solving and teaching basic reasoning skills. As computers make visual representations more commonplace, it is important for professionals, researchers and students in computer science, philosophy, and logic to develop an understanding of these tools; this book can clarify the relationship between visuals and information. (shrink)

The years 1909-1913 were among the most productive, philosophically speaking, of Bertrand Russell's entire career. In addition to the papers reprinted in this volume, he brought Principia Mathematica to its finished form and wrote The Problems of Philosophy, Theory of Knowledge and Our Knowledge of the External World . In October 1910, Russell began teaching at Cambridge, having accepted an appointment as lecturer in logic and the principles of mathematics at Trinity College for a term of five years. (...) The following year, Ludwig Wittgenstein began to attend his lectures. Within a few months, Wittgenstein had exerted a major influence on Russsell's philosophical thinking, perhaps even more than Russell had influenced his thought. (shrink)

Friends, welcome to the first page of Logic in India. It is for Indian students prepared for first paper entitled Principles of Logic in Diploma-in-Reasoning course of Department of Philosophy, Kurukshetra University, Kurukshetra, where I taught four years. It is also beneficial for graduate students who have elementary logic course in their syllabus. Basically I used both printed books and internet sources to prepare it. You can find the course syllabus in my post “Philosophy is Nothing without (...) Logic” at The Positive Philosophy page and also in the side links of this page. This is only a draft, kindly send your suggestions and ideas to dr.sirswal@gmail.com or niyamak.drs@gmail.com, I shall be highly thankful to you. A short list of reference books are mentioned below of the Table of Contents and reference sites are linked with this page. This page introduces the basic conceptions of formal logic, informal logic and also Symbolic logic. (shrink)

In this paper, I first trace the course of Prior's struggles with the concepts and phenomena of modality and the reasoning that led him to his own rather peculiar modal logic Q. I find myself in almost complete agreement with Prior's intuitions and the arguments that rest upon them. However, I will argue that those intuitions do not of themselves lead to Q, but that one must also accept a certain picture of what it is for a proposition to (...) be possible. That picture, though, is not inevitable. Rather, implicit in Prior's own account is an alternative picture that has already appeared in various guises, most prominently in the work of Adams, Fine, Deutsch, and Almog. I, too, will opt for this alternative, though I will spell it out rather differently than these philosophers. I will then show that, starting with the alternative picture, Prior's intuitions can lead instead to a much happier and more standard quantified modal logic than Q. The last section of the paper is devoted to the formal development of the logic and its metatheory. (shrink)

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

In this paper, I present a decision procedure for evaluating arguments expressed in natural language. I think that other instructors of informal logic and critical thinking might find this decision procedure to be a useful addition to their teaching resources.

I propose a new semantics for intuitionistic logic, which is a cross between the construction-oriented semantics of Brouwer-Heyting-Kolmogorov and the condition-oriented semantics of Kripke. The new semantics shows how there might be a common semantical underpinning for intuitionistic and classical logic and how intuitionistic logic might thereby be tied to a realist conception of the relationship between language and the world.

We study a range of issues connected with the idea of replacing one formula by another in a fixed (linguistic) context. The replacement core of a consequence relation ⊢ is the relation holding between a set of formulas { A 1 , ..., A m , ...} and a formula B when for every context C (·), we have C ( A 1 ), ..., C ( A m ), ... ⊢ C ( B ). Section 1 looks at some (...) differences between which inferences are lost on passing to the replacement cores of the classical and intuitionistic consequence relations. For example, we find that while the inference from A and B to , sanctioned by both these initial consequence relations, is retained on passage to the replacement core in the classical case, it is lost in the intuitionistic case. Further discussion of these two (and some other) logics occupies Sections 3 and 4. Section 2 looks at the m = 1 case, describing A as replaceable by B according to ⊢ when B is a consequence of A by the replacement core of ⊢, and inquiring as to which choices of ⊢ render this induced replaceability relation symmetric. Section 5 investigates further conceptual refinements— such as a contrast between horizontal and vertical replaceability—suggested by some work of R. B. Angell and R. Harrop (and a comment on the latter by T. J. Smiley) in the 1950s and 1960s. Appendix 1 examines a related aspect of term-for-term replacement in connection with identity in predicate logic. Appendix 2 is a repository for proofs which would otherwise clutter up Section 3. (shrink)

This paper explores the question of what logic is not. It argues against the wide spread assumptions that logic is: a model of reason; a model of correct reason; the laws of thought, or indeed is related to reason at all such that the essential nature of the two are crucially or essentially co-illustrative. I note that due to such assumptions, our current understanding of the nature of logic itself is thoroughly entangled with the nature of reason. (...) I show that most arguments for the presence of any sort of essential re- lationship between logic and reason face intractable problems and demands, and fall well short of addressing them. These arguments include those for the notion that logic is normative for reason (or that logic and correct reason are in some way the same thing), that logic is some sort of description of correct reason and that logic is an abstracted or idealised version of correct reason. A strong version of logical realism is put forward as an alternative view, and is briefly explored. (shrink)

In this work we propose an encoding of Reiter’s Situation Calculus solution to the frame problem into the framework of a simple multimodal logic of actions. In particular we present the modal counterpart of the regression technique. This gives us a theorem proving method for a relevant fragment of our modal logic.

We present the inconsistency-adaptive deontic logic DP r , a nonmonotonic logic for dealing with conflicts between normative statements. On the one hand, this logic does not lead to explosion in view of normative conflicts such as O A ∧ O ∼A, O A ∧ P ∼A or even O A ∧ ∼O A. On the other hand, DP r still verifies all intuitively reliable inferences valid in Standard Deontic Logic (SDL). DP r interprets a given (...) premise set ‘as normally as possible’ with respect to SDL. Whereas some SDL-rules are verified unconditionally by DP r , others are verified conditionally. The latter are applicable unless they rely on formulas that turn out to behave inconsistently in view of the premises. This dynamic process is mirrored by the proof theory of DP r. (shrink)

We introduce a substructural propositional calculus of Sequential Dynamic Logic that subsumes a propositional part of dynamic predicate logic, and is shown to be expressively equivalent to propositional dynamic logic. Completeness of the calculus with respect to the intended relational semantics is established.

We introduce generalized quantifiers, as defined in Tarskian semantics by Mostowski and Lindström, in logics whose semantics is based on teams instead of assignments, e.g., IF-logic and Dependence logic. Both the monotone and the non-monotone case is considered. It is argued that to handle quantifier scope dependencies of generalized quantifiers in a satisfying way the dependence atom in Dependence logic is not well suited and that the multivalued dependence atom is a better choice. This atom is in (...) fact definably equivalent to the independence atom recently introduced by Väänänen and Grädel. (shrink)

Here I revisit Bolzano's criticisms of Kant on the nature of logic. I argue that while Bolzano is correct in taking Kant to conceive of the traditional logic as a science of the activity of thinking rather than the content of thought, he is wrong to charge Kant with a failure to identify and examine this content itself within logic as such. This neglects Kant's own insistence that traditional logic does not exhaust logic as such, (...) since it must be supplemented by a transcendental logic that will in fact study nothing other than thought's content. Once this feature of Kant's views is brought to light, a much deeper accord emerges between the two thinkers than has hitherto been appreciated, on both the nature of the content that is at issue in logic and the sense of logic's generality and formality. (shrink)

We study a new formal logic LD introduced by Prof. Grzegorczyk. The logic is based on so-called descriptive equivalence, corresponding to the idea of shared meaning rather than shared truth value. We construct a semantics for LD based on a new type of algebras and prove its soundness and complete- ness. We further show several examples of classical laws that hold for LD as well as laws that fail. Finally, we list a number of open problems.

What is informal logic, is it ``logic" at all? Main contemporary approaches are briefly presented and critically commented. If the notion of consequence is at the heart of logic, does it make sense to speak about ``informal" consequence? A valid inference is truth preserving, if the premises are true, so is the conclusion. According to Prawitz two further conditions must also be satisfied in the case of classical logical consequence: (i) it is because of the logical form (...) of the sentences involved and not because of their specific content that the inference is truth preserving; (ii) it is necessary that if the premises are true, then so is the conclusion. According to the prevalent criteria of informal logic an argument is cogent if and only if (i) its premises are rationally Acceptable, (ii) its premises are Relevant to its conclusion and (iii) its premises constitute Grounds adequate for accepting the conclusion (the ``ARG" conditions according to Govier). The ARG criteria characterize a certain broad kind of consequence relation. We do not (in general) have truth preservence in cogent arguments but if the premises are acceptable and other criteria are met, then so is the conclusion. We can speak about form in a loose sense and finally, there is rational necessity of the grounding or support relation. So a certain broad notion of logical consequence emerges from this comparison. The norms of ARG are norms of elementary scientific methodology in which argument is seen as embodying reasoning within a process of inquiry or of belief formation in subject areas accessible to every informed intellectual. (shrink)

Epistemic closure has been a central issue in epistemology over the last forty years. According to versions of the relevant alternatives and subjunctivist theories of knowledge, epistemic closure can fail: an agent who knows some propositions can fail to know a logical consequence of those propositions, even if the agent explicitly believes the consequence (having “competently deduced” it from the known propositions). In this sense, the claim that epistemic closure can fail must be distinguished from the fact that agents do (...) not always believe, let alone know, the consequences of what they know—a fact that raises the “problem of logical omniscience” that has been central in epistemic logic. -/- This paper, part I of II, is a study of epistemic closure from the perspective of epistemic logic. First, I introduce models for epistemic logic, based on Lewis’s models for counterfactuals, that correspond closely to the pictures of the relevant alternatives and subjunctivist theories of knowledge in epistemology. Second, I give an exact characterization of the closure properties of knowledge according to these theories, as formalized. Finally, I consider the relation between closure and higher-order knowledge. The philosophical repercussions of these results and results from part II, which prompt a reassessment of the issue of closure in epistemology, are discussed further in companion papers. -/- As a contribution to modal logic, this paper demonstrates an alternative approach to proving modal completeness theorems, without the standard canonical model construction. By “modal decomposition” I obtain completeness and other results for two non-normal modal logics with respect to new semantics. One of these logics, dubbed the logic of ranked relevant alternatives, appears not to have been previously identified in the modal logic literature. More broadly, the paper presents epistemology as a rich area for logical study. (shrink)

The present chapter describes a probabilistic framework of human reasoning. It is based on probability logic. While there are several approaches to probability logic, we adopt the coherence based approach.

In this paper I will develop a view about the semantics of imperatives, which I term Modal Noncognitivism, on which imperatives might be said to have truth conditions (dispositionally, anyway), but on which it does not make sense to see them as expressing propositions (hence does not make sense to ascribe to them truth or falsity). This view stands against “Cognitivist” accounts of the semantics of imperatives, on which imperatives are claimed to express propositions, which are then enlisted in explanations (...) of the relevant logico-semantic phenomena. It also stands against the major competitors to Cognitivist accounts—all of which are non-truth-conditional and, as a result, fail to provide satisfying explanations of the fundamental semantic characteristics of imperatives (or so I argue). The view of imperatives I defend here improves on various treatments of imperatives on the market in giving an empirically and theoretically adequate account of their semantics and logic. It yields explanations of a wide range of semantic and logical phenomena about imperatives—explanations that are, I argue, at least as satisfying as the sorts of explanations of semantic and logical phenomena familiar from truth-conditional semantics. But it accomplishes this while defending the notion—which is, I argue, substantially correct—that imperatives could not have propositions, or truth conditions, as their meanings. (shrink)

In a paper from the 1980s, Byrd claims that the logic of "eventual permanence" for linear time is KD5. In this note we take up Byrd's novel argument for this and, treating the problem as one concerning translational embeddings, show that rather than KD5 the correct logic of "eventual permanence" is KD45.

The purpose of the present note is to advertise an interesting conjecture concerning a well-known translation in modal logic, by confirming a (highly restricted) special case of the conjecture.

This paper develops a formal system, consisting of a language and semantics, called serial logic ( SL ). In rough outline, SL permits quantification over, and reference to, some finite number of things in an order , in an ordinary everyday sense of the word “order,” and superplural quantification over things thus ordered. Before we discuss SL itself, some mention should be made of an issue in philosophical logic which provides the background to the development of SL , (...) and with respect to which I wish to contend that the system permits progress. (shrink)

We shed light on an old problem by showing that the logic LP cannot define a binary connective $\odot$ obeying detachment in the sense that every valuation satisfying $\varphi$ and $(\varphi\odot\psi)$ also satisfies $\psi$ , except trivially. We derive this as a corollary of a more general result concerning variable sharing.

This is part I of a two-part essay introducing case-intensional first order logic (CIFOL), an easy-to-use, uniform, powerful, and useful combination of first-order logic with modal logic resulting from philosophical and technical modifications of Bressan’s General interpreted modal calculus (Yale University Press 1972 ). CIFOL starts with a set of cases; each expression has an extension in each case and an intension, which is the function from the cases to the respective case-relative extensions. Predication is intensional; identity (...) is extensional. Definite descriptions are context-independent terms, and lambda-predicates and -operators can be introduced without constraints. These logical resources allow one to define, within CIFOL, important properties of properties, viz., extensionality (whether the property applies, depends only on an extension in one case) and absoluteness, Bressan’s chief innovation that allows tracing an individual across cases without recourse to any notion of “rigid designation” or “trans-world identity.” Thereby CIFOL abstains from incorporating any metaphysical principles into the quantificational machinery, unlike extant frameworks of quantified modal logic. We claim that this neutrality makes CIFOL a useful tool for discussing both metaphysical and scientific arguments involving modality and quantification, and we illustrate by discussing in diagrammatic detail a number of such arguments involving the extensional identification of individuals via absolute (substance) properties, essential properties, de re vs. de dicto , and the results of possible tests. (shrink)

In a number of publications A.N. Prior considered the use of what he called ‘metric tense logic’. This is a tense logic in which the past and future operators P and F have an index representing a temporal distance, so that Pnα means that α was true n -much ago, and Fn α means that α will be true n -much hence. The paper investigates the use of metric predicate tense logic in formalising phenomena ormally treated by (...) such devices as multiple indexing or quantification over times. (shrink)

Modeling a complex phenomena such as the mind presents tremendous computational complexity challenges. Modeling field theory (MFT) addresses these challenges in a non-traditional way. The main idea behind MFT is to match levels of uncertainty of the model (also, a problem or some theory) with levels of uncertainty of the evaluation criterion used to identify that model. When a model becomes more certain, then the evaluation criterion is adjusted dynamically to match that change to the model. This process is called (...) the Dynamic Logic of Phenomena (DLP) for model construction and it mimics processes of the mind and natural evolution. This paper provides a formal description of DLP by specifying its syntax, semantics, and reasoning system. We also outline links between DLP and other logical approaches. Computational complexity issues that motivate this work are presented using an example of polynomial models. (shrink)

Abstract In this article it is argued that the moral dilemma discussion model usually relied upon in moral development research is not by itself an effective way to help students achieve principled moral reasoning. This goal is more effectively achieved by directly teaching in tandem the cognitive skills of logic, role?taking, and justice operations which have been clearly identified by theory and research as the constitutive elements of moral reasoning. The argument presents statistical data on the results of (...) pre? and post?tests with the Defining Issues Test (DIT) of three variations of an ethics course design and two comparison groups over a five?year period. The ethics course design in its most intense form integrated the study of logic, developmental theory, and classic philosophic texts directly to target, teach and exercise the constitutive elements of moral reasoning and their application to controversial social issues. Changes in pre? and post?course DIT scores show effect sizes nearly double those of the most successful moral education projects previously reported in the literature. This article explains the intervention design, reviews the statistical data and compares the results with those achieved by other studies reviewed in the literature. (shrink)

We are used to the idea that computers operate on numbers, yet another kind of data is equally important: the syntax of formal languages, with variables, binding, and alpha-equivalence. The original application of nominal techniques, and the one with greatest prominence in this paper, is to reasoning on formal syntax with variables and binding. Variables can be modelled in many ways: for instance as numbers (since we usually take countably many of them); as links (since they may `point' to a (...) binding site in the term, where they are bound); or as functions (since they often, though not always, represent `an unknown'). None of these models is perfect. In every case for the models above, problems arise when trying to use them as a basis for a fully formal mechanical treatment of formal language. The problems are practical—but their underlying cause may be mathematical. The issue is not whether formal syntax exists, since clearly it does, so much as what kind of mathematical structure it is. To illustrate this point by a parody, logical derivations can be modelled using a Gödel encoding (i.e., injected into the natural numbers). It would be false to conclude from this that proof-theory is a branch of number theory and can be understood in terms of, say, Peano's axioms. Similarly, as it turns out, it is false to conclude from the fact that variables can be encoded e.g., as numbers, that the theory of syntax-with-binding can be understood in terms of the theory of syntax-without-binding, plus the theory of numbers (or, taking this to a logical extreme, purely in terms of the theory of numbers). It cannot; something else is going on. What that something else is, has not yet been fully understood. In nominal techniques, variables are an instance of names, and names are data. We model names using urelemente with properties that, pleasingly enough, turn out to have been investigated by Fraenkel and Mostowski in the first half of the 20th century for a completely different purpose than modelling formal language. What makes this model really interesting is that it gives names distinctive properties which can be related to useful logic and programming principles for formal syntax. Since the initial publications, advances in the mathematics and presentation have been introduced piecemeal in the literature. This paper provides in a single accessible document an updated development of the foundations of nominal techniques. This gives the reader easy access to updated results and new proofs which they would otherwise have to search across two or more papers to find, and full proofs that in other publications may have been elided. We also include some new material not appearing elsewhere. (shrink)

We examine the transitions between sets of possible worlds described by the compositional semantics of Modal Dependence Logic, and we use them as the basis for a dynamic version of this logic. We give a game theoretic semantics, a (compositional) transition semantics and a power game semantics for this new variant of modal Dependence Logic, and we prove their equivalence; and furthermore, we examine a few of the properties of this formalism and show that Modal Dependence (...) class='Hi'>Logic can be recovered from it by reasoning in terms of reachability. Then we show how we can generalize this approach to a very general formalism for reasoning about transformations between pointed Kripke models. (shrink)

A family of symmetries of polyadic inductive logic are described which in turn give rise to the purportedly rational Permutation Invariance Principle stating that a rational assignment of probabilities should respect these symmetries. An equivalent, and more practical, version of this principle is then derived.

IT is well known that the art of logic (logica or diale(c)tica) knew a remarkable flourishing period during the twelfth century. In the first half of the century its main centres in Paris were: the School of Notre DameI, of St. Victor2, of the Petit Pont3 and of Mont Ste Geneviève4. The present paper aims to offer some new evidence from the manuscripts on the teaching of logic as given in the School of Mont Ste.

In this paper, I want to substantiate three related claims regarding causal discovery from non-experimental data. Firstly, in scientific practice, the problem of ignorance is ubiquitous, persistent, and far-reaching. Intuitively, the problem of ignorance bears upon the following situation. A set of random variables V is studied but only partly tested for (conditional) independencies; i.e. for some variables A and B it is not known whether they are (conditionally) independent. Secondly, Judea Pearl’s most meritorious and influential algorithm for causal discovery (...) (the IC algorithm) cannot be applied in cases of ignorance. It presupposes that a full list of (conditional) independence relations is on hand and it would lead to unsatisfactory results when applied to partial lists. Finally, the problem of ignorance is successfully treated by means of ALIC, the adaptive logic for causal discovery presented in this paper. (shrink)

John Paul IIs prescriptions for humanizing the world economy are not likely to have the impact of Leo XIIIs Rerum Novarum because the reception accorded reform proposals depends on opportunity and circumstances as well as the ethical soundness and the logic of the principles advanced. Because of historical circumstances, Thomas Mores critique of the emerging agricultural capitalism of his time was ignored while Catholic Social Teaching inspired by Kettelers work, endorsed and publicized by Leo, strongly impacted the industrializing (...) world of a century ago. Whereas More defended a church seen as an impediment to economic progress by leading-edge Protestant entrepreneurs, Catholic Social Teaching was propagated at a time when Catholicism was enmeshed in the spread of industrialization. In our current world economy, increasingly dominated by non-Catholic regions of the East and a resurgent liberalism in the West, John Pauls recommendations currently seem more likely to meet the fate of Mores critique than of Leos. Implications for stakeholder theory are also discussed. (shrink)

This paper shows that the basic logic induced by the parallel recurrence $\hspace {-2pt}\mbox {\raisebox {-0.01pt}{\@setfontsize \small {7}{8}$\wedge$}\hspace {-3.55pt}\raisebox {4.5pt}{\tiny $\mid$}\hspace {2pt}}$ of computability logic (i.e., the one in the signature $\{\neg,$\wedge$,\vee,\hspace {-2pt}\mbox {\raisebox {-0.01pt}{\@setfontsize \small {7}{8}$\wedge$}\hspace {-3.55pt}\raisebox {4.5pt}{\tiny $\mid$}\hspace {2pt}},\hspace {-2pt}\mbox {\raisebox {0.12cm}{\@setfontsize \small {7}{8}$\vee$}\hspace {-3.6pt}\raisebox {0.02cm}{\tiny $\mid$}\hspace {2pt}}\}$ ) is a proper superset of the basic logic induced by the branching recurrence $\mbox {\raisebox {-0.05cm}{$\circ$}\hspace {-0.11cm}\raisebox {3.1pt}{\tiny $\mid$}\hspace {2pt}}$ (i.e., the one in the signature $\{\neg,$\wedge$,\vee,\mbox (...) {\raisebox {-0.05cm}{$\circ$}\hspace {-0.11cm}\raisebox {3.1pt}{\tiny $\mid$}\hspace {2pt}},\mbox {\raisebox {0.12cm}{$\circ$}\hspace {-0.115cm}\raisebox {0.02cm}{\tiny $\mid$}\hspace {2pt}}\}$ ). The latter is known to be precisely captured by the cirquent calculus system CL15 , conjectured by Japaridze to remain sound—but not complete—with $\hspace {-2pt}\mbox {\raisebox {-0.01pt}{\@setfontsize \small {7}{8}$\wedge$}\hspace {-3.55pt}\raisebox {4.5pt}{\tiny $\mid$}\hspace {2pt}}$ instead of $\mbox {\raisebox {-0.05cm}{$\circ$}\hspace {-0.11cm}\raisebox {3.1pt}{\tiny $\mid$}\hspace {2pt}}$ . The present result is obtained by positively verifying that conjecture. A secondary result of the paper is showing that $\hspace {-2pt}\mbox {\raisebox {-0.01pt}{\@setfontsize \small {7}{8}$\wedge$}\hspace {-3.55pt}\raisebox {4.5pt}{\tiny $\mid$}\hspace {2pt}}$ is strictly weaker than $\mbox {\raisebox {-0.05cm}{$\circ$}\hspace {-0.11cm}\raisebox {3.1pt}{\tiny $\mid$}\hspace {2pt}}$ in the sense that, while $\mbox {\raisebox {-0.05cm}{$\circ$}\hspace {-0.11cm}\raisebox {3.1pt}{\tiny $\mid$}\hspace {2pt}}F$ logically implies $\hspace {-2pt}\mbox {\raisebox {-0.01pt}{\@setfontsize \small {7}{8}$\wedge$}\hspace {-3.55pt}\raisebox {4.5pt}{\tiny $\mid$}\hspace {2pt}}F$ , the reverse does not hold. (shrink)

We develop a semantics for independence logic with respect to what we will call general models. We then introduce a simpler entailment semantics for the same logic, and we reduce the validity problem in the former to the validity problem in the latter. Then we build a proof system for independence logic and prove its soundness and completeness with respect to entailment semantics.

Fourteen philosophers share their experience teaching Peirce to undergraduates in a variety of settings and a variety of courses. The latter include introductory philosophy courses as well as upper-level courses in American philosophy, philosophy of religion, logic, philosophy of science, medieval philosophy, semiotics, metaphysics, etc., and even an upper-level course devoted entirely to Peirce. The project originates in a session devoted to teaching Peirce held at the 2007 annual meeting of the Society for the Advancement of American (...) Philosophy. The session, organized by James Campbell and Richard Hart, was co-sponsored by the American Association of Philosophy Teachers. (shrink)

We present a reading of the traditional syllogistics in a fragment of the propositional intuitionistic multiplicative linear logic and prove that with respect to a diagrammatic logical calculus that we introduced in a previous paper, a syllogism is provable in such a fragment if and only if it is diagrammatically provable. We extend this result to syllogistics with complemented terms à la De Morgan, with respect to a suitable extension of the diagrammatic reasoning system for the traditional case and (...) a corresponding reading of such De Morgan style syllogistics in the previously referred to fragment of linear logic. (shrink)

Łukasiewicz three-valued logic Ł3 is often understood as the set of all 3-valued valid formulas according to Łukasiewicz’s 3-valued matrices. Following Wojcicki, in addition, we shall consider two alternative interpretations of Ł3: “well-determined” Ł3a and “truth-preserving” Ł3b defined by two different consequence relations on the 3-valued matrices. The aim of this paper is to provide (by using Dunn semantics) dual equivalent two-valued under-determined and over-determined interpretations for Ł3, Ł3a and Ł3b. The logic Ł3 is axiomatized as an extension (...) of Routley and Meyer’s basic positive logic following Brady’s strategy for axiomatizing many-valued logics by employing two-valued under-determined or over-determined interpretations. Finally, it is proved that “well determined” Łukasiewicz logics are paraconsistent. (shrink)

First, we describe a psychological experiment in which the participants were asked to determine whether sentences of first-order logic were true or false in finite graphs. Second, we define two proof systems for reasoning about truth and falsity in first-order logic. These proof systems feature explicit models of cognitive resources such as declarative memory, procedural memory, working memory, and sensory memory. Third, we describe a computer program that is used to find the smallest proofs in the aforementioned proof (...) systems when capacity limits are put on the cognitive resources. Finally, we investigate the correlation between a number of mathematical complexity measures defined on graphs and sentences and some psychological complexity measures that were recorded in the experiment. (shrink)

Unlike standard modal logics, many dynamic epistemic logics are not closed under uniform substitution. A distinction therefore arises between the logic and its substitution core, the set of formulas all of whose substitution instances are valid. The classic example of a non-uniform dynamic epistemic logic is Public Announcement Logic (PAL), and a well-known open problem is to axiomatize the substitution core of PAL. In this paper we solve this problem for PAL over the class of all relational (...) models with infinitely many agents, PAL-K_omega, as well as standard extensions thereof, e.g., PAL-T_omega, PAL-S4_omega, and PAL-S5_omega. We introduce a new Uniform Public Announcement Logic (UPAL), prove completeness of a deductive system with respect to UPAL semantics, and show that this system axiomatizes the substitution core of PAL. (shrink)

A well-known open problem in epistemic logic is to give a syntactic characterization of the successful formulas. Semantically, a formula is successful if and only if for any pointed model where it is true, it remains true after deleting all points where the formula was false. The classic example of a formula that is not successful in this sense is the “Moore sentence” p ∧ ¬BOXp, read as “p is true but you do not know p.” Not only is (...) the Moore sentence unsuccessful, it is self-refuting, for it never remains true as described. We show that in logics of knowledge and belief for a single agent (extended by S5), Moorean phenomena are the source of all self-refutation; moreover, in logics for an introspective agent (extending KD45), Moorean phenomena are the source of all unsuccessfulness as well. This is a distinctive feature of such logics, for with a non-introspective agent or multiple agents, non-Moorean unsuccessful formulas appear. We also consider how successful and self-refuting formulas relate to the Cartesian and learnable formulas, which have been discussed in connection with Fitch’s “paradox of knowability.” We show that the Cartesian formulas are exactly the formulas that are not eventually self-refuting and that not all learnable formulas are successful. In an appendix, we give syntactic characterizations of the successful and the self-refuting formulas. (shrink)

This article challenges the common view that improvements in critical thinking are best pursued by investigations in informal logic. From the perspective of research in psychology and neuroscience, hu-man inference is a process that is multimodal, parallel, and often emo-tional, which makes it unlike the linguistic, serial, and narrowly cog-nitive structure of arguments. At-tempts to improve inferential prac-tice need to consider psychological error tendencies, which are patterns of thinking that are natural for peo-ple but frequently lead to mistakes in (...) judgment. This article discusses two important but neglected error ten-dencies: motivated inference and fear-driven inference. (shrink)

Statistical Default Logic (SDL) is an expansion of classical (i.e., Reiter) default logic that allows us to model common inference patterns found in standard inferential statistics, e.g., hypothesis testing and the estimation of a population‘s mean, variance and proportions. This paper presents an embedding of an important subset of SDL theories, called literal statistical default theories, into stable model semantics. The embedding is designed to compute the signature set of literals that uniquely distinguishes each extension on a statistical (...) default theory at a pre-assigned error-bound probability. (shrink)

Quantum theory is a probabilistic theory that embodies notoriously striking correlations, stronger than any that classical theories allow but not as strong as those of hypothetical ‘super-quantum’ theories. This raises the question ‘Why the quantum?’—whether there is a handful of principles that account for the character of quantum probability. We ask what quantum-logical notions correspond to this investigation. This project isn’t meant to compete with the many beautiful results that information-theoretic approaches have yielded but rather aims to complement that work.

Qualitative Reasoning (QR) is an area of research within Artificial Intelligence that automates reasoning and problem solving about the physical world. QR research aims to deal with representation and reasoning about continuous aspects of entities without the kind of precise quantitative information needed by conventional numerical analysis techniques. Order-of-magnitude Reasoning (OMR) is an approach in QR concerned with the analysis of physical systems in terms of relative magnitudes. In this paper we consider the logic OMR_N for order-of-magnitude reasoning with (...) the bidirectional negligibility relation. It is a multi-modal logic given by a Hilbert-style axiomatization that reflects properties and interactions of two basic accessibility relations (strict linear order and bidirectional negligibility). Although the logic was studied in many papers, nothing was known about its decidability. In the paper we prove decidability of OMR N by showing that the logic has the strong finite model property. (shrink)

This book presents a comprehensive critical survey of all the logical doctrines of the well-known but little understood Catalan philosopher and theologian, Ramon Llull (1232-1316). The highly idiosyncratic character of Llull's writings has long frustrated the efforts of general medieval historians to define his contribution to later scholastic culture, and has resisted attempts by specialists to explain exactly how his methods and procedures worked. This new study--the first book-length treatment in English of Llull's philosophy to appear in over fifty years--seeks (...) to resolve both of these difficulties. The author argues that Llull's peculiar logical doctrines result from his reinterpretation of the use of commonplace scholastic teachings according to his own preferred ethical and spiritual ideals. (shrink)

This paper surveys important work done in relevant logic in the past 10 years.

This book deals with questions everyone should become acquainted with when studying logic. It, however, has nothing in common with current introductions to logic, which are actually introductions to a particular logic paradigm, mathematical logic. There is nothing wrong with this, except that at present such paradigm is a problematic one. For mathematical logic, on the one hand, is inadequate for the use for which it was originally designed – to give mathematics the most secure (...) foundation – and, on the other hand, has found no crucial alternative use. This fact is almost invariably passed over in silence in current introductions to logic. This is as it could be expected, for people working within a given paradigm tend to consider it as the only possible one and cannot conceive of any alternative. But to read only such introductions will give a rather narrow view of the subject. In this book mathematical logic is presented as being not ‘The Logic’ but rather a particular logic paradigm, with some basic limitations. An alternative logic paradigm is outlined, meant to remove such limitations, in which logic is supposed to be a logic of discovery and justification a part of discovery. With respect to mathematical logic, the alternative paradigm involves a different view of the relation of logic with nature. Logic is a continuation of the problem solving procedures with which biological evolution has endowed humans and all organisms generally. The alternative paradigm also involves a different view of the relation of logic with method. Method is the source of logic. To implement the alternative paradigm, a number of basic discovery procedures are discussed. By their very nature, discovery procedures do not form a closed set, given once for all, but rather an open set, which can always be expanded. Those considered in this book, however, are especially important. This book is not intended to replace any introduction to mathematical logic but rather to be read parallel to it. Its aim is, on the one hand, to put mathematical logic into perspective, on the other hand, to show that an alternative paradigm is possible and to outline it. I hope it will give the reader a better feel of what logic really is. (shrink)

This paper contributes to an increasing literature strengthening the connection between epistemic logic and epistemology (Van Benthem, Hendricks). I give a survey of the most important applications of epistemic logic in epistemology. I show how it is used in the history of philosophy (Steiner's reconstruction of Descartes' sceptical argument), in solutions to Moore's paradox (Hintikka), in discussions about the relation between knowledge and belief (Lenzen) and in an alleged refutation of verificationism (Fitch) and I examine an early argument (...) about the (im)possibility of epistemic logic (Hocutt). Subsequently, I deal with interpretive questions about epistemic logic that, although implicitly, already appeared in the first section. I contend that a conception of epistemic logic as a theory of knowledge assertions is incoherent, and I argue that it does not make sense to adopt a normative interpretation of epistemic logic. Finally, I show ways to extend epistemic logic with other branches of philosophical logic so as to make it useful for some epistemological questions. Conditional logics and logics of public announcement are used to understand causal theories of knowledge and versions of reliabilism. Temporal logic helps understand some dynamic aspects of knowledge as well as the verificationist thesis. (shrink)

We present the simplest solution ever to 'the hardest logic puzzle ever'. We then modify the puzzle to make it even harder and give a simple solution to the modified puzzle. The final sections investigate exploding god-heads and a two-question solution to the original puzzle.

Rabern and Rabern (2008) have noted the need to modify `the hardest logic puzzle ever’ as presented in Boolos 1996 in order to avoid trivialization. Their paper ends with a two-question solution to the original puzzle, which does not carry over to the amended puzzle. The purpose of this note is to offer a two-question solution to the latter puzzle, which is, after all, the one with a claim to being the hardest logic puzzle ever.

The purpose of this paper is to examine the status of logic from a metaphysical point of view – what is logic grounded in and what is its relationship with metaphysics. There are three general lines that we can take. 1) Logic and metaphysics are not continuous, neither discipline has no bearing on the other one. This seems to be a rather popular approach, at least implicitly, as philosophers often skip the question altogether and go about their (...) business, be it logic or metaphysics. However, it is not a particularly plausible view and it is very hard to maintain consistently, as we will see. 2) Logic is prior to metaphysics and has metaphysical implications. The extreme example of this kind of approach is the Dummettian one, according to which metaphysical questions are reducible to the question of which logic to adopt. 3) Metaphysics is prior to logic, and your logic should be compatible with your metaphysics. This approach suggests an answer to the question of what logic is grounded in, namely, metaphysics. Here I will defend the third option. (shrink)