Topic: Philosophy of the Formal, Social, and Natural Sciences -> Logic and Mathematics
FiltersNEW

Hold ctrl / ⌘ to select more or unselect / Info

Topics

Languages

Traditions

Times (use negative numbers for BCE)

-

Medium:

Recommended use:

Difficulty:


Full textSee used
Nersessian, Nancy. Creating Scientific Concepts
2008, MIT Press.

Expand entry

Added by: Laura Jimenez
Publisher's Note: How do novel scientific concepts arise? In Creating Scientific Concepts, Nancy Nersessian seeks to answer this central but virtually unasked question in the problem of conceptual change. She argues that the popular image of novel concepts and profound insight bursting forth in a blinding flash of inspiration is mistaken. Instead, novel concepts are shown to arise out of the interplay of three factors: an attempt to solve specific problems; the use of conceptual, analytical, and material resources provided by the cognitive-social-cultural context of the problem; and dynamic processes of reasoning that extend ordinary cognition. Focusing on the third factor, Nersessian draws on cognitive science research and historical accounts of scientific practices to show how scientific and ordinary cognition lie on a continuum, and how problem-solving practices in one illuminate practices in the other.
Comment: Nersessian’s book has a two-fold foundation, first, the empirical analysis of two cases of scientific thinking (one from Maxwell and one from a verbal protocol of a scientist); second, philosophical and cognitive analysis of the overall picture of meaning change in science that is the result of her work. The book presents her argument via an introductory chapter, followed by five chapters that develop the argument. Chapter 4 is particularly interesting for the cognitive-scientist: in this chapter Nersessian develops her account of the basic cognitive processes that underlie model-based reasoning. The new approach to mental modeling and analogy, together with Nersessian’s cognitive-historical approach, make Creating Scientific Concepts equally valuable to cognitive science and philosophy of science. The book is accessible and well-written, and should be a relatively quick read for anyone with a previous background in the mentioned fields. It is mainly recommended for postgraduate courses.
Full textBlue print
Nussbaum, Martha. Twelve Feminists and Philosophy
2012, In Philosophical Interventions: Reviews 1986-2011. New York

Expand entry

Added by: Franci Mangraviti and Viviane Fairbank
Abstract:
This chapter reviews the book A Mind of One's Own: Feminist Essays on Reason and Objectivity (1993), by Louise B. Antony and Charlotte Witt. The appeal to reason and objectivity amounts to a request that the observer refuses to be intimidated by habit, and look for cogent arguments based on evidence that has been carefully sifted for bias. In our own society the arguments of feminists make such appeals to reason and objectivity all the time, and in a manner that closely resembles Platonic arguments. And yet today reason and objectivity are on the defensive in some feminist circles. We are frequently told that reason and objectivity are norms created by "patriarchy," and that to appeal to them is to succumb to the blandishments of the oppressor. We are told that systems of reasoning are systems of domination, and that to adopt the traditional one is thus to be co-opted. A Mind of One's Own is a collection of essays by women who are prominent in philosophy today and who wish to confront recent feminist criticisms of philosophy. Most of the contributors are under fifty and widely respected; most grew up with strong political ties to feminism.
Comment: available in this Blueprint
Full textBlue print
Nye, Andrea. Words of Power: A Feminist Reading of the History of Logic
1990, New York: Routledge
Expand entry
Added by: Franci Mangraviti
Publisher’s Note:

Is logic masculine? Is women's lack of interest in the "hard core" philosophical disciplines of formal logic and semantics symptomatic of an inadequacy linked to sex? Is the failure of women to excel in pure mathematics and mathematical science a function of their inability to think rationally? Andrea Nye undermines the assumptions that inform these questions, assumptions such as: logic is unitary, logic is independenet of concrete human relations, and logic transcends historical circumstances as well as gender. In a series of studies of the logics of historical figures--Parmenides, Plato, Aristotle, Zeno, Abelard, Ockham, and Frege--she traces the changing interrelationships between logical innovation and oppressive speech strategies, showing that logic is not transcendent truth but abstract forms of language spoken by men, whether Greek ruling citizens, or scientists.

Comment: available in this Blueprint
Full textBlue print
Nye, Andrea. Saying What It Is: Predicate Logic and Natural Kinds
2002, In Falmagne, R.J. and Hass, M. eds. Representing Reason: Feminist Theory and Formal Logic. Rowman & Littlefield
Expand entry
Added by: Franci Mangraviti

From the Introduction: "Andrea Nye is also concerned with the role of logic in science, linking the adequacy of logic with its applicability in a domain of scientific knowledge. Nye argues that the dominant predicate logic cannot adequately represent the issues surrounding attempts to divide organisms into species. Feminist critiques of the extensional theory of meaning lay the ground for alternative theories of categorization. Without renewed models of categorization, Nye submits, science is in danger of becoming a self-enclosed “logical” system, rather than an instrumental model of reality."

Comment: available in this Blueprint
Full textBlue print
Olkowski, Dorothea. Words of Power and the Logic of Sense
2002, In Falmagne, R.J. and Hass, M. eds. Representing Reason: Feminist Theory and Formal Logic. Rowman & Littlefield
Expand entry
Added by: Franci Mangraviti

From the Introduction: "Dorothea Olkowski’s chapter offers an analysis of the need to develop a logic of sense. Drawing on the work of Gilles Deleuze, Olkowski defends formal logic against feminist theorists who have urged that we organize thinking around the principles of embodiment. She warns us against the complete merging of bodily functions and sense-making activities. In Olkowski’s view, feminists need to acknowledge the usefulness of logical analyses at the same time that they must insist on formal systems that reflect and are tempered by human and humane values."

