Recently, Brass and Dix showed 143–165) that the well founded semantics WFS can be defined as a confluent calculus of transformation rules. This led not only to a simple extension to disjunctive programs 167–213), but also to a new computation of the well-founded semantics which is linear for a broad class of programs. We take this approach as a starting point and generalize it considerably by developing a general theory of Confluent LP-systems CS . Such a system CS is a (...) rewriting system on the set of all logic programs over a fixed signature L and it induces in a natural way a canonical semantics. Moreover, we show four important applications of this theory: most of the well-known semantics are induced by confluent LP-systems , there are many more transformation rules that lead to confluent LP-systems , semantics induced by such systems can be used to model aggregation , the new systems can be used to construct interesting counterexamples to some conjectures about the space of well-behaved semantics. (shrink)

"A CEVAM book." Bibliography: p. 259-265. Includes index.

En este artículo exploramos la idea de la complejidad en educación a partir de la crítica de Edgar Morin de la hipersimplificación de un fenómeno. Para esto desarrollamos dos ámbitos que nos llevan más allá de una comprensión didáctica de la complejidad. En un caso consideramos la componente política de la educación, la cual ejemplificamos con el movimiento de la critical pedagogy americana. En otro caso consideramos la inclusión del aspecto afectivo en la enseñanza, a través del paradigma de la (...) confluent education. (shrink)

Au confluent de la narratologie et de la psychologie, le concept de narrativité est un outil thérapeutique primordial. Dans le cadre de thérapies post-traumatiques, le thérapeute est l’interlocuteur dont l’écoute soutient les fonctions de l’enveloppe narrative du patient : cette élaboration qui transforme les éléments bruts d’un réel effractant en éléments pensables puise dans la vie fantasmatique qui préexistait à l’événement traumatique. Ces « mythèmes » organisateurs sont venus nourrir la structuration de ces contes à usage privé qui se construisent (...) dans le cadre de la thérapie. Mais ce travail engage un jeu particulier où les identités du témoin, de la victime et du coupable sont floues. Patient et thérapeute se retrouvent au coeur d’une valse-hésitation d’identifications projectives qu’il est nécessaire d’analyser. (shrink)

Se situant au confluent du libéralisme politique rawlsien et de l’anthropologie néoaristotélicienne, l’approche des capabilités de Martha Nussbaum offre un cadre théorique permettant de répondre aux tensions multiculturelles. Cet article constitue une analyse détaillée de la réponse de Nussbaum à ces enjeux, qui prétend unir un pluralisme axiologique à un universalisme moral fort. Nous avancerons que la démarche entreprise par la philosophe porte une tension entre le libéralisme politique rawlsien et le cadre conceptuel apporté par la liste des capabilités. Cette (...) liste pose une difficulté par le déficit démocratique de ses fondements, n’intégrant pas suffisamment des normes d’inclusion et de représentation. Dans un dernier temps, nous tenterons de pallier ces problèmes en intégrant à l’approche de Nussbaum des exigences délibératives. (shrink)

As the aim of the responsible robotics initiative is to ensure that responsible practices are inculcated within each stage of design, development and use, this impetus is undergirded by the alignment of ethical and legal considerations towards socially beneficial ends. While every effort should be expended to ensure that issues of responsibility are addressed at each stage of technological progression, irresponsibility is inherent within the nature of robotics technologies from a theoretical perspective that threatens to thwart the endeavour. This is (...) because the concept of responsibility, despite being treated as such, is not monolithic: rather this seemingly unified concept consists of converging and confluent concepts that shape the idea of what we colloquially call responsibility. From a different perspective, robotics will be simultaneously responsible and irresponsible depending on the particular concept of responsibility that is foregrounded: an observation that cuts against the grain of the drive towards responsible robotics. This problem is further compounded by responsible design and development as contrasted to responsible use. From a different perspective, the difficulty in defining the concept of responsibility in robotics is because human responsibility is the main frame of reference. Robotic systems are increasingly expected to achieve the human-level performance, including the capacities associated with responsibility and other criteria which are necessary to act responsibly. This subsists within a larger phenomenon where the difference between humans and non-humans, be it animals or artificial systems, appears to be increasingly blurred, thereby disrupting orthodox understandings of responsibility. This paper seeks to supplement the responsible robotics impulse by proposing a complementary set of human rights directed specifically against the harms arising from robotic and artificial intelligence technologies. The relationship between responsibilities of the agent and the rights of the patient suggest that a rights regime is the other side of responsibility coin. The major distinction of this approach is to invert the power relationship: while human agents are perceived to control robotic patients, the prospect for this to become reversed is beginning. As robotic technologies become ever more sophisticated, and even genuinely complex, asserting human rights directly against robotic harms become increasingly important. Such an approach includes not only developing human rights that ‘protect’ humans but also ‘strengthen’ people against the challenges introduced by robotics and AI [This distinction parallels Berlin’s negative and positive concepts of liberty ], by emphasising the social and reflective character of the notion of humanness as well as the difference between the human and nonhuman. This will allow using the human frame of reference as constitutive of, rather than only subject to, the robotic and AI technologies, where it is human and not technology characteristics that shape the human rights framework in the first place. (shrink)

