The prevalent interpretation of Gödel’s Second Theorem states that a sufficiently adequate and consistent theory does not prove its consistency. It is however not entirely clear how to justify this informal reading, as the formulation of the underlying mathematical theorem depends on several arbitrary formalisation choices. In this paper I examine the theorem’s dependency regarding Gödel numberings. I introducedeviantnumberings, yielding provability predicates satisfying Löb’s conditions, which result in provable consistency sentences. According to the main result of this paper however, these (...) “counterexamples” do not refute the theorem’s prevalent interpretation, since once a natural class ofadmissiblenumberings is singled out, invariance is maintained. (shrink)

In this paper we examine various requirements on the formalisation choices under which self-reference can be adequately formalised in arithmetic. In particular, we study self-referential numberings, which immediately provide a strong notion of self-reference even for expressively weak languages. The results of this paper suggest that the question whether truly self-referential reasoning can be formalised in arithmetic is more sensitive to the underlying coding apparatus than usually believed. As a case study, we show how this sensitivity affects the formal study (...) of certain principles of self-referential truth. (shrink)

Taste as Experience puts the pleasure of food at the center of human experience. It shows how the sense of taste informs our preferences for and relationship to nature, pushes us toward ethical practices of consumption, and impresses upon us the importance of aesthetics. Eating is often dismissed as a necessary aspect of survival, and our personal enjoyment of food is considered a quirk. Nicola Perullo sees food as the only portion of the world we take in on a daily (...) basis, constituting our first and most significant encounter with the earth. Perullo has long observed people's food practices and has listened to their food experiences. He draws on years of research to explain the complex meanings behind our food choices and the thinking that accompanies our gustatory actions. He also considers our indifference toward food as a force influencing us as much as engagement. For Perullo, taste is value and wisdom. It cannot be reduced to mere chemical or cultural factors but embodies the quality and quantity of our earthly experience. (shrink)

This paper investigates the conditions under which diagonal sentences can be taken to constitute paradigmatic cases of self-reference. We put forward well-motivated constraints on the diagonal operator and the coding apparatus which separate paradigmatic self-referential sentences, for instance obtained via Gödel’s diagonalization method, from accidental diagonal sentences. In particular, we show that these constraints successfully exclude refutable Henkin sentences, as constructed by Kreisel.

This book is the first extensive treatment of Husserl's phenomenology of time-consciousness. Nicolas de Warren uses detailed analysis of texts by Husserl, some only recently published in German, to examine Husserl's treatment of time-consciousness and its significance for his conception of subjectivity. He traces the development of Husserl's thinking on the problem of time from Franz Brentano's descriptive psychology, and situates it in the framework of his transcendental project as a whole. Particular discussions include the significance of time-consciousness for (...) other phenomenological themes: perceptual experience, the imagination, remembrance, self-consciousness, embodiment, and the consciousness of others. The result is an illuminating exploration of how and why Husserl considered the question of time-consciousness to be the most difficult, yet also the most central, of all the challenges facing his unique philosophical enterprise"--Provided by publisher. (shrink)

Herbert Lionel Adolphus Hart was born in Yorkshire in 1907 to second generation Jewish immigrants. Having won a scholarship to Oxford University, he went on to become the most famous legal philosopher of the twentieth century. From 1932-40 H.L.A Hart practised as a barrister in London. He was pronounced physically unfit for military service in 1940, and was recruited by MI5, where he worked until 1945. During his time at the Bar he had continued to study philosophy and at M15 (...) his interest was further stimulated by his philosopher colleagues in M16, Stuart Hampshire and Gilbert Ryle. After the war, Hart returned to Oxford to take up a philosophy fellowship, later to become Professor of Jurisprudence. H.L.A Hart single-handedly reinvented the philosophy of law and influenced the nation's thinking in the 1960s on abortion, the legalization of homosexuality, and on capital punishment. Hart's approach to legal philosophy was at once disarmingly simple and breathtakingly ambitious, combining as it did the insights of Austin and Bentham and the new linguistic philosophy of J.L. Austin and Ludwig Wittgenstein. He sought to elucidate a concept of law which would be of relevance to all forms of law, wherever or whenever they arose: his bestselling book, The Concept of Law, has sold tens of thousands of copies worldwide. In 1941, he married Jenifer Williams (a high-ranking civil servant, later an Oxford academic) with whom he had four children. Their relationship was an enduring if unconventional one. In the early 1950s, Jenifer was rumoured to be having a long-standing affair with Isaiah Berlin, one of Hart's closest friends. She was also, falsely, accused by the Sunday Times of having been a Russian spy, an allegation which was all the more scandalous given Hart's position at MI5 during the War. Nicola Lacey draws on Hart's previously unpublished diaries and letters to reveal a complex inner life. Outwardly successful, Hart was in fact tormented by doubts about his intellectual abilities, his sexual identity and his capacity to form close relationships. Her biography also sheds fascinating light on the origins of his ideas, and assesses his overall contribution. Above all, it chronicles of a life which had a depth ands impact far greater than many of Hart's readers have realized. (shrink)

