Gabriel Marcel, un grand penseur français du XXe siècle, est l'auteur d'un grand nombre d'ouvrages et d'études philosophiques, d'une importante oeuvre théâtrale et de remarquables critiques musicales. La première partie de ce recueil est constituée par des études consacrées à l'oeuvre marcellienne lue selon ses grands thèmes et moments. La seconde partie, de textes bien plus nombreux, traite des rapports et des analogies entre Gabriel Marcel et certains de ses contemporains, notamment N. Berdiaeff, G. Thibon et E. Lévinas.

There is a great deal of literature on matching, theoretical, and empirical, concerning stable assignments and mechanisms that achieve them. The starting point of this study is an interesting question about assignment procedures: given a situation where some agents (the senior workers) on one side have a priority status, which changes the classical theory. The core of game may not be stable. We prove the existence of a quasi stable constrained core. This constrained core may not be a lattice but (...) it is a finite and disjoint union of complete lattices that check the properties of the core’s classical assignment game. We study the manipulability questions that derive. (shrink)

Tout ce qui est dans l'oeuvre de Jacques, nous l'avons d'abord vécu à l'état de difficulté vitale et d'expérience, - les questions de l'art et de la morale, de la philosophie, de la foi, de la prière, de la contemplation. Cela nous a d'abord été donné à vivre, à chacun selon sa nature et la grâce de Dieu », notait Raïssa en 1934. Cette correspondance confirme le propos, qui nous fait pénétrer dans « l'amour fou » de deux vies données (...) l'une à l'autre, et la trame quotidienne de leur fécondité de pensée et de « grandes amitiés ».Leur conversion en 1906 scelle la vocation d'un couple venu déjà un peu d'ailleurs : lui, 18 ans, romantique, révolutionnaire et dreyfusard en diable, en rupture avec les élites républicaines laïques dont il est issu ; elle, 17 ans, comme sortie d'une peinture de Chagall, juive et slave en quête à la Sorbonne d'une nouvelle patrie spirituelle. Les premiers regards portés sur eux discernent déjà leur promesse : « Je les trouve absolument dignes l'un de l'autre ; ce sont même de si beaux types d'humanité qu'il faut se féliciter de les voir se rechercher. On ne trouve pas si souvent de couple bien assorti ; celui-là me paraît devoir donner un exemple lumineux. »Ils s'écrivent abondamment dès que les aléas de la vie les séparent et ce premier tome les suit dans la découverte d'eux-mêmes. Dans la discontinuité des circonstances, leur chemin métaphysique et mystique progresse, tandis que se révèle, derrière chaque ouvrage, chaque combat, chaque accompagnement spirituel, le secret de leur rayonnement : au fil de ces 712 lettres, c'est d'abord une histoire d'amour, dans un respect tendre et sacré de la singularité de l'autre. (shrink)

Globally, healthcare has become dominated by women nurses. Gender is also known to impact the way people are cared for in various healthcare systems. Considering gender from the perspective of how lived bodies are positioned through the structural relations of institutions and processes, this systematic review aims to explore the meaning of gender in the caring relationship between the nurse and the older person through a synthesis of available empirical data published from 1993 to 2022. CINAHL, PUBMED, EMBASE and Web (...) of Science were searched from the beginning of each database's temporal range, and PRISMA guidelines were used for the screening, reviewing and selection processes of available records. A thematic synthesis of the available data resulted in three analytical themes: (i) vulnerability of the gendered body, (ii) norms and values related to gender and sexuality and (iii) balancing closeness and distance in the nurse‐patient relationship. These themes are intertwined and represent different aspects of gender meaning in the nurse–patient relationship. This research shows that gender, through its influence on the gendered body, its relationship with power dynamics in the caring process, and its intersection with dimensions of identity, has a significant meaning for the experienced vulnerability in the nurse–patient relationship. This has implications for the well‐being and sense of dignity of the older person as well as the nurse. (shrink)