Traditional combinatory logic uses combinators S and K to represent all Turing-computable functions on natural numbers, but there are Turing-computable functions on the combinators themselves that cannot be so represented, because they access internal structure in ways that S and K cannot. Much of this expressive power is captured by adding a factorisation combinator F. The resulting SF-calculus is structure complete, in that it supports all pattern-matching functions whose patterns are in normal form, including a function that decides structural equality (...) of arbitrary normal forms. A general characterisation of the structure complete, confluent combinatory calculi is given along with some examples. These are able to represent all their Turing-computable functions whose domain is limited to normal forms. The combinator F can be typed using an existential type to represent internal type information. (shrink)

The general expressions with retardation of the matrix elements for a central potential of the transitions S1/2−P1/2 and S1/2−P3/2 have been established previously for all the cases of degeneracies. Here, they are calculated, for any Z, as combinations of hypergeometric series, for the transitions between 1S1/2 and the continuum (photoeffect). A verification of the results is achieved for the approximation Z2α2≪κ2 by using the integral representation in the complex plane of the confluent hypergeometric functions and the residues theorem.

Le livre de Nicolas Bourguinat, analysant les écrits de femmes ayant voyagé en Italie entre 1770 et 1870, se situe à l’intersection de plusieurs champs de recherche, l’histoire des femmes, celles du voyage, du livre, de la littérature. Ces domaines d’études confluent dans une relecture originale de l’histoire de l’Europe dans une perspective transnationale. La recherche privilégie une période que l’auteur qualifie de « mal identifiée et mal aimée de l’histoire du voyage en Italie… à cheval en...

Joseph Addison’s Spectator papers on the imagination have been read as a landmark in the development of aesthetic disinterestedness. But this is problematic in light of Addison’s theological concerns, particularly as they bear on the final causes of aesthetic pleasures. This teleology of the aesthetic is far from a Kantian understanding, but rather part of a larger discourse of physico-theology. By drawing on the work of Zeitz and Mayhew, among others, this paper shows how Addison’s theological underpinnings of the aesthetic (...) raise the broader question of the role theology played in the emergence and evolution of philosophical aesthetics. In eighteenth-century Britain, the aesthetic belonged to a disciplinary matrix comprising a set of confluent discourses, one of which was theology. Drawing on and expanding M.H. Abrams’s scheme, which explores how concepts such as ‘contemplation’ and ‘disinterestedness’ migrated from theology to aesthetic theory, this paper suggests that the concept of ‘aesthetic pleasure’ underwent a similar transformation. With Addison, the pleasures afforded by the imagination acquire a new dominant position which allows one to speak of a text in modern aesthetics instead of a manual of Christian apologetics. (shrink)

It has often been remarked that the metatheory of strong reduction $\succ$ , the combinatory analogue of βη-reduction ${\twoheadrightarrow_{\beta\eta}}$ in λ-calculus, is rather complicated. In particular, although the confluence of $\succ$ is an easy consequence of ${\twoheadrightarrow_{\beta\eta}}$ being confluent, no direct proof of this fact is known. Curry and Hindley’s problem, dating back to 1958, asks for a self-contained proof of the confluence of $\succ$ , one which makes no detour through λ-calculus. We answer positively to this question, by extending (...) and exploiting the technique of transitivity elimination for ‘analytic’ combinatory proof systems, which has been introduced in previous papers of ours. Indeed, a very short proof of the confluence of $\succ$ immediately follows from the main result of the present paper, namely that a certain analytic proof system G e [ $\mathbb {C}$ ] , which is equivalent to the standard proof system CL ext of Combinatory Logic with extensionality, admits effective transitivity elimination. In turn, the proof of transitivity elimination—which, by the way, we are able to provide not only for G e [ $\mathbb {C}$ ] but also, in full generality, for arbitrary analytic combinatory systems with extensionality—employs purely proof-theoretical techniques, and is entirely contained within the theory of combinators. (shrink)

Le nom de Jean-Frédéric Oberlin, pasteur et pédagogue, citoyen des lumières, reste indissociablement lié à celui du Ban de la Roche, modeste vallée vosgienne, au cœur de laquelle il exerça son ministère pendant quelque soixante années. Au confluent des XVIIIe et XIXe siècles, il y développe, loin des cercles intellectuels des capitales européennes, un projet socio-éducatif global sans précédent, bâti dans le quotidien d'une action pastorale fondée sur les principes intangibles d'exigence morale et d'amour du prochain. Considéré comme un précurseur (...) de l'éducation préscolaire institutionnelle en Europe, Jean-Frédéric Oberlin esquisse à travers les " poêles à tricoter " les contours d'une synthèse paradoxale, exemplaire de l'ensemble de son œuvre, entre valeurs chrétiennes et humanisme républicain, science et spiritualité, action et méditation, orthodoxie luthérienne et dissidence piétiste, romantisme germanique et classicisme latin. L'originalité des méthodes pédagogiques adaptées à l'éducation de la petite enfance mises en œuvre par cette grande figure du protestantisme en Alsace, constitue un apport décisif au débat toujours d'actualité dans l'Europe contemporaine sur les modalités de garde et d'éducation des enfants les plus jeunes. (shrink)

