This is a transcript of a conversation between P F Strawson and Gareth Evans in 1973, filmed for The Open University. Under the title 'Truth', Strawson and Evans discuss the question as to whether the distinction between genuinely fact-stating uses of language and other uses can be grounded on a theory of truth, especially a 'thin' notion of truth in the tradition of F P Ramsey.

The notion of a simulating termination analyzer is examined at the concrete level of pairs of C functions. This is similar to AProVE: Non-Termination Witnesses for C Programs. The termination status decision is made on the basis of the dynamic behavior of the input. This paper explores what happens when a simulating termination analyzer is applied to an input that calls itself.

I've previously suggested that the historical evidence used to challenge scientific realism should lead us to embrace what I call Uniformitarianism, but many recently influential forms of scientific realism seem happy to share this commitment. I trace a number of further points of common ground that collectively constitute an appealing Middle Path between classical forms of realism and instrumentalism, and I suggest that many contemporary realists and instrumentalists have already become fellow travelers on this Middle Path without recognizing how far (...) they have thereby diverged from those who share their labels and slogans. I conclude by describing their central remaining disagreement and the sorts of evidence needed to resolve it. (shrink)

Philosophy in Africa has for more than a decade now been dominated by the discussion of one compound question, namely, is there an African philosophy, and if there is, what is it? The first part of the question has generally been unhesitatingly answered in the affirmative. Dispute has been primarily over the second part of the question as various specimens of African philosophy presented do not seem to pass muster. Those of us who refuse to accept certain specimens as philosophy (...) have generally been rather illogically said also to deny an affirmative answer to the first part of the question. In a paper presented at the International Symposium in Memory of Dr William Amo, the Ghanaian philosopher who taught in German universities in the early part of the eighteenth century, Professor Odera Oruka identified four trends, perhaps more appropriately approaches, in current African philosophy. (shrink)

The Upanishads reveal that in the beginning, nothing existed: “This was but non-existence in the beginning. That became existence. That became ready to be manifest”. (Chandogya Upanishad 3.15.1) The creation began from this state of non-existence or nonduality, a state comparable to (0). One can add any number of zeros to (0), but there will be nothing except a big (0) because (0) is a neutral number. If we take (0) as Nirguna Brahman (God without any form and attributes), then (...) from where and how did the universe come into existence? -/- The neutral power (0) cannot produce anything without having an element of duality in it. Although Nirguna Brahman is neutral, it has a positive, negative, and neutral pole, constituting its Prakriti or nature. Prakriti has three latent Gunas (modes or qualities): Satva, Rajas, and Tamas. They are related to Gyana Shakti (the power of knowledge) Sankalpa Shakti (the power of ideation), and Kriya Shakti (the power of action). Science says that Atom is the basic element from which the universe evolved. The Atom has three nuclei- electron, pluton, and neutron. The Satva, Rajas, and Tamas in Indian spirituality are nothing but the mystical names for the nuclei of an atom. -/- According to Bhagavata Purana, Prakriti is also constituted of the elements of Time, Karma (action/destiny) and Swabhava (innate nature). Time disturbs the equilibrium of Gunas. From the aspect of Karma is produced an entity called Mahat, in the form of intelligence. Mahat is dominated by Satva and Rajas. From Mahat manifests the next evolute dominated by Tamas with three predominant qualities – Dravya (substance), Kriya (action), as well as intelligence. It forms to become the Ego principle (Ahamkara). -/- Ahamkara has three modes – Satvic, Rajasic and Tamasic. Satvic is Jnana oriented, Rajasic action-oriented and Tamasic Dravya (substance) oriented. From the Tamasic Ahankara, five gross elements are produced (ether, air, fire, water, and earth - Akash, Vayu, Agni, Jal and Prithvi). From the Satvic Ahamkara, guardian deities (the sun and moon, deities of sense organs, and organs of action) and from Rajasic Ahamkara, ten senses (Indriyas), five senses of perception, five organs of action, the faculties of intellect and Prana (life breath) are produced. -/- Bhagavata says that since these energies, elements, and faculties remained disassociated, they were combined to form a Cosmic Egg. The egg floats in the primal waters for a thousand years. Then God enters this Cosmic Egg and manifests himself as the Cosmic Purusha. He is the first nucleus, the God particle equivalent to the number (1) which is the embodiment of everything in the universe. The concept of creation and dissolution in Hinduism can be compared to the waves in an ocean that appear and disappear incessantly. The Manvantaras are such successive episodes of creation emerging from the Cosmic Person, the Manu who is embodied God-Consciousness, God himself. These episodes of creation are measured in Hinduism in terms of Manvantaras, the epochs of Manus. -/- Manu is the ‘First-Born’ (1) of God, the Cosmic Purusha from whom the world has originated. This Cosmic Person (Purusha) has been described as having fourteen biospheres (heavens) that are inhabited by various life forms in the order of evolution of consciousness. If we begin from the human biosphere (Bhuloka), there are ten astral biospheres that a man must transcend to attain liberation or Mukti from the cycle of births and deaths. -/- The number (1) produces the primary numbers up to (9) through the transmutation of the creational energies and qualities. The process can be related to the descent and cyclical evolution of (1) through ten spiritual stages, finally merging with the nondual (0). The number (10) marks the merger of (1) with (0). The Hindu worldview is that all life forms in an episode of creation must evolve to become one with the non-dual state (0) to attain liberation from the cycle of births and deaths in a cyclical process. -/- . (shrink)

