This self-interview is the responsive document coming forth from the post-conference camaraderie. The four “Žižekian Performers” – found with themselves personally, creatively, and academically following the 2014 International Žižek Studies Conference. As a self-interview document that mimics the gameplay of Žižek himself in his own self-interview from his The Metastases of Enjoyment where he puts on the guise of the “big Other” to examine himself, we four performers here examine ourselves, each other, our work, and each other’s work to produce (...) this post-partum collaborative essay. In our collective project, we outline our individual performances from the Conference, each stake a claim and personal response to the critical question of what is a “Žižekian Performance,” and identify and discuss other synergies that emerged and exist amid our work in the form of cross-examinations and self-examinations. Ultimately, this group’s self-interview blazes the way for performance to interpenetrate the “Žižekian” and to intervene wherever theory, investigation, and presentation may lie. (shrink)

This is a review of Alexandre Kojève, The Religious Metaphysics of Vladimir Solovyov, translated by Ilya Merlin and Mikhail Pozdniakov, Cham: Springer International Publishing, 2018. This slim book is a translation of Kojève’s essay “La métaphysique religieuse de Vladimir Soloviev,” which was first published in two installments in the Revue d’histoire et de philosophie religieuses in 1934. The French text was itself based on Kojève’s doctoral dissertation, Die religiöse Philosophie Wladimir Solowjews, defended in Heidelberg under the direction of (...) Karl Jaspers in 1926. The translation is accompanied by an introduction from the translators discussing translation issues. In this review, I summarize Kojève’s essay and editorialize on the issue of the principal influences on Solovyov’s metaphysics. Kojève claims that most of Solovyov’s metaphysics was in fact borrowed from Schelling and perhaps also to some extent from Jakob Böhme. If that is the case, then what is usually considered the prototypical Russian metaphysics is... not Russian. (shrink)

This bold and brilliant book asks the ultimate question of the life sciences: How did the human mind acquire its incomparable power? In seeking the answer, Merlin Donald traces the evolution of human culture and cognition from primitive apes to the era of artificial intelligence, and presents an original theory of how the human mind evolved from its presymbolic form. In the emergence of modern human culture, Donald proposes, there were three radical transitions. During the first, our bipedal but (...) still apelike ancestors acquired "mimetic" skill—the ability to represent knowledge through voluntary motor acts—which made Homo erectus successful for over a million years. The second transition—to "mythic" culture —coincided with the development of spoken language. Speech allowed the large-brained Homo sapiens to evolve a complex preliterate culture that survives in many parts of the world today. In the third transition, when humans constructed elaborate symbolic systems ranging from cuneiforms, hieroglyphics, and ideograms to alphabetic languages and mathematics, human biological memory became an inadequate vehicle for storing and processing our collective knowledge. The modern mind is thus a hybrid structure built from vestiges of earlier biological stages as well as new external symbolic memory devices that have radically altered its organization. According to Donald, we are symbol-using creatures, more complex than any that went before us, and we may have not yet witnessed the final modular arrangement of the human mind. (shrink)

Presenting the cultural and neuronal forces that power our distinctively human modes of awareness, the author proposes that the human mind is a hybrid product of interweaving a super-complex form of matter (the brain) with an invisible symbolic web (culture) to form a cognitive network. Reprint. 11,500 first printing.

The frame concept from linguistics, cognitive science and artificial intelligence is a theoretical tool to model how explicitly given information is combined with expectations deriving from background knowledge. In this paper, we show how the frame concept can be fruitfully applied to analyze the notion of mathematical understanding. Our analysis additionally integrates insights from the hermeneutic tradition of philosophy as well as Schmid’s ideal genetic model of narrative constitution. We illustrate the practical applicability of our theoretical analysis through a case (...) study on extremal proofs. Based on this case study, we compare our analysis of proof understanding to Avigad’s ability-based analysis of proof understanding. (shrink)

Recently, the term ‘aphantasia’ has become current in scientific and public discourse to denote the absence of mental imagery. However, new terms for aphantasia or its subgroups have recently been proposed, e.g. ‘dysikonesia’ or ‘anauralia’, which complicates the literature, research communication and understanding for the general public. Before further terms emerge, we advocate the consistent use of the term ‘aphantasia’ as it can be used flexibly and precisely, and is already widely known in the scientific community and among the general (...) public. (shrink)

