Abstract: This paper develops and advocates a rule for assigning self-locating credences in quantum branching scenarios, called Indexed Branch-Counting. It is argued that Indexed Branch-Counting can be justified on both accuracy-theoretic grounds and on the grounds that it satisfies a requirement of exchangeability for probability assignments. Since Indexed Branch-Counting diverges from the Born Rule, this poses trouble for Everettian approaches to probability. The paper also addresses a common argument against branch-counting, namely that (...) the rule is incoherent in light of putative vagueness in the number of branches. Finally, the paper addresses a recent proposal from Simon Saunders that aims to reconcile branch-counting with the Born Rule, arguing that the proposal faces challenges. (shrink)

Replacing the value-free ideal (VFI) for science requires attention to the broader understanding of how science in society should function. In public spaces, science needed to project the VFI in norms for science advising, science education, and science communication. This resulted in the independent science advisor model and a focus on science literacy for science education and communication. Attending to these broader implications of the VFI which structure science and society relationships is crucial if we are to properly replace the (...) VFI with a better ideal. (shrink)

We articulate a holistic understanding of hope, going beyond the common conceptualization of hope in terms of positive affect and cognition by considering what hope means for the underprivileged. In the recognition that hope is always situated in a particular place, we explore the perspective of the privileged and the underprivileged, clarifying how spatial contexts shape their goals for the future and their agency toward attaining these goals. Where some people experience precarity due to their disability, race, gender, sexuality, and (...) social class, others enjoy enhanced agency due to their privilege. In our analysis, this loss of agency does not mean the underprivileged are hopeless; instead, it suggests that hope can incorporate negative affect and cognition. In our view, a spatial understanding acknowledges the power of hope in discouraging situations, and it points to practical measures through which hope can be cultivated by marginalized communities. (shrink)

The COVID-19 crisis has highlighted the considerable challenge of sourcing expertise and determining which experts to trust. Dissonant information fostered controversy in public discourse and encouraged an appeal to a wide range of social indicators of trustworthiness in order to decide whom to trust. We analyze public discourse on expertise by examining how social indicators inform the reputation of Dr. Didier Raoult, the French microbiologist who rose to international prominence as an early advocate for using hydroxychloroquine to treat COVID-19. To (...) comprehend how these indicators came to inform his reputation, we outline Dr. Raoult's rise to fame based on discourse about hydroxychloroquine. We then discuss why we trust in experts like scientist-practitioners. This is followed by an examination of how social indicators of trust like status, epistemic authority, influence and values have informed Dr. Raoult's reputation. We conclude with recommendations for how to improve the selection and evaluation social indicators of trust and reputations. Our aim here, instead of making a claim about the efficacy of hydroxychloroquine or Dr. Raoult's reputation per se, is to outline through this case study how social indicators of trust inform reputation and the challenge they present to evaluating expertise. (shrink)

Publics trust experts for personal and pro-social reasons. Scientists are among the experts publics trust most, and so, epistemic trust is routinely afforded to them. The call for epistemic trust to be more socially situated in order to account for the impact of science on society and public welfare is at the forefront of enhanced epistemic trust. I argue that the value-free ideal for science challenges establishing enhanced epistemic trust by preventing the inclusion of non-epistemic values throughout the evaluation of (...) evidence and communication of these values. By selectively silencing non-epistemic values, the ideal cannot take into account publics’ social and moral responses to inductive risk, which are instrumental for defining and determining public welfare. Furthermore, by emphasising epistemic values almost exclusively in science education and communication, the value-free ideal is presented to publics in such a way that it becomes a social indicator of trust. I show this through examination of the importance of values in decisions to trust, and conclude that values (and restrictions on them) can be used by lay publics to help decide which experts to trust. (shrink)

Expert knowledge regularly informs personal and civic-decision making. To decide which experts to trust, lay publics —including policymakers and experts from other domains—use different epistemic and non-epistemic cues. Epistemic cues such as honesty, like when experts are forthcoming about conflicts of interest, are a popular way of understanding how people evaluate and decide which experts to trust. However, many other epistemic cues, like the evidence supporting information from experts, are inaccessible to lay publics. Therefore, lay publics simultaneously use second-order social (...) cues in their environment to inform decisions to trust. These second-order social cues, or ‘social indicators of trust’, prevent lay publics from having to trust blindly. Social indicators of trust therefore inform lay publics’ epistemic vigilance, or constant low level-monitoring of testimony from experts. This special issue examines the nature, acquisition and application of social indicators of trust for scientific experts and institutions. It also raises questions about the types of trust asked of lay publics and challenges traditional normative assumptions about the relationship between science and lay publics through study of attitudes, values, and experiences. The issue descriptively re-examines the structure of institutions, their role and methods for ferrying information, as well as how social indicators operate in times of crisis. In this collection of works, we bridge history, science, philosophy of science, science and technology studies, science communication and social epistemology, to broaden the discourse on trust in experts and more accurately reflect the imperfect yet indispensable endeavour that trusting is. (shrink)

