In 1672 John Eliot, English Puritan educator and missionary to New England, published _The Logick Primer: Some Logical Notions to initiate the INDIANS in the knowledge of the Rule of Reason; and to know how to make use thereof_. This roughly 80 page pamphlet introduces syllogistic vocabulary and reasoning so that syllogisms can be created from Biblical texts. The use of logic for proselytizing purposes is not distinctive: What is distinctive about Eliot's book is that it is bilingual, written (...) in both English and Massachusett (Wôpanâak), an Algonquian language spoken in eastern coastal and southeastern Massachusetts. It is one of the earliest bilingual logic textbooks and it is the first, and perhaps only, textbook in an indigenous American language. -/- In this paper, we (1) introduce John Eliot and the linguistic context he was working in; (2) introduce the contents of the _Logick Primer_---vocabulary, inference patterns, and applications; (3) discuss notions of 'Puritan' logic that inform this primer; and (4) address the importance of his work in documenting and expanding the Massachusett language and the problems that accompany his colonial approach to this work. (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)

Jerónimo Pardo's analysis of the problems raised by some popular trinitarian paralogisms is studied in this paper. The purpose is to show how the notions employed by the theologians in order to solve theological problems were introduced into a textbook on logic to deal with some genuinely logical problems. First, the problem, common to all logical approaches, of achieving a fine-grained analysis of the logical form of syllogistical inferences. Second, the problem, typical of the terminist approach to (...) class='Hi'>logic, of guaranteeing that Latin is an adequate vehicle for logical analysis. (shrink)

The Symbolic Logic Study Guide is designed to accompany the widely used symbolic logic textbook Language, Proof and Logic (LPL), by Jon Barwise and John Etchemendy (CSLI Publications 2003). The guide has two parts. The first part contains condensed, essential lecture notes, which streamline and systematize the first fourteen chapters of the book into seven teaching sections, and thus provide a clear, well-designed roadmap for the understanding of the text. The second part consists of twelve sample (...) quizzes and solutions. The Symbolic Logic Study Guide is essential for all instructors and students who use LPL in their symbolic logic classes. (shrink)

LK is much more difficult than NK, and to make matters worse, Gentzen's intention is still unclear when it comes to that system (LK). -/- The second and third volumes of the series titled What is LK? conduct the detailed survey of each inference-figure in a toe-to-toe way, as it were, which most mathematicians looked through. -/- The present volume, Vol.3, looks deeper into those operational inference-figures which concerns propositional logic.

Originally published in 1930, this well-known text by the late British philosopher Abraham Wolf offers the student a practical, consistent, and comprehensive approach to logic which remains unique in its field. Dr. Wolf here deals systematically with the two main types of reasoning - formal logic and inductive logic - and their various applications. All the main elements of logic - such as inference, syllogism, dilemmas, evidence, deductive and inductive methods, and probability - are subsumed under (...) these general headings. Professor Wolf strongly emphasizes the fact that logic cannot be mastered without some practical application; at the end of this volume, therefore, he includes a section of exercises based on each chapter. His unusally interesting appendix examines such matters as symbolic as logic, fallacies, the law of contradiction, modal propositions, the existential import of categorical propositions, predictables, and categories. (shrink)

Originally published in 1930, this well-known text by the late British philosopher Abraham Wolf offers the student a practical, consistent, and comprehensive approach to logic which remains unique in its field. Dr. Wolf here deals systematically with the two main types of reasoning - formal logic and inductive logic - and their various applications. All the main elements of logic - such as inference, syllogism, dilemmas, evidence, deductive and inductive methods, and probability - are subsumed under (...) these general headings. Professor Wolf strongly emphasizes the fact that logic cannot be mastered without some practical application; at the end of this volume, therefore, he includes a section of exercises based on each chapter. His unusally interesting appendix examines such matters as symbolic as logic, fallacies, the law of contradiction, modal propositions, the existential import of categorical propositions, predictables, and categories. (shrink)

In the middle of the 1980s, logical tools were discovered that make it possible to model changes in belief and knowledge in entirely new ways. These logical tools turned out to be applicable both to human beliefs and to the contents of databases. This is the first textbook in this new area. It contains both discursive chapters with a minimum of formalism and formal chapters in which proofs and proof methods are presented. By using different selections from the formal (...) section the book can be used on all levels of University education. (shrink)

SUGGESTED COURSES Introductory level A (Requires very little background in logic .): 4: -9 - - -7 -2 Introductory level B: -9,:+-+ -,2:+,2: -,3:20+-22+ -7 -2 ...

The booklet provides teachers and others who use the textbook "Logic" by Srećko Kovač with basic theoretical and philosophical ideas about logic as a discipline, as well as practical instructions on how to use the textbook.

