-
Expand entry
-
Added by: Berta Grimau, Contributed by: Sara L. Uckelman
Abstract: Temporal logic as a modern discipline is separate from classical logic; it is seen as an addition or expansion of the more basic propositional and predicate logics. This approach is in contrast with logic in the Middle Ages, which was primarily intended as a tool for the analysis of natural language. Because all natural language sentences have tensed verbs, medieval logic is inherently a temporal logic. This fact is most clearly exemplified in medieval theories of supposition. As a case study, we look at the supposition theory of Lambert of Lagny (Auxerre), extracting from it a temporal logic and providing a formalization of that logic.Sagi, Gil. Models and Logical Consequence2014, Journal of Philosophical Logic 43(5): 943-964.-
Expand entry
-
Added by: Berta Grimau
Abstract: This paper deals with the adequacy of the model-theoretic definition of logical consequence. Logical consequence is commonly described as a necessary relation that can be determined by the form of the sentences involved. In this paper, necessity is assumed to be a metaphysical notion, and formality is viewed as a means to avoid dealing with complex metaphysical questions in logical investigations. Logical terms are an essential part of the form of sentences and thus have a crucial role in determining logical consequence. Gila Sher and Stewart Shapiro each propose a formal criterion for logical terms within a model-theoretic framework, based on the idea of invariance under isomorphism. The two criteria are formally equivalent, and thus we have a common ground for evaluating and comparing Sher and Shapiro philosophical justification of their criteria. It is argued that Shapiro's blended approach, by which models represent possible worlds under interpretations of the language, is preferable to Sher’s formal-structural view, according to which models represent formal structures. The advantages and disadvantages of both views’ reliance on isomorphism are discussed.Comment: This paper provides an original view on the debate on the adequacy of the model-theoretic notion of logical consequence as well as a good overview of the relevant part of the debate. It can be used as standing on its own, but it can also serve as a complement to Sher (1996), also written by a female logician, and Shapiro (1998). Adequate for a general course on philosophy of logic or in a more specialized course on logical consequence. The paper is not technical, although students should've have taken at least an introductory logic course.
Brading, Katherine, Elena Castellani. Symmetry and Symmetry Breaking2013, The Standford Encyclopedia of Philosophy-
Expand entry
-
Added by: Laura Jimenez
Introduction: Symmetry considerations dominate modern fundamental physics, both in quantum theory and in relativity. Philosophers are now beginning to devote increasing attention to such issues as the significance of gauge symmetry, quantum particle identity in the light of permutation symmetry, how to make sense of parity violation, the role of symmetry breaking, the empirical status of symmetry principles, and so forth. These issues relate directly to traditional problems in the philosophy of science, including the status of the laws of nature, the relationships between mathematics, physical theory, and the world, and the extent to which mathematics suggests new physics. This entry begins with a brief description of the historical roots and emergence of the concept of symmetry that is at work in modern science. It then turns to the application of this concept to physics, distinguishing between two different uses of symmetry: symmetry principles versus symmetry arguments. It mentions the different varieties of physical symmetries, outlining the ways in which they were introduced into physics. Then, stepping back from the details of the various symmetries, it makes some remarks of a general nature concerning the status and significance of symmetries in physics.Comment: This article offers a good introduction to the topic of symmetries. The entry begins with a brief description of the historical roots and emergence of the concept of symmetry that could serve as a reading for undergraduates. It then turns to the application of this concept to physics and merges the discussion with issues in relativity and quantum mechanics. This second part of the article is thus more suitable to postgraduate courses in philosophy of science, specially, philosophy of physics. It could serve as a secondary reading for those researching the laws of nature.
Nersessian, Nancy. Creating Scientific Concepts2008, 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.
Jenkins, Carrie. Entitlement and rationality2007, Synthese 157 (1): 25-45.-
Expand entry
-
Added by: Jie Gao
Abstract: This paper takes the form of a critical discussion of Crispin Wright's notion of entitlement of cognitive project. I examine various strategies for defending the claim that entitlement can make acceptance of a proposition epistemically rational, including one which appeals to epistemic consequentialism. Ultimately, I argue, none of these strategies is successful, but the attempt to isolate points of disagreement with Wright issues in some positive proposals as to how an epistemic consequentialist should characterize epistemic rationality.Comment: This paper critically examines Wright's notion of entitlement, therefore it is natural to use it as a further disucssion material on Wright's paper (On epistemic entitlement: Warrant for nothing (and foundations for free?), 2004). Suitable for a senior undergraduate course on epistemology for topics on entitlement and epistemic rationality.
Dutilh Novaes, Catarina. Formal Languages in Logic: A Philosophical and Cognitive Analysis2012, Cambridge: Cambridge University Press-
Expand entry
-
Added by: Jie GaoPublisher’s Note:
Formal languages are widely regarded as being above all mathematical objects and as producing a greater level of precision and technical complexity in logical investigations because of this. Yet defining formal languages exclusively in this way offers only a partial and limited explanation of the impact which their use (and the uses of formalisms more generally elsewhere) actually has. In this book, Catarina Dutilh Novaes adopts a much wider conception of formal languages so as to investigate more broadly what exactly is going on when theorists put these tools to use. She looks at the history and philosophy of formal languages and focuses on the cognitive impact of formal languages on human reasoning, drawing on their historical development, psychology, cognitive science and philosophy. Her wide-ranging study will be valuable for both students and researchers in philosophy, logic, psychology and cognitive and computer science.Comment: This book addresses important questions about formal languages: why formalization works and the limitations of formalization. The questions are answered from cognitive, historical and logical points of view. It is a good introductory material for teaching on formal language and psychology of reasoning.
Haack, Susan. The Justification of Deduction1976, Mind 85 (337): 112-119.-
Expand entry
-
Added by: Jie Gao
Abstract: It is often taken for granted by writers who propose - and, for that matter, by writers who oppose - 'justifications' of inductions, that deduction either does not need, or can readily be provided with, justification. The purpose of this paper is to argue that, contrary to this common opinion, problems analogous to those which, notoriously, arise in the attempt to justify induction, also arise in the attempt to justify deduction.Comment: This paper argues that justification for deduction, like justification for induction, also has the problem of circularity. It is suitable for teachings on topic of justification for inference in a course on philosophy of logic.
Haack, Susan. Philosophy of Logics1978, 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.
Sarukkai, Sundar. Indian Philosophy and Philosophy of Science2005, 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.
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.
Can’t find it?Contribute the texts you think should be here and we’ll add them soon!
-
-
-
This site is registered on Toolset.com as a development site. -
-
-
-
-
-
Uckelman, Sara L.. A Quantified Temporal Logic for Ampliation and Restriction
2013, Vivarium 51(1-4): 485-510.
Comment: This article employs modal-temporal logic with Kripke semantics to formalize a particular supposition theory (Lambert of Lagny’s). Thus, it includes an original proposal. Moreover, it provides both an introduction to medieval supposition theory and an introduction to Kripke semantics. So, it could be used as a means to work on either of those topics. It does not involve many technicalities, but a bit of familiarity with modal logic is recommended.