For over thirty years I have argued that all branches of science and scholarship would have both their intellectual and humanitarian value enhanced if pursued in accordance with the edicts of wisdom-inquiry rather than knowledge-inquiry. I argue that this is true of mathematics. Viewed from the perspective of knowledge-inquiry, mathematics confronts us with two fundamental problems. (1) How can mathematics be held to be a branch of knowledge, in view of the difficulties that view engenders? What could mathematics be (...) knowledge about? (2) How do we distinguish significant from insignificant mathematics? This is a fundamental philosophical problem concerning the nature of mathematics. But it is also a practical problem concerning mathematics itself. In the absence of the solution to the problem, there is the danger that genuinely significant mathematics will be lost among the unchecked growth of a mass of insignificant mathematics. This second problem cannot, it would seem, be solved granted knowledge-inquiry. For, in order to solve the problem, mathematics needs to be related to values, but this is, it seems, prohibited by knowledge-inquiry because it could only lead to the subversion of mathematical rigour. Both problems are solved, however, when mathematics is viewed from the perspective of wisdom-inquiry. (1) Mathematics is not a branch of knowledge. It is a body of systematized, unified and inter-connected problem-solving methods, a body of problematic possibilities. (2) A piece of mathematics is significant if (a) it links up to the interconnected body of existing mathematics, ideally in such a way that some problems difficult to solve in other branches become much easier to solve when translated into the piece of mathematics in question; (b) it has fruitful applications for (other) worthwhile human endeavours. If ever the revolution from knowledge to wisdom occurs, I would hope wisdom mathematics would flourish, the nature of mathematics would become much more transparent, more pupils and students would come to appreciate the fascination of mathematics, and it would be easier to discern what is genuinely significant in mathematics (something that baffled even Einstein). As a result of clarifying what should count as significant, the pursuit of wisdom mathematics might even lead to the development of significant new mathematics. (shrink)

The efficiency or the development of a bank can be plumbed by different measures like deposits, advances, working assets, incomes, expenditures, profits, no of assets, number of accounts and branches etc. The role of employees is also of great signification as each and every expression of a bank is directly affiliated to the attitude, motivation and work civilisation of the employees. so the parameters which are used to count the efficiency, should also incorporate the performance of their employees. In the (...) current study the employee performance reasoning of selected co.opt bank has been performed on the basis of 2 ratios. a . working funds employee b . operating profit employee ratio. In this research article researcher study the employee work productivity of BCC and AJMB bank. Dr. Nitin J. Dhamsaniya | Dr. Achyut C. Patel "A Comparative Study On Employee Productivity Of Amreli Jilla Madhyasth Sahkari Bank And The Baroda Central Cooperative Bank" Published in International Journal of Trend in Scientific Research and Development (ijtsrd), ISSN: 2456-6470, Volume-1 | Issue-1 , December 2016. (shrink)

Branching time is a popular theory of time that is intended to account for the openness of the future. Generally, branching-time models the openness of the future by positing a multiplicity of concrete alternative futures mirroring all the possible ways the future could unfold. A distinction is drawn in the literature among branching-time theories: those that make use of moment-based structures and those that employ history-based ones. In this paper, I introduce and discuss a particular kind of openness relative to (...) the possibility that time ends (doomsday). I then show that whereas moment-based branching structures cannot represent this kind of openness, history-based structures can account for it. The conclusion is that history-based structures have an advantage over moment-based ones. (shrink)

In recent years, the branching spacetime (BST) interpretation of quantum mechanics has come under study by a number of philosophers, physicists and mathematicians. This paper points out some implications of the BST interpretation for two areas of quantum physics: (1) quantum gravity, and (2) stochastic interpretations of quantum mechanics.

In Everettian quantum mechanics, justifications for the Born rule appeal to self-locating uncertainty or decision theory. Such justifications have focused exclusively on a pure-state Everettian multiverse, represented by a wave function. Recent works in quantum foundations suggest that it is viable to consider a mixed-state Everettian multiverse, represented by a (mixed-state) density matrix. Here, we develop the conceptual foundations for decoherence and branching in a mixed-state multiverse, and extend the standard Everettian justifications for the Born rule to this setting. This (...) extended framework provides a unification of 'classical' and 'quantum' probabilities, and additional theoretical benefits, for the Everettian picture. (shrink)

