Johannes Scottus Eriugena ragt als ein der Antike kongenialer Denker mit seinem originellen theologisch-philosophischen Entwurf von Gott und Welt weit über seine Zeitgenossen des 9. Jahrhunderts hinaus. Die vorliegende Untersuchung arbeitet die zentrale Bedeutung des freien Willens und einer optimistischen Sicht der Schöpfung für das Gesamtsystem heraus und zeigt inhaltliche Parallelen zwischen dem Werk des frühmittelalterlichen Autors und seiner irisch-keltischen Herkunft auf.

Production of Presence is a comprehensive version of the thinking of Hans Ulrich Gumbrecht, one of the most consistently original literary scholars writing today. It offers a personalized account of some of the central theoretical movements in literary studies and in the humanities over the past thirty years, together with an equally personal view of a possible future. Based on this assessment of the past and the future of literary studies and the humanities, the book develops the provocative thesis (...) that, through their exclusive dedication to interpretation, i.e. to the reconstruction and attribution of meaning, the humanities have become incapable of addressing a dimension in all cultural phenomena that is as important as the dimension of meaning. Interpretation alone cannot do justice to the dimension of "presence," a dimension in which cultural phenomena and cultural events become tangible and have an impact on our senses and our bodies. Production of Presence is a passionate plea for a rethinking and a reshaping of the intellectual practice within the humanities. (shrink)

Face perception and emotion categorization are widely investigated under laboratory conditions that are devoid of real social interaction. Using mobile eye-tracking glasses in a standardized diagnostic setting while applying the Autism Diagnostic Observation Schedule (ADOS-2), we had the opportunity to record gaze behavior of children and adolescents with and without Autism Spectrum Conditions (ASCs) during social interaction. The objective was to investigate differences in eye-gaze behavior between three groups of children and adolescents either (1) with ASC or (2) with unconfirmed (...) diagnosis of ASC or (3) with neurotypical development (NTD) during social interaction with an adult interviewer in a diagnostic standard situation using the ADOS-2. In a case control study, we used mobile eye-tracking glasses in an ecologically valid and highly standardized diagnostic interview to investigate suspected cases of ASC. After completion of the ASC diagnostic gold standard including the ADOS-2, the participants were assigned to two groups based on their diagnosis (ASC vs. non-ASC) and compared with a matched group of neurotypically developed controls. The primary outcome measure is the percentage of total dwell times assessed for different areas of interest (AOI) with regard to the face and body of a diagnostic interviewer and the surrounding space. Overall, 65 children and adolescents within an age range of 8.3–17.9 years were included in the study. The data revealed significant group differences, especially in the central-face area. Previous investigations under laboratory conditions gave preferential attention to the eye region during face perception to describe differences between ASC and NTD. In this study – using an ecologically valid setting within a standard diagnostic procedure – the results indicate that neurotypically developed controls seem to process faces and facial expressions in a holistic manner originating from the central-face region. Conversely, participants on the Autism Spectrum (tAS) seem to avoid the central-face region and show unsystematic gaze behavior, not using the preferred landing position in the central-face region as the Archimedean point of face perception. This study uses a new approach, and it will be important to replicate these preliminary findings in future research. (shrink)

A pointwise version of the Howard-Bezem notion of hereditary majorization is introduced which has various advantages, and its relation to the usual notion of majorization is discussed. This pointwise majorization of primitive recursive functionals (in the sense of Gödel'sT as well as Kleene/Feferman's ) is applied to systems of intuitionistic and classical arithmetic (H andH c) in all finite types with full induction as well as to the corresponding systems with restricted inductionĤ↾ andĤ↾c.H and Ĥ↾ are closed under a generalized (...) fan-rule. For a restricted class of formulae this also holds forH c andĤ↾c.We give a new and very perspicuous proof that for each one can construct a functional such that $\tilde \Phi \alpha $ is a modulus of uniform continuity for Φ on {β1∣∧n(βn≦αn)}. Such a modulus can also be obtained by majorizing any modulus of pointwise continuity for Φ.The type structure ℳ of all pointwise majorizable set-theoretical functionals of finite type is used to give a short proof that quantifier-free “choice” with uniqueness (AC!)1,0-qf. is not provable within classical arithmetic in all finite types plus comprehension [given by the schema (C)ϱ:∨y 0ϱ∧x ϱ(yx=0⇔A(x)) for arbitraryA], dependent ω-choice and bounded choice. Furthermore ℳ separates several μ-operators. (shrink)