One central tenet of the Modern Evolutionary Synthesis , and the consensus view among biologists until now, is that all genetic mutations occur by “chance” or at “random” with respect to adaptation. However, the discovery of some molecular mechanisms enhancing mutation rate in response to environmental conditions has given rise to discussions among biologists, historians and philosophers of biology about the “chance” vs “directed” character of mutations . In fact, some argue that mutations due to a particular kind of mutator (...) mechanisms challenge the Modern Synthesis because they are produced when and where needed by the organisms concerned. This paper provides a defense of the Modern Synthesis’ consensus view about the chance nature of all genetic mutations by reacting to Jablonka and Lamb’s analysis of genetic mutations and the explicit Lamarckian flavor of their arguments. I argue that biologists can continue to talk about chance mutations according to what I call and define as the notion of “evolutionary chance,” which I claim is the Modern Synthesis’ consensus view and a reformulation of Darwin’s most influential idea of “chance” variation. Advances in molecular genetics are therefore significant but not revolutionary with respect to the Modern Synthesis’ paradigm. (shrink)

Infinite time register machines (ITRMs) are register machines which act on natural numbers and which are allowed to run for arbitrarily many ordinal steps. Successor steps are determined by standard register machine commands. At limit times register contents are defined by appropriate limit operations. In this paper, we examine the ITRMs introduced by the third and fourth author (Koepke and Miller in Logic and Theory of Algorithms LNCS, pp. 306–315, 2008), where a register content at a limit time is set (...) to the lim inf of previous register contents if that limit is finite; otherwise the register is reset to 0. The theory of these machines has several similarities to the infinite time Turing machines (ITTMs) of Hamkins and Lewis. The machines can decide all ${\Pi^1_1}$ sets, yet are strictly weaker than ITTMs. As in the ITTM situation, we introduce a notion of ITRM-clockable ordinals corresponding to the running times of computations. These form a transitive initial segment of the ordinals. Furthermore we prove a Lost Melody theorem: there is a real r such that there is a program P that halts on the empty input for all oracle contents and outputs 1 iff the oracle number is r, but no program can decide for every natural number n whether or not ${n \in r}$ with the empty oracle. In an earlier paper, the third author considered another type of machines where registers were not reset at infinite lim inf’s and he called them infinite time register machines. Because the resetting machines correspond much better to ITTMs we hold that in future the resetting register machines should be called ITRMs. (shrink)

Ordinal Computability discusses models of computation obtained by generalizing classical models, such as Turing machines or register machines, to transfinite working time and space. In particular, recognizability, randomness, and applications to other areas of mathematics, including set theory and model theory, are covered.

In this paper, we adopt a physiological perspective in order to produce an intelligible overview of biological transmission in all its diversity. This allows us to put forward the analysis of transmission mechanisms, with the aim of complementing the usual focus on transmitted factors. We underline the importance of the structural, dynamical, and functional features of transmission mechanisms throughout organisms’ life cycles in order to answer to the question of what is passed on across generations, how and why. On this (...) basis, we propose a vision of biological transmission as networks of heterogeneous physiological mechanisms, not restricted to transmission mechanisms stricto sensu. They prove to be themselves suited candidates for evolutionary explanations. They are processes both necessary for evolution to happen and resulting themselves from evolution. This leads us to call for a strategy of endogenization to account for transmission, and more specifically inheritance, as evolved and evolving physiological mechanisms. (shrink)

In this section, we apply the notions obtained above to a famous historical example of a false proof. Our goal is to demonstrate that this proof shows a sufficient degree of distinctiveness for a formalization in a Naproche-like system and hence that automatic checking could indeed have contributed in this case to the development of mathematics. This example further demonstrates that even incomplete distinctivication can be sufficient for automatic checking and that actual mistakes may occur already in the margin between (...) the degree of distinctiveness necessary for formalization and complete distinctiveness. (shrink)