At a first glance, and even at a second one, it seems that if time is linear the threat of determinism is more severe than if time is branching, since in the latter case the future is open in a way it is not in the former one where, so to speak, there exists only one branch – one future. In this paper, I want to give a 'third glance' at this claim. I acknowledge that such a claim is (...) intuitive (this is the first glance) and that it is also meaningfully and interestingly defended in recent literature where branching time is either said to imply indeterminism or at least to be compatible with it. To try to make my third glance as precise and as fleshed out as possible, I shall first concentrate on what 'branching' is or could be, and I shall discuss various versions and interpretations of this view. I shall then (more quickly) turn my attention to what determinism is or could be, and I will distinguish three (well-known) kinds of it – focusing mainly on 'metaphysical determinism'. Having these tools in hand, I will then ask (and answer) the question whether branching time helps with avoiding determinism or not. As we shall see, it is incorrect to think that under the branching hypothesis the threat of determinism is any smaller – rather, I will argue that if one has reasons to think that determinism is true, branching will not help, and that the issue of branching versus linear time is then actually neutral with respect to the question whether determinism or indeterminism is true. (shrink)

We draw out significant consequences of a relatively popular theory of metaphysical modality—branching actualism—for cosmological arguments for God’s existence. According to branching actualism, every possible world shares an initial history with the actual world and diverges only because causal powers (or dispositions, or some such) are differentially exercised. We argue that branching actualism undergirds successful responses to two recent cosmological arguments: the Grim Reaper Kalam argument and a modal argument from contingency. We also argue that branching actualism affords a response (...) to one popular defense of the classic contingency argument. What results are new difficulties for several cosmological arguments arising from the metaphysics of modality. (shrink)

This paper addresses the problem of sound individuation (SI) and its connection to sound ontology (SO). It is argued that the problems of SI, such as aspatiality, extreme individuation, indexical perplexity and duration puzzles are due to SO’s uncertainties. Besides, I describe the views in SO, including the wave view (WV), the property view (PV), and the event view (EV), as Casey O’Callaghan defends it. According to O’Callaghan, EV offers clear standards to individuate sounds. However, this claim is countered by (...) the consideration that any view could also defend the standards in SO, and thus, EV does not solve any of the problems mentioned above. As a way of showing the difficulties inherited by sound’s inner ontology, the problem of its linguistic representation is also addressed. The problem of SI can be developed within the frame of the philosophy of language and, specifically, regarding the discussion about mass vs count-­sortal terms. Is the term sound a mass or a count­-sortal? It is shown that, for reasons pertaining SO, the decision regarding the case of sound as a mass or count-­sortal term remains open. SI is, thus, covered from the SO to the philosophy of language. (shrink)

After 50 years of debate, the ethics of aggregation has reached a curious stalemate, with both sides arguing that only their theory treats people as equals. I argue that, on the issue of equality, both sides are wrong. From the premise that “each counts for one,” we cannot derive the conclusion that “more count for more”—or its negation. The familiar arguments from equality to aggregation presuppose more than equality: the Kamm/Scanlon “Balancing Argument” rests on what social choice theorists call “(Positive) (...) Responsiveness,” Kamm’s “Aggregation Argument” assumes that “equal” lives are fungible, and Hsieh et al. have it that spreading goods broadly best approximates equality. In each case, the crucial premise is not equality itself but a further idea that Taurek, I argue, can safely reject. I conclude with a conjecture: there is no theory-neutral argument that settles the question of whether the numbers count. (shrink)

Since the last ice age, when ice enveloped most of the northern continents, the earth has warmed by about five degrees. Within a century, it is likely to warm by another four or five. This revolution in our climate will have immense and mostly harmful effects on the lives of people not yet born. We are inflicting this harm on our descendants by dumping greenhouse gases into the atmosphere. We can mitigate the harm a little by taking measures to control (...) our emissions of these gases, and to adapt to the changes by, for instance, building sea walls around coastlines threatened by rising sea levels. But these measures will be very expensive, and the costs will be born by us, the present generation, whereas the benefits will come to future generations. How much should we sacrifice for the sake of the future? Economists and philosophers have independently worked on the question of our responsibility to future generations. This book brings their work together and applies it to global warming. It suggests a programme for future research on the economic and ethical issues. The book is intended for economists, and for philosophers and other social scientists who have a little knowledge of economic methods. (shrink)

