La psicología es una rama científica relativamente nueva y a la que todavía le faltan bases metodológicas consistentes para fundamentar sus investigaciones. Dada su inmadurez, tal ciencia tiene dificultades para delimitar su estatuto ontológico, lo que genera diversos equívocos epistemológicos y metodológicos. Así, se impone una cuestión fundamental para la aclaración del objeto de la psicología: el problema mente-cuerpo. En ese sentido, el objetivo de este artículo, basado en la fenomenología de Edith Stein, es analizar algunos trabajos de la filósofa, (...) a saber: “Causalidad Psíquica” e “Introducción a la Filosofía”. De esa manera, a través de las investigaciones de Stein acerca de la psique y del cuerpo, se concluye que es posible concebir la cuestión psique/mente-cuerpo como una unidad-dual que se instancia en el Leib.Psychology is a relatively new scientific branch that still lacks consistent methodological foundations to support their investigations. Given their immaturity, that science still faces difficulties to delimit its ontological status, which raises various epistemological and methodological misconceptions. Thus, there is a fundamental question for an elucidation of the object of Psychology: the mindbody problem. The proposal of this article, in this sense, is to discuss the mind-body problem in the light of the Phenomenology of Edith Stein, seeking from there lay the fundation of Psychology. For this, some works of the philosopher was analysed, namely: “Psychic Causality” and “Introduction to Philosophy”. In this way, through the investigations of Stein about the psyche and body, concluded that it is possible to conceive the psyche/mind-body issue while a dual-unit that instantiates in the Leib. (shrink)

It is often asserted that even our own past is a foreign country: the ideas of past thinkers are, in some ways, alien to us today. For the European historian of non- European philosophy, not only is the past held to be a different country, but it is also the past ofadifferentcountry. This is both convenient and problematic all at once. The historian of non- European philosophy faces a double separation from his/her subject matter; she is both a foreigner and (...) an alien. In this paper, I approach questions of how this historian should orientate herself towards her subject, and why she should care about it at all. (shrink)

This book, Emerson, the Philosophy of Obedience, attempts to trace Emerson who sought to integrate Western and Eastern thoughts to found a new philosophy in the new world. An ardent admirer of Plato, he is at the same time an enthusiast of Eastern philosophy. "Memory," for example, is one of his last lecture series, "Natural Method of Mental Philosophy," in which men are all taken as the halves, because men have aftersight, but not aforesight. Memory is, to Emerson, not only (...) to call forth the past knowledge to the present, but also there is something related to the future, because some past things memorized in the mind are changed into "a possession of its law." This is called "a mutation in quality," by which past things in the mind come into "a possession of its law," obeying the law, just as, in Phaedo, "all the apparent equals strive to attain absolute equality." The Platonic method of Analogy works doubtlessly in Emerson. Men obey this law, because "Nature and [Man] are from one source, and that he, when humble and obedient, is nearer to the source." The mind is such a movement, as he finds that "The mind yields sympathetically to the tendencies or laws which stream through things." The idea of "humble and obedient," or humility and obedience, comes originally from the Chaldæan Oracles and the Heetopades, which have a decisive influence on Emerson, through "the light-armed arrive at the summit," and "the flower of the mind." Because of this profound Eastern thought and ideas, he is called "this student of Eastern philosophy.". (shrink)

Central to discussions of multiculturalism and minority rights in modern liberal societies is the idea that the particular demands of minority groups contradict the requirements of equality, anonymity, and universality for citizenship and belonging. The contributors to this volume question the significance of this dichotomy between the universal and the particular, arguing that it reflects how the modern state has instituted the basic rights and obligations of its members and that these institutions are undergoing fundamental transformations under the pressure of (...) globalization. They show that the social bonds uniting groups constitute the means of our freedom, rather than obstacles to achieving the universal. (shrink)

El concepto de empatía (Einfühlung) ha sido estudiado y utilizado por varias disciplinas, marcando una historia conceptual de desacuerdos y discrepancias. En psicología, la empatía ha sido discutida particularmente por investigadores y profesionales en áreas clínicas, sociales y del desarrollo. Entre tantas formas de explicar y comprender este fenómeno, un movimiento que rara vez se emprende es el de retomar el debate filosófico y psicológico sobre la empatía durante las primeras décadas del siglo XX. En este trabajo, a partir de (...) una investigación teórico-bibliográfica, se busca revisar el concepto de empatía, destacando el análisis realizado por la filósofa Edith Stein (1891-1942), quien impulsó un análisis antropológico-fenomenológico de la empatía, analizando este acto como frente a otros actos de pura conciencia, dialogando con autores como Theodor Lipps (1851-1914) y Max Scheler (1874-1928). Finalmente, buscamos contrastar la concepción de empatía de Rogers y los trabajos actuales post-rogerianos de enfoques humanistas-existenciales, con el análisis desarrollado por Stein. Finalmente, en general, la empatía puede entenderse como una experiencia no originaria por su contenido, lo que nos permite tener una experiencia originada en el otro en una presentificación empatizante. (shrink)

