The Rachels–Temkin spectrum arguments against the transitivity of better than involve good or bad experiences, lives, or outcomes that vary along multiple dimensions—e.g., duration and intensity of pleasure or pain. This paper presents variations on these arguments involving combinations of good and bad experiences, which have even more radical implications than the violation of transitivity. These variations force opponents of transitivity to conclude that something good is worse than something that isn’t good, on pain of rejecting the good altogether. That (...) is impossible, so we must reject the spectrum arguments. (shrink)

The standard view of "believes" and other propositional attitude verbs is that such verbs express relations between agents and propositions. A sentence of the form “S believes that p” is true just in case S stands in the belief-relation to the proposition that p; this proposition is the referent of the complement clause "that p." On this view, we would expect the clausal complements of propositional attitude verbs to be freely intersubstitutable with their corresponding proposition descriptions—e.g., "the proposition that p"—as (...) they are in the case of "believes." In many cases, however, intersubstitution of that-clauses and proposition descriptions fails to preserve truth value or even grammaticality. These substitution failures lead some philosophers to reject the standard view of propositional attitude reports. Others conclude that propositional attitude verbs are systematically ambiguous. I reject both these views. On my view, the that-clause complements of propositional attitude verbs denote propositions, but proposition descriptions do not. (shrink)

Close attention to Kant’s comments on animal minds has resulted in radically different readings of key passages in Kant. A major disputed text for understanding Kant on animals is his criticism of G. F. Meier’s view in the 1762 ‘False Subtlety of the Four Syllogistic Figures’. In this article, I argue that Kant’s criticism of Meier should be read as an intervention into an ongoing debate between Meier and H. S. Reimarus on animal minds. Specifically, while broadly aligning himself with (...) Reimarus, Kant distinguishes himself from both Meier and Reimarus on the role of judgement in human consciousness. (shrink)

ABSTRACT Sometimes it seems that an existing bearer of value should be preserved even though it could be destroyed and replaced with something of equal or greater value. How can this conservative intuition be explained and justified? This paper distinguishes three answers, which I call existential, attitudinal, and object-affecting conservatism. I raise some problems for existential and attitudinal conservatism, and suggest how they can be solved by object-affecting conservatism.

The world of entrepreneurship has historically been linked with taking risks and the potential for significant rewards. However, there persists a notable gender imbalance in the entrepreneurial landscape, wherein women entrepreneurs remain a minority. Women navigating the entrepreneurial path encounter distinct challenges, setting their experiences apart from their male counterparts. In Balayan, Batangas, despite strides towards gender equality, women entrepreneurs continue to face challenges in the entrepreneurial landscape. This qualitative study delves into the experiences of 10 successful female entrepreneurs who (...) met specific criteria. Accordingly, semi-structured interviews are conducted, exploring various aspects of participants' experiences and revealing their motivations, achievements, challenges, and strategies. Thematic analysis reveals the connection between familial, community-driven, and personal motivations that drive these entrepreneurs forward. Despite facing obstacles such as financial constraints and gender biases, they prioritize financial gains and personal growth. With resilience, innovation, and dedication, these women overcome challenges and achieve success, utilizing support networks and online marketing strategies to their advantage. Recommendations include empowering women in entrepreneurship, strengthening support networks, introducing tailored financial literacy programs, and advocating against gender biases. Implement skill development initiatives and provide specialized education in online marketing. Engage in policy advocacy, celebrate success stories, and continuously research challenges and successes. Foster collaborative partnerships between businesses, educational institutions, and communities, and advocate for increased funding opportunities for sustainable growth. This research emphasizes the strength and capabilities of women entrepreneurs in Balayan, Batangas, affirming that "pink doesn't mean weak.". (shrink)

Physics presents us with a symphony of natural constants: G, h, c, etc. Up to this point, constants have received comparatively little philosophical attention. In this paper I provide an account of dimensionful constants, in particular the gravitational constant. I propose that they represent inter-quantity structure in the form of relations between quantities with different dimensions. I use this account of G to settle a debate over whether mass scalings are symmetries of Newtonian Gravitation. I argue that they are not, (...) but only if we interpret mass anti-quidditistically. This is analogous to anti-haecceitism in the presence of spacetime symmetries. (shrink)

