The construct “mentalization” in our Western psychological knowledge and more specifically in clinical work appeared several decades ago. The focus of the Western understanding and research of the construct and of mentalization-based therapy is put on the psychopathological dimensions of the process of mentalization. This article presents a brief analysis of the existential functions of mentalization in the thousand of years old Asian philosophical-psychological systems in an attempt to highlight some important implications for our Western views. The analysis (...) is based on the paradigm of critical psychology as a concretization of the principles of Immanuel Kant‘s critical philosophy in the field of psychological knowledge. (shrink)

European Journal of Philosophy, EarlyView.

We are concerned with showing how ‘labelled’ Natural Deduction presentation systems based on an extension of the so-called Curry-Howard functional interpretation can help us understand and generalise most of the deduction calculi designed to deal with the logical notion of existential quantification. We present the labelling mechanism for ‘’ using what we call ‘ɛ-terms’, which have the form of ‘a’) in a dual form to the ‘Ax.f’ terms of in the sense that the ‘witness’ is chosen at the time (...) of assertion/introduction.With the intention of demonstrating the generality of our framework, we provide a brief comparison with some other calculi of existentials, including the model-theoretic interpretations of Skolem and Herbrand, indicating the way in which some of the classical results on prenex normal forms can be extended to a wide range of logics. The essential ingredient is to look at the conceptual framework of labelled natural deduction as an attempted reconstruction of Frege's functional calculus where the devices of the Begriffsschrift work separately from, yet in harmony with, those of the Grundgesetze 1. (shrink)

The purpose of this paper is to clarify the relationship between various conditions implying essential undecidability: our main result is that there exists a theory T in which all partially recursive functions are representable, yet T does not interpret Robinson’s theory R. To this end, we borrow tools from model theory — specifically, we investigate model-theoretic properties of the model completion of the empty theory in a language with function symbols. We obtain a certain characterization of ∃∀ theories interpretable (...) in existential theories in the process. (shrink)

Existential-Phenomenological Support Groups Addressed to Parents of Childrens with Various Neurodevelopmental Disorders: Principles, Models, Implementation and Functioning Features. This article aims to present the principles, techniques and models of existential-phenomenological philosophical counseling, as well as the way in which philosophical practice can be used to support discussions within support groups addressed to parents of children with disabilities. A model of philosophical existential-phenomenological group counseling will also be proposed, addressing the parents of children diagnosed with autistic spectrum disorder. (...) The phases of the group counseling process as well as individual counseling through phenomenology will be reproduced in this article, which will also propose possible themes that discussions in workshops with parents of children with disabilities can be based on. (shrink)

The article presents a portrait and analysis of the existential-psychocultural situation in postmodern Sweden. Drawing from recent research exploring psychology of religion and existential worldviews, and the Swedish findings from the international World Values Survey, an argument is made for thinking about existential function and dysfunction as public health issues. This is portrayed against the background of Sweden as one of the most secularized countries and simultaneously a country with one of the most encompassing welfare systems. Psychology (...) of religion's updated role here would be to take responsibility for identifying and assessing the categories of function and dysfunction for an existential public health system. This role would also include the planning of policy for societal existential wellbeing, as well as planning prevention and intervention efforts for avoiding existential epidemiology. This new role fits well with public health's third revolution agenda focusing on health, wellbeing and quality of life. (shrink)

Increasing rates of psychiatric problems like depression and anxiety among Swedish youth, predominantly among females, are considered a serious public mental health concern. Multiple studies confirm that psychological as well as existential vulnerability manifest in different ways for youths in Sweden. This multi-method study aimed at assessing existential worldview function by three factors: 1) existential worldview, 2) ontological security, and 3) self-concept, attempting to identify possible protective and risk factors for mental ill-health among female youths at risk (...) for depression and anxiety. The sample comprised ten females on the waiting list at an outpatient psychotherapy clinic for teens and young adults. Results indicated that both functional and dysfunctional factors related to mental health were present, where the quality and availability of significant interpersonal relations seemed to have an important influence. Examples of both an impaired worldview function and a lack of an operating existential worldview were found. Psychotherapeutic implications are discussed. (shrink)

