In this paper, I provide a thorough discussion and reconstruction of Bernard Bolzano’s theory of grounding and a detailed investigation into the parallels between his concept of grounding and current notions of normal proofs. Grounding (Abfolge) is an objective ground-consequence relation among true propositions that is explanatory in nature. The grounding relation plays a crucial role in Bolzano’s proof-theory, and it is essential for his views on the ideal buildup of scientific theories. Occasionally, similarities have been pointed out between Bolzano’s (...) ideas on grounding and cut-free proofs in Gentzen’s sequent calculus. My thesis is, however, that they bear an even stronger resemblance to the normal natural deduction proofs employed in proof-theoretic semantics in the tradition of Dummett and Prawitz. (shrink)

Suppose there comes a day when Homo sapiens has evolved into or been overtaken by techno sapiens. Will it then still make sense to speak of human beings as created in the image of God? What is the relevance of asking such a question today? I offer a sketch of the present state of development and discussion in artificial intelligence (AI) and artificial life (AL) and discuss some implications for the human condition. Taking into account both reality and fiction in (...) AI and AL, I hold that, regardless of the degree of realization, issues related to technological evolution inform the cultural agenda—at least the European–American one. I comment on antireductionist arguments and on arguments from philosophy and (history of) culture. I argue in favor of a consonance between neurotechnology and the Christian gospel in terms of realizing the marks of messianic life. However, issues of justice, reason versus nature, and perfection and finitude versus imperfection and immortality call for further illumination. Even though no principal opposition seems to exist between technological evolution and possible interpretations of the concept of the image of God (imago dei), a number of significant dissimilarities need to be addressed, such as the differences between technical improvement and forgiveness or transformation and between immortality and resurrection. The role of irregularity, disturbance, and error for creative processes in nature and culture is an exciting topic in science and technology as well as in theology. (shrink)

Ever decreasing numbers of applicants arrive in language departments at UK universities. In the face of this decline, and against the backdrop of higher education languages departments being reduced across the UK, it is important to investigate the supply chain of languages undergraduates in the pre-entry sector. This article reports on a collaborative action research project between Language Networks for Excellence, University of Wolverhampton, and King Edward VI College, Stourbridge. The objective was to investigate how the HE sector can effectively (...) influence and support linguists and post-16 establishments in enhancing progression to studying languages at university and how the post-16 sector can ensure they meet language students’ needs in progression to HE. The research presents a number of conclusions and recommendations, not least that, whilst support from HE for 17—18-year-old school students and their institutions is welcome and contributes to students’ confidence and skills, there may be merit in targeting students much further down the supply chain, encouraging progression to HE through tailored linguistic and motivational support strategies. (shrink)

The internet could be an efficient political instrument if it were seen as part of a democracy where free and open discourse within a vital public sphere plays a decisive role. The model of deliberative democracy, as developed by Jürgen Habermas and Seyla Benhabib, serves this concept of democracy best. The paper explores first the model of deliberative democracy as a ‘two-track model’ in which representative democracy is backed by the public sphere and a developing civil society. Secondly, it outlines (...) the normative concept of the public sphere and its basic ideas, namely the uncoerced communication of equal participants with equal access and equal rights to intervene or propose themes. The third part for discussion shows how the internet could fit into this concept of public sphere and influence the quality of political debates, and emphasizes the important role it can play in the political process. (shrink)

In this paper we develop a novel propositional semantics based on the framework of branching time. The basic idea is to replace the moment-history pairs employed as parameters of truth in the standard Ockhamist semantics by pairs consisting of a moment and a consistent, downward closed set of so-called transitions. Whereas histories represent complete possible courses of events, sets of transitions can represent incomplete parts thereof as well. Each transition captures one of the alternative immediate future possibilities open at a (...) branching point. The transition semantics exploits the structural resources a branching time structure has to offer and provides a fine-grained picture of the interrelation of modality and time. In addition to temporal and modal operators, a so-called stability operator becomes interpretable as a universal quantifier over the possible future extensions of a given transition set. The stability operator allows us to specify how and how far time has to unfold for the truth value of a sentence at a moment to become settled and enables a perspicuous treatment of future contingents. We show that the semantics developed along those lines generalizes and extends extant approaches: both Peirceanism and Ockhamism can be viewed as limiting cases of the transition approach that build on restricted resources only, and on both accounts, stability collapses into truth. (shrink)

