Topic: Philosophy of the Formal Social and Natural Sciences -> Logic and Mathematics
FiltersNEW

Hold ctrl / ⌘ to select more or unselect / Info

Topics

Languages

Traditions

Times (use negative numbers for BCE)

-

Medium:

Recommended use:

Difficulty:


Full textRead free
Ismael, Jenann. Raid! Dissolving the Big, Bad Bug
2008, Nous 42 (2): 292--307

Expand entry

Added by: Simon Fokt, Contributed by: Antony Eagle
Abstract: There's a long history of discussion of probability in philosophy, but objective chance separated itself off and came into its own as a topic with the advent of a physical theory—quantum mechanics—in which chances play a central, and apparently ineliminable, role. In 1980 David Lewis wrote a paper pointing out that a very broad class of accounts of the nature of chance apparently lead to a contradiction when combined with a principle that expresses the role of chance in guiding belief. There is still no settled agreement on the proper response to the Lewis problem. At the time he wrote the article, Lewis despaired of a solution, but, although he never achieved one that satisfied him completely, by 1994, due to work primarily by Thau and Hall, he had come to think the problem could be disarmed if we fudged a little on the meaning of 'chance'. I'll say more about this below. What I'm going to suggest, however, is that the qualification is unnecessary. The problem depends on an assumption that should be rejected, viz., that using information about chance to guide credence requires one to conditionalize on the theory of chance that one is using. I'm going to propose a general recipe for using information about chance to guide belief that does not require conditionalization on a theory of chance at any stage. Lewis' problem doesn't arise in this setting.
Comment: A useful summary and positive contribution to the large debate over Lewis' Principal Principle connecting chance and credence. Useful for a graduate seminar in philosophy of probability or specialised topics in metaphysics and philosophy of physics.
Full text
Ivanova, Milena. Friedman’s Relativised A Priori and Structural Realism: In Search of Compatibility
2011, International Studies in the Philosophy of Science 25 (1):23 - 37.

Expand entry

Added by: Chris Blake-Turner, Contributed by: Milena Ivanova
Abstract: In this article I discuss a recent argument due to Dan McArthur, who suggests that the charge that Michael Friedman's relativised a priori leads to irrationality in theory change can be avoided by adopting structural realism. I provide several arguments to show that the conjunction of Friedman?s relativised a priori with structural realism cannot make the former avoid the charge of irrationality. I also explore the extent to which Friedman's view and structural realism are compatible, a presupposition of McArthur's argument. This compatibility is usually questioned, due to the Kantian aspect of Friedman's view, which clashes with the metaphysical premise of scientific realism. I argue that structural realism does not necessarily depend on this premise and as a consequence can be compatible with Friedman's view, but more importantly I question whether Friedman's view really implies mind dependence
Comment: This is a stub entry. Please add your comments below to help us expand it
Full text
Ivanova, Milena. Conventionalism, structuralism and neo-Kantianism in Poincare’s philosophy of science
2015, Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 52 (Part B):114-122.

Expand entry

Added by: Chris Blake-Turner, Contributed by: Milena Ivanova
Abstract: Poincare is well known for his conventionalism and structuralism. However, the relationship between these two theses and their place in Poincare's epistemology of science remain puzzling. In this paper I show the scope of Poincare's conventionalism and its position in Poincare's hierarchical approach to scientific theories. I argue that for Poincare scientific knowledge is relational and made possible by synthetic a priori, empirical and conventional elements, which, however, are not chosen arbitrarily. By examining his geometric conventionalism, his hierarchical account of science and defence of continuity in theory change, I argue that Poincare defends a complex structuralist position based on synthetic a priori and conventional elements, the mind-dependence of which precludes epistemic access to mind-independent structures.
Comment: This is a stub entry. Please add your comments below to help us expand it
Full text
Ivanova, Milena. Did Perrin’s Experiments Convert Poincare to Scientific Realism?
2013, Hopos: The Journal of the International Society for the History of Philosophy of Science 3 (1):1-19.

Expand entry

Added by: Chris Blake-Turner, Contributed by: Milena Ivanova
Abstract: In this paper I argue that Poincare's acceptance of the atom does not indicate a shift from instrumentalism to scientific realism. I examine the implications of Poincare's acceptance of the existence of the atom for our current understanding of his philosophy of science. Specifically, how can we understand Poincare's acceptance of the atom in structural realist terms? I examine his 1912 paper carefully and suggest that it does not entail scientific realism in the sense of acceptance of the fundamental existence of atoms but rather, argues against fundamental entities. I argue that Poincare's paper motivates a non-fundamentalist view about the world, and that this is compatible with his structuralism.
Comment: This is a stub entry. Please add your comments below to help us expand it
Full text
Janssen-Lauret, Frederique. Ruth Barcan Marcus and quantified modal logic
2022, British Journal for the History of Philosophy 30 (2):353-383.
Expand entry
Added by: Christopher Masterman
Abstract:

Analytic philosophy in the mid-twentieth century underwent a major change of direction when a prior consensus in favour of extensionalism and descriptivism made way for approaches using direct reference, the necessity of identity, and modal logic. All three were first defended, in the analytic tradition, by one woman, Ruth Barcan Marcus. But analytic philosophers now tend to credit them to Kripke, or Kripke and Carnap. I argue that seeing Barcan Marcus in her historical context – one dominated by extensionalism and descriptivism – allows us to see how revolutionary she was, in her work and influence on others. I focus on her debate with Quine, who found himself retreating to softened, and more viable, versions of his anti-modal arguments as a result. I make the case that Barcan's formal logic was philosophically well-motivated, connected to her views on reference, and well-matched to her overall views on ontology. Her nominalism led her to reject posits which could not be directly observed and named, such as possibilia. She conceived of modal calculi as facilitating counterfactual discourse about actual existents. I conclude that her contributions ought to be recognized as the first of their kind. Barcan Marcus must be awarded a central place in the canon of analytic philosophy.