The accompanying article aims to develop Eero Tarasti's inceptual theory of existential semiotics into a fully functioning if rudimentary model for semiotic analysis. It consists of the presentation, analysis, and critique of several of the essential but nebulous formulations that Tarasti offers, and the development on this basis of a tool for existential semiotic analysis: an existential version of Greimas' semiotic square. The particular concepts concerning which Tarasti is taken to task are transcendence, endo-/exo-signs, and understanding. In (...) each case, the analysis and critique follows the same lines: revealing how Tarasti's implicit opposition to structuralism belies a fundamental misappropriation of the existential tradition and demonstrating how it is possible to develop his initial insights both into a more faithful appropriation of existentialism and into a more fundamental structuralism. On the foundation of the clarified concepts of transcendence, subjectivity, and understanding, an existential semiotic square is then developed that, while remaining rudimentary, will at least support basic existential semiotic analysis. Examples are given to demonstrate its functionality. (shrink)

A recent popular analysis of English indefinites isthat they involve a choice function mechanism in their semantic interpretation. However,there are diversified views regarding how intermediate scope readings should be dealt withand which level(s) existential closure should apply to. This paper attempts to make acontribution to this debate by examining existential polarity wh-phrases in Chinese. I showthat unlike the behaviors of polarity indefinites in St''át''imcets reported by Matthewson(1999), intermediate scope readings are possible for polarity wh-phrases in Chinese but aresubject (...) to some locality conditions. I suggest that implicit arguments of choice functionsmight have a parametric value the choice of which affects availability of intermediate readings.The findings in this paper thus revive the possibility, rejected by Matthewson (1999), that thechoice function mechanism may vary from language to language or from indefinite NPs in onelanguage to indefinite NPs in another language or even from one type of indefiniteNP to another type of indefinite NP within the same language. (shrink)

Humans have always sought to change their environment—building houses, monuments, temples, and roads. In the process, they have remade the fabric of the world into newly functional objects that are also works of art to be admired. In this second edition of his popular Existential Pleasures of Engineering, Samuel Florman explores how engineers think and feel about their profession. A deeply insightful and refreshingly unique text, this book corrects the myth that engineering is cold and passionless. Indeed, Florman celebrates (...) engineering not only crucial and fundamental but also vital and alive he views it as a response to some of our deepest impulses, an endeavor rich in spiritual and sensual rewards. Opposing the "anti-technology" stance, Florman gives readers a practical, creative, and even amusing philosophy of engineering that boasts of pride in his craft. (shrink)

This paper explores the role of existential feelings in films, and the impact of theconnections between cinema and existential feelings for emotional life in general. After explaining the notion of existential feelings and illustrating them in films with Black Swan and The Help , the paper concludes that movies offer provide insights about our own existential feelings because films promote emotional awareness by the way they function as emotional laboratories. This will lead to an examination the (...) presence and role of surprise for emotional a wareness in general, and more specifically by seeing how it works within suspense movies with the illustration of Rebecca . The analysis will show how the paradox of suspense is tied to the way we can be surprised by our own feelings, including our own existential feelings. The paper concludes that the cinema is capable of providing this privileged place for exploration because it maintains our ability to feel surprise and keep open to surprise. (shrink)

Patients with a life-threatening illness can be confronted with various types of loneliness, one of which is existential loneliness (EL). Since the experience of EL is extremely disruptive, the issue of EL is relevant for the practice of end-of-life care. Still, the literature on EL has generated little discussion and empirical substantiation and has never been systematically reviewed. In order to systematically review the literature, we (1) identified the existential loneliness literature; (2) established an organising framework for the (...) review; (3) conducted a conceptual analysis of existential loneliness; and (4) discussed its relevance for end-of-life care. We found that the EL concept is profoundly unclear. Distinguishing between three dimensions of EL—as a condition, as an experience, and as a process of inner growth—leads to some conceptual clarification. Analysis of these dimensions on the basis of their respective key notions—everpresent, feeling, defence; death, awareness, difficult communication; and inner growth, giving meaning, authenticity—further clarifies the concept. Although none of the key notions are unambiguous, they may function as a starting point for the development of care strategies on EL at the end of life. (shrink)