The empirical study of belief is emerging at a rapid clip, uniting work from all corners of cognitive science. Reliance on belief in understanding and predicting behavior is widespread. Examples can be found, inter alia, in the placebo, attribution theory, theory of mind, and comparative psychological literatures. Research on belief also provides evidence for robust generalizations, including about how we fix, store, and change our beliefs. Evidence supports the existence of a Spinozan system of belief fixation: one that is automatic (...) and independent of belief rejection. Independent research supports the existence of a system of fragmented belief storage: one that relies on large numbers of causally isolated, context-sensitive stores of belief in memory. Finally, empirical and observational data support at least two systems of belief change. One system adheres, mostly, to epistemological norms of updating; the other, the psychological immune system, functions to guard our most centrally held beliefs from potential inconsistency with newly formed beliefs. Refining our under- standing of these systems can shed light on pressing real-world issues, such as how fake news, propaganda, and brainwashing exploit our psychology of belief, and how best to construct our modern informational world. (shrink)

We aim to do two things in this article. On the positive end, our goal is to explain how some seemingly incompatible aspects of belief live together, by presenting distinct mechanistic explanations of each of them: in particular we want to show how belief can be discerning, credulous, rational, and irrational. After clarifying our positive view, we take aim at some competitor views in the second half of the paper, particularly offering critiques of epistemic vigilance and social marketplace accounts of (...) belief. We conclude by inviting proponents to provide an architecture for belief that can be tested against existing models. (shrink)

There is a well-known gap between metamathematical theorems and their philosophical interpretations. Take Tarski’s Theorem. According to its prevalent interpretation, the collection of all arithmetical truths is not arithmetically definable. However, the underlying metamathematical theorem merely establishes the arithmetical undefinability of a set of specific Gödel codes of certain artefactual entities, such as infix strings, which are true in the standard model. That is, as opposed to its philosophical reading, the metamathematical theorem is formulated (and proved) relative to a specific (...) choice of the Gödel numbering and the notation system. A similar observation applies to Gödel’s and Church’s theorems, which are commonly taken to impose severe limitations on what can be proved and computed using the resources of certain formalisms. The philosophical force of these limitative results heavily relies on the belief that these theorems do not depend on contingencies regarding the underlying formalisation choices. The main aim of this paper is to provide metamathematical facts which support this belief. While employing a fixed notation system, I showed in previous work (_Review of Symbolic Logic_, 2021, 14(1):51–84) how to abstract away from the choice of the Gödel numbering. In the present paper, I extend this work by establishing versions of Tarski’s, Gödel’s and Church’s theorems which are invariant regarding _both_ the notation system and the numbering. This paper thus provides a further step towards absolute versions of metamathematical results which do not rely on contingent formalisation choices. (shrink)

Questa "Introduzione a Vico" offre gli strumenti critici essenziali per intendere l'opera del filosofo alla luce delle più recenti prospettive storiografiche.

" Si rien ne change avant un demi-siècle, écrivait Flaubert, l'Europe languira dans de grandes ténèbres ". un semblable pressentiment en persuadait Baudelaire : " Le monde va finir ". Comme si le sentiment de quelque décadence était aussi constant qu'inévitable, Péguy le notait encore : " Tout ce que nous avons défendu recule de jour en jour devant une barbarie, devant une inculture croissante, devant l'envahissement de la corruption politique et sociale. " hier encore, à l'occasion d'un tout banal (...) changement de calendrier, historiens, sociologues, politologues, futurologues ne furent-ils pas sollicités de scruter dans ce qu'ils connaissent du passé ce qu'ils pourraient y voir du futur? Or d'où vient que nous nous interrogions avec autant de perplexité sur l'humanité à venir, su ce n'est que nous doutions de nous y reconnaître? D'où vient ce sentiment d'un hiatus entre ce qui nous précédait et ce qui déjà nous suit? Cet essai s'interroge sur la crise de la conscience contemporaine. Est-elle aussi illusoire que toujours, ou mieux fondée que jamais? Dans un univers de toutes parts médiatisé par les sciences, administré, programmé, planifié et rationalisé par les techniques, la répudiation de la raison, la destitution de la vérité, la frénésie de l'immédiation ne dessinent-elles pas une nouvelle figure de l'homme? Livré à toutes les médiations et n'aspirant qu'à l'immédiat, ne suivant aucune règle mais conditionné par toutes, calculant toutes choses et s'abandonnant aux plus incontrôlées, ; n'en est-il pas disloqué? (shrink)