Since the Kierkegaard Studies Monograph Series (KSMS) was first published in 1997, it has served as the authoritative book series in the field. Starting from 2011 the Kierkegaard Studies Monograph Series will intensify the peer-review process with a new editorial and advisory board. KSMS is published on behalf of the S ren Kierkegaard Research Centre at the University of Copenhagen. KSMS publishes outstanding monographs in all fields of Kierkegaard research. This includes Ph.D. dissertations, Habilitation theses, conference proceedings and single author (...) works by senior scholars. The goal of KSMS is to advance Kierkegaard studies by encouraging top-level scholarship in the field. The editorial and advisory boards are deeply committed to creating a genuinely international forum for publication which integrates the many different traditions of Kierkegaard studies and brings them into a constructive and fruitful dialogue. To this end the series publishes monographs in English and German. Potential authors should consult the Submission guidelines. All submissions will be blindly refereed by established scholars in the field. Only high-quality manuscripts will be accepted for publication. Potential authors should be prepared to make changes to their texts based on the comments received by the referees. (shrink)

Some theories of time entail that the present can change before or after it has happened. Examples include views on which time-travelers can change the past, the glowing block theory, Peter Geach’s mutable future view, and the moving spotlight theory. This paper argues that such ante factum or posthumous change requires a heterodox “split time” view on which earlier-than is not the converse of later-than.

In this paper a new method, elimination of Skolem functions for monotone formulas, is developed which makes it possible to determine precisely the arithmetical strength of instances of various non-constructive function existence principles. This is achieved by reducing the use of such instances in a given proof to instances of certain arithmetical principles. Our framework are systems ${\cal T}^{\omega} :={\rm G}_n{\rm A}^{\omega} +{\rm AC}$ -qf $+\Delta$ , where (G $_n$ A $^{\omega})_{n \in {\Bbb N}}$ is a hierarchy of (weak) subsystems (...) of arithmetic in all finite types (introduced in [14]), AC-qf is the schema of quantifier-free choice in all types and $\Delta$ is a set of certain analytical principles which e.g. includes the binary König's lemma. We apply this method to show that the arithmetical closures of single instances of $\Pi^0_1$ -comprehension and -choice contribute to the growth of extractable bounds from proofs relative to ${\cal T}^\omega$ only by a primitive recursive functional in the sense of Kleene. In subsequent papers these results are widely generalized and the method is used to determine the arithmetical content of single sequences of instances of the Bolzano-Weierstraß principle for bounded sequences in ${\Bbb R}^d$ , the Ascoli-lemma and others. (shrink)

In this paper, we present another case study in the general project of proof mining which means the logical analysis of prima facie non-effective proofs with the aim of extracting new computationally relevant data. We use techniques based on monotone functional interpretation developed in Kohlenbach , Oxford University Press, Oxford, 1996, pp. 225–260) to analyze Cheney's simplification 189) of Jackson's original proof 320) of the uniqueness of the best L1-approximation of continuous functions fC[0,1] by polynomials pPn of degree n. Cheney's (...) proof is non-effective in the sense that it is based on classical logic and on the non-computational principle WKL . The result of our analysis provides the first effective uniform modulus of uniqueness . Moreover, the extracted modulus has the optimal ε-dependency as follows from Kroó 331). The paper also describes how the uniform modulus of uniqueness can be used to compute the best L1-approximations of a fixed fC[0,1] with arbitrary precision. The second author uses this result to give a complexity upper bound on the computation of the best L1-approximation in Oliva 66–77). (shrink)

Berger, U., Total sets and objects in domain theory, Annals of Pure and Applied Logic 60 91-117. Total sets and objects generalizing total functions are introduced into the theory of effective domains of Scott and Ersov. Using these notions Kreisel's Density Theorem and the Theorem of Kreisel-Lacombe-Shoenfield are generalized. As an immediate consequence we obtain the well-known continuity of computable functions on the constructive reals as well as a domain-theoretic characterization of the Heriditarily Effective Operations.