Peirce considered the principal business of logic to be the analysis of reasoning. He argued that the diagrammatic system of Existential Graphs, which he had invented in 1896, carries the logical analysis of reasoning to the furthest point possible. The present paper investigates the analytic virtues of the Alpha part of the system, which corresponds to the sentential calculus. We examine Peirce’s proposal that the relation of illation is the primitive relation of logic and defend the view that this (...) idea constitutes the fundamental motive of philosophy of notation both in algebraic and graphical logic. We explain how in his algebras and graphs Peirce arrived at a unifying notation for logical constants that represent both truth-function and scope. Finally, we show that Shin’s argument for multiple readings of Alpha graphs is circular. (shrink)

Patients with a life-threatening illness can be confronted with various types of loneliness, one of which is existential loneliness (EL). Since the experience of EL is extremely disruptive, the issue of EL is relevant for the practice of end-of-life care. Still, the literature on EL has generated little discussion and empirical substantiation and has never been systematically reviewed. In order to systematically review the literature, we (1) identified the existential loneliness literature; (2) established an organising framework for the (...) review; (3) conducted a conceptual analysis of existential loneliness; and (4) discussed its relevance for end-of-life care. We found that the EL concept is profoundly unclear. Distinguishing between three dimensions of EL—as a condition, as an experience, and as a process of inner growth—leads to some conceptual clarification. Analysis of these dimensions on the basis of their respective key notions—everpresent, feeling, defence; death, awareness, difficult communication; and inner growth, giving meaning, authenticity—further clarifies the concept. Although none of the key notions are unambiguous, they may function as a starting point for the development of care strategies on EL at the end of life. (shrink)

This article employs Umberto Eco’s 2004 novel The Mysterious Flame of Queen Loana as an exemplar of the hypertextuality of Eco’s semiotic theory. Eco’s project illustrates existential semiotics, providing a corrective to Euro Tarasti. For Tarasti signs reveal possibilities for transcendence in the lived world with ‘omnipresent’ meaning in an enunciative dialogue between signs and a semiotic subject. Tarasti’s existential signs are communicative alerts that illuminate a semiotic subject’s journey of transcendence, creating meaning via infusion of signs with (...) signification. This article forgoes Tarasti’s insistence on transcendence. The vitality of existential semiotic signs is displayed through Eco’s hypertextual approach to semiotics manifested in The Mysterious Flame of Queen Loana. Eco’s insights model an existential semiotic, correcting Tarasti’s pragmatically flawed but theoretically significant undertaking. Our rationale for explicating the scope of Tarasti’s work exemplifies an existential disconnect between information accumulation and signification. We present Tarasti’s project due to its fundamental signification for understanding the importance and vitality for existential semiotics. Existential semiotics illuminates the signifying function of communication in the presence of the ineffable. (shrink)

Let Λ denote the semiring of isols. We characterize existential completeness for Nerode subsemirings of Λ, by means of a purely isol-theoretic “Σ1 separation property”. Our characterization is purely isol-theoretic in that it is formulated entirely in terms of the extensions to Λ of the Σ1 subsets of the natural numbers. Advantage is taken of a special kind of isol first conjectured to exist by Ellentuck and first proven to exist by Barback . In addition, we strengthen the negative (...) part of [13] by showing that existential completeness is not secured, for a given Nerode semiring, by either a certain “functional closure” property for the extensions of partial recursive functions or the property of “pulling in” some portion of each partial recursive fiber; these latter results are perhaps a little surprising. (shrink)

This paper shows how to conservatively extend theories formulated in non-classical logics such as the Logic of Paradox, the Strong Kleene Logic and relevant logics with Skolem functions. Translations to and from the language extended by Skolem functions into the original one are presented and shown to preserve derivability. It is also shown that one may not always substitute s=f(t) and A(t, s) even though A determines the extension of a function and f is a Skolem function for (...) A. (shrink)

In this paper, I examine, in five parts, the nature and function of evidence in Husserl’s phenomenology of existence. By “evidence” I understand the intentional achievement of self-giving in Husserl’s sense, and by “phenomenology of existence” I understand the branch of his philosophy that addresses the question concerning a meaningful life. In Part One, I propose that Husserl’s philosophy includes a phenomenology of existence. In Part Two, I employ a selection of texts from Grenzprobleme der Phänomenologie to sketch the basic (...) outlines of his phenomenology of existence. In Part Three, I demonstrate that Husserl develops a concept of evidence rich enough to encompass the evidence appropriate to his phenomenology of existence. In Part Four, I investigate the way in which Husserl appeals to what one may describe as “existential evidence” to ground his manner of apprehending the world as he sees it. In Part Five, I expand the horizon of the investigation by situating “existential evidence” – the “given” that keeps on giving – in the context of other kinds of evidence more familiar to scholars and students of Husserl’s phenomenology. (shrink)