Imperatives cannot be true, but they can be obeyed or binding: `Surrender!' is obeyed if you surrender and is binding if you have a reason to surrender. A pure declarative argument — whose premisses and conclusion are declaratives — is valid exactly if, necessarily, its conclusion is true if the conjunction of its premisses is true; similarly, I suggest, a pure imperative argument — whose premisses and conclusion are imperatives — is obedience-valid (alternatively: bindingness-valid) exactly if, necessarily, its conclusion is (...) obeyed (alternatively: binding) if the conjunction of its premisses is. I argue that there are two kinds of bindingness, and that a vacillation between two corresponding variants of bindingness-validity largely explains conflicting intuitions concerning the validity of some pure imperative arguments. I prove that for each of those two variants of bindingness-validity there is an equivalent variant of obedience-validity. Finally, I address alternative accounts of pure imperative inference. (shrink)

P. F. Strawson; II*—Scruton and Wright on Anti-Realism Etc., Proceedings of the Aristotelian Society, Volume 77, Issue 1, 1 June 1977, Pages 15–22, https://doi.

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.

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 probabilistically, we can see very clearly why realists (...) and anti-realists have been talking past one another. We then formulate a dilemma for advocates of either argument, answer potential objections to our criticism, discuss what remains (if anything) of these two major arguments, and then speculate about a future philosophy of science freed from these two arguments. In so doing, we connect the point about base rates to the wholesale/retail distinction; we believe it hints at an answer of how to distinguish profitable from unprofitable realism debates. In short, we offer a probabilistic analysis of the feeling of ennui afflicting contemporary philosophy of science. (shrink)

The Homeostatic Property Cluster (HPC) account of natural kinds has become popular since it was proposed by Richard Boyd in the late 1980s. Although it is often taken as a defining natural kinds as such, it is easy enough to see that something's being a natural kind is neither necessary nor sufficient for its being an HPC. This paper argues that it is better not to understand HPCs as defining what it is to be a natural kind but instead as (...) providing the ontological realization of (some) natural kinds. (shrink)

In this paper, I reply to 18 of the essays on panpsychism in this issue. Along the way, I sketch out what a post-Galilean science of consciousness, one in which consciousness is taken to be a fundamental feature of reality, might look like.

How does microbiota research impact our understanding of biological individuality? We summarize the interdisciplinary summer school on "Microbiota, Symbiosis and Individuality: Conceptual and Philosophical Issues" (July 2019), which was supported by a European Research Council starting grant project "Immunity, DEvelopment, and the Microbiota" (IDEM). The summer school centered around interdisciplinary group work on four facets of microbiota research: holobionts, individuality, causation, and human health. The conceptual discussion of cutting-edge empirical research provided new insights into microbiota and highlights the value of (...) incorporating into meetings experts from other disciplines, such as philosophy and history of science. (shrink)

The influential proposal that the analytical component of a theory is captured by its ‘Carnap sentence’ is critically scrutinized. A counterexample which makes the suggestion problematic is presented.

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 scientific theories” (Stanford 2001, (...) p. S12). This paper examines Stanford’s New Induction and argues that it – like the other forms of underdetermination that he criticizes – merely recapitulates familiar philosophical conundra. (shrink)

Nuestro interés en el contenido mental no-conceptual es, principalmente, la articulación de una versión sustantiva (no-trivial) de esta clase de contenido en la experiencia perceptual. El debate acerca del contenido no-conceptual ha girado, en su mayor parte, alrededor de su existencia; y los argumentos que se han ofrecido en su favor abogan por una versión no sustantiva según la cual el contenido no-conceptual es aquel que no satisface ciertos requisitos conceptuales. Así, para desarrollar una versión sustantiva del contenido mental no-conceptual (...) hemos apelado a la versión de la experiencia perceptual de propiedades espaciales ofrecida por Evans (1982 cap. 6). A partir de esto desarrollamos un nuevo argumento a favor del contenido no-conceptual de la experiencia perceptual que lo vincula a la actividad característica de la experiencia perceptual. Por último, exponemos uno de los ataques de McDowell (1996) a la noción de contenido no-conceptual y presentamos nuestras réplicas a este ataque, mostrando su insuficiencia. Al mostrar que la crítica de McDowell no es exitosa, consideramos que podríamos tener una versión del contenido no-conceptual de la experiencia que es inmune a esta línea de argumentación. (shrink)

Tradução para o português do ensaio "Freedom and Resentment”, de P. F. Strawson. Publicado originalmente em Proceedings of the British Academy, v. 48, 1960. Republicado em Freedom and Resentment and Other Essays. Londres: Methuen, 1974. [Routledge, 2008, p. 2-28]. Publicado na coletânea: Ensaios sobre a filosofia de Strawson: com a tradução de Liberdade e ressentimento & Moralidade social e ideal individual. Organizadores: Jaimir Conte & Itamar Luís Gelain. Editora da UFSC, 2015. ISBN: 9788532807250.

Tradução para o português do ensaio "Social Morality and Individual Ideal”. Publicado originalmente em Philosophy: The Journal of the Royal Institute of Philosophy, vol. XXXVI, n. 136, p. 1-17, Jan. 1961. Republicado em: STRAWSON, P. F. Freedom and Resentment and Other Essays. Londres: Methuen, 1974. [Routledge, 2008, p. 26-44]. ]. Publicado na coletânea: Ensaios sobre a filosofia de Strawson: com a tradução de Liberdade e ressentimento & Moralidade social e ideal individual. Organizadores: Jaimir Conte & Itamar Luís Gelain. Editora da (...) UFSC, 2015. ISBN: 9788532807250. (shrink)

Tradução para o português do livro "Ceticismo e naturalismo: algumas variedades", Strawson, P. F. . São Leopoldo, RS: Editora da Unisinos, 2008, 114 p. Coleção: Ideias. ISBN: 9788574313214. Capítulo 1 - Ceticismo, naturalismo e argumentos transcendentais 1. Notas introdutórias; 2. Ceticismo tradicional; 3. Hume: Razão e Natureza; 4. Hume e Wittgenstein; 5. “Apenas relacionar”: O papel dos argumentos transcendentais; 6. Três citações; 7. Historicismo: e o passado.

The underdetermination of theory by evidence is supposed to be a reason to rethink science. It is not. Many authors claim that underdetermination has momentous consequences for the status of scientific claims, but such claims are hidden in an umbra of obscurity and a penumbra of equivocation. So many various phenomena pass for `underdetermination' that it's tempting to think that it is no unified phenomenon at all, so I begin by providing a framework within which all these worries can be (...) seen as species of one genus: A claim of underdetermination involves (at least implicitly) a set of rival theories, a standard of responsible judgment, and a scope of circumstances in which responsible choice between the rivals is impossible. Within this framework, I show that one variety of underdetermination motivated modern scepticism and thus is a familiar problem at the heart of epistemology. I survey arguments that infer from underdetermination to some reëvaluation of science: top-down arguments infer a priori from the ubiquity of underdetermination to some conclusion about science; bottom-up arguments infer from specific instances of underdetermination, to the claim that underdetermination is widespread, and then to some conclusion about science. The top-down arguments either fail to deliver underdetermination of any great significance or (as with modern scepticism) deliver some well-worn epistemic concern. The bottom-up arguments must rely on cases. I consider several promising cases and find them to either be so specialized that they cannot underwrite conclusions about science in general or not be underdetermined at all. Neither top-down nor bottom-up arguments can motivate any deep reconsideration of science. (shrink)