Ethical beliefs are not justified by familiar methods. We do not directly sense ethical properties, at least not in the straightforward way we sense colors or shapes. Nor is it plausible to think – despite a tradition claiming otherwise – that there are self-evident ethical truths that we can know in the way we know conceptual or mathematical truths. Yet, if we are justified in believing anything, we are justified in believing various ethical propositions e.g., that slavery is wrong. If (...) ethical beliefs are not justified in these familiar ways, how are they justified? -/- In her widely read, “Modern Moral Philosophy,” and in her short complimentary paper, “On Brute Facts,” G.E.M. Anscombe answers this question with a compelling and unorthodox account of justification in ethics. Because of her polemical tone and because “Modern Moral Philosophy” does so much else besides, this contribution is easy to overlook. But her account is worth taking seriously, since (a) it is an underappreciated yet plausible account that sidesteps traditional controversies, (b) it offers rich conceptual tools for interpreting and critiquing ethical theories, (c) it suggests an appealing account of the place of ethical theory in ethical knowledge and, (d) it provides useful guidance for doing applied ethics. (shrink)

Multidimensional concepts are everywhere, and they are important. Examples include moral value, welfare, scientific confirmation, democracy, and biodiversity. How, if at all, can we aggregate the underlying dimensions of a multidimensional concept F to yield verdicts about which things are Fer than which overall? Social choice theory can be used to model and investigate this aggregation problem. Here, we focus on a particularly thorny problem made salient by this social choice-theoretic framework: the underlying dimensions of a given concept might be (...) measurable on different types of scales—e.g., some ordinal and some cardinal. An underappreciated impossibility theorem due to Anna Khmelnitskaya shows that seemingly plausible constraints on aggregation across scale types are inconsistent. This impossibility threatens to render the notion of overall Fness incoherent. We attempt to defuse this threat, arguing that the impossibility depends on an overly restrictive conception of measurement and of how measurement constrains aggregation. Adopting a more flexible—and, we think, more perspicuous—conception of measurement opens an array of possibilities for aggregation across disparate scale types. (shrink)

We use psychological concepts (e.g., intention and desire) when we ascribe psychological states to others for purposes of describing, explaining, and predicting their actions. Does the evidence reported by Knobe show, as he thinks, that moral evaluation shapes our mastery of psychological concepts? We argue that the evidence so far shows instead that moral evaluation shapes the way we report, not the way we think about, others' psychological states.

This chapter provides a historical reconstruction of how Alfred Schutz’s American writings were critically engaged by the feminist sociologists Dorothy E. Smith and Patricia Hill Collins. Schutz’s articulation of a phenomenological sociology in relation to, among others, the sociology of Talcott Parsons and the philosophies of science of Ernest Nagel and Carl G. Hempel proved fruitful to Smith in the development of her feminist standpoint theory in her 1987 The Everyday World as Problematic: A Feminist Sociology. Collins likewise draws on (...) Schutz’s writing in the development of her own standpoint theory in her 1986 paper “Learning from the Outsider Within: The Sociological Significance of Black Feminist Thought,” but in a way that addresses some of her own concerns with Smith’s feminist sociology. As I hope to show with the recovery of this underappreciated history, the critical insights of Smith and Collins with regard to the possible uses and limits of phenomenology for feminist theorizing, are still valuable today. (shrink)

A set D subset of V(G) is a dominating set of a graph G if for all x ϵ V(G)\D, for some y ϵ D such that xy ϵ E(G). A dominating set D subset of V(G) is called a connected dominating set of a graph G if the subgraph <D> induced by D is connected. A connected domination number of G, denoted by γ_c(G), is the minimum cardinality of a connected dominating set D. The triple repetition sequence denoted by (...) {S_n:n ϵ Z+} is a sequence of positive integers which is repeated thrice, i.e., {S_n}={1,1,1,2,2,2,3,3,3, ...}. In this paper, we construct a combinatorial explicit formula for the triple repetition sequence of connected domination numbers of a triangular grid graph. (shrink)

Much early modern metaphysics grew with an eye to the new science of its time, but few figures took it as seriously as Emilie du Châtelet. Happily, her oeuvre is now attracting close, renewed attention, and so the time is ripe for looking into her metaphysical foundation for empirical theory. Accordingly, I move here to do just that. I establish two conclusions. First, du Châtelet's basic metaphysics is a robust realism. Idealist strands, while they exist, are confined to non-basic regimes. (...) Second, her substance realism seems internally coherent, so her foundational project appears successful.I have two aims in this paper. Historically, I show that du Châtelet's main source of inspiration was Christian... (shrink)

