At the end of the 1980s, Tennant invented a logical system that he called “intuitionistic relevant logic”. Now he calls this same system “Core logic.” In Section 1, by reference to the rules of natural deduction for $\mathbf{IR}$, I explain why $\mathbf{IR}$ is a relevant logic in a subtle way. Sections 2, 3, and 4 give three reasons to assert that $\mathbf{IR}$ cannot be a core logic.

Ce livre developpe une theorie de la negation qui rend compte de maniere complete des trois significations naturelles et fondamentales de la negation: rejet, absence et denegation. L'auteur adopte une theorie intuitionniste de la negation, parce qu'il considere que celle-ci offre une comprehension a la fois plus riche et plus fine de la negation que celle qui est donnee par la logique classique. La premiere partie de l'ouvrage commence avec des remarques qui relevent de la psychologie, la seconde traite de (...) la negation d'un point de vue logique, et la troisieme donne un apercu critique sur quelques metaphysiques de la negation, c'est-a-dire sur certains systemes philosophiques (ceux de Platon, de Spinoza et de Hegel) qui ont tire des consequences ontologiques a partir d'une definition specifique de la negation. Cette troisieme partie trouve une suite naturelle dans le commentaire des reflexions sur la question de la negation developpees par Spinoza (proposition 49 de la seconde partie de l'Ethique) et par Kant (Essai pour introduire en philosophie le concept de grandeur negative). Ces deux commentaires sont respectivement prolonges par une critique de l'analyse spinoziste de la negation et par l'explication de l'interet que presente la logique intuitionniste a la fois pour la comprehension de l'analyse kantienne et pour les lecons que l'on peut tirer du celebre carre des oppositions logiques, ou la negation joue un role crucial. (shrink)

Etudie la notion de paradoxe en philosophie en s'intéressant notamment aux paradoxes logiques (paradoxes, solutions ensemblistes et sémantiques). En deuxième partie, deux textes (de B. Russell et W.V.O. Quine) sont commentés.

Vuillemin a écrit un article concis sur la Théorie de la justice de Rawls où son propos se concentre uniquement sur la justice comme convention, c’est-à-dire sur le contrat qui définit une société juste selon Rawls. Après avoir analysé la nature du « contrat explicite » puis celle du « contrat implicite » dans cette théorie, Vuillemin critique la définition de la justice que donne Rawls et soutient que celui-ci«s’est trompé d’ancêtres » en considérant que sa philosophie politique est dans (...) la filiation de la morale kantienne alors qu’elle est, selon Vuillemin, l’expression d’un scepticisme comparable à celui de Carnéade. On réfute dans cet article l’interprétation que Vuillemin donne de la théorie de Rawls en montrant que celle-ci est fondée sur une lecture à la fois partielle et partiale de la Théorie de la Justice. (shrink)

Vuillemin a écrit un article concis sur la Théorie de la justice de Rawls où son propos se concentre uniquement sur la justice comme convention, c’est-à-dire sur le contrat qui définit une société juste selon Rawls. Après avoir analysé la nature du « contrat explicite » puis celle du « contrat implicite » dans cette théorie, Vuillemin critique la définition de la justice que donne Rawls et soutient que celui-ci«s’est trompé d’ancêtres » en considérant que sa philosophie politique est dans (...) la filiation de la morale kantienne alors qu’elle est, selon Vuillemin, l’expression d’un scepticisme comparable à celui de Carnéade. On réfute dans cet article l’interprétation que Vuillemin donne de la théorie de Rawls en montrant que celle-ci est fondée sur une lecture à la fois partielle et partiale de la Théorie de la Justice. (shrink)

En 2004, la famille de Jules Vuillemin lègue aux Archives Henri-Poincaré (Université de Lorraine) un fonds constitué par les ouvrages, les tirés à part et les manuscrits du célèbre philosophe français, décédé aux Fourgs (Doubs) le 16 janvier 2001. Dans le cadre de la conservation et de la valorisation de ce fonds très riche, les Archives Henri-Poincaré organisent chaque année, au mois de décembre, une journée d’études autour d’un texte ou d’un aspect de la pensée de Jules Vuillemin, afin de (...) d... (shrink)

Ce numéro spécial, édité à l’occasion du centenaire de la naissance d’Alan Turing, est le fruit d’une double collaboration : d’une part une collaboration internationale qui exprime via internet l’importance de l’année Turing, d’autre part une collaboration locale régulière entre des chercheurs de l’équipe TYPES du Laboratoire Lorrain de Recherche en Informatique (LORIA) qui s’intéressent à la logique, la théorie de la preuve et la programmation, et des philosophes et logiciens du Laboratoire...

En 2004, la famille de Jules Vuillemin lègue aux Archives Henri-Poincaré un fonds constitué par les ouvrages, les tirés à part et les manuscrits du célèbre philosophe français, décédé aux Fourgs le 16 janvier 2001. Dans le cadre de la conservation et de la valorisation de ce fonds très riche, les Archives Henri-Poincaré organisent chaque année, au mois de décembre, une journée d’études autour d’un texte ou d’un aspect de la pensée de Jules Vuillemin, afin de d...

Theories of discourse bring to realism new ideas about how knowledge develops and how representations of reality are influenced. We gain an understanding of the conceptual aspect of social life and the processes by which meaning is produced. This collection reflects the growing interest realist critics have shown towards forms of discourse theory and deconstruction. The diverse range of contributions address such issues as the work of Derrida and deconstruction, discourse theory, Eurocentrism and poststructuralism. What unites all of the contributions (...) is a sense that it is essential to provide a realist alternative to the hitherto dominance of social constructionism, hermeneutics and postmodernism, over many of the issues discussed. By developing a realist perspective the different authors attempt to embed discourse within the structured nature of the reality of the world. Realism can situate language, discourse and ideology within context specific, or 'causally efficacious' circumstances. Realism can help to uncover issues of power, representation, and subjectivity and how discursive and other social practices produce real effects. This can help us understand the manner in which social structures are reproduced through various forms of ideology and discourse. And by knowing this, we can start to address questions concerning human emancipation and how the world is to be transformed. (shrink)

Topics covered in Discrete Mathematics have become essential tools in many areas of studies in recent years. This is primarily due to the revolution in technology, communications, and cyber security. The book treats major themes in a typical introductory modern Discrete Mathematics course: Propositional and predicate logic, proof techniques, set theory (including Boolean algebra, functions and relations), introduction to number theory, combinatorics and graph theory. An accessible, precise, and comprehensive approach is adopted in the treatment of each topic. The ability (...) of abstract thinking and the art of writing valid arguments are emphasized through detailed proof of (almost) every result. Developing the ability to think abstractly and roguishly is key in any areas of science, information technology and engineering. Every result presented in the book is followed by examples and applications to consolidate its comprehension. The hope is that the reader ends up developing both the abstract reasoning as well as acquiring practical skills. All efforts are made to write the book at a level accessible to first-year students and to present each topic in a way that facilitates self-directed learning. Each chapter starts with basic concepts of the subject at hand and progresses gradually to cover more ground on the subject. Chapters are divided into sections and subsections to facilitate readings. Each section ends with its own carefully chosen set of practice exercises to reenforce comprehension and to challenge and stimulate readers. As an introduction to Discrete Mathematics, the book is written with the smallest set of prerequisites possible. Familiarity with basic mathematical concepts (usually acquired in high school) is sufficient for most chapters. However, some mathematical maturity comes in handy to grasp some harder concepts presented in the book. (shrink)

To begin with -- Genealogy of the cerebral subject -- Disciplines of the neuro -- Cerebralizing distress -- Brains on screen and paper -- Up for grabs.

Research has found that children possess a broad bias in favor of teleological - or purpose-based - explanations of natural phenomena. The current two experiments explored whether adults implicitly possess a similar bias. In Study 1, undergraduates judged a series of statements as "good" or "bad" explanations for why different phenomena occur. Judgments occurred in one of three conditions: fast speeded, moderately speeded, or unspeeded. Participants in speeded conditions judged significantly more scientifically unwarranted teleological explanations as correct, but were not (...) more error-prone on control items. Study 2 extended these findings by examining the relationship between different aspects of adults’ "promiscuous teleology" and other variables such as scientific knowledge, religious beliefs, and inhibitory control. Implications of these findings for scientific literacy are discussed. (shrink)

En este artículo me propongo abordar el problema del tiempo en las sociedades contemporáneas desde un diálogo entre las construcciones teóricas de Moishe Postone y Hartmut Rosa y el trabajo de Michel Foucault. Los dos primeros se han centrado en explicar cómo la temporalidad se ha convertido en un tipo de dominación abstracta, impersonal y cuasiobjetiva a partir de conceptos como la densificación temporal, la aceleración o la hibridación. Foucault, en cambio, concibe el tiempo bajo el prisma de la racionalidad (...) política neoliberal, por la cual el tiempo pasa a ser un recurso que debe gestionarse por los sujetos en términos empresariales y que termina por configurar una ética neoliberal de la administración del tiempo. Este diálogo ejemplifica de manera privilegiada la tensión entre la coacción o la presión temporal y la administración estratégica del tiempo propia de las sociedades contemporáneas. (shrink)

J’ai fait connaissance de Gilles Deleuze pendant le premier semestre de l’année 1961. Curieusement c’est lui qui est venu vers moi, qui étais un écolier, alors que lui était, non pas l’auteur célèbre qu’il devint par la suite, mais déjà un professeur renommé. Il avait publié son essai sur Hume et enseignait avec...

The paper presents and discusses an example, namely a version of heterogeneous frrst-order logic and uses the classical theorem of Herbrand-Schmidt-Wang about the reduction of heterogeneous first-order logic to homogeneous first-order logic, in order to obtain two transformations between heterogeneous and homogeneous frrst-order logic which are different from the institution morphisms defined by Goguen and Burstall. Moreover, by considering a type of 2-cell among institution morphisms it is obtained a 2-category and also a 2-functor from this to another 2-category.

Le bouclier d'Achille -- La guerre et la paix -- L'offrande musicale.

Gilles Deleuze, les vampires, Emil Cioran, Samuel Beckett, le dandysme, Friedrich Nietzsche, Raymond Roussel, Casanova, Arthur Schopenhauer, Jean-Luc Godard, Goscinny & Uderzo, Jean-Paul Sartre, Hugo von Hofmannsthal. Le réel, le double, l’illusion, le tragique, la joie, la musique, la philosophie, la politique, le péché, l’enseignement. Faits divers sont les miscellanées de Clément Rosset : le répertoire désordonné et jubilatoire de ses passions et de ses dégoûts, de ses intérêts et de ses bâillements, de ses tocades et de ses coups (...) de sang – ainsi que de la prodigieuse liberté de ton et de pensée avec laquelle il les exprime et les pense. Un des philosophes, un des écrivains les plus singuliers de notre temps revisite les coulisses de son œuvre. Et vous êtes invités. (shrink)

ResumenEn este artículo se presenta el pensamiento de Hamann en dos aspectos principales. Por una parte, se analiza su relación crítica con el movimiento ilustrado (entendido como discurso dominante en su época) y se destaca su relación con Kant. Por otra parte, se investigan las líneas fundamentales de su concepción del lenguaje, considerada como un núcleo básico de su crítica a la Ilustración. La identificación entre razón y lenguaje permite considerar a Hamann más como un ilustrado radical que como un (...) irracionalista, al tiempo que lo convierte en iniciador de un «giro lingüístico y hermenéutico» en el siglo XVIII.Palabras claveHamann, Ilustración, Filosofía del lenguaje, racionalidadAbstractHamann’s thought is presented in this paper through two main aspects. On the one hand, we analyze his connexion with the Enlightenment –which is understood as the dominant discourse of his time– together with his relationship with Kant. On the other hand, we study the basic trends of his conception of language, considered as a basic nucleus of his critic to Enlightenment. The identification between reason and language makes us consider Hamman a radical man of the Enlightenment rather than an irrationalistic, as well as the founder of a “linguistic and hermeneutic turn” in the 18th century.KeywordsHamann, Enlightenment, Philosophy of language, rationality. (shrink)

The development of Information and Communication Technologies has favored access to technological resources in adolescents. These tools provide access to information that can promote learning. However, they can also have a negative effect against people, as they can be used with other functionality, in which cyberbullying situations are caused during the interactions that arise when using social networks. The objective of this study was to determine the predictive value of the role of cyberbullying victims based on variables related to other (...) roles involved in cyberbullying and bullying, as well as personal characteristics, contextual characteristics and positive teamwork habits.. Information was collected from 227 students of the educational stages of Primary Education and Secondary Education, aged between 11 and 15 years, in a city with a high index of cultural diversity. The step-by-step technique was used to build the regression model. The results indicate that the model has a good goodness of fit coefficient. The role of cyberbully is the most important predictive variable of the role of the victim in cyberbullying and, to a lesser extent, the role of the witness in cyberbullying, the role of the witness in bullying, and the role of the victim of bullying. The role of the bullying aggressor and the variables sex, age, type of educational center, and teamwork habits are excluded in the predictive model. (shrink)

Cet article fait une brève synthèse des difficultés de traduction dans le domaine de la santé telles qu'elles ont été mises en évidence dans deux publications du CRTT. Après avoir rapidement défini ce qu'il faut entendre aujourd'hui par mots de la santé, on tente de relever des points communs dans les résultats de la recherche des auteurs concernant les équivalences interlinguistiques dans le domaine de la médecine et la prise en compte des identités culturelles dans le processus de traduction des (...) mots de la santé.This article is a brief summary of translation problems in the field of health as they have been identified in two publications CRTT. After quickly defined what is meant by words today health, attempts to address commonalities in the results of the authors' research on interlingual equivalents in the field of medicine and taking into account cultural identities in the process of translating words health. (shrink)

The concept of assisted death includes a heterogeneous variety of practices, whose common denominator is to guarantee citizens their right to participate in decisions related to their own death process, to make it as consistent with their preferences as possible. It’s one of the most controversial and discussed topics in recent decades, both in the academic field and in public opinion. This paper examines the two main justifications for its legalization: to guarantee individual autonomy as in other areas of life, (...) and to avoid unnecessary suffering to the dying. It will be argued that, although both are related and both tie the ethics of care with the autonomy of the subject, the justification for autonomy is stronger and resists better the objections of those opposed to the legalization of this right. (shrink)

This paper presents some modern and interdisciplinary concepts about creativity and creative processes specially related to problem solving. Central publications related to the theme are briefly reviewed. Creative tools and approaches suitable to support problem solving are also presented. Finally, the paper outlines the author’s experiences using creative tools and approaches to: Facilitation of problem solving processes, strategy development in organisations, design of optimisation systems for large scale and complex logistic systems, and creative design of software optimisation for complex non-linear (...) systems. (shrink)

AbstractIn this article, I examine the pedagogical practices of La Red de Semillas Libres de Colombia, a grassroots national organization that works towards the construction of seed sovereignty. Using participant observation and interviews, I show the epistemic, territorial, and gender dimensions of these practices. I draw from extant scholarship on seed struggles, decolonial feminism, and feminist political ecology to analyze two specific practices: experimentation and demonstration and, visual technology creation, including drawings. I demonstrate how these practices organize territories through collective (...) epistemic gendered labor around seeds. These territories are spaces for community-based power creation that have the potential to advance agrarian and environmental agendas from below. However, they also reflect and embody the enduring character of patriarchy and the challenges it presents to achieve systemic transformations in the Colombian countryside. (shrink)