Full text
Negri, Sara, Jan von Plato, Aarne Ranta. Structural Proof Theory
2001, Cambridge University Press.
Expand entry
Added by: Berta Grimau
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.

Comment: This book can be used both in a general course on proof theory for advanced Undergraduates or for Masters students, and for specialized courses - for example, a course on natural deduction. Chapters 1-4 can be used as background reading of a general course. Chapter 1, 5 and 8 could be used in a course on natural deduction. The presentation is self-contained and the book should be readable without any previous knowledge of logic.

Export citation in BibTeX format
Export text citation
View this text on PhilPapers
Export citation in Reference Manager format
Export citation in EndNote format
Export citation in Zotero format
Share on Facebook Share on LinkedIn Share by Email
Full text Blue 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

Share on Facebook Share on LinkedIn Share by Email
Full text
Rošker, Jana S.. Classical Chinese Logic
2015, Philosophy Compass, 10(5): 301-309.
Expand entry
Added by: Chris Blake-Turner
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

Comment: Presupposes some familiarity with Aristotelian and Fregean logic, as well as ideas in analytic philosophy of language (e.g., theories of reference). This would be a good piece for countering the prejudice that nothing worthy of being called logic was done in the classical Chinese tradition. It is also a good piece for expanding students' imaginative horizons and showing them how their ideas of what logic is have been culturally shaped.

Export citation in BibTeX format
Export text citation
View this text on PhilPapers
Export citation in Reference Manager format
Export citation in EndNote format
Export citation in Zotero format
Share on Facebook Share on LinkedIn Share by Email
Full text See used
Sarukkai, Sundar. Indian Philosophy and Philosophy of Science
2005, Motilal Banarsidass Publishers.
Expand entry
Added by: Laura Jimenez
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.

Comment: An essential bok for those interested in Indian philosophy of science. The topic is very specialized, but the book is really clear and could be read by both undergraduates and postgraduates. Chapter 3 is really recommendable for undergraduates, since it offers a great introduction to classical indian logic.

Export citation in BibTeX format
Export text citation
View this text on PhilPapers
Export citation in Reference Manager format
Export citation in EndNote format
Export citation in Zotero format
Share on Facebook Share on LinkedIn Share by Email
Full text Read free
Sarukkai, Sundar. What is science?
2012, National Book Trust, India.
Expand entry
Added by: Laura Jimenez
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).

Comment: The book is recommendable, not only as an introduction to significant and basic themes in Indian philosophy, but also for insightful details in explaining several complex ideas in science and philosophy and for a clear explication of the Indian contribution to discussions on them. Could be suitable for both undergratuates and postgraduates.

Export citation in BibTeX format
Export text citation
View this text on PhilPapers
Export citation in Reference Manager format
Export citation in EndNote format
Export citation in Zotero format
Share on Facebook Share on LinkedIn Share by Email
Full text
Taylor, Kenneth A.. Truth and Meaning: An Introduction to the Philosophy of Language
1998, Oxford: Blackwell.
Expand entry
Added by: Nick Novelli
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.

Comment: This book offers a good introduction to theories of meaning, and includes some good, clear presentations of specialised systems of logic used in philosophy of language, giving students a good example of the existence and practical usefulness of logic beyond first-order. Chapter 3, on Tarski's formal theory of truth, is one of the better treatments of that subject available. Suitable for undergraduate and graduate teaching.

Export citation in BibTeX format
Export text citation
View this text on PhilPapers
Export citation in Reference Manager format
Export citation in EndNote format
Export citation in Zotero format
Share on Facebook Share on LinkedIn Share by Email
Full text Read free
Thalos, Mariam. Explanation is a genus: An essay on the varieties of scientific explanation
2002, Synthese 130(3): 317-354.
Expand entry
Added by: Nick Novelli
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.

Comment: A striking argument that science does not employ causal explanations. Since this is a commonly-held assumption, this would be interesting to present in the context of scientific methodology, or in an exploration of causation as part of a challenge to whether the idea of causation is actually useful or necessary. Provides good historical context to support its claims. Best taught at an advanced or graduate level.

Export citation in BibTeX format
Export text citation
View this text on PhilPapers
Export citation in Reference Manager format
Export citation in EndNote format
Export citation in Zotero format
Share on Facebook Share on LinkedIn Share by Email
Full text Read free
Thalos, Mariam. Nonreductive physics
2006, Synthese 149(1): 133-178.
Expand entry
Added by: Nick Novelli
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.

Comment: A good argument against reduction, grounded in scientific practice. Would be useful in a philosophy of science or a metaphysics context to explore and challenge the idea of reduction. Does a good job of explaining some fairly technical concepts as clearly as possible, but still best suited to graduate or upper-level undergraduate teaching.

Export citation in BibTeX format
Export text citation
View this text on PhilPapers
Export citation in Reference Manager format
Export citation in EndNote format
Export citation in Zotero format
Share on Facebook Share on LinkedIn Share by Email
Can’t find it?
Contribute the texts you think should be here and we’ll add them soon!