Hardcore actualism (HA) grounds all modal truths in the concrete constituents of the actual world (see, e.g., Borghini and Williams (2008), Jacobs (2010), Vetter (2015)). I bolster HA, and elucidate the very nature of possibility (and necessity) according to HA, by considering if it can validate S5 modal logic. Interestingly, different considerations pull in different directions on this issue. To resolve the tension, we are forced to think hard about the nature of the hardcore actualist's modal reality and how (...) radically this departs from possible worlds orthodoxy. Once we achieve this departure, the prospects of a hardcore actualist validation of S5 look considerably brighter. This paper thus strengthens hardcore actualism by arguing that it can indeed validate S5–arguably the most popular logic of metaphysical modality–and, in the process, it elucidates the very nature of modality according to this revisionary, but very attractive, modal metaphysics. (shrink)

Blindsight and vision for action seem to be exemplars of unconscious visual processes. However, researchers have recently argued that blindsight is not really a kind of uncon- scious vision but is rather severely degraded conscious vision. Morten Overgaard and col- leagues have recently developed new methods for measuring the visibility of visual stimuli. Studies using these methods show that reported clarity of visual stimuli correlates with accuracy in both normal individuals and blindsight patients. Vision for action has also come under (...) scrutiny. Recent findings seem to show that information processed by the dor- sal stream for online action contributes to visual awareness. Some interpret these results as showing that some dorsal stream processes are conscious visual processes (e.g., Gallese, 2007; Jacob & Jeannerod, 2003). The aim of this paper is to provide new support for the more traditional view that blindsight and vision for action are genuinely unconscious per- ceptual processes. I argue that individuals with blindsight do not have access to the kind of purely qualitative color and size information which normal individuals do. So, even though people with blindsight have a kind of cognitive consciousness, visual information process- ing in blindsight patients is not associated with a distinctly visual phenomenology. I argue further that while dorsal stream processing seems to contribute to visual awareness, only information processed by the early dorsal stream (V1, V2, and V3) is broadcast to working memory. Information processed by later parts of the dorsal stream (the parietal lobe) never reaches working memory and hence does not correlate with phenomenal awareness. I con- clude that both blindsight and vision for action are genuinely unconscious visual processes. (shrink)

John Corcoran. 1979 Review of Hintikka and Remes. The Method of Analysis (Reidel, 1974). Mathematical Reviews 58 3202 #21388. -/- The “method of analysis” is a technique used by ancient Greek mathematicians (and perhaps by Descartes, Newton, and others) in connection with discovery of proofs of difficult theorems and in connection with discovery of constructions of elusive geometric figures. Although this method was originally applied in geometry, its later application to number played an important role in the early development of (...) algebra [Jacob Klein, English translation, Greek mathematical thought and the origin of algebra, especially pp. 154–157, M.I.T. Press, Cambridge, Mass., 1968]. -/- It is universally agreed that the method of analysis begins by “assuming the thing sought after” (e.g., in geometry, the truth of the proposition to be proved or the existence of the geometric figure to be constructed). Aside from this, little else can be taken for granted. There is disagreement concerning the “direction of analysis”, i.e. whether one is to seek implications of the assumption or whether one is to seek implicants of it. There is also disagreement concerning what is to be “anatomized” (analyzed), i.e., whether one analyzes mathematical objects (figures), mathematical propositions (the axioms, known theorems, and analytic assumption) or an imagined proof (of the analytic assumption from axioms and known theorems). (shrink)

The paper delves into manuscript sources connected with various disputations held at Prague University from around 1390 to 1420 and singles out a set of hitherto unknown quaestiones dealing with the nature of the human intellect and its relation to the body. Prague disputations from around 1400 arguably offer a unique vantage point on late medieval anthropological issues, since they encompass an entanglement of numerous doctrinal influences from Buridanian De anima commentaries to John Wyclif’s theories. The paper delineates several conceptual (...) tensions regarding the nature of the intellect, e.g., between materialism (entailed by the emphasis on the intellect’s inherence in the body) and personal immortality. It presents several strategies Prague masters employed to overcome these tensions. For example, an anonymous participant of the 1409 quodlibet develops the Buridanian distinction between the rationally demonstrable materialist tendency and the indemonstrable “catholic truth” about the intellect both inhering in and separable from the body. On the other hand, Wyclif’s adherents (Jacob of Mies and another anonymous master) postulate an immortal spirit hypostatically united to each human being beside the human soul educed from the potency of the matter. Yet, the boundaries between the doctrinal standpoints in question seem permeable, whereby a rigid definition of antagonistic groups in late medieval Prague intellectual milieu (e.g., Buridanians vs Wycliffites) is rendered ineffective. (shrink)

