This paper is concerned with topological set theory, and particularly with Skala's and Manakos' systems for which we give a topological characterization of the models. This enables us to answer natural questions about those theories, reviewing previous results and proving new ones. One of these shows that Skala's set theory is in a sense compatible with any ‘normal’ set theory, and another appears on the semantic side as a ‘Cantor theorem’ for the category of Alexandroff spaces.

We show that the untyped λ -calculus can be extended with Frege's interpretation of propositional notions, provided we restrict β -conversion to positive expressions. The system of illative λ -calculus so obtained admits a natural Scott-style semantics.

It is proved in this paper that the positive abstraction scheme is consistent with extensionality only if one drops equality out of the language. The theory obtained is then compared with GPK, a wellknown set theory based on an extended positive comprehension scheme.

In this paper, we present set theories based upon the paraconsistent logic Pac. We describe two different techniques to construct models of such set theories. The first of these is an adaptation of one used to construct classical models of positive comprehension. The properties of the models obtained in that way give rise to a natural paraconsistent set theory which is presented here. The status of the axiom of choice in that theory is also discussed. The second leads to show (...) that any classical universe of set theory (e.g. a model of ZF) can be extended to a paraconsistent one, via a term model construction using an adapted bisimulation technique. (shrink)

Journal Name: Semiotica Issue: Ahead of print.

In this paper, we hypothesize that X chromosome-associated mechanisms, which affect X-linked genes and are behind the immunological advantage of females, may also affect X-linked microRNAs. The human X chromosome contains 10% of all microRNAs detected so far in the human genome. Although the role of most of them has not yet been described, several X chromosome-located microRNAs have important functions in immunity and cancer. We therefore provide a detailed map of all described microRNAs located on human and mouse X (...) chromosomes, and highlight the ones involved in immune functions and oncogenesis. The unique mode of inheritance of the X chromosome is ultimately the cause of the immune disadvantage of males and the enhanced survival of females following immunological challenges. How these aspects influence X-linked microRNAs will be a challenge for researchers in the coming years, not only from an evolutionary point of view, but also from the perspective of disease etiology. (shrink)

We present an order-theoretic analysis of set-theoretic paradoxes. This analysis will show that a large variety of purely set-theoretic paradoxes (including the various Russell paradoxes as well as all the familiar implementations of the paradoxes of Mirimanoff and Burali-Forti) are all instances of a single limitative phenomenon.

We state the consistency problem of extensional partial set theory and prove two complementary results toward a definitive solution. The proof of one of our results makes use of an extension of the topological construction that was originally applied in the paraconsistent case.

L’évolution de Sartre, hormis l’évidente amplification de l’ère de son individualisme anarchiste à l’ère historico-sociale des ensembles pratiques, se manifeste également sur le plan de la normativité attachée à la liberté. On pourrait en effet penser qu’il est passé d’un stoïcisme radical de la liberté à à un sceptcisme quiétiste quand, abandonnant dans Les Carnets de la drôle de guerre explicitement son stoïcisme, il en vient à une liberté en situation. Celle-ci pour s’enraciner dans le concret n’en conserve pas moins (...) le critère de la liberté intérieure puisqu’il la norme par la lucidité prise quant à son but ultime. Mais c’est pour rebondir aussitôt : tout but ultime est encore une entrave à la liberté, et la lucidité à son endroit ne peut que renforcer l’entrave. Alors que faire ? (shrink)

L’article de Luisa Simonutti traite de la critique et de la reprise de certains concepts clés de la pensée de Socin (liberté, volonté, responsabilité) par des arminiens de Hollande. Cet héritage complexe est plus qu’un épisode de la réaction vaste et articulée qui se manifesta à la fin du XVIe siècle – et qui s’étendit sur tout le XVIIe siècle – contre les œuvres et les idées du Siennois. Cet événement doit aussi être interprété comme le moment d’une confrontation plus (...) large en défense de la libertas prophetandi et du libre arbitre de l’homme face aux lois et à la volonté divines. (shrink)

Retrace la vie de Destutt de Tracy (1754-1836) en attirant l'attention sur la richesse de l'oeuvre de ce philosophe, oeuvre dont s'inspirèrent Auguste Comte et Saint-Simon, et qui est restée cependant méconnue.

La liberté a été assez largement réduite, dans la modernité occidentale, à une occurrence individualiste. C’est la liberté de l’individu « face au monde » et eu égard aux autres dont il s’agit surtout. Notre propos consistera en une critique de cette idée, au profit d’une compréhension relationnelle de la liberté. Il apparaîtra que nous avons besoin de soutien mutuel pour être et rester libre et que, à l’heure de l’Anthropocène, c’est la Terre qui nous soutient qui a elle aussi (...) besoin de toute notre attention, sans quoi les conditions de la liberté pourraient être très compromises. (shrink)

