-
Expand entry
-
Added by: Franci MangravitiAbstract:
In this paper, we provide a recipe that not only captures the common structure of semantic paradoxes but also captures our intuitions regarding the relations between these paradoxes. Before we unveil our recipe, we first discuss a well-known schema introduced by Graham Priest, namely,the Inclosure Schema. Without rehashing previous arguments against the Inclosure Schema, we contribute different arguments for the same concern that the Inclosure Schema bundles together the wrong paradoxes. That is, we will provide further arguments on why the Inclosure Schema is both too narrow and too broad. We then spell out our recipe. The recipe shows that all of the following paradoxes share the same structure: The Liar, Curry’s paradox, Validity Curry, Provability Liar, Provability Curry, Knower’s paradox, Knower’s Curry, Grelling-Nelson’s paradox, Russell’s paradox in terms of extensions, alternative Liar and alternative Curry, and hitherto unexplored paradoxes.We conclude the paper by stating the lessons that we can learn from the recipe, and what kind of solutions the recipe suggests if we want to adhere to the Principle of Uniform Solution.
Alexandrova, Anna. Making Models Count2008, Philosophy of Science 75(3): 383-404.-
Expand entry
-
Added by: Nick Novelli
Abstract: What sort of claims do scientific models make and how do these claims then underwrite empirical successes such as explanations and reliable policy interventions? In this paper I propose answers to these questions for the class of models used throughout the social and biological sciences, namely idealized deductive ones with a causal interpretation. I argue that the two main existing accounts misrepresent how these models are actually used, and propose a new account.
Comment: A good exploration of the role of models in scientific practice. Provides a good overview of the main theories about models, and some objections to them, before suggesting an alternative. Good use of concrete examples, presented very clearly. Suitable for undergraduate teaching. Would form a useful part of an examination of modelling in philosophy of science.
Alexandrova, Anna, Robert Northcott. It’s just a feeling: why economic models do not explain2013, Journal of Economic Methodology, 20(3), 262-267-
Expand entry
-
Added by: Simon Fokt, Contributed by: Patricia Rich
Abstract: Julian Reiss correctly identified a trilemma about economic models: we cannot maintain that they are false, but nevertheless explain and that only true accounts explain. In this reply we give reasons to reject the second premise – that economic models explain. Intuitions to the contrary should be distrusted.Comment: This is a good short article to read alongside Reiss' important paper on the explanation paradox, in the context of a philosophy of economics or social science class. It argues against Reiss' premise that economic models are explanatory. It draws on, but does not require, knowledge of anyone's positions in the larger debate on the status of formal models.
Allori, Valia. On the metaphysics of quantum mechanics2013, In Soazig Lebihan (ed.), Precis de la Philosophie de la Physique, Vuibert.-
Expand entry
-
Added by: Laura Jimenez
Abstract: Many solutions have been proposed for solving the problem of macroscopic superpositions of wave function ontology. A possible solution is to assume that, while the wave function provides the complete description of the system, its temporal evolution is not given by the Schroedinger equation. The usual Schroedinger evolution is interrupted by random and sudden "collapses". The most promising theory of this kind is the GRW theory, named after the scientists that developed it: Gian Carlo Ghirardi, Alberto Rimini and Tullio Weber. It seems tempting to think that in GRW we can take the wave function ontologically seriously and avoid the problem of macroscopic superpositions just allowing for quantum jumps. In this paper it is argued that such "bare" wave function ontology is not possible, neither for GRW nor for any other quantum theory: quantum mechanics cannot be about the wave function simpliciter. All quantum theories should be regarded as theories in which physical objects are constituted by a primitive ontology. The primitive ontology is mathematically represented in the theory by a mathematical entity in three-dimensional space, or space-time.Comment: This is a very interesting article on the ontology of Quantum Mechanics. It is recommended for advanced courses in Philosophy of Science, especially for modules in the Philosophy of physics. Previous knowledge of Bohmian mechanics and the Many Words Interpretation is necessary. Recommended for postgraduate students.
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.
2021, Synthese, 199(1): 859-870.-
Expand entry
-
Added by: Fenner Stanley TanswellAbstract:
Mathematicians appear to have quite high standards for when they will rely on testimony. Many mathematicians require that a number of experts testify that they have checked the proof of a result p before they will rely on p in their own proofs without checking the proof of p. We examine why this is. We argue that for each expert who testifies that she has checked the proof of p and found no errors, the likelihood that the proof contains no substantial errors increases because different experts will validate the proof in different ways depending on their background knowledge and individual preferences. If this is correct, there is much to be gained for a mathematician from requiring that a number of experts have checked the proof of p before she will rely on p in her own proofs without checking the proof of p. In this way a mathematician can protect her own work and the work of others from errors. Our argument thus provides an explanation for mathematicians’ attitude towards relying on testimony.Comment (from this Blueprint): The orthodox picture of mathematical knowledge is so individualistic that it often leaves out the mathematician themselves. In this piece, Andersen et al. look at what role testimony plays in mathematical knowledge. They thereby emphasise social features of mathematical proofs, and why this can play an important role in deciding which results to trust in the maths literature.
Aybüke Özgün, Tom Schoonen. The Logical Development of Pretense Imagination2022, Erkenntnis 89: 2121–2147.-
Expand entry
-
Added by: Viviane FairbankAbstract:
We propose a logic of imagination, based on simulated belief revision, that intends to uncover the logical patterns governing the development of imagination in pretense. Our system complements the currently prominent logics of imagination in that ours in particular formalises (1) the algorithm that specifies what goes on in between receiving a certain input for an imaginative episode and what is imagined in the resulting imagination, as well as (2) the goal-orientedness of imagination, by allowing the context to determine, what we call, the overall topic of the imaginative episode. To achieve this, we employ well-developed tools and techniques from dynamic epistemic logic and belief revision theory, enriched with a topicality component which has been exploited in the recent literature. As a result, our logic models a great number of cognitive theories of pretense and imagination [cf. Currie and Ravenscroft (Recreative minds, Oxford University Press, Oxford, 2002); Nichols and Stich (Mindreading: an integrated account of pretence, self-awareness, and understanding other minds, Oxford University Press, Oxford, 2003); Byrne (The rational imagination, The MIT Press, London, 2005); Williamson (The philosophy of philosophy, Blackwell Publishing, Oxford, 2007); Langland-Hassan (Philos Stud 159:155–179, 2012, in: Kind and Kung (eds) Knowledge through imaginaion, Oxford University Press, Oxford, 2016].
Comment:
Ayim, Maryann. Passing Through the Needle’s Eye: Can a Feminist Teach Logic?1995, Argumentation 9: 801-820-
Expand entry
-
Added by: Franci MangravitiAbstract:
Is it possible for one and the same person to be a feminist and a logician, or does this entail a psychic rift of such proportions that one is plunged into an endless cycle of self-contradiction? Andrea Nye's book, Words of Power (1990), is an eloquent affirmation of the psychic rift position. In what follows, I shall discuss Nye's proscription of logic as well as her perceived alternatives of a woman's language and reading. This will be followed by a discussion more sharply focused on Nye's feminist response to logic, namely, her claim that feminism and logic are incompatible. I will end by offering a sketch of a class in the life of a feminist teaching logic, a sketch which is both a response to Nye (in Nye's sense of the word) and a counter-example to her thesis that logic is necessarily destructive to any genuine feminist enterprise.
Comment:
available in this Blueprint
Basso, Alessandra, Lisciandra, Chiara, Marchionni, Caterina. Hypothetical models in social science: their features and uses2017, Springer Handbook of Model-Based Science. Magnani, L. & Bertolotti, T. (eds.). Springer, 413-433-
Expand entry
-
Added by: Björn Freter, Contributed by: Johanna Thoma
Abstract: The chapter addresses the philosophical issues raised by the use of hypothetical modeling in the social sciences. Hypothetical modeling involves the construction and analysis of simple hypothetical systems to represent complex social phenomena for the purpose of understanding those social phenomena. To highlight its main features hypothetical modeling is compared both to laboratory experimentation and to computer simulation. In analogy with laboratory experiments, hypothetical models can be conceived of as scientific representations that attempt to isolate, theoretically, the working of causal mechanisms or capacities from disturbing factors. However, unlike experiments, hypothetical models need to deal with the epistemic uncertainty due to the inevitable presence of unrealistic assumptions introduced for purposes of analytical tractability. Computer simulations have been claimed to be able to overcome some of the strictures of analytical tractability. Still they differ from hypothetical models in how they derive conclusions and in the kind of understanding they provide. The inevitable presence of unrealistic assumptions makes the legitimacy of the use of hypothetical modeling to learn about the world a particularly pressing problem in the social sciences. A review of the contemporary philosophical debate shows that there is still little agreement on what social scientific models are and what they are for. This suggests that there might not be a single answer to the question of what is the epistemic value of hypothetical models in the social sciences.Comment: This is a very useful and accessible overview of hypothetical modelling in the social sciences, and the philosophical debates it has given rise to.
Bergmann, Merrie. An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems2008, Cambridge University Press.-
Expand entry
-
Added by: Berta Grimau
Publisher's note: This volume is an accessible introduction to the subject of many-valued and fuzzy logic suitable for use in relevant advanced undergraduate and graduate courses. The text opens with a discussion of the philosophical issues that give rise to fuzzy logic - problems arising from vague language - and returns to those issues as logical systems are presented. For historical and pedagogical reasons, three valued logical systems are presented as useful intermediate systems for studying the principles and theory behind fuzzy logic. The major fuzzy logical systems - Lukasiewicz, Godel, and product logics - are then presented as generalizations of three-valued systems that successfully address the problems of vagueness. Semantic and axiomatic systems for three-valued and fuzzy logics are examined along with an introduction to the algebras characteristic of those systems. A clear presentation of technical concepts, this book includes exercises throughout the text that pose straightforward problems, ask students to continue proofs begun in the text, and engage them in the comparison of logical systems.Comment: This book is ideal for an intermediate-level course on many-valued and/or fuzzy logic. Although it includes a presentation of propositional and first-order logic, it is intended for students who are familiar with classical logic. However, no previous knowledge of many-valued or fuzzy logic is required. It can also be used as a secondary reading for a general course on non-classical logics. In the words of the author: 'The truth-valued semantic chapters are independent of the algebraic and axiomatic ones, so that either of the latter may be skipped. Except for Section 13.3 of Chapter 13, the axiomatic chapters are also independent of the algebraic ones, and an instructor who chooses to skip the algebraic material can simply ignore the latter part of 13.3. Finally, Lukasiewicz fuzzy logic is presented independently of Gödel and product fuzzy logics, thus allowing an instructor to focus solely on the former. There are exercises throughout the text. Some pose straightforward problems for the student to solve, but many exercises also ask students to continue proofs begun in the text, to prove results analogous to those in the text, and to compare the various logical systems that are presented.' This book is ideal for an intermediate-level course on many-valued and/or fuzzy logic. Although it includes a presentation of propositional and first-order logic, it is intended for students who are familiar with classical logic. However, no previous knowledge of many-valued or fuzzy logic is required. It can also be used as a secondary reading for a general course on non-classical logics. In the words of the author: 'The truth-valued semantic chapters are independent of the algebraic and axiomatic ones, so that either of the latter may be skipped. Except for Section 13.3 of Chapter 13, the axiomatic chapters are also independent of the algebraic ones, and an instructor who chooses to skip the algebraic material can simply ignore the latter part of 13.3. Finally, Lukasiewicz fuzzy logic is presented independently of Gödel and product fuzzy logics, thus allowing an instructor to focus solely on the former. There are exercises throughout the text. Some pose straightforward problems for the student to solve, but many exercises also ask students to continue proofs begun in the text, to prove results analogous to those in the text, and to compare the various logical systems that are presented.'
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. -
-
-
-
-
-
Ahmad, Rashed. A Recipe for Paradox
2022, Australasian Journal of Logic, 19(5): 254-281
Comment: Appropriate for a course on logical paradoxes. Makes a natural foil to a reading defending the inclosure schema. Familiarity with sequent calculus, and with the Liar and Curry paradoxes, is required.