We present a new functional interpretation, based on a novel assignment of formulas. In contrast with Gödel’s functional “Dialectica” interpretation, the new interpretation does not care for precise witnesses of existential statements, but only for bounds for them. New principles are supported by our interpretation, including the FAN theorem, weak König’s lemma and the lesser limited principle of omniscience. Conspicuous among these principles are also refutations of some laws of classical logic. Notwithstanding, we end up discussing some applications of (...) the new interpretation to theories of classical arithmetic and analysis. (shrink)

Background: According to ethical guidelines, healthcare professionals should be able to provide care that allows for the patients’ values, customs and beliefs, and the existential issues that are communicated through them. One widely discussed issue is existential loneliness. However, much of the debate dealing with existential loneliness concludes that both the phenomenon and the concept are quite vague. Aim: To clarify what constitutes existential loneliness, and to describe its lived experiences. A further aim was to provide (...) a definition of existential loneliness that can function as a tool for identifying the phenomenon and for differentiating it from other kinds of loneliness. Method: A literature review including theoretical and empirical studies. Different search strategies were used to gather the articles included in the study. The analysis of the empirical studies had an interpretative approach. The articles were also analysed with the aim of providing a definition of existential loneliness. This was done by means of criteria such as language, uniqueness, theory and usefulness. This study is not empirical and does therefore not require an ethics review. Results: The analysis resulted in two main characteristics. The first one was perceiving oneself as inherently separated (disconnected) from others and from the universe. The second one brings out emotional aspects of EL, such as isolation, alienation, emptiness and a feeling of being abandoned. The empirical findings were divided into two categories: experiences of EL and circumstances in which EL arises. A definition of EL is also suggested, based on the two main characteristics identified. Conclusion: In order to meet patients’ needs, it is an ethical duty for healthcare staff to be able to recognise experiences of EL, that is, to communicate with the patients about these experiences in an appropriate manner. This in turn demands knowledge about existential issues and skills to deal with them. (shrink)

This article aims at making a case for the role of seduction in existential education, that is, education that focuses on the pupil’s life choices. First, the article attempts to show that the relationship between the teacher and the pupil can be understood as a form of seduction. Secondly, the article examines how such a relationship functions in practice. Thirdly, the article warns against dangerous aspects related to seduction, and lastly, the article offers five conditions for how seduction (...) can be used in a justifiable manner in existential education. (shrink)

When our choice affects some other person and the outcome is unknown, it has been argued that we should defer to their risk attitude, if known, or else default to use of a risk avoidant risk function. This, in turn, has been claimed to require the use of a risk avoidant risk function when making decisions that primarily affect future people, and to decrease the desirability of efforts to prevent human extinction, owing to the significant risks associated with continued human (...) survival. I raise objections to the claim that respect for others’ risk attitudes requires risk avoidance when choosing for future generations. In particular, I argue that there is no known principle of interpersonal aggregation that yields acceptable results in variable population contexts and is consistent with a plausible ideal of respect for others’ risk attitudes in fixed population cases. GPI Working Paper No . 20-2022. (shrink)

Advances in the neurosciences have many implications for a collective understanding of what it means to be human, in particular, notions of the self, the concept of volition or agency, questions of individual responsibility, and the phenomenology of consciousness. As the ability to peer directly into the brain is scientifically honed, and conscious states can be correlated with patterns of neural processing, an easy—but premature—leap is to postulate a one-way, brain-based determinism. That leap is problematic, however, and emerging findings in (...) neuroscience can even be seen as compatible with some of the basic tenets of existentialism. Given the compelling authority of modern “science,” it is especially important to question how the findings of neuroscience are framed, and how the articulation of research results challenge or change individuals’ perceptions of themselves. Context plays an essential role in the emergence of human identity and in the sculpting of the human brain; for example, even a lack of stimuli (“nothing”) can lead to substantial consequences for brain, behavior, and experience. Conversely, advances in understanding the brain might contribute to more precise definitions of what it means to be human, including definitions of appropriate social and moral behavior. Put another way, the issue is not simply the ethics involved in framing neurotechnology, but also the incorporation of neuroscientific findings into a richer understanding of human ethical (and existential) functioning. (shrink)

