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)

In the first part of this investigation we highlight two, seemingly irreconcilable, beliefs that suggest an impending crisis in the teaching, research, and practice of—primarily state-supported—mathematics: (a) the belief, with increasing, essentially faith-based, conviction and authority amongst academics that first-order Set Theory can be treated as the lingua franca of mathematics, since its theorems—even if unfalsifiable—can be treated as ‘knowledge’ because they are finite proof sequences which are entailed finitarily by self-evidently Justified True Beliefs; and (b) the slowly emerging, but (...) powerfully rooted in economic imperatives, belief that only those Justified True Beliefs can be treated as ‘knowledge’ which are, further, categorically communicable as Factually Grounded Beliefs—hence as comprehensible pre-formal ‘mathematical truths’—by any intelligence that lays claims to a mathematical lingua franca. We argue that this seeming irreconcilability merely reflects a widening chasm between an increasing under-estimation of the value to society of ‘semantic arithmetical truth’, and an increasing over-estimation of the value to society of ‘syntactic set-theoretical provability’; a chasm which must be narrowed and bridged explicitly. We thus proffer a Complementarity Thesis which seeks to recognize that mathematical ‘provability’ and mathematical ‘truth’ need to be interdependent and complementary, ‘evidence-based’, assignments-by-convention to the formulas of a formal mathematical language; where (a) the goal of mathematical ‘proofs’ may be viewed as seeking to ensure that any mathematical language intended to formally represent our pre-formal conceptual metaphors and their inter-relatedness is unambiguous, and free from contradiction; whilst (b) the goal of mathematical ‘truths’ must be viewed as seeking to ensure that any such representation does, indeed, uniquely identify and adequately represent such metaphors and their inter-relatedness. Our thesis is that, by universally ignoring the need to introduce goal (b) in our curriculum, the teaching of, and research in, mathematics at the post-graduate level cannnot justify its value to society beyond the mere intellectual stimulation of individual minds. In the second part we appeal to some recent—and hitherto unsuspected—unarguably constructive Tarskian interpretations, of the first-order Peano Arithmetic PA, which establish PA as both finitarily consistent, and categorical. Since we also show that the second order subsystem ACA0 of Peano Arithmetic and PA cannot both be assumed provably consistent, we conclude that there can be no mathematical, or meta-mathematical, proof of consistency for Set Theory. Hence the theorems of any Set Theory are not sufficient for distinguishing between (i) what we can believe to be a ‘mathematical truth’; (ii) what we can evidence as a ‘mathematical truth’; and (iii) what we ought not to believe is a ‘mathematical truth’; whilst the theorems of the first-order Peano Arithmetic PA are sufficient for distinguishing between (i), (ii) and (iii). We conclude from this that the holy grail of mathematics ought to be ‘arithmetical truth’, not ‘set-theoretical proof’. (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)

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)

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)

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)

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)

-- 04.08.2024 -- Intervention held at the XXV World Congress of Philosophy in Rome, Italy -- The aim of this paper is to propose an interpretation of philosophy’s tasks as those of a “critical theoresis”. The formula draws from both Plato’s utilisation of the word ϑεώρησις and Herodotus’ particular use of the verb κρίνω. While the former indicates a cultural dimension that in itself implies an active participation of subjects in the objective social world, the latter expresses an hermeneutical principle (...) that unites the concepts of “explanation” and “interpretation”. Therefore, I intend to use these key-concepts together in order to picture a type of philosophy that tries to underline the criteria of a normative theory that does not fail to assume a critical standpoint in interpreting social reality. (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)