As a senior physicist colleague and our friend, Robert N. Boyd, wrote in a journal (JCFA, Vol. 1,. 2, 2022), Our universe is but one page in a large book [4]. For example, things and Beings can travel between Universes, intentionally or unintentionally. In this short remark, we revisit and offer short remark to Neil’s ideas and trying to connect them with geometrization of musical chords as presented by D. Tymoczko and others, then to Escher staircase and then to Jacob’s (...) ladder which seems to point to possibility to interpret Jacob’s vision as described in the ancient book of Genesis as inter dimensional or heavenly staircase, e.g. an inter dimensional bridge between heaven and earth (see also classic book: Hofstadter, Godel, Escher, Bach). Jacob’s vision of angels going down to earth from that staircase has been depicted for instance in William Blake art etc. In our communication with others via physics literature and discussions etc, we came to several conclusions as follows: Firstly, possibility of quantum wormhole effect to mirror particle universe, which sometimes it is termed non-orientable wormhole. While such mirror particles effect have been more than 50 years predicted with the so-called parity violation (cf. Lee & Yang, 1950s), and that is called symmetry breaking. Secondly, a series of extended experiments on laser irradiated cold water may suggest possible transition from a phase of water to be at least partially fourth phase of water, which may be composed of crystalline water (see e.g. Gerald Pollack, and also Harold Aspden on liquid crystalline). If we can imagine laser cooling effect can be done in protracted time, then we can achieve a physical representation of Aspden’s liquid crystalline. Therefore, in subsequent article (Part II) we outlined simple model of such an effect of tunneling via quantum liquid crystalline Universe, which may likely be modeled with iced-water. It is interesting to remark here that certain experiments by Stockholm University scientists have shown that X-ray triggered water can exhibit properties just like liquid crystal (cf. PRL, 2020). That is why we consider it possible that there can be quantum phase transition where liquid water (comprised of iced cubes and water) can exhibit effects such as tunneling in quantum liquid crystalline Universe. Last but not least, we admit that what we outlined here is just an initial phase; and if you wish, perhaps we can call such experiments as “wormhole-at-lab” experiments (abbreviated: WHALE). (shrink)

The present article was partly inspired by G. Pollack’s book, and also Dadoloff, Saxena & Jensen (2010). As a senior physicist colleague and our friend, Robert N. Boyd, wrote in a journal (JCFA, Vol. 1, No. 2, 2022), for example, things and Beings can travel between Universes, intentionally or unintentionally [4]. In this short remark, we revisit and offer short remark to Neil Boyd’s ideas and trying to connect them with geometry of musical chords as presented by D. Tymoczko and (...) others, then to Escherian staircase and then to Jacob’s ladder which seems to pointto possibility to interpret Jacob’s vision as described in the ancient book of Genesis as interdimensional staircase, e.g. an interdimensional bridge between heaven and earth (cf. classic book: Hofstadter, Godel, Escher, Bach). Jacob’s vision of angels going down to earth from that staircase has been depicted for instance in William Blake art etc. In our communication with others via physics literature and discussions etc, we came to several conclusions as follows: Firstly, possibility of wormhole effect to mirror particle universe, which sometimes it is termed non-orientable wormhole. While such mirror particles effect have been more than 50 years predicted with the so-called parity violation (cf. Lee & Yang, 1950s), and that is called symmetry breaking. Secondly, a series of extended experiments on laser irradiated cold water may suggest possible transition from a phase of water to be at least partially fourth phase of water, which may be composed of crystalline water (see e.g. Gerald Pollack, and also Harold Aspden on liquid crystalline). If we can imagine laser cooling effect can be done in protracted time, then we can achieve a physical representation of Aspden‘s liquid crystalline. Therefore, in this article we outline a series of simple experiments of laser irradiated iced-water along with beryl and selenite crystals in order to see possibility of such a quantum tunneling via quantum liquid crystalline Universe hypothesis, which may likely be modeled with iced-water. It is interesting to remark here that certain experiments by Stockholm University scientists have shown that X-ray triggered water can exhibit properties just like liquid crystal (cf. PRL, 2020). That is why we consider it possible that there can be quantum phase transition where liquid water (comprised of iced cubes and water) can exhibit effects such as tunneling in quantum liquid crystalline Universe. Last but not least, we admit that what we outlined here is just aninitial phase; and if you wish, perhaps we can call such experiments as “wormhole-at-lab” experiments (abbreviated: WHALE). (shrink)

It seems intuitively obvious that metameric matching of color samples entails a loss of information, for spectrophotometrically diverse materials appear the same. This intuition implicitly relies on a conception of the function of color vision and on a related conception of how color samples should be individuated. It assumes that the function of color vision is to distinguish among spectral energy distributions, and that color samples should be individuated by their physical properties. I challenge these assumptions by articulating a different (...) conception of the function of color vision, according to which color vision serves to partition object surfaces into discrimination classes. (shrink)

