-
Expand entry
-
Added by: Berta Grimau
Publisher's Note: Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics and computer science. The book contains a wealth of results on proof-theoretical systems, including extensions of such systems from logic to mathematics, and on the connection between the two main forms of structural proof theory - natural deduction and sequent calculus. The authors emphasize the computational content of logical results. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.Fisher, Jennifer. On the Philosophy of Logic2007, Cengage Learning.-
Expand entry
-
Added by: Berta Grimau, Contributed by: Matt Clemens
Publisher's Note: Jennifer Fisher's On the Philosophy of Logic explores questions about logic often overlooked by philosophers. Which of the many different logics available to us is right? How would we know? What makes a logic right in the first place? Is logic really a good guide to human reasoning? An ideal companion text for any course in symbolic logic, this lively and accessible book explains important logical concepts, introduces classical logic and its problems and alternatives, and reveals the rich and interesting philosophical issues that arise in exploring the fundamentals of logic.Comment: This book provides an introduction to some traditional questions within philosophy of logic. Moreover, it presents some non-classical logics. It includes an introduction to formal classical logic, so no previous technical knowledge is required. Adequate for a first course on philosophy of logic, either as main or further reading.
Keefe, Rosanna. Theories of Vagueness2000, Cambridge University Press.-
Expand entry
-
Added by: Berta Grimau
Publisher's Note: Most expressions in natural language are vague. But what is the best semantic treatment of terms like 'heap', 'red' and 'child'? And what is the logic of arguments involving this kind of vague expression? These questions are receiving increasing philosophical attention, and in this timely book Rosanna Keefe explores the questions of what we should want from an account of vagueness and how we should assess rival theories. Her discussion ranges widely and comprehensively over the main theories of vagueness and their supporting arguments, and she offers a powerful and original defence of a form of supervaluationism, a theory that requires almost no deviation from standard logic yet can accommodate the lack of sharp boundaries to vague predicates and deal with the paradoxes of vagueness in a methodologically satisfying way. Her study will be of particular interest to readers in philosophy of language and of mind, philosophical logic, epistemology and metaphysics.Comment: This book could be used in a philosophy of logic or a philosophy of language course which had a section on vagueness (either at undergraduate or postgraduate level). The first chapter provides a good main reading for such purpose. The book can also be used in a course focused on vagueness exclusively. The technical discussion is minimized throughout and presupposes only some familiarity with elementary logic.
Dutilh Novaes, Catarina. Formal Languages in Logic: A Philosophical and Cognitive Analysis2012, Cambridge: Cambridge University Press-
Expand entry
-
Added by: Jie GaoPublisher’s Note:
Formal languages are widely regarded as being above all mathematical objects and as producing a greater level of precision and technical complexity in logical investigations because of this. Yet defining formal languages exclusively in this way offers only a partial and limited explanation of the impact which their use (and the uses of formalisms more generally elsewhere) actually has. In this book, Catarina Dutilh Novaes adopts a much wider conception of formal languages so as to investigate more broadly what exactly is going on when theorists put these tools to use. She looks at the history and philosophy of formal languages and focuses on the cognitive impact of formal languages on human reasoning, drawing on their historical development, psychology, cognitive science and philosophy. Her wide-ranging study will be valuable for both students and researchers in philosophy, logic, psychology and cognitive and computer science.Comment: This book addresses important questions about formal languages: why formalization works and the limitations of formalization. The questions are answered from cognitive, historical and logical points of view. It is a good introductory material for teaching on formal language and psychology of reasoning.
Haack, Susan. The Justification of Deduction1976, Mind 85 (337): 112-119.-
Expand entry
-
Added by: Jie Gao
Abstract: It is often taken for granted by writers who propose - and, for that matter, by writers who oppose - 'justifications' of inductions, that deduction either does not need, or can readily be provided with, justification. The purpose of this paper is to argue that, contrary to this common opinion, problems analogous to those which, notoriously, arise in the attempt to justify induction, also arise in the attempt to justify deduction.Comment: This paper argues that justification for deduction, like justification for induction, also has the problem of circularity. It is suitable for teachings on topic of justification for inference in a course on philosophy of logic.
Haack, Susan. Philosophy of Logics1978, Cambridge: Cambridge University Press.-
Expand entry
-
Added by: Jie Gao
Publisher's Note: The first systematic exposition of all the central topics in the philosophy of logic, Susan Haack's book has established an international reputation (translated into five languages) for its accessibility, clarity, conciseness, orderliness, and range as well as for its thorough scholarship and careful analyses. Haack discusses the scope and purpose of logic, validity, truth-functions, quantification and ontology, names, descriptions, truth, truth-bearers, the set-theoretical and semantic paradoxes, and modality. She also explores the motivations for a whole range of nonclassical systems of logic, including many-valued logics, fuzzy logic, modal and tense logics, and relevance logics.Comment: This textbook is intended particularly for philosophy students who have completed a first course in elementary logic. But, though the book is clearly written, such students still may find the content difficult, as it addresses difficult topics in the foundations of logic the primary literature for which is very technical. That said, it has been a widely used textbook for courses on philosophy of logic. Chapters of it can be used individually in accordance with the arrangements of the course.
Sarukkai, Sundar. Indian Philosophy and Philosophy of Science2005, Motilal Banarsidass Publishers.-
Expand entry
-
Added by: Laura Jimenez
Summary: Sundar Sarukkai's Indian Philosophy and Philosophy of Science shows how the two very different approaches from East and West can illuminate each other. It is not an introduction to the philosophy of science, but rather an invitation to look at philosophy of science in a new way, using the approaches of classical Indian logic, in particular Navya Nyāya . Sarukkai's major thesis is that in the West philosophy of science tries to put logic into science, and that in the East Indian logic seeks to put science into logic. The naïve Western approach takes an abstract view of logic and formulates science using abstract logical and mathematical theories. Indian logic looks at the world and remains involved with the world throughout. Because of this, logical arguments have to involve contingent matters of fact or observation .Western readers may find the lack of distinction between induction and deduction disturbing, but the Eastern involvement with the world, not merely abstraction, reflects a different way of looking at what logic is and where its origins lie.Comment: An essential bok for those interested in Indian philosophy of science. The topic is very specialized, but the book is really clear and could be read by both undergraduates and postgraduates. Chapter 3 is really recommendable for undergraduates, since it offers a great introduction to classical indian logic.
Sarukkai, Sundar. What is science?2012, National Book Trust, India.-
Expand entry
-
Added by: Laura Jimenez
Summary: This book serves as an excellent introduction to Indian philosophy from the standpoint of the Nyãya-Vaisesika worldview. The book is divided into six chapters: (i) Introduction; (ii) Doubt (including sections like "Types of Doubt" and "Limits of Doubt"); (iii) Indian Logic (in which Dignaga, Dharmakïrti, and a "Summary of Themes in Indian Logic Relevant to Philosophy of Science" are discussed); (iv) Logic in Science: The Western Way (dealing, among other things, with induction, deduction, and laws and counterfactuals); (v) Science in Logic: The Indian Way? ; and (vi) Knowledge, Truth and Language (including sections with titles like the Pramäna Theory, Truth in Western and Indian Philosophies and Science, Effability, and Bhartrhai).Comment: The book is recommendable, not only as an introduction to significant and basic themes in Indian philosophy, but also for insightful details in explaining several complex ideas in science and philosophy and for a clear explication of the Indian contribution to discussions on them. Could be suitable for both undergratuates and postgraduates.
Grover, Dorothy. How Significant is the Liar?2008, In J. C. Beall & Bradley Armour-Garb (eds.), Deflationism and Paradox. OUP Oxford.-
Expand entry
-
Added by: Jamie Collin
Summary: Grover argues that one should be unconcerned about the liar paradox. In formal languages there are uniform ties between syntax and semantics: a term, in all its occurrences, carries a fixed meaning; and sequences of sentences that are (syntactically) proofs are always (semantically) inferences. These two features do not hold of natural languages. Grover makes use of this claim to argue that there are no arguments to contradictions from liar sentences in natural languages, as the relevant syntactic 'moves' do not come with relevant semantic 'moves'.Comment: This would be useful in a course on truth, the philosophy of language or paradoxes. It provides a very up to date account of the prosentential theory of truth and how it may be able to deal with semantic paradoxes. Not as technical as some literature on the topic.
Hendricks, Vincent, John Symons. Epistemic Logic2006, Stanford Encyclopedia of Philosophy.-
Expand entry
-
Added by: Jamie Collin
Abstract: Epistemic logic is the logic of knowledge and belief. It provides insight into the properties of individual knowers, has provided a means to model complicated scenarios involving groups of knowers and has improved our understanding of the dynamics of inquiry.Comment: This would be useful in a course on epistemology, formal epistemology, philosophical logic or formal methods in philosophy. This is quite a compact entry for the Stanford Enclyclopedia of Philosophy. It is not hugely technical, but symbol-phobes will find it logic-heavy.
Can’t find it?Contribute the texts you think should be here and we’ll add them soon!
-
-
-
This site is registered on Toolset.com as a development site. -
-
-
-
-
-
2001, Cambridge University Press.
Comment: This book can be used both in a general course on proof theory for advanced Undergraduates or for Masters students, and for specialized courses - for example, a course on natural deduction. Chapters 1-4 can be used as background reading of a general course. Chapter 1, 5 and 8 could be used in a course on natural deduction. The presentation is self-contained and the book should be readable without any previous knowledge of logic.