-
Expand entry
-
Added by: Simon Fokt, Contributed by: Benjamin Goldberg
Publisher's Note: Margaret Cavendish's 1668 edition of Observations upon Experimental Philosophy, presented here in its first modern edition, holds a unique position in early modern philosophy. Cavendish rejects the Aristotelianism which was taught in the universities in the seventeenth century, and the picture of nature as a grand machine which was propounded by Hobbes, Descartes and members of the Royal Society of London, such as Boyle. She also rejects the views of nature which make reference to immaterial spirits. Instead she develops an original system of organicist materialism, and draws on the doctrines of ancient Stoicism to attack the tenets of seventeenth-century mechanical philosophy. Her treatise is a document of major importance in the history of women's contributions to philosophy and science.
Galavotti, Maria Carla. The notion of subjective probability in the works of Ramsey and de Finetti1991, Theoria 57 (3): 239-259.-
Expand entry
-
Added by: Sara Peppe
Introduction: The decade from the mid-twenties to the mid-thirties was undoubtedly the most crucial for the twentieth Century notion of subjective probability. It was in 1926 that Frank Ramsey wrote his essay 'Truth and probability', presented at the Moral Science Club in Cambridge and published posthumously in 1931. There he put forward for the first time a definition of probability as degree of belief, that had been anticipated only by E. Borel in 1924, in a review of J. M. Keynes' Treatise on Ten years after Ramsey's paper, namely in 1935, Bruno de Finetti gave a series of lectures at the Institut Poincare in Paris, published in 1937 under the title 'La prévision: ses lois logiques, ses sources subjectives'. In this paper subjective probability, defined in a way analogous to that adopted by Ramsey, was implemented with the notion of exchangeability, that de Finetti had already worked out in 1928- 1930. Exchangeability confers applicability to the notion of subjective probability, and fills the gap between frequency and probability as degree of belief. It was only when these two were tied together that subjectivism could become a full-fledged interpretation of probability and gain credibility among probabilists and statisticians. One can then say that with the publication of 'La prévision' the formation process of a subjective notion of probability was completed.Comment: This article is focused on subjective probability in the works of Ramsey and de Finetti even if the main part of the work is devoted to Ramsey. This text is crucial in order to understand the subjectivist line of thinking.
Rošker, Jana S.. Classical Chinese Logic2015, 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 stressedComment: 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.
Leonelli, Sabina. What distinguishes data from models?2019, European Journal for Philosophy of Science 9 (2):22.-
Expand entry
-
Added by: Sara Peppe
Abstract: I propose a framework that explicates and distinguishes the epistemic roles of data and models within empirical inquiry through consideration of their use in scientific practice. After arguing that Suppes' characterization of data models falls short in this respect, I discuss a case of data processing within exploratory research in plant phenotyping and use it to highlight the difference between practices aimed to make data usable as evidence and practices aimed to use data to represent a specific phenomenon. I then argue that whether a set of objects functions as data or models does not depend on intrinsic differences in their physical properties, level of abstraction or the degree of human intervention involved in generating them, but rather on their distinctive roles towards identifying and characterizing the targets of investigation. The paper thus proposes a characterization of data models that builds on Suppes' attention to data practices, without however needing to posit a fixed hierarchy of data and models or a highly exclusionary definition of data models as statistical constructs.Comment: This article deepens the role of model an data in the scientific investigation taking into account the scientific practice. Obviously, a general framework of the themes the author takes into account is needed.
Dalla Chiara, Maria Luisa. Logical Self Reference, Set Theoretical Paradoxes and the Measurement Problem in Quantum Mechanics1977, International Journal of Philosophical Logic 6 (1):331-347.-
Expand entry
-
Added by: Sara Peppe
Introduction: From a logical point of view the measurement problem of quantum mechanics, can be described as a characteristic question of 'semantical closure' of a theory: to what extent can a consistent theory (in this case 2R) be closed with respect to the objects and the concepfs which are described and expressed in its metatheory?Comment: This paper considers the measurement problem in Quantum Mechanics from a logical perspective. Previous and deep knowledge of logics and Quantum Mechanics' theories is vital.
Kouri Kissel, Teresa, Stewart Shapiro. Classical Logic2018, 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.
Bimbo, Katalin. Proof Theory: Sequent Calculi and Related Formalisms2015, CRC Press, Boca Raton, FL-
Expand entry
-
Added by: Berta Grimau
Publisher's Note: Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent Calculi and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi for various non-classical logics, from intuitionistic logic to relevance logic, linear logic, and modal logic. In the first chapters, the author emphasizes classical logic and a variety of different sequent calculi for classical and intuitionistic logics. She then presents other non-classical logics and meta-logical results, including decidability results obtained specifically using sequent calculus formalizations of logics.Comment: This book can be used in a variety of advanced undergraduate and postgraduate courses. Chapters 1, 2, 3 and 8 may be useful in an advanced undergraduate or beginning graduate course, where an emphasis is placed on classical logic and on a range of different proof calculi (mainly for classical logic). Chapters 4, 5 and 6 deal almost exclusively with non-classical logics. Chapters 7 and 9 are rich in meta-logical results, including results that have been obtained specifically using sequent calculus formalizations of various logics. These last five chapters might be used in a graduate course that embraces classical and nonclassical logics together with their meta-theory. To facilitate the use of the book as a text in a course, the text is peppered with exercises. In general, the starring indicates an increase in difficulty, however, sometimes an exercise is starred simply because it goes beyond the scope of the book or it is very lengthy. Solutions to selected exercises may be found on the web at the URL www.ualberta.ca/˜bimbo/ProofTheoryBook.
Allori, Valia. Primitive Ontology in a Nutshell2015, International Journal of Quantum Foundations 1(2):107-122-
Expand entry
-
Added by: Sara Peppe
Abstract: The aim of this paper is to summarize a particular approach of doing metaphysics through physics - the primitive ontology approach. The idea is that any fundamental physical theory has a well-defined architecture, to the foundation of which there is the primitive ontology, which represents matter. According to the framework provided by this approach when applied to quantum mechanics, the wave function is not suitable to represent matter. Rather, the wave function has a nomological character, given that its role in the theory is to implement the law of evolution for the primitive ontology.Comment: This article works well as a secondary reading since it refers to specific theories of physics. Previous knowledge on the cornerstones of philosophy of physics is needed.
Galavotti, Maria Carla. A Philosophical Introduction to Probability2005, CSLI Publications-
Expand entry
-
Added by: Sara Peppe
Publisher's Note: Not limited to merely mathematics, probability has a rich and controversial philosophical aspect. 'A Philosophical Introduction to Probability' showcases lesser-known philosophical notions of probability and explores the debate over their interpretations. Galavotti traces the history of probability and its mathematical properties and then discusses various philosophical positions on probability, from the Pierre Simon de Laplace's 'classical' interpretation of probability to the logical interpretation proposed by John Maynard Keynes. This book is a valuable resource for students in philosophy and mathematics and all readers interested in notions of probabilityComment: Very good article for philosophy of science and philosophy of probability courses. It works perfectly to build basic knowledge on the theme of probability.
2003, Mcgraw-Hill.-
Expand entry
-
Added by: Berta Grimau
Summary: This book is an introductory textbook on mathematical logic. It covers Propositional Logic and Predicate Logic. For each of these formalisms it presents its syntax and formal semantics as well as a tableaux-style method of consistency-checking and a natural deduction-style deductive calculus. Moreover, it discusses the metatheory of both logics.Comment: This book would be ideal for an introductory course on symbolic logic. It presupposes no previous training in logic, and because it covers sentential logic through the metatheory of first-order predicate logic, it is suitable for both introductory and intermediate courses in symbolic logic. The instructor who does not want to emphasize metatheory can simply omit Chapters 6 and 11. The chapters on truth-trees and the chapters on derivations are independent, so it is possible to cover truth-trees but not derivations and vice versa. However, the chapters on truth-trees do depend on the chapters presenting semantics; that is, Chapter 4 depends on Chapter 3 and Chapter 9 depends on Chapter 8. In contrast, the derivation chapters can be covered without first covering semantics. The Logic Book includes large exercise sets for all chapters. Answers to unstarred exercises appear in the Student Solutions Manual, available at www.mhhe.com/bergmann6e, while answers to starred exercises appear in the Instructor's Manual, which can be obtained by following the instructions on the same web page.
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. -
-
-
-
-
-
Cavendish, Margaret. Observations upon Experimental Philosophy (1666)
2011, Cambridge University Press
Comment: Needed in courses on early modern matter theory and experimental philosophy, as it is a useful counter to the one sided enthusiasm of traditional subjects of early modern courses such as Boyle and Descartes.