The transition semantics presented in Rumberg (J Log Lang Inf 25(1):77–108, 2016a) constitutes a fine-grained framework for modeling the interrelation of modality and time in branching time structures. In that framework, sentences of the transition language L_t are evaluated on transition structures at pairs consisting of a moment and a set of transitions. In this paper, we provide a class of first-order definable Kripke structures that preserves L_t-validity w.r.t. transition structures. As a consequence, for a certain fragment of L_t, validity (...) w.r.t. transition structures turns out to be axiomatizable. The result is then extended to the entire language L_t by means of a quite natural ‘Henkin move’, i.e. by relaxing the notion of validity to bundled structures. (shrink)

This article compares health promotion attitudes towards prostate cancer and Alzheimer’s disease. Our aim is to demonstrate that these two apparently distinct conditions of the aging body – one affecting the male reproductive system, the other primarily the brain – are addressed in similar fashion in recent public health activities because of a growing emphasis on a ‘cardiovascular logic’. We suggest that this is a form of reductionism, and argue that it leaves us with a dangerous paradox: while re-transcending, at (...) least partially, the conceptual separation of body and brain, it clouds much-needed discussion and research, such as contingent issues of socio-economic and socio-cultural disease disparities. (shrink)

I argue that there is no “roaring reality of rampant secularism” with “technological application as its chief agent,” as claimed by John Caiazza (2005). Two phenomena, techno‐religion and a spirituality of technology, suggest a different picture of reality: Technology may be an alternative spirituality rather than an ally of a secularism that makes “nutcrackers of the soul” out of people who should be “dancers” (Nietzsche). An analysis of secularism and its manifold causes indicates that secularism is a fruit of both (...) science and religion. The secular is a companion of religion rather than its enemy. Hence, I recommend a heuristic instead of an ontological use of the concept of secularism. In a technological age, religion is changing rather than being displaced. These changes are illustrated by the increase of private religiosity, megachurches, and cyber‐spirituality. Energized by the tension between finitude and creativity, technology shares in the marks of spirituality (Philip Hefner) and in the potential for good and evil. In this situation, fundamentalism and dogmatism in religion, science, and technology are a greater threat than secularism. (shrink)

Digitalization and the development of Artificial Intelligence (AI) will bring about substantial changes in all aspects of life. This happens in a world marked by the poisonous synergy of five Ps, polarization, populism, protectionism, post‐truth, patriarchy, as well as an ambiguous interplay of secularization and new visibility of religion.If development of AI is to be beneficial for people and planet a number of challenges must be met. In this regard, religion‐and‐science dialogue needs improvement in making things not only intellectually but (...) also spiritually fit. Ethics should be involved from the beginning rather than being called upon first when problems arise. Faith communities have a prophetical, diaconal, ethical, and theological role.Based on the characterization of life as a fourfold web of relationality, personal, social, political, as well as global issues are identified and discussed. These include mental health disorders, addiction, manipulation, and self‐exploitation. Reflections on leadership suggest resilience, coexistence, and hope as theological key components for navigating the uncharted realms of the digital age. (shrink)

For Seneca, the firmness of the Wise is shown in his ability to remain calm against attacks, as he explains in his treatise of that name. Attacks can come in the form of injustice, iniuria, and disparagement, contumelia; Seneca proves that neither of them affects the wise man. Contumelia is linked to contemptus in definition and conceptualization so that the remarks on how to deal with disparagement contain clues as to what contemptus means for Seneca. The article argues that Seneca (...) understands the term in a double sense: First, contemptus denotes a reprehensible attitude. Second, it designates a kind of indifference which is to be understood in the context of Stoic apatheia. (shrink)

Quipus, knotted structures of woollen or cotton cords, were used as a bureaucratic tool in the Inca state. In the absense of a writing system, numerals and possibly other pieces of information were encoded on the quipus by tying knots into elaborately structured coloured cords. Though interpretation of the quipu contents is far from complete, some information on Inca mathematics can be deducted from the analysis of ancient specimen, especially when combined with the results of anthropological and linguistic research in (...) contemporary Andean societies. In this paper, the quipus are introduced, their structure is explained, and some results on mathematical concepts of the Incas are presented based on a comparison of mathematical and anthropological literature on the subject. (shrink)