Deep brain stimulation (DBS) as investigational intervention for symptomatic relief from Alzheimer disease (AD) has generated big expectations. Our aim is to discuss the ethical justification of this research agenda by examining the underlying research rationale as well as potential methodological pitfalls. The shortcomings we address are of high ethical importance because only scientifically valid research has the potential to be ethical. We performed a systematic search on MEDLINE and EMBASE. We included 166 publications about DBS for AD into the (...) analysis of research rationale, risks and ethical aspects. Fifty-eight patients were reported in peer-reviewed journals with very mixed results. A grey literature search revealed hints for 75 yet to be published, potentially enrolled patients. The results of our systematic review indicate methodological shortcomings in the literature that are both scientific and ethical in nature. According to our analysis, research with human subjects was performed before decisive preclinical research was published examining the specific research question at stake. We also raise the concern that conclusions on the potential safety and efficacy have been reported in the literature that seem premature given the design of the feasibility studies from which they were drawn. In addition, some publications report that DBS for AD was performed without written informed consent from some patients, but from surrogates only. Furthermore, registered ongoing trials plan to enroll severely demented patients. We provide reasons that this would violate Art. 28 of the Declaration of Helsinki, because DBS for AD involves more than minimal risks and burdens, and because its efficacy and safety are not yet empirically established to be likely. Based on our empirical analysis, we argue that clinical research on interventions of risk class III (Food and Drug Administration and European Medicines Agency) should not be exploratory but grounded on sound, preclinically tested, and disease-specific a posteriori hypotheses. This also applies to DBS for dementia as long as therapeutic benefits are uncertain, and especially when research subjects with cognitive deficits are involved, who may foreseeably progress to full incapacity to provide informed consent during the required follow-up period. (shrink)

