On applique ici la méthode de l’analyse de réseau pour comprendre les temporalités de la construction de l’imprimerie, comme activité économique associant des hommes de lettres et des acteurs économiques. À partir des informations contenues dans l’Incunabula Short Title Catalogue, deux types de réseaux sont construits pour les éditions imprimées à Venise entre 1469 et 1500. Le premier permet d’observer le vivier des noms d’auteurs présents dans les éditions. Le second permet d’aller plus loin dans les notions de centralité et (...) d’autorité dans le réseau. Les presses vénitiennes se sont construites par l’utilisation réciproque des ateliers et des grands noms lettrés, dont le prestige légitimait les grandes entreprises typographiques. Avec le développement de l’imprimerie, les noms d’auteurs contemporains se font plus nombreux. Pour l’ensemble des lettrés impliqués dans l’imprimerie, cela se traduit par un rapport de force en leur défaveur. Les imprimeurs organisent eux-mêmes leurs collaborations en choisissant dans un vivier qui ne fait que s’accroître. Le prestige des auteurs est plus diffus et se nourrit de l’association de plusieurs noms dans une édition. Mais certains ont su particulièrement bien en jouer, comme le montre l’exemple d’Antonio Mancinelli. Ces réseaux éditoriaux, analysés dans leur épaisseur chronologique, permettent ainsi de redonner une vraie dimension temporelle à la construction d’une nouvelle industrie culturelle. (shrink)

Introduction: Platonic dramatology -- The political and philosophical problems. Using pre-Socratic philosophy to support political reform: the Athenian stranger ; Plato's Parmenides: Parmenides' critique of Socrates and Plato's critique of Parmenides ; Becoming Socrates ; Socrates interrogates his contemporaries about the noble and good -- Paradigms of philosophy. Socrates' positive teaching ; Timaeus-Critias: completing or challenging Socratic political philosophy? ; Socratic practice -- The trial and death of Socrates. The limits of human intelligence ; The Eleatic challenge ; The trial (...) and death of Socrates -- Conclusion: Why Plato made Socrates his hero. (shrink)

This landmark study examines the role played by the rediscovery of the writings of the ancient atomists, Epicurus and Lucretius, in the articulation of the major philosophical systems of the seventeenth century, and, more broadly, their influence on the evolution of natural science and moral and political philosophy. The target of sustained and trenchant philosophical criticism by Cicero, and of opprobrium by the Christian Fathers of the early Church, for its unflinching commitment to the absence of divine supervision and the (...) finitude of life, the Epicurean philosophy surfaced again in the period of the Scientific Revolution, when it displaced scholastic Aristotelianism. Both modern social contract theory and utilitarianism in ethics were grounded in its tenets. Catherine Wilson shows how the distinctive Epicurean image of the natural and social worlds took hold in philosophy, and how it is an acknowledged, and often unacknowledged presence in the writings of Descartes, Gassendi, Hobbes, Boyle, Locke, Leibniz, Berkeley. With chapters devoted to Epicurean physics and cosmology, the corpuscularian or "mechanical" philosophy, the question of the mortality of the soul, the grounds of political authority, the contested nature of the experimental philosophy, sensuality, curiosity, and the role of pleasure and utility in ethics, the author makes a persuasive case for the significance of materialism in seventeenth-century philosophy without underestimating the depth and significance of the opposition to it, and for its continued importance in the contemporary world. Lucretius's great poem, On the Nature of Things, supplies the frame of reference for this deeply-researched inquiry into the origins of modern philosophy. (shrink)

Within a weak subsystem of second-order arithmetic , that is -conservative over , we reformulate Kreisel's proof of the Second Incompleteness Theorem and Boolos' proof of the First Incompleteness Theorem.

In this note we show that groups with definable generics in a separably closed valued field K of finite imperfection degree can be embedded into groups definable in the algebraic closure of K.

Science relies on models and idealizations that are known not to be true. Even so, science is epistemically reputable. To accommodate science, epistemology should focus on understanding rather than knowledge and should recognize that the understanding of a topic need not be factive. This requires reconfiguring the norms of epistemic acceptability. If epistemology has the resources to accommodate science, it will also have the resources to show that art too advances understanding.