Do the ethical features of an artwork bear on its aesthetic value? This movie endorses misogyny, that song is a civil rights anthem, the clay constituting this statue was extracted with underpaid labor—are facts like these the proper bases for aesthetic evaluation? I argue that this debate has suffered from a false presupposition: that if the answer is yes (for at least some such ethical features), such considerations feature as pro tanto contributions to an artwork's overall aesthetic value, i.e., as (...) merits or flaws which make something have more or less overall aesthetic value. As the case of ethically laden, aesthetic evaluation makes clear, however, good aesthetic judgement is irreducibly multi-dimensional, e.g., "the movie has an engaging soundtrack, tasteful camera work, and takes a misogynistically prurient perspective on its female lead.'' Such a "non-summative" judgement refuses to reduce those various dimensions of aesthetic value to a single aggregate aesthetic evaluation, like "it's a 6/10" or "it's a pretty good movie!" I defend both the modest claim that such non-summative evaluations are not mistaken and the extremist claim that summative (i.e., unidimensional) aesthetic evaluation is defective by considering other domains of normative assessment in which summing seems inappropriate, notably including evaluations of people's character. (shrink)

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 against the claim that, unlike knowledge, (...) belief is``composite'' (representable as a conjunction of a narrow and a broadcondition). Belief's failure to be composite, Williamson thinks, undermines the usual motivations for psychological explanation in terms of belief rather than knowledge.Unfortunately, we claim, the motivations Williamson argues against donot depend on the claim that belief is composite, so what he saysleaves the case for a psychology of belief unscathed.Second, Williamson argues that knowledge can sometimes provide abetter explanation of action than belief can.We argue that, in the cases considered, explanations that cite beliefs(but not knowledge) are no less successful than explanations that citeknowledge. Thus, we conclude that Williamson's arguments fail both coming andgoing: they fail to undermine a psychology of belief, and they fail tomotivate a psychology of knowledge. (shrink)