La notion d’expérimentation, initialement réservée au domaine des sciences expérimentales, est employée aujourd’hui pour qualifier de multiples pratiques sociopolitiques : gouvernementales, activistes ou artistiques. Cette extension des usages du terme manifeste l’influence de l’imaginaire des pratiques de recherche expérimentale sur les conceptions contemporaines du politique. Elle accompagne des mutations du parler et de l’agir politiques qu’il importe de mieux caractériser, au confluent de la raison scientifique et technique et des transformations de l’espace public.Experimentation, which initially concerned only the experimental sciences (...) field, is a term now used to describe a great many forms of socio-political practice, for example among governments, activists or artists. This extension of the term’s usage illustrates the influence of imagination in experimental research on contemporary conceptions of politics. It is supporting changes in the patterns of political speech and action that need to be better characterised, as they are occurring at the point where scientific and technical reason meets the transformation of the public sphere. (shrink)

We introduce Boolean-like algebras of dimension n ($$n{\mathrm {BA}}$$ n BA s) having n constants $${{{\mathsf {e}}}}_1,\ldots,{{{\mathsf {e}}}}_n$$ e 1, …, e n, and an $$(n+1)$$ ( n + 1 ) -ary operation q (a “generalised if-then-else”) that induces a decomposition of the algebra into n factors through the so-called n-central elements. Varieties of $$n{\mathrm {BA}}$$ n BA s share many remarkable properties with the variety of Boolean algebras and with primal varieties. The $$n{\mathrm {BA}}$$ n BA s provide the (...) algebraic framework for generalising the classical propositional calculus to the case of n–perfectly symmetric–truth-values. Every finite-valued tabular logic can be embedded into such a n-valued propositional logic, $$n{\mathrm {CL}}$$ n CL, and this embedding preserves validity. We define a confluent and terminating first-order rewriting system for deciding validity in $$n{\mathrm {CL}}$$ n CL, and, via the embeddings, in all the finite tabular logics. (shrink)

Cet ouvrage est d'une grande actualité. il propose une étude riche et originale sur la signification des concepts d'Éthique et de Morale, sur le plan anthropo-philosophique et théologique. Partant de la problématique selon laquelle ce qui est important, ce n'est pas " un prétendu absolu de chaque racine ", de chaque culture, mais le rapport avec " d'autres racines ", la relation avec d'autres cultures, l'auteur enrichit la réflexion sur les concepts d'Éthique et de Morale au confluent de la pensée (...) de plusieurs cultures et courants philosophiques contemporains. La réflexion a l'intérêt de poser avec courage le problème de l'inculturation de l'Ethique Chrétienne. Elle montre que la pratique du Nazaréen invite à reconsidérer aujourd'hui dans l'Eglise la problématique du rapport entre Foi et Culture. L'inculturation de l'Ethique Chrétienne ouvre le débat de la rencontre de l'homme en quête de sens et de vie avec le Nazaréen. Une telle rencontre est le lieu de la transformation totale de la personne et de sa réponse à vivre ce que signifie le Nom de Dieu incarné dans notre histoire. Cette approche permet à l'auteur d'enrichir la recherche sur la question de la spécificité de l'Ethique Chrétienne. Le Professeur Bénezet Bujo écrit au sujet de la portée théologique africaine de cet ouvrage : " L'étude de Nathanaël Soédé nous montre avec évidence que les réflexions éthiques chrétiennes en Afrique n'ont plus rien à envier aux autres disciplines théologiques en matière d'inculturation et de systématisation. Avec elle, la morale africaine entre en profondeur dans le processus théologique de l'inculturation ". (shrink)

La Voix divine, nous disent les mythes et traditions, a créé le monde. Le chant des voix humaines lui répond. Orphée, l'initié des Mystères grecs, personnifie les pouvoirs de la musique. De nos jours, le matérialisme scientiste qui nie l'harmonie cosmique est démenti par la science ± holistique? qui rejoint la sagesse ancestrale. Au confluent de la physique contemporaine et de la métaphysique traditionnelle, de la cosmologie et de l'anthropologie, de la musicologie et de l'ethnomusicologie, cet ouvrage contribue à ce (...) nouveau paradigme en élucidant les arcanes de l'harmonie musicale. Il lui restitue sa dimension symbolique et spirituelle et éclaire l'évolution confuse de la musique occidentale depuis le début du xxe siècle. (shrink)

In this paper, we first introduce the incomplete extended Gamma and Beta functions with matrix parameters; then, we establish some different properties for these new extensions. Furthermore, we give a specific application for the incomplete Bessel matrix function by using incomplete extended Gamma and Beta functions; at last, we construct the relation between the incomplete confluent hypergeometric matrix functions and incomplete Bessel matrix function.

We present a version of Herbelin’s image-calculus in the call-by-name setting to study the precise correspondence between normalization and cut-elimination in classical logic. Our translation of λμ-terms into a set of terms in the calculus does not involve any administrative redexes, in particular η-expansion on μ-abstraction. The isomorphism preserves β,μ-reduction, which is simulated by a local-step cut-elimination procedure in the typed case, where the reduction system strictly follows the “ cut=redex” paradigm. We show that the underlying untyped calculus is confluent (...) and enjoys the PSN property for the isomorphic image of λμ-calculus, which in turn yields a confluent and strongly normalizing local-step cut-elimination procedure for classical logic. (shrink)