On business ethics of Papuan peoples in Indonesia.

Our discussion of the commentaries begins, at the evolutionary level, with issues raised by our account of the evolution of morality in terms of partner-choice mutualism. We then turn to the cognitive level and the characterization and workings of fairness. In a final section, we discuss the degree to which our fairness-based approach to morality extends to norms that are commonly considered moral even though they are distinct from fairness.

This article defends a relational account of personhood. I argue that the structure of personhood consists of dyadic relations between persons who can wrong or be wronged by one another, even if some of them lack moral competence. I draw on recent work on directed duties to outline the structure of moral communities of persons. The upshot is that we can construct an inclusive theory of personhood that can accommodate nonhuman persons based on shared community membership. I argue that, once (...) we unpack the internal relation between directed duties, moral status, and flourishing, relations can ground personhood and include nonhuman animals. (shrink)

Most people believe that suffering is intrinsically bad. In conjunction with facts about our world and plausible moral principles, this yields a pro tanto obligation to reduce suffering. This is the intuitive starting point for the moral argument in favor of interventions to prevent wild animal suffering. If we accept the moral principle that we ought, pro tanto, to reduce the suffering of all sentient creatures, and we recognize the prevalence of suffering in the wild, then we seem committed to (...) the existence of such a pro tanto obligation. Of course, competing values such as the aesthetic, scientific or moral values of species, biodiversity, naturalness or wildness, might be relevant to the all-things-considered case for or against intervention. Still, many argue that, even if we were to give some weight to such values, no plausible theory could resist the conclusion that WAS is overridingly important. This article is concerned with large-scale interventions to prevent WAS and their tractability and the deep epistemic problem they raise. We concede that suffering gives us a reason to prevent it where it occurs, but we argue that the nature of ecosystems leaves us with no reason to predict that interventions would reduce, rather than exacerbate, suffering. We consider two interventions, based on gene editing technology, proposed as holding promise to prevent WAS; raise epistemic concerns about them; discuss their potential moral costs; and conclude by proposing a way forward: to justify interventions to prevent WAS, we need to develop models that predict the effects of interventions on biodiversity, ecosystem functioning, and animals’ well-being. (shrink)

Malebranche's Dialogues on Metaphysics and on Religion is in many ways the best introduction to his thought, and provides the most systematic exposition of his philosophy as a whole. In it, he presents clear and comprehensive statements of his two best-known contributions to metaphysics and epistemology, namely, the doctrines of occasionalism and vision in God; he also states his views on such central issues as self-knowledge, the existence of the external world and the problem of theodicy. His skilful handling of (...) the dialogue form enables the reader to see how he responds to objections made to his earlier work The Search after Truth. This edition presents a translation of the text which is clear, readable and more accurate than any of its predecessors, together with an introduction that analyses Malebranche's central teachings and explains the importance of the Dialogues in the context of seventeenth-century philosophy. (shrink)

F. Enriques and G. de Santillana have begun in collaboration the composition of a general history of scientific thought. The first volume of this work, which has been recently published, is concerned with the science of antiquity,1 and to a large extent covers the same ground as the history of ancient philosophy, as the frontiers of philosophy and natural science, at any rate until the time of Aristotle, were not yet clearly differentiated. But the two historians are interested in bringing (...) into prominence a great many problems and personalities that the history of philosophy generally leaves on one side, although they help to complete and vivify the picture of the mentality of the ancients. Mathematics, medicine, geography, astronomy, applied mechanics, and physics, in short all the particular scientific studies that were just beginning to detach themselves from the parent trunk of general philosophy are studied by the authors in their individual developments and through the personalities of their cultivators. The explanations are clear and simple and can be followed even by readers unversed in science; the information is at first hand and is supplemented by a careful discussion of sources. The scientific questions are not isolated from the historical setting of the civilization of antiquity, but are shown in relation to matters of philosophy, religion, art, and moral and political life. The bibliography, intended for the more purely scientific and technical departments of philosophy, forms a very useful and timely completion of the bibliography of philosophic thought in general. (shrink)