FiltersNEW

Hold ctrl / ⌘ to select more or unselect

Topics

Languages

Traditions

Times (use negative numbers for BCE)

-

Medium:

Recommended use:

Difficulty:


Read free
Aybüke Özgün, Tom Schoonen. The Logical Development of Pretense Imagination
2022, Erkenntnis 89: 2121–2147.

Expand entry

Added by: Viviane Fairbank
Abstract:

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].

Comment : This is a stub entry. Please add your comments to help us expand it
Full text
Bergmann, Merrie. An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems
2008, 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.'
Full text
Bimbo, Katalin. Proof Theory: Sequent Calculi and Related Formalisms
2015, 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.
Full textRead free
Bobzien, Susanne. Stoic Syllogistic
1996, Oxford Studies in Ancient Philosophy 14: 133-92.

Expand entry

Added by: Berta Grimau, Contributed by: Giada Fratantonio

Abstract: For the Stoics, a syllogism is a formally valid argument; the primary function of their syllogistic is to establish such formal validity. Stoic syllogistic is a system of formal logic that relies on two types of argumental rules: (i) 5 rules (the accounts of the indemonstrables) which determine whether any given argument is an indemonstrable argument, i.e. an elementary syllogism the validity of which is not in need of further demonstration; (ii) one unary and three binary argumental rules which establish the formal validity of non-indemonstrable arguments by analysing them in one or more steps into one or more indemonstrable arguments (cut type rules and antilogism). The function of these rules is to reduce given non-indemonstrable arguments to indemonstrable syllogisms. Moreover, the Stoic method of deduction differs from standard modern ones in that the direction is reversed (similar to tableau methods). The Stoic system may hence be called an argumental reductive system of deduction. In this paper, a reconstruction of this system of logic is presented, and similarities to relevance logic are pointed out.
Comment : This paper can be used as specialised/further reading for an advanced undergrad or postgraduate course on ancient logic or as a primary reading in an advanced undergrad or postgraduate course on Stoic logic. Alternatively, given that the text argues that there are important parallels between Stoic logic and Relevance logic, it could be used in a course on Relevance logic as well. It requires prior knowledge of logic (in particular, proof theory).
Read free
Clerbout, Nicolas, McConaughey, Zoe. Dialogical Logic
2022, "Dialogical Logic", The Stanford Encyclopedia of Philosophy (Fall 2022 Edition), Edward N. Zalta & Uri Nodelman (eds.)

Expand entry

Added by: Franci Mangraviti
Abstract:

This entry presents the framework of « dialogical logic » in the initial Lorenzen and Lorenz tradition. The rules for the game and for building strategies are provided with step by step examples, helping the reader understand how the dialogue tables reflect a dynamic process of interaction between the players. Various logics are presented within this pluralistic framework: intuitionist logic, classical logic, and modal logics, with references to various other logics. In a second part of the entry, objections against the framework are considered, together with answers provided by the « Immanent Reasoning » variant, which stays within the Lorenzen and Lorenz tradition, and by the « Built-In Opponent » variant first developed by Catarina Dutilh Novaes, which develops a different dialogical tradition.

Comment : Obvious overview choice for any course involving dialogical logic. Familiarity with first-order languages is a prerequisite.
Full text
Dalla Chiara, Maria Luisa. Logical Self Reference, Set Theoretical Paradoxes and the Measurement Problem in Quantum Mechanics
1977, International Journal of Philosophical Logic 6 (1):331-347.

Expand entry

Added by: Sara Peppe

Introduction: From a logical point of view the measurement problem of quantum mechanics, can be described as a characteristic question of 'semantical closure' of a theory: to what extent can a consistent theory (in this case 2R) be closed with respect to the objects and the concepfs which are described and expressed in its metatheory?
Comment : This paper considers the measurement problem in Quantum Mechanics from a logical perspective. Previous and deep knowledge of logics and Quantum Mechanics' theories is vital.
Read freeBlue print
Eckert, Maureen. De-centering and Genderqueering Val Plumwood’s Feminist Logic
2024, In R. Cook and A. Yap (eds.), Feminist Philosophy and Formal Logic. University of Minnesota Press

Expand entry

Added by: Franci Mangraviti and Viviane Fairbank
Abstract:
The strongest and, until recently, least-explored approach to feminist logic holds that some formal logics have structural features that perpetuate sexism and oppression, whereas other logics are helpful for resisting and opposing these social phenomena. Our choice of logics may not be purely formal on this view: for example, some logics are preferrable to others on the grounds of feminist commitments. This strong account of feminist logic was first articulated by Val Plumwood. We will critically engage salient features of her view, especially her critique of classical logic and the centering and dominating functions she believes classical negation has. We will see that her understanding of classical negation captures neither the development of Intersectional Feminism, nor the position the concept of centering holds in transformative justice. However, Plumwood's critique of classical negation does lead us to a deeper insight regarding which logics to apply in social justice contexts. Robin Dembroff's analysis of genderqueer as a critical gender kind helps us delineate a non-classical context in which a four-valued logic, such as FDE, can structurally account for the critical feature of this gender kind in a way classical logic cannot. We will also observe how four-valued logics precisely capture the destabilization of, and resistance to, the exclusive and exhaustive gender binary categories Dembroff describes.
Comment : available in this Blueprint
Read freeBlue print
Eckert, Maureen, Donahue, Charlie. Towards a Feminist Logic: Val Plumwood’s Legacy and Beyond
2020, In Dominic Hyde (ed.), Noneist Explorations II: The Sylvan Jungle - Volume 3 (Synthese Library, 432). Dordrecht: pp. 424-448

Expand entry

Added by: Franci Mangraviti
Abstract:

Val Plumwood’s 1993 paper, “The politics of reason: towards a feminist logic” (hence- forth POR) attempted to set the stage for what she hoped would begin serious feminist exploration into formal logic – not merely its historical abuses, but, more importantly, its potential uses. This work offers us: (1) a case for there being feminist logic; and (2) a sketch of what it should resemble. The former goal of Plumwood’s paper encourages feminist theorists to reject anti-logic feminist views. The paper’s latter aim is even more challenging. Plumwood’s critique of classical negation (and classical logic) as a logic of domination asks us to recognize that particular logical systems are weapons of oppression. Against anti-logic feminist theorists, Plumwood argues that there are other logics besides classical logic, such as relevant logics, which are suited for feminist theorizing. Some logics may oppress while others may liberate. We provide details about the sources and context for her rejection of classical logic and motivation for promoting relevant logics as feminist.

Comment (from this Blueprint): This is an ideal companion piece to Plumwood's paper: it provides an accessible summary, and discusses both objections to the paper and possible responses.
Read freeBlue print
Eichler, Lauren. Sacred Truths, Fables, and Falsehoods: Intersections between Feminist and Native American Logics
2018, APA Newsletter on Native American and Indigenous Philosophy, 18(1).

Expand entry

Added by: Franci Mangraviti
Abstract:

From the newsletter's introduction: "Lauren Eichler [...] examines the resonances between feminist and Native American analyses of classical logic. After considering the range of responses, from overly monolithic rejection to more nuanced appreciation, Eichler argues for a careful, pluralist understanding of logic as she articulates her suggestion that feminists and Native American philosophers could build fruitful alliances around this topic."

Comment : available in this Blueprint
Full textSee used
Haack, Susan. Philosophy of Logics
1978, 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.
Can’t find it?
Contribute the texts you think should be here and we’ll add them soon!