This paper provides an analysis of the notational difference between Beta Existential Graphs, the graphical notation for quantificational logic invented by Charles S. Peirce at the end of the 19th century, and the ordinary notation of first-order logic. Peirce thought his graphs to be “more diagrammatic” than equivalently expressive languages for quantificational logic. The reason of this, he claimed, is that less room is afforded in Existential Graphs than in equivalently expressive languages for different ways of representing the (...) same fact. The reason of this, in turn, is that Existential Graphs are a non-linear, occurrence-referential notation. As a non-linear notation, each graph corresponds to a class of logically equivalent but syntactically distinct sentences of the ordinary notation of first-order logic that are obtained by permuting those elements that in the graphs lie in the same area. As an occurrence-referential notation, each Beta graph corresponds to a class of logically equivalent but syntactically distinct sentences of the ordinary notation of first-order logic in which the identity of reference of two or more variables is asserted. In brief, Peirce’s graphs are more diagrammatic than the linear, type-referential notation of first-order logic because the function that translates the latter to the graphs does not define isomorphism between the two notations. (shrink)

Analysis of the psychological processes involved in generating the sense of supernatural agency, as well as social scientific research into the factors most directly associated with the prevalence of religious belief and practice, both support a common finding: the direct correlation between levels of existential anxiety and the prevalence and intensity of religiosity. All functional elements of religion involve efforts to invoke, activate, and deploy supernatural causal agency of one sort or another. But religiosity varies throughout the world. This (...) paper reviews psychological evidence that existential anxiety is the core factor activating the intra-psychic mechanisms that give rise to and constitute the nature of religiosity, and that variations in physical and socio-cultural pressures impinging on the individual give rise to variations in anxiety. This combination of intrinsic psychological mechanisms driven though existential anxiety by extrinsic physical, economic, and social pressures indicates that religiosity is best understood as a social–psychological process: socio-cultural factors activating anxiety which in turn drives the intra-psychic mechanisms generating the sense of supernatural agency expressed in belief and practice. By the same token, for analytical purposes, religions are most effectively viewed as social–psychological organisms: social organisms driven by intra-psychic mechanisms that constitute religious convictions and practices in the way that we find them—dedicated to and engaged with supernatural agency in its various forms. (shrink)

The variety MBA of monadic bounded algebras consists of Boolean algebras with a distinguished element E, thought of as an existence predicate, and an operator ∃ reflecting the properties of the existential quantifier in free logic. This variety is generated by a certain class FMBA of algebras isomorphic to ones whose elements are propositional functions. We show that FMBA is characterised by the disjunction of the equations ∃E = 1 and ∃E = 0. We also define a weaker (...) notion of "relatively functional" algebra, and show that every member of MBA is isomorphic to a relatively functional one. (shrink)

A new method of coding Diophantine equations is introduced. This method allows checking that a coded sequence of natural numbers is a solution of a coded equation without decoding; defining by a purely existential formula, the code of an equation equivalent to a system of indefinitely many copies of an equation represented by its code. The new method leads to a much simpler construction of a universal Diophantine equation and to the existential arithmetization of Turing machines, register machines, (...) and partial recursive functions. (shrink)

[1] In _What Computers Can't Do_ (1972), Hubert Dreyfus identified several basic assumptions about the nature of human knowledge which grounded contemporary research in cognitive science. Contemporary artificial intelligence, he argued, relied on an unjustified belief that the mind functions like a digital computer using symbolic manipulations ("the psychological assumption") (Dreyfus 1992: 163ff), or at least that computer programs could be understood as formalizing human thought ("the epistemological assumption") (Dreyfus 1992: 189). In addition, the project depended upon an assumption (...) about the data about the human world which we employ in thought - namely, that it consists of discrete, determinate, and explicit pieces which can be processed heuristically ("the ontological assumption") (Dreyfus 1992: 206). (shrink)