Que serait la littérature sans l'apprentissage premier des histoires que les parents lisent aux enfants, avant que ceux-ci ne deviennent capables de lire seuls à leur tour? La littérature est d'abord une histoire de transmission et de réception qui, tel un objet transitionnel, permet à chacun d'apprendre où passe la frontière entre l'univers intime et le monde réel et extérieur. Parler de la littérature, c'est défendre une zone mise en danger : celle de sa transmission. Au diagnostic, aujourd'hui banal, d'une (...) crise de la littérature dans les sociétés démocratiques, alors qu'elle constituait le coeur de leur culture jusqu'à une époque récente, on ne peut plus répondre par l'aporie de sa définition (si la littérature a vraiment jamais existé dans l'histoire), voire de la discipline dont elle est l'objet (histoire littéraire? sociologie des institutions littéraires? théorie critique? rhétorique? poétique? stylistique? etc.). Nous faisant changer de pied, Hélène Merlin-Kajman s'interroge sur sa transmission, donc son avenir : quel usage, quel partage de la littérature est-il important non seulement de défendre mais de promouvoir, sinon d'inventer dans des sociétés démocratiques, c'est-à-dire fondées sur le respect de l'individu, la valorisation de son autonomie et de sa liberté (de conscience, de sentiment), non moins que sur les valeurs de la solidarité sociale et de la citoyenneté? Quel rôle la littérature tient-elle dans cette affaire? Pour quelles valeurs non seulement cognitives, mais aussi esthétiques voire thérapeutiques requises par le citoyens en démocratie faut-il restaurer le partage transitionnel de la littérature - afin que les textes littéraires, aujourd'hui observés par les sciences humaines ou tenus à distance par l'univers des images comme s'ils n'existaient qu'en dehors, tissent à nouveau des liens pour nous? (shrink)

We consider the following problem for various infinite-time machines. If a real is computable relative to a large set of oracles such as a set of full measure or just of positive measure, a comeager set, or a nonmeager Borel set, is it already computable? We show that the answer is independent of ZFC for ordinal Turing machines with and without ordinal parameters and give a positive answer for most other machines. For instance, we consider infinite-time Turing machines, unresetting and (...) resetting infinite-time register machines, and α-Turing machines for countable admissible ordinals α. (shrink)

The problem with authenticity—the idea of being “true to one’s self”—is that its somewhat checkered reputation garners a complete range of favorable and unfavorable reactions. In educational settings, authenticity is lauded as one of the top two traits students desire in their teachers. Yet, authenticity is criticized for its tendency towards narcissism and self-entitlement. So, is authenticity a good or a bad thing? The purpose of this article is to develop an intimate understanding of authenticity by investigating its current interpretation (...) and criticisms, its struggle with narcissism and relation to freedom. Examining authenticity as multilayered self-exploration reveals a composite of understanding, care, and acceptance. While a side current of acceptable tension shifts our understanding of authenticity from the security of self-determination to the messy interplay involved in being “true to one’s self” and being “in-the-world”. (shrink)

Infinite Time Register Machines are a well-established machine model for infinitary computations. Their computational strength relative to oracles is understood, see e.g. , and . We consider the notion of recognizability, which was first formulated for Infinite Time Turing Machines in [6] and applied to ITRM 's in [3]. A real x is ITRM -recognizable iff there is an ITRM -program P such that PyPy stops with output 1 iff y=xy=x, and otherwise stops with output 0. In [3], it is (...) shown that the recognizable reals are not contained in the ITRM -computable reals. Here, we investigate in detail how the ITRM -recognizable reals are distributed along the canonical well-ordering shrink)

Abstract If voters do not understand the programs of rival candidates or their likely consequences, they cannot rationally exercise control over government. An ignorant electorate cannot achieve true democratic control over public policy. The immense size and scope of modern government makes it virtually impossible for voters to acquire sufficient knowledge to exercise such control. The problem is exacerbated by voters? strong incentive to be ?rationally ignorant? of politics. This danger to democracy cannot readily be circumvented through ?shortcut? methods of (...) economizing on voter knowledge costs. A truly democratic government must, therefore, be strictly limited in scope. (shrink)

Ayn Rand's use of “selfishness” and “altruism” was polarizing and contrary to common usage. With the help of Venn diagrams, this essay compares and even reconciles the divergent meanings of egoism and altruism. It cites Rand's usage of “traditional egoism,” a term she used in correspondence but in none of her books or periodicals. This term helps to understand Rand's meaning of egoism. It also comments on earlier essays in this periodical about egoism.

Developmental Systems Theory is a theoretical reinterpretation of biological phenomena that challenges the conventional gene-centered account of development and evolution. In this article, I focus on Griffiths and Gray’s version of DST and particularly analyze their reconceptualization of inheritance. First, I present their concept of expanded and diffused inheritance; then, I examine and criticize their rejection of the multiple inheritance system model; finally, I present and oppose Griffiths and Gray’s extension of what they call the “causal parity thesis” from development (...) to evolution. I argue that their proposal is an interesting and programmatic philosophical perspective on biological phenomena but fails to provide either additional heuristic tools for empirical investigation in biology or a more realistic representation of the biological world. (shrink)

La science classique s'est trouvée associée à un désenchantement du monde. C'est la leçon que Jacques Monod entendait tirer des progrès de la biologie : "L'ancienne alliance est rompue. L'homme sait enfin qu'il est seul dans l'immensité indifférente de l'Univers d'où il a émergé par hasard." Notre science n'est plus ce savoir classique, nous pouvons déchiffrer le récit d'une "nouvelle alliance". Loin de l'exclure du monde qu'elle décrit, la science retrouve comme un problème l'appartenance de l'homme à ce monde. Les (...) théories scientifiques ne peuvent plus supposer la possibilité d'un savoir omniscient : nous lisons, jusque dans leurs principes, les traces d'une activité d'exploration au sein d'une nature en évolution. (shrink)

Since the completion of the Human Genome Project (HGP), biomedical sciences have moved away from a gene-centred view and towards a multi-factorial one in which environment, broadly speaking, plays a central role in the determination of human health and disease. Environmental exposures have been shown to be highly prevalent in disease causation. They are considered as complementary to genetic factors in the etiology of diseases, hence the introduction of the concept of the “exposome” as encompassing the totality of human environmental (...) exposures, from conception onwards (Wild in Cancer Epidemiol Biomark Prev 14:1847–1850, 2005), and the launch of the Human Exposome Project (HEP) which aims to complement the HGP. At first sight, and seen as complementary to the genome, the exposome could thus appear as contributing to the rise of novel postgenomic deterministic narratives which place the environment at their core. Is this really the case? If so, what sort of determinism is at work in exposomics research? Is it a case of environmental determinism, and if so, in what sense? Or is it a new sort of deterministic view? In this paper, we first show that causal narratives in exposomics are still very similar to gene-centred deterministic narratives. They correspond to a form of Laplacian determinism and, above all, to what Claude Bernard called the “determinism of a phenomenon”. Second, we introduce the notion of “reversed heuristic determinism” to characterize the specific deterministic narratives present in exposomics. Indeed, the accepted sorts of external environmental exposures conceived as being at the origins of diseases are determined, methodologically speaking, by their identifiable internal and biological markers. We conclude by highlighting the most relevant implications of the presence of this heuristic determinism in exposomics research. (shrink)

According to a widely held view, mathematical proofs are essentially (indications of) formal derivations, and thus in principle mechanically checkable (this view is defended, for example, by Azzouni [3]). This should in particular hold for the kind of simple proof exercises typically given to students of mathematics learning to write proofs. If that is so, then automated proof checking should be an attractive option for math education at the undergraduate level. An opposing view would be that mathematical proofs are social (...) objects and that what constitutes a mathematical proof can thus not be separated from the social context in which it arises. In particular, such “sociomathematical norms” play a role in teaching situations, see, for example, Stephan [37]. There thus seems to be a tension between the inherent social nature of “natural” mathematical proofs and attempts at their automated verification. In this paper, we explore this tension both theoretically and on the basis of our experiences with developing the Diproche system, a program for the automated verification of natural language proofs in college-level introduction to proof classes (modelled after the example of the Naproche system by Cramer, Koepke et al. [14]) and its use at the Europa-Universität Flensburg during the winter term 2020/2021. (shrink)

Aphantasia is a condition that is often characterized as the impaired ability to create voluntary mental images. Aphantasia is assumed to selectively affect voluntary imagery mainly because even though aphantasics report being unable to visualize something at will, many report having visual dreams. We argue that this common characterization of aphantasia is incorrect. Studies on aphantasia are often not clear about whether they are assessing voluntary or involuntary imagery, but some studies show that several forms of involuntary imagery are also (...) affected in aphantasia (including imagery in dreams). We also raise problems for two attempts to show that involuntary images are preserved in aphantasia. In addition, we report the results of a study about afterimages in aphantasia, which suggest that these tend to be less intense in aphantasics than in controls. Involuntary imagery is often treated as a unitary kind that is either present or absent in aphantasia. We suggest that this approach is mistaken and that we should look at different types of involuntary imagery case by case. Doing so reveals no evidence of preserved involuntary imagery in aphantasia. We suggest that a broader characterization of aphantasia, as a deficit in forming mental imagery, whether voluntary or not, is more appropriate. Characterizing aphantasia as a volitional deficit is likely to lead researchers to give incorrect explanations for aphantasia, and to look for the wrong mechanisms underlying it. (shrink)

The work done so far on the understanding of mathematical (proof) texts focuses mostly on logical and heuristical aspects; a proof text is considered to be understood when the reader is able to justify inferential steps occurring in it, to defend it against objections, to give an account of the “main ideas”, to transfer the proof idea to other contexts etc. (see, e.g., Avigad in The philosophy of mathematical practice, Oxford University Press, Oxford, 2008). In contrast, there is a rich (...) philosophical tradition dealing with the concept of understanding and interpreting texts, namely philosophical hermeneutics, represented, e.g., by Schleiermacher, Dilthey, Heidegger or Gadamer. In this tradition, “understanding” generally refers to the integration in a comprehensive (historical, existential, life-worldly,...) context. In this article, we take some first steps towards exploring the question how the ideas from philosophical hermeneutics presented in Gadamer’s “Truth and Method” apply to mathematical texts and what (if anything) can be learned from these for the didactics and presentation of mathematics. (shrink)

We introduce and study some variants of a notion of canonical set theoretical truth. By this, we mean truth in a transitive proper class model M of ZFC that is uniquely characterized by some $$\in$$ ∈ -formula. We show that there are interesting statements that hold in all such models, but do not follow from ZFC, such as the ground model axiom and the nonexistence of measurable cardinals. We also study a related concept in which we only require M to (...) be fixed up to elementary equivalence. We show that this theory-canonicity also goes beyond provability in ZFC, but it does not rule out measurable cardinals and it does not fix the size of the continuum. (shrink)

The abstract of this chapter was initially published with error. The chapter has been updated with the corrected abstract as given below.

We study randomness beyond${\rm{\Pi }}_1^1$-randomness and its Martin-Löf type variant, which was introduced in [16] and further studied in [3]. Here we focus on a class strictly between${\rm{\Pi }}_1^1$and${\rm{\Sigma }}_2^1$that is given by the infinite time Turing machines introduced by Hamkins and Kidder. The main results show that the randomness notions associated with this class have several desirable properties, which resemble those of classical random notions such as Martin-Löf randomness and randomness notions defined via effective descriptive set theory such as${\rm{\Pi (...) }}_1^1$-randomness. For instance, mutual randoms do not share information and a version of van Lambalgen’s theorem holds.Towards these results, we prove the following analogue to a theorem of Sacks. If a real is infinite time Turing computable relative to all reals in some given set of reals with positive Lebesgue measure, then it is already infinite time Turing computable. As a technical tool towards this result, we prove facts of independent interest about random forcing over increasing unions of admissible sets, which allow efficient proofs of some classical results about hyperarithmetic sets. (shrink)