Given reductionism about people, personal persistence must fundamentally consist in some kind of impersonal continuity relation. Typically, these continuity relations can hold from one to many. And, if they can, the analysis of personal persistence must include a non-branching clause to avoid non-transitive identities or multiple occupancy. It is far from obvious, however, what form this clause should take. This paper argues that previous accounts are inadequate and develops a new proposal.

Suppose that, for reasons of animal welfare, it would be better if everyone stopped eating chicken. Does it follow that you should stop eating chicken? Proponents of the “inefficacy objection” argue that, due to the scale and complexity of markets, the expected effects of your chicken purchases are negligible. So the expected effects of eating chicken do not make it wrong. -/- We argue that this objection does not succeed, in two steps. First, empirical data about chicken production tells us (...) that the expected effects of consuming *many* chickens are not negligible. Second, this implies that the expected effect of consuming one chicken is ordinarily not negligible. *Parity* between your purchase and other counterfactual purchases and *uncertainty* about others’ consumption behavior each tend to pull the expected effect of a single purchase toward the average large scale effect. While some purchases do have negligible expected effects, many do not. (shrink)

I here defend historical entitlement theories of property rights against a popular charge. This is the objection that such theories fail because no convincing account of original appropriation exists. I argue that this argument assumes a certain reading of historical entitlement theory and I spell out an alternative reading against which it misfires. On this reading, the role of acts of original appropriation is not to justify but to individuate people’s holdings. I argue that we can identify which acts count (...) as original appropriation against the background of a general justification for a practice of property rights. On this view, what I will call ‘natural’ acts of original appropriation are acts by which a person begins to satisfy the general conditions for justified ownership. Finally, I offer an interpretation of John Locke's theory of appropriation along these lines and argue that it provides an attractive reading of his view. (shrink)

The central claim of the Parfitian psychological approach to personal identity is that the fact about personal identity is underpinned by a non-branching psychological continuity relation. Hence, for the advocates of the Parfitian view, it is important to understand what it is for a relation to take or not take a branching form. Nonetheless, very few attempts have been made in the literature of personal identity to define the non-branching clause. This paper undertakes this task. Drawing upon a recent debate (...) between Anthony Brueckner and Harold Noonan on the issue, I present three candidates for the non-branching clause. (shrink)

Number systems differ cross-culturally in characteristics like how high counting extends and which number is used as a productive base. Some of this variability can be linked to the way the hand is used in counting. The linkage shows that devices like the hand used as external representations of number have the potential to influence numerical structure and organization, as well as aspects of numerical language. These matters suggest that cross-cultural variability may be, at least in part, a (...) matter of whether devices are used in counting, which ones are used, and how they are used. (shrink)

The supervaluationist approach to branching time (‘SBT-theory’) appears to be threatened by the puzzle of retrospective determinacy: if yesterday I uttered the sentence ‘It will be sunny tomorrow’ and only in some worlds overlapping at the context of utterance it is sunny the next day, my utterance is to be assessed as neither true nor false even if today is indeed a sunny day. John MacFarlane (“Truth in the Garden of Forking Paths” 81) has recently criticized a promising solution to (...) this puzzle for falling short of an adequate account of ‘actually’. In this paper, I aim to rebut MacFarlane's criticism. To this effect, I argue that: (i) ‘actually’ can be construed either as an indexical or as a nonindexical operator; (ii) if ‘actually’ is nonindexical, MacFarlane's criticism is invalid; (iii) there appear to be independent reasons for SBT-theorists to claim that ‘actually’ is a nonindexical expression. (shrink)

We often speak as if there are merely possible people—for example, when we make such claims as that most possible people are never going to be born. Yet most metaphysicians deny that anything is both possibly a person and never born. Since our unreflective talk of merely possible people serves to draw non-trivial distinctions, these metaphysicians owe us some paraphrase by which we can draw those distinctions without committing ourselves to there being merely possible people. We show that such paraphrases (...) are unavailable if we limit ourselves to the expressive resources of even highly infinitary first-order modal languages. We then argue that such paraphrases are available in higher-order modal languages only given certain strong assumptions concerning the metaphysics of properties. We then consider alternative paraphrase strategies, and argue that none of them are tenable. If talk of merely possible people cannot be paraphrased, then it must be taken at face value, in which case it is necessary what individuals there are. Therefore, if it is contingent what individuals there are, then the demands of paraphrase place tight constraints on the metaphysics of properties: either (i) it is necessary what properties there are, or (ii) necessarily equivalent properties are identical, and having properties does not entail even possibly being anything at all. (shrink)