This essay challenges the widely accepted principle that a person is morally responsible for what he has done only if he could have done otherwise. The author considers situations in which there are sufficient conditions for a certain choice or action to be performed by someone, So that it is impossible for the person to choose or to do otherwise, But in which these conditions do not in any way bring it about that the person chooses or acts as he (...) does. In such situations the person may well be morally responsible for what he chooses or does despite his inability to choose or to do otherwise. Finally the author considers certain suggestions for revising the principle he rejects or for replacing it with a principle of an altogether different kind. (shrink)

Robustness is a common platitude: hypotheses are better supported with evidence generated by multiple techniques that rely on different background assumptions. Robustness has been put to numerous epistemic tasks, including the demarcation of artifacts from real entities, countering the “experimenter’s regress,” and resolving evidential discordance. Despite the frequency of appeals to robustness, the notion itself has received scant critique. Arguments based on robustness can give incorrect conclusions. More worrying is that although robustness may be valuable in ideal evidential circumstances (i.e., (...) when evidence is concordant), often when a variety of evidence is available from multiple techniques, the evidence is discordant. †To contact the author, please write to: Jacob Stegenga, Department of Philosophy, University of California, San Diego, 9500 Gilman Drive, La Jolla, CA 92093; e‐mail: [email protected]. (shrink)

The author Jacob Roman (Parr) provides commentary and line by line analysis of 218b10 through 223a23 , which is of Aristotle's Physica . -/- written in 2023 .

Aristotle offers several arguments in Physics viii.8 for his thesis that, when something moves back and forth, it does not undergo a single motion. These arguments occur against the background of a sophisticated theory, expounded in Physics v—vi, of the basic structure of motions and of other continuous entities such as times and magnitudes. The arguments in Physics viii.8 stand in a complex relation to that theory. On the one hand, Aristotle evidently relies on the theory in a number of (...) crucial steps. Yet in other steps he seems to contradict or misapply the theory. This situation offers the occasion to examine Aristotle’s views about some fundamentals in the metaphysics of motion, while also raising questions about the unity of the text which has come down to us as the Physics. (shrink)

Ethical decision-making frameworks assist in identifying the issues at stake in a particular setting and thinking through, in a methodical manner, the ethical issues that require consideration as well as the values that need to be considered and promoted. Decisions made about the use, sharing, and re-use of big data are complex and laden with values. This paper sets out an Ethics Framework for Big Data in Health and Research developed by a working group convened by the Science, Health and (...) Policy-relevant Ethics in Singapore Initiative. It presents the aim and rationale for this framework supported by the underlying ethical concerns that relate to all health and research contexts. It also describes a set of substantive and procedural values that can be weighed up in addressing these concerns, and a step-by-step process for identifying, considering, and resolving the ethical issues arising from big data uses in health and research. This Framework is subsequently applied in the papers published in this Special Issue. These papers each address one of six domains where big data is currently employed: openness in big data and data repositories, precision medicine and big data, real-world data to generate evidence about healthcare interventions, AI-assisted decision-making in healthcare, public-private partnerships in healthcare and research, and cross-sectoral big data. (shrink)

The phenomenon of disagreement has recently been brought into focus by the debate between contextualists and relativist invariantists about epistemic expressions such as ‘might’, ‘probably’, indicative conditionals, and the deontic ‘ought’. Against the orthodox contextualist view, it has been argued that an invariantist account can better explain apparent disagreements across contexts by appeal to the incompatibility of the propositions expressed in those contexts. This paper introduces an important and underappreciated phenomenon associated with epistemic expressions — a phenomenon that we call (...) reversibility. We argue that the invariantist account of disagreement is incompatible with reversibility, and we go on to show that reversible sentences cast doubt on the putative data about disagreement, even without assuming invariantism. Our argument therefore undermines much of the motivation for invariantism, and provides a new source for constraints on the proper explanation of purported data about disagreement. (shrink)

The predominant view is that a study using health data is observational research and should require individual consent unless it can be shown that gaining consent is impractical. But recent arguments have been made that citizens have an ethical obligation to share their health information for research purposes. In our view, this obligation is sufficient ground to expand the circumstances where secondary use research with identifiable health information is permitted without explicit subject consent. As such, for some studies the Institutional (...) Review Board/Research Ethics Committee review process should not assess the practicality of gaining consent for data use. Instead the review process should focus on assessing the public good of the research, public engagement and transparency. (shrink)