How is it possible to develop an identity that lives from the meaningful relationship to a concrete tradition without falling into fundamentalist self-closure when trying to maintain this relationship? The present study addresses this question by interpreting Alasdair MacIntyre's traditional concept in response to the lack of orientation in contemporary society. The American philosopher Alasdair MacIntyre assumes that modern societies can only convey identity through the traditions they contain. He defines "tradition" as a discussion about the correct interpretation of the (...) traditional content. MacIntyre sees coexistence in plural societies as a permanent encounter of different, traditional identities that struggle to convince each other of the truthfulness of their own worldview. The consequence is not blind conflict, but rather the acquisition of cultural language skills: Real encounters occur when a tradition learns to understand its counterpart from its genuine perspective. In this way, MacIntyre makes communicative competence the guiding factor of its model. In conversation with Karl Barth's theology, the study further develops this model from a Protestant perspective. Barth is received as the 20th century theologian who most consistently thought of Christian identity in particular terms. Even more than for Barth, the self-assurance of Christian tradition is being put to the test today. The study develops a model of Christian orientation in pluralism, which is based on the interplay of cultural competence and trust in the sustainability of one's own religious identity. (shrink)

A comparison of Merge, a model of comprehension, and WEAVER, a model of production, raises five issues: merging models of comprehension and production necessarily creates feedback; neither model is a comprehensive account of word processing; the models are incomplete in different ways; the models differ in their handling of competition; as opposed to WEAVER, Merge is a model of metalinguistic behavior.

Many authors have recently highlighted the importance of prediction for language comprehension. Pickering & Garrod (P&G) are the first to propose a central role for prediction in language production. This is an intriguing idea, but it is not clear what it means for speakers to predict their own utterances, and how prediction during production can be empirically distinguished from production proper.

Aus geteilten Zeiten: Studien zur Nanbeichao-Periode. Geburtstagsgabe für Shing Müller 宋馨. Edited by Roderich Ptak. Deutsche Ostasienstudien, vol. 35. Gossenberg: Ostasien Verlag, 2020. Pp. vi + 216. €29.

Communicating the process quality of ethically produced food effectively is of highest interest to policy makers, organizations, retailers and producers in order to enhance ethical food production and increase ethical label use. The objective of this paper is to unveil the effectiveness of different communication treatments in regard to changing purchase behavior of different consumer groups. Different communication material for beef produced according to consumer expectations was compiled and applied in a consumer survey—incorporating a choice experiment and a questionnaire—with 676 (...) respondents in three cities of Germany. A Latent Class Mixed Logit Model was basis to identify different consumer segments and their response to the different communication treatments. The effects of different communication treatments unveil the importance to address information in an objective manner. Target groups could be enlarged through the assessment of clear, objective information. Moreover, most consumers were more likely to refrain from choosing a cheap beef product from conventional, barn-based rearing. Hence, consumers might be interested in reducing their overall consumption of beef and prefer the consumption of high value ethical beef with less frequency. Producers, market actors and policy makers should realize that a high share of consumers, not only smaller target groups, value ethical food and may be ready to change their consumption habits, if they are adequately informed. (shrink)

Der Band versammelt Beiträge, die die Konstruktivität wissenschaftlicher Theoriebildung in ihrem Verhältnis zur Körperlichkeit des Menschen thematisieren. Dazu stellt das Buch mit dem Fahrrad ein technisches Gerät , eine Maschine in den Mittelpunkt, die die Körperlichkeit des Menschen in paradigmatischer Weise aufgreift. In vier Teilen zum Fahrrad, zur Person, zum Organismus und zur Konstruktion entwickeln die Autoren verschiedene miteinander korrespondierende empirische und philosophische Zugangsweisen. Die Autoren verbindet das gemeinsame Anliegen, eines kritische Analyse ihres Gegenstandsbereiches mit Blick auf den Körper zu (...) entwickeln. (shrink)

A central challenge of Amartya Sen’s comparative view of justice is to bring cultural diversity to bear on conceptualizing global justice, which includes building bridges across cultures that enable effective action, and rendering compatible the most beneficent of Rawlsian (or transcendental) intentions with irreducible cultural diversity. For social scientists meeting this challenge requires, first, taking account of variation of social practices in the social construction of meaning, and second, uncovering invisible frontiers of global justice that remain hidden due to conceptual (...) or empirical oversight. The latter is especially true for contemporary International Relations (IR) theory, which assumes state actors to be the main interlocutors in the global realm, and thus precludes consideration of micro-level forms of inter-national relations (understood as interaction among all types of actors that takes place across country borders and that bears traits of national identity). Alternatively, Sen’s micro-perspectival approach offers a welcome support for pluralist approaches that both appreciate non-state access to contestation in the international arena, and account for the meaning-in-use of fundamental norms (democracy, rule of law, human rights) in different cultural and inter-national contexts. (shrink)

