Tradition: Methodological -> Formal
FiltersNEW

Hold ctrl / ⌘ to select more or unselect / Info

Topics

Languages

Traditions

Times (use negative numbers for BCE)

-

Medium:

Recommended use:

Difficulty:


Full text
Janssen-Lauret, Frederique. Ruth Barcan Marcus and quantified modal logic
2022, British Journal for the History of Philosophy 30 (2):353-383.
Expand entry
Added by: Christopher Masterman
Abstract:

Analytic philosophy in the mid-twentieth century underwent a major change of direction when a prior consensus in favour of extensionalism and descriptivism made way for approaches using direct reference, the necessity of identity, and modal logic. All three were first defended, in the analytic tradition, by one woman, Ruth Barcan Marcus. But analytic philosophers now tend to credit them to Kripke, or Kripke and Carnap. I argue that seeing Barcan Marcus in her historical context – one dominated by extensionalism and descriptivism – allows us to see how revolutionary she was, in her work and influence on others. I focus on her debate with Quine, who found himself retreating to softened, and more viable, versions of his anti-modal arguments as a result. I make the case that Barcan's formal logic was philosophically well-motivated, connected to her views on reference, and well-matched to her overall views on ontology. Her nominalism led her to reject posits which could not be directly observed and named, such as possibilia. She conceived of modal calculi as facilitating counterfactual discourse about actual existents. I conclude that her contributions ought to be recognized as the first of their kind. Barcan Marcus must be awarded a central place in the canon of analytic philosophy.

Comment: This would be excellent supplementary reading for a course in modal logic or metaphysics which incorporated the work of Ruth Barcan Marcus. Clearly discusses her contribution to modal logic and metaphysics and discusses the history of this period of philosophy in depth.
Full text
Jenkins-Ichikawa, Carrie. Knowledge of Arithmetic
2005, British Journal for the Philosophy of Science 56: 727-747.

Expand entry

Added by: Jamie Collin
Abstract: The goal of the research programme I describe in this article is a realist epistemology for arithmetic which respects arithmetic's special epistemic status (the status usually described as a prioricity) yet accommodates naturalistic concerns by remaining funda- mentally empiricist. I argue that the central claims which would allow us to develop such an epistemology are (i) that arithmetical truths are known through an examination of our arithmetical concepts; (ii) that (at least our basic) arithmetical concepts are accurate mental representations of elements of the arithmetical structure of the inde- pendent world; (iii) that (ii) obtains in virtue of the normal functioning of our sensory apparatus. The first of these claims protects arithmetic's special epistemic status relative, for example, to the laws of physics, the second preserves the independence of arithmetical truth, and the third ensures that we remain empiricists.
Comment: Useful as a primary or secondary reading in an advanced undergraduate course epistemology (in a section on a priori knowledge) or an advanced undergraduate course on philosophy of mathematics. This is not an easy paper, but it is clear. It is also useful within a teaching context, as it provides a summary of the influential neo-Fregean approach to mathematical knowledge.
Full text
Jiang, Tao. A buddhist scheme for engaging modern science: The case of taixu
2002, Journal of Chinese Philosophy 29(4): 533-552.

Expand entry

Added by: Laura Jimenez
Summary: In this paper Tao Jiang examines Taixu's effort to revitalize Buddhism through an engagement with modern science. The main argument offered by Jiang is that a nonsubstantive view of the world is in fundamental agreement with many cutting-edge scientific theories and, therefore, Buddhism can indeed offer a new perspective in the debate between the practices of modern science and their social critics.
Comment: Good introductory paper to Chinese philosophy of science. The topic is highly specific and specialised, making this paper useful in postgraduate courses or, as the itself poses no difficulty of comprehension for more junior students, in specialised undergraduate classes.
Full text
Keefe, Rosanna. Theories of Vagueness
2000, 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.
Read free
Keefe, Rosanna. What Logical Pluralism Cannot Be
2014, Synthese 191 (7):1375-1390
Expand entry
Added by: Franci Mangraviti
Abstract:

Logical Pluralists maintain that there is more than one genuine/true logical consequence relation. This paper seeks to understand what the position could amount to and some of the challenges faced by its formulation and defence. I consider in detail Beall and Restall’s Logical Pluralism—which seeks to accommodate radically different logics by stressing the way that they each fit a general form, the Generalised Tarski Thesis (GTT)—arguing against the claim that different instances of GTT are admissible precisifications of logical consequence. I then consider what it is to endorse a logic within a pluralist framework and criticise the options Beall and Restall entertain. A case study involving many-valued logics is examined. I next turn to issues of the applications of different logics and questions of which logic a pluralist should use in particular contexts. A dilemma regarding the applicability of admissible logics is tackled and it is argued that application is a red herring in relation to both understanding and defending a plausible form of logical pluralism. In the final section, I consider other ways to be and not to be a logical pluralist by examining analogous positions in debates over religious pluralism: this, I maintain, illustrates further limitations and challenges for a very general logical pluralism. Certain less wide-ranging pluralist positions are more plausible in both cases, I suggest, but assessment of those positions needs to be undertaken on a case-by-case basis.