The development of genomics has dramatically expanded the scope of genetic research, and collections of genetic biosamples have proliferated in countries with active genomics research programs. In this essay, we consider a particular kind of collection, national biobanks. National biobanks are often presented by advocates as an economic ‘‘resource’’ that will be used by both basic researchers and academic biologists, as well as by pharmaceutical diagnostic and clinical genomics companies. Although national biobanks have been the subject of intense interest in (...) recent social science literature, most prior work on this topic focuses either on bioethical issues related to biobanks, such as the question of informed consent, or on the possibilities for scientific citizenship that they make possible. We emphasize, by contrast, the economic aspect of biobanks, focusing specifically on the way in which national biobanks create biovalue. Our emphasis on the economic aspect of biobanks allows us to recognize the importance of what we call clinical labor—that is, the regularized, embodied work that members of the national population are expected to perform in their role as biobank participants—in the creation of biovalue through biobanks. Moreover, it allows us to understand how the technical way in which national biobanks link clinical labor to databases alters both medical and popular understandings of risk for common diseases and conditions. (shrink)

Confronting fundamentalism: the dangerous God of "control and condemn" -- 1967: What the cake said -- God-talk 101: The art that is Christianity -- The Copernican turn of Christian humanism -- Quantum theology: the symbolic character of God-talk -- Theological weirdness (1): the symbolic claim that God is a person -- Poets as theologians: the moral imagination of Christian Humanist tradition -- Moses debates with a burning bush -- I AM v. I WILL BE: translation and the authority of theologians (...) -- Theological weirdness (2): the symbolic claim that God is necessarily impersonal -- What, then, can be said about God? (shrink)

We give a proof of Gödel's first incompleteness theorem based on Berry's paradox, and from it we also derive the second incompleteness theorem model-theoretically.

By formalizing Berry's paradox, Vopěnka, Chaitin, Boolos and others proved the incompleteness theorems without using the diagonal argument. In this paper, we shall examine these proofs closely and show their relationships. Firstly, we shall show that we can use the diagonal argument for proofs of the incompleteness theorems based on Berry's paradox. Then, we shall show that an extension of Boolos' proof can be considered as a special case of Chaitin's proof by defining a suitable Kolmogorov complexity. We shall show (...) also that Vopěnka's proof can be reformulated in arithmetic by using the arithmetized completeness theorem. (shrink)

It is well known that Gödel’s incompleteness theorems hold for ∑1-definable theories containing Peano arithmetic. We generalize Gödel’s incompleteness theorems for arithmetically definable theories. First, we prove that every ∑n+1-definable ∑n-sound theory is incomplete. Secondly, we generalize and improve Jeroslow and Hájek’s results. That is, we prove that every consistent theory having ∏n+1set of theorems has a true but unprovable ∏nsentence. Lastly, we prove that no ∑n+1-definable ∑n-sound theory can prove its own ∑n-soundness. These three results are generalizations of Rosser’s (...) improvement of the first incompleteness theorem, Gödel’s first incompleteness theorem, and the second incompleteness theorem, respectively. (shrink)

In this unconventional article, Sarah Banet-Weiser, Rosalind Gill and Catherine Rottenberg conduct a three-way ‘conversation’ in which they all take turns outlining how they understand the relationship among postfeminism, popular feminism and neoliberal feminism. It begins with a short introduction, and then Ros, Sarah and Catherine each define the term they have become associated with. This is followed by another round in which they discuss the overlaps, similarities and disjunctures among the terms, and the article ends with how (...) each one understands the current mediated feminist landscape. (shrink)

The rapid growth of next-generation genetic sequencing has prompted debate about the responsibilities of researchers toward genetic incidental findings. Assuming there is a duty to disclose significant incidental findings, might there be an obligation for researchers to actively look for these findings? We present an ethical framework for analyzing whether there is a positive duty to look for genetic incidental findings. Using the ancillary care framework as a guide, we identify three main criteria that must be present to give rise (...) to an obligation to look: high benefit to participants, lack of alternative access for participants, and reasonable burden on researchers. Our analysis indicates that there is no obligation to look for incidental findings today, but during the ongoing translation of genomic analysis from research to clinical care, this obligation may arise. (shrink)

This study explored representations of self-injury in Japanese manga. A content analysis of fifteen slice-of-life manga published between 2000-2017 was conducted, focusing on forty scenes that depict eighteen characters engaging in self-injury. Most depictions of self-injury reflect a stereotypical perception of “self-injurer,” a young girl cutting herself to cope with negative emotion. Characters receive informal support from friends and partners, while parents are portrayed as unsupportive and even triggering. An emergent trend was observed among manga targeting male readers to label (...) self-injuring women as “menhera” - mentally vulnerable damsels in distress - inviting a fetishistic gaze on the self-injuring female bodies. (shrink)