In this paper we describe the Curry-Howard-De Bruijn isomorphism between Higher Order Many Sorted Intuitionistic Predicate Logic PREDω and the type system λPREDω, which can be considered a subsystem of the Calculus of Constructions. The type system is presented using the concept of a Pure Type System, which is a very elegant framework for describing type systems. We show in great detail how formulae and proof trees of the logic relate to types and terms of the type system, respectively. Finally, (...) we discuss some consequences of the isomorphism with respect to the relation between the systems discussed in this paper. (shrink)

This paper shows that the inhabitation problem in the lambda calculus with negation, product, polymorphic, and existential types is decidable, where the inhabitation problem asks whether there exists some term that belongs to a given type. In order to do that, this paper proves the decidability of the provability in the logical system defined from the second-order natural deduction by removing implication and disjunction. This is proved by showing the quantifier elimination theorem and reducing the problem to the provability in (...) propositional logic. The magic formulas are used for quantifier elimination such that they replace quantifiers. As a byproduct, this paper also shows the second-order witness theorem which states that a quantifier followed by negation can be replaced by a witness obtained only from the formula. As a corollary of the main results, this paper also shows Glivenko’s theorem, Double Negation Shift, and conservativity for antecedent-empty sequents between the logical system and its classical version. (shrink)

Nishida Kitaro, originator of the Kyoto School and 'father of Japanese Philosophy' is usually viewed as an essentially apolitical thinker who underwent a 'turn' in the mid-1930s, becoming an ideologue of Japanese imperialism. Political Philosophy in Japan challenges the view that a neat distinction can be drawn between Nishida's apolitical 'pre-turn' writings and the apparently ideological tracts he produced during the war years. In the context of Japanese intellectual traditions, this book suggests that Nishida was a political thinker form the (...) very beginning of his career, and consequently, his later political works cannot be dismissed as peripheral to his philosophical project. Counter-intuitively however, Christopher Goto-Jones argues that a consistently political reading of his philosophy reveals a dissenting standpoint even during the height of the Pacific War. This book argues that the prevailing postwar tendency to dismiss interwar and wartime Japanese culture as fascist or ultra nationalist en total neglects a lively political discourse, which contained some serous and profound political insight and even dissent. By suggesting that Nishida tetsugaku was a voice of dissent during Japan's Great East Asia War, Goto-Jones presents a case for the rehabilitation of Nishida as a political thinker, and as an example of a Japanese resistance, able to make a valuable contribution to contemporary debates about international political, globalization , and inter-cultural relations. Offering a unique and potentially controversial view of the subject of Nishida and the Kyoto School, The Political Philosophy of Japan will be of huge interest to anyone studying Japanese History, Political Philosophy and comparative philosophy alike. (shrink)

Este estudio recupera la idea de inconsciente del análisis fenomenológico de Edmund Husserl a fin de contribuir y apoyar la ciencia psicológica. Se realizó un estudio de investigación teórico-bibliográfica, llevando en consideración la propia trayectoria analítico investigativa del filósofo, buscando resaltar la importancia de este análisis para comprender el concepto de subjetividad y sus implicaciones para la reflexión sobre el tiempo, sobre la memoria y la afectividad, elementos que componen la historia individual y colectiva. Husserl valora la noción de inconsciente (...) vinculada a actos de afecto y de horizonte, cuyo contenido se evidencia en la síntesis asociativa pasiva, realizada en el fluir de la conciencia intencional. Concluye enfatizando la necesidad de considerar lo implícito en la experiencia humana en todos sus niveles, lo que incluye la cuestión del “enigma del inconsciente”, contribución esencial a la fundación de la Psicología y de las ciencias humanas. (shrink)

Preliminary evidence suggests that daydreaming about other people has adaptive value in daily social lives. To address this possibility, we examined whether daydreaming plays a role in maintaining close, stable relationships using a 1-year prospective longitudinal study. We found that individuals’ propensity to daydream about their marital partner is separate to general daydreaming. In contrast to general daydreaming, which was associated with lower subsequent relationship investment size in the marital partner, partner-related social daydreaming led to a greater subsequent investment size. (...) Additionally, attachment styles moderated these effects. The effect of daydreaming regarding investment size was found only in securely attached individuals. This research advances the emerging field of social daydreaming and highlights self-generated thought as a critical tool that can help people navigate the complex social world. (shrink)