Categorical logic has shown that modern logic is essentially the logic of subsets (or "subobjects"). Partitions are dual to subsets so there is a dual logic of partitions where a "distinction" [an ordered pair of distinct elements (u,u′) from the universe U ] is dual to an "element". An element being in a subset is analogous to a partition π on U making a distinction, i.e., if u and u′ were in different blocks of π. Subset logic leads to finite (...) probability theory by taking the (Laplacian) probability as the normalized size of each subset-event of a finite universe. The analogous step in the logic of partitions is to assign to a partition the number of distinctions made by a partition normalized by the total number of ordered pairs |U|² from the finite universe. That yields a notion of "logical entropy" for partitions and a "logical information theory." The logical theory directly counts the (normalized) number of distinctions in a partition while Shannon's theory gives the average number of binary partitions needed to make those same distinctions. Thus the logical theory is seen as providing a conceptual underpinning for Shannon's theory based on the logical notion of "distinctions.". (shrink)

Counting functions are shown to be complete by using a simpler argument than that used by Pelletier and Martin.

I identify and resolve an internal tension in Critical Contextual Empiricism (CCE) – the normative account of science developed by Helen Longino. CCE includes two seemingly conflicting principles: on one hand, the cognitive goals of epistemic communities should be open to critical discussion (the openness of goals to criticism principle, OGC); on the other hand, criticism must be aligned with the cognitive goals of that community to count as “relevant” and thus require a response (the goal-relativity of response-requiring criticism principle, (...) GRC). The co-existence of OGC and GRC enables one to draw both approving and condemning judgments about a situation in which an epistemic community ignores criticism against its goals. This tension results from conflating two contexts of argumentation that require different regulative standards. In the first-level scientific discussion, GRC is a reasonable principle but OGC is not; in the meta-level discussion about science, the reverse holds. In meta-level discussion, the relevance of criticism can be established by appealing to goals of science that are more general than the goals of a specific epistemic community. To illustrate my revision of CCE, I discuss why feminist economists’ criticism of the narrowness of the goals pursued in mainstream economics is relevant criticism. (shrink)

My aim in this paper is to carve out a political understanding of the Muslim identity. The Muslim identity is shaped within a religious mold. Inseparable from this religious understanding is a political one that is valuable in its own right in order to secure any sustainable possibility of participating politically as Muslims within a democratic liberal democracy, such as the United States. Here I explore not the historical or theological formation of the Muslim identity, rather a metaphysical understanding of (...) it, in order to mobilize politically while avoiding the traps of essentialism. I begin with a brief overview of the early understandings of the term “identity politics” in the United States. Moving beyond interest-based movements I explore María Lugones' particular understanding of the self as multiplicitous. I then offer examples of the Muslim identity within the context of a social movement and individualist claims, in order to draw out the political aspects of the Muslim identity. In the final section I argue that the theological criteria that define “who counts as a Muslim” is a crucial aspect of how many Muslims may understand their identity as Muslims. However, I claim that in order to avoid the traps of marginalization of Muslim minorities, one must understand oneself as a multiplicitous political agent and that, furthermore, such an understanding is not at odds with Islam or one's own understanding of their identity as Muslim. (shrink)

Suppose that we repair a wooden ship by replacing its planks one by one with new ones while at the same time reconstructing it using the discarded planks. Some defenders of vague or indeterminate identity claim that: (1) although the reconstructed ship is distinct from the repaired ship, it is indeterminate whether the original ship is the reconstructed ship and indeterminate whether it is the repaired ship, and (2) the indeterminacy is due to the world and not just an imprecision (...) in the language used to describe the situation. I argue that such a description is incoherent. The argument has two features. First, it differs in spirit from Gareth Evans's more general famous proof against the possibility of indeterminate identity. This is because I rely on facts regarding counting and sets. Second, I focus on Terence Parsons's recent defence of indeterminate identity. I argue that his attempts at making sense of counting objects involving indeterminate identities fail on technical and philosophical grounds. (shrink)

In The Matter of Consciousness, in the course of his extended discussion and defense of Frank Jackson’s famous knowledge argument, Torin Alter dismisses some objections on the grounds that they are cases of cheating. Though some opponents of the knowledge argument offer various scenarios in which Mary might come to know what seeing red is like while still in the room, Alter argues that the proposed scenarios are irrelevant. In his view, the Mary case is offered to defend the claim (...) that phenomenal facts cannot be a priori deduced from physical facts. Thus, a proposed scenario constitutes an objection to the knowledge argument only if it presents a case in which Mary’s learning inside the room comes about via a priori deduction from physical facts. Call this the deducibility standard. In what follows, I’ll explore a series of relevant cases in an effort to clarify this standard. Doing so enables us to better understand how cheating should be assessed in this context and thereby also to get clearer on the argumentative dialectic surrounding the Mary case. (shrink)