Neste texto, discutimos disposições teórico-metodológicas do Grupo de Estudos sobre Numeramento (GEN), na busca de compreender os modos como pessoas, em suas singularidades, mas como sujeitos sociais, se apropriam de práticas matemáticas, tomadas como práticas discursivas. A pesquisa, a formação docente e a atuação do GEN em contextos educativos diversos inserem-se nos campos da Educação Matemática e do Letramento, pois buscam conhecer sujeitos da Educação (crianças, adolescentes, jovens, pessoas adultas e idosas), que, vivendo em sociedades ‘grafocêntricas’ e ‘quanticratas’, movidos por (...) intenções pragmáticas e parametrizados por referências culturais, forjam usos dos sistemas linguísticos relacionados à quantificação, mensuração, ordenação, classificação e organização de formas e espaços. A esses usos chamamos práticas de numeramento. As situações em que as identificamos – os eventos de numeramento –, em seu caráter histórico, são tomadas como unidades da análise das intenções dos usos, dos efeitos de sentido que logram produzir e, principalmente, de como sujeitos se constituem nas interações por eles mediadas, ao produzirem e tensionarem significados. Na seção ‘Compreendendo práticas matemáticas como práticas discursivas: foco, perspectiva e referenciais teórico-metodológicos do Grupo de Estudos sobre Numeramento (GEN)’: explicitamos o propósito do Programa de Pesquisa do Grupo (conhecer sujeitos e grupos sociais que protagonizam práticas de numeramento); justificamos sua base teórica (os Estudos do Letramento como Prática Social; a Pedagogia da Liberdade e da Autonomia; a compreensão da cognição como processo social; e a abordagem sociológica da Linguagem); assumimos a etnografia como lógica de investigação; e propomos a análise de interações como principal tratamento do material empírico. Apontamos também, dadas as especificidades dos sujeitos, a necessidade do diálogo com diversos campos: Educação de Pessoas Jovens, Adultas e Idosas (EJA), Sociologia da/s Infância/s; Estudos da/s Juventude/s; Educação do Campo; Educação Indígena; Educação de Pessoas Surdas; Formação Docente, entre outros. Na seção ‘Compreendendo práticas de numeramento como práticas de letramento: fertilidade analítica e pedagógica das escolhas teóricas’, esclarecemos como nossos estudos se inserem numa perspectiva Etnomatemática, porque contribuem para conhecermos os sujeitos que vemos protagonizar práticas matemáticas ao assumirem posições discursivas – portanto, sociais, culturais e políticas. Na seção ‘Compreendendo a aprendizagem matemática como apropriação de práticas de numeramento: desdobramentos da concepção de práticas matemáticas como práticas discursivas’, apresentamos como o conceito de apropriação de práticas de numeramento, de inspiração vigostskiana, usado para contemplar múltiplos sentidos das ações dos sujeitos em eventos de numeramento, disponibiliza uma ferramenta teórica para compreender a aprendizagem matemática não como experiência cognitiva individual, mas como ação social. Na seção ‘Interlocuções teóricas e disposições analíticas dos estudos mais recentes do GEN’, indicamos como uma análise tridimensional do discurso (do texto, da situação discursiva e da prática social), adotada para conhecer melhor os sujeitos e reconhecê-los como sujeitos sociais, tem-nos conduzido às considerações de Paulo Freire sobre sujeito de cultura, sujeito de conhecimento, sujeito dialógico e sujeito do processo, que compõem o sujeito histórico, protagonista de eventos de numeramento. Na ‘coda’ (‘Reiterando’), reafirmamos o foco de nossa linha de investigação no campo da Educação Matemática: pessoas constituindo-se como sujeitos sociais, enquanto se apropriam de práticas de numeramento. (shrink)

We prove Fraïssé’s conjecture within the system of Π11-comprehension. Furthermore, we prove that Fraïssé’s conjecture follows from the Δ20-bqo-ness of 3 over the system of Arithmetic Transfinite Recursion, and that the Δ20-bqo-ness of 3 is a Π21-statement strictly weaker than Π11-comprehension.

We study classes of graded structures satisfying the properties of amalgamation, joint embedding and hereditariness. Given appropriate conditions, we can build a graded analogue of the Fraïssé limit. Some examples such as the class of all finite weighted graphs or the class of all finite fuzzy orders (evaluated on a particular countable algebra) will be examined.

We realize the Jiang-Su algebra, all UHF algebras, and the hyperfinite II1factor as Fraïssé limits of suitable classes of structures. Moreover by means of Fraïssé theory we provide new examples of AF algebras with strong homogeneity properties. As a consequence of our analysis we deduce Ramsey-theoretic results about the class of full-matrix algebras.

Analog computation is an alternative to digital computation, that has recently re-gained prominence, since it includes neural networks. Further important examples are cellular automata and differential analyzers. While analog computers offer many advantages, they lack a notion of universality akin to universal digital computers. Since analog computers are best formalized as dynamical systems, we review scattered results on universal dynamical systems, identifying four senses of universality and connecting to coalgebra and domain theory. For nondeterministic systems, we construct a universal system (...) as a Fraïssé limit. It not only is universal in many of the identified senses, it also is unique in additionally being homogeneous. For deterministic systems, a universal system cannot exist, but we provide a simple method for constructing subclasses of deterministic systems with a universal and homogeneous system. This way, we introduce sofic proshifts: those systems that are limits of sofic shifts. In fact, their universal and homogeneous system even is a limit of shifts of finite type and has the shadowing property. (shrink)

We present a topos-theoretic interpretation of (a categorical generalization of) Fraïssé’s construction in Model Theory, with applications to homogeneous models and countably categorical theories.

In this paper we describe the Fraïssé limit of finite MV-algebras and then prove that finite MV-algebras verify the Ramsey property. Then we show that MV-algebras are just a special case of a more general situation. In fact, under minimum conditions for the application of the Kechris–Pestov–Todorcevic correspondence, Ramsey property holds for a certain category of finite structures if and only if it holds for a completion subcategory of it.

We prove that the minimal Logic of Formal Inconsistency $\mathsf{QmbC}$ validates a weaker version of Fraïssé’s theorem. LFIs are paraconsistent logics that relativize the Principle of Explosion only to consistent formulas. Now, despite the recent interest in LFIs, their model-theoretic properties are still not fully understood. Our aim in this paper is to investigate the situation. Our interest in FT has to do with its fruitfulness; the preservation of FT indicates that a number of other classical semantic properties can be (...) also salvaged in LFIs. Further, given that FT depends on truth-functionality, whether full FT holds for $\mathsf{QmbC}$ becomes a challenging question. (shrink)