In "Existential Humanism and Moral Freedom in Simone de Beauvoir's Ethics" Tove Pettersen elucidates the close connection between Beauvoir’s ethics and humanism, and argues that her humanism is an existential humanism. Beauvoir’s concept of freedom is inspected, followed by a discussion of her reasons for making moral freedom the leading normative value, and her claim that we must act for humanity. In Beauvoir’s ethics, freedom is not reserved for the elite, but understood as everyone being “able to surpass (...) the given toward an open future.” By addressing the continuing friction between individual freedom and public interests, Beauvoir’s normative thinking remains highly relevant today. It also exemplifies the enduring importance of humanistic reflections and demonstrates how, through critical and creative thinking, the humanities can contribute to a free, well-functioning democratic society. (shrink)

Gödel's dialectica interpretation of Heyting arithmetic HA may be seen as expressing a lack of confidence in our understanding of unbounded quantification. Instead of formally proving an implication with an existential consequent or with a universal antecedent, the dialectica interpretation asks, under suitable conditions, for explicit 'interpreting' instances that make the implication valid. For proofs in constructive set theory CZF-, it may not always be possible to find just one such instance, but it must suffice to explicitly name a (...) set consisting of such interpreting instances. The aim of eliminating unbounded quantification in favor of appropriate constructive functionals will still be obtained, as our ∧-interpretation theorem for constructive set theory in all finite types CZFω- shows. By changing to a hybrid interpretation ∧q, we show closure of CZFω- under rules that – in stronger forms – have already been studied in the context of Heyting arithmetic. In a similar spirit, we briefly survey modified realizability of CZFω- and its hybrids. Central results of this paper have been proved by Burr 2000a and Schulte 2006, however, for different translations. We use a simplified interpretation that goes back to Diller and Nahm 1974. A novel element is a lemma on absorption of bounds which is essential for the smooth operation of our translation. (shrink)

There is a good deal of disagreement about composition. There is firstorder disagreement: there are radically different answers to the special composition question—the question of under what circumstances the xs compose a y. There is second-order disagreement: there are different answers to the question of whether first-order disagreement is real or merely semantic. Virtually all disputants with respect to both the first-and second-order issues agree that the answer or answers to the special composition question will take the form of a (...) necessary truth or truths even though, as I will argue, such answers do not appear to be good candidates to be necessary truths. This paper provides an analysis of the concept of as it pertains to concrete objects, that fulfils two functions. First, it explicates the sense in which claims about composition are contingent and the sense in which they are necessary, and second, it provides a way of understanding when first-order disputes are substantial and when they are merely semantic. (shrink)

The goal I pursue in this study is to explain the constitutive function of the newspapers’ opinion discourses from the perspective of securitisation theory. I discuss how the opinion articles and editorial collected from The New York Times, The Wall Street Journal, USA Today and New York Post constructed the social reality differently, as a result of their differing political ideologies, and sought to influence American foreign policy in line with their interests. Integrating securitisation theory with CDS, I investigated three (...) types of discursive strategies employed by these articles and discussed their contribution to the construction of elements of securitisation. The findings showed that American newspapers’ commentary articles systematically securitised Iran.1. (shrink)

Building on the framework of learned helplessness, and applying a behavioural perspective, Boddez et al. theorise that consecutive failures in various life domains might be generalised and cause a general sense of helplessness, which leads to, and can be conceptualised as, human suffering. We argue that this perspective fails to address the complexities of human suffering and the motivational sources of feelings of helplessness. We provide an existential-social psychological perspective on helplessness, highlighting the need for psychological protection and the (...) mechanisms by which it is achieved. We draw upon attachment, terror management, and motivated helplessness theories in order to demonstrate the anxiety-buffering function of goal attainment in major life domains (e.g. self-esteem and close relationships) and its influence on helplessness and suffering. (shrink)