Comment: This would be excellent supplementary reading for a course in modal logic or metaphysics which incorporated the work of Ruth Barcan Marcus. Clearly discusses her contribution to modal logic and metaphysics and discusses the history of this period of philosophy in depth.
Full textSee used
Jenkins, Carrie. Entitlement and rationality
2007, 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.
Full text
Jenkins-Ichikawa, Carrie. Knowledge of Arithmetic
2005, British Journal for the Philosophy of Science 56: 727-747.

Expand entry

Added by: Jamie Collin
Abstract: The goal of the research programme I describe in this article is a realist epistemology for arithmetic which respects arithmetic's special epistemic status (the status usually described as a prioricity) yet accommodates naturalistic concerns by remaining funda- mentally empiricist. I argue that the central claims which would allow us to develop such an epistemology are (i) that arithmetical truths are known through an examination of our arithmetical concepts; (ii) that (at least our basic) arithmetical concepts are accurate mental representations of elements of the arithmetical structure of the inde- pendent world; (iii) that (ii) obtains in virtue of the normal functioning of our sensory apparatus. The first of these claims protects arithmetic's special epistemic status relative, for example, to the laws of physics, the second preserves the independence of arithmetical truth, and the third ensures that we remain empiricists.
Comment: Useful as a primary or secondary reading in an advanced undergraduate course epistemology (in a section on a priori knowledge) or an advanced undergraduate course on philosophy of mathematics. This is not an easy paper, but it is clear. It is also useful within a teaching context, as it provides a summary of the influential neo-Fregean approach to mathematical knowledge.
Full text
Jeshion, Robin. Frege’s Notions of Self-Evidence
2001, Mind 110 (440):937-976

Expand entry

Added by: Simon Fokt, Contributed by: Alexander Yates
Abstract: Controversy remains over exactly why Frege aimed to estabish logicism. In this essay, I argue that the most influential interpretations of Frege's motivations fall short because they misunderstand or neglect Frege's claims that axioms must be self-evident. I offer an interpretation of his appeals to self-evidence and attempt to show that they reveal a previously overlooked motivation for establishing logicism, one which has roots in the Euclidean rationalist tradition. More specifically, my view is that Frege had two notions of self-evidence. One notion is that of a truth being foundationally secure, yet not grounded on any other truth. The second notion is that of a truth that requires only clearly grasping its content for rational, a priori justified recognition of its truth. The overarching thesis I develop is that Frege required that axioms be self-evident in both senses, and he relied on judging propositions to be self-evident as part of his fallibilist method for identifying a foundation of arithmetic. Consequently, we must recognize both notions in order to understand how Frege construes ultimate foundational proofs, his methodology for discovering and identifying such proofs, and why he thought the propositions of arithmetic required proof.
Comment: A nice discussion of what sort of epistemic status Frege thought axioms needed to have. A nice historical example of foundationalist epistemology - good for a course on Frege or analytic philosophy more generally, or as further reading in a course on epistemology, to give students a historical example of certain epistemological subtleties.
Read free
Keefe, Rosanna. What Logical Pluralism Cannot Be
2014, Synthese 191 (7):1375-1390
Expand entry
Added by: Franci Mangraviti
Abstract:

Logical Pluralists maintain that there is more than one genuine/true logical consequence relation. This paper seeks to understand what the position could amount to and some of the challenges faced by its formulation and defence. I consider in detail Beall and Restall’s Logical Pluralism—which seeks to accommodate radically different logics by stressing the way that they each fit a general form, the Generalised Tarski Thesis (GTT)—arguing against the claim that different instances of GTT are admissible precisifications of logical consequence. I then consider what it is to endorse a logic within a pluralist framework and criticise the options Beall and Restall entertain. A case study involving many-valued logics is examined. I next turn to issues of the applications of different logics and questions of which logic a pluralist should use in particular contexts. A dilemma regarding the applicability of admissible logics is tackled and it is argued that application is a red herring in relation to both understanding and defending a plausible form of logical pluralism. In the final section, I consider other ways to be and not to be a logical pluralist by examining analogous positions in debates over religious pluralism: this, I maintain, illustrates further limitations and challenges for a very general logical pluralism. Certain less wide-ranging pluralist positions are more plausible in both cases, I suggest, but assessment of those positions needs to be undertaken on a case-by-case basis.

Comment: Makes for a nice counter in any course discussing Beall and Restall's pluralism. Given that the paper is a direct response, some previous familiarity with the topic is advised.
Full text
Klenk, Virginia. Understanding Symbolic Logic
2008, Pearson Prentice Hall.

Expand entry

Added by: Berta Grimau
Publisher’s Note:
Description - This comprehensive introduction presents the fundamentals of symbolic logic clearly, systematically, and in a straightforward style accessible to readers. Each chapter, or unit, is divided into easily comprehended small bites that enable learners to master the material step-by-step, rather than being overwhelmed by masses of information covered too quickly. The book provides extremely detailed explanations of procedures and techniques, and was written in the conviction that anyone can thoroughly master its content. A four-part organization covers sentential logic, monadic predicate logic, relational predicate logic, and extra credit units that glimpse into alternative methods of logic and more advanced topics.
Comment: This book is ideal for a first introduction course to formal logic. It doesn't presuppose any logical knowledge. It covers propositional and first-order logic (monadic and relational).
Can’t find it?
Contribute the texts you think should be here and we’ll add them soon!