In lieu of an abstract, here is a brief excerpt of the content:This Universalism Which Is Not OneLinda M. G. Zerilli (bio)Ernesto Laclau. Emancipation(s). London: Verso, 1996.Judging from the recent spate of publications devoted to the question of the universal, it appears that, in the view of some critics, we are witnessing a reevaluation of its dismantling in twentieth-century thought. One of the many oddities about this “return of the universal” 1 is the idea that contemporary engagements with it are (...) more or less of a piece, and that they reflect a growing consensus that poststructuralist political theories are incapable of generating a viable alternative to the collective fragmentation that characterizes late modernity. 2 The putative return to the universal marks, on this view, both a homecoming to Enlightenment ideals—purified of their more poisonous elements, of course—and a reconciliation of sorts between those who refuted these ideals and those who sought to realize them. Now that “we” all know and agree that poststructuralism is critically valuable but politically bankrupt; now that we all know and agree that the “old universal” was indeed a “pseudo-universal,” so the homecoming narrative goes; we can get on with the project of constructing a “new universal.” 3 This authentic universal would really be inclusive of all people, regardless of race, class, gender, sexuality, ethnicity, nationality, and whatever else attaches to the “embarrassing etcetera” that, as Judith [End Page 3] Butler reminds us, inevitably accompanies such gestures of acknowledging human diversity.Before signing on to this felicitous agreement about “the necessity of universalism,” we may wish to know whether we have anything like a minimal agreement in language, that is, whether we who speak of this universal are even speaking about the same thing. Apart from the not insignificant problem of translating from a philosophical to a political idiom, the whole question of this agreement is virtually occluded by the rush to rescue politics from the virulent particularisms that admit no common ground or sense of collective belonging. Presented in terms of the familiar binary couple, the choice between universalism and particularism seems settled by merely pointing to global and domestic political realities. Universalism is the only alternative to social fragmentation, wild child of the collapse of communism, the rise of deadly nationalisms, and the multiculturalist romance with particularism. To invoke the name of the universal in any affirmative sense is already to sign on to the political diagnosis and its solution.One of the many virtues of Ernesto Laclau’s Emancipation(s) is that it offers both an alternative to the binarisms spawned by the “return” to the universal (for example, false universalism/true universalism) and a trenchant critique of the original binary couple itself (universalism/ particularism). Demonstrating the imbrication of the universal and the particular, Laclau shows why it is a matter not of choosing one over the other but of articulating, in a scrupulously political sense, the relation between the two. He thus explicitly rejects the notion that this relation is one of mutual exclusion, and shows that the tendency to see it as just that has led to the impasse of the contemporary debate, an impasse that is glossed over in some highly visible academic cases by proclaiming the necessary return to the universal. Although the language of universalism as spoken by Laclau searches for some common ground between particularists and universalists, it is more by way of articulating their mutual contamination, that is, how each is rendered impure by the irreducible presence of the other.The Problem of UniversalsLaclau situates his collection of essays in the context of the increasingly polarized debate over multiculturalism, a debate in which the classical universalism of the philosophical tradition has come under serious question. Reading his essays, one comes to see the deep dependence of the entire contemporary discussion on this tradition, even when its metaphysical assumptions are explicitly rejected (as, say, in the work of Seyla Benhabib) or insufficiently comprehended (as in most of the popularized political discourse). Laclau’s book can help us to see that the political question of universalism cannot be posed properly as long as it remains tethered to the classical philosophical “problem of universals.” At stake in sorting out the affinities and... (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)

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)

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)

In recent work, William Blattner claims that Heidegger is an empirical realist, but not a transcendental idealist. Blattner argues that, unlike Kant, Heidegger holds that thinking beyond human life warrants no judgment about nature's existence. This poses two problems. One is interpretive: Blattner misreads Kant's conception of the beyond-life as yielding the judgment that nature does not exist, for Kant shares Heidegger's view that such a judgment must lack sense. Another is programmatic: Blattner overstates the gap between Kant's and Heidegger's (...) positions, for both are ontological, not ontic. I solve these problems by showing that Heidegger's analysis of Dasein contains the core of Kant's argument for transcendental idealism: the apriority of space and time. I conclude that Heidegger exemplifies Kant's view that empirical realism just is transcendental idealism. (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)

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)

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)

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)

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)

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)

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)

Organisms that share the capability of storing information about experiences in the past have an actively generated background resource on which they can compare and evaluate more recent experiences in order to quickly or even better react than in previous situations. This is an essential competence for all reaction and adaptation purposes of living organisms. Such memory/learning skills can be found from akaryotes up to unicellular eukaryotes, fungi, animals and plants, although until recently, it had been mentioned only as a (...) capability of higher animals. With the rise of epigenetics, the context-dependent marking of experiences at both the phenotype and the genotype level is an essential perspective to understand memory and learning in all organisms. Both memory and learning depend on a variety of successful communication processes within the whole organism. (shrink)

During his Jena period, Fichte endorses a curious dictum: ‘the kind of philosophy one chooses depends on the kind of person one is’. How can Fichte’s dictum support a vindication of German idealism over Spinozism, which he also calls ‘dogmatism’? I will show that the answer to this seemingly straightforward question reveals a rather complex series of metametaphysical objections that shape the development of the entire German idealist tradition. Ultimately, as I will suggest, the series of metametaphysical questions that shape (...) the German idealist tradition must culminate in the question of how to understand the relation between philosophy and its presuppositions. I will conclude by briefly considering a hermeneutical response to this question. (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)

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)