Youth sport is habitually promoted as an important context for learning that contributes to a person’s broader development beyond sport-specific skills. A growing body of research in this area has operated within a life skills discourse that focuses on useful, positive and decontextualised skills in the production of successful and adaptive citizens. In this paper, we argue that the ideological discourse of life skills, underpinned by ideas about sport-based positive youth development, has unduly narrowed the research on learning in sport (...) to only what is deemed functional, teachable, and economically productive. After considering the problems associated with the currently dominant life skills approach, we explore existential learning as an alternative perspective on conceptualising and studying learning in sport. An existential approach provides a non-instrumental theory of learning with an emphasis on discontinuity, relational self and ‘becoming’, opening an avenue for exploring various forms of informal learning under-explored in sport. We discuss the applications of this alternative approach for future research and practice in learning in youth sport. (shrink)

The aim of the article is to present a very important phenomenon affecting human integrity and homeostasis that is Threat Prediction Process. This process can be defined as “experiencing apprehension concerning results of potential/ actual dangers,” oscillating in terminological area of anxiety, fear, stress, restlessness. Moreover, it highlights a cognitive process distinctive for listed phenomenon’s. The process accompanied with technological and organization changes increases number of health problems affecting many populations. Hard work conditions; changing life style; or many social and (...) political threats have influence on people’s quality of life that are even greater and more dangerous than physical and psychological factors, which, in turn, have much more consequences for human normal functioning. The present article is based on chosen case studies of a qualitative analysis of threat prediction process. (shrink)

In this paper I focus on the emergence of the concept of the “historical a priori” at the origin of Foucault’s archeology. I emphasize the methodological function of this concept within Foucault’s archaeology, and I maintain that despite the different thesis it entails as compared to its philosophical sources, it pertains to one of the main issues of phenomenology, that is, the problematization of the relation between reality as it appears in its historicity, and transcendentality. I start from the interest (...) of the young Foucault in existential psychiatry, and I focus on the French philosophical context in which Foucault’s Introduction to Ludwig Binswanger’s “Dream and Existence” (1954) was conceived. My aim is to show that the first “phenomenological” phase of Foucault’s work is coherent, from a methodological point of view, with the development of archaeology intended as “historical epistemology.” I conclude by arguing that Foucault’s archaeology is methodologically linked to Canguilhem’s epistemology, in that the latter presents itself as an important attempt at linking together historicity and transcendentality. (shrink)

We introduce a new typed combinatory calculus with a type constructor that, to each type σ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma $$\end{document}, associates the star type σ∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma ^*$$\end{document} of the nonempty finite subsets of elements of type σ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma $$\end{document}. We prove that this calculus enjoys the properties of strong normalization and confluence. With the aid of this star combinatory (...) calculus, we define a functional interpretation of first-order predicate logic and prove a corresponding soundness theorem. It is seen that each theorem of classical first-order logic is connected with certain formulas which are tautological in character. As a corollary, we reprove Herbrand’s theorem on the extraction of terms from classically provable existential statements. (shrink)

The current medical approach to erectile dysfunction (ED) consists of physiological, psychological and social components. This paper proposes an additional framework for thinking about ED based on phenomenology, by focusing on the theory of sexual projection. This framework will be complementary to the current medical approach to ED. Our phenomenological analysis of ED provides philosophical depth and illuminates overlooked aspects in the study of ED. Mainly by appealing to Merleau-Ponty’s Phenomenology of Perception, we suggest considering an additional etiology of ED (...) in terms of a weakening of a function of sexual projection. We argue that sexual projection can be problematized through cognitive interferences, changes in the ‘intentional arc’, and modifications in the subject’s ‘body schema’. Our approach further highlights the importance of considering the ‘existential situation’ of patients with ED. We close by reflecting briefly on some of the implications of this phenomenological framework for diagnosis and treatment of ED. (shrink)

What happens to the form of the biennial when biennials become part of a world system of art institutions, subject to the historical temporality of a global contemporaneity? In particular, what happens when the periodic rhythms of national narratives of biennial exhibitions are overcoded by a serial sequence of international biennials – competing for contemporaneity – seemingly without end? This essay approaches these questions via a consideration of the debate about the transitional symbolic significance of the 1989 Third Havana Biennale. (...) It contrasts three historical problematics of ‘the contemporary’ as models through which to think the cultural function of biennials: the critique of anthropology, or, the coeval; socialist post- coloniality, or the avant-garde construction of traditions; the historical contemporaneity of a global capitalist modernity. (shrink)

