Although it is not yet officially recognized as a clinical entity which is diagnosable, Internet Gaming Disorder (IGD) has been included in section III for further study in the DSM-5 by the American Psychiatric Association (APA, 2013). This is important because there is increasing evidence that people of all ages, in particular teens and young adults, are facing very real and sometimes very severe consequences in daily life resulting from an addictive use of online games. This article summarizes general aspects (...) of IGD including diagnostic criteria and arguments for the classification as an addictive disorder including evidence from neurobiological studies. Based on previous theoretical considerations and empirical findings, this paper examines the use of one recently proposed model, the Interaction of Person-Affect-Cognition-Execution (I-PACE) model, for inspiring future research and for developing new treatment protocols for IGD. The I-PACE model is a theoretical framework that explains symptoms of Internet addiction by looking at interactions between predisposing factors, moderators, and mediators in combination with reduced executive functioning and diminished decision making. Finally, the paper discusses how current treatment protocols focusing on Cognitive-Behavioral Therapy for Internet addiction (CBT-IA) fit with the processes hypothesized in the I-PACE model. (shrink)

After briefly discussing the relevance of the notions computation and implementation for cognitive science, I summarize some of the problems that have been found in their most common interpretations. In particular, I argue that standard notions of computation together with a state-to-state correspondence view of implementation cannot overcome difficulties posed by Putnam's Realization Theorem and that, therefore, a different approach to implementation is required. The notion realization of a function, developed out of physical theories, is then introduced as a replacement (...) for the notional pair computation-implementation. After gradual refinement, taking practical constraints into account, this notion gives rise to the notion digital system which singles out physical systems that could be actually used, and possibly even built. (shrink)

A general class of labeled sequent calculi is investigated, and necessary and sufficient conditions are given for when such a calculus is sound and complete for a finite -valued logic if the labels are interpreted as sets of truth values. Furthermore, it is shown that any finite -valued logic can be given an axiomatization by such a labeled calculus using arbitrary "systems of signs," i.e., of sets of truth values, as labels. The number of labels needed is logarithmic in the (...) number of truth values, and it is shown that this bound is tight. (shrink)

Rational drug design is a method for developing new pharmaceuticals that typically involves the elucidation of fundamental physiological mechanisms. It thus combines the quest for a scientific understanding of natural phenomena with the design of useful technology and hence integrates epistemic and practical aims of research and development. Case studies of the rational design of the cardiovascular drugs propranolol, captopril and losartan provide insights into characteristics and conditions of this integration. Rational drug design became possible in the 1950s when theoretical (...) knowledge of drug-target interaction and experimental drug testing could interlock in cycles of mutual advancement. The integration does not, however, diminish the importance of basic research for pharmaceutical development. Rather, it can be shown that still in the 1990s, linear processes of innovation and the close combination of practical and epistemic work were interdependent. (shrink)

Freges Kontextprinzip "Nur im Zusammenhange eines Satzes bedeuten die Wörter etwas" hat auch nach der von ihm vollzogenen Angleichung von Behauptungssätzen an Eigennamen Gültigkeit für die formale Sprache der "Grundgesetze". Der Bedeutungsvollständigkcitsbeweis, den er für sein Logiksystem anstrebt, schließt eine unmittelbare Anwendung dieses Prinzips nicht nur auf die unvollständigen Funktionsausdrücke, sondern auch auf die leerstellenfreien Wertverlaufsnamen ein. Wahrheitsnamen (Sätze) zeichnen sich vor anderen symbolsprachlichen Eigennamen in mehrfacher Hinsicht, insbesondere durch ihre semantische Selbständigkeit aus. Wertverlaufsnamen haben nur im Zusammenhang eines Wahrheitswertnamens (...) eine Bedeutung. Ihre Bedeutung besteht in ihrem Beitrag zur Bestimmung der Bedeutung von Wahrheitswertnamen, in denen sie vorkommen. (shrink)

