It has been hypothesized that our believing that, or its seeming to us as though, the world is in some way dynamical partially explains (and perhaps rationalizes) future-bias. Recent work has, in turn, found a correlation between future-bias and near-bias, suggesting that there is a common explanation for both. Call the claim that what partially explains our being both future- and near-biased is our believing/it seeming to us as though the world is dynamical, the dynamical explanation. We empirically test two (...) versions of the dynamical explanation. The first is the moving ego explanation—according to which it is our belief that the ego moves, or our phenomenology as of the ego moving, that jointly (partially) explains future- and near-bias. The second is the moving time explanation—according to which it is our belief that time robustly passes, or our phenomenology as of robust passage, which jointly (partially) explain future- and near-bias. We found no evidence in favour of either explanation. (shrink)

Purpose Prescription stimulant use as “cognitive enhancers” has been described among undergraduate college students. However, the use of prescription stimulants among future health care professionals is not well characterized. This study was designed to determine the prevalence of prescription stimulant misuse among students at an academic health sciences center. -/- Method Electronic surveys were e-mailed to 621 medical, pharmacy, and respiratory therapy students at East Tennessee State University for four consecutive weeks in fall 2011. Completing the survey was voluntary and (...) anonymous. Surveys asked about reasons for, frequency of, and side effects of nonprescription misuse of prescription stimulants. Given the sensitive material, an opportunity to win one of ten $50 gift cards was used as an incentive. -/- Results Three hundred seventy-two (59.9%) students completed the survey from three disciplines (47.6% medical, 70.5% pharmacy, and 57.6% respiratory therapy). Overall, 11.3% of responders admitted to misusing prescription stimulants. There was more misuse by respiratory therapy students, although this was not statistically significant (10.9% medicine, 9.7% pharmacy, 26.3% respiratory therapy; P = .087). Reasons for prescription stimulant misuse included to enhance alertness/ energy (65.9%), to improve academic performance (56.7%), to experiment (18.2%), and to use recreationally/get high (4.5%). -/- Conclusions Prescription stimulant misuse was prevalent among participating students, but further research is needed to describe prevalence among future health care workers more generally. The implications and consequences of such misuse require further study across professions with emphasis on investigating issues of academic dishonesty (e.g., “cognitive enhancement”), educational quality, and patient safety or health care quality. (shrink)

The limited access to public secondary education in rural regions of Haiti has impacted children who want to pursue their education beyond the primary level. This generic qualitative study aimed to explore the perceptions of informed Haitian educators and other educators who were knowledgeable about the lack of access to public secondary education in rural Haiti, specifically through the framework of polarities of democracy theory. Data were gathered by conducting semistructured interviews with 20 educators who were situated in both Haiti (...) and the United States. NVivo 14 was used to organize, code, and analyze the data. Thematic analysis revealed three themes: (a) the government prioritizes political and personal interests over rural residents’ education, (b) disparities need to be reduced between urban and rural areas, and (c) a revolution in education is needed to build more public secondary schools for rural residents. Public policy recommendations included investing in training rural individuals to create a database of academics who can meet local students’ educational demands. Positive social change can occur by enhancing governmental services, implementing strategies to revitalize the agricultural sector in rural regions, and promoting active participation of rural residents in shaping the design of public schools to ensure effective secondary education for their children. (shrink)

Recent research (Latham, Miller and Norton, forthcoming) reveals that a majority of people represent actual time as dynamical. But do they, as suggested by McTaggart and Gödel, represent time as essentially dynamical? This paper distinguishes three interrelated questions. We ask (a) whether the folk representation of time is sensitive or insensitive: i.e., does what satisfies the folk representation of time in counterfactual worlds depend on what satisfies it actually—sensitive—or does is not depend on what satisfies it actually—insensitive, and (b) (...) do those who represent actual time as dynamical, represent time in all possible worlds as dynamical—what we call insensitive dynamism—or do they represent time in all possible worlds as dynamical only conditional on the actual world in fact being dynamical—what we call sensitive dynamism and (c) do dynamists and non-dynamists deploy two different representations of time, or deploy the same representation, but disagree about what actually satisfies that representation? We found no evidence that the folk representation of time is sensitive, or that the folk representation of time is essentially dynamical in either sense, though we did find evidence of a shared representation, on which dynamical features are sufficient, but not necessary, for time. (shrink)

