Peano arithmetic cannot serve as the ground of mathematics for it is inconsistent to infinity, and infinity is necessary for its foundation. Though Peano arithmetic cannot be complemented by any axiom of infinity, there exists at least one (logical) axiomatics consistent to infinity. That is nothing else than a new reading at issue and comparative interpretation of Gödel’s papers (1930; 1931) meant here. Peano arithmetic admits anyway generalizations consistent to infinity and thus to some addable axiom(s) of (...) infinity. The most utilized example of those generalizations is the complex Hilbert space. Any generalization of Peano arithmetic consistent to infinity, e.g. the complex Hilbert space, can serve as a foundation for mathematics to found itself and by itself. (shrink)

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

Can the so-ca\led first incompleteness theorem refer to itself? Many or maybe even all the paradoxes in mathematics are connected with some kind of self-reference. Gбdel built his proof on the ground of self-reference: а statement which claims its unprovabllity. So, he demonstrated that undecidaЬle propositions exist in any enough rich axiomatics (i.e. such one which contains Peano arithmetic in some sense). What about the decidabllity of the very first incompleteness theorem? We can display that it fulfills its conditions. (...) That's why it can Ье applied to itself, proving that it is an undecidaЬle statement. It seems to Ье а too strange kind of proposition: its validity implies its undecidabllity. If the validity of а statement implies its untruth, then it is either untruth (reductio ad absurdum) or an antinomy (if also its negation implies its validity). А theory that contains а contradiction implies any statement. Appearing of а proposition, whose validity implies its undecidabllity, is due to the statement that claims its unprovability. Obviously, it is а proposition of self-referential type. Ву Gбdel's words, it is correlative with Richard's or liar paradox, or even with any other semantic or mathematical one. What is the cost, if а proposition of that special kind is used in а proof? ln our opinion, the price is analogous to «applying» of а contradictory in а theory: any statement turns out to Ье undecidaЬ!e. Ifthe first incompleteness theorem is an undecidaЬ!e theorem, then it is impossiЬle to prove that the very completeness of Peano arithmetic is also an tmdecidaЬle statement (the second incompleteness theorem). Hilbert's program for ап arithmetical self-foundation of matheшatics is partly rehabllitated: only partly, because it is not decidaЬ!e and true, but undecidaЬle; that's wby both it and its negation шау Ье accepted as true, however not siшultaneously true. The first incompleteness theoreш gains the statute of axiom of а very special, semi-philosophical kind: it divides mathematics as whole into two parts: either Godel шathematics or Нilbert matheшatics. Нilbert's program of self-foundation ofmatheшatic is valid only as to the latter. (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have (...) been expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

Abstractionism in the philosophy of mathematics aims at deriving large fragments of mathematics by combining abstraction principles (i.e. the abstract objects $\S e_1, \S e_2$, are identical if, and only if, an equivalence relation $Eq_\S$ holds between the entities $e_1, e_2$) with logic. Still, as highlighted in work on the semantics for relevant logics, there are different ways theories might be combined. In exactly what ways must logic and abstraction be combined in order to get interesting mathematics? In this paper, (...) we investigate the matter by deriving the axioms of second-order Peano Arithmetic from Frege's Basic Law V (the extension of $F$ is identical with the extension of $G$ if, and only if, $F$ and $G$ are extensionally equivalent) in the presence of a relevant higher-order logic. The results are interesting. Not only must we take on logic as true, and not only must we apply our logic to abstraction principles, but also we have to apply our theory of abstraction back to the logic in order to arrive at arithmetic. Thus, what Abstractionism gives us is not simply what we get from abstraction via logic, but also what we get from logic via abstraction. (shrink)

Two concepts of utmost importance for the analytic philosophy of the twentieth century, “sense-data” and “knowledge by acquaintance”, were introduced by Bertrand Russell under the influence of two idealist philosophers: F. H. Bradley and Alexius Meinong. This paper traces the exact history of their introduction. We shall see that between 1896 and 1898, Russell had a fully-elaborated theory of “sense-data”, which he abandoned after his analytic turn of the summer of 1898. Furthermore, following a subsequent turn of August 1900—-after he (...) became acquainted with the works of Peano and later of Frege—-Russell gradually developed another theory of sense-data. With the collaboration of G. E. Moore, Russell reintroduced the term “sense-data” in 1911. Concomitantly with this move, Russell introduced the epistemological term “knowledge by acquaintance”, which came to designate the grasping of sense-data and universals. (shrink)

It is commonly thought that such topics as Impossibility, Incompleteness, Paraconsistency, Undecidability, Randomness, Computability, Paradox, Uncertainty and the Limits of Reason are disparate scientific physical or mathematical issues having little or nothing in common. I suggest that they are largely standard philosophical problems (i.e., language games) which were resolved by Wittgenstein over 80 years ago. -/- Wittgenstein also demonstrated the fatal error in regarding mathematics or language or our behavior in general as a unitary coherent logical ‘system,’ rather than as (...) a motley of pieces assembled by the random processes of natural selection. “Gödel shows us an unclarity in the concept of ‘mathematics’, which is indicated by the fact that mathematics is taken to be a system” and we can say (contra nearly everyone) that is all that Gödel and Chaitin show. Wittgenstein commented many times that ‘truth’ in math means axioms or the theorems derived from axioms, and ‘false’ means that one made a mistake in using the definitions, and this is utterly different from empirical matters where one applies a test. Wittgenstein often noted that to be acceptable as mathematics in the usual sense, it must be useable in other proofs and it must have real world applications, but neither is the case with Godel’s Incompleteness. Since it cannot be proved in a consistent system (here Peano Arithmetic but a much wider arena for Chaitin), it cannot be used in proofs and, unlike all the ‘rest’ of PA it cannot be used in the real world either. As Rodych notes “…Wittgenstein holds that a formal calculus is only a mathematical calculus (i.e., a mathematical language-game) if it has an extra- systemic application in a system of contingent propositions (e.g., in ordinary counting and measuring or in physics) …” Another way to say this is that one needs a warrant to apply our normal use of words like ‘proof’, ‘proposition’, ‘true’, ‘incomplete’, ‘number’, and ‘mathematics’ to a result in the tangle of games created with ‘numbers’ and ‘plus’ and ‘minus’ signs etc., and with -/- ‘Incompleteness’ this warrant is lacking. Rodych sums it up admirably. “On Wittgenstein’s account, there is no such thing as an incomplete mathematical calculus because ‘in mathematics, everything is algorithm [and syntax] and nothing is meaning [semantics]…” -/- I make some brief remarks which note the similarities of these ‘mathematical’ issues to economics, physics, game theory, and decision theory. -/- Those wishing further comments on philosophy and science from a Wittgensteinian two systems of thought viewpoint may consult my other writings -- Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle 2nd ed (2019), Suicide by Democracy 4th ed (2019), The Logical Structure of Human Behavior (2019), The Logical Structure of Consciousness (2019, Understanding the Connections between Science, Philosophy, Psychology, Religion, Politics, and Economics and Suicidal Utopian Delusions in the 21st Century 5th ed (2019), Remarks on Impossibility, Incompleteness, Paraconsistency, Undecidability, Randomness, Computability, Paradox, Uncertainty and the Limits of Reason in Chaitin, Wittgenstein, Hofstadter, Wolpert, Doria, da Costa, Godel, Searle, Rodych, Berto, Floyd, Moyal-Sharrock and Yanofsky (2019), and The Logical Structure of Philosophy, Psychology, Sociology, Anthropology, Religion, Politics, Economics, Literature and History (2019). (shrink)

The boundless nature of the natural numbers imposes paradoxically a high formal bound to the use of standard artificial computer programs for solving conceptually challenged problems in number theory. In the context of the new cognitive foundations for mathematics' and physics' program immersed in the setting of artificial mathematical intelligence, we proposed a refined numerical system, called the physical numbers, preserving most of the essential intuitions of the natural numbers. Even more, this new numerical structure additionally possesses the property of (...) being a bounded object allowing us to work with quite similar axioms like the classic Peano axioms, but in a finite environment and with an enriched physical dimension. Finally, we present several enlightening examples and we conclude that the physical numbers provide a natural formal setting for approaching classic problems in number theory from a more hybrid perspective, i.e. with a potential participation in the generation of solutions, not only of working mathematicians but also of more sophisticated artificial interactive (mathematical) intelligent agents (within the context of cognitive-computational metamathematics or artificial mathematical intelligence) and more controlled by physically-inspired principles. Finally, this paper addresses a highly new, bottom-up and paradigm-shifting approach to the foundations of physics: One should refine and improve the conceptual formal setting of the language that we use for understanding physical phenomena (e.g. the mathematical grounding concepts and theories) for being able to understand better more subtle and complex physical phenomena. (shrink)

The current prevailing view is that participation in biomedical research is above and beyond the call of duty. While some commentators have offered reasons against this, we propose a novel public goods argument for an obligation to participate in biomedical research. Biomedical knowledge is a public good, available to any individual even if that individual does not contribute to it. Participation in research is a critical way to support an important public good. Consequently, all have a duty to participate. The (...) current social norm is that individuals participate only if they have a good reason to do so. The public goods argument implies that individuals should participate unless they have a good reason not to. Such a shift would be of great aid to the progress of biomedical research, eventually making society significantly healthier and longer lived. (shrink)

The COVID-19 pandemic revealed numerous weaknesses in pandemic preparedness and response, including underfunding, inadequate surveillance, and inequitable distribution of countermeasures. To overcome these weaknesses for future pandemics, WHO released a zero draft of a pandemic treaty in February, 2023, and subsequently a revised bureau's text in May, 2023. COVID-19 made clear that pandemic prevention, preparedness, and response reflect choices and value judgements. These decisions are therefore not a purely scientific or technical exercise, but are fundamentally grounded in ethics. The latest (...) treaty draft reflects these ethical considerations by including a section entitled Guiding Principles and Approaches. Most of these principles are ethical—they establish core values that undergird the treaty. Unfortunately, the treaty draft's set of principles are numerous, overlapping, and show inadequate coherence and consistency. We propose two improvements to this section of the draft pandemic treaty. First, key guiding ethical principles should be clearer and more precise than they currently are. Second, the link between ethical principles and policy implementation should be clearly established and define boundaries on acceptable interpretation, ensuring that signatories abide by these principles. (shrink)

It has recently been argued that reproductive genetic manipulation technologies like mitochondrial replacement and germline CRISPR modifications cannot be said to save anyone’s life because, counterfactually, no one would suffer more or die sooner absent the intervention. The present article argues that, on the contrary, reproductive genetic manipulations may be life-saving (and, from this, have therapeutic value) under an appropriate population health perspective. As such, popular reports of reproductive genetic manipulations potentially saving lives or preventing disease are not necessarily mistaken, (...) though such terminology still requires further empirical validation. (shrink)

As opposed to a ‘one size fits all’ approach, precision medicine uses relevant biological, medical, behavioural and environmental information about a person to further personalize their healthcare. This could mean better prediction of someone’s disease risk and more effective diagnosis and treatment if they have a condition. Big data allows for far more precision and tailoring than was ever before possible by linking together diverse datasets to reveal hitherto-unknown correlations and causal pathways. But it also raises ethical issues relating to (...) the balancing of interests, viability of anonymization, familial and group implications, as well as genetic discrimination. This article analyses these issues in light of the values of public benefit, justice, harm minimization, transparency, engagement and reflexivity and applies the deliberative balancing approach found in theEthical Framework for Big Data in Health and Research to a case study on clinical genomic data sharing. Please refer to that article for an explanation of how this framework is to be used, including a full explanation of the key values involved and the balancing approach used in the case study at the end. Our discussion is meant to be of use to those involved in the practice as well as governance and oversight of precision medicine to address ethical concerns that arise in a coherent and systematic manner. (shrink)

Aristotle argued that you need some wealth to live well. The Stoics argued that you could live well with or without wealth. But the Cynics argued that wealth is a hinderance. For the Cynics, a good life consists in self-sufficiency, or being able to rule and help yourself. You accomplish this by living simply and naturally, and by subjecting yourself to rigorous philosophical exercises. Cynics confronted people to get them to abandon extraneous possessions and positions of power to live better. (...) And while the Cynics were experts in living in this way, their ascetic lifestyles made their message curious to some audiences. This paper reflects on Cynic ascetic practices and the ways others perceived them. (shrink)

Background Several jurisdictions, including Singapore, Australia, New Zealand and most recently Ireland, have a public interest or public good criterion for granting waivers of consent in biomedical research using secondary health data or tissue. However, the concept of the public interest is not well defined in this context, which creates difficulties for institutions, institutional review boards and regulators trying to implement the criterion. Main text This paper clarifies how the public interest criterion can be defensibly deployed. We first explain the (...) ethical basis for requiring waivers to only be granted to studies meeting the public interest criterion, then explore how further criteria may be set to determine the extent to which a given study can legitimately claim to be in the public interest. We propose an approach that does not attempt to measure magnitude of benefit directly, but rather takes into account metrics that are more straightforward to apply. To ensure consistent and justifiable interpretation, research institutions and IRBs should also incorporate procedural features such as transparency and public engagement in determining which studies satisfy the public interest requirement. Conclusion The requirement of public interest for consent waivers in secondary biomedical research should be guided by well-defined criteria for systematic evaluation. Such a criteria and its application need to be periodically subject to intra-committee and intra-institution review, reflection, deliberation and amendment. (shrink)

Volume 19, Issue 7, July 2019, Page 28-30.

With the recent report of a live birth after use of Mitochondrial replacement therapy, sometimes called ‘Three-parent IVF’, the clinical application of the technique is fast becoming a reality. While the United Kingdom allows the procedure under regulatory scrutiny, it remains effectively outlawed in many other countries. We argue that such prohibitions may violate individuals’ procreative rights, grounded in individuals’ interest in genetic affinity. The interest in genetic affinity was recently endorsed by Singapore’s highest court, reflecting an emphasis on the (...) importance of biological ties found across the globe. We apply that reasoning to make the case for a right to ‘Three-parent IVF’. (shrink)

A gas in a box is perhaps the most important model system studied in thermodynamics and statistical mechanics. Usually, studies focus on the gas, whereas the box merely serves as an idealized confinement. The present article focuses on the box as the central object and develops a thermodynamic theory by treating the geometric degrees of freedom of the box as the degrees of freedom of a thermodynamic system. Applying standard mathematical methods to the thermody- namics of an empty box allows (...) equations with the same structure as those of cosmology and classical and quantum mechanics to be derived. The simple model system of an empty box is shown to have interesting connections to classical mechanics, special relativity, and quantum field theory. (shrink)

Volume 20, Issue 2, February 2020, Page 20-22.

The Four-Colour Theorem (4CT) proof, presented to the mathematical community in a pair of papers by Appel and Haken in the late 1970's, provoked a series of philosophical debates. Many conceptual points of these disputes still require some elucidation. After a brief presentation of the main ideas of Appel and Haken’s procedure for the proof and a reconstruction of Thomas Tymoczko’s argument for the novelty of 4CT’s proof, we shall formulate some questions regarding the connections between the points raised by (...) Tymoczko and some Wittgensteinian topics in the philosophy of mathematics such as the importance of the surveyability as a criterion for distinguishing mathematical proofs from empirical experiments. Our aim is to show that the “characteristic Wittgensteinian invention” (Mühlhölzer 2006) – the strong distinction between proofs and experiments – can shed some light in the conceptual confusions surrounding the Four-Colour Theorem. (shrink)

Given the sordid history of injustices linking genetics to race and ethnicity, considerations of justice are central to ensuring the responsible development of precision medicine programmes around the world. While considerations of justice may be in tension with other areas of concern, such as scientific value or privacy, there are also tensions between different aspects of justice. This paper focuses on three particular aspects of justice relevant to this precision medicine: social justice, distributive justice and human rights. We describe the (...) implications of each for the use of race and ethnicity in precision medicine, and also how they intersect and potentially conflict with each another. By attending to these intersections, we aim to enrich and add nuance to debates over how best to proceed with precision medicine initiatives. (shrink)

Some have objected to human enhancement on the grounds that it violates the autonomy of the enhanced. These objections, however, overlook the interesting possibility that autonomy itself could be enhanced. How, exactly, to enhance autonomy is a difficult problem due to the numerous and diverse accounts of autonomy in the literature. Existing accounts of autonomy enhancement rely on narrow and controversial conceptions of autonomy. However, we identify one feature of autonomy common to many mainstream accounts: reasoning ability. Autonomy can then (...) be enhanced by improving people’s reasoning ability, in particular through cognitive enhancement; given how valuable autonomy is usually taken to be, this gives us extra reason to pursue such cognitive enhancements. Moreover, autonomy-based objections will be especially weak against such enhancements. As we will argue, those who are worried that enhancements will inhibit people’s autonomy should actually embrace those enhancements that will improve autonomy. (shrink)

Moral enhancement is an ostensibly laudable project. Who wouldn’t want people to become more moral? Still, the project’s approach is crucial. We can distinguish between two approaches for moral enhancement: direct and indirect. Direct moral enhancements aim at bringing about particular ideas, motives or behaviors. Indirect moral enhancements, by contrast, aim at making people more reliably produce the morally correct ideas, motives or behaviors without committing to the content of those ideas, motives and/or actions. I will argue, on Millian grounds, (...) that the value of disagreement puts serious pressure on proposals for relatively widespread direct moral enhancement. A more acceptable path would be to focus instead on indirect moral enhancements while staying neutral, for the most part, on a wide range of substantive moral claims. I will outline what such indirect moral enhancement might look like, and why we should expect it to lead to general moral improvement. (shrink)

Two attitudes are possible: one, that the world is an absolute jungle and that the exercise of coercive power by rulers is only a manifestation of this; and the other, that it is both necessary and right that there should be this exercise of power, that through it the world is much less of a jungle than it could possibly be without it, so that one should in principle be glad of the existence of such power, and only take exception (...) to its unjust exercise. (shrink)

This paper aims to show that Godel's ontological argument can be parodied in much the same kind of way in which Gaunilo parodied Anselm's Proslogion argument. The parody in this paper fails; there is a patch provided in "Reply to Gettings" (Analysis 60, 4, 2000, 363-7).

Fichte assigns ‘intellectual intuition’ a new meaning after Kant. But in 1799, his doctrine of intellectual intuition is publicly deemed indefensible by Kant and nihilistic by Jacobi. I propose to defend Fichte’s doctrine against these charges, leaving aside whether it captures what he calls the ‘spirit’ of transcendental idealism. I do so by articulating three problems that motivate Fichte’s redirection of intellectual intuition from being to acting: (1) the regress problem, which states that reflecting on empirical facts of consciousness leads (...) only to further facts and so cannot yield a first principle; (2) the rhapsody problem, which states that the categories form a haphazard set and so lack necessity unless they derive from a first principle; and (3) the nihilism problem, which states that a first principle cannot lie outside our cognition of it, lest it be the cause of our cognition and, being first, the cause of all our actions, reducing us to machines. Crucially, Fichte’s three motivating problems are in fact aspects of a single problem. Leaving any aspect unsolved spoils putative solutions to the other two. Consequently, Fichte requires a single unified solution to all three, which his doctrine of intellectual intuition provides. (shrink)

Kant’s critique/doctrine distinction tracks the difference between a canon for the understanding’s proper use and an organon for its dialectical misuse. The latter reflects the dogmatic use of reason to attain a doctrine of knowledge with no antecedent critique. In the 1790s, Fichte collapses Kant’s distinction and redefines dogmatism. He argues that deriving a canon is essentially dialectical and thus yields an organon: critical idealism is properly a doctrine of science or Wissenschaftslehre. Criticism is furthermore said to refute dogmatism, by (...) which Fichte means Spinozism. Schelling repudiates Fichte’s position in his Philosophical Letters by reviving Kant’s distinction. First, ‘critique’ for Schelling names a canon that is valid for all systems—including Spinozism—and thus favours none—not even the Wissenschaftslehre. Second, Schelling coins ‘dogmaticism’ to refer to what Kant calls ‘dogmatism’: reason’s uncritical claim to doctrine. Hence, he says all systems—even Fichte’s—are susceptible to the ‘enthusiasm’ of mistaking themselves for doctrines or ‘objects of knowledge’, instead of subjectively valid ‘objects of freedom’. I reconstruct Schelling’s argument for reviving Kant’s distinction, while noting two consequences for German idealism. First, if criticism favours no system, a system’s origin cannot be an act of knowledge, e.g., intellectual intuition, but only an act of endorsement. Second, if dogmaticism entails enthusiasm, a system’s goal cannot be absolute knowledge, but only infinite striving. Hence, by retrieving Schelling’s notion of dogmaticism, we can both gain a better understanding of the Letters and register the impact of a core Kantian distinction on the German idealist project. (shrink)

‘Facticity’ is a concept that classical phenomenologists like Heidegger use to denote the radically contingent or underivably brute conditions of intelligibility. Yet Fichte coins the term, to which he gives the opposing use of denoting unacceptably brute conditions of intelligibility. For him, radical contingency is a problem to be solved by deriving such conditions from reason. Heidegger rejects Fichte's recoil from facticity with his hermeneutics of facticity, supplanting Fichte's metaphor of our always being in reason's hand with the metaphor of (...) our always having been thrown. How does Heidegger inherit and diametrically repurpose Fichte's neologism? Whence the reversed meaning of ‘facticity’ in post-Kantian thought? The answer is Lask's doctoral thesis, which exerts an acknowledged impact on Heidegger's habilitation thesis. Lask interprets ‘facticity’ as Fichte's term for the individuality problem, that is, the resistance of the material particularity of individuals to explanation by the categories genetically deduced from reason. On his interpretation, ‘facticity’ denotes radical contingency in the guise of haecceity, that is, the brute uniqueness of individuals. Lask credits Fichte with registering the problem of individuality, which highlights the world's irreducibly precategorial character. But how is ‘facticity’ transmitted from Lask to Heidegger, given their opposing interpretations of how Fichte understands its meaning? I argue that (1) Lask misreads Fichte as a proponent of facticity, that is, one whose accommodation of radical contingency deflates the Wissenschaftslehre's systematic ambitions, and (2) Lask's misreading, without deceiving Heidegger regarding the sincerity of Fichte's ambitions, encourages Heidegger's own hermeneutics of facticity. (shrink)

My aim in this paper is to engage with C. Thi Nguyen’s characterization of the echo chamber and to propose two things. First, I argue that a proper reading of his concept of echo chamber should make use of the notion of ignorance in the form of a structural epistemic insensitivity. My main contention is that ignorance as a substantive structural practice accounts for the epistemically deleterious effects of echo chambers. Second, I propose that from the talk of ignorance we (...) should be able to see echo chambers in terms of their more harmful impacts in our daily lives. To do that, I argue that we should think of echo chambers as tools to promote hermeneutical domination. If my representation of Nguyen’s concept is accurate, I believe we can see some important theoretical consequences stemming from the way Nguyen understands it. (shrink)

Materialism in the philosophy of mind — materialismPM — is the view that everything mental is material (or, equivalently, physical). Consciousness — pain, emotional feeling, sensory experience, and so on — certainly exists. So materialismPM is the view that consciousness is wholly material. It has, historically, nothing to do with denial of the existence of consciousness. Its heart is precisely the claim that consciousness — consciousness! — is wholly material. [2] ‘Physicalism’, the view introduced by members of the Vienna Circle (...) in the late 1920s, also has nothing to do with denial of the existence of consciousness. [3] Recently the words ‘materialism’ and ‘physicalism’ have come to be treated as synonymous, and as names for a position in the philosophy of mind that does involve denial of the existence of consciousness. They’ve been used to name a position that (i) directly rejects the heart of materialism (materialismPM) and (ii) is certainly false. This is a pity, because they’re good terms for a view that is very likely true. (shrink)

This paper is a critical examination of Stephen Neale's *The Philosophical Significance of Godel's slingshot*. I am sceptical of the philosophical significance of Godel’s Slingshot (and of Slingshot arguments in general). In particular, I do not believe that Godel’s Slingshot has any interesting and important philosophical consequences for theories of facts or for referential treatments of definite descriptions. More generally, I do not believe that any Slingshot arguments have interesting and important philosophical consequences for theories of facts or for referential (...) treatments of definite descriptions. Friends of facts and referential treatments of definite descriptions can, and should, proceed with the construction of their theories, blithely ignoring the many Slingshots which now litter the landscape. (Of course, there may be other considerations which should give such theorists pause -- but those are other considerations.). (shrink)

The right to withdraw from participation in research is recognized in virtually all national and international guidelines for research on human subjects. It is therefore surprising that there has been little justification for that right in the literature. We argue that the right to withdraw should protect research participants from information imbalance, inability to hedge, inherent uncertainty, and untoward bodily invasion, and it serves to bolster public trust in the research enterprise. Although this argument is not radical, it provides a (...) useful way to determine how the right should be applied in various cases. (shrink)

It is commonplace to observe that digital technologies facilitate our access to information on a scale unimaginable in previous eras, leading many to call this the “Information Age.” The vaunted advantages of unprecedented data flow obscure a dark corollary: the more modes of engaging with data are available to a people, the more modes are available for manipulating them. Whether through social media, blogs, email, newspaper headlines, or doctored images and videos, the public is indeed bombarded by information, and much (...) of it is misleading or outright false. Much of it, in fact, is propaganda. As the methods for manipulating mass audiences continue to multiply, a clear understanding of the concept of propaganda has never been more relevant. -/- This Article constructs a precise, novel account of propaganda, incorporating notable scholarly insights into the concept as well as the overlooked lessons of the law’s fragmented efforts to regulate it. To bring this new theoretical framework into focus and demonstrate its importance in the Information Age, the Article connects the underlying theory to contemporary communications practices, many of which are enhanced by the availability of new technology. Notably, in doing so, the Article also develops the first systematic account of political gaslighting, which properly understood (and counterintuitively, perhaps) constitutes a form of propaganda. (shrink)

A rapidly growing body of scholarship embraces virtue jurisprudence, a series of (often ad hoc) attempts to incorporate the philosophical tradition of virtue ethics into legal theory. Broadly understood, virtue ethics describes an approach to moral questions that emphasizes the importance of developing and embodying various virtues, often as manifestations of human flourishing. Scholars typically contrast virtue ethics with deontological and consequentialist moral theories, tracing virtue-centered analysis to ancient Greek philosophers, and in particular to Aristotle. Virtue ethics has experienced a (...) revival over the past 65 years; but, long before that, it proved especially influential in Catholic moral thought, particularly through the work of Aquinas. Perhaps relatedly, scholars have seized on virtue jurisprudence to defend a range of politically conservative positions, such as originalist constitutional interpretation and the propriety of utilizing the law to regulate ostensibly “private” immoralities. This Article reveals the radically underappreciated progressive promise of virtue jurisprudence. Virtue jurisprudence requires no religious commitments whatsoever, but a strong version entails acceptance of the moral significance of developing one’s character—both within and without the law. On a compelling understanding of the virtues, rejecting a state of perpetual disadvantage under the law is a meaningful marker of the virtue of self-respect, and a repudiation of the vice of servility that would otherwise be imposed by the legal system itself. Thus, contrary to the predominant tenor of research on the subject, virtue jurisprudence can ground significant resistance to—and even defiance of—the law. In making this argument, the Article also draws novel connections between virtue jurisprudence and literature on (inter alia) race, feminism, and sexual orientation to reveal the unnoticed potential of virtue jurisprudence to push forward work in those and related areas. At a time when massive and widespread protests across the United States reflect a groundswell of support for overturning certain long-standing, legally-ingrained, systemic disadvantages of people of color, many might be surprised to learn that virtue jurisprudence can serve as a potent theoretical ally. (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)

Mitochondrial replacement therapy requires oocytes of women whose mitochondrial DNA will be transmitted to resultant children. These techniques are scientifically, ethically and socially controversial; it is likely that some women who donate their oocytes for general in vitro fertilisation usage would nevertheless oppose their genetic material being used in MRT. The possibility of oocytes being used in MRT is therefore relevant to oocyte donation and should be included in the consent process when applicable. In present circumstances, specific consent should be (...) obtained. However, once MRT becomes more routine, such consent could be incorporated into the general consent process for oocyte donation. The reported lack of proper consent for MRT from the oocyte donor in the first baby born via the technique is an ethical failing and should be corrected in any future practice of MRT. (shrink)

It is generally unquestioned that human subjects research review boards should assess the ethical acceptability of protocols. It says so right on the tin, after all: they are explicitly called research ethics committees in the UK. But it is precisely those sorts of unchallenged assumptions that should, from time to time, be assessed and critiqued, in case they are in fact unfounded. John Stuart Mill's objection to suppressers of dissent is instructive here: “If the opinion is right, they are deprived (...) of the opportunity of exchanging error for truth: if wrong, they lose, what is almost as great a benefit, the clearer perception and livelier impression of truth, produced by its collision with error”.1 Andrew Moore and Andrew Donnelly's compelling article, “The job of ‘ethics committees’”, is just this sort of challenge to conventional wisdom, a rejection of the notion that review boards should be considering ethical matters at all.2 If true, we should be substantially reforming our research ethics policies. And if false, rebuttals would help strengthen and ground the otherwise unquestioned assumption of the role of ethics committees. As it happens, I will argue that their critiques fall into the second category. While mistaken, they present a valuable opportunity to clarify the role of ethics committees and their relationship to relevant codes. In particular, I will defend a hybrid account where codes have strict primacy, but leave significant room for review boards …. (shrink)

The concept of moral wrongness, many think, has a distinctive kind of referential stability, brought out by moral twin earth cases. This article offers a new account of the source of this stability, deriving it from a metaphysics of content: “substantive” radical interpretation, and first-order normative assumptions. This story is distinguished from extant “reference magnetic” explanations of the phenomenon, and objections and replies are considered.

While philosophers are often concerned with the conditions for moral knowledge or justification, in practice something arguably less demanding is just as, if not more, important – reliably making correct moral judgments. Judges and juries should hand down fair sentences, government officials should decide on just laws, members of ethics committees should make sound recommendations, and so on. We want such agents, more often than not and as often as possible, to make the right decisions. The purpose of this paper (...) is to propose a method of enhancing the moral reliability of such agents. In particular, we advocate for a procedural approach; certain internal processes generally contribute to people’s moral reliability. Building on the early work of Rawls, we identify several particular factors related to moral reasoning that are specific enough to be the target of practical intervention: logical competence, conceptual understanding, empirical competence, openness, empathy and bias. Improving on these processes can in turn make people more morally reliable in a variety of contexts and has implications for recent debates over moral enhancement. (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)

We characterize a type of functional explanation that addresses why a homologous trait originating deep in the evolutionary history of a group remains widespread and largely unchanged across the group’s lineages. We argue that biologists regularly provide this type of explanation when they attribute conserved functions to phenotypic and genetic traits. The concept of conserved function applies broadly to many biological domains, and we illustrate its importance using examples of molecular sequence alignments at the intersection of evolution and cell biology. (...) We use these examples to show how the study of conserved functions can integrate knowledge of a trait’s causal effects on fitness and its history of natural selection without invoking adaptation. We also show how conserved function provides a novel basis for addressing objections against evolutionary functions raised by Robert Cummins. (shrink)

Biological evolution is a complex blend of ever changing structural stability, variability and emergence of new phe- notypes, niches, ecosystems. We wish to argue that the evo- lution of life marks the end of a physics world view of law entailed dynamics. Our considerations depend upon dis- cussing the variability of the very ”contexts of life”: the in- teractions between organisms, biological niches and ecosys- tems. These are ever changing, intrinsically indeterminate and even unprestatable: we do not know ahead of (...) time the ”niches” which constitute the boundary conditions on selec- tion. More generally, by the mathematical unprestatability of the ”phase space”, no laws of mo- tion can be formulated for evolution. We call this radical emergence, from life to life. The purpose of this paper is the integration of variation and diversity in a sound concep- tual frame and situate unpredictability at a novel theoretical level, that of the very phase space. Our argument will be carried on in close comparisons with physics and the mathematical constructions of phase spaces in that discipline. The role of symmetries as invariant preserving transformations will allow us to under- stand the nature of physical phase spaces and to stress the differences required for a sound biological theoretizing. In this frame, we discuss the novel notion of ”enablement”. Life lives in a web of enablement and radical emergence. This will restrict causal analyses to differential cases. Mutations or other causal differ- ences will allow us to stress that ”non conservation princi- ples” are at the core of evolution, in contrast to physical dynamics, largely based on conservation principles as sym- metries. Critical transitions, the main locus of symmetry changes in physics, will be discussed, and lead to ”extended criticality” as a conceptual frame for a better understanding of the living state of matter. (shrink)

In the Vocation of Man, Fichte makes the striking claim that life is eternal, rational, our true being, and the final cause of nature in general and of death in particular. How can we make sense of this claim? I argue that the public lectures that compose the Vocation are a popular expression of Fichte’s pre-existing commitment to what I call immortalism, the view that life is the unconditioned condition of intelligibility. Casting the I as an absolutely self-active or living (...) power enables his philosophical account of both the intelligibility of objects and of what it means to die. This explains his characterization of the Wissenschaftslehre as a system in which ‘all is act, movement, and life’. In Sect. 1, I explain the context of Jacobi’s use of ‘caput mortuum’ as a term for the thing in itself. In Sects. 2 and 3, I reconstruct two immortalist arguments from Fichte’s Jena period. The first is that the I’s self-activity rules out the existence of the thing in itself and thereby vanquishes ‘death’s head’. The second is that, insofar as the I charges us with the moral perfection of nature, it is the final cause of our entire life, including its end. This is to say that the I puts our every moment into question, even our last. In Sect. 4, I use these immortalist arguments to interpret the striking claim from the Vocation. (shrink)

In their recent article, Koplin, Gyngell and Savulescu (2019) assess the viability of the precautionary principle as a decision-making tool to determine whether and under what circumstances germline gene editing should proceed. While their survey of different forms of the precautionary principle is illuminating, the most novel contribution is a new account of the precautionary principle, what they dub the Sufficientarian Precautionary Principle (SPP). SPP is meant to avoid several problems with existing accounts, while comporting with at least some of (...) the intuitive force behind the general idea of the precautionary principle. However, as it is only one subsection of a larger paper, SPP is not fully worked out. In this brief response, I will flesh out some problems with SPP as a decision-making tool – particularly that there is a lack of adequate normative justification for adopting it. While this does not constitute a decisive refutation of the approach, SPP needs considerable refinement and clarification before it can be considered viable for use in decision-making. (shrink)

Throughout his career, Schelling assigns knowledge of the absolute first principle of philosophy to intellectual intuition. Schelling's doctrine of intellectual intuition raises two important questions for interpreters. First, given that his doctrine undergoes several changes before and after his identity philosophy, to what extent can he be said to “hold onto” the same “sense” of it by the 1830s, as he claims? Second, given that his doctrine of intellectual intuition restricts absolute idealism to what he calls a “science of reason”, (...) which he says cannot prove the absolute’s existence, what other doctrine does he require in order to prove this? I will answer these questions by tracing the shifts in Schelling’s doctrine of intellectual intuition from the 1790s to the 1830s and drawing out its evolving methodological role within his science of intelligibility. (shrink)

Η πρόσφατη δυναμική επανεμφάνιση των λαϊκιστικών κομμάτων διεθνώς αναζωπύρωσε τη συζήτηση γύρω από τον λαϊκισμό και τη σχέση που αναπτύσσει με τη (φιλελεύθερη) δημοκρατία. Πολλές από τις «κυρίαρχες» επιστημονικές αναλύσεις άσκησαν ισχυρή κριτική στον λαϊκισμό μέσα από μια στερεοτυπική οπτική, εντοπίζοντας συγκεκριμένα παθολογικά χαρακτηριστικά στο φαινόμενο, ενώ υπήρξε ένας αριθμός μελετών που κράτησε τις αποστάσεις του από τις στρεβλές θεωρητικές αναγνώσεις. Ένα από τα πολιτικά κόμματα που απασχόλησαν τους ακαδημαϊκούς στην Ελλάδα ήταν η περίπτωση του ΣΥΡΙΖΑ, τόσο στην αντιπολίτευση όσο (...) και στην εξουσία. Δεν ήταν λίγοι οι ερευνητές που επιχείρησαν να ιχνηλατήσουν και να κατανοήσουν τη μετάβαση της ριζοσπαστικής αριστεράς από ένα κινηματικό κόμμα της νεολαίας σε κόμμα εξουσίας μέσα από την ανάλυση Λόγου. Στο συγκεκριμένο άρθρο μελετάμε την έννοια του λαϊκισμού και την περίπτωση του ΣΥΡΙΖΑ μετά το ξέσπασμα της οικονομικής κρίσης. Αρχικά, εννοιολογούμε τον λαϊκισμό, ακολουθώντας τις θεωρητικές και μεθοδολογικές κατευθύνσεις τριών σημαντικών προσεγγίσεων [των Ερνέστο Λακλάου και της Σχολής του Έσσεξ (λογοθεωρητική), Πιερ Οστιγκί (κοινωνικοπολιτισμική) και Μπέντζαμιν Μόφιτ (επιτελεστική)], οι οποίες παρά τις διαφορές που παρουσιάζουν διαθέτουν ιδιαίτερα σημεία σύνδεσης, ενώ υπογραμμίζουμε και τη στερεοτυπική ανάγνωση των αντι-λαϊκιστικών αναλύσεων. Στη συνέχεια, αναδεικνύουμε τα χαρακτηριστικά που έλαβαν στο πέρασμα των ετών διάφορες λαϊκιστικές εμπειρίες, ενώ στο τέλος επικεντρωνόμαστε στην περίπτωση της ελληνικής ριζοσπαστικής αριστεράς (ΣΥΡΙΖΑ), με στόχο να εξετάσουμε τα χαρακτηριστικά του πολιτικού της λόγου στην αντιπολίτευση και την εξουσία (2009-2019). Εξέφρασε έναν λαϊκιστικό λόγο; Ποιες ήταν οι επιπτώσεις του αριστερού λαϊκισμού στην δημοκρατία, την κοινωνία και τη πολιτική;. (shrink)

This chapter intervenes in recent debates in Kant scholarship about the possibility of a general logical alien. Such an alien is a thinker whose laws of thinking violate ours. She is third-personal as she is radically unlike us. Proponents of the constitutive reading of Kant’s conception of general logic accordingly suggest that Kant rules out the possibility of such an alien as unthinkable. I add to this an often-overlooked element in Kant’s thinking: there is reason to think that he grants—and (...) in fact presupposes—the possibility of a transcendental logical alien. Such an alien is a knower whose laws of experience purport to violate ours. She is first-personal as she is radically like us. In other words, she is us, insofar as we are alienated from ourselves and our experience. I go on to draw an analogy between her, a dogmatist, and another transcendental alien, an evil agent. Just as a dogmatist is alienated from her (our) experiential laws, an evil agent is alienated from her (our) moral law. These forms of theoretical and practical self-conceit require self-knowledge in the form of a critique of speculative or practical reason. In bringing this point out, I aim to shift from the question of whether logical laws constitute our thinking to the question of whether grasping our experiential and moral laws as our laws constitutes our reason. (shrink)

The prospect of consumable meat produced in a laboratory setting without the need to raise and slaughter animals is both realistic and exciting. Not only could such in vitro meat become popular due to potential cost savings, but it also avoids many of the ethical and environmental problems with traditional meat productions. However, as with any new technology, in vitro meat is likely to face some detractors. We examine in detail three potential objections: 1) in vitro meat is disrespectful, either (...) to nature or to animals; 2) it will reduce the number of happy animals in the world; and 3) it will open the door to cannibalism. While each objection has some attraction, we ultimately find that all can be overcome. The upshot is that in vitro meat production is generally permissible and, especially for ethical vegetarians, worth promoting. (shrink)

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)

The concept of facticity denotes conditions of experience whose necessity is not logical yet whose contingency is not empirical. Although often associated with Heidegger, Fichte coins ‘facticity’ in his Berlin period to refer to the conclusion of Kant’s metaphysical deduction of the categories, which he argues leaves it a contingent matter that we have the conditions of experience that we do. Such rhapsodic or factical conditions, he argues, must follow necessarily, independent of empirical givenness, from the I through a process (...) of ‘genesis.’ I reconstruct Fichte’s argument by tracing the origin of his neologism, presenting his Jena critique of Kant’s rhapsodic appeal to the forms of judgment, and illustrating the Jena period’s continuity with the Berlin period’s genetic method, while noting a methodological shift whereby Fichte directs his critique against his own doctrine of intellectual intuition in order to eliminate its ‘factical terms.’. (shrink)