The mass-count distinction is a morpho-syntactic distinction among nouns that is generally taken to have semantic content. This content is generally taken to reflect a conceptual, cognitive, or ontological distinction and relates to philosophical and cognitive notions of unity, identity, and counting. The mass-count distinction is certainly one of the most interesting and puzzling topics in syntax and semantics that bears on ontology and cognitive science. This volume aims to contribute to some of the gaps in the research on (...) the topic, in particular the relation between the syntactic mass-count distinction and semantic and cognitive distinctions, diagnostics for mass and count, the distribution and role of numeral classifiers, abstract mass nouns, and object mass nouns (furniture, police force, clothing). (shrink)

The future is different from the past. What is past is fixed and set in stone. The future, on the other hand, is open insofar as it holds numerous possibilities. Branching-tree models of time account for this asymmetry by positing an ontological difference between the past and the future. Given a time t, a unique unified past lies behind t, whereas multiple alternative existing futures lie ahead of t. My goal in this paper is to show that there is an (...) incompatibility between the way branching-tree models account for the open future and the possibility of time travel. That is, I argue that once time travel enters the picture, branching time fails to model the openness of the future by means of alternative future branches. I show how this holds independently of whether branching-time models are cashed out in A-theoretic or B-theoretic terms. (shrink)

The notion of a physiological individuals has been developed and applied in the philosophy of biology to understand symbiosis, an understanding of which is key to theorising about the major transition in evolution from multi-organismality to multi-cellularity. The paper begins by asking what such symbiotic individuals can help to reveal about a possible transition in the evolution of cognition. Such a transition marks the movement from cooperating individual biological cognizers to a functionally integrated cognizing unit. Somewhere along the way, did (...) such cognizing units simultaneously have cognizers as parts? Expanding upon the multiscale integration view of the Free Energy Principle, this paper develops an account of reciprocal integration, demonstrating how some coupled biological cognizing systems, when certain constraints are met, can result in a cognizing unit that is in ways greater than the sum of its cognizing parts. Symbiosis between V. Fischeri bacteria and the bobtail squid is used to provide an illustration this account. A novel manner of conceptualizing biological cognizers as gradient is then suggested. Lastly it is argued that the reason why the notion of ontologically nested cognizers may be unintuitive stems from the fact that our folk-psychology notion of what a cognizer is has been deeply influenced by our folk-biological manner of understanding biological individuals as units of reproduction. (shrink)

Strong Composition as Identity is the thesis that necessarily, for any xs and any y, those xs compose y iff those xs are non-distributively identical to y. Some have argued against this view as follows: if some many things are non-distributively identical to one thing, then what’s true of the many must be true of the one. But since the many are many in number whereas the one is not, the many cannot be identical to the one. Hence is mistaken. (...) Although I am sympathetic to this objection, in this paper, I present two responses on behalf of the theorist. I also show that once the defender of accepts one of these two responses, that defender will be able to answer The Special Composition Question. (shrink)

This paper investigates logical aspects of combining linear orders as semantics for modal and temporal logics, with modalities for possible paths, resulting in a variety of branching time logics over classes of trees. Here we adopt a unified approach to the Priorean, Peircean and Ockhamist semantics for branching time logics, by considering them all as fragments of the latter, obtained as combinations, in various degrees, of languages and semantics for linear time with a modality for possible paths. We then consider (...) a hierarchy of natural classes of trees and bundled trees arising from a given class of linear orders and show that in general they provide different semantics. We also discuss transfer of definability from linear orders to trees and introduce a uniform translation from Priorean to Peircean formulae which transfers definability of properties of linear orders to definability of properties of all paths in trees. (shrink)

The branching time analysis grounds the possibilities entailed by temporal indeterminism in a branching temporal structure. I construct a spatial analog of the branching time analysis – the branching space analysis – according to which the possibilities entailed by spatial indeterminism are grounded in branching spatial structure. The construction proceeds in such a way as to show the analogies between the branching space and branching time analyses. I argue that the two views are a package. In particular: the theoretical virtues (...) of the one are theoretical virtues of the other and so if one ought to be accepted, then the other should also be accepted. And: if one ought to be denied, then the other ought to be denied as well. Thus, the branching space analysis functions either as a counterexample to the reductive strategy embodied in the branching time analysis or as a reasonable extension of it – as a lesson learned from it. (shrink)