While the idea that philosophy requires self-transformation is historically pervasive, it exerts considerable influence on the post-Kantians who first aim to systematize Kant’s idealism by grounding it on a first principle. In the 1790s, Fichte and Schelling offer competing accounts of the self-transformation that they regard as essential to positing a first principle. Their accounts raise two central questions. First, what makes this kind of self-transformation possible? Second, are there different possible expressions of philosophical self-transformation? In what follows, I will (...) articulate the Fichtean and Schellingian answers to these central questions. For Fichte, the one who summons me to posit a first principle makes possible my philosophical self-transformation, although the latter has an exclusively idealist expression in that I can only genuinely posit the I as first principle, which is to say that philosophical self-transformation depends on mutual recognition and vindicates precisely one philosophical system (Section 1). For Schelling, a brute act of will makes possible my philosophical self-transformation, although the latter has either an idealist or a realist expression in that I can genuinely posit either the I or the not-I as first principle, which is to say that philosophical self-transformation does not depend on mutual recognition and vindicates one of two possible philosophical systems (Section 2). Thus, whereas Fichtean self-transformation is recognitive and non-pluralistic, Schellingian self-transformation is pluralistic and non-recognitive. I conclude with a discussion of how Jacobi poses a challenge to Fichte’s and Schelling’s answers to the two central questions (Section 3). (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)

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)

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)

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 early 21st century has witnessed a significant rise in extreme nationalism, racism, and xenophobia, deeply affecting the rights of minorities such as the Roma, who have historically faced systemic discrimination and racism. Given that many political leaders who downplay minority rights often engage in populist discourse, a debate has emerged about the relationship between populism and minority rights. While many scholars argue that populism inherently undermines liberal principles like the protection of minorities, the question remains whether populism is necessarily (...) anti-pluralist and anti-minority. What about the case of left-wing populism? Furthermore, why is the relationship between anti-populism and minorities often overlooked? In this article, we examine the relationship between populism, anti-populism, and minorities through the case of two different governmental discourses in crisis-ridden Greece. Specifically, we focus on the governmental political discourse and policies of the populist SYRIZA (2015-2019) and the anti-populist ND (2019-2023) on Roma, with the aim of showing that populism is not necessarily anti-pluralist, while anti-populism is not always pluralist, as both phenomena can follow inclusionary or exclusionary logics. (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)

Schelling scholars face an uphill battle. His confinement to the smallest circles of ‘continental’ thought puts him at the margins of what today counts as philosophy. His eclipse by Fichte and Hegel and inheritance by better-read thinkers like Kierkegaard and Heidegger tend to reduce him to a historical footnote. And the sometimes obscure formulations he uses makes the otherwise difficult writings of fellow post-Kantians seem comparatively more accessible. For those seeking to widen these circles, see through this eclipse and elucidate (...) these formulations, a deeper internal challenge is to make sense of the appearance and disappearance of intellectual intuition in Schelling’s work. The term’s apotheosis is often attributed to the height of German idealism and especially to Schelling’s identity philosophy, outside which he subjects the term to a radical critique. The identity philosophy aims to cognize the absolute ground of the system of knowledge and the system of nature, for which cognition Schelling enlists intellectual intuition. While the identity philosophy falls between a Fichtean debut and a late attack on Hegel, it is difficult to determine its exact parameter. I propose that a necessary condition for doing so is to clarify the explanatory role of intellectual intuition—that is, the specific problem to which it is the intended solution—on which the identity philosophy depends. To this end, I will trace a nexus of problems that Schelling’s use of intellectual intuition is meant to solve. Doing so will not only help to delineate the identity philosophy, but show it to be continuous with Schelling’s earlier and later periods. In §1, I account for the nexus of the problems of grounding, freedom and meaning. These problems demand, respectively, a principle by which cognition forms a system rather than an aggregate, a principle by which a system of cognition is compatible with freedom rather than incompatible and a principle by which a system of freedom can show why there is meaning rather than none. In §2, I reconstruct Schelling’s argument in the identity philosophy for why intellectual intuition can resolve this nexus of problems and, in §3, his arguments during other periods of his thought for why it cannot. I conclude in §4 by suggesting why the identity philosophy is continuous with these periods. Beyond fulfilling the interpretive task of making sense of intellectual intuition in Schelling’s sprawling corpus, my aim is thus to contribute to a unified reading of the latter. (shrink)