This article is an attempt by Japanese physicians to introduce the practice patterns and moral justification of Japanese critical care to the world. Japanese health care is characterized by the fact that the fee schedule does not reward high technology medicine, such as surgery and critical care. In spite of the low reimbursement, our critical care practice pattern is characterized by continuing futile treatment for terminal patients in the intensive care unit (ICU). This apparently wasteful practice can be explained by (...) fundamental Japanese cultural values, social factors in Japan, the availability of extensive insurance coverage, physicians' psychological factors, lack of cost-benefit considerations and the pragmatic approach the Japanese take to situations. We attempt to make some brief suggestions regarding the improvement of our critical care practices. Although we can not fully present quantitative data to support our argument, this article represents our real-world approaches to the ethical issues in the ICU in Japan. (shrink)

The provability problem in intuitionistic propositional second-order logic with existential quantifier and implication (∃,→) is proved to be undecidable in presence of free type variables (constants). This contrasts with the result that inutitionistic propositional second-order logic with existential quantifier, conjunction and negation is decidable.

The essays in this book take a new approach to the subject, engaging substantially with the philosophical texts of members of the Kyoto School, and ...

There is an intimate connection between proofs of the natural deduction systems and typed lambda calculus. It is well-known that in simply typed lambda calculus, the notion of formulae-as-types makes it possible to find fine structure of the implicational fragment of intuitionistic logic, i.e., relevant logic, BCK-logic and linear logic. In this paper, we investigate three classical substructural logics (GL, GLc, GLw) of Gentzen's sequent calculus consisting of implication and negation, which contain some of the right structural rules. In terms (...) of Parigot's -calculus with proper restrictions, we introduce a proof term assignment to these classical substructural logics. According to these notions, we can classify the -terms into four categories. It is proved that well-typed GLx--terms correspond to GLx proofs, and that a GLx--term has a principal type if stratified where x is nil, c, w or cw. Moreover, we investigate embeddings of classical substructural logics into the corresponding intuitionistic substructural logics. It is proved that the Gödel-style translations of GLx--terms are embeddings preserving substructural logics. As by-products, it is obtained that an inhabitation problem is decidable and well-typed GLx--terms are strongly normalizable. (shrink)

The third author gave a natural deduction style proof system called the \-calculus for implicational fragment of classical logic in. In -calculus, 2015, Post-proceedings of the RIMS Workshop “Proof Theory, Computability Theory and Related Issues”, to appear), the fourth author gave a natural subsystem “intuitionistic \-calculus” of the \-calculus, and showed the system corresponds to intuitionistic logic. The proof is given with tree sequent calculus, but is complicated. In this paper, we introduce some reduction rules for the \-calculus, and give (...) a simple and purely syntactical proof to the theorem by use of the reduction. In addition, we show that we can give a computation model with rich expressive power with our system. (shrink)

We present a sequent calculus of a paraconsistent logic QMPT0, which has the paraconsistent-type excluded middle law (PEML) as an initial sequent. Our system shows that the presence of PEML is essentially important for QMPT0. It also has special rules when the set of constant symbols is finite. We also discuss the cut-elimination property of our system.

This paper gives new confluence proofs for several lambda calculi with permutation-like reduction, including lambda calculi corresponding to intuitionistic and classical natural deduction with disjunction and permutative conversions, and a lambda calculus with explicit substitutions. For lambda calculi with permutative conversion, naïve parallel reduction technique does not work, and traditional notion of residuals is required as Ando pointed out. This paper shows that the difficulties can be avoided by extending the technique proposed by Dehornoy and van Oostrom, called the Z (...) theorem: existence of a mapping on terms with the Z property concludes the confluence. Since it is still hard to directly define a mapping with the Z property for the lambda calculi with permutative conversions, this paper extends the Z theorem to compositional functions, called compositional Z, and shows that we can adopt it to the calculi. (shrink)

ヒトと自然の交流の産物として生まれた田舎の景色には、どこか安堵する懐かしさがある。しかし、このような田舎、里山は今どれだけ残っているだろうか?21世紀にむかって、ヒトと自然環境、その産物としての文化遺 産のあり方が地球規模で問われている。本書は、21世紀にむかって文化遺産のあり方を問う。.

