-
Expand entry
-
Added by: Sara Peppe
Abstract: The debate on scientific realism has raged among philosophers of science for decades. The scientific realist's claim that science aims to give us a literally true description of the way things are, has come under severe scrutiny and attack by Bas van Fraassen's constructive empiricism. All science aims at is to save the observable phenomena, according to van Fraassen. Scientific realists have faced since a main sceptical challenge: the burden is on them to prove that the entities postulated by our scientific theories are real and that science is still in the 'truth' business.Besson, Corine. Logical knowledge and ordinary reasoning2012, Philosophical Studies 158 (1):59-82.-
Expand entry
-
Added by: Berta Grimau
Abstract: This paper argues that the prominent accounts of logical knowledge have the consequence that they conflict with ordinary reasoning. On these accounts knowing a logical principle, for instance, is having a disposition to infer according to it. These accounts in particular conflict with so-called 'reasoned change in view', where someone does not infer according to a logical principle but revise their views instead. The paper also outlines a propositional account of logical knowledge which does not conflict with ordinary reasoning.Comment: This paper proposes a certain characterisation of what it is to have knowledge of logical principles which makes it compatible with the way in which we reason ordinarily. It can be seen as an alternative to Harman's view in 'Change in View' according to which ordinary people do not at all 'employ' a deductive logic in reasoning. Thus this paper could be used in a course on the role of logic in reasoning, following the reading of Harman's work. More generally, this reading is suitable for any advanced undergraduate course or postgraduate course on the topic of rationality.
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.
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.
Leng, Mary. Platonism and Anti-Platonism: Why Worry?2005, International Studies in the Philosophy of Science 19(1):65-84-
Expand entry
-
Added by: Sara Peppe
Abstract: This paper argues that it is scientific realists who should be most concerned about the issue of Platonism and anti-Platonism in mathematics. If one is merely interested in accounting for the practice of pure mathematics, it is unlikely that a story about the ontology of mathematical theories will be essential to such an account. The question of mathematical ontology comes to the fore, however, once one considers our scientific theories. Given that those theories include amongst their laws assertions that imply the existence of mathematical objects, scientific realism, when construed as a claim about the truth or approximate truth of our scientific theories, implies mathematical Platonism. However, a standard argument for scientific realism, the 'no miracles' argument, falls short of establishing mathematical Platonism. As a result, this argument cannot establish scientific realism as it is usually defined, but only some weaker position. Scientific 'realists' should therefore either redefine their position as a claim about the existence of unobservable physical objects, or alternatively look for an argument for their position that does establish mathematical Platonism.Comment: Previous knowledge both on Platonism in philosophy of mathematics and scientific realism is needed. Essential paper for advanced courses of philosophy of science.
Magidor, Ofra, Stephen Kearns. Epistemicism about vagueness and meta-linguistic safety2008, Philosophical Perspectives 22 (1): 277-304.-
Expand entry
-
Added by: Berta Grimau
Abstract: The paper challenges Williamson's safety based explanation for why we cannot know the cut-off point of vague expressions. We assume throughout (most of) the paper that Williamson is correct in saying that vague expressions have sharp cut-off points, but we argue that Williamson's explanation for why we do not and cannot know these cut-off points is unsatisfactory. In sect 2 we present Williamson's position in some detail. In particular, we note that Williamson's explanation relies on taking a particular safety principle ('Meta-linguistic belief safety' or 'MBS') as a necessary condition on knowledge. In section 3, we show that even if MBS were a necessary condition on knowledge, that would not be sufficient to show that we cannot know the cut-off points of vague expressions. In section 4, we present our main case against Williamson's explanation: we argue that MBS is not a necessary condition on knowledge, by presenting a series of cases where one's belief violates MBS but nevertheless constitutes knowledge. In section 5, we present and respond to an objection to our view. And in section 6, we briefly discuss the possible directions a theory of vagueness can take, if our objection to Williamson's theory is taken on board.Comment: This paper would work well as a secondary reading in a course on vagueness with a section on epistemicism. For instance, the course could present Williamson's as the main proposal within that tradition and then turn to this paper for criticism and an alternative proposal within the same tradition.
Bobzien, Susanne. Stoic Syllogistic1996, Oxford Studies in Ancient Philosophy 14: 133-92.-
Expand entry
-
Added by: Berta Grimau, Contributed by: Giada Fratantonio
Abstract: For the Stoics, a syllogism is a formally valid argument; the primary function of their syllogistic is to establish such formal validity. Stoic syllogistic is a system of formal logic that relies on two types of argumental rules: (i) 5 rules (the accounts of the indemonstrables) which determine whether any given argument is an indemonstrable argument, i.e. an elementary syllogism the validity of which is not in need of further demonstration; (ii) one unary and three binary argumental rules which establish the formal validity of non-indemonstrable arguments by analysing them in one or more steps into one or more indemonstrable arguments (cut type rules and antilogism). The function of these rules is to reduce given non-indemonstrable arguments to indemonstrable syllogisms. Moreover, the Stoic method of deduction differs from standard modern ones in that the direction is reversed (similar to tableau methods). The Stoic system may hence be called an argumental reductive system of deduction. In this paper, a reconstruction of this system of logic is presented, and similarities to relevance logic are pointed out.Comment: This paper can be used as specialised/further reading for an advanced undergrad or postgraduate course on ancient logic or as a primary reading in an advanced undergrad or postgraduate course on Stoic logic. Alternatively, given that the text argues that there are important parallels between Stoic logic and Relevance logic, it could be used in a course on Relevance logic as well. It requires prior knowledge of logic (in particular, proof theory).
Bobzien, Susanne. Ancient Logic2016, The Stanford Encyclopedia of Philosophy-
Expand entry
-
Added by: Berta Grimau, Contributed by: Giada Fratantonio
Summary: A comprehensive introduction to ancient (western) logic from the 5th century BCE to the 6th century CE, with an emphasis on topics which may be of interest to contemporary logicians. Topics include pre-Aristotelian logic, Aristotelian logic, Peripatetic logic, Stoic Logic and a note on Epicureans and their views on logic.Comment: This paper would be ideal as an introductory overview for a course on ancient logic. Alternatively, it could serve as an overview for a module on ancient logic within a more general course on the history of logic. No prior knowledge of logic is required; formalisms are for the most part avoided in the paper. Note that this is a SEP entry, so it's completely accessible to students.
Hutchison, Katrina, Fiona Jenkins (eds.). Women in Philosophy: What Needs to Change?2013, Oxford University Press USA.-
Expand entry
-
Added by: Sara Peppe
Publisher's Note: Despite its place in the humanities, the career prospects and numbers of women in philosophy much more closely resemble those found in the sciences and engineering. This book collects a series of critical essays by female philosophers pursuing the question of why philosophy continues to be inhospitable to women and what can be done to change it. By examining the social and institutional conditions of contemporary academic philosophy in the Anglophone world as well as its methods, culture, and characteristic commitments, the volume provides a case study in interpretation of one academic discipline in which women's progress seems to have stalled since initial gains made in the 1980s. Some contributors make use of concepts developed in other contexts to explain women's under-representation, including the effects of unconscious biases, stereotype threat, and micro-inequities. Other chapters draw on the resources of feminist philosophy to challenge everyday understandings of time, communication, authority and merit, as these shape effective but often unrecognized forms of discrimination and exclusion. Often it is assumed that women need to change to fit existing institutions. This book instead offers concrete reflections on the way in which philosophy needs to change, in order to accommodate and benefit from the important contribution women's full participation makes to the discipline.Comment: This book offers a detailed analysis about how women's role in philosophy is perceived and all the viable ways to chage the status quo. This can be used for undergraduate women studies courses or feminist philosophy courses.
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. -
-
-
-
-
-
Massimi, Michaela. Why There are No Ready-Made Phenomena: What Philosophers of Science Should Learn From Kant
2008, Royal Institute of Philosophy Supplement 63:1-35.
Comment: This article provides a very clear explanation of the scientific realism/Van Fraassen's constructive empiricism debate highlighting scientific realists' main difficulty, i.e find a proof that entities posited by science are real. Presupposes some background on the above mentioned themes.