Der Sammelband nimmt erstmalig seit Ende des Kalten Krieges für den deutschsprachigen Raum eine komprimierte Bestandsaufnahme der aktuellen Aktivitäten, rechtlichen Rahmenbedingungen, politischen und militärischen Konfliktlinien und Kooperationsräume sowie weiterführender Trends und Herausforderungen im Weltraum vor. Dabei werden zum einen die rechtlichen, militärischen, wirtschaftlichen und technologischen Herausforderungen des Bedeutungszuwachses dieses strategisch gewichtigen Raumes analysiert. Zum anderen werden Handlungsfähigkeit und -bedarf ausgewählter Weltraummächte, ihre Kooperationsmöglichkeiten und Konfliktpotenziale sowie der internationale politische Regulierungsbedarf herausgearbeitet und darauf aufbauend politische Handlungsempfehlungen dargelegt.,,Eine hervorragend gelungene Bestandsaufnahme der (...) umfassenden Bedeutung des Weltraums." Prof. Dr. Dr. h. c. Karl Kaiser, Harvard University Die Herausgeber PD Dr. Antje Nötzold ist Privatdozentin und wissenschaftliche Mitarbeiterin an der Professur Internationale Politik der TU Chemnitz. Dr. Enrico Fels ist Geschäftsführer des Center for Advanced Security, Strategic and Integration Studies (CASSIS) der Rheinischen Friedrich-Wilhelms-Universität Bonn. Andrea Rotter ist Referatsleiterin für Außen- und Sicherheitspolitik bei einer politischen Stiftung. Dr. Moritz Brake ist Senior Fellow am Center for Advanced Security, Strategic and Integration Studies (CASSIS) und Experte für Maritime Sicherheit und Strategie am German Institute for Defence and Strategic Studies (GIDS) als Reserveoffizier der Deutschen Marine. (shrink)

The globalization of production and trade has contributed to the rise in complex global value chains where the reach of state regulation is limited. As an alternative, private regulation, developed and administered by companies, industry associations, and nongovernmental organizations, has emerged to safeguard economic, environmental, and social sustainability in producer countries and along the value chain. The academic literature on private regulation in global value chains has grown over the last decade, but currently few major reviews of the research have (...) been undertaken. This paper examines peer-reviewed research in the relevant disciplines published in academic journals up to December 2011. Our goal is to identify and classify the topics and theories in the global value chain literature. We conclude that the number of articles explicitly examining private regulation, in a global value chain context, is relatively small when considering the importance and growth of these chains in the world’s economy. We also conclude that agriculture, forestry, and apparel manufacturing are the most often studied economic sectors; in contrast, other sectors, such as the information, communication and technology, with their complex global value chains, and often problematic environmental and social conditions, are understudied. (shrink)

Applied philosophy is experiencing its “golden days,” as Kasper Lippert-Rasmussen says in his insightful introduction to A Companion to Applied Philosophy. Applied philosophy seems to be distinguished from its opposite, pure philosophy, usually understood as traditional philosophy, which deals with subjects such as free will, consciousness, or knowledge in philosophical subdisciplines like ethics, metaphysics, and epistemology. To embrace applied philosophy could thus mean to advocate for a philosophy that deals with questions “relevant to ‘the important questions of everyday life,’” as (...) Leslie Stevenson puts it, as opposed to questions that arise from within the subdisciplines of pure philosophy. (shrink)

Stress-related psychopathology is on the rise, and there is a pressing need for improved prevention strategies. Positive appraisal style, the tendency to appraise potentially threatening situations in a positive way, has been proposed to act as a key resilience mechanism and therefore offers a potential target for preventive approaches. In this article, we review n = 99 studies investigating associations of positive cognitive reappraisal, an important sub-facet of positive appraisal style, with outcome-based resilience and relevant other outcomes, which are considered (...) resilience-related. According to the studies reviewed, positive cognitive reappraisal moderates the relation between stressors and negative outcomes and is positively related to several resilience-related outcomes. It also mediates between other resilience factors and resilience, suggesting it is a proximal resilience factor. (shrink)

. A dialogue between the outgoing and incoming directors of the Zygon Center for Religion and Science took place as part of the inaugural symposium. In their conversation they speak of the past and present challenges and goals of the Center, outline what is foremost in their minds, and offer glimpses into what they see as the Center’s priorities for future work.