Our era is characterized by a significant conflict between populism and anti-populism, both politically and culturally. Populist groups and leaders often portray themselves as the true voices of the common people, gaining electoral support or even taking power by framing society as a battle between the ordinary people and the elite, challenging the political and economic establishment. Conversely, parties within the liberal political spectrum counteract the rise of populism by articulating a strong anti-populist discourse, sometimes successfully dominating the political arena. (...) However, despite the increase in studies on populism, there are not many publications regarding anti-populism. This article seeks to examine the anti-populist discourse in Argentina and Greece, two countries with many similarities in political, economic, and cultural aspects. By analyzing the key ideas of anti-populist discourse, we aim to highlight the common anti-populist logic marked by typical paths of modernization, which not only opposes populism but also frequently disregards or opposes specific social groups, such as minorities. (shrink)

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)

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)

Fichte argues that the conclusion of Kant’s transcendental deduction of the categories is correct yet lacks a crucial premise, given Kant’s admission that the metaphysical deduction locates an arbitrary origin for the categories. Fichte provides the missing premise by employing a new method: a genetic deduction of the categories from a first principle. Since Fichte claims to articulate the same view as Kant in a different, it is crucial to grasp genetic deduction in relation to the sorts of deduction that (...) Kant offers. I propose to interpret genetic deduction as the simultaneous fulfillment of two tasks: answering the question quid facti by deriving the categories from the I and answering the question quid juris by establishing our entitlement to the categories as conditions of experience. While the second task represents Fichte’s agreement with Kant’s transcendental deduction, the first reflects his correction of Kant’s metaphysical deduction. (shrink)

This article is a reply to Michael Gettings' criticisms of a previous paper of mine on Godel's ontological argument. (All relevant bibliographical details may be found in the article.) I provide a patch to my previous -- faulty -- attempt to provide a parody of Godel's ontological argument on the model of Gaunilo's parody of Anselm's Proslogion 2 argument.

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).

Decisions are made under uncertainty when there are distinct outcomes of a given action, and one is uncertain to which the act will lead. Decisions are made under indeterminacy when there are distinct outcomes of a given action, and it is indeterminate to which the act will lead. This paper develops a theory of (synchronic and diachronic) decision-making under indeterminacy that portrays the rational response to such situations as inconstant. Rational agents have to capriciously and randomly choose how to resolve (...) the indeterminacy relevant to a given choice-situation, but such capricious choices once made constrain how they will choose in the future. The account is illustrated by the case of self-interested action in situations where it is indeterminate whether you yourself will survive to benefit or suffer the consequences. The conclusion emphasizes some distinctive anti-hedging predictions of the account. (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)

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)

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)

Contemporary Western societies are obsessed with the “obesity epidemic,” dieting, and fitness. Fat people violate the Western conscience by violating a thinness norm. In virtue of violating the thinness norm, fat people suffer many varied consequences. Is their suffering morally permissible, or even obligatory? In this paper, I argue that the answer is no. I examine contemporary philosophical accounts of oppression and draw largely on the work of Sally Haslanger to generate a set of conditions sufficient for some phenomena to (...) count as oppression, and I illustrate the account’s value using the example of gender oppression. I then apply the account to fat people, examine empirical evidence, and argue that the suffering of fat people counts as oppression. (shrink)

In the Freedom essay, Schelling charges that (1) idealism fails to grasp human freedom’s distinctiveness and that (2) this failure undermines idealism's attempt to refute pantheism, as exemplified by Spinoza. This raises two questions, which I will answer in turn: what, for Schelling, is distinctive of human freedom; and how does the idealists’ failure to grasp it render them unable to refute pantheism? To answer these questions, I will reconstruct Schelling’s argument that freedom has the distinctness of being the unconditioned (...) condition of the world’s intelligibility. My reconstruction will illustrate how Schelling’s notion of freedom as primal will grounds the alleged primacy of practical reason as Kant and Fichte conceive it. I will then consider three objections to Schelling’s argument. Throughout, I will develop the Schellingian idea that freedom is enacted in an unprethinkable decision that cannot be anticipated by any law or principle. (shrink)

I criticise a paper by Peter Forrest in which he argues that a principle of unrestricted countable fusion has paradoxical consequences. I argue that the paradoxical consequences that he exhibits may be due to his Whiteheadean assumptions about the nature of spacetime rather than to the principle of unrestricted countable fusion.