In defending his interest-relative account of knowledge in Knowledge and Practical Interests (2005), Jason Stanley relies heavily on intuitions about several bank cases. We experimentally test the empirical claims that Stanley seems to make concerning our common-sense intuitions about these bank cases. Additionally, we test the empirical claims that Jonathan Schaffer seems to make in his critique of Stanley. We argue that our data impugn what both Stanley and Schaffer claim our intuitions about such cases are. To account for these (...) results, one must develop a better conception of the connection between a subject's interests and her body of knowledge than those offered by Stanley and Schaffer. (shrink)

Simple idealized models seem to provide more understanding than opaque, complex, and hyper-realistic models. However, an increasing number of scientists are going in the opposite direction by utilizing opaque machine learning models to make predictions and draw inferences, suggesting that scientists are opting for models that have less potential for understanding. Are scientists trading understanding for some other epistemic or pragmatic good when they choose a machine learning model? Or are the assumptions behind why minimal models provide understanding misguided? In (...) this paper, using the case of deep neural networks, I argue that it is not the complexity or black box nature of a model that limits how much understanding the model provides. Instead, it is a lack of scientific and empirical evidence supporting the link that connects a model to the target phenomenon that primarily prohibits understanding. (shrink)

In debates over the regulation of communication related to dual-use research, the risks that such communication creates must be weighed against against the value of scientific autonomy. The censorship of such communication seems justifiable in certain cases, given the potentially catastrophic applications of some dual-use research. This conclusion however, gives rise to another kind of danger: that regulators will use overly simplistic cost-benefit analysis to rationalize excessive regulation of scientific research. In response to this, we show how institutional design principles (...) and normative frameworks from free speech theory can be used to help extend the argument for regulating dangerous dual-use research beyond overly simplistic cost-benefit reasoning, but without reverting to an implausibly absolutist view of scientific autonomy. (shrink)

In this paper, I aim to show that agency-based accounts of moral status are more plausible than many have previously thought. I do this by developing a novel account of moral status that takes agency, understood as the capacity for intentional action, to be the necessary and sufficient condition for the possession of moral status. This account also suggests that the capacities required for sentience entail the possession of agency, and the capacities required for agency, entail the possession of sentience. (...) Thus on this account sentient beings possess agency and agents possess sentience. If this is correct, it will show that an Agency Account of moral status can offer a plausible defence of the moral status of all sentient beings, something that previous Agency Accounts have not succeeded in doing. What is more, this account could establish that all sentient animals are not just moral status holders per se, but that they are owed pro tanto obligations regarding continued existence and liberty, similar in kind, though not always in strength, to those owed to humans. (shrink)

Different notions of the consistency of obligations collapse in standard deontic logic. In justification logics, which feature explicit reasons for obligations, the situation is different. Their strength depends on a constant specification and on the available set of operations for combining different reasons. We present different consistency principles in justification logic and compare their logical strength. We propose a novel semantics for which justification logics with the explicit version of axiom D, jd⁠, are complete for arbitrary constant specifications. Consistency is (...) sometimes formulated in terms of permission. We therefore study permission in the context of justification logic, introducing a notion of free-choice permission for the first time. We then discuss the philosophical implications with regard to some deontic paradoxes. (shrink)

The future of health research will be characterised by three continuing trends: rising demand for health data; increasing impracticability of obtaining specific consent for secondary research; and decreasing capacity to effectively anonymise data. In this context, governments, clinicians and the research community must demonstrate that they can be responsible stewards of health data. IRBs and RECs sit at heart of this process because in many jurisdictions they have the capacity to grant consent waivers when research is judged to be of (...) particular value. However, several different terms are used to refer to this value, indicating a lack of conceptual clarity regarding the appropriate test for access to health data for research without consent. In this paper we do three things. First we describe the current confusion and instability in terminology relating to public interest in the context of consent waivers. Second we argue for harmonisation of terminology on the grounds of clarity, transparency and consistency. Third we argue that the term ‘public interest’ best reflects the normative work required to justify consent waivers because it is the broadest of the competing terms. ‘Public interest’ contains within its scope positive and negative implications of a study, as well as welfare, justice and rights considerations. In making this argument, we explain the normative basis for consent waivers, and provide a starting place for further discussion about the precise conditions in which a given study can be said to advance the public interest. Ipsos MORI study found that: … the public would be broadly happy with administrative data linking for research projects provided Those projects have social value, broadly defined. Data are de-identified. Data are kept secure. Businesses are not able to access the data for profit. (shrink)