The general theory developed by Ben Yaacov for metric structures provides Fraïssé limits which are approximately ultrahomogeneous. We show here that this result can be strengthened in the case of relational metric structures. We give an extra condition that guarantees exact ultrahomogenous limits. The condition is quite general. We apply it to stochastic processes, the class of diversities, and its subclass of $L_1$ diversities.

Well over half a century before the development of contemporary experimental philosophy, the Norwegian philosopher Arne Næss conducted a number of empirical investigations intended to document non-philosophers’ convictions regarding a number of topics of philosophical interest. In the 1930s and 1950s, Næss collected data relevant to non-philosophers’ conceptions of truth. This research attracted the attention of Alfred Tarski at the time, and has recently been re-evaluated by Robert Barnard and Joseph Ulatowski. In this paper I return to Næss’s research on (...) truth in order to better develop an account of how such empirical data does or doesn’t bear on the philosophical study of truth. I examine Næss’s findings from his various studies on truth, and challenge the interpretation of those studies offered by Barnard and Ulatowski. (shrink)

In this paper we develop an Ehrenfeucht‐Fraïssé game for. Unlike the standard Ehrenfeucht‐Fraïssé games which are modeled solely after the behavior of quantifiers, this new game also takes into account the behavior of connectives in logic. We prove the adequacy theorem for this game. We also apply the new game to prove complexity results about infinite binary strings.

This paper introduces a new Ehrenfeucht-Fraïssé type game that is played on two classes of models rather than just two models. This game extends and generalizes the known Ajtai-Fagin game to the case when there are several alternating moves played in different models. The game allows Duplicator to delay her choices of the models till the very end of the game, making it easier for her to win. This adds on the toolkit of winning strategies for Duplicator in Ehrenfeucht-Fraïssé type (...) games and opens up new methods for tackling some open problems in descriptive complexity theory. As an application of the class game, it is shown that, if m is a power of a prime, then first order logic augmented with function quantifiers F1n of arity 1 and height n < m can not express that the size of the model is divisible by m. This, together with some new expressibility results for Henkin quantifiers H1n gives some new separation results on the class of finite models among various F1n on one hand and between F1n and H1n on the other. Since function quantifiers involve a bounded type of second order existential quantifiers, the class game solves an open problem raised by Fagin, which asks for some inexpressibility result using a winning strategy by Duplicator in a game that involves more than one coloring round. (shrink)

Fraïssé studied countable structures S through analysis of the age of S i.e., the set of all finitely generated substructures of S. We investigate the effectiveness of his analysis, considering effectively presented lists of finitely generated structures and asking when such a list is the age of a computable structure. We focus particularly on the Fraïssé limit. We also show that degree spectra of relations on a sufficiently nice Fraïssé limit are always upward closed unless the relation is definable by (...) a quantifier-free formula. We give some sufficient or necessary conditions for a Fraïssé limit to be spectrally universal. As an application, we prove that the computable atomless Boolean algebra is spectrally universal. (shrink)

We say that a linear ordering is extendible if every partial ordering that does not embed can be extended to a linear ordering which does not embed either. Jullien’s theorem is a complete classification of the countable extendible linear orderings. Fraïssé’s conjecture, which is actually a theorem, is the statement that says that the class of countable linear ordering, quasiordered by the relation of embeddability, contains no infinite descending chain and no infinite antichain. In this paper we study the strength (...) of these two theorems from the viewpoint of Reverse Mathematics and Effective Mathematics. As a result of our analysis we get that they are equivalent over the basic system of .We also prove that Fraïssé’s conjecture is equivalent, over , to two other interesting statements. One that says that the class of well founded labeled trees, with labels from {+,−}, and with a very natural order relation, is well quasiordered. The other statement says that every linear ordering which does not contain a copy of the rationals is equimorphic to a finite sum of indecomposable linear orderings.While studying the proof theoretic strength of Jullien’s theorem, we prove the extendibility of many linear orderings, including ω2 and η, using just . Moreover, for all these linear orderings, , we prove that any partial ordering, , which does not embed has a linearization, hyperarithmetic in , which does not embed. (shrink)

We prove that the maximal order type of the wqo of linear orders of finite Hausdorff rank under embeddability is φ2, the first fixed point of the ε-function. We then show that Fraïssé’s conjecture restricted to linear orders of finite Hausdorff rank is provable in +“φ2 is well-ordered” and, over , implies +“φ2 is well-ordered”.

1. "L'appel véhément" au dévoilement du sens de la vie -- Le "désespoir conditionnel" -- Le courage de la lucidité et du suicide -- 2. Histoire d'Abraham et Crainte et Tremblement -- Abraham avant l'ordre de sacrifier Isaac: d'une sainteté affirmée à une sainteté défendue -- Abraham et l'ordre de sacrifier Isaac: l'épreuve exceptionnelle et le problème éthique.