The so-called weak König's lemma WKL asserts the existence of an infinite path b in any infinite binary tree . Based on this principle one can formulate subsystems of higher-order arithmetic which allow to carry out very substantial parts of classical mathematics but are Π 2 0 -conservative over primitive recursive arithmetic PRA . In Kohlenbach 1239–1273) we established such conservation results relative to finite type extensions PRA ω of PRA . In this setting one can consider also a uniform (...) version UWKL of WKL which asserts the existence of a functional Φ which selects uniformly in a given infinite binary tree f an infinite path Φf of that tree. This uniform version of WKL is of interest in the context of explicit mathematics as developed by S. Feferman. The elimination process in Kohlenbach [10] actually can be used to eliminate even this uniform weak König's lemma provided that PRA ω only has a quantifier-free rule of extensionality QF-ER instead of the full axioms of extensionality for all finite types. In this paper we show that in the presence of , UWKL is much stronger than WKL: whereas WKL remains to be Π 2 0 -conservative over PRA, PRA ω ++ UWKL contains full Peano arithmetic PA. We also investigate the proof–theoretic as well as the computational strength of UWKL relative to the intuitionistic variant of PRA ω both with and without the Markov principle. (shrink)

This is a German translation with commentary of Aristotle’s Prior Analytics, Book I. The introduction (‚Einleitung‘, pp. 97–182) contains a concise history of the reception of Aristotle’s syllogistic from Theophrastus to Kant and Hegel. The commentary places special attention to the modal chapters (i. e. I 3 and 8–22). Aristotle’s modal syllogistic is treated with more sympathy than in other modern commentaries and discussions of this part of Aristotle’s logic.