トリアージ、ワクチンの分配、ゲノム編集、さらに倫理、思想、文学、政治社会まで、様々な領域の喫緊の問題として「尊厳」を論じる。.

Na crônica do Departamento de Filosofia e História da Educação da Faculdade de Educação da Unicamp, o ano de 2014 deverá assinalar-se como aquele em que o tempo sulcou duas lacunas, lançando através delas, para o seu lado vazio, as figuras de Rubem Alves e José Luiz Sigrist.

O presente estudo tem o objetivo de apresentar a "fenomenologia da afetividade" elaboradapelo filósofo Dietrich von Hildebrand (1889-1977), discípulo de Husserl e que produziuanálises filosóficas a partir da denominada "fenomenologia realista", ou seja,uma filosofia fenomenológica da verdade, mas que mantém o contato existencial com arealidade, a partir do conhecimento das essências genuínas e do conhecimento a priori. Para ofilósofo somente por meio do método fenomenológico é possível alcançar genuinamente oconhecimento a priori das essências dos fenômenos e assim, chegar à verdade (...) ea profundidade do fenômeno. A investigação filosófica de Hildebrand se baseia diretamentena experiência humana, assim, para conhecer a essência do ser humano é importante analisaros fenômenos da vida consciente. Hildebrand afirma em sua análise fenomenológica que apessoa humana é um ser espiritual e que possui três estruturas intencionais: o entendimento,a vontade e a afetividade. Essas três estruturas da pessoa humana são, em verdade, aestrutura ontológica do ser humano e cada uma delas compõem “centros operativos” devivências. Assim, esse artigo visa apresentar a vida e o pensamento de Hildebrand,explicitando a questão da pessoa humana e da afetividade, diante de tantas confusõesconceituais, uma vez que, segundo Hildebrand, a afetividade é a estrutura da pessoa humana que melhor expressa a vida interior humana. É por meio da afetividade que é possível dizer que vivemos algo. Sendo assim, o filósofo exige uma análise radical e rigorosa, entendendo fenomenologicamente a resposta afetiva possuidora de um caráter ativo e que expressa a tomada de decisão em relação aos acontecimentos no ser humano. (shrink)

Há que se fazer jus à riqueza prismática da figura e da atuação desse intelectual, prestando atenção para a tridimensionalidade que lhes é conatural, condição para que elas sejam conhecidas e compreendidas em profundidade, em toda a extensão que se põe entre a discussão e a reflexão filosóficas, de um lado, e as realidades, crises, paixões e angústias da educação, de outro.

Vário é o conteúdo da presente edição de Filosofia e Educação, não sendo possível estabelecer uma unidade temática, embora entre os textos possam ser vislumbrados aspectos e elementos comuns. Daí o título múltiplo, compósito, reticente...

Shamanism is an ancient system centered on individuals chosen from shamans who gained access to extraordinary information through meditation or trance to meet the psychological, medical, and spiritual needs of a community. "Neoxamanism" is thus the current attempt to reconcile this wisdom with modern elements and ideas. This research aimed to understand,through the phenomenological-empirical method, the sense of the neoxamanic religious experience from five collaborators of the city of Uberlândia-MG. After the interviews, a process of analysis was followed which obtained (...) variant elements in the reports and other invariants, through which this religious experience is synthesized: Being a neo-shaman is to relate to the sacred; is to connect with yourself; is to connect with nature; is to understand the uniqueness between us and nature. Thus we could make connections with meditation, religiosity and health, concluding that the study of this phenomenon has much to add in the way of thinking and doing human health nowadays. (shrink)

We consider several variants of Keisler’s isomorphism theorem. We separate these variants by showing implications between them and cardinal invariants hypotheses. We characterize saturation hypotheses that are stronger than Keisler’s theorem with respect to models of size $\aleph _1$ and $\aleph _0$ by $\mathrm {CH}$ and $\operatorname {cov}(\mathsf {meager}) = \mathfrak {c} \land 2^{<\mathfrak {c}} = \mathfrak {c}$ respectively. We prove that Keisler’s theorem for models of size $\aleph _1$ and $\aleph _0$ implies $\mathfrak {b} = \aleph _1$ and $\operatorname (...) {cov}(\mathsf {null}) \le \mathfrak {d}$ respectively. As a consequence, Keisler’s theorem for models of size $\aleph _0$ fails in the random model. We also show that for Keisler’s theorem for models of size $\aleph _1$ to hold it is not necessary that $\operatorname {cov}(\mathsf {meager})$ equals $\mathfrak {c}$. (shrink)