English summary: Ordinary, unmethodical experience forms our lives. It accumulates when we interact with our environment as living beings, and combines cognitive, affective and volitional elements. In it, questions of meaning and value and issues of knowledge become strongly interdependent. In a normative sense, modern culture has tremendously upgraded the status of ordinary people's experience. However, at the same time, our world is increasingly determined by the methodological experience of the (natural) sciences and by the technology they have made possible. (...) Will scientific experience now replace ordinary experience, or will it complement and regulate it? How do facts and values relate to one another and what does this mean for our understanding of democracy? Matthias Jung starts by developing an integrated approach to ordinary experience, taking into account insights from areas including hermeneutics, phenomenology, pragmatism and cognitive science. As a result, three main areas of discussion emerge: knowledge, values and ideology, all of which are covered in their respective individual chapters. German description: Gewohnliche, unmethodische Erfahrung formt unser Leben. Sie vollzieht sich, wenn wir als lebendige Wesen mit unserer Umwelt interagieren, und verbindet jeweils kognitive, affektive und willentliche Dimensionen. Fragen nach Sinn und Wert und Wissensfragen sind in ihr eng aufeinander bezogen. Normativ hat die Kultur der Moderne die Erfahrung gewohnlicher Menschen enorm aufgewertet, doch gleichzeitig wird unsere Welt immer starker von der methodischen Erfahrung der (Natur-)Wissenschaften und der von ihr ermoglichten Technik bestimmt. Ersetzt nun wissenschaftliche die gewohnliche Erfahrung oder erganzt und korrigiert sie diese? Wie verhalten sich Fakten und Werte zueinander und was ergibt sich daraus fur unser Verstandnis von Demokratie? Matthias Jung entwickelt zunachst ein integriertes Konzept gewohnlicher Erfahrung und nimmt dabei Einsichten u.a. aus Hermeneutik, Phanomenologie, Pragmatismus und Kognitionswissenschaften auf. Daraus ergeben sich drei exemplarische Problemfelder: Wissen, Werte und Weltanschauung. Ihnen sind jeweils eigene Kapitel gewidmet. (shrink)

In this paper, I critically discuss Frege’s philosophy of geometry with special emphasis on his position in The Foundations of Arithmetic of 1884. In Sect. 2, I argue that that what Frege calls faculty of intuition in his dissertation is probably meant to refer to a capacity of visualizing geometrical configurations structurally in a way which is essentially the same for most Western educated human beings. I further suggest that according to his Habilitationsschrift it is through spatial intuition that we (...) come to know the axioms of Euclidean geometry. In Sect. 3, I argue that Frege seems right in claiming in The Foundations, §14 that the synthetic nature of the Euclidean axioms follows from the fact that they are independent of one another and of the primitive laws of logic. If the former were dependent on the latter, they would be analytic in Frege’s sense of analyticity. But then they would not be independent of one another and due to their mutual provability would lose their status as axioms of Euclidean geometry, since according to Frege an axiom of a theory T is per definitionen unprovable in T. I further argue that only by invoking pure spatial intuition can Frege “explain” the epistemological status of the axioms of Euclidean geometry completely: their synthetic a priori nature. Finally, I argue that his view about independence in The Foundations, §14 seems to clash with his conception of independence in his mature period. In Sect. 4, I scrutinize Frege’s somewhat vague, but unduly neglected remarks in The Foundations, §26 on space, spatial intuition and the axioms of Euclidean geometry. I argue that for the sake of coherence Frege should have said unambiguously that space is objective, that it is independedent not only of our spatial intuition, but of our mental life altogether including our judgements about space, instead of encouraging the possible conjecture that in his view it contains an objective and a subjective component. I further argue that for Frege the objectivity of both space and the axioms of Euclidean geometry manifests itself in our universal and compulsory acknowledgement of the Euclidean axioms as true. I conclude Sect. 4 by arguing that there is a conflict between the subjectivity of our spatial intuitions as stressed in The Foundations, §26 and Frege’s thesis in his dissertation that the axioms of Euclidean geometry derive their validity from the nature of our faculty of intuition. To resolve this conflict, I propose that in the light of his avowed realism in The Foundations Frege could have replaced his early thesis by saying that although we come to know the axioms of Euclidean geometry through spatial intuition and are justified in acknowledging them as true on the basis of geometrical intuition, their truth is independent not only of the nature of our faculty of intuition and singular acts of intuition, but of our mental processes and activities in general, including the inner mental act of judging. In Sect. 5, I argue that Frege most likely did not adopt Kant’s method of acquiring geometrical knowledge via the ostensive construction of concepts in spatial intuition. In contrast to Kant, Frege holds that the axioms of three-dimensional Euclidean geometry express state of affairs about space obtaining independently of our spatial intuition. In Sect. 6, I conclude with a summarized assessment of Frege’s philosophy of geometry. (shrink)

Freges Kontextprinzip "Nur im Zusammenhange eines Satzes bedeuten die Wörter etwas" hat auch nach der von ihm vollzogenen Angleichung von Behauptungssätzen an Eigennamen Gültigkeit für die formale Sprache der "Grundgesetze". Der Bedeutungsvollständigkcitsbeweis, den er für sein Logiksystem anstrebt, schließt eine unmittelbare Anwendung dieses Prinzips nicht nur auf die unvollständigen Funktionsausdrücke, sondern auch auf die leerstellenfreien Wertverlaufsnamen ein. Wahrheitsnamen (Sätze) zeichnen sich vor anderen symbolsprachlichen Eigennamen in mehrfacher Hinsicht, insbesondere durch ihre semantische Selbständigkeit aus. Wertverlaufsnamen haben nur im Zusammenhang eines Wahrheitswertnamens (...) eine Bedeutung. Ihre Bedeutung besteht in ihrem Beitrag zur Bestimmung der Bedeutung von Wahrheitswertnamen, in denen sie vorkommen. (shrink)