This paper empirically investigates one aspect of the folk concept of time by testing how the presence or absence of directedness impacts judgements about whether there is time in a world. Experiment 1 found that dynamists, showed significantly higher levels of agreement that there is time in dynamically directed worlds than in non-dynamical non-directed worlds. Comparing our results to those we describe in Latham et al., we report that while ~ 70% of dynamists say there is time in B-theory worlds, (...) only ~ 45% say there is time in C-theory worlds. Thus, while the presence of directedness makes dynamists more inclined to say there is time in a world, a substantial subpopulation of dynamists judge that there is time in non-directed worlds. By contrast, a majority of non-dynamists judged that there was time in both growing block worlds and C-theory worlds, with no significant differences between the means. Experiment 2 found that when participants are only presented with non-dynamical worlds—namely, a directed world and a non-directed world—they report significantly higher levels of agreement that there is time in B-theory worlds. However, the majority of participants still judge that there is time in C-theory worlds. We conclude that while the presence of directedness bolsters judgements that there is time, most people do not judge it to be necessary for time. (shrink)

In “The Open Future” (2021) Patrick Todd argues that the future is open, and that as a consequence all future contingents are false (as opposed to the more common view that they are neither true nor false). Very roughly, this latter claim is motivated by the idea that (a) presentism is true, and so future (and indeed past) things do not exist and (b) if future things do not exist, then the only thing that could ground there being future tensed (...) facts, and hence make those future tensed claims true, is the present and the laws of nature. But (c) the present and the laws of nature cannot ground there being future tensed facts because they do not necessitate there being any such fact. Hence future tensed claims are all false. Todd then goes on to present a semantics for his version of the open future on which all future contingents are false. In what follows we take up two strands of Todd’s view. First, we begin, in Section 2, by outlining Todd’s argument that future contingents are all false. We suggest that the considerations that Todd adduces for this conclusion do not support this being so. Then in Section 3 we consider the semantics that Todd offers, and argue that it yields implausible consequences. (shrink)

Many philosophers hold that ‘one-instant worlds’—worlds that contain a single instant—fail to contain time. We experimentally investigate whether these worlds satisfy the folk concept of time. We found that ~50% of participants hold that there is time in such worlds. We argue that this suggests one of two possibilities. First, the population disagree about whether at least one of the A-, B-, or C-series is necessary for time, with there being a substantial sub-population for whom the presence of neither an (...) A-, B-, nor C-series, is necessary for time, and hence those folk have a radically more minimal concept of time than has been attributed to them by philosophers. Or, second, the population do not disagree about whether at least one of the A-, B-, or C-series is necessary for time, but disagree about what it takes for a world to fail to contain even a C-series. (shrink)

Global directional eliminativists deny that there is any global direction to time. This paper provides a way to understand everyday temporal assertions—assertions made outside the physics or metaphysics rooms, the truth of which appears to require that time has a global direction—on the assumption that global directional eliminativism is true.

Very roughly, the epistemic objection to the growing block theory (GBT) says that according to that theory there are many past times at which persons falsely believe they are present. Since there is nothing subjectively distinguishable about a situation in which one truly believes one is present, from a situation in which one falsely believes one is present, the GBT is a theory on which we cannot know that we are present. In their articulation and defence of the GBT, Correia (...) and Rosenkranz (C&R) argue that the epistemic objection fails miserably. In what follows I try to unpack their response to the objection, and locate it amongst others. Along the way I flag some confusions I have about how we are to think about the GBT as articulated by C&R. (shrink)

We discuss misinformation about “the liar antinomy” with special reference to Tarski’s 1933 truth-definition paper [1]. Lies are speech-acts, not merely sentences or propositions. Roughly, lies are statements of propositions not believed by their speakers. Speakers who state their false beliefs are often not lying. And speakers who state true propositions that they don’t believe are often lying—regardless of whether the non-belief is disbelief. Persons who state propositions on which they have no opinion are lying as much as those who (...) state propositions they believe to be false. Not all lies are statements of false propositions—some lies are true; some have no truth-value. People who only occasionally lie are not liars: roughly, liars repeatedly and habitually lie. Some half-truths are statements intended to mislead even though the speakers “interpret” the sentences used as expressing true propositions. Others are statements of propositions believed by the speakers to be questionable but without revealing their supposed problematic nature. The two “formulations” of “the antinomy of the liar” in [1], pp.157–8 and 161–2, have nothing to do with lying or liars. The first focuses on an “expression” Tarski calls ‘c’, namely the following. -/- c is not a true sentence -/- The second focuses on another “expression”, also called ‘c’, namely the following. -/- for all p, if c is identical with the sentence ‘p’, then not p -/- Without argumentation or even discussion, Tarski implies that these strange “expressions” are English sentences. [1] Alfred Tarski, The concept of truth in formalized languages, pp. 152–278, Logic, Semantics, Metamathematics, papers from 1923 to 1938, ed. John Corcoran, Hackett, Indianapolis 1983. -/- https://www.academia.edu/12525833/Sentence_Proposition_Judgment_Statement_and_Fact_Speaking_about_th e_Written_English_Used_in_Logic. (shrink)