This article investigates the claim that some truths are fundamentally or really true — and that other truths are not. Such a distinction can help us reconcile radically minimal metaphysical views with the verities of common sense. I develop an understanding of the distinction whereby Fundamentality is not itself a metaphysical distinction, but rather a device that must be presupposed to express metaphysical distinctions. Drawing on recent work by Rayo on anti-Quinean theories of ontological commitments, I formulate a rigourous theory (...) of the notion. In the final sections, I show how this package dovetails with ' interpretationist' theories of meaning to give sober content to thought that some things — perhaps sets, or gerrymandered mereological sums — can be 'postulated into existence'. (shrink)

In the present interview, Jacob Rogozinski elucidates the main concepts and theses he developed in his latest book dedicated to the issue of modern jihadism. On this occasion, he explains his disagreements with other philosophical (Badiou, Baudrillard, Žižek) and anthropological (Girard) accounts of Islamic terrorism. Rogozinski also explains that although jihadism betrays Islam, it nonetheless has everything to do with Islam. Eventually, he describes his own philosophical journey which led him from a phenomenological study of the ego and the flesh (...) to the study of past (witch-hunts, French Reign of Terror) and contemporary (jihadism) terror apparatuses. (shrink)

This paper examines two puzzles of indeterminacy. The first puzzle concerns the hypothesis that there is a unified phenomenon of indeterminacy. How are we to reconcile this with the apparent diversity of reactions that indeterminacy prompts? The second puzzle focuses narrowly on borderline cases of vague predicates. How are we to account for the lack of theoretical consensus about what the proper reaction to borderline cases is? I suggest (building on work by Maudlin) that the characteristic feature of indeterminacy is (...) alethic normative silence, and use this to explain both plurality and lack of consensus. (shrink)

This article gives two arguments for believing that our society is unknowingly guilty of serious, large-scale wrongdoing. First is an inductive argument: most other societies, in history and in the world today, have been unknowingly guilty of serious wrongdoing, so ours probably is too. Second is a disjunctive argument: there are a large number of distinct ways in which our practices could turn out to be horribly wrong, so even if no particular hypothesized moral mistake strikes us as very likely, (...) the disjunction of all such mistakes should receive significant credence. The article then discusses what our society should do in light of the likelihood that we are doing something seriously wrong: we should regard intellectual progress, of the sort that will allow us to find and correct our moral mistakes as soon as possible, as an urgent moral priority rather than as a mere luxury; and we should also consider it important to save resources and cultivate flexibility, so that when the time comes to change our policies we will be able to do so quickly and smoothly. (shrink)

Through the lens of feminist speech act theory, this paper argues that artificial intelligence romance systems objectify and subordinate nonvirtual women. AI romance systems treat their users as consumers, offering them relational invulnerability and control over their (usually feminized) digital romantic partner. This paper argues that, though the output of AI chatbots may not generally constitute speech, the framework offered by an AI romance system communicates an unjust perspective on intimate relationships. Through normalizing controlling one’s intimate partner, these systems operate (...) as speakers that rank women as non-player characters and license their oppression, which is unjust even in the absence of empirical harms. Understanding AI romance systems as speakers has implications for policymakers. First, this account helps close the so-called responsibility gap in the operation of an AI system. Second, it places these systems under the purview of institutions’ policies regarding hate speech, suggesting one avenue for arguing that these systems may violate extant policies. Finally, it provides support for the pursuit of empirical research into AI romance systems’ effects on users. (shrink)

A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established. As an application, an analog of Herbrand’s theorem for the four-valued knowledge-representation logic of Belnap and Ginsberg is presented. It is indicated how this theorem can be used for reasoning about knowledge bases with incomplete and inconsistent information.

A recent controversy over the US National Science Advisory Board for Biosecurity's recommendation to censor two publications on genetically modified H5N1 avian influenza has generated concern over the threat to scientific freedom such censorship presents. In this paper, I argue that in the case of these studies, appeals to scientific freedom are not sufficient to motivate a rejection of censorship. I then use this conclusion to draw broader concerns about the ethics of dual-use research.

The prevalent views of animal liberty among animal advocates suggest that liberty is merely instrumentally valuable and invasive paternalism is justified. In contrast to this popular view, I argue that liberty is intrinsically good for animals. I suggest that animal well-being is best accommodated by an Objective List Theory and that liberty is an irreducible component of animal well-being. As such, I argue that it is good for animals to possess liberty even if possessing liberty does not contribute towards their (...) subjective well-being, and even in some cases where it has a negative effect upon their subjective well-being. To establish this view I argue that if animals are agents, as I assume they are, then like humans they must be able to determine the course of their own lives (to some extent). Further, having the opportunity to self-determine one’s life just is the very same thing as liberty, and having the opportunity to determine the course of one’s life is intrinsically good. Thus liberty has intrinsic value for humans and animals. So, in addition to the instrumental harms of having one’s liberty restricted, I claim that restricting animals’ liberty in principle harms them because it undermines their capacity for self-determination and fails to acknowledge their authority as agents to make their own choices. (shrink)