1. Logik und Philosophie der Mathematik.--2. Logik und Sprachphilosophie.--3. Logik und Semantik.

The concept of quantity (Größe) plays a key role in Frege's theory of real numbers. Typically enough, he refers to this theory as ?theory of quantity? (?Größenlehre?) in the second volume of his opus magnum Grundgesetze der Arithmetik (Frege 1903). In this essay, I deal, in a critical way, with Frege's treatment of the concept of quantity and his approach to analysis from the beginning of his academic career until Frege 1903. I begin with a few introductory remarks. In Section (...) 2, I first analyze Frege's use of the term ?source of knowledge? (?Erkenntnisquelle?) with particular emphasis on the logical source of knowledge. The analysis includes a brief comparison between Frege and Kant's conceptions of logic and the logical source of knowledge. In a second step, I examine Frege's theory of quantity in Rechnungsmethoden, die sich auf eine Erweiterung des Größenbegriffes gründen (Frege 1874). Section 3 contains a couple of critical observations on Frege's comments on Hankel's theory of real numbers in Die Grundlagen der Arithmetik (Frege 1884). In Section 4, I consider Frege's discussion of the concept of quantity in Frege 1903. Section 5 is devoted to Cantor's theory of irrational numbers and the critique deployed by Frege. In Section 6, I return to Frege's own constructive treatment of analysis in Frege 1903 and succinctly describe what I take to be the quintessence of his account. (shrink)

Indikatoren sind im Wissenschaftsmanagement und auch in der Wissenschaftspolitik breit und vielfältig im Einsatz. Einige exemplarische Verwendungsweisen aus meiner beruflichen Praxis im Strategiedezernat der Technischen Universität Darmstadt stellt dieser Beitrag vor. Ich zeige Beispiele aus der indikatorabhängigen Mittelverteilung, dem Qualitätsmanagement und aus Hochschulrankings.

In this three-part essay, I investigate Frege’s platonist and anti-creationist position in Grundgesetze der Arithmetik and to some extent also in Die Grundlagen der Arithmetik. In Sect. 1.1, I analyze his arithmetical and logical platonism in Grundgesetze. I argue that the reference-fixing strategy for value-range names—and indirectly also for numerical singular terms—that Frege pursues in Grundgesetze I gives rise to a conflict with the supposed mind- and language-independent existence of numbers and logical objects in general. In Sect. 1.2 and 1.3, (...) I discuss the non-creativity of Frege’s definitions in Grundgesetze and the case of what I call weakly creative definitions. In Part II of this essay, I first deal with Stolz’s and Dedekind’s (intended) creation of numbers. In what follows, I focus on Grundgesetze II, §146, where Frege considers a potential creationist charge in relation to the stipulation that he makes in Grundgesetze I, §3 with the purpose of partially fixing the references of value-range names. I place equal emphasis on the related twin stipulations that he makes in Grundgesetze I, §10. In §10, Frege identifies the truth-values with their unit classes in order to fix the references of value-range names (almost) completely. He does so in a piecemeal fashion. Although in Grundgesetze II, §146 Frege refers also to Grundgesetze I, §9 and §10 in this connection, he does not explain why he thinks that the transsortal identifications in §10 and also the stipulation that he makes in §9 regarding the value-range notation may give rise to a creationist charge in addition to or in connection with the stipulation in §3, and if so, how he would have responded to it. The two main issues that I discuss in Part II are: (a) Has Frege created value-ranges in general in Grundgesetze I, §3? (b) Has he created the unit classes of the True and the False in §10? In Part III, I discuss, inter alia, the question of whether in developing the whole wealth of objects and functions that arithmetic deals with from the primitive functions of Grundgesetze by applying the formation rules Frege creates special value-ranges and special functions. This procedure is fundamentally different from the reference-fixing strategy regarding value-range names that Frege pursues in Grundgesetze I, §3, §10–12. It is just another aspect of his anti-creationism. In Grundgesetze II, §147, Frege makes a concession to an imagined creationist opponent which might suggest that he was fully convinced neither of the defensibility of his anti-creationist position regarding the syntactic development of the subject matter of arithmetic nor of his actual defence in §146 of the non-creativity of the introduction of value-ranges via logical abstraction in Grundgesetze I, §3 and the twin stipulations in §10. I argue that not only in Grundgesetze II, §146 but also in Grundgesetze II, §147 Frege falls short of defending his anti-creationist position. I further argue that on the face of it his creationist rival gains the upper hand in the envisioned debate in more than one respect. (shrink)