Let us call non-presentist dynamism any view according to which (a) a single moment of time is objectively present and (b) which time is objectively present changes and (c) objectively non-present times exist, and at least some of these are occupied by objects, events, or properties. Non-presentist dynamism has an advantage over presentist dynamism—the view that only present objects, properties, and events exist, and that which objects, properties and events there are, changes—in the truthmaking arena. Presentists have trouble finding plausible (...) truthmakers for past (and future) tensed propositions, since no past, (or future) objects, properties, or events exist, which could make true said propositions. Hence presentists have to resort to one of two strategies. According to the first, nothing makes past (or future) tensed propositions true, though some are true nonetheless. For some class of propositions, the truth of said propositions does not in any way depend on ontology. This strategy rejects even the fairly weak requirement that for any proposition P, and worlds w and v, if P is true in w but not in v, then either something exists in v but not in w or else some n-tuple of things stands in some fundamental relation in v but not in w . Call this account No Truthmaker: -/- No Truthmaker: There are no truthmakers for past-tensed truths. -/- Embracing No Truthmaker is typically taken to be a cost of presentism. According to the second strategy, some presently existing thing makes true past-tensed truths. Advocates of this strategy embrace anti-aboutness truthmaking, the view that while all truths are grounded in being, the truth of a proposition need not grounded in the thing(s) the proposition is about. Since past things do not exist, past-tensed propositions are made true by something other than what they are about. Such presentists endorse some version of Present Record Truthmaking. (shrink)

The aspiration for volitional evolution, or human evolution directed by humans themselves,has increased in philosophical, scientific, technical, and commercial literature. The prospect of shaping the very being who is the consumer of all other innovations offers great commercial potential, one to which all other innovations would in effect be subservient. Actually an amalgam of projected technical/commercial developments, this prospective innovation has practical and ethical ramifications. However, because it is often discussed in a scientific way (specifically that of evolutionary theory), it (...) first calls for examination in terms of common scientific approaches to evolution. Yet, as evolutionary-theory controversies point up, evolution may be considered as neither a directed nor a directable process – a problem for the ontology of volitional evolution. One challenge for theories and programs aiming to implement the proposed innovation is then whether it is theoretically coherent. While I offer responses to the challenge in the form of objections, these in turn remain problematic. Two central issues of responsible innovation arise: (1) If this prospect were feasible, would it be responsible to implement it, and (2) if it is not even theoretically coherent, is it responsible for innovators, even this early-on, to keep promoting it as if it were? (shrink)

A commentary on the Symposium as a challenge and a gift to Athens. I begin with a reflection on three dates: 416 bce, the date of Agathon’s victory party, c. 400, the approximate date of Apollodorus’ retelling of the party, and c. 375, the approximate date of the ‘publication’ of the dialogue, and I argue that Plato reminds his contemporary Athens both of its great poetic and legal and scientific traditions and of the historical fact that the way late fourth (...) century Athens appropriated them in some way led to the city’s demise at the turn of the century; thus the dialogue is Plato’s challenge to his contemporary Athens to recognize and overcome its flawed relation to its cultural resources. Heard in this way, the key moments are Aristophanes’ implied critique of Pausanias and Eryximachus and Socrates’ implied critique of Aristophanes and Agathon. Proceeding by a close reading, I argue that Plato exposes, for those moved to rise to his challenge, the failure of his great predecessors to conceive the divine in a way that, worthy of the height and otherness divinity requires, can provide substantive orientation for the burgeoning new reason that animates the city’s culture. (shrink)

This paper investigates the connection between temporal attitudes (attitudes characterised by a concern (or lack thereof) about future and past events), beliefs about temporal ontology (beliefs about the existence of future and past events) and temporal preferences (preferences regarding where in time events are located). Our aim is to probe the connection between these preferences, attitudes, and beliefs, in order to better evaluate the normative status of these preferences. We investigate the hypothesis that there is a three-way association between (a) (...) being present-biased (that is, preferring that positive events are located in the present, and negative events are located in the non-present), (b) believing that past and future events do not exist and (c) tending to have present-focused rather than non-present-focused temporal attitudes. We find no such association. This suggests that insofar as temporal preferences and temporal attitudes are connected to the ways we represent time, they are not connected to the ways we represent temporal ontology; rather, they are more likely connected to the ways we represent relative movement in, or of, time. This has important consequences for, first, explaining why we exhibit these preferences and, second, for their normative evaluation. (shrink)