Les politiques migratoires ont connu, depuis environ deux décennies, un processus d’internationalisation, qui les voit être débattues dans des structures intergouvernementales et devenir ainsi un enjeu de ce que ces institutions qualifient souvent de « gouvernance mondiale ». Ces débats se caractérisent par une tonalité pro-immigration, ainsi que par l’ambition de refonder les politiques migratoires sur la base de principes universels. La liberté de circulation n’y apparaît cependant pas, et n’est même pas reconnue comme un scénario digne d’être mentionné. Cet (...) article émet l’hypothèse que, s’il existe des raisons politiques évidentes qui empêchent des organisations intergouvernementales de remettre en cause la souveraineté des États, cette omission relève également de deux biais qui caractérisent les débats internationaux sur les migrations. Un biais utilitariste d’abord, qui n’aborde pas la mobilité comme un droit mais comme une stratégie. Un biais sédentariste ensuite, qui célèbre et encourage la mobilité, mais sans remettre en cause le lien entre les migrants et leur pays d’origine. Dans les deux cas, la possibilité du choix de migrer comme une décision autonome relevant de la liberté de circuler n’est pas prise en compte. Il s’ensuit que la mobilité reste un objet de contrôle, qui doit être normativement discipliné et encadré. (shrink)

Dans sa these de 1913, La liberte chez Descartes et la theologie, Etienne Gilson inaugure le geste qu'il prolongera dans l'Index scolastico-cartesien et les Etudes sur le role de la pensee medievale dans la formation du systeme cartesien: situer l'oeuvre de Descartes dans le contexte intellectuel de son epoque. S'il est certain qu'avec Descartes la philosophie tout entiere semble prendre un nouveau depart, il n'en est pas moins sur que cette pensee s'est formee sous l'influence de la theologie scolastique a (...) laquelle Descartes fut initie lors de ses etudes chez les Jesuites. Etienne Gilson se propose ainsi d'eclairer de cette influence les definitions cartesiennes de la liberte. Notion cardinale de sa philosophie, la liberte fut en effet, avant Descartes, l'objet de nombreuses reflexions theologiques: elle se presente donc comme le point de rencontre privilegie de ces deux systemes de pensee. Par cette entree dans l'oeuvre de Descartes, Etienne Gilson nous invite a la lire d'un oeil neuf: c'est ainsi qu'il nous permet, par exemple, de deplacer le coeur de l'apport cartesien de la definition de la liberte humaine (pour laquelle il emprunte beaucoup aux grands penseurs scolastiques) a celle de la liberte divine. Des lors, Descartes se revele plus fidele a la tradition scolastique qu'il ne l'affirme: n'en transformant les cadres que lorsqu'il s'y trouve contraint par les exigences de sa physique, il s'efforce de minimiser autant que possible les modifications qu'il y applique. (shrink)

Le conflit des libertés constitue un problème redoutable pour toute théorie des droits fondamentaux, tant du point de vue de leur justification que de leur mise en œuvre. La théorie rawlsienne de la justice comme équité suggère une réponse originale, qui cherche à éviter tant la mise en balance des libertés que leur absolutisation rigide. Le système des libertés de base est strictement prioritaire par rapport à toute autre considération, mais les libertés elles-mêmes ne sont pas, prises individuellement, absolues : (...) elles doivent être ajustées les unes aux autres pour former un système cohérent, où les contradictions sont évitées. Elles ne sont toutefois pas négociables, car cet ajustement doit les réguler sans les restreindre. L’article reconstruit et évalue cette réponse au conflit des libertés. Il montre qu’elle n’est convaincante que si l’on renonce à l’exigence rawlsienne d’une priorité absolue du système des libertés. (shrink)

Entre la conscience transcendantale et le système spéculatif, la volonté de discours cohérent hésite avant de se trouver invinciblement reconduite à la finitude sans recours de sa position existentielle. De cette histoire de tensions irréductibles résulte pour la philosophie une exigence nouvelle : se comprendre en son originalité comme milieu du sens, d’un sens dialogal librement exigé et partagé, dont la forme vide travaille les interactions de l’existence finie jusqu’à la porter finalement au-delà d’elle-même. The want of a coherent discourse (...) hesitates between the transcendental conscience and the speculative system, before finding itself invincibly taken back to finiteness, without help of its existential position. From this story of irreducible tensions results a new requirement for philosophy : to conceive itself, in its originality, as the milieu of sense, of a dialogic sense freely required and shared, the empty shape of which works on the interactions of the finite existence, up to finally carrying it beyond itself. (shrink)