-
14953Forall x (UBC Edition)Creative Commons: Attribution-ShareAlike 3.0. 2020.This is an open-access introductory logic textbook, prepared by Jonathan Ichikawa, based on P.D. Magnus's forallx. This (v2.0, July 2020) is intended as a stable, ready-for-teaching edition.
-
3625Forall x: Calgary. An Introduction to Formal Logic (4th ed.)Open Logic Project. 2023.forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and fu…Read more
-
2717Para Todxs: Natal - uma introdução à lógica formalPPGFIL-UFRN. 2022.Livro-texto de introdução à lógica, com (mais do que) pitadas de filosofia da lógica, produzido como uma versão revista e ampliada do livro Forallx: Calgary. Trata-se da versão de 13 de outubro de 2022. Comentários, críticas, correções e sugestões são muito bem-vindos.
-
1766Scientific enquiry and natural kinds: from planets to mallardsPalgrave-Macmillan. 2012.Some scientific categories seem to correspond to genuine features of the world and are indispensable for successful science in some domain; in short, they are natural kinds. This book gives a general account of what it is to be a natural kind and puts the account to work illuminating numerous specific examples.
-
1520Forall x: An introduction to formal logicState University of New York Oer Services. 2005.An introduction to sentential logic and first-order predicate logic with identity, logical systems that significantly influenced twentieth-century analytic philosophy. After working through the material in this book, a student should be able to understand most quantified expressions that arise in their philosophical reading. This books treats symbolization, formal semantics, and proof theory for each language. The discussion of formal semantics is more direct than in many introductory texts. Alt…Read more
-
1381Reality, sex, and cyberspaceIn Unknown Unknown (ed.), MacHack conference proceedings, . 2000.Typical discussions of virtual reality (VR) fixate on technology for providing sensory stimulation of a certain kind. They thus fail to understand reality as the place wherein we live and work, misunderstanding it instead as merely a sort of presentation. The first half of the paper examines popular conceptions of VR. The most common conception is a shallow one according to which VR is a matter of simulating appearances. Yet there is, even in popular depictions, a second, more subtle conception …Read more
-
1193Realist Ennui and the Base Rate FallacyPhilosophy of Science 71 (3): 320-338. 2004.The no-miracles argument and the pessimistic induction are arguably the main considerations for and against scientific realism. Recently these arguments have been accused of embodying a familiar, seductive fallacy. In each case, we are tricked by a base rate fallacy, one much-discussed in the psychological literature. In this paper we consider this accusation and use it as an explanation for why the two most prominent `wholesale' arguments in the literature seem irresolvable. Framed probabilisti…Read more
-
1132On Trusting WikipediaEpisteme 6 (1): 74-90. 2009.Given the fact that many people use Wikipedia, we should ask: Can we trust it? The empirical evidence suggests that Wikipedia articles are sometimes quite good but that they vary a great deal. As such, it is wrong to ask for a monolithic verdict on Wikipedia. Interacting with Wikipedia involves assessing where it is likely to be reliable and where not. I identify five strategies that we use to assess claims from other sources and argue that, to a greater of lesser degree, Wikipedia frustrates al…Read more
-
1111John Stuart Mill on Taxonomy and Natural KindsHopos: The Journal of the International Society for the History of Philosophy of Science 5 (2): 269-280. 2015.The accepted narrative treats John Stuart Mill’s Kinds as the historical prototype for our natural kinds, but Mill actually employs two separate notions: Kinds and natural groups. Considering these, along with the accounts of Mill’s nineteenth-century interlocutors, forces us to recognize two distinct questions. First, what marks a natural kind as worthy of inclusion in taxonomy? Second, what exists in the world that makes a category meet that criterion? Mill’s two notions offer separate answers…Read more
-
964William James on Risk, Efficacy, and EvidentialismEpisteme 19 (1): 146-158. 2022.William James’ argument against William Clifford in The Will to Believe is often understood in terms of doxastic efficacy, the power of belief to influence an outcome. Although that is one strand of James’ argument, there is another which is driven by ampliative risk. The second strand of James’ argument, when applied to scientific cases, is tantamount to what is now called the Argument from Inductive Risk. Either strand of James’ argument is sufficient to rebut Clifford's strong evidentialism a…Read more
-
954What Kind of Is-Ought Gap is There and What Kind Ought There Be?Journal of Moral Philosophy 14 (4): 373-393. 2017.Some philosophers think that there is a gap between is and ought which necessarily makes normative enquiry a different kind of thing than empirical science. This position gains support from our ability to explicate our inferential practices in a way that makes it impermissible to move from descriptive premises to a normative conclusion. But we can also explicate them in a way that allows such moves. So there is no categorical answer as to whether there is or is not a gap. The question of an is-o…Read more
-
863Are Digital Images Allographic?Journal of Aesthetics and Art Criticism 72 (4): 417-427. 2014.Nelson Goodman's distinction between autographic and allographic arts is appealing, we suggest, because it promises to resolve several prima facie puzzles. We consider and rebut a recent argument that alleges that digital images explode the autographic/allographic distinction. Regardless, there is another familiar problem with the distinction, especially as Goodman formulates it: it seems to entirely ignore an important sense in which all artworks are historical. We note in reply that some artwo…Read more
-
829Inductions, Red Herrings, and the Best Explanation for the Mixed Record of ScienceBritish Journal for the Philosophy of Science 61 (4): 803-819. 2010.Kyle Stanford has recently claimed to offer a new challenge to scientific realism. Taking his inspiration from the familiar Pessimistic Induction (PI), Stanford proposes a New Induction (NI). Contra Anjan Chakravartty’s suggestion that the NI is a ‘red herring’, I argue that it reveals something deep and important about science. The Problem of Unconceived Alternatives, which lies at the heart of the NI, yields a richer anti-realism than the PI. It explains why science falls short when it falls s…Read more
-
812Taxonomy, ontology, and natural kindsSynthese 195 (4): 1427-1439. 2018.When we ask what natural kinds are, there are two different things we might have in mind. The first, which I’ll call the taxonomy question, is what distinguishes a category which is a natural kind from an arbitrary class. The second, which I’ll call the ontology question, is what manner of stuff there is that realizes the category. Many philosophers have systematically conflated the two questions. The confusion is exhibited both by essentialists and by philosophers who pose their accounts in ter…Read more
-
712State of the Field: Why novel prediction mattersStudies in History and Philosophy of Science Part A 44 (4): 580-589. 2013.There is considerable disagreement about the epistemic value of novel predictive success, i.e. when a scientist predicts an unexpected phenomenon, experiments are conducted, and the prediction proves to be accurate. We survey the field on this question, noting both fully articulated views such as weak and strong predictivism, and more nascent views, such as pluralist reasons for the instrumental value of prediction. By examining the various reasons offered for the value of prediction across a ra…Read more
-
697Science, Values, and the Priority of EvidenceLogos and Episteme 9 (4): 413-431. 2018.It is now commonly held that values play a role in scientific judgment, but many arguments for that conclusion are limited. First, many arguments do not show that values are, strictly speaking, indispensable. The role of values could in principle be filled by a random or arbitrary decision. Second, many arguments concern scientific theories and concepts which have obvious practical consequences, thus suggesting or at least leaving open the possibility that abstruse sciences without such a connec…Read more
-
684What’s New about the New Induction?Synthese 148 (2): 295-301. 2006.The problem of underdetermination is thought to hold important lessons for philosophy of science. Yet, as Kyle Stanford has recently argued, typical treatments of it offer only restatements of familiar philosophical problems. Following suggestions in Duhem and Sklar, Stanford calls for a New Induction from the history of science. It will provide proof, he thinks, of “the kind of underdetermination that the history of science reveals to be a distinctive and genuine threat to even our best scienti…Read more
-
681Williamson on knowledge and psychological explanationPhilosophical Studies 116 (1): 37-52. 2003.According to many philosophers, psychological explanation canlegitimately be given in terms of belief and desire, but not in termsof knowledge. To explain why someone does what they do (so the common wisdom holds) you can appeal to what they think or what they want, but not what they know. Timothy Williamson has recently argued against this view. Knowledge, Williamson insists, plays an essential role in ordinary psychological explanation.Williamson's argument works on two fronts.First, he argues…Read more
-
658Reckoning the shape of everything: Underdetermination and cosmotopologyBritish Journal for the Philosophy of Science 56 (3): 541-557. 2005.This paper offers a general characterization of underdetermination and gives a prima facie case for the underdetermination of the topology of the universe. A survey of several philosophical approaches to the problem fails to resolve the issue: the case involves the possibility of massive reduplication, but Strawson on massive reduplication provides no help here; it is not obvious that any of the rival theories are to be preferred on grounds of simplicity; and the usual talk of empirically equiva…Read more
-
654What Scientists Know Is Not a Function of What Scientists KnowPhilosophy of Science 80 (5): 840-849. 2013.There are two senses of ‘what scientists know’: An individual sense (the separate opinions of individual scientists) and a collective sense (the state of the discipline). The latter is what matters for policy and planning, but it is not something that can be directly observed or reported. A function can be defined to map individual judgments onto an aggregate judgment. I argue that such a function cannot effectively capture community opinion, especially in cases that matter to us
-
645Background theories and total sciencePhilosophy of Science 72 (5): 1064-1075. 2005.Background theories in science are used both to prove and to disprove that theory choice is underdetermined by data. The alleged proof appeals to the fact that experiments to decide between theories typically require auxiliary assumptions from other theories. If this generates a kind of underdetermination, it shows that standards of scientific inference are fallible and must be appropriately contextualized. The alleged disproof appeals to the possibility of suitable background theories to show t…Read more
-
637Art Concept PluralismMetaphilosophy 42 (1-2): 83-97. 2011.Abstract: There is a long tradition of trying to analyze art either by providing a definition (essentialism) or by tracing its contours as an indefinable, open concept (anti-essentialism). Both art essentialists and art anti-essentialists share an implicit assumption of art concept monism. This article argues that this assumption is a mistake. Species concept pluralism—a well-explored position in philosophy of biology—provides a model for art concept pluralism. The article explores the condition…Read more
-
590Distributed Cognition and the Task of ScienceSocial Studies of Science 37 (2): 297--310. 2007.This paper gives a characterization of distributed cognition (d-cog) and explores ways that the framework might be applied in studies of science. I argue that a system can only be given a d-cog description if it is thought of as performing a task. Turning our attention to science, we can try to give a global d-cog account of science or local d-cog accounts of particular scientific projects. Several accounts of science can be seen as global d-cog accounts: Robert Merton's sociology of scientific …Read more
-
582Peirce: Underdetermination, agnosticism, and related mistakesInquiry: An Interdisciplinary Journal of Philosophy 48 (1). 2005.There are two ways that we might respond to the underdetermination of theory by data. One response, which we can call the agnostic response, is to suspend judgment: "Where scientific standards cannot guide us, we should believe nothing". Another response, which we can call the fideist response, is to believe whatever we would like to believe: "If science cannot speak to the question, then we may believe anything without science ever contradicting us". C.S. Peirce recognized these options and sug…Read more
-
567Generative AI and photographic transparencyAI and Society 1-6. forthcoming.There is a history of thinking that photographs provide a special kind of access to the objects depicted in them, beyond the access that would be provided by a painting or drawing. What is included in the photograph does not depend on the photographer’s beliefs about what is in front of the camera. This feature leads Kendall Walton to argue that photographs literally allow us to see the objects which appear in them. Current generative algorithms produce images in response to users’ text prompts.…Read more
-
562The scope of inductive riskMetaphilosophy 53 (1): 17-24. 2022.The Argument from Inductive Risk (AIR) is taken to show that values are inevitably involved in making judgements or forming beliefs. After reviewing this conclusion, I pose cases which are prima facie counterexamples: the unreflective application of conventions, use of black-boxed instruments, reliance on opaque algorithms, and unskilled observation reports. These cases are counterexamples to the AIR posed in ethical terms as a matter of personal values. Nevertheless, it need not be understood i…Read more
-
554Underdetermination and the problem of identical rivalsPhilosophy of Science 70 (5): 1256-1264. 2003.If two theory formulations are merely different expressions of the same theory, then any problem of choosing between them cannot be due to the underdetermination of theories by data. So one might suspect that we need to be able to tell distinct theories from mere alternate formulations before we can say anything substantive about underdetermination, that we need to solve the problem of identical rivals before addressing the problem of underdetermination. Here I consider two possible solutions: Q…Read more
-
548Drakes, seadevils, and similarity fetishismBiology and Philosophy 26 (6): 857-870. 2011.Homeostatic property clusters (HPCs) are offered as a way of understanding natural kinds, especially biological species. I review the HPC approach and then discuss an objection by Ereshefsky and Matthen, to the effect that an HPC qua cluster seems ill-fitted as a description of a polymorphic species. The standard response by champions of the HPC approach is to say that all members of a polymorphic species have things in common, namely dispositions or conditional properties. I argue that this res…Read more
-
547Reid's defense of common sensePhilosophers' Imprint 8 1-14. 2008.Thomas Reid is often misread as defending common sense, if at all, only by relying on illicit premises about God or our natural faculties. On these theological or reliabilist misreadings, Reid makes common sense assertions where he cannot give arguments. This paper attempts to untangle Reid's defense of common sense by distinguishing four arguments: (a) the argument from madness, (b) the argument from natural faculties, (c) the argument from impotence, and (d) the argument from practical commitm…Read more
-
544Popular Music and Art-interpretive InjusticeInquiry: An Interdisciplinary Journal of Philosophy. 2023.It has been over two decades since Miranda Fricker labeled epistemic injustice, in which an agent is wronged in their capacity as a knower. The philosophical literature has proliferated with variants and related concepts. By considering cases in popular music, we argue that it is worth distinguishing a parallel phenomenon of art-interpretive injustice, in which an agent is wronged in their creative capacity as a possible artist. In section 1, we consider the prosecutorial use of rap lyrics in co…Read more
Albany, New York, United States of America
Areas of Specialization
Underdetermination of Theory by Data |
Natural Kinds |
Science and Values |
Philosophy of Music |
Pragmatism |