In the center of the fifth book of the Nicomachean Ethics, Aristotle elliptically characterizes political justice as a form of reciprocal rule that exists between free and equal persons pursuing a common life directed toward self-sufficiency under the rule of law. My dissertation analyzes Aristotle's thematic treatments of political justice in the Nicomachean Ethics and Politics in order to elucidate its meaning, clarify its relationship to the other forms of justice that he also discusses, and compare it to contemporary neo-Aristotelian (...) accounts of justice. ;The first chapter examines the unclear and disputed passages of Ethics V.6--7 and explains why Aristotle discusses political justice in his ethical treatise. The second chapter makes use of Aristotle's juxtaposition of political justice to household justice on the one hand and despotic justice on the other hand in order to explicate the necessary conditions of political justice, namely, freedom, equality, commonality, self-sufficiency, and the rule of law. To make sense of these concepts, the chapter explores such topics as Aristotle's understanding of the household, his notion of the self and his political criticisms of Socrates. The third chapter examines political justice or reciprocal rule in the Politics in order to understand how political justice can be both a human virtue and an institutional arrangement of offices. The fourth chapter offers a critique of Fred Miller's reconstruction of Aristotelian natural rights. Although Miller is correct to say that Aristotle recognized and understood "rights claims," he is mistaken in claiming that they are an integral part of Aristotle's practical philosophy. Aristotle understood the problems for political compromise posed by rights conceived as "trumps," and he rejects rights as philosophically fundamental on the grounds that they are an inadequate solution to both the political problem of justice and the stability of flourishing political institutions. (shrink)

This volume offers very selected papers from the 2014 conference of the “International Association for Computing and Philosophy” (IACAP) - a conference tradition of 28 years. - - - Table of Contents - 0 Vincent C. Müller: - Editorial - 1) Philosophy of computing - 1 Çem Bozsahin: - What is a computational constraint? - 2 Joe Dewhurst: - Computing Mechanisms and Autopoietic Systems - 3 Vincenzo Fano, Pierluigi Graziani, Roberto Macrelli and Gino Tarozzi: - Are Gandy Machines really local? (...) - 4 Doukas Kapantais: - A refutation of the Church-Turing thesis according to some interpretation of what the thesis says - 5 Paul Schweizer: - In What Sense Does the Brain Compute? - 2) Philosophy of computer science & discovery - 6 Mark Addis, Peter Sozou, Peter C R Lane and Fernand Gobet: - Computational Scientific Discovery and Cognitive Science Theories - 7 Nicola Angius and Petros Stefaneas: - Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach. - 8 Selmer Bringsjord, John Licato, Daniel Arista, Naveen Sundar Govindarajulu and Paul Bello: - Introducing the Doxastically Centered Approach to Formalizing Relevance Bonds in Conditionals - 9 Orly Stettiner: - From Silico to Vitro: - Computational Models of Complex Biological Systems Reveal Real-world Emergent Phenomena - 3) Philosophy of cognition & intelligence - 10 Douglas Campbell: - Why We Shouldn’t Reason Classically, and the Implications for Artificial Intelligence - 11 Stefano Franchi: - Cognition as Higher Order Regulation - 12 Marcello Guarini: - Eliminativisms, Languages of Thought, & the Philosophy of Computational Cognitive Modeling - 13 Marcin Miłkowski: - A Mechanistic Account of Computational Explanation in Cognitive Science and Computational Neuroscience - 14 Alex Tillas: - Internal supervision & clustering: - A new lesson from ‘old’ findings? - 4) Computing & society - 15 Vasileios Galanos: - Floridi/Flusser: - Parallel Lives in Hyper/Posthistory - 16 Paul Bello: - Machine Ethics and Modal Psychology - 17 Marty J. Wolf and Nir Fresco: - My Liver Is Broken, Can You Print Me a New One? - 18 Marty J. Wolf, Frances Grodzinsky and Keith W. Miller: - Robots, Ethics and Software – FOSS vs. Proprietary Licenses. (shrink)

This paper examines Aristotle’s two famous claims that man is by nature a political animal, and that he is the only animal who possesses speech and reason (logos). Aristotle’s thesis that man is by nature a political animal is inextricably linked with his thesis that the polis exists by nature. This paper examines the argument that Aristotle develops in Pol. I. 2 to support these two theses. It argues a) that the definition of man as an animal who possesses logos (...) is part of this argument, b) that in the chapter Aristotle understands the term “political animal” not in a broad biological sense but in a narrow sense, c) that Aristotle’s thesis that the polis is “by nature prior to the household and to the individual” is not an independent third theorem – as David Keyt and Fred D. Miller claim – but is part of this argument. (shrink)