The events of 11th September 2001 have many meanings. Although seen as a turning point in a number of historical sequences, perhaps their longest-lasting significance will prove to be that they mark the symbolic end to the era of space.. The article explores the consequences of this in terms of global space, which now becomes a new frontierland, where refugees, in a caricature of the new power elite, have come to epitomize extraterritoriality, and where floating coalitions and confluent enmities are (...) both the promoters and beneficiaries of the new global disorder. (shrink)

Au carrefour de la phénoménologie française contemporaine Depuis la fin des années ’90, la réflexion sur l’événement a permis de compter Claude Romano parmi les protagonistes de la phénoménologie française contemporaine. Sa proposition phénoménologique s’est ensuite nouée (grâce à l’endurante lecture des romans de Faulkner) à l’inouï débordement de l’événement de la vie que le récit est censé redonner, pour ainsi dire, "en elle-même" et à l’abri de toute sorte de réduction. L’enjeu de ces pages – consacrées à l’ouvrage de (...) Claude Romano paru en 2010, Au cœur de la raison, la phénoménologie – sera la même répétition de la phénoménologie que Romano nous a livrée dans cet ouvrage. En effet, notre avis est que Romano, en 2010, a pratiqué une Wiederholung de la phénoménologie et qu’il l’a fait situant celle-ci au centre d’un carrefour où confluent les questions historiques (Husserl, Heidegger), les libres variations de la phénoménologie en France (Sartre, Merleau-Ponty, Levinas), la philosophie analytique. Or par cette répétition il s’est installé au carrefour de la phénoménologie française contemporaine , et cela pour deux raisons : premièrement, parce qu’il a donné une contribution décisive à l’alternative "réduction vs intentionnalité" qui ne cesse de représenter l’alternative de la réception française de la phénoménologie. Deuxièmement, parce que par sa répétition il a ouvert aussi un chemin nouveau et original qui maintenant demande à être phénoménologiquement questionné. (shrink)

Greek New Comedy, as we know it from references and fragmentary MSS., is the meeting-place of three confluent streams—comedy of manners, Aristophanic comedy, and tragedy. From Sicilian comedy, through Epicharmus at Syracuse and Crates and Pherecrates at Athens, it inherited certain stock stage figures, and a tradition of ‘invented’ plots and sententious speech. Old Comedy it resembled in its fun and informality and many stage conventions; and, indeed, the resemblance was so marked, in at least one of the later plays (...) of Aristophanes, that the writer of his life, mistaking effect for cause, claimed the lost Cocalus as the original model of New Comedy. Perhaps most important of all was the influence of tragedy; and this influence may be estimated by a direct comparison between Euripides and Menander, both in the spirit and form of their plays and in the social and philosophic theories underlying them. (shrink)

We present an extension of the lambda calculus with the letrec construct. In contrast to current theories, which impose restrictions on where the rewriting can take place, our theory is very liberal, e.g., it allows rewriting under lambda abstractions and on cycles. As shown previously, the reduction theory is non-confluent. Thus, we searched for and found a new property that resembles confluence and that is equivalent to uniqueness of infinite normal forms: skew confluence. This notion is based on the intuition (...) that some terms are better than others and that terms reduce to better terms. It states that if a term reduces to two other terms, the second of those terms can always be reduced to a term that is better than the first. Using skew confluence we define the infinite normal form of a term and show that the infinite normal form defines a congruence on the set of terms. We relate the lambda calculus plus letrec to the plain lambda calculus and to one of the infinitary lambda calculi. We also present a variant of our calculus, which follows the tradition of the explicit substitution calculi. (shrink)

Le travail de Christian Marclay, artiste multiforme, improvisateur et performer, explore systématiquement un espace au confluent des arts sonores et visuels (vidéo, photos, installations, sculptures). Comment réfléchir sur le son à travers les objets tangibles et les représentations visuelles qui le réifient ? Comment produire – par une pratique musicale de platiniste notamment – de nouveaux sons et de nouveaux rapports à la musique ? Ce double axe d’interrogation rencontre nécessairement la question de l’instrument. Iconoclasme musical dans la double lignée (...) du mouvement punk et de Fluxus ? Ou /et interrogation sur le fonctionnement de l’instrument dans la pratique vive d’une musique à réinventer ? On voudrait suggérer qu’une telle approche esthétique peut nourrir l’approche ontologique de l’instrument et, en paraphrasant Nelson Goodman, poser la question « quand y a-t-il instrument ? ». (shrink)