To preserve postoperative brain function, it is important for neurosurgeons to fully understand the brain's structure, vasculature, and function. Intraoperative high-frequency electrical stimulation during awake craniotomy is the gold standard for mapping the function of the cortices and white matter; however, this method can only map the “focal” functions and cannot monitor large-scale cortical networks in real-time. Recently, an in vivo electrophysiological method using cortico-cortical evoked potentials induced by single-pulse electrical cortical stimulation has been developed in an extraoperative setting. By (...) using the CCEP connectivity pattern intraoperatively, mapping and real-time monitoring of the dorsal language pathway is available. This intraoperative CCEP method also allows for mapping of the frontal aslant tract, another language pathway, and detection of connectivity between the primary and supplementary motor areas in the frontal lobe network. Intraoperative CCEP mapping has also demonstrated connectivity between the frontal and temporal lobes, likely via the ventral language pathway. Establishing intraoperative electrophysiological monitoring is clinically useful for preserving brain function, even under general anesthesia. This CCEP technique demonstrates potential clinical applications for mapping and monitoring large-scale cortical networks. (shrink)

Psychologists and philosophers have argued that the capacity for perseverance or “grit” depends both on willpower and on a kind of epistemic resilience. But can a form of hopefulness in one’s future success also constitute a source of grit? I argue that substantial practical hopefulness, as a hope to bring about a desired outcome through exercises of one’s agency, can serve as a distinctive ground for the capacity for perseverance. Gritty agents’ “practical hope” centrally involves an attention-fuelled, risk-inclined weighting of (...) two competing concerns over action: when facing the decision of whether to persevere, hopeful gritty agents prioritize the aim of choosing a course of action which might go very well over that of choosing a course of action which is very likely to go fairly well. By relying on the notion of a “risk-inclined attentional pattern” as a dimension of gritty agents’ practical hope, we can explain that form of hope’s contribution to their motivation and practical rationality, especially on a risk-weighted expected utility framework. The upshot is a more pluralistic view of the sources of grit. (shrink)

We consider a set-theoretic version of mereology based on the inclusion relation ⊆ and analyze how well it might serve as a foundation of mathematics. After establishing the non-definability of ∈ from ⊆, we identify the natural axioms for ⊆-based mereology, which constitute a finitely axiomatizable, complete, decidable theory. Ultimately, for these reasons, we conclude that this form of set-theoretic mereology cannot by itself serve as a foundation of mathematics. Meanwhile, augmented forms of set-theoretic mereology, such as that obtained by (...) adding the singleton operator, are foundationally robust. (shrink)

We shall prove the second incompleteness theorem via Kolmogorov complexity.

This paper introduces sequent systems for Visser's two propositional logics: Basic Propositional Logic (BPL) and Formal Propositional Logic (FPL). It is shown through semantical completeness that the cut rule is admissible in each system. The relationships with Hilbert-style axiomatizations and with other sequent formulations are discussed. The cut-elimination theorems are also demonstrated by syntactical methods.

Hope is often seen as at once valuable and dangerous: it can fuel our motivation in the face of challenges, but can also distract us from reality and lead us to irrationality. How can we learn to “hope well,” and what does “hoping well” involve? Contemporary philosophers disagree on such normative questions about hope and also on how to define hope as a mental state. This article explores recent philosophical debates surrounding the concept of hope and the norms governing hope. (...) It also underlies hope's significance for the philosophy of emotion and the ethics of interpersonal relations. (shrink)

This paper probes theories of justice underpinning the concept of equity to deconstruct the term and ascertain how best to equitably support refugee and asylum-seeking youth in U.S. schools. Building upon theories posited by John Rawls, Michael Sandel, and Amartya Sen, the paper aims to extend beyond ideal theory into a theoretical framework of equity with operationalizing potential. Recognizing refugee and asylum-seeking youth as part of the U.S. social contract and therefore bound to government support, the paper represents that equitable (...) education for these young people in our globalized world is essential from both a human rights and economic perspective. Such equitable education will only be achieved when universal minimum standards are offered to everyone and made inclusive, so that all are invited to fully participate as culturally respected learners and knowledge producers in academic spaces. (shrink)

