-
Expand entry
-
Added by: Sara PeppeAbstract:
These two sets of comments on Volume II of my Rationality and the Structure of the Self (henceforth RSS II), from the two leading philosophers in their respective areas of specialization – Kant scholarship and decision theory – are the very first to appear from any quarter within academic philosophy. My gratitude to Paul Guyer and Richard Bradley for the seriousness, thoroughness and respect with which they treat RSS – and my admiration for their readiness to acknowledge the existence of books that in fact have been in wide circulation for a long time – know no bounds. Their comments and criticisms, though sharp, are always constructive. I take my role here to be to incorporate those comments and criticisms where they hit the mark, and, where they go astray, to further articulate my view to meet the standard of clarity they demand. While Guyer’s and Bradley’s comments both pertain to the substantive view elaborated in RSS II, my responses often refer back to the critical background it presupposes that I offer in RSS Volume I: The Humean Conception (henceforth RSS I). I address Guyer’s more exegetically oriented remarks first, in order to provide a general philosophical framework within which to then discuss the decision-theoretic core of the project that is the focus of Bradley’s comments.
Comment : This text offers the responses of the author to critiques of her work Rationality and the Structure of the Self (Volume II). To be used to deepen the ideas treated in the second volume of Rationality and the Structure of the Self and have a clearer picture of this work, including potential critiques and how to address them.Adrian Piper. Rationality and the Structure of the Self, Volume II: A Kantian Conception2008, APRA Foundation Berlin-
Expand entry
-
Added by: Sara PeppePublisher’s Note:
Adrian Piper argues that the Humean conception can be made to work only if it is placed in the context of a wider and genuinely universal conception of the self, whose origins are to be found in Kant’s Critique of Pure Reason. This conception comprises the basic canons of classical logic, which provide both a model of motivation and a model of rationality. These supply necessary conditions both for the coherence and integrity of the self and also for unified agency. The Kantian conception solves certain intractable problems in decision theory by integrating it into classical predicate logic, and provides answers to longstanding controversies in metaethics concerning moral motivation, rational final ends, and moral justification that the Humean conception engenders. In addition, it sheds light on certain kinds of moral behavior – for example, the whistleblower – that the Humean conception is at a loss to explain.
Comment : Best discussed alongside Kantian and Humean texts. In particular, the work considered requires prior knowledge of Kant’s Critique of Pure Reason and Hume's conception of the self.Ahmad, Rashed. A Recipe for Paradox2022, Australasian Journal of Logic, 19(5): 254-281-
Expand entry
-
Added by: Franci MangravitiAbstract:
In this paper, we provide a recipe that not only captures the common structure of semantic paradoxes but also captures our intuitions regarding the relations between these paradoxes. Before we unveil our recipe, we first discuss a well-known schema introduced by Graham Priest, namely,the Inclosure Schema. Without rehashing previous arguments against the Inclosure Schema, we contribute different arguments for the same concern that the Inclosure Schema bundles together the wrong paradoxes. That is, we will provide further arguments on why the Inclosure Schema is both too narrow and too broad. We then spell out our recipe. The recipe shows that all of the following paradoxes share the same structure: The Liar, Curry’s paradox, Validity Curry, Provability Liar, Provability Curry, Knower’s paradox, Knower’s Curry, Grelling-Nelson’s paradox, Russell’s paradox in terms of extensions, alternative Liar and alternative Curry, and hitherto unexplored paradoxes.We conclude the paper by stating the lessons that we can learn from the recipe, and what kind of solutions the recipe suggests if we want to adhere to the Principle of Uniform Solution.
Comment : Appropriate for a course on logical paradoxes. Makes a natural foil to a reading defending the inclosure schema. Familiarity with sequent calculus, and with the Liar and Curry paradoxes, is required.Aybüke Özgün, Tom Schoonen. The Logical Development of Pretense Imagination2022, Erkenntnis 89: 2121–2147.-
Expand entry
-
Added by: Viviane FairbankAbstract:
We propose a logic of imagination, based on simulated belief revision, that intends to uncover the logical patterns governing the development of imagination in pretense. Our system complements the currently prominent logics of imagination in that ours in particular formalises (1) the algorithm that specifies what goes on in between receiving a certain input for an imaginative episode and what is imagined in the resulting imagination, as well as (2) the goal-orientedness of imagination, by allowing the context to determine, what we call, the overall topic of the imaginative episode. To achieve this, we employ well-developed tools and techniques from dynamic epistemic logic and belief revision theory, enriched with a topicality component which has been exploited in the recent literature. As a result, our logic models a great number of cognitive theories of pretense and imagination [cf. Currie and Ravenscroft (Recreative minds, Oxford University Press, Oxford, 2002); Nichols and Stich (Mindreading: an integrated account of pretence, self-awareness, and understanding other minds, Oxford University Press, Oxford, 2003); Byrne (The rational imagination, The MIT Press, London, 2005); Williamson (The philosophy of philosophy, Blackwell Publishing, Oxford, 2007); Langland-Hassan (Philos Stud 159:155–179, 2012, in: Kind and Kung (eds) Knowledge through imaginaion, Oxford University Press, Oxford, 2016].
Ayim, Maryann. Passing Through the Needle’s Eye: Can a Feminist Teach Logic?1995, Argumentation 9: 801-820-
Expand entry
-
Added by: Franci MangravitiAbstract:
Is it possible for one and the same person to be a feminist and a logician, or does this entail a psychic rift of such proportions that one is plunged into an endless cycle of self-contradiction? Andrea Nye's book, Words of Power (1990), is an eloquent affirmation of the psychic rift position. In what follows, I shall discuss Nye's proscription of logic as well as her perceived alternatives of a woman's language and reading. This will be followed by a discussion more sharply focused on Nye's feminist response to logic, namely, her claim that feminism and logic are incompatible. I will end by offering a sketch of a class in the life of a feminist teaching logic, a sketch which is both a response to Nye (in Nye's sense of the word) and a counter-example to her thesis that logic is necessarily destructive to any genuine feminist enterprise.
Comment : available in this BlueprintBergmann, Merrie. An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems2008, Cambridge University Press.-
Expand entry
-
Added by: Berta Grimau
Publisher's note: This volume is an accessible introduction to the subject of many-valued and fuzzy logic suitable for use in relevant advanced undergraduate and graduate courses. The text opens with a discussion of the philosophical issues that give rise to fuzzy logic - problems arising from vague language - and returns to those issues as logical systems are presented. For historical and pedagogical reasons, three valued logical systems are presented as useful intermediate systems for studying the principles and theory behind fuzzy logic. The major fuzzy logical systems - Lukasiewicz, Godel, and product logics - are then presented as generalizations of three-valued systems that successfully address the problems of vagueness. Semantic and axiomatic systems for three-valued and fuzzy logics are examined along with an introduction to the algebras characteristic of those systems. A clear presentation of technical concepts, this book includes exercises throughout the text that pose straightforward problems, ask students to continue proofs begun in the text, and engage them in the comparison of logical systems.Comment : This book is ideal for an intermediate-level course on many-valued and/or fuzzy logic. Although it includes a presentation of propositional and first-order logic, it is intended for students who are familiar with classical logic. However, no previous knowledge of many-valued or fuzzy logic is required. It can also be used as a secondary reading for a general course on non-classical logics. In the words of the author: 'The truth-valued semantic chapters are independent of the algebraic and axiomatic ones, so that either of the latter may be skipped. Except for Section 13.3 of Chapter 13, the axiomatic chapters are also independent of the algebraic ones, and an instructor who chooses to skip the algebraic material can simply ignore the latter part of 13.3. Finally, Lukasiewicz fuzzy logic is presented independently of Gödel and product fuzzy logics, thus allowing an instructor to focus solely on the former. There are exercises throughout the text. Some pose straightforward problems for the student to solve, but many exercises also ask students to continue proofs begun in the text, to prove results analogous to those in the text, and to compare the various logical systems that are presented.' This book is ideal for an intermediate-level course on many-valued and/or fuzzy logic. Although it includes a presentation of propositional and first-order logic, it is intended for students who are familiar with classical logic. However, no previous knowledge of many-valued or fuzzy logic is required. It can also be used as a secondary reading for a general course on non-classical logics. In the words of the author: 'The truth-valued semantic chapters are independent of the algebraic and axiomatic ones, so that either of the latter may be skipped. Except for Section 13.3 of Chapter 13, the axiomatic chapters are also independent of the algebraic ones, and an instructor who chooses to skip the algebraic material can simply ignore the latter part of 13.3. Finally, Lukasiewicz fuzzy logic is presented independently of Gödel and product fuzzy logics, thus allowing an instructor to focus solely on the former. There are exercises throughout the text. Some pose straightforward problems for the student to solve, but many exercises also ask students to continue proofs begun in the text, to prove results analogous to those in the text, and to compare the various logical systems that are presented.'2003, Mcgraw-Hill.-
Expand entry
-
Added by: Berta Grimau
Summary: This book is an introductory textbook on mathematical logic. It covers Propositional Logic and Predicate Logic. For each of these formalisms it presents its syntax and formal semantics as well as a tableaux-style method of consistency-checking and a natural deduction-style deductive calculus. Moreover, it discusses the metatheory of both logics.Comment : This book would be ideal for an introductory course on symbolic logic. It presupposes no previous training in logic, and because it covers sentential logic through the metatheory of first-order predicate logic, it is suitable for both introductory and intermediate courses in symbolic logic. The instructor who does not want to emphasize metatheory can simply omit Chapters 6 and 11. The chapters on truth-trees and the chapters on derivations are independent, so it is possible to cover truth-trees but not derivations and vice versa. However, the chapters on truth-trees do depend on the chapters presenting semantics; that is, Chapter 4 depends on Chapter 3 and Chapter 9 depends on Chapter 8. In contrast, the derivation chapters can be covered without first covering semantics. The Logic Book includes large exercise sets for all chapters. Answers to unstarred exercises appear in the Student Solutions Manual, available at www.mhhe.com/bergmann6e, while answers to starred exercises appear in the Instructor's Manual, which can be obtained by following the instructions on the same web page.Besson, Corine. Logical knowledge and ordinary reasoning2012, Philosophical Studies 158 (1):59-82.-
Expand entry
-
Added by: Berta Grimau
Abstract: This paper argues that the prominent accounts of logical knowledge have the consequence that they conflict with ordinary reasoning. On these accounts knowing a logical principle, for instance, is having a disposition to infer according to it. These accounts in particular conflict with so-called 'reasoned change in view', where someone does not infer according to a logical principle but revise their views instead. The paper also outlines a propositional account of logical knowledge which does not conflict with ordinary reasoning.Comment : This paper proposes a certain characterisation of what it is to have knowledge of logical principles which makes it compatible with the way in which we reason ordinarily. It can be seen as an alternative to Harman's view in 'Change in View' according to which ordinary people do not at all 'employ' a deductive logic in reasoning. Thus this paper could be used in a course on the role of logic in reasoning, following the reading of Harman's work. More generally, this reading is suitable for any advanced undergraduate course or postgraduate course on the topic of rationality.Bimbo, Katalin. Proof Theory: Sequent Calculi and Related Formalisms2015, CRC Press, Boca Raton, FL-
Expand entry
-
Added by: Berta Grimau
Publisher's Note: Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent Calculi and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi for various non-classical logics, from intuitionistic logic to relevance logic, linear logic, and modal logic. In the first chapters, the author emphasizes classical logic and a variety of different sequent calculi for classical and intuitionistic logics. She then presents other non-classical logics and meta-logical results, including decidability results obtained specifically using sequent calculus formalizations of logics.Comment : This book can be used in a variety of advanced undergraduate and postgraduate courses. Chapters 1, 2, 3 and 8 may be useful in an advanced undergraduate or beginning graduate course, where an emphasis is placed on classical logic and on a range of different proof calculi (mainly for classical logic). Chapters 4, 5 and 6 deal almost exclusively with non-classical logics. Chapters 7 and 9 are rich in meta-logical results, including results that have been obtained specifically using sequent calculus formalizations of various logics. These last five chapters might be used in a graduate course that embraces classical and nonclassical logics together with their meta-theory. To facilitate the use of the book as a text in a course, the text is peppered with exercises. In general, the starring indicates an increase in difficulty, however, sometimes an exercise is starred simply because it goes beyond the scope of the book or it is very lengthy. Solutions to selected exercises may be found on the web at the URL www.ualberta.ca/˜bimbo/ProofTheoryBook.Birman, Romina. The Adoption Problem and the Epistemology of Logic2023, Mind, 133(529): 37-60-
Expand entry
-
Added by: Viviane FairbankAbstract:
After introducing the adoption problem (AP) as the claim that certain basic logical principles cannot be adopted, I offer a characterization of this notion as a two-phase process consisting in (1) the acceptance of a basic logical principle, and (2) the development, in virtue of Phase 1, of a practice of inferring in accordance with that principle. The case of a subject who does not infer in accordance with universal instantiation is considered in detail. I argue that the AP has deep and wide implications for the epistemology of logic, extending well beyond Kripke’s original target, viz. Putnam’s proposal for the empirical revision of logic and its background Quinean epistemology. In particular, the AP questions whether basic logical principles could have a fundamental role in our inferential practices, drawing our attention to the nature of basic inferences and the need to have a clearer conception of them before taking a stand on the matter of the epistemic justification of the logical principles.
Comment : This paper can be presented to students as an authoritative and accessible introduction to the so-called Adoption Problem in the philosophy of logic. It sets the stage for further more advanced readings on the topic.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. -
-
-
-
-
-
Adrian Piper. Rationality and the Structure of the Self: Reply to Guyer and Bradley
2018, Adrian Piper Research Archive Foundation Berlin