The paper suggests that Bastiat’s theory of interests, harmony, and the State is rooted in a particular conception of Natural Right, in which the Lockeans and thomistic streams of thought meet. But it also suggests that Bastiat’s interpretation of the role that Providence plays in human events is not able to give a sustainable theory of liberal order. The paper also considers the criticisms to Bastiat’s economic and political theory coming from exponents of classical liberalism, from the Austrians, and from (...) Catholic thinkers of that time, such as L. Taparelli d’Azeglio and M. Liberatore.The conclusion is that although the economic theory of Bastiat is by now obsolete from the conceptual point of view, his political theory and his criticism of the state do remain extraordinarily topical.Cet article suggère que les théories des intérêts, de l’harmonie et de l’Etat de Bastiat sont ancrées dans une conception particulière du droit naturel au confluent des pensées lockéenne et thomiste. Cependant, il suggère aussi que l’interprétation que donne Bastiat du rôle de la Providence dans les affaires humaines ne débouche pas sur une théorie recevable de l’ordre libéral. L’article examine aussi les critiques qu’adressent les partisans du libéralisme classique-tels que les économistes autrichiens, les penseurs catholiques de l’époque comme L. Taparelli d’Azeglio et M. Liberatore-à l’égard des théories économiques et politiques de Bastiat. L’article conclut que le caractère obsolète des théories de Bastiat d’un point de vue conceptuel ne remet pas en cause la singulière actualité de sa théorie politique et de sa critique de l’Etat. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:In Search of a Reality-Based Community:Illusion and Tolerance in Music, Education, and SocietyPatrick K. SchmidtThe two questions that arise in this symposium are: What kind of world engagement is required of music education? and Should music educators participate in political understanding? While my immediate response was and is: How we can afford not to? that is, not to engage fully with the world and not to do so politically, (...) at the same time I also recognize the ways in which that has been problematic in the music education profession. Particularly, in how we continue to experience what I would call events without future: ersatz events made of illusions. Such a proposition is implicated in the following questions: How seriously are we committed to rethinking our practice and re-engaging with our ideals, traditions, visions, and discourses? Has our conception and practice of democracy disappeared (or remained unformed) in the insubstantiality of shadows? How do [End Page 160] we react to political understandings that dismiss the communities in which we live, as well as the singularities and differences that mark us? Who are those of us supposedly living in the/a "reality-based community?"1An aide of the current administration explains the White House stance by saying, "We are an empire now, and when we act, we create our own reality."2 The idea, of course, is that we not only can, but perhaps, must dissociate from such communities (particularly those that do not conform to such envisioned reality). An Empire, one might say, seeks power as well as expansion, confluence as well as stability, tradition as well as ideological certainty. It probably comes as no surprise then, that dictatorial regimes are often more stable, including economically, than new or recalcitrant democracies. (I myself grew up in such a regime in Brazil in the 1970s and early 80s.) The word "Empire" conjures up images that are localized, monocentric, confluent, and institutional. The reality today, however, seems much closer to what Antonio Negri and Richard Hardt portray:3 a reality modeled upon the production of subjects with increasingly similar desires and prone to a certain subservience to commodity and technology. But if this "we" is no longer "us" but an illusion, if this reality-based community no longer distinguishes, questions, problematizes, or engages with its own reality or realities, perhaps more than ever it is time that we began to think politically, that our assumptions and that of others be challenged, and that we seek understandings that, as Randall Allsup has proposed, "are rendered in a world that is contingent, political, and always in motion."Following the model adopted here I will address some of the concepts Estelle Jorgensen proposes, particularly those associated with the notion of supremacy and its propagation through "reductionistic and nationalistic forces." Such a vista will serve as a departing point for my own reflections on the shades, contradictions, complexities, and possibilities we might find when considering majority led silence and voicing, as well as the role of political and empathetic dialogue in our practices, be they professional and/or connected to citizenship.4A Search for the Ethical: Majority Rule?Today, music education as a society negotiates a reality that is more complex and multiple—one of a multitude of one5 —of separation through categories that, while preserving the impression of distinctiveness, allows for a larger invisible and uncontested majority to instill what Alexis de Toqueville called over a century ago the "tyranny of the majority."6 We need to consider here that, as Negri and Hardt propose, there is no one center to this Empire, "no tangible, nuclear element to be identified and/or resisted." This tyrannical majority is paradoxical, for while it dictates it is also silent.7 What is there, then, are spaces in and through which our disengagement allows for the strengthening of what is [End Page 161] perceived and experienced as inevitable, as a faceless majority that controls and decrees, that denies and structures.This tyranny of the majority, the underside of our democratic visions, can lead in politics, as in our professional practices, to a sense of the famous Foucaultian panopticon where total surveillance is... (shrink)

Hyper tableau reasoning is a version of clausal form tableau reasoning where all negative literals in a clause are resolved away in a single inference step. Constrained hyper tableaux are a generalization of hyper tableaux, where branch closing substitutions, from the point of view of model generation, give rise to constraints on satisfying assignments for the branch. These variable constraints eliminate the need for the awkward ‘purifying substitutions’ of hyper tableaux. The paper presents a non-destructive and proof confluent calculus for (...) constrained hyper tableaux, together with a soundness and completeness proof, with completeness based on a new way to generate models from open tableaux. It is pointed out that the variable constraint approach applies to free variable tableau reasoning in general. (shrink)