SNePS, the Semantic Network Processing System 45, 54], has been designed to be a system for representing the beliefs of a natural-language-using intelligent system (a \cognitive agent"). It has always been the intention that a SNePS-based \knowledge base" would ultimatelybe built, not by a programmeror knowledge engineer entering representations of knowledge in some formallanguage or data entry system, but by a human informing it using a natural language (NL) (generally supposed to be English), or by the system reading books or (...) articles that had been prepared for human readers. Because of this motivation, the criteria for the development of SNePS have included: it should be able to represent anything and everything expressible in NL; it should be able to represent generic, as well as speci c information; it should be able to use the generic and the speci c information to reason and infer information implied by what it has been told; it cannot count on any particular order among the pieces of information it is given; it must continue to act reasonably even if the information it is given includes circular de nitions, recursive rules, and inconsistent information. (shrink)

Benardete paradoxes involve a beginningless set each member of which satisfies some predicate just in case no earlier member satisfies it. Such paradoxes have been wielded on behalf of arguments for the impossibility of an infinite past. These arguments often deploy patchwork principles in support of their key linking premise. Here I argue that patchwork principles fail to justify this key premise.

Due to Gӧdel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments –Warren (2020), Murzi and Topey (2021)– for the idea that the natural deduction rules for (...) the first-order universal quantifier are categorical, i.e., they uniquely determine its semantic intended meaning. Both of them make use of McGee’s open-endedness requirement and the second one uses in addition Garson’s (2013) local models for defining the validity of these rules. I argue that the success of both these arguments is relative to their semantic or infinitary assumptions, which could be easily discharged if the introduction rule for the universal quantifier is taken to be an infinitary rule, i.e. non-compact. Consequently, I reconsider the use of the ω-rule and I show that the addition of the ω-rule to the standard formalizations of first-order logic is categorical. In addition, I argue that the open-endedness requirement does not make the first-order Peano Arithmetic categorical and I advance an argument for its categoricity based on the inferential conservativity requirement. (shrink)

Standpoint theorists have long been clear that marginalization does not make better understanding a given. They have been less clear, though, that social dominance does not make ignorance a given. Indeed, many standpoint theorists have implicitly committed themselves to what I call the strong epistemic disadvantage thesis. According to this thesis, there are strong, substantive limits on what the socially dominant can know about oppression that they do not personally experience. I argue that this thesis is not just implausible but (...) politically pernicious; it is an excuse for ignorance and silence that stifles our ability to address many injustices. Moreover, I argue that if we are to avoid lending support to the SEDT while working within a standpoint theory framework, we must hold that the socially dominant can achieve marginalized standpoints. So, we must hold that men can achieve feminist standpoints, that white women (and men) can achieve black feminist standpoints, and so on. (shrink)

There is a basic distinction, in the realm of spatial boundaries, between bona fide boundaries on the one hand, and fiat boundaries on the other. The former are just the physical boundaries of old. The latter are exemplified especially by boundaries induced through human demarcation, for example in the geographic domain. The classical problems connected with the notions of adjacency, contact, separation and division can be resolved in an intuitive way by recognizing this two-sorted ontology of boundaries. Bona fide boundaries (...) yield a notion of contact that is effectively modeled by classical topology; the analogue of contact involving fiat boundaries calls, however, for a different account, based on the intuition that fiat boundaries do not support the open/closed distinction on which classical topology is based. In the presence of this two-sorted ontology it then transpires that mereotopology—topology erected on a mereological basis—is more than a trivial formal variant of classical point-set topology. (shrink)

There is an undeniable tendency to dismiss women’s sexual assault allegations out of hand. However, this tendency is not monolithic—allegations that black men have raped white women are often met with deadly seriousness. I argue that contemporary rape culture is characterized by the interplay between rape myths that minimize rape, and myths that catastrophize rape. Together, these two sets of rape myths distort the epistemic resources that people use when assessing rape allegations. These distortions result in the unjust exoneration of (...) people we cannot conceive of as monstrous, while making it too easy to believe that some marginalized people could be rapists. I also argue that rape myths enable a novel kind of epistemic injustice. This injustice concerns how our assessments of trustworthiness and our assessments of plausibility interact. I argue that rape myths can result in runaway credibility deflations that can explain both why people fail to believe most women, and also why people may unjustly believe false allegations that white women have been raped by black men. (shrink)

Neutral monism is a position in metaphysics defended by Mach, James, and Russell in the early twentieth century. It holds that minds and physical objects are essentially two different orderings of the same underlying neutral elements of nature. This paper sets out some of the central concepts, theses and the historical background of ideas that inform this doctrine of elements. The discussion begins with the classic neutral monism of Mach, James, and Russell in the first part of the paper, then (...) considers recent neo-Russellian versions in the second half. The chances for a revival of neutral monism are probably slight; its key ideas and starting points lie far from those in contemporary philosophy of mind. A better route might be through the philosophy of science and a deeper understanding of causation. (shrink)

Functional decomposition is an important goal in the life sciences, and is central to mechanistic explanation and explanatory reduction. A growing literature in philosophy of science, however, has challenged decomposition-based notions of explanation. ‘Holists’ posit that complex systems exhibit context-sensitivity, dynamic interaction, and network dependence, and that these properties undermine decomposition. They then infer from the failure of decomposition to the failure of mechanistic explanation and reduction. I argue that complexity, so construed, is only incompatible with one notion of decomposition, (...) which I call ‘atomism’, and not with decomposition writ large. Atomism posits that function ascriptions must be made to parts with minimal reference to the surrounding system. Complexity does indeed falsify atomism, but I contend that there is a weaker, ‘contextualist’ notion of decomposition that is fully compatible with the properties that holists cite. Contextualism suggests that the function of parts can shift with external context, and that interactions with other parts might help determine their context-appropriate functions. This still admits of functional decomposition within a given context. I will give examples based on the notion of oscillatory multiplexing in systems neuroscience. If contextualism is feasible, then holist inferences are faulty—one cannot infer from the presence of complexity to the failure of decomposition, mechanism, and reductionism. (shrink)

Current challenges in medical practice, research, and administration demand physicians who are familiar with bioethics, health law, and health economics. Curriculum directors at American Association of Medical Colleges-affiliated medical schools were sent confidential surveys requesting the number of required hours of the above subjects and the years in which they were taught, as well as instructor names. The number of relevant publications since 1990 for each named instructor was assessed by a PubMed search.In sum, teaching in all three subjects combined (...) comprises less than two percent of the total hours in the American medical curriculum, and most instructors have not recently published articles in the fields they teach. This suggests that medical schools should reevaluate their curricula and instructors in bioethics, health law, and health economics. (shrink)

In this introduction, before summarizing the contents of the volume, the authors characterize materialism as it is understood within the philosophy of mind, and they identify three respects in which materialism is on the wane.

This paper reconstructs the function argument of Aristotle’s Eudemian Ethics 2.1. The argument seeks to define happiness through the method of division; shows that the highest good is better than all four of the goods of the soul, not only two, as commentators have thought; and unlike the Nicomachean argument, makes the highest good definitionally independent of the human function.

Deception sometimes results in nonconsensual sex. A recent body of literature diagnoses such violations as invalidating consent: the agreement is not morally transformative, which is why the sexual contact is a rights violation. We pursue a different explanation for the wrongs in question: there is valid consent, but it is not consent to the sex act that happened. Semantic conventions play a key role in distinguishing deceptions that result in nonconsensual sex (like stealth condom removal) from those that don’t (like (...) white lies). Our framework is also applicable to more controversial cases, like those implicated in so-called “gender fraud” complaints. (shrink)

Certain commentators on Russell's “no class” theory, in which apparent reference to classes or sets is eliminated using higher-order quantification, including W. V. Quine and (recently) Scott Soames, have doubted its success, noting the obscurity of Russell’s understanding of so-called “propositional functions”. These critics allege that realist readings of propositional functions fail to avoid commitment to classes or sets (or something equally problematic), and that nominalist readings fail to meet the demands placed on classes by mathematics. I show that Russell (...) did thoroughly explore these issues, and had good reasons for rejecting accounts of propositional functions as extra-linguistic entities. I argue in favor of a reading taking propositional functions to be nothing over and above open formulas which addresses many such worries, and in particular, does not interpret Russell as reducing classes to language. (shrink)

Klein’s account of epistemic justification, infinitism, supplies a novel solution to the regress problem. We argue that concentrating on the normative aspect of justification exposes a number of unpalatable consequences for infinitism, all of which warrant rejecting the position. As an intermediary step, we develop a stronger version of the ‘finite minds’ objection.

The history of evolution is a history of development from less to more complex organisms. This growth in complexity of organisms goes hand in hand with a concurrent growth in complexity of environments and of organism-environment relations. It is a concern with this latter aspect of evolutionary development that motivates the present paper. We begin by outlining a theory of organism-environment relations. We then show that the theory can be applied to a range of different sorts of cases, both biological (...) and non-biological, in which objects are lodged or housed within specific environments, or niches. Biological science is interested in types—for example in genotypes, phenotypes, and environment types—in regularities that can serve as the basis for the formulation of laws or general principles. Types, however, can exist only through their corresponding tokens. Our theory of token environments is meant to plug this gap and to provide a first step towards a general theory of causally relevant spatial volumes. (shrink)

This volume aimed to highlight narrative identities of European cities or city neighbourhoods that have been overlooked, such as mid-sized cities. These cities are neither small towns nor metropolises, cities that are now unveiling their appeal or specificity. The present special issue thus covers a range of representations of cities. The articles investigate more systematically how different texts deal with various cities from different experiential and fictional perspectives. The issue covers the geographical scope across Europe, from east to west or (...) vice versa, as well as a range of different works of national literature(s), but with a clear emphasis on mid-sized European cities that have until now been deemed as lesser-known, secondary, peripheral, ‘other’ cities that are in the focus of the research of the COST project Writing Urban Places. New Narratives of the European City, within which this journal issue is being published. (shrink)

This paper presents the main topics, arguments, and positions in the philosophy of AI at present (excluding ethics). Apart from the basic concepts of intelligence and computation, the main topics of ar-tificial cognition are perception, action, meaning, rational choice, free will, consciousness, and normativity. Through a better understanding of these topics, the philosophy of AI contributes to our understand-ing of the nature, prospects, and value of AI. Furthermore, these topics can be understood more deeply through the discussion of AI; so (...) we suggest that “AI Philosophy” provides a new method for philosophy. (shrink)

In 1903, in _The Principles of Mathematics_ (_PoM_), Russell endorsed an account of classes whereupon a class fundamentally is to be considered many things, and not one, and used this thesis to explicate his first version of a theory of types, adding that it formed the logical justification for the grammatical distinction between singular and plural. The view, however, was short-lived; rejected before _PoM_ even appeared in print. However, aside from mentions of a few misgivings, there is little evidence about (...) why he abandoned this view. In this paper, I speculate as to what those reasons were, and evaluate them in light of recent work and interest in plural logic. (shrink)

Sequel to Part I. In these articles, I describe Cantor’s power-class theorem, as well as a number of logical and philosophical paradoxes that stem from it, many of which were discovered or considered (implicitly or explicitly) in Bertrand Russell’s work. These include Russell’s paradox of the class of all classes not members of themselves, as well as others involving properties, propositions, descriptive senses, class-intensions and equivalence classes of coextensional properties. Part II addresses Russell’s own various attempts to solve these paradoxes, (...) including strategies that he considered and rejected (limitation of size, the zigzag theory, etc.), as well as his own final views whereupon many purported entities that, if reified, lead to these contradictions, must not be genuine entities, but ‘logical fictions’ or ‘logical constructions’ instead. (shrink)

Public opinion research has shown that voters accept many falsehoods about politics. This observation is widely considered troubling for democracy—and especially participatory ideals of democracy. I argue that this influential narrative is nevertheless flawed, because it misunderstands the nature of political understanding. Drawing on philosophical examinations of scientific modelling, I demonstrate that accepting falsehoods within one’s model of political reality is compatible with—and indeed can positively enhance—one’s understanding of that reality. Thus, the observation that voters accept many political falsehoods does (...) not necessarily establish that they lack political understanding. I then address three worries: that voters cannot generally engage in such political modelling; that political modelling obscures facts that are crucial to political understanding; and that successful political modelling would require knowing that one’s model contains falsehoods. My responses reveal how, going forward, we should measure political ignorance; and they highlight the standing importance of participatory democracy. (shrink)

In these articles, I describe Cantor’s power-class theorem, as well as a number of logical and philosophical paradoxes that stem from it, many of which were discovered or considered (implicitly or explicitly) in Bertrand Russell’s work. These include Russell’s paradox of the class of all classes not members of themselves, as well as others involving properties, propositions, descriptive senses, class-intensions, and equivalence classes of coextensional properties. Part I focuses on Cantor’s theorem, its proof, how it can be used to manufacture (...) paradoxes, Frege’s diagnosis of the core difficulty, and several broad categories of strategies for offering solutions to these paradoxes. (shrink)

The paper presents a paradoxical feature of computational systems that suggests that computationalism cannot explain symbol grounding. If the mind is a digital computer, as computationalism claims, then it can be computing either over meaningful symbols or over meaningless symbols. If it is computing over meaningful symbols its functioning presupposes the existence of meaningful symbols in the system, i.e. it implies semantic nativism. If the mind is computing over meaningless symbols, no intentional cognitive processes are available prior to symbol grounding. (...) In this case, no symbol grounding could take place since any grounding presupposes intentional cognitive processes. So, whether computing in the mind is over meaningless or over meaningful symbols, computationalism implies semantic nativism. (shrink)

This paper has three main sections. The first section provides a general characterisation of presentism, eternalism and growing blockism. It presents a pair of core, defining claims that jointly capture each of these three views. This makes clear the respects in which the different views agree, and the respects in which they disagree, about the nature of time. The second section takes these characterisations and considers whether we really do have three distinct views, or whether defenders of these views are (...) somehow talking past one another when they claim to disagree. The third section looks at the key objections to each view and considers some of the replies that can be made to those objections. The paper concludes by offering some thoughts about how future research might help us resolve the debate between defenders of these three views. (shrink)

I trace changes to Frege's understanding of numbers, arguing in particular that the view of arithmetic based in geometry developed at the end of his life (1924–1925) was not as radical a deviation from his views during the logicist period as some have suggested. Indeed, by looking at his earlier views regarding the connection between numbers and second-level concepts, his understanding of extensions of concepts, and the changes to his views, firstly, in between Grundlagen and Grundgesetze, and, later, after learning (...) of Russell's paradox, this position is a natural position for him to have retreated to, when properly understood. (shrink)

This paper investigates the view that digital hypercomputing is a good reason for rejection or re-interpretation of the Church-Turing thesis. After suggestion that such re-interpretation is historically problematic and often involves attack on a straw man (the ‘maximality thesis’), it discusses proposals for digital hypercomputing with Zeno-machines , i.e. computing machines that compute an infinite number of computing steps in finite time, thus performing supertasks. It argues that effective computing with Zeno-machines falls into a dilemma: either they are specified such (...) that they do not have output states, or they are specified such that they do have output states, but involve contradiction. Repairs though non-effective methods or special rules for semi-decidable problems are sought, but not found. The paper concludes that hypercomputing supertasks are impossible in the actual world and thus no reason for rejection of the Church-Turing thesis in its traditional interpretation. (shrink)

José Benardete developed a famous paradox involving a beginningless set of items each member of which satisfies some predicate just in case no earlier member satisfies it. The Grim Reaper version of this paradox has recently been employed in favor of various finitist metaphysical theses, ranging from temporal finitism to causal finitism to the discrete nature of time. Here, I examine a new challenge to these finitist arguments—namely, the challenge of implying that the future cannot be endless. In particular, I (...) develop future-oriented Benardete paradoxes and examine their epistemic symmetry with past-oriented paradoxes. (shrink)

We rely on language to know the minds of others, but does language have a role to play in knowing our own minds? To suppose it does is to look for a connection between mastery of a language and the epistemic relation we bear to our inner lives. What could such a connection consist in? To explore this, I shall examine strategies for explaining self-knowledge in terms of the use we make of language to express and report our mental states. (...) Success in these strategies will depend on the view we take of speakers' understanding of the words they use to speak their minds. The key is to avoid circularity in the account of how they know what they mean; for if knowing what one is saying in speaking a language provides a means of knowing one's own mind, it cannot simply be a part of it. I shall look at ways in which we might proceed here, and examine whether the strategy can make room for a genuinely first-person point of view. But first let me try to motivate the problem of self-knowledge. (shrink)

Vann McGee has recently argued that Belnap’s criteria constrain the formal rules of classical natural deduction to uniquely determine the semantic values of the propositional logical connectives and quantifiers if the rules are taken to be open-ended, i.e., if they are truth-preserving within any mathematically possible extension of the original language. The main assumption of his argument is that for any class of models there is a mathematically possible language in which there is a sentence true in just those models. (...) I show that this assumption does not hold for the class of models of classical propositional logic. In particular, I show that the existence of non-normal models for negation undermines McGee’s argument. (shrink)

The use of the symbol ∨for disjunction in formal logic is ubiquitous. Where did it come from? The paper details the evolution of the symbol ∨ in its historical and logical context. Some sources say that disjunction in its use as connecting propositions or formulas was introduced by Peano; others suggest that it originated as an abbreviation of the Latin word for “or,” vel. We show that the origin of the symbol ∨ for disjunction can be traced to Whitehead and (...) Russell’s pre-Principia work in formal logic. Because of Principia’s influence, its notation was widely adopted by philosophers working in logic (the logical empiricists in the 1920s and 1930s, especially Carnap and early Quine). Hilbert’s adoption of ∨ in his Grundzüge der theoretischen Logik guaranteed its widespread use by mathematical logicians. The origins of other logical symbols are also discussed. (shrink)

Analytic epistemologists agree that, whatever else is true of epistemic justification, it is distinct from knowledge. However, if recent work by Jonathan Sutton is correct, this view is deeply mistaken, for according to Sutton justification is knowledge. That is, a subject is justified in believing that p iff he knows that p. Sutton further claims that there is no concept of epistemic justification distinct from knowledge. Since knowledge is factive, a consequence of Sutton’s view is that there are no false (...) justified beliefs. <br> Following Sutton, I will begin by outlining kinds of beliefs that do not constitute knowledge but that seem to be justified. I will then be in a position to critically evaluate Sutton’s arguments for his position that justification is knowledge, concluding that he fails to establish his bold thesis. In the course of so doing, I will defend the following rule of assertion: (The JBK-rule) One must: assert p only if one has justification to believe that one knows that p.<br>. (shrink)