Joseph Almog pointed out that Kripkean causal chains not only exist for names, but for all linguistic items (Almog 1984: 482). Based on this, he argues that the role of such chains is the presemantic one of assigning a linguistic meaning to the use of a name (1984: 484). This view is consistent with any number of theories about what such a linguistic meaning could be, and hence with very different views about the semantic reference of names. He concludes that (...) the causal theory is ‘rather trivial’ (1984: 487). In this paper I argue that Almog is correct to hold that the causal theory is trivial, but, contra Almog, argue that the triviality of the existence of causal chains is not a matter of such chains having a presemantic role in assigning linguistic meanings to utterances. Instead, such triviality is due to the fact that the causal theory reflects no more than a truism about the epistemology of convention acquisition. (shrink)

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 (...) terms of similarity. It also leads to misreading philosophers who do make the distinction. Distinguishing the questions allows for a more subtle understanding of both natural kinds and their underlying metaphysics. (shrink)

"Over three years of study and fellowship, sixteen Muslim, Jewish, and Christian scholars sought to answer one question: “Do our three scriptures unite or divide us?” They offer their answers in this book: sixteen essays on how certain ways of reading scripture may draw us apart and other ways may draw us, together, into the source that each tradition calls peace. Reading scriptural sources in the classical and medieval traditions, the authors examine how each tradition addresses the “other” within its (...) tradition and without, how all three traditions attend to poverty as a societal and spiritual condition, and what it means to read scripture while facing the challenges of modernity. Ochs and Johnson have assembled a unique approach to inter-religious scholarship and a rare look at scriptural study as a pathway to peace. “Scriptural reasoning, the growing practice of Jews, Christians, and Muslims reading their scriptures together, makes good academic and common sense in a time of crisis. This ground-breaking book, the outcome of an imaginative 3-year experiment by the Princeton Center of Theological Inquiry, shows scholars and thinkers of the Abrahamic traditions going deeper into the traditions and into their contemporary situation. The result is something new, wise, and relevant… full of promise for the future. Where else can one find testimonies to Jews, Christians, and Muslims coming together not only in study, thinking, and wisdom-seeking but also in play, joy, and friendship?”--David F. Ford, Regius Professor of Divinity, University of Cambridge and Director, Cambridge Inter-Faith Programme". (shrink)

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 all of them. Interacting responsibly with something like Wikipedia requires new epistemic methods and strategies. (shrink)

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 to the two questions: natural groups (...) for taxonomy and Kinds for ontology. This distinction is ignored in many contemporary debates about natural kinds and is obscured by the standard narrative that treats our natural kinds just as a development of Mill’s Kinds. (shrink)

