Computer assisted theorem proving is an increasingly important part of mathematical methodology, as well as a long-standing topic in artificial intelligence (AI) research. However, the current generation of theorem proving software have limited functioning in terms of providing new proofs. Importantly, they are not able to discriminate interesting theorems and proofs from trivial ones. In order for computers to develop further in theorem proving, there would need to be a radical change in how the software functions. Recently, machine learning results (...) in solving mathematical tasks have shown early promise that deep artificial neural networks could learn symbolic mathematical processing. In this paper, I analyze the theoretical prospects of such neural networks in proving mathematical theorems. In particular, I focus on the question how such AI systems could be incorporated in practice to theorem proving and what consequences that could have. In the most optimistic scenario, this includes the possibility of autonomous automated theorem provers (AATP). Here I discuss whether such AI systems could, or should, become accepted as active agents in mathematical communities. (shrink)

Despite a voluminous literature on happiness and well‐being, debates have been stunted by persistent dissensus on what exactly the subject matter is. Commentators frequently appeal to intuitions about the nature of happiness or well‐being, raising the question of how representative those intuitions are. In a series of studies, we examined lay intuitions involving happiness‐ and well‐being‐related terms to assess their sensitivity to internal (psychological) versus external conditions. We found that all terms, including ‘happy’, ‘doing well’ and ‘good life’, were far (...) more sensitive to internal than external conditions, suggesting that for laypersons, mental states are the most important part of happiness and well‐being. But several terms, including ‘doing well’, ‘good life’ and ‘enviable life’ were substantially more sensitive to external conditions than others, such as ‘happy’, consistent with dominant philosophical views of well‐being. Interestingly, the expression ‘happy’ was completely insensitive to external conditions for about two thirds of our participants, suggesting a purely psychological concept among most individuals. Overall, our findings suggest that lay thinking in this domain divides between two concepts, or families thereof: a purely psychological notion of being happy, and one or more concepts equivalent to, or encompassing, the philosophical concept of well‐being. In addition, being happy is dominantly regarded as just one element of well‐being. These findings have considerable import for philosophical debates, empirical research and public policy. (shrink)

This chapter reviews empirical research on the rules governing assertion and retraction, with a focus on the normative role of truth. It examines whether truth is required for an assertion to be considered permissible, and whether there is an expectation that speakers retract statements that turn out to be false. Contrary to factive norms (such as the influential “knowledge norm”), empirical data suggests that there is no expectation that speakers only make true assertions. Additionally, contrary to truth-relativist accounts, there is (...) no requirement for speakers to retract statements that are false at the context of assessment. We conclude by suggesting that truth still plays a crucial role in the evaluation of assertions: as a standard for evaluating their success, rather than permissibility. (shrink)

This paper combines two ideas: (1) That the Lewisian best system analysis of lawhood (BSA) can cope with laws that have exceptions (cf. Braddon-Mitchell in Noûs 35(2):260–277, 2001; Schrenk in The metaphysics of ceteris paribus laws. Ontos, Frankfurt, 2007). (2) That a BSA can be executed not only on the mosaic of perfectly natural properties but also on any set of special science properties (cf., inter alia, Schrenk 2007, Selected papers contributed to the sections of GAP.6, 6th international congress of (...) the society for analytical philosophy. Mentis, Paderborn/Münster, 2008; Cohen and Callender in Philos Stud 145:1–34, 2009, Erkenntnis 73:427–447, 2010). Bringing together (1) and (2) results in an analysis of special science ceteris paribus laws. (shrink)

This essay is a contribution to a symposium on Anja Jauernig's excellent book, The World According to Kant. I discuss Jauernig's account of how Kant conceives the empirical reality of appearances.

The volume contains the written versions of all papers given at the workshop, divided into five chapters and followed by Alvin Goldman's replies in the sixth.

Text-generative AI-systems have become important semantic agents with ChatGPT. We conducted a series of experiments to learn what teachers’ conceptions of text-generative AI are in relation to philosophical texts. In our main experiment, using mixed methods, we had twenty-four high school students write philosophical essays, which we then randomized to essays with the same command from ChatGPT. We had ten prospective teachers assess these essays. They were able to tell whether it was an AI or student essay with 78.7 percent (...) accuracy, which is better than the Open AI Classifier. Interestingly, however, they used criteria like argumentative and logical flawlessness and neutrality. We concluded from this that they are using an inverted Turing test and are no longer looking for rationality in machines but for irrationality in humans. (shrink)