Discussions of psychiatric nosology focus on a few popular examples of disorders, and on the validity of diagnostic criteria. Looking at Anorexia Nervosa, an example rarely mentioned in this literature, reveals a new problem: the DSM has a strict taxonomic structure, which assumes that disorders can only be located on one branch. This taxonomic assumption fails to fit the domain of psychopathology, resulting in obfuscation of cross-category connections. Poor outcomes for treatment of Anorexia may be due to it being pigeonholed (...) as an Eating Disorder, when a disturbance of body perception may be a more central symptom than food restriction. This paper explores the possibility of restructuring the DSM taxonomy to allow for a pluralist classification of disorders. This change could improve treatment and research without requiring any changes to diagnostic criteria. (shrink)

I defend the thesis that friendship can constitutively require epistemic irrationality against a recent, forceful challenge, raised by proponents of moral and pragmatic encroachment. Defenders of the “encroachment strategy” argue that exemplary friends who are especially slow to believe that their friends have acted wrongly are simply sensitive to the high prudential or moral costs of falsely believing in their friends’ guilt. Drawing on psychological work on epistemic motivation (and in particular on the notion of “need for closure”), I propose (...) a different picture of what friendship requires in the doxastic realm. I argue that contrary to what the encroachment strategy suggests, exemplary friends’ belief formation ought not be guided by a concern with accuracy or error avoidance, but instead by a need to avoid a “specific closure” – namely, a need to avoid concluding in their friends’ guilt. I propose that exemplary friendship often generates a defeasible, doxastic obligation to exemplify such a need, despite its inherent corrupting effects on exemplary friends’ epistemic faculties. (shrink)

We present a version of Herbelin’s image-calculus in the call-by-name setting to study the precise correspondence between normalization and cut-elimination in classical logic. Our translation of λμ-terms into a set of terms in the calculus does not involve any administrative redexes, in particular η-expansion on μ-abstraction. The isomorphism preserves β,μ-reduction, which is simulated by a local-step cut-elimination procedure in the typed case, where the reduction system strictly follows the “ cut=redex” paradigm. We show that the underlying untyped calculus is confluent (...) and enjoys the PSN property for the isomorphic image of λμ-calculus, which in turn yields a confluent and strongly normalizing local-step cut-elimination procedure for classical logic. (shrink)

We define a liar-type paradox as a consistent proposition in propositional modal logic which is obtained by attaching boxes to several subformulas of an inconsistent proposition in classical propositional logic, and show several famous paradoxes are liar-type. Then we show that we can generate a liar-type paradox from any inconsistent proposition in classical propositional logic and that undecidable sentences in arithmetic can be obtained from the existence of a liar-type paradox. We extend these results to predicate logic and discuss Yablo’s (...) Paradox in this framework. Furthermore, we define explicit and implicit self-reference in paradoxes in the incompleteness phenomena. (shrink)

The origins and development of community of philosophical inquiry -- The theoretical landscape -- Philosophising with five year olds -- Creating a community of philosophical inquiry (CoPI) with all ages -- Different methods of group philosophical discussion -- What you need to know to chair a CoPI with six to sixteen year olds -- Implementing CoPI in primary and secondary schools -- CoPI, citizenship, moral virtue, and academic performance with primary and secondary children.

専門的な予備知識は仮定せずに完全性定理や計算可能性から論じ、第一および第二不完全性定理、Rosserの定理、Hilbertのプログラム、G ̈odelの加速定理、算術の超準モデル、Kolmogorov複雑性などを紹介して、不完全性定理の数学的意義と、その根源にある哲学的問題を説く。.

サンデルや現代コミュニタリアンは、なぜ今、古代からの西洋政治思想「共通善」を改めて説くのか。新たな実践哲学が、ここから始まる。.

明治時代、人々は狐憑きやコックリさんなどの怪現象に右往左往していた。若き哲学者の井上圓了は、それらに合理的な道筋をつけることこそが哲学普及につながると信じて奔走。柳田國男からは見地の違いから「井上圓了 君には徹頭徹尾反対」と言われながらも、開学した「哲学館」(現東洋大学)で「妖怪学」の講義を行い、日本各地で膨大な怪異談を収集した。妖怪学者であり、哲学者、宗教改革者であった隠れた偉人、初の評伝。.