Comment: Makes for a nice counter in any course discussing Beall and Restall's pluralism. Given that the paper is a direct response, some previous familiarity with the topic is advised.
Full text
Keller, Evelyn Fox, Helen Longino. Feminism and Science
1996, Oxford University Press.

Expand entry

Added by: Benny Goldberg
Publisher's Note: Over the past fifteen years, a new dimension to the analysis of science has emerged. Feminist theory, combined with the insights of recent developments in the history, philosophy, and sociology of science, has raised a number of new and important questions about the content, practice, and traditional goals of science. Feminists have pointed to a bias in the choice and definition of problems with which scientists have concerned themselves, and in the actual design and interpretation of experiments, and have argued that modern science evolved out of a conceptual structuring of the world that incorporated particular and historically specific ideologies of gender. The seventeen outstanding articles in this volume reflect the diversity and strengths of feminist contributions to current thinking about science.
Comment: A wonderful edited collection of articles on feminist reactions to and interpretations of science. Perfect for introductory courses in feminist philosophy, feminist philosophy of science, and general philosophy of science.
Full text
Klenk, Virginia. Understanding Symbolic Logic
2008, Pearson Prentice Hall.

Expand entry

Added by: Berta Grimau
Publisher’s Note:
Description - This comprehensive introduction presents the fundamentals of symbolic logic clearly, systematically, and in a straightforward style accessible to readers. Each chapter, or unit, is divided into easily comprehended small bites that enable learners to master the material step-by-step, rather than being overwhelmed by masses of information covered too quickly. The book provides extremely detailed explanations of procedures and techniques, and was written in the conviction that anyone can thoroughly master its content. A four-part organization covers sentential logic, monadic predicate logic, relational predicate logic, and extra credit units that glimpse into alternative methods of logic and more advanced topics.
Comment: This book is ideal for a first introduction course to formal logic. It doesn't presuppose any logical knowledge. It covers propositional and first-order logic (monadic and relational).
Read free
Kouri Kissel, Teresa, Stewart Shapiro. Classical Logic
2018, The Stanford Encyclopedia of Philosophy, Edward N. Zalta (ed.)

Expand entry

Added by: Berta Grimau
Summary: This article provides the basics of a typical logic, sometimes called 'classical elementary logic' or 'classical first-order logic', in a rigorous yet accessible manner. Section 2 develops a formal language, with a syntax and grammar. Section 3 sets up a deductive system for the language, in the spirit of natural deduction. Section 4 provides a model-theoretic semantics. Section 5 turns to the relationships between the deductive system and the semantics, and in particular, the relationship between derivability and validity. The authors show that an argument is derivable only if it is valid (soundness). Then they establish a converse: that an argument is valid only if it is derivable (completeness). They also briefly indicate other features of the logic, some of which are corollaries to soundness and completeness. The final section, Section 6, is devoted to a brief examination of the philosophical position that classical logic is 'the one right logic'.
Comment: This article introduces all the necessary tools in order to understand both the proof-theoretic and the model-theoretic aspects of first-order classical logical consequence. As such it can be used as a main reading in an introductory logic course covering classical first-order logic (assuming the students will have already looked at classical propositional logic). Moreover, the article covers some metatheoretic results (soundness, completeness, compactness, upward and downward Löwenheim-Skolem), which makes it suitable as a reading for a slightly more advanced course in logic. Finally, the article includes a brief incursion into the topic of logical pluralism. This makes it suitable to be used in a course on non-classical logics with an introduction module on classical logic.
Full text
Kouri Kissel, Teresa. Logical Pluralism from a Pragmatic Perspective
2018, Australasian Journal of Philosophy 96 (3):578-591
Expand entry
Added by: Franci Mangraviti
Abstract:

This paper presents a new view of logical pluralism. This pluralism takes into account how the logical connectives shift, depending on the context in which they occur. Using the Question-Under-Discussion Framework as formulated by Craige Roberts, I identify the contextual factor that is responsible for this shift. I then provide an account of the meanings of the logical connectives which can accommodate this factor. Finally, I suggest that this new pluralism has a certain Carnapian flavour. Questions about the meanings of the connectives or the best logic outside of a specified context are not legitimate questions.

Comment: Can serve as an example of logical pluralism in any philosophy of logic course. Familiarity with the pluralisms of Shapiro and Carnap is helpful for comparison, but is not technically required.
Full text
Langer, Susanne. An Introduction to Symbolic Logic
1937, George Allen & Unwin, Ltd.

Expand entry

Added by: Viviane Fairbank
Abstract:
Symbolic Logic is a relatively new subject, and the easiest methods of approach have not yet been determined. In point of arrangement, therefore, this Introduction has no predecessor. That is just why it was written: the need of some systematic guide, from the state of perfect innocence to a possible understanding of the classical literature, has become acute and commanding.
Comment: This is an accessible introductory textbook to logic (and basic mathematics) from the 1930s, which is likely outdated at this point but may still be used for reference (and interest).
Can’t find it?
Contribute the texts you think should be here and we’ll add them soon!