Peer commentary on Char, Abràmoff & Feudtner (2020) target article: "Identifying Ethical Considerations for Machine Learning Healthcare Applications" .

As Francis Bacon put it on the frontispiece of his Novum Organum, grafting an apocalyptic vision on a research program, multi pertransibunt et multiplex erit scientia. The development of science becomes steadily associated with the end of earthly life, a theme that would resound deeply in Western thought up until Goethe’s Faust. What grounds then the multiplicity of knowledge? What is the common trunk out of which all realms of knowledge unfold, like the burgeoning branches of the celebrated tree? After (...) the Augustinian imprint of the first Christian centuries and after the admirable effort of the high scholastics’ Aristotelian and Christian synthesis, the seventeenth century undertakes new scientific work with the need of a new steady ground. All the big names of the modern era, Francis Bacon, Galileo, Descartes, Robert Boyle, Spinoza or Leibniz, found themselves engaged in the search for a common trunk of wisdom, each of them nourishing the intimate conviction that they possessed the philosophical core which would satisfy the learned men’s newly found appetite for indefinitely extending knowledge. In doing this, all of these masters needed to confront the philosophical tradition that they received, reworking and merging together the old structures of science through this epistemological prism of the search for the unity of knowledge. (Vlad Alexandrescu). (shrink)

Hypocrisy is a multi-faceted concept that has been studied empirically by psychologists and discussed logically by philosophers. In this study, we pose various behavioral scenarios to research participants and ask them to indicate whether the actor in the scenario behaved hypocritically. We assess many of the components that have been considered to be necessary for hypocrisy (e.g., the intent to deceive, self-deception), factors that may or may not be distinguished from hypocrisy (e.g., weakness of will), and factors that may moderate (...) hypocrisy (e.g., the degree of discrepancy between the attitude and behavior, whether the attitude is stated publicly, and the nature and severity of the behavioral consequences). Our findings indicate that lay conceptions of hypocrisy are often at odds with philosophical speculation. We argue that a complete understanding of the criteria for hypocrisy requires consideration of how ordinary people construe the concept. In contrast to some concepts (e.g., physical causation), for which lay conceptions, while interesting, are largely irrelevant, hypocrisy is an essential component of social judgment. One could argue, therefore, that folk wisdom is the ultimate arbiter of what hypocrisy entails. We note limitations of our methodology and suggest avenues for future research. (shrink)

Sometimes mereologists have problems with counting. We often don't want to count the parts of maximally connected objects as full-fledged objects themselves, and we don't want to count discontinuous objects as parts of further, full-fledged objects. But whatever one takes "full-fledged object" to mean, the axioms and theorems of classical, extensional mereology commit us to the existence both of parts and of wholes – all on a par, included in the domain of quantification – and this makes mereology look (...) counterintuitive to various philosophers. In recent years, a proposal has been advanced to solve the tension between mereology and familiar ways of counting objects, under the label of Minimalist View . The Minimalist View may be summarized in the slogan: "Count x as an object iff it does not overlap with any y you have already counted as an object". The motto seems prima facie very promising but, we shall argue, when one looks at it more closely, it is not. On the contrary, the Minimalist View involves an ambiguity that can be solved in quite different directions. We argue that one resolution of the ambiguity makes it incompatible with mereology. This way, the Minimalist View can lend no support to mereology at all. We suggest that the Minimalist View can become compatible with mereology once its ambiguity is solved by interpreting it in what we call an epistemic or conceptual fashion: whereas mereology has full metaphysical import, the Minimalist View may account for our ways of selecting "conceptually salient" entities. But even once it is so disambiguated, it is doubtful that the Minimalist View can help to make mereology more palatable, for it cannot make it any more compatible with commonsensical ways of counting objects. (shrink)

The seventeenth century Muslim philosopher Muhammad Sadr al-Din Shirazi, known as Mulla Sadra, introduced the idea of substantial motion in Islamic philosophy. This view is characterized by a continuity criterion for diachronic identity, a four-dimensional view of individual substances, the notion that possibilities change, and the continual creation of all creatures. Modern philosophical logic provides means to model a variety of claims about individuals, substances, modality and time. In this paper, the semantics of formal systems discussed by Carnap, Bressan and (...) Gupta are reviewed with regard to the issue of substance and identity. Next a model introduced by Storrs McCall is described that is able to build upon and yet resolve some of the issues about substance and identity as characterized by Bressan and others. McCall’s model is also shown to be able to provide an illustration of Mulla Sadra’s doctrine of substantial motion. (shrink)