Comment: available in this Blueprint
Read free
Padró, Barrio, Eduardo A.. El problema de la adopción de reglas lógicas
2022, Análisis Filosófico, 42(1): 33-42.
Expand entry
Added by: Viviane Fairbank
Abstract:

¿Seguimos reglas de inferencia al razonar? Por más intuitiva que resulte la respuesta positiva a esta pregunta, hay una serie de dificultades para vincular reglas lógicas y prácticas inferenciales. El Problema de la Adopción de Reglas de Inferencia constituye un desafío para todo aquel que proponga que podemos seguir nuevos patrones inferenciales a partir del reconocimiento de reglas. En esta sección temática se exploran diversos asuntos conectados a si podemos seguir un nuevo patrón inferencial en virtud de una regla.

Comment: This is a clear, Spanish-language introduction to the so-called Adoption Problem in the philosophy of logic.
Full text
Pimentel, Elaine, Luiz Carlos Pereira, Valeria de Paiva. An ecumenical notion of entailment
2021, Pimentel, E. et al. (2021) An ecumenical notion of entailment. Synthese (Dordrecht). [Online] 198 (Suppl 22), 5391–5413.
Expand entry
Added by: Sophie Nagler, Contributed by: Sophie Nagler
Abstract:

Much has been said about intuitionistic and classical logical systems since Gentzen’s seminal work. Recently, Prawitz and others have been discussing how to put together Gentzen’s systems for classical and intuitionistic logic in a single unified system. We call Prawitz’ proposal the Ecumenical System, following the terminology introduced by Pereira and Rodriguez. In this work we present an Ecumenical sequent calculus, as opposed to the original natural deduction version, and state some proof theoretical properties of the system. We reason that sequent calculi are more amenable to extensive investigation using the tools of proof theory, such as cut-elimination and rule invertibility, hence allowing a full analysis of the notion of Ecumenical entailment. We then present some extensions of the Ecumenical sequent system and show that interesting systems arise when restricting such calculi to specific fragments. This approach of a unified system enabling both classical and intuitionistic features sheds some light not only on the logics themselves, but also on their semantical interpretations as well as on the proof theoretical properties that can arise from combining logical systems.

Comment: A relatively light-touch and philosophically focussed introduction to ecumenical proof systems, i.e. sequent calculi that combine aspects of different logics. Suitable for discussion in a class on philosophy of logic class or on proof theory if more philosophically focussed. Also potentially usable for a class on logical pluralism.
Full textBlue print
Plumwood, Val. The Politics of Reason: Towards a Feminist Logic
1993, Australasian Journal of Philosophy, 71(4): 436-462
Expand entry
Added by: Franci Mangraviti
Abstract:

The author argues that there is a strong connection between the dualisms that have strengthened and naturalized systematic oppression across history (man/woman, reason/emotion, etc.), and "classical" logic. It is suggested that feminism's response should not be to abandon logic altogether, but rather to focus on the development of alternative, less oppressive forms of rationality, of which relevant logics provide an example.

Comment (from this Blueprint): This is a seminal text of feminist logic, and thus a natural pick for any course wanting to discuss the topic. It could however also be assigned in a course on relevant logics interested in discussing particular applications, especially if such a course has previously spent time on the arguments in Plumwood's "False laws of logic" (or more generally, in Sylvan&co's "Relevant logics and their rivals"). Eckert and Donahue's "Towards a Feminist Logic" is a useful reading companion.
Full textBlue print
Plumwood, Val. Feminism and the Logic of Alterity
2002, In Falmagne, R.J. and Hass, M. eds. Representing Reason: Feminist Theory and Formal Logic. Rowman & Littlefield
Expand entry
Added by: Franci Mangraviti

Introduction: Plumwood’s second essay uses logical distinctions to map the difficult terrain of feminist theories of difference. By carefully distinguishing among forms of difference, Plumwood refutes attempts by some feminist theorists to identify dichotomous thinking with oppressive thinking.

Comment (from this Blueprint): Helpful in clarifying the views presented in Plumwood's "The politics of reason: towards a feminist logic". It is also a possible pick for any course interested in looking specifically at negation from feminist perspectives, in which case it is best paired with some of the feminist critiques of negation she challenges (e.g. Nancy Jay's "Gender and dichotomy", or Frye's "The necessity of differences").
Full textRead free
Rahman, Shahid, Carnielli, Walter. The Dialogical Approach to Paraconsistency
2001, Synthese 125 (1-2):201-232
Expand entry
Added by: Franci Mangraviti
Abstract:

Being a pragmatic and not a referential approach to semantics, the dialogical formulation of paraconsistency allows the following semantic idea to be expressed within a semi-formal system: In an argumentation it sometimes makes sense to distinguish between the contradiction of one of the argumentation partners with himself (internal contradiction) and the contradiction between the partners (external contradiction). The idea is that external contradiction may involve different semantic contexts in which, say A and not A have been asserted. The dialogical approach suggests a way of studying the dynamic process of contradictions through which the two contexts evolve for the sake of argumentation into one system containing both contexts. More technically, we show a new, dialogical, way to build paraconsistent systems for propositional and first-order logic with classical and intuitionistic features (i.e. paraconsistency both with and without tertium non-datur) and present their corresponding tableaux.

Comment: This paper would fit well in a course on dialogical formulations of logic (as either main or further reading, depending on the time dedicated to Lorenz-style approaches), or in a course on paraconsistent logic (as an alternative way of thinking about paraconsistency); both topics are introduced in an accessible enough way. If students have no familiarity with tableaux systems, sections 4 and 5.2 can be skipped.
Can’t find it?
Contribute the texts you think should be here and we’ll add them soon!