A construction principle for natural deduction systems for arbitrary, finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent calculi, which in turn can be automatically extracted from the truth tables of the logics under consideration. Soundness and cut-free completeness of these sequent calculi translate into soundness, completeness, and normal-form theorems for natural deduction systems.

Bernard Williams argues that human mortality is a good thing because living forever would necessarily be intolerably boring. His argument is often attacked for unfoundedly proposing asymmetrical requirements on the desirability of living for mortal and immortal lives. My first aim in this paper is to advance a new interpretation of Williams' argument that avoids these objections, drawing in part on some of his other writings to contextualize it. My second aim is to show how even the best version of (...) his argument only supports a somewhat weaker thesis: it may be possible for some people with certain special psychological features to enjoy an immortal life, but no one has good reason to bet on being such a person. (shrink)

The paper argues, as against Thau and Caplan, that the traditional interpretation that Frege abandoned his earlier views about identity and identity--statements is correct.

This paper compares two alternative explanations of pragmatic encroachment on knowledge (i.e., the claim that whether an agent knows that p can depend on pragmatic factors). After reviewing the evidence for such pragmatic encroachment, we ask how it is best explained, assuming it obtains. Several authors have recently argued that the best explanation is provided by a particular account of belief, which we call pragmatic credal reductivism. On this view, what it is for an agent to believe a proposition is (...) for her credence in this proposition to be above a certain threshold, a threshold that varies depending on pragmatic factors. We show that while this account of belief can provide an elegant explanation of pragmatic encroachment on knowledge, it is not alone in doing so, for an alternative account of belief, which we call the reasoning disposition account, can do so as well. And the latter account, we argue, is far more plausible than pragmatic credal reductivism, since it accords far better with a number of claims about belief that are very hard to deny. (shrink)

The purpose of this note is to present a strong form of the liar paradox. It is strong because the logical resources needed to generate the paradox are weak, in each of two senses. First, few expressive resources required: conjunction, negation, and identity. In particular, this form of the liar does not need to make any use of the conditional. Second, few inferential resources are required. These are: (i) conjunction introduction; (ii) substitution of identicals; and (iii) the inference: From ¬(p (...) ∧ p), infer ¬ p. It is, interestingly enough, also essential to the argument that the ‘strong’ form of the diagonal lemma be used: the one that delivers a term λ such that we can prove: λ = ¬ T(⌈λ⌉); rather than just a sentence Λ for which we can prove: Λ ≡ ¬T(⌈Λ⌉). The truth-theoretic principles used to generate the paradox are these: ¬(S ∧ T(⌈¬S⌉); and ¬(¬S ∧ ¬T(⌈¬S⌉). These are classically equivalent to the two directions of the T-scheme, but they are intuitively weaker. The lesson I would like to draw is: There can be no consistent solution to the Liar paradox that does not involve abandoning truth-theoretic principles that should be every bit as dear to our hearts as the T-scheme. So we shall have to learn to live with the Liar, one way or another. (shrink)

In the classical Turing test, participants are challenged to tell whether they are interacting with another human being or with a machine. The way the interaction takes place is not direct, but a distant conversation through computer screen messages. Basic forms of interaction are face-to-face and embodied, context-dependent and based on the detection of reciprocal sensorimotor contingencies. Our idea is that interaction detection requires the integration of proprioceptive and interoceptive patterns with sensorimotor patterns, within quite short time lapses, so that (...) they appear as mutually contingent, as reciprocal. In other words, the experience of interaction takes place when sensorimotor patterns are contingent upon one’s own movements, and vice versa. I react to your movement, you react to mine. When I notice both components, I come to experience an interaction. Therefore, we designed a “minimal” Turing test to investigate how much information is required to detect these reciprocal sensorimotor contingencies. Using a new version of the perceptual crossing paradigm, we tested whether participants resorted to interaction detection to tell apart human from machine agents in repeated encounters with these agents. In two studies, we presented participants with movements of a human agent, either online or offline, and movements of a computerized oscillatory agent in three different blocks. In each block, either auditory or audiovisual feedback was provided along each trial. Analysis of participants’ explicit responses and of the implicit information subsumed in the dynamics of their series will reveal evidence that participants use the reciprocal sensorimotor contingencies within short time windows. For a machine to pass this minimal Turing test, it should be able to generate this sort of reciprocal contingencies. (shrink)