It seems obvious that a community of one thousand scientists working together to make discoveries and solve puzzles should arrange itself differently than would one thousand scientist-hermits working independently. Because of limited time, resources, and attention, an independent scientist can explore only some of the possible approaches to a problem. Working alone, each hermit would explore the most promising approaches. They would needlessly duplicate the work of others and would be unlikely to develop approaches which look unpromising but really have (...) tremendous potential. Contrariwise, a large community can more rigorously explore the space of possible approaches. Most scientists should work on the most promising approaches, but a smaller number can be committed to approaches that initially look less promising. Exploratory work can reveal if one of those initially unpromising approaches has unrealized potential, and more scientists can adopt it once its potential becomes more apparent. (shrink)

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: Quine proposes that we (...) call two theories identical if they are equivalent under a reconstrual of predicates, but this would mishandle important cases. Another proposal is to defer to the particular judgements of actual scientists. Consideration of an historical episodethe alleged equivalence of wave and matrix mechanicsshows that this second proposal also fails. Nevertheless, I suggest, the original suspicion is wrong; there are ways to enquire into underdetermination without having solved the problem of identical rivals. (shrink)

Some philosophers understand natural kinds to be the categories which are constraints on enquiry. In order to elaborate the metaphysics appropriate to such an account, I consider the complicated history of scurvy, citrus, and vitamin C. It may be tempting to understand these categories in a shallow way (as mere property clusters) or in a deep way (as fundamental properties). Neither approach is adequate, and the case instead calls for middle-range ontology: starting from categories which we identify in the world (...) and elaborating their structure, but not pretending to jump ahead to a complete story about fundamental being. (shrink)

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 short, and (...) so it might figure in the most coherent account of scientific practice. However, this best account will be antirealist in some respects and about some theories. It will not be a sweeping antirealism about all or most of science. (shrink)

Animal-derived constituents are frequently used in anaesthesia and surgery, and patients are seldom informed of this. This is problematic for a growing minority of patients who may have religious or secular concerns about their use in their care. It is not currently common practice to inform patients about the use of animal-derived constituents, yet what little empirical data does exist indicates that many patients want the opportunity to give their informed consent. First, we review the nature and scale of the (...) problem by looking at the groups who may have concerns about the use of animal-derived constituents in their care. We then summarise some of the products used in anaesthesia and surgery that can contain such constituents, such as anaesthetic drugs, surgical implants and dressings. Finally, we explore the problem of animal-derived constituents and consent using Beauchamp and Childress’ four principles approach, examining issues of autonomy, beneficence, nonmaleficence and justice. Disclosing the use of animal-derived constituents in anaesthesia and surgery is warranted under Beauchamp and Childress’ four principles approach to the problem. Although there exist systemic and practical challenges to implementing this in practice, the ethical case for doing so is strong. The Montgomery ruling presents additional legal reason for disclosure because it entails that patients must be made aware of risks associated with their treatment that they attach significance to. (shrink)

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 response fails. (...) Instances of an HPC kind need not all be similar in their exhibited properties. Instead, HPCs should instead be understood as unified by the underlying causal mechanism that maintains them. The causal mechanism can both produce and explain some systematic differences between a kind’s members. An HPC kind is best understood not as a single cluster of properties maintained in stasis by causal forces, but as a complex of related property clusters kept in relation by an underlying causal process. This approach requires recognizing that taxonomic systems serve both explanatory and inductive purposes. (shrink)

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 in those terms. The values which load a (...) theory choice may be those of institutions or past actors. This means that the challenge of responsibly handling inductive risk is not merely an ethical issue, but is also social, political, and historical. (shrink)

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.

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 functional completeness. Exercises with solutions are available. (...) It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML, and in LaTeX source code. (shrink)

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-ought gap is a practical and strategic matter rather than a logical one, and it may properly be answered in different ways for different questions or at different times. (shrink)

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 suggested evading (...) the dilemma. It is a Logical Maxim, he suggests, that there could be no genuine underdetermination. This is no longer a viable option in the wake of developments in modern physics, so we must face the dilemma head on. The agnostic and fideist responses to underdetermination represent fundamentally different epistemic viewpoints. Nevertheless, the choice between them is not an unresolvable struggle between incommensurable worldviews. There are legitimate considerations tugging in each direction. Given the balance of these considerations, there should be a modest presumption of agnosticism. This may conflict with Peirce's Logical Maxim, but it preserves all that we can preserve of the Peircean motivation. (shrink)

The notion of a simulating termination analyzer is examined at the concrete level of pairs of C functions. This is similar to AProVE: Non-Termination Witnesses for C Programs. The termination status decision is made on the basis of the dynamic behavior of the input. This paper explores what happens when a simulating termination analyzer is applied to an input that calls itself.

