Diversity Reading List

Publisher’s Note:

This book describes how logical reasoning works and puts it to the test in applications. It is self-contained and presupposes no more than elementary competence in mathematics.

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.

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.

Abstract: The present article provides an introduction to classical Chinese logic, a term which refers to ancient discourses that were developed before the arrival of significant external influences and which flourished in China until the first unification of China, during the Qin Dynasty. Taking as its premise that logic implies both universal and culturally conditioned elements, the author describes the historical background of Chinese logic, the main schools of Chinese logical thought, the current state of research in this area and the crucial concepts and methods applied in classical Chinese logic. The close link between Chinese logic and the Chinese language is also stressed

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.

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

Summary: This lucid and wide-ranging volume constitutes a self-contained introduction to the elements and key issues of the philosophy of language. In particular, it focuses on the philosophical foundations of semantics, including the main challenges to and prospects for a truth conditional semantics. Since the book is neither single-mindedly philosophical, nor single-mindedly technical, it is an accessible introduction to the philosophical foundations of semantics, and will provide the ideal basis for a first course in the philosophy of language and philosophical logic.

Abstract: I shall endeavor to show that every physical theory since Newton explainswithout drawing attention to causes-that, in other words, physical theories as physical theories aspire to explain under an ideal quite distinctfrom that of causal explanation. If I am right, then even if sometimes theexplanations achieved by a physical theory are not in violation ofthe standard of causal explanation, this is purely an accident. For physicaltheories, as I will show, do not, as such, aim at accommodating the goals oraspirations of causal explanation. This will serve as the founding insightfor a new theory of explanation, which will itself serve as the cornerstoneof a new theory of scientific method.

Abstract: This paper documents a wide range of nonreductive scientific treatments of phenomena in the domain of physics. These treatments strongly resist characterization as explanations of macrobehavior exclusively in terms of behavior of microconstituents. For they are treatments in which macroquantities are cast in the role of genuine and irreducible degrees of freedom.