In most cases, we think that what settles what act it is right to perform is sensitive to what we take the facts about the world to be. But those facts include many controversial metaphysical claims about the world. I argue that depending on what metaphysical model we take to be correct, we will have very different views about what the right actions are. In particular, I argue that if a particular metaphysical model — the branching universe model — is (...) correct, then many of our ethical intuitions are false. We need to think carefully about the relation between ethical and metaphysical intuitions, and ethical and metaphysical theories. (shrink)

In his book After Finitude, Quentin Meillassoux criticizes post-Kantian philosophy for its inability to explain how science is able to describe a world without human beings. This paper addresses that challenge through a consideration of Heidegger’s thought and his thinking about science. It is argued that the disagreement between Meillassoux and Heidegger comes down to a question of first philosophy and the priority of logic or ontology in philosophy. Ultimately, Heidegger’s emphasis on ontology in philosophy is superior in its ability (...) to give a more comprehensive account of science and thinking about things themselves. (shrink)

Sometimes we learn what the world is like, and sometimes we learn where in the world we are. Are there any interesting differences between the two kinds of cases? The main aim of this article is to argue that learning where we are in the world brings into view the same kind of observation selection effects that operate when sampling from a population. I will first explain what observation selection effects are ( Section 1 ) and how they are relevant (...) to learning where we are in the world ( Section 2 ). I will show how measurements in the Many Worlds Interpretation of quantum mechanics can be understood as learning where you are in the world via some observation selection effect ( Section 3 ). I will apply a similar argument to the Sleeping Beauty Problem ( Section 4 ) and explain what I take the significance of the analogy to be ( Section 5 ). Finally, I will defend the Restricted Principle of Indifference on which some of my arguments depend ( Section 6 ). (shrink)

A short story exploring cloning and the Teletransporter Thought Experiment. Rather than abstract consideration, the focus is on the first-personal experience.

When one faces competing claims of varying strength on public resources for health, which claims count? This paper proposes the following answer. One should count, or aggregate, a person’s claim just in case one could sympathize with her desire to prioritize her own claim over the strongest competing claim. It argues that this principle yields appealing case judgments and has a plausible grounding in both sympathetic identification with each person, taken separately, and respect for the person for whom most is (...) at stake. It also defends this principle against several heretofore unanswered objections. (shrink)

The feminist movement may seek democratization on a global scale, but women are still hampered by a democratic deficit in terms of economic and political power. On the other hand, global feminist networks and new expanded forms of non-territorial political space do appear to be increasing democratic participation for women.

Suppose you can save only one of two groups of people from harm, with one person in one group, and five persons in the other group. Are you obligated to save the greater number? While common sense seems to say ‘yes’, the numbers skeptic says ‘no’. Numbers Skepticism has been partly motivated by the anti-consequentialist thought that the goods, harms and well-being of individual people do not aggregate in any morally significant way. However, even many non-consequentialists think that Numbers Skepticism (...) goes too far in rejecting the claim that you ought to save the greater number. Besides the prima facie implausibility of Numbers Skepticism, Michael Otsuka has developed an intriguing argument against this position. Otsuka argues that Numbers Skepticism, in conjunction with an independently plausible moral principle, leads to inconsistent choices regarding what ought to be done in certain circumstances. This inconsistency in turn provides us with a good reason to reject Numbers Skepticism. Kirsten Meyer offers a notable challenge to Otsuka’s argument. I argue that Meyer’s challenge can be met, and then offer my own reasons for rejecting Otsuka’s argument. In light of these criticisms, I then develop an improved, yet structurally similar argument to Otsuka’s argument. I argue for the slightly different conclusion that the view proposed by John Taurek that ‘the numbers don’t count’ leads to inconsistent choices, which in turn provides us with a good reason to reject Taurek’s position. (shrink)

“Morphological computation” is an increasingly important concept in robotics, artificial intelligence, and philosophy of the mind. It is used to understand how the body contributes to cognition and control of behavior. Its understanding in terms of "offloading" computation from the brain to the body has been criticized as misleading, and it has been suggested that the use of the concept conflates three classes of distinct processes. In fact, these criticisms implicitly hang on accepting a semantic definition of what constitutes computation. (...) Here, I argue that an alternative, mechanistic view on computation offers a significantly different understanding of what morphological computation is. These theoretical considerations are then used to analyze the existing research program in developmental biology, which understands morphogenesis, the process of development of shape in biological systems, as a computational process. This important line of research shows that cognition and intelligence can be found across all scales of life, as the proponents of the basal cognition research program propose. Hence, clarifying the connection between morphological computation and morphogenesis allows for strengthening the role of the former concept in this emerging research field. (shrink)