According to the standard narrative, natural kind is a technical notion that was introduced by John Stuart Mill in the 1840s and the recent craze for natural kinds, launched by Putnam and Kripke, is a continuation of that tradition. I argue that the standard narrative is mistaken. The Millian tradition of kinds was not particularly influential in the 20th-century, and the Putnam-Kripke revolution did not clearly engage with even the remnants that were left of it. The presently active tradition of (...) natural kinds is less than half a century old. Recognizing this might help us better appreciate both Mill and natural kinds. (shrink)

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. Depending on the parameters, the output can resemble specific people or things which are named in the prompt. This resemblance does not depend on the user’s beliefs, so generated images are in this sense like photographs. Given this parallel, how should we think about AI-generated images? (shrink)

In 1956, a few writings of Wittgenstein that he didn't publish in his lifetime were revealed to the public. These writings were gathered in the book Remarks on the Foundations of Mathematics (1956). There, we can see that Wittgenstein had some discontentment with the way philosophers, logicians, and mathematicians were thinking about paradoxes, and he even registered a few polemic reasons to not accept Gödel’s incompleteness theorems.

A critical note on Christopher Bartel and Jack M. C. Kwong, ‘Pluralism, Eliminativism, and the Definition of Art’, Estetika 58 (2021): 100–113. Art pluralism is the view that there is no single, correct account of what art is. Instead, art is understood through a plurality of art concepts and with considerations that are different for particular arts. Although avowed pluralists have retained the word ‘art’ in their discussions, it is natural to ask whether the considerations that motivate pluralism should lead (...) us to abandon art talk altogether; that is, should pluralism lead to eliminativism? This paper addresses arguments both for and against this move. We ultimately argue that pluralism allows one to retain the word ‘art’, if one wants it, but only in a loose, conversational sense. The upshot of pluralism is that talk of art in general cannot be asked to do theoretical and philosophical work. (shrink)

That every expression of language that is {true on the basis of its meaning expressed using language} must have a connection by truth preserving operations to its {meaning expressed using language} is a tautology. The accurate model of the actual world is expressed using formal language and formalized natural language.

The Caesar problem arises for abstractionist views, which seek to secure reference for terms such as ‘the number of Xs’ or #X by stipulating the content of ‘unmixed’ identity contexts like ‘#X = #Y’. Frege objects that this stipulation says nothing about ‘mixed’ contexts such as ‘# X = Julius Caesar’. This article defends a neglected response to the Caesar problem: the content of mixed contexts is just as open to stipulation as that of unmixed contexts.

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 connection could be value-free. Third, (...) many arguments concern the role values play in inferring from evidence, thus taking evidence as given. This paper argues that these limitations do not hold in general. There are values involved in every scientific judgment. They cannot even conceivably be replaced by a coin toss, they arise as much for exotic as for practical sciences, and they are at issue as much for observation as for explicit inference. (shrink)

This note outlines a Theory of Everything consistent with the PF interpretation of quantum mechanics.

Phineas Gage’s story is typically offered as a paradigm example supporting the view that part of what matters for personal identity is a certain magnitude of similarity between earlier and later individuals. Yet, reconsidering a slight variant of Phineas Gage’s story indicates that it is not just magnitude of similarity, but also the direction of change that affects personal identity judgments; in some cases, changes for the worse are more seen as identity-severing than changes for the better of comparable magnitude. (...) Ironically, thinking carefully about Phineas Gage’s story tells against the thesis it is typically taken to support. (shrink)

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 that no theory choice can be timelessly or (...) noncontextually underdetermined: Foreground theories might be distinguished against different backgrounds. Philosophers have often replied to such a disproof by focussing their attention not on theories but on Total Sciences. If empirically equivalent Total Sciences were at stake, then there would be no background against which they could be differentiated. I offer several reasons to think that Total Science is a philosophers' fiction. No respectable underdetermination can be based on it. (shrink)

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 commitment. Of these, (a) and (...) (c) do rely on problematic premises that are no more secure than claims of common sense itself. Yet (b) and (d) do not. This conclusion can be established directly by considering the arguments informally, but one might still worry that there is an implicit premise in them. In order to address this concern, I reconstruct the arguments in the framework of subjective Bayesianism. The worry becomes this: Do the arguments rely on specific values for the prior probability of some premises? Reid's appeals to our prior cognitive and practical commitments do not. Rather than relying on specific probability assignments, they draw on things that are part of the Bayesian framework itself, such as the nature of observation and the connection between belief and action. Contra the theological or reliabilist readings, the defense of common sense does not require indefensible premises. (shrink)