The Swiss psychiatrist Ludwig Binswanger is best known for his existential analysis (Daseinsanalyse) presented in a series of case studies in the 1940s, but his existential anthropology of mania of the early 1930s has received less attention. He introduced this new existential science as a disciplinary hybrid of existential philosophy and clinical psychiatry, and, in doing so, transformed the genre of narrow medical case study into a broader discourse of philosophical anthropology. The very ambitiousness of his (...) method, however, tended to eclipse the individuality of his manic patient; its delineation of the conditioning structures of manic experience rendered the patient’s life-history and her functional state as secondary to these structures. (shrink)

Recently, the second author, Briseid, and Safarik introduced nonstandard Dialectica, a functional interpretation capable of eliminating instances of familiar principles of nonstandard arithmetic—including overspill, underspill, and generalizations to higher types—from proofs. We show that the properties of this interpretation are mirrored by first-order logic in a constructive sheaf model of nonstandard arithmetic due to Moerdijk, later developed by Palmgren, and draw some new connections between nonstandard principles and principles that are rejected by strict constructivism. Furthermore, we introduce a variant of (...) the Diller–Nahm interpretation with two different kinds of quantifiers, similar to Hernest’s light Dialectica interpretation, and show that one can obtain nonstandard Dialectica by weakening the computational content of the existential quantifiers—a process called herbrandization. We also define a constructive sheaf model mirroring this new functional interpretation, and show that the process of herbrandization has a clear meaning in terms of these sheaf models. (shrink)

English deictic and existential there-constructions have been analyzed as constituting a single radial category of form—meaning pairings, related through motivated links, such as metaphor (Lakoff 1987). By comparison, existentials and deictic demonstratives in French make use of two distinct radial categories. The current study analyzes the varied senses of French deictic demonstratives (voilà ‘there is’ and voici ‘here is’) and the existential (il y a ‘there is’). We argue that the syntactic behavior of each of their senses is (...) best explained by the semantic and pragmatic function of that sense, in combination with constraints imposed by its relation to other senses. A cross-linguistic comparison of the deictic demonstrative and existential constructions in French and English supports this claim: despite the different historical origins of these forms in the two languages, they display a strikingly similar array of uses and formal constraints. The parallel evolution of deictics and existentials in these two languages is interpreted as a case of convergent evolution of linguistic items, much like convergent evolution in biological species. (shrink)

Recent advances in natural language processing have given rise to a new kind of AI architecture: the language agent. By repeatedly calling an LLM to perform a variety of cognitive tasks, language agents are able to function autonomously to pursue goals specified in natural language and stored in a human-readable format. Because of their architecture, language agents exhibit behavior that is predictable according to the laws of folk psychology: they function as though they have desires and beliefs, and then make (...) and update plans to pursue their desires given their beliefs. We argue that the rise of language agents significantly reduces the probability of an existential catastrophe due to loss of control over an AGI. This is because the probability of such an existential catastrophe is proportional to the difficulty of aligning AGI systems, and language agents significantly reduce that difficulty. In particular, language agents help to resolve three important issues related to aligning AIs: reward misspecification, goal misgeneralization, and uninterpretability. (shrink)

Youth sport is habitually promoted as an important context for learning that contributes to a person’s broader development beyond sport-specific skills. A growing body of research in this area has operated within a life skills discourse that focuses on useful, positive and decontextualised skills in the production of successful and adaptive citizens. In this paper, we argue that the ideological discourse of life skills, underpinned by ideas about sport-based positive youth development, has unduly narrowed the research on learning in sport (...) to only what is deemed functional, teachable, and economically productive. After considering the problems associated with the currently dominant life skills approach, we explore existential learning as an alternative perspective on conceptualising and studying learning in sport. An existential approach provides a non-instrumental theory of learning with an emphasis on discontinuity, relational self and ‘becoming’, opening an avenue for exploring various forms of informal learning under-explored in sport. We discuss the applications of this alternative approach for future research and practice in learning in youth sport. -/- KEYWORDS: Positive youth development, athletes, discontinuity, informal learning, identity. (shrink)

I consider a naturalistic approach to death, seeking a naturalistic or “functional” version of immortality. Making use of John Dewey and some other classical American philosophers, I first articulate the naturalism of this project. I then discuss what such naturalism means for understanding the self and its survival. Finally, I consider the existential question about to what extent such a view of immortality is satisfying.