Mental health research and care in the twenty first century faces a series of conceptual and ethical challenges arising from unprecedented advances in the neurosciences, combined with radical cultural and organisational change. The Oxford Textbook of Philosophy of Psychiatry is aimed at all those responding to these challenges, from professionals in health and social care, managers, lawyers and policy makers; service users, informal carers and others in the voluntary sector; through to philosophers, neuroscientists and clinical researchers. Organised around a (...) series of case studies in five key topic areas - concepts of disorder, the philosophical history of psychopathology, philosophy of science, ethics and philosophical value theory, and philosophy of mind - the book provides a detailed introduction to the field and a framework for study and skill development. Each case study is supported by selected readings from both philosophy and mental health, thinking skills exercises, self-test questions, key learning points and detailed guides to further reading. There is an introduction for philosophers to classification and descriptive psychopathology, and for practitioners to philosophical methods (including logic). The philosophical topics covered include philosophical methods (analytic and Continental); phenomenology, hermeneutics and existentialism, logical empiricism and its successors; idealism and realism; reasons and causes; and modern theories of mind and brain, free will and personal identity. Topics from mental health include psychiatry and 'anti-psychiatry'; Jaspers' psychopathology and the new neurosciences; the future of psychiatric classifications; strengths-based approaches, recovery practice, social inclusion and diversity; and key topics in psychopathology, such as delusion, autism, disorders of volition, thought insertion and other experiences in schizophrenia. The Oxford Textbook of Philosophy of Psychiatry aims to secure the skills-base of the discipline by bringing philosophers closer to the realities of practice in mental health, and mental health practitioners closer to the resources of philosophy as a partner to the sciences in responding to the challenges of twenty-first century mental health and social care. (shrink)

It is frequently claimed by critical thinking and logic textbooks that people commonly commit the fallacy of affirming the consequent. This paper argues that if people did commitment this fallacy with any type of regularity, then it would be easy to locate examples from news media. However, a review of the examples cited by critical thinking and logic textbooks show that it is nearly impossible to find a real instance of this logical fallacy since purported instances of the (...) fallacy are not deductive inferences at all but are instead inferences to the best explanation. (shrink)

LK is much more difficult than NK, and to make matters worse, Gentzen's intention is still unclear when it comes to that system (LK). -/- This book, Vol.1 of the series titled What is LK?, tackles this issue, focusing on the sequent, the most enigmatic notion we find in LK. The dependence-relation we find in NK shall play a crucial role in that investigation. -/- The style is typically textbook-like, so readers can learn the system of LK, using this (...) series as a guidance, too. (shrink)

In his Fallacies, Hamblin (1970) castigated what he called the “standard treatment” of fallacies in introductory textbooks of his day as debased, worn-out, dogmatic, and unconnected to anything else in modern logic. A bit more than 50 years later, I investigate the treatment of fallacies in six English-language introductory textbooks with a section on fallacies that have gone into 10 or more editions, to see whether their treatment of fallacies has taken account of the scholarship on fallacies that Hamblin’s (...) book evoked and is better than the treatment that Hamblin described. The answer is: not much. I conclude by setting out criteria for an adequate treatment of fallacies in an introductory textbook. (shrink)

An introductory logic textbook where the central concept is not deduction but search and logical form. (Deduction - logical consequence - drops out as a special case. TIt is meant for a class-based rather than a lecture-based course, and for students with general interests.

An advanced-level logic textbook that presents proof construction on equal footing with model building. Potentially relevant to students of mathematics and computer science as well.

Logic is essential to correct reasoning and also has important theoretical applications in philosophy, computer science, linguistics, and mathematics. This book provides an exceptionally clear introduction to classical logic, with a unique approach that emphasizes both the hows and whys of logic. Here Nicholas Smith thoroughly covers the formal tools and techniques of logic while also imparting a deeper understanding of their underlying rationales and broader philosophical significance. In addition, this is the only introduction to (...) class='Hi'>logic available today that presents all the major forms of proof--trees, natural deduction in all its major variants, axiomatic proofs, and sequent calculus. The book also features numerous exercises, with solutions available on an accompanying website. -/- Logic is the ideal textbook for undergraduates and graduate students seeking a comprehensive and accessible introduction to the subject. -/- Provides an essential introduction to classical logic Emphasizes the how and why of logic Covers both formal and philosophical issues Presents all the major forms of proof--from trees to sequent calculus Features numerous exercises, with solutions available online The ideal textbook for undergraduates and graduate students . (shrink)

A textbook on modal logic, intended for readers already acquainted with the elements of formal logic, containing nearly 500 exercises. Brian F. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability. Illustrative chapters focus on deontic logic and conditionality. Modality is a rapidly expanding branch of logic, and familiarity with the subject is now regarded as a necessary part of every philosopher's technical (...) equipment. Chellas here offers an up-to-date and reliable guide essential for the student. (shrink)

Public universities in Poland receive fairly limited financial support for creating e-textbooks (interactive online textbooks) and lack the appropriate ICT competences among teaching staff, especially in the case of non-technical universities. The authors propose a pedagogical and technological paradigm for e-textbooks in medical education using open source software with minimal IT skills required. Technologies used to develop e-textbooks are connected with: publication and distribution of e-textbooks, e-book readers, and editing tools. The paper also discusses a survey that targeted students of (...) medical sciences, which focused on their understanding of their educational needs that can be met through new online resources as well as their expectations of how such e-textbooks should be like. (shrink)

LK is much more difficult than NK, and to make matters worse, Gentzen's intention is still unclear when it comes to that system (LK). -/- The second and third volumes of the series titled What is LK? conduct the detailed survey of each inference-figure in a toe-to-toe way, as it were, which most mathematicians looked through. -/- The present volume, Vol.2, looks deeper into structural inference-figures, which is never an easy task.