In this paper, we describe the value and philosophy of lifeworld-led care. Our purpose is to give a philosophically coherent foundation for lifeworld-led care and its core value as a humanising force that moderates technological progress. We begin by indicating the timeliness of these concerns within the current context of citizen-oriented, participative approaches to healthcare. We believe that this context is in need of a deepening philosophy if it is not to succumb to the discourses of mere consumerism. We thus (...) revisit the potential of Husserl’s notion of the lifeworld and how lifeworld-led care could provide important ideas and values that are central to the humanisation of healthcare practice. This framework provides a synthesis of the main arguments of the paper and is finally expressed in a model of lifeworld-led care that includes its core value, core perspectives, relevant indicative methodologies and main benefits. The model is offered as a potentially broad-based approach for integrating many existing practices and trends. In the spirit of Husserl’s interest in both commonality and variation, we highlight the central, less contestable foundations of lifeworld-led care, without constraining the possible varieties of confluent practices. (shrink)

This article examines the current state of foreign language education in Japanese universities as illustrative of the troubling conditions facing the liberal arts in a globalized neoliberal milieu. The utopian ideal in education has always insinuated, at the least, a pedagogy that inspires personal agency, creative investment, challenge to power and social change. This imagining of incalculable futures, however, has been undermined by the seemingly inevitable and confluent forces of a networked world, represented most forcefully by the socioeconomic reductionism of (...) neoliberal globalism. In the context of contemporary Japanese higher education, these forces are joined by Japan’s uniquely ambivalent relationship with the ‘outside’ world, and manifested in the rigid conceptualizations that motivate deeply problematic government and institutional initiatives for the ‘globalization’ of higher education. Within the frame of Bernard Stiegler’s work on transindividuation (ps... (shrink)

There is an aesthetic undercurrent traversing Deleuze's philosophy along confluent trajectories of Baruch Spinoza and Friedrich Nietzsche, which harbours untapped potentials and far-reaching consequences for contemporary discussions of art and architecture. According to this subterranean stream, aesthetic experience is generated, neither in ready-made mental faculties of a subject, nor in essential qualities of an object, but through affective interactions of a relational field. A cartographic inquiry of affective aesthetics constitutes the subject matter of this paper, beginning with a philosophical elaboration (...) that connects aesthetic theories of Spinoza, Nietzsche and Deleuze, evolving via a comparative analysis of aesthetic processes specific to Francis Bacon's artistic assemblages and Vogelkop bowerbirds' architectural constructs, and concluding with the possibility of a non-anthropocentric aesthetics. (shrink)

The languages of finitary and infinitary logic over the alphabet of bounded lattices have proven to be of considerable use in the study of compacta. Significant among the sentences of these languages are the ones that are base free, those whose truth is unchanged when we move among the lattice bases of a compactum. In this paper we define syntactically the expansive sentences, and show each of them to be base free. We also show that many well-known properties of compacta (...) may be expressed using expansive sentences; and that any property so expressible is closed under inverse limits and co-existential images. As a byproduct, we conclude that co-existential images of pseudo-arcs are pseudo-arcs. This is of interest because the corresponding statement for confluent maps is still open, and co-existential maps are often—but not always—confluent. (shrink)

A differential equation with a known solution is transformed by changing both its dependent and independent variables, and the resulting nonlinear differential equation is then compared with the Schrödinger equation. The method is demonstrated using the confluent hypergeometric differential equation and the solutions to hydrogen, SHO and l=0 Morse potential problems are obtained.

Cet article analyse la problématique de traduction du texte d’Ibn Rushd, Commentaire de la République de Platon, dans sa langue d’origine, l’arabe. S’inscrivant aux confluents du politique et du philosophique, cet ouvrage est un véritable traité politique. Le manuscrit, disparu probablement lors de la disgrâce qu’a connue Ibn Rush, nous est parvenu grâce à la traduction hébraïque de Samuel Ben Juda. Ahmed Chahlane et Mohamed A. al-Jabri se sont efforcés de restituer – à partir de l’hébreu – le manuscrit dans (...) sa langue d’origine. Après avoir précisé le contexte dans lequel est paru l’ouvrage d’Ibn Rushd et ses conséquences politiques pour l’auteur, l’article analyse la problématique de traduction en l’absence de l’original et tout particulièrement l’entreprise de restitution menée par Chahlane et al-Jabri. L’accent y est mis sur leur méthodologie de restitution et sur les annotations faites par Chahlane sur les traductions hébraïque et anglaises dont les approximations et les erreurs sont nombreuses. L’article démontre comment Chahlane et al-Jabri ont saisi le texte dans sa perspective originale et lui ont rendu sa structure originale en mettant à contribution l’œuvre d’Ibn Rushd et le corpus philosophique arabo-musulman. (shrink)

Symmetic combinatory logic with the symmetric analogue of a combinatorially complete base (in the form of symmetric λ-calculus) is known to lack the Church-Rosser property. We prove a muchstrongertheorem that no symmetric combinatory logic that containsat least two proper symmetric combinatoryhas the Church-Rosser property. Although the statement of the result looks similar to an earlier one concerning dual combinatory logic,the proof is differentbecause symmetric combinators may form redexes in both left and right associated terms. Perhaps surprisingly, we are also able (...) to show that certain symmetric combinatory logics that include justone particular constantare not confluent. This result (beyond other differences) clearly sets apart symmetric combinatory logic from dual combinatory logic, since all dual combinatory systems with a single combinator or a single dual combinator are Church-Rosser. Lastly, we prove that a symmetric combinatory logic that contains the fixed point and the one-place identity combinator has the Church-Rosser property. (shrink)

La prospection de la basse vallée de l'Enipeus entre Pharsale et le confluent avec le Pénée conduit à remettre en cause les identifications communément admises pour l'ensemble des cités classiques et hellénistiques de la région : Astérion-Peirasiai, Limnaion, Phakion et Phyllos. On s'est appuyé pour ce faire sur de nouvelles découvertes archéologiques, en particulier sur le site de Magoula Paliambéla, sur l'utilisation d'un modèle théorique d'interprétation de l'espace emprunté à la géographie humaine contemporaine, le modèle dit « du plus proche (...) voisin », enfin sur une relecture de nos sources anciennes, au premier rang desquelles les itinéraires militaires. (shrink)

David Abram est l’un des protagonistes les plus influents de la philosophie environnementale, aux confluents de l’écosophie d’Arne Næss et de l’ontologie de la chair de Maurice Merleau-Ponty. Cette brève contribution relève certains motifs et arguments centraux de la pensée d’Abram, en particulier son interprétation de la spécificité de l’animalité humaine et la perception du caractère animé du paysage. Elle ancre Abram dans une cosmologie animiste et donne une réponse à la question de la forme que pourrait prendre une sagesse (...) indigène contemporaine en Occident. (shrink)

The main concern of this paper is the design of a noetherian and confluent normalization for LK 2. The method we present is powerful: since it allows us to recover as fragments formalisms as seemingly different as Girard's LC and Parigot's λμ, FD, delineates other viable systems as well, and gives means to extend the Krivine/Leivant paradigm of `programming-with-proofs' to classical logic ; it is painless: since we reduce strong normalization and confluence to the same properties for linear logic using (...) appropriate embeddings ; it is unifying: it organizes known solutions in a simple pattern that makes apparent the how and why of their making. A comparison of our method to that of embedding LK into LJ brings to the fore the latter's defects for these `deconstructive purposes'. (shrink)

Cet article présente Nietzsche comme un héritier du courant Illuministe, qui perpétue la Tradition spirituelle, confluent des différentes traditions ésotériques et qui s'est développé dans l'ombre des Lumières triomphantes. Sous une carapace d'athéisme, on trouve dans l'œuvre du philosophe allemand des éléments hermétiques ou gnostiques qui permettent d'appréhender différemment son Dionysos ou sa volonté de puissance. Par ces aspects et au travers de l'ascétisme transvalué qu'il propose, Nietzsche est proche des conceptions du soufisme, la mystique qui a été développée à (...) partir des sources scripturaires de l'Islam. C'est ce que montre ensuite cet article en proposant une comparaison entre le surhomme nietzschéen et la figure de l'homme partait, « el insan el kamil » d'Ibn Arabi, un des plus célèbres théoriciens du soufisme. En conclusion, l'auteur se pose la question des écrits qui auraient pu mettre le philosophe allemand en contact avec la mystique musulmane. (shrink)

De nombreuses répliques du satyre à l'outre conservé au musée du Caire étaient connues jusqu'à présent, provenant d'Alexandrie, de Syracuse, de Kertch et de Phanagoria. Il convient de leur joindre un nouvel exemplaire fragmentaire du musée du Louvre provenant d'Amisos. Il est probable que nous ayons affaire dans chaque cas à une fabrication locale. Un passage des Dionysiaca de Nonnos de Panopolis (XXIII, 148) permet sans doute de voir dans cet objet un satyre voguant sur son outre : en effet (...) les fantassins de Dionysos sont décrits traversant l'Hydaspe, confluent de l'Indus, sur des outres gonflées d'air, mode de navigation connu par ailleurs. On peut supposer que le prototype était un satyre en bronze (peut-être un ornement de fontaine), créé sous l'influence pergaménienne, à la fin du IIIe s. ou au début du IIe s. av. J.-C. à Alexandrie, où l'expédition d'Alexandre aux Indes avait été transposée en une épopée de Dionysos. Suffisamment célèbre, il a pu donner lieu à des répliques en terre cuite, à la fois à Alexandrie, et dans divers centres liés à cette cité. (shrink)

Symmetic combinatory logic with the symmetric analogue of a combinatorially complete base (in the form of symmetric λ-calculus) is known to lack the Church-Rosser property. We prove a much stronger theorem that no symmetric combinatory logic that contains at least two proper symmetric combinators has the Church-Rosser property. Although the statement of the result looks similar to an earlier one concerning dual combinatory logic, the proof is different because symmetric combinators may form redexes in both left and right associated terms. (...) Perhaps surprisingly, we are also able to show that certain symmetric combinatory logics that include just one particular constant are not confluent. This result (beyond other differences) clearly sets apart symmetric combinatory logic from dual combinatory logic, since all dual combinatory systems with a single combinator or a single dual combinator are Church-Rosser. Lastly, we prove that a symmetric combinatory logic that contains the fixed point and the one-place identity combinator has the Church-Rosser property. (shrink)

Cet essai s'attache à montrer l'importance de la notion de pervertibilité pour le philosophe Jacques Derrida. Il est résolument au confluent de la littérature (ma discipline d'attache), de la philosophie et de la psychanalyse. J'y mène une enquête au plus près des textes et de la pensée derridienne en y privilégiant une approche pluridisciplinaire (histoire des idées, linguistique, analyse du discours et des dispositifs textuels, etc.). Ainsi, ce livre ne sombre pas dans l'hermétisme de certains ouvrages sur Derrida, mais il (...) respecte néanmoins l'exigence de complexité et d'inventivité de ce que nous pourrions appeler la déconstruction. Celui-ci permet de mieux comprendre à la fois la philosophie et le style de Jacques Derrida, ainsi que leurs évolutions durant la seconde partie du XXe siècle. De ce fait, il contribue substantiellement aux travaux actuels en littérature et en philosophie, champs de connaissances et de pratiques auxquels il appartient. Cette enquête met aussi de l'avant une conception renouvelée du texte littéraire basée sur la notion de pervertibilité, et ce, non pas pour faire l'apologie de propriétés prétendument subversives de la littérature, mais afin de mieux saisir dans des textes complexes comme ceux de Jacques Derrida, des dispositifs pervers de la pensée philosophique, ainsi que des gestes concrets d'écriture. (shrink)

Au terme d'une longue recherche en quête du sens de l'art et de son mystère au coeur de nos vies, ce bref essai voudrait revenir sur le point central de jointure entre apparence et apparition qu'on peut désigner sous l'expression de manifestation esthétique. Interrogation ultime que soulève tout grand créateur d'une oeuvre d'art digne de ce nom, à savoir porteuse d'un contenu de vérité authentique. Ainsi du doute de Cézanne hanté au dire de Merleau-Ponty par le soupçon de l'échec de (...) la peinture à conjurer l'illusion des images - ou encore de l'angoisse de Schoenberg à la poursuite d'une musique qui soit espérance messianique (ce que J S Bach déjà avait poursuivi au sommet toute sa vie). Question éminemment philosophique méditée depuis toujours par les plus grands penseurs. Ainsi, au confluent du néo-platonisme et du christianisme, la lecture augustinienne de Plotin ; en plein âge baroque, l'analyse kantienne décisive du sublime au principe de l'imagination esthétique, et, à l'aurore de notre modernité du XXe siècle, l'invocation de Walter Benjamin à "l'aura, l'unique apparaître d'un lointain". (shrink)

We currently exist in a post-biological age. Mixed-realities shape the way in which we live modern life; half in physical form, half in a hyper-mediated virtual environment of network protocols. This article discusses network-based impacts on neurological navigation and the ways in which the human auditory cortex is developing through conjuncture with post-biological combinations of sound. In doing so, it examines the capacity of the human brain in decoding and understanding the abundance of sound in confluent, variegated realms of existence (...) and how such increased perceptions expand consciousness and, in turn, affect sonic creativity as a somewhat mimicry or response to our immediate auditory environments. Conclusively, it will be argued that the exploration of sound-based creativity can be reinterpreted for post-biological spaces, taking particular aim at the reflective approaches of musique concrète and how such technologically infused ideas can be transformed and recontextualized to match the power and capacity of today’s hybrid environments of occupancy. (shrink)

À la fois omniprésent et incernable, le temps est une dimension omniprésente de nos existences, indissociable de notre rapport au cosmos, à la vie biologique, à la conscience mais aussi à l’histoire, à la culture et à la société. Parce qu’elle est au confluent de plusieurs champs d’expérience et de réflexion, la question du temps offre une passerelle privilégiée pour croiser des approches rarement invitées à se rencontrer : celles des sciences d’un côté (physique, biologie, médecine, cosmologie), celles des arts (...) de l’autre (littérature, cinéma, arts plastiques, musique, théâtre). Au-delà des questions qui touchent à la réorganisation des partages cognitifs et disciplinaires (entre sciences et arts), l’objectif de cet ouvrage est de montrer la fécondité des transferts épistémologiques entre ces deux domaines. D’un côté, les sciences constituent un réservoir inépuisable pour les arts, auxquels elles proposent une multiplicité de modèles du temps opérant à différentes échelles : temporalités non linéaires, réversibles, cycliques ou emboîtées, qui peuvent être dynamisées par des bifurcations, des catastrophes ou des phénomènes d’émergence imprévisibles. De l’autre, les arts sont un lieu privilégié de modélisation, d’exposition et de mise à l’épreuve de modèles temporels, qui tantôt croisent la rationalité dominante (sciences, historiographie), tantôt en réactivent des dimensions occultées (mythe, rite, etc.). Frayant à la fois dans l’imaginaire et le rationnel, ces représentations du temps permettent d’exhiber la complexité d’un phénomène qui ne peut être appréhendé que dans l’entre-deux des savoirs et des arts. (shrink)

It has been traditionally considered that Quantum Mechanics has two conceptual kinds of problems, namely, those related with local-realism and the so-called measurement problem. That is, the uniqueness of the result when we make a measurement. With the development of what is called generically Quantum Information Theory, a new form of the Copenhagen interpretation of the formalism has taken shape.(1) In this paper, we will analyse if this information interpretation is able to clarify these old problems. Although this interpretation seems (...) to be the most promising approach we have, we have reached the conclusion that the answer cannot be given in a positive and clear way yet. (shrink)