Der vorliegende Band ist der zweite Teil einer Sammlung zentraler Arbeiten von Matthias Baltes. Den Hauptteil bilden neuere Aufsätze zur antiken Philosophie, insbesondere zu Platon und zum Platonismus sowie zu Epikur, von denen einige bisher unveröffentlicht sind. Ein kleinerer Teil umfasst frühere Arbeiten zur homerischen Dichtung. Beide Sammlungen bieten einen nahezu vollständigen Überblick über die Forschungsarbeiten von Matthias Baltes, vor allem zu dem Gebiet, dem er sich Zeit seines Lebens intensiv gewidmet hat: dem geistesgeschichtlichen Phänomen des Platonismus. Er (...) behandelt neben philologischen Einzelfragen auch übergreifende philosophische und theologische Aspekte dieser für die Antike wie für die Moderne wichtigen Gedankenwelt. (shrink)

Menschen bedürfen des Zeugnisses der Anderen, um sich zu vergewissern, was und wer sie sind oder was und wozu sie denken, reden und handeln - soweit eine gemeinhin unstrittige These. Doch gilt dies auch für die Zeug*innenschaft an Orten und in Momenten, in denen Menschen Opfer von extremem Unrecht, massiver Gewalt, Hass oder Diskriminierung werden? Lässt sich das Unsagbare eigentlich bezeugen? Matthias Käser plädiert mithilfe interdisziplinärer Zeug*innenschaftsdiskurse gegen das Unbeschreibliche und für das Ethos des Erzählens. Er zeigt auf, dass (...) Erfahrungen um der Betroffenen willen versuchsweise bezeugt werden müssen - so gebrochen oder lückenhaft sie auch sein mögen. (shrink)

Das Gerucht, Gott sei tot, scheint ubertrieben gewesen zu sein. An dessen Verbreitung haben die Naturwissenschaften einen wesentlichen Anteil gehabt. Gegenwartig fuhren dagegen gerade sie Gott wieder im Munde. Massgeblichen Anteil daran hat die Entdeckung des Phanomens der Feinabstimmung Wenn Naturkonstanten, die die Gestalt unseres Universums bestimmen, nur wenig andere Werte angenommen hatten, hatte es bewusstes Leben nie gegeben. Matthias Schleiff entwickelt daraus das teleologische Feinabstimmungsargument. In der Nachfolge traditioneller Gottesbeweise, aber mit den wissenschaftlichen Einsichten unserer Zeit, argumentiert er (...) dafur, dass sich die Annahme eines kosmischen Schopfers auf rationale Grunde stutzen kann. Er setzt sich dabei intensiv mit alternativen Erklarungshypothesen auseinander - etwa der Erklarung durch den Zufall, das Anthropische Prinzip oder die Theorie des Multiversums - und bringt so Naturwissenschaften, Philosophie und Theologie wieder in ein Gesprach uber den Anfang der Welt. (shrink)

Although Ross & Spurrett (R&S) successfully fend off the threat of Kim's “supervenience argument” by showing that it conflates different notions of causation, their proposal for a dynamic systems answer to the mind-body problem is itself yet another supervenience claim in need of an explanation that justifies it. The same goes for their notion of “multiple supervenience.”.

The existence of DNA methylation in insects has been a controversial subject over a long period of time. The recently completed genome sequence of the honeybee Apis mellifera has revealed the first insect with a full complement of DNA methyltransferases.1 A parallel study demonstrated that these enzymes are catalytically active and that Apis genes can be methylated in specific patterns.2 These findings establish bees as a model to analyze the function of DNA methylation systems in invertebrate organisms and might also (...) be important to understand evolutionary aspects of DNA methylation in higher eukaryotes. BioEssays 29: 208–211, 2007. © 2007 Wiley Periodicals, Inc. (shrink)

The property of admissibility of representations plays an important role in Type–2 Theory of Effectivity . TTE defines computability on sets with continuum cardinality via representations. Admissibility is known to be indispensable for guaranteeing reasonable effectivity properties of the used representations.The question arises whether every function that is computable with respect to arbritrary representations is also computable with respect to closely related admissible ones. We define three operators which transform representations into admissible ones in such a way that relative computability (...) of functions is preserved. Thus the use of admissible representations rather than of non–admissible ones does not decrease the class of relatively computable functions. (shrink)

Includes bibliographical references and indexes.

Die neue Reihe STUDIEN ZU WISSENSCHAFT UND ETHIK erg nzt das seit 1995 vom Institut f r Wissenschaft und Ethik, Bonn im Verlag de Gruyter herausgegebene Jahrbuch f r Wissenschaft und Ethik. In der Reihe werden Monographien und Sammelb nde ver ffentlicht, die einen herausragenden und innovativen Beitrag zur Erforschung ethischer Fragen darstellen, die im Zusammenhang der modernen Wissenschaft und ihrer medizinischen und technischen Anwendung entstehen.