Incapacitated adults with a legally appointed guardian or conservator may be recruited for or involved with medical, behavioral, or social science research. Much of the research in which such persons participate is aimed at evaluating medical interventions for them, or contributing to general knowledge about disorders from which they may suffer. In this paper we will consider how the appointment of guardians for patients with disorders of consciousness —severe brain injuries that affect a patient’s level of arousal and ability to (...) interact —impacts such patients’ access to research.Such persons may be under guardianship because they have lost decisional capacity (i.e., those in a coma or... (shrink)

In this note we show that over a strong intuitionistic base theory, the recursive comprehension principle \ -CA does not imply the disjunctive Markov principle MP\.

This article investigates the changing justifications of one of the hallmarks of orthodox psychoanalytic practice, the neutral and abstinent stance of the psychoanalyst, during the middle decades of the 20th century. To call attention to the shifting rationales behind a supposedly cold, detached style of treatment still today associated with psychoanalysis, explanations of the clinical utility of neutrality and abstinence by ‘classical’ psychoanalysts in the United States are contrasted with how intellectuals and cultural critics understood the significance of psychoanalytic abstinence. (...) As early as the 1930s, members of the Frankfurt School discussed the cultural and social implications of psychoanalytic practices. Only in the 1960s and 1970s, however, did psychoanalytic abstinence become a topic within broader intellectual debates about American social character and the burgeoning ‘therapy culture’ in the USA. The shift from professional and epistemological concerns to cultural and political ones is indicative of the changing appreciation of psychoanalysis as a clinical discipline: for psychoanalysts as well as cultural critics, I argue, changing social mores and the professional decline of psychoanalysis infused the image of the abstinent psychoanalyst with nostalgic longing, making it a symbol of resistance against a culture seen to be in decline. (shrink)

The paper presents a refined method of extracting reasonable and sometimes unexpected programs from classical proofs of formulas of the form ∀x∃yB . We also generalize previously known results, since B no longer needs to be quantifier-free, but only has to belong to a strictly larger class of so-called “goal formulas”. Furthermore we allow unproven lemmas D in the proof of ∀x∃yB , where D is a so-called “definite” formula.

The intended title was “Universe Oriented Ontology” or “Multiverse Oriented Ontology”, or “Universe or Multiverse Metaphysics”. I mention this as it gives an idea about the meaning and intention of the title and the work as well as the titles I considered and why I moved away from them to the present one. The sub-title provides a further hint towards the intentions of the work, namely: ” Beyond Earth- and Human-centricity’. I opted for ‘transcending’ rather than beyond, as I am (...) still in the process of describing the process of transcending and many of the ideas I am obliged to use from our conceptual system and practices are still earth- and anthropo-centered, And, they have not yet gone to a state beyond those two -isms. I say something about universe-centeredness, then about planet earth as point and frame of reference and anthropo-centricity. The socio-cultural practice of philosophy and the doing of philosophy is merely one of many human, social and cultural practices. I post different notions of philosophy by a number of writers, some of them philosophers. These notions are about their perceptions of what philosophy is. Few of them go into detail about the subject-matter of philosophy. No one really deal with the aims, purposes and objectives of the discipline and none deal with the nature of the doing of philosophy or philosophizing. Activities that I suggest resemble certain features of the processes of theorizing. I end with explorations of possible characteristics of original- and creative thinkers. I do this by mentioning a number of themes of meta-philosophy listed and described by Peter Suber. I make a number of comments in them and highlight aspects relevant to these type of thinkers. One find them of course in all disciplines and socio-cultural [racticesand disciplines be they the arts,humanities, sciences, etc. I am of course specifically concerned with original andcreative thinkers inthe Western tradition of philosophy. As I am a radical and absolute sceptic, I end with an article on this theme. It is said by everyone, for example Hume, Russell and Pascal, that such a radical position is psychologically impossible and that it cannot be lived 24/7. Pascal for example opted for believe or faith and he and a number of writers suggest that that is the only way out and the final position of radical sceptics. I disagree with him. (shrink)

Human beings employ concepts not merely to re-constitute their worlds, realities, including their selves, minds, consciousness, lives and loves but to fabricate and constitute these things. .Concepts, conceptual practices, usage and meanings are loaded and associated with predetermined -isms, presuppositions, assumptions, attitudes, beliefs, restrictions, perspectives, frames of reference, and other phenomena that will determine how they are used, their effects, results, consequences, etc. Concepts, conceptual practices, usage and meanings are loaded and associated with pre-determined -isms, pre-suppositions, assumptions, attitudes, beliefs, restrictions, (...) perspectives, frames of reference, and other phenomena that will determine how they are used, their effects, results, consequences, etc. -/- The above is earth- and anthropo-centered and restricted. The origins, nature, past, present and future is explored. This is suggested as point of reference and not the minute and irrelevant planet earth. Changes, modifications even the destruction of this planet will have little effect on and consequences for our galaxy and the universe. Against or in this universal context the nature, the functions, aims, objectives, methods, techniques, relevance, meaning and possibility of philosophy and philo- sophizing is explored. -/- Reductionistic humans are obsessed with and drawn to minimalist and generalized patterns or sets and systems of ideas as explanations and underlying foundations of complex realities and phenomena. (shrink)

This paper discusses what kind of quantitative information one can extract under which circumstances from proofs of convergence statements in analysis. We show that from proofs using only a limited amount of the law-of-excluded-middle, one can extract functionals , where L is a learning procedure for a rate of convergence which succeeds after at most B-many mind changes. This -learnability provides quantitative information strictly in between a full rate of convergence and a rate of metastability in the sense of Tao (...) . In fact, it corresponds to rates of metastability of a particular simple form. Moreover, if a certain gap condition is satisfied, then B and L yield a bound on the number of possible fluctuations. We explain recent applications of proof mining to ergodic theory in terms of these results. (shrink)

The concept of the national is often perceived, both in public and academic discourse as the central obstacle for the realization of cosmopolitan orientations. Consequently, debates about the nation tend to revolve around its persistence or its demise. We depart from this either-or perspective by investigating the formation of the ‘cosmopolitan nation’ as a facet of world risk society. Modern collectivities are increasingly preoccupied with debating, preventing and managing risks. However, unlike earlier manifestations of risk characterized by daring actions or (...) predictability models, global risks can no longer be calculated or forecast. Accordingly, more influence accrues to the perception of risk, largely constructed by media representations. Cosmopolitanized risk collectivities are engendered through the anticipation of endangered futures which are, for the most part, communicated through an increasingly global media scape. While global media events produce shared exposure, risk conceptions retain distinctive political-cultural features as their respective meanings are prefigured by path-dependent pasts. Nevertheless, the promulgation of risk societies, we argue, results in a reimagination of nationhood which takes place in the context of: global norms (e.g. human rights); globalized markets; transnational migrations; global generations and their embeddedness in civil society movements; and the local interpenetration of world religions to name but a few of the global backdrops shaping new associational intersections. We develop our argument in four interrelated steps. Contrary to essentialized notions of nationalism or universal versions of cosmopolitanism, we address the cosmopolitan reconfiguration of nationhood by differentiating between presumptions of thick belonging and the actual proliferation of cosmopolitan affiliations. In a second step we overcome the territorial fixation of the social sciences by shifting our attention to temporal dimensions, with a particular focus on competing conceptions of the future. In a third step we demonstrate how these cosmopolitan transformations of nationhood are taking place in the context of a world risk society regime that marshals a set of cosmopolitan imperatives situating the global other in our midst. In a fourth step we illustrate these developments by exploring how the mediatization of risk, and concomitant notions of the future, contribute to the reimagination of cosmopolitan risk collectivities. (shrink)

Recently, Coquand and Palmgren considered systems of intuitionistic arithmetic in a finite types together with various forms of the axiom of choice and a numerical omniscience schema which implies classical logic for arithmetical formulas. Feferman subsequently observed that the proof theoretic strength of such systems can be determined by functional interpretation based on a non-constructive μ-operator and his well-known results on the strength of this operator from the 70's. In this note we consider a weaker form LNOS of NOS which (...) suffices to derive the strong form of binary König's lemma studied by Coquand/Palmgren and gives rise to a new and mathematically strong semi-classical system which, nevertheless, can proof theoretically be reduced to primitive recursive arithmetic PRA. The proof of this fact relies on functional interpretation and a majorization technique developed in a previous paper. (shrink)

In this paper the numerical strength of fragments of arithmetical comprehension, choice and general uniform boundedness is studied systematically. These principles are investigated relative to base systems Tnω in all finite types which are suited to formalize substantial parts of analysis but nevertheless have provably recursive functions of low growth. We reduce the use of instances of these principles in Tnω-proofs of a large class of formulas to the use of instances of certain arithmetical principles thereby determining faithfully the arithmetical (...) content of the former. This is achieved using the method of elimination of Skolem functions for monotone formulas which was introduced by the author in a previous paper.As corollaries we obtain new conservation results for fragments of analysis over fragments of arithmetic which strengthen known purely first-order conservation results.We also characterize the provably recursive functions of type 2 of the extensions of Tnω based on these fragments of arithmetical comprehension, choice and uniform boundedness. (shrink)

We present an extension of Heyting arithmetic in finite types called Uniform Heyting Arithmetic that allows for the extraction of optimized programs from constructive and classical proofs. The system has two sorts of first-order quantifiers: ordinary quantifiers governed by the usual rules, and uniform quantifiers subject to stronger variable conditions expressing roughly that the quantified object is not computationally used in the proof. We combine a Kripke-style Friedman/Dragalin translation which is inspired by work of Coquand and Hofmann and a variant (...) of the refined A-translation due to Buchholz, Schwichtenberg and the author to extract programs from a rather large class of classical first-order proofs while keeping explicit control over the levels of recursion and the decision procedures for predicates used in the extracted program. (shrink)

Traditionally, conceptual thinking is explored via philosophical analysis or psychological experimentation. We seek to complement these mainstream approaches with the perspective of a first person exploration into pure thinking. To begin with, pure thinking is defined as a process and differentiated from its content, the concepts itself. Pure thinking is an active process and not a series of associative thought-events; we participate in it, we immerse ourselves within its active performance. On the other hand, concepts are also of an experiential (...) nature. And yet, little is known about what is it like to have or produce a thought, a concept, or an idea? Is a concept our own construction, a product of our own activity, or is it something we merely discover instead of producing it? We address these issues in a systematic first person enquiry into pure thinking. (shrink)

Wittgensteins "Philosophische Untersuchungen," von N. Malcolm.--Kritische Notiz zu einigen Begriffen in Wittgensteins Philosophie, von P. F. Strawson.--Wittgenstein über die Privatsprache, von N. Garver.--Der Zugang zu Wittgensteins Spätphilsophie, von S. Cavell.--Ausgewählte Bibliographie der Schriften über Ludwig Wittgenstein, zusammengestellt von Ulrich Steinvorth (p. 157-[171]).

Biographical note: Thomas Alkemeyer (Dr. phil.) ist Professor für Soziologie und Sportsoziologie an der Carl von Ossietzky Universität Oldenburg. Ulrich Bröckling (Dr. phil.) ist Professor für Kultursoziologie an der Albert-Ludwigs-Universität Freiburg. Tobias Peter (Dr. rer. pol.) ist wissenschaftlicher Mitarbeiter am Institut für Soziologie der Albert-Ludwigs-Universität Freiburg.

Traditional philosophy is no longer viable,‭ ‬relevant and acceptable.‭ ‬It might be possible to continue doing philosophizing in traditional ways.‭ ‬It is possible to continue fabricating fictional realities in the manner of the Pre-Socratics,‭ ‬Spinoza,‭ ‬Leibniz,‭ ‬Husserl,‭ ‬Hegel,‭ ‬Plato,‭ ‬et al.‭ ‬It is possible to devise pictures of realities and depictions of‭ ‬human consciousness and cognition like Descartes or in the Kantian manner. -/- One of the major issues with traditional philosophy is its lack of self-awareness,‭ ‬the absence of meta-cognition.‭ (...) ‬This lack of meta-cognition of traditional philosophers leads to the creation of all sorts of questionable phenomena and fake problems. -/- Traditional philosophy,‭ ‬metaphysics,‭ ‬ontology,‭ ‬epistemology,‭ ‬ethics,‭ ‬philosophy of sciences,‭ ‬religion,‭ ‬arts,‭ ‬etc are little more than the possibilities,‭ ‬limits and restrictions enabled and allowed by the philosopher's methodology,‭ ‬techniques and tools.‭ -/- It is most likely possible to envisage a project to devise a collection or synthesis of‭ ‬many alternative realities by means of the insights and theories of theoretical physics,‭ ‬mathematics,‭ ‬bio-chemistry,‭ ‬biology and other sciences,‭ ‬the depictions produced by the arts and pictures of realities presented by the humanities.‭ ‬If such a system of pictures of reality is philosophically relevant and meaningful is however another matter. -/- The original,‭ ‬creative thinking philosopher constitutes alternattive or new realities by his philosophizing.‭ ‬This philosophizing employs and resembles aspects and stages of the processes of theorizing. -/- The real goal of philosophizing is to increase ever greater wisdom.‭ ‬Not merely wisdom in an abstract sense,‭ ‬but different kinds of practical and applied wisdom in all areas of human,‭ ‬everyday existence.‭ ‬In other words,‭ ‬like spirituality and mysticism philosophizing attempts to embody or incarnate wisdom.‭ ‬While mysticism or the mystical paths and aspects of religions aspire to unity experience,‭ ‬to become one with THE ONE,‭ ‬to become the ONE,‭ ‬REAL SELF,‭ ‬to realize the Buddha mind or to be united or‭ '‬married‭' ‬to the Beloved of Sufism. (shrink)

I intended to deal with the different sections or chapters in one volume,‭ ‬but as certain sections or chapters are very long,‭ ‬like chapter‭ ‬1,‭ ‬THEORIZING AND PHILOSOPHIZING‭ (‬VOLUME‭ ‬1‭)‬,‭ ‬I divided some of them into separate volumes,‭ ‬chapter‭ ‬2‭ ‬HEURISTICS AND PROBLEMSOLVING‭ (‬Volume‭ ‬2‭) ‬and‭ ‬chapter‭ ‬3‭ ‬IMAGINARY EXPERIMENTS AND METAPHORS‭ (‬Vol‭ ‬3‭)‬. -/- In Volume‭ ‬1‭ ‬THEORIZING AND PHILOSOPHIZING‭ (‬VOLUME‭ ‬1‭) ‬I show that and how‭ (‬the different features,‭ ‬steps and stages of‭) ‬philosophizing resemble the processes of theorizing. (...) -/- I deal with a number of basic approaches that philosophers employ to do philosophy.‭ ‬These approaches form part of the traditional methodologies of all Philosophy. -/- The processes and techniques of doing philosophy resemble the techniques and methods one finds in different steps,‭ ‬stages and features of the processes of theorizing,‭ ‬theory development and construction.‭ ‬As many philosophers lack meta-cognitive awareness of what they are doing‭ (‬namely theorizing‭) ‬and how they are doing it‭ (‬the techniques of the different steps and stages of theorizing‭) ‬they do not complete the entire process of theorizing and theory development,‭ ‬but instead concentrate on only certain features of it. -/- The different features,‭ ‬steps and stages of theorizing are explained and the doing of philosophy is compared with them. (shrink)

Institutionalized and internalized, competence intersubjectivity contain many user-illusions and an imaginary or manifest image of reality, including of themselves (Dennett and Sellars),. This can be contrasted we a comprehension or comprehensive, understanding intersubjectivity. It is possible and perhaps even necessary to transform or replace the competence intersubjectivity to a comprehension or understanding (scientific, Dennett and Sellars) image of reality and themselves.Ethics and morality and studies of ethics and morality deal with the reality of competence intersubjectivity (by means of socio-cultural practices (...) that are derived from, based on an created by means of this restrictive, misleading, unreal, illusory, unrealistic intersubjectivity and the life-worlds associated with it) and human life-worlds constituted on the basis of and in terms of this intersubjectivity. This is why I am a nihilist, a libertarian, at least a minarchist or rather an anarchist and epistemologically a sceptic. Kant’s things in themselves are similar to Dennett and Searle’s notions of manifest and scientific image. With my addition that we are socialized and internalize the competent, know how to do it, institutionalized manifest, everyday intersubjectivity, instead of the comprehension, insights and understanding knowing that, scientific intersubjectivity of all scientific disciplines. This piece can be read as independent as comments on meta-ethics, or it can be read as a chapter in my Book ‘Intersubjectivity (continued)’, or it can be read as an introduction to my thoughts on philosophy and more specifically Intersubjectivity as – Determining the nature of philosophy Determining the nature of the subject-matter of philosophy, sociology, social psychology, aspects of cognitive sciences, ethics, epistemology, etc, Determining the nature of philosophical methodology and approaches. (shrink)

There are two ways of thinking about instants of time: "spatial" accounts emphasize the similarities between instants and places; "modal" accounts focus on the parallels between times and possible worlds. My aim in this paper is to draw attention to one respect in which times are more similar to possible worlds than they are to places.

The paper's aim is to contribute to a better understanding of Weber's methodology by clarifying the difference of Weber's concept of Verstehen from Dilthey's concept of Verstehen, and by answering the question of how Weber's claim to objectivity of his Verstehende Soziologie is compatible with his claim that the specific method of his Verstehende Soziologie, the idealtypical construction, is empirically irrefutable. My thesis is that there are three classes of ideal types in Weber: concepts of 'historical individuals', concepts of 'objective (...) possibilities' and idealtypical classifying concepts. Common to them is the end to grasp the individual character of a social phenomenon. Their different functions in realizing this end justify to describe Weber's Verstehende Soziologie as a system, in which social phenomena are presented as if they were the result of conscious human decisions. (shrink)

It is well-known (due to C. Parsons) that the extension of primitive recursive arithmeticPRA by first-order predicate logic and the rule ofΠ 2 0 -inductionΠ 2 0 -IR isΠ 2 0 -conservative overPRA. We show that this is no longer true in the presence of function quantifiers and quantifier-free choice for numbersAC 0,0-qf. More precisely we show that ℐ :=PRA 2 +Π 2 0 -IR+AC 0,0-qf proves the totality of the Ackermann function, wherePRA 2 is the extension ofPRA by number (...) and function quantifiers andΠ 2 0 -IR may contain function parameters. This is true even forPRA 2 +∑ 1 0 -IR+Π 2 0 -IR −+AC 0,0-qf, whereΠ 2 0 -IR − is the restriction ofΠ 2 0 -IR without function parameters. (shrink)

We show that the so-called weak Markov's principle which states that every pseudo-positive real number is positive is underivable in [MATHEMATICAL SCRIPT CAPITAL T]ω ≔ E-HAω + AC. Since [MATHEMATICAL SCRIPT CAPITAL T]ω allows one to formalize Bishop's constructive mathematics, this makes it unlikely that WMP can be proved within the framework of Bishop-style mathematics . The underivability even holds if the ine.ective schema of full comprehension for negated formulas is added, which allows one to derive the law of excluded (...) middle for such formulas. (shrink)

ABSTRACT Theodor Herzl once contemptuously remarked that he regards Freiland as a joke. This statement surprises if one compares his novel Altneuland to Theodor Hertzka's Freiland. To say the least, both utopias share many themes and narratives structures. While Altneuland became the world-renowned manifesto of Zionism, Freiland cherished popularity only at the time of its publication. Both novels are products of Vienna's fin-de-siècle modernism. Herzl's utopia is set in Palestine, Hertzka places Freiland in the empty space of East Africa. His (...) vision of a new civilization in Africa coincided with European colonialism, nationalism and the surge of anti-Semitism in Vienna. In the following, the essay investigates if Hertzka merely criticizes the culture of fin-de-siècle Vienna, or, if he produces a unique alternative? (shrink)