Psychological measurement has received strong criticism throughout the history of psychological science. Nevertheless, measurements of attributes such as emotions or intelligence continue to be widely used in research and society. I address this puzzle by presenting a new causal perspective to psychological measurement. I start with assumptions that both critics and proponents of psychological measurement are likely to accept: a minimal causal condition and the observation that most psychological concepts are ill-defined or ambiguous. Based on this, I argue that psychological (...) measurement is fundamentally different from measurement in the physical sciences but can nevertheless be useful. (shrink)

Behind the images, the actual logical work iscarried out by reasoning-specific operations on these spatial layout models.

Hume glaubte, die Kausalverknüpfung sei eine „secret connection“, also eine Verknüpfung, die mindestens unerkennbar, wenn nicht sogar inexis- tent ist. Einige moderne Gegner Humes halten dem entgegen, dass apos- teriorisch entdeckte, metaphysische Notwendigkeit, wie wir sie bei- spielsweise von Kripke und Putnam kennen, diejenige objektiv-reale Verknüpfung in der Welt ist, die auch die Rolle einer kausalen Verknüp- fung in der Welt spielen kann. Ich hinterfrage diese anti-Hume’sche Identifizierung kausaler mit me- taphysischer Notwendigkeit, zeige aber auch einen anderen Weg auf, kausale (...) Kräfte zu postulieren: Wenn unsere willentlichen Handlungen auf Widerstände in der Welt stoßen, haben wir (direkten) Beobachtungszu- gang zu einer Verknüpfung in der Welt, die mindestens einen essentiellen Teil kausaler Kraft ausmacht. (shrink)

The ArgumentContemporary natural sciences succeed remarkably well in ensuring a relatively continuous transmission of their cognitively relevant traditions and in creating a widely shared background consensus among their practitioners – hermeneutical ends seemingly achieved without hermeneutical awareness or explicitly acquired hermeneutical skills.It is a historically specific – emerging only in the nineteenth century – cultural organization of the Author-Text-Reader relation which endows them with such an ease of hermeneutical achievements: an institutionally fixed form of textual and intertextual practices, normatively posited (...) ways of adequate reception and criticism, etc. The same organization also explains a number of their often-discussed epistemic and cultural characteristics: their depersonalized objectivity, the social closure of their discourse and their reduced cultural significance, the shallow historical depth of their activated traditions, etc.The cognitive structure and the social function of contemporary natural sciences are intimately interwoven with a set of sui generis cultural relations that are partially fixed in the textual characteristics of their literary objectivations. A comparative hermeneutical analysis of natural sciences as a specifically constituted and institutionalized cultural genre or discourse-type brings into relief those contingent cultural conditions and relations to which some of their fundamental epistemological characteristics are bound, or at least with which they are historically closely associated. (shrink)

In The Crisis of the European Union Jürgen Habermas claims that the constituent power in the EU is shared between the community of EU citizens and the political communities of the member states. By his own account, Habermas arrives at this concept of a dual constituent subject through a rational reconstruction of the genesis of the European constitution. This explanation, however, is not particularly illuminating since it is controversial what the term ‘rational reconstruction’ stands for. This article critically discusses the (...) current state of research on rational reconstruction, develops a new reading of Habermas’ method and invokes this account for an explanation and evaluation of the notion of a European pouvoir constituant mixte. (shrink)

In this paper, we explore digitally fabricated aesthetic enhancements and modifications of the body as well as digitally fabricated fauna habitats. We will address how we utilize speculative works through our bio inspired digitally fabricated designs via two of our most recent projects: {skin} D.E.E.P. and in silico et in situ. Through these two projects we explore cultural implications of the intersection of technology and biologically inspired art/design. Technology has provided an ever increasing amount of data which has facilitated the (...) way data can be used in aesthetic explorations. Technology can redefine the human experience by enhancing our senses, experiences, and forms of expression. In our work {skin} D.E.E.P., we explore these ideas via augmentation through wearables and biomimetic expressions on the skin through digitally fabricated prosthetics. {skin} D.E.E.P. employs temporary biomimetic skin patterns via wearable 3D printed exoskeletons. The first series of this work mimics the patterns and textures of animal skin via ephemeral impressions onto human skin. Taking inspiration from shedding snakeskin, we shed the outer layer by removing the 3D printed prosthesis. The epidermis retains the negative imprint of the prosthetic mimicking the look of serpent skin. The dermis reestablishes the smooth form of the human skin as it heals itself within the hour, erasing the ephemeral imprint, symbolically representing rebirth and renewal. Investigating the ephemeral aesthetic of textured patterns on human skin will not by any means provide a solution to an engineering problem, yet acts as a larger philosophical basis to conduct a discussion about the possibilities of blending bio inspired designs. The manifestation of data into physical form occurs via digital fabrication in our most recent series in silico et in situ: fauna habitats in the age of voxels, where we aim to create a new ecosystem for animals and to potentially augment their habitat. The habitats include pollinator waterers, spider habitats and turtle basking platforms. This project pushes forward with a new piece—the development of a 20-foot avian sculpture that will solely exist to support the habitat of the Chimney Swift species. The Chimney Swift is a near-threatened bird species in the US. in silico et in situ investigates the interplay of art, nature and technology by contextualizing sculptural works and placing these sculptures into nature. The project serves as a breeding ground for a larger dialogue about nature, culture, human intervention, design art and technology. Providing the artwork in the public sphere, barrier free in nature, fosters this discourse. (shrink)

I argue for the possibility of a proprioceptive art in addition to, for example, visual or auditory arts, where aspects of some martial arts will serve as examples of that art form. My argument is inspired by a thought of Ted Shawn’s, one of the pioneers of American modern dance: "Dance is the only art wherein we ourselves are the stuff in which it is made.” In a first step, I point out that in some practices of martial arts (in (...) the paper I will introduce “hyongs” & “katas”), we are, too, the stuff these performances are made of. Second, I show that we, as martial arts practitioners, are not in the first place visual or auditorial observers (as common in painting or music or ballet) but introspective, proprioceptive perceivers of our bodies and their movements. (As a corollary we get that we are, in such a case, necessarily our exclusive audience.) In an third crucial step, I show that the martial arts practices referred to, hyongs & katas, and especially the proprioceptive aspects thereof, can indeed count as art. Thus, proprioceptive art is possible because some practices of some martial arts are actual existing examples of that art form. (shrink)

The two main domains of high culture - the arts and the sciences - seem to be completely different, simply unrelated. Is there any sense then in talking about culture in the singular as a unity? A positive answer to this question presupposes that there is a single conceptual scheme, in terms of which it is possible to articulate both the underlying similarities and the basic differences between these domains. This article argues that - at least in respect of ‘classical’ (...) modernity - there is such a framework: the normatively conceived Author-Work-Recipient relation. It allows the disclosure of the paradoxical unity of culture: its two main realms are constituted as polar opposites and thus as strictly complementary. Through such an organization, culture could fulfil an affirmative, compensatory role. At the same time however, it also allowed culture to acquire the character of social critique, a function realized through the antagonistically opposed projects of Enlightenment and Romanticism - projects whose illusions are now evident. (shrink)

Natur, Kultur und Technik – diese drei Begriffe konstituieren ein mannigfaltiges, komplexes Beziehungsgeflecht, in dessen Zentrum der Mensch und sein Handeln stehen. Wie wollen wir mit technologischen Innovationen und natürlichen Ressourcen umgehen? Lassen sich vermeintliche Gegensätze und Widersprüche auflösen? Und welche kulturelle Praxis kann uns dabei helfen? Fragen wie diese liegen an der Schnittstelle verschiedener Fachdisziplinen. Für die philosophische Reflexion sind sie daher in besonderer Weise fruchtbar. Die Autorinnen und Autoren dieses Bandes thematisieren unterschiedliche Aspekte des Dreigespanns Natur, Kultur und (...) Technik, darunter Bildung, Ernährung, Ethik, Evolution, Nachhaltigkeit, Normsetzung, Umweltmanagement und Willensfreiheit. Sie demonstrieren in ihren Beiträgen ein lebendiges interdisziplinäres Denken, wie es zum Selbstverständnis von APHIN, dem wissenschaftlichen und gemeinnützigen Arbeitskreis philosophierender Ingenieure und Naturwissenschaftler, gehört. (shrink)

Dieses interdisziplinäre Handbuch rekonstruiert Optimierung als ein Phänomen, das konstitutiv in aktuelle Entwicklungen der Gegenwart eingeschrieben ist. Denn es erscheint kaum mehr möglich, nicht optimieren zu wollen oder zu können. Das gilt für die Arbeit an sich selbst, die Verbesserung des Anderen und die Perfektionierung der Welt. Optimierung verspricht messbare Steigerungen von Effektivität und Effizienz sowie eine Erweiterung der Reichweite von Einfluss und Macht. Sie wirft aber auch Fragen der Instrumentalisierung, der Verdinglichung und Entfremdung sowie Fragen nach Grenzen und Unverbesserlichkeiten (...) auf. Ohne eine Auseinandersetzung mit der Idee der Optimierung lässt sich eine moderne Humanwissenschaft heute nicht mehr konzipieren. (shrink)

Die Hauptthese von Sinn im Leben (SIL) besagt, dass die individuelle Orientierung am Quadrivium des Wahren, Schönen, Guten und Moralischen den Kern dessen ausmacht, was wir als sinnvolles Leben begreifen. Das, was unserem Leben Sinn verleiht, sind unter anderem Handlungen, die darauf abzielen, zum wissenschaftlichen Fortschritt beizutragen, künstlerische Projekte zu verwirklichen, anderen Menschen zu helfen oder die Welt gerechter zu gestalten. In diesem Kontext ist es nicht überraschend, dass ich die wissenschaftliche Suche nach einer philosophisch gerechtfertigten Sinntheorie selbst als sinnstiftend (...) betrachte. Daher bin ich Beatrix Himmelmann und Christoph Horn dankbar dafür, dass sie durch ihre kritischen Nachfragen meine Suche angeregt und vertieft haben, um hoffentlich dadurch zum Diskurs über das sinnvolle Leben beizutragen. Um auf die unterschiedlichen Fragen einzugehen, habe ich meine Antworten in drei Themenbereiche unterteilt. Ich hoffe, damit die meisten strittigen Diskussionspunkte zu adressieren und meine eigene Sichtweise klarer darzustellen. Es sollte selbstverständlich sein, dass dies nur der Beginn einer Diskussion und nicht ihr Ende ist. (shrink)

The last decade has seen significant improvements in Artificial Intelligence (AI) technologies, including robotics, machine vision, speech recognition and text generation. Increasing automation will undoubtedly affect the future of work, and discussions on how the development of AI in the workplace will impact labor markets often include two scenarios: (1) labor replacement and (2) labor enabling. The former involves replacing workers with machines, while the latter assumes that human-machine cooperation can significantly improve worker productivity. In this context, it is often (...) argued that (1) could lead to mass unemployment and that (2) therefore would be more desirable. We argue, however, that the labor-enabling scenario conflates two distinct possibilities. On the one hand, technology can increase productivity while also promoting “the goods of work,” such as the opportunity to pursue excellence, experience a sense of community and contribute to society (human augmentation). On the other hand, higher productivity can also be achieved in a way that reduces opportunities for the “goods of work” and/or increases “the bads of work,” such as injury, reduced physical and mental health, reduction of autonomy, privacy and human dignity (human stunting). We outline the differences of these outcomes and discuss the implications for the labor market in the context of contemporaneous discussions on the value of work and human wellbeing. (shrink)

Long non‐coding RNAs (lncRNAs) have recently gained increasing attention because of their crucial roles in gene regulatory processes. Functional studies using mammalian skin as a model system have revealed their role in controlling normal tissue homeostasis as well as the transition to a diseased state. Here, we describe how lncRNAs regulate differentiation to preserve an undifferentiated epidermal progenitor compartment, and to maintain a functional skin permeability barrier. Furthermore, we will reflect on recent work analyzing the impact of lncRNAs on the (...) progression from normal epithelium to the development of skin disorders and cancer. (shrink)

Die von Kierkegaard zwischen Januar und September 1850 geführten NB-Journale enthalten autobiographische Notizen, philosophisch-theologische Reflexionen (etwa zur Hermeneutik) und Kommentare zu eigenen und fremden Werken (wobei das Spektrum der Lektüren von Hugo von St. Viktor bis zu Victor Hugo reicht). Die Texte ermöglichen so den Mitvollzug eines Denk- und Schreibprozesses, der nicht zuletzt Kierkegaards ständiger Selbstprüfung dient.

This book collects major original essays developed from lectures given at the award of the Lauener Prize 2016 to T. M. Scanlon for his outstanding oeuvre in Analytical philosophy. In "Contractualism and Justification," Scanlon identifies some difficulties in his theory and explores possible ways to deal with them. In "Improving Scanlon’s Contractualism," D. Parfit recommends revisions and extensions of Scanlon’s theory, while R. Forst suggests in "Justification Fundamentalism" that Scanlon may want to replace reason with justification as his foundational concept. (...) T. Nagel raises fundamental questions concerning "Moral Reality and Moral Progress," and S. Mantel offers in "On How to Explain Rational Motivation" a critical discussion of Scanlon’s cognitivist theory of motivation. Z. Stemplowska does the same for Scanlon’s conception of responsibility in "Substantive Responsibility and the Causal Thesis," and S. Olsaretti suggests in "Equality of Opportunity and Justified Inequalities" an alternative to Scanlon’s arguments against economic inequalities. All contributors receive extensive replies by Scanlon. For anyone interested in Scanlon’s seminal work in moral and political philosophy, the present volume is utterly indispensable. (shrink)

The notion of a law of nature is a central component of our scientific and philosophical conception of reality. The lawful character of our world makes natural phenomena predictable, understandable and manipulable in specific ways. This book provides a systematic overview of the most important philosophical conceptions of laws and concludes with a presentation of a novel version of the best systems theory.

RNAs have emerged as a major target for diagnostics and therapeutics approaches. Regulatory nonprotein‐coding RNAs (ncRNAs) in particular display remarkable versatility. They can fold into complex structures and interact with proteins, DNA, and other RNAs, thus modulating activity, localization, or interactome of multi‐protein complexes. Thus, ncRNAs confer regulatory plasticity and represent a new layer of regulatory control. Interestingly, long noncoding RNAs (lncRNAs) tend to acquire complex secondary and tertiary structures and their function—in many cases—is dependent on structural conservation rather than (...) primary sequence conservation.Whereas for many proteins, structure and its associated function are closely connected, for lncRNAs, the structural domains that determine functionality and its interactome are still not well understood. Numerous approaches for analyzing the structural configuration of lncRNAs have been developed recently. Here, will provide an overview of major experimental approaches used in the field, and discuss the potential benefit of using combinatorial strategies to analyze lncRNA modes of action based on structural information. (shrink)

We shape our surroundings; form the rooms we live in, so that we feel comfortable in them. This shows parts of our personality – it can be inferred from our environment. In this study, we created stereotypical desks embodying different personality styles and let 190 students choose which desk fits – in their subjective perspective - the most to their personality. To determine their personality style, the Personality Style and Disorder Inventory (PSSI) was used. Correspondence analysis was conducted to investigate (...) the relationship between personality styles and choice of desks. Results did not show convergence of personality styles and desks. Contrary to the popular scientific idea, personality and creation of surroundings were not related; regarding our study, the relation is uninterpretable suggesting an individual’s desk choice is not statistically dependent on one's individual’s highest PSSI subscale. The study can be regarded as a pilot project for desk designs as classification tool for personality. (shrink)

Güss, Tuason, and Devine (2020) recently provide an opinion concerning problems with police reports as data source from a researchers' perspective. Based on their research project using police reports, they report their experiences with research using this data type.According to the authors, the first problem concerns the limited access to police reports and second problem arises from poor the quality of police reports. Their experiences stem from the United States of America, and it seems that police reports as a data (...) source did not meet the researcher's expectations. At first glance, one might assume that researchers would find a comparable situation regarding police reports in Germany as well (and probably everywhere).The first problem highlighted by Güss et al. derives, not surprisingly, from the access to police data in general. Most recently, Geujges and Terizakis (2022) report experiences from their own research project in several federal states of Germany comparable to those of Güss et al. (2020). Similarly to the United States, Germany is federally organized. By constitution (Art. 30 GG), the sixteen federal states execute governmental authority by sixteen state polices and release different police laws and specific regulations that determine practical police work and consequently the access to police data. Moreover, the willingness of police organizations to support external (independent) research seems to differ both between federal states and within federal sta... (shrink)

Diese Einleitung skizziert neben einigen begrifflichen Vorbemerkungen zwei Themenfelder, nämlich den Müll und eine Gruppe von Menschen, die in der Soziologie „die Überflüssigen“ genannt werden. Einerseits wird deutlich, dass der Müll die Rückseite der materiellen Kultur in ihrer Vielfältigkeit darstellt und dass die Geschichte der materiellen Kultur immer auch eine Geschichte dessen ist, was Menschen hinter sich lassen, wessen sie sich entledigen und was sie entsorgen. Andererseits macht die soziologische Ungleichheitsforschung deutlich, dass die „Überflüssigkeit“ von Menschen in einen Zusammenhang mit (...) dem Problem der sozialen Exklusion und damit mit gezielter Ausgrenzung und funktionaler Ausschließung gebracht werden kann. (shrink)

This book examines the influence of Saint Thomas Aquinas upon Nicholas of Cusa’s doctrine of human nature. It explores this influence against the background of other authors associated with Cusanus’ own generation of philosophers in order to demonstrate the uniqueness of Cusanus’ use of Aquinas.

We examine fields in which model theoretic algebraic closure coincides with relative field theoretic algebraic closure. These are perfect fields with nice model theoretic behaviour. For example, they are exactly the fields in which algebraic independence is an abstract independence relation in the sense of Kim and Pillay. Classes of examples are perfect PAC fields, model complete large fields and henselian valued fields of characteristic 0.