In this paper we present an approach to automated learning within mathematical reasoning systems. In particular, the approach enables proof planning systems to automatically learn new proof methods from well-chosen examples of proofs which use a similar reasoning pattern to prove related theorems. Our approach consists of an abstract representation for methods and a machine learning technique which can learn methods using this representation formalism. We present an implementation of the approach within the ΩMEGA proof planning system, which we call (...) LEARNΩMATIC. We also present the results of the experiments that we ran on this implementation in order to evaluate if and how it improves the power of proof planning systems. (shrink)

This article examines the 2008 report of the Quebec Government’s Consultation Commission on Accommodation Practices Related to Cultural Differences which was co-authored by Charles Taylor. Summarizing its main themes, it identifies points of intersection with Taylor’s political thought. Issues of citizen equality, including gender equality, secularism, integration and interculturalism, receive special attention.

C’est une longue épopée, engagée depuis l’Antiquité, qui se poursuit encore aujourd’hui, une aventure pleine de passions, de révoltes, de revirements et de coups de génie. Telle est l’histoire de la philosophie, vue et racontée par Luc Ferry : une conquête obstinée, menée au fil des siècles par une poignée d’explorateurs qui, soudain, trouvent une nouvelle clef pour donner un sens à la condition humaine et bouleversent fondamentalement notre manière de penser. Pourquoi et quand s’est-on mis à philosopher? Comment les (...) grands concepts se sont-ils succédé au fil des siècles? Comment et pourquoi Platon, Descartes, Montesquieu, Hegel, Schopenhauer, Marx, Nietzsche, Freud, Heidegger, et quelques autres – les grands défricheurs de la pensée ne sont pas si nombreux – ont-ils eu soudain l’intuition qui a tout changé? Dans un dialogue limpide et sans jargon avec Claude Capelier, Luc Ferry déroule le fil chronologique depuis les origines antiques jusqu’à nos jours et décrit les six grandes étapes décisives qui nous ont ouvert un nouvel univers. On le verra, l’histoire de la philosophie, comme celle de l’art, n’aime pas la ligne droite, elle connaît des zigzags, des revirements, parfois des errances, et les grandes idées d’autrefois n’ont pas forcément perdu leur pertinence. Pourtant, Luc Ferry le raconte ici, elle semble quand même avancer dans un certain sens – oserait-on même parler d’un certain progrès? Plus on explore, plus on défriche et plus on s’approche de l’intime, de l’essence de l’homme. Et c’est la grande originalité de ce livre que de nous faire apparaître la philosophie comme une quête essentielle, à la fois millénaire et furieusement actuelle. Où en est-on à l’heure de la globalisation, des espaces virtuels et des intégrismes recyclés d’un autre âge? Comment répondre à notre désarroi face à un monde qui, une fois encore, nous glisse entre les doigts? Par l’amour, suggère le philosophe, ce concept à la fois si banal et si complexe, susceptible de nous offrir une meilleure compréhension de notre temps, et peut-être de nous-mêmes. (shrink)

Que savons-nous de Lacan? Que savons-nous de Marx? Que savons-nous de Kant? Que savons-nous de la démocratie et du totalitarisme? De la bureaucratie et de la servitude? De la nécessité et de la contingence? De la représentation et des images? Du communisme et de la psychanalyse? De la déconstruction et de la philosophie analytique? Du Witz et du sérieux? Que savons-nous qui n’en soit pas un cliché mille fois rebattu – ou une conviction trop confortable? A travers une éblouissante lecture (...) de Hegel, qui en bouleverse de part en part la compréhension, Slavoj Zizek dynamite tous les clichés et met à mal toutes les convictions pour proposer de nouvelles manières de répondre à ces questions. Nous avions fait de Hegel le penseur de l’abstraction et de la réaction, Zizek en fait celui du concret et de la révolution - la sienne, et celle à venir. (shrink)

Dans la version française du Capital, Marx a choisi de traduire Mehrwert, non pas par survaleur, mais par « plus-value ». Heureux choix, car la différence entre les deux concepts ne relève pas seulement de la quantité, d’un « plus », mehr. Elle répond au clivage structurel – de l’abstrait au concret (de pensée) – entre deux registres distincts au sein du réel : au sein du rapport capitaliste. La valeur est un pouvoir sur des choses, à vendre (...) ou à consommer. La plus-value est un pouvoir sur des personnes, à exploiter pour produire plus de plus-value. La rationalité du rapport de valeur hante la plus-value. L’irrationnalité de la plus-value est introuvable dans la valeur. Ce point décisif échappe au marxisme commun, faute d’avoir élucidé les éléments constitutifs de la théorie de la valeur : le couple anthropologique travail concret/abstrait, la séquence épistémologique du rapport de travail au rapport de travail marchand. Il en suit une série de confusions portant sur l’ensemble de la théorie (plus-value absolue et plus-value relative, travail productif et production, soumission formelle / soumission réelle, etc.), qui obscurcissent les perspectives économiques, sociales et politiques que la théorie initiée par Marx ouvre à la pensée critique. (shrink)

Dans cet article, nous revisitons le premier site de la "Promenade Vernet" du "Salon de 1767" à l'aune de la théorie du modèle idéal exposée dans la "Lettre-préface" du même ouvrage. Si cette conception de l'idéalité constitue une charge contre la théorie de la "belle nature" de l'abbé Batteux, Diderot vise à travers elle toute une tradition esthétique qui confère à l'art la mission de faire voir la nature comme un ouvrage divin. Diderot, dans cette promenade, mobiliserait donc les paysages (...) de Vernet pour subvertir toutes les catégories de l'esthétique de ses prédécesseurs, et, par là même, pour donner son congé à toute forme de transcendance dans la nature. (shrink)

Les hommes ont émergé de l'animalité en dominant les choses et les animaux. Sur ce modèle, ils ont cru être encore plus puissants en dominant d'autres hommes. Ils ont imaginé que l'homme supérieur était celui qui dominait le plus. Nous vivons toujours dans cette illusion. Cette illusion n'est pas universelle mais il flotte dans l'esprit de tous une grande indécision à ce sujet. Pourtant, l'appétit de pouvoir fait de si grands dégâts, engendre de si grandes souffrances, qu'on ne (...) peut en rester à des intuitions contradictoires. Il est urgent de découvrir ce qui fait qu'un homme est un homme véritable et non une idole trompeuse. Pour cela, on n'a pas d'autre moyen que de remonter à la base ontologique, c'est-à-dire à ce qui fait la réalité de toute chose. Puisque l'homme est une partie du monde, ce qu'il a en propre ne peut s'éclairer que sur cette base commune. On croit désormais que la science suffit à répondre à cette préoccupation, nous avons à la dépasser en l'intégrant."--Page 4 of cover. (shrink)

DOI: 10.1080/00031305.2018.1564697 When the editors of Basic and Applied Social Psychology effectively banned the use of null hypothesis significance testing (NHST) from articles published in their journal, it set off a fire-storm of discussions both supporting the decision and defending the utility of NHST in scientific research. At the heart of NHST is the p-value which is the probability of obtaining an effect equal to or more extreme than the one observed in the sample data, given the null hypothesis and (...) other model assumptions. Although this is conceptually different from the probability of the null hypothesis being true, given the sample, p-values nonetheless can provide evidential information, toward making an inference about a parameter. Applying a 10,000-case simulation described in this article, the authors found that p-values’ inferential signals to either reject or not reject a null hypothesis about the mean (α = 0.05) were consistent for almost 70% of the cases with the parameter’s true location for the sampled-from population. Success increases if a hybrid decision criterion, minimum effect size plus p-value (MESP), is used. Here, rejecting the null also requires the difference of the observed statistic from the exact null to be meaningfully large or practically significant, in the researcher’s judgment and experience. The simulation compares performances of several methods: from p-value and/or effect size-based, to confidence-interval based, under various conditions of true location of the mean, test power, and comparative sizes of the meaningful distance and population variability. For any inference procedure that outputs a binary indicator, like flagging whether a p-value is significant, the output of one single experiment is not sufficient evidence for a definitive conclusion. Yet, if a tool like MESP generates a relatively reliable signal and is used knowledgeably as part of a research process, it can provide useful information. (shrink)

On parle depuis longtemps d'une "dialectique de la raison", c'est-à-dire d'un renversement de la raison en son contraire : identifiée à l'origine à un projet d'émancipation, elle se serait subrepticement transformée en "raison du plus fort". C'est à une telle question que le présent livre s'attache de façon critique : analysant la philosophie politique de Leo Strauss, la dialectique de la raison et la force chez Machiavel, Hobbes et Locke, l'approche de la modernité par Foucault et par l'Ecole de (...) Francfort, l'ouvrage se termine sur une mise en question générale de la métaphysique post-kantienne. (shrink)

La publication au printemps 2005 d'un livre au titre provocateur, Heidegger/l'introduction du nazisme dans la philosophie, n'aurait guère suscité, chez tous ceux qui connaissent quelque peu la pensée du philosophe, d'autre réaction que le silence si l'ouvrage en question, grâce à une campagne soigneusement orchestrée, n'avait été salué par les médias dominants comme un travail sérieux et objectif. C'est la raison pour laquelle il s'imposait de montrer publiquement à quel point la tentative de porter si gravement atteinte à une pensée (...) considérable n'a été possible qu'en contrevenant aux principes auxquels doit se plier tout travail philosophique digne de ce nom. Heidegger, à plus forte raison se comprend donc d'abord comme une réplique. Ses auteurs prouvent, pièces en main et en observant scrupuleusement les règles strictes de la critique, que la thèse scandaleuse se réduit en réalité à un tissu d'approximations, d'erreurs, de contresens dont le ressort ultime est ce type d'incompréhension que provoque une malveillance compulsive. Compte tenu du soutien médiatique apporté à une accusation aussi extrême, il était indispensable que cette mise au point fût faite. Mais il reste l'essentiel, qui est d'exposer positivement l'importance du travail de pensée que Heidegger nous a laissé à poursuivre. Car cette pensée, n'en déplaise à ses contempteurs, est probablement, encore à ce jour, l'une des seules capables de nous permettre de faire face à un nihilisme dont le déferlement est loin d'avoir pris fin avec l'effondrement du nazisme en 1945. (shrink)

Chacun naît dans la ou dans les langues qu'on parle autour de lui. Mais qu'est-ce qu'une langue "maternelle"? Et qu'arrive-t-il quand on en apprend une autre? Si chaque langue dessine un monde, qu'est-ce qui se dessine quand on en parle plusieurs? Passer d'une langue à l'autre, en apprenant, en traduisant, c'est s'aventurer dans une autre manière de faire passer le sens. Toutes ces manières, lorsqu'on les frotte les unes aux autres, s'enrichissent : on comprend mieux ce que l'on essaye de (...) dire quand on sait que cela se dit autrement, dans une autre langue, avec d'autres mots, qui ne disent peut-être pas tout à fait la même chose. (shrink)

Editor's note: Adrian Piper is a conceptual artist whose work from the past twenty-five years has included performances, graphic art, and installation pieces. Always provocative, Piper seeks to challenge viewers' assumptions about the nature of art, aesthetic response, and modes of evaluating by creating art that involves issues of gender and race. Piper uses political art to confront viewers with emotionally charged environments that preclude our maintaining a safe, aesthetically distanced stance toward the subject matter. being forced to confront our (...) own prejudices, both emotionally and aesthetic ally, we undergo a process of change that is both cognitive (evidenced by how our interpretations of the work change and evolve) and affective (resulting in a higher level of social awareness and sensitivity). Thus, according to Piper, political art has "the potential for furnishing a forceful antidote to racism." The following two statements consist of text written by Piper and recorded on audiotapes for two installation pieces, "Four Intruders Plus Alarm Systems" (1980) and "Safe" (1990). (shrink)

En plusieurs endroits de son œuvre, à la fois dans ses écrits théoriques et ses œuvres de fiction, Tarde revient sur le thème du futur. Dans Monadologie et sociologie, il émet l’hypothèse qu’en raison de la façon dont la science moderne « pulvérise » l’univers, le futur est susceptible de représenter une forme plus élevée de diversité. Tarde soutient que cette destruction et cette création, en se répandant dans la société, impliqueront la fin de la sociabilité normale et la (...) venue d’une nouvelle ère dans laquelle la misanthropie, réévaluée, acquiert un sens nouveau. Tout se passe comme si, pour Tarde, l’insociabilité deviendra un principe positif et nécessaire dans l’ère future des plus grandes diversités. Dans cet article, je développe les conséquences de la futurologie tardienne sur une socialité fondée sur la différence en les rapportant au développement de la science. (shrink)

J’ai découvert l’oeuvre de Jacques Derrida quand j’étais étudiant dans un département de philosophie analytique. L’un de mes professeurs – un spécialiste du positivisme – parlait d’un philosophe français comme du « plus grand logicien du vingtième siècle ». Ce philosophe français, c’était Derrida. -/- J’aimerais prendre au sérieux cette assertion, en la mettant à l’épreuve d’une rencontre entre la conception philosophique occidentale de la liberté et la logique derridienne. Rencontre que je propose de mettre en scène sous la (...) forme de deux instantanés. (shrink)

Quel message la nature nous livre-t-elle? La force s'impose-t-elle automatiquement? La théorie de l'évolution, trahie par le darwinisme social, répond-elle suffisamment aux problèmes éthiques de notre temps? Finalement, la raison du plus fort est-elle toujours la meilleure? Le préjugé est tenace : les plus forts feraient la loi. La nature le dément pourtant : les plus faibles, à l'exemple de l'enfant à naître, sont l'objet d'une protection remarquable dès leur conception et bénéficient génétiquement de pouvoirs de survie (...) considérables. Dans cet ouvrage, François Guery rétablit une vérité : la loi du plus faible. Il entreprend de réécrire l'histoire de la vie évoluée, en nuançant les apports du darwinisme à l'éthique. Il expose en profondeur l'erreur de ces idéologies qui tournent le dos à la notion de transmission intergénérationnelle. Un grand livre d'éthique qui renouvelle les débats de notre époque sur l'identité, la transmission et le droit du vivant à vivre et à s'imposer par une force qui lui est propre."--Page 4 of cover. (shrink)

Der Beitrag geht der Frage nach, ob zwei plus zwei immer vier ergibt oder ob auch ein anderes Ergebnis möglich ist. Anlass ist die theologische Debatte über das Problem, ob ein allmächtiger Gott logisch unmögliche Dinge tun kann.

The constitutional monarchy of present-day Britain hardly seems the same sort of institution as fourteenth-century feudal kingdoms, but Dante’s Monarchia (c. 1313) and Walter Bagehot’s The English Constitution (1872) share fundamental assumptions about what the purpose and strengths of monarchy are. In the Monarchia, Dante lays out the essential attributes of monarchy that endure even today: authority, impartiality, and unity. Dante values and promotes monarchy as final arbiter of conflicts, sole just judge without cupidity, and unifying will. More than 550 (...) years later, Bagehot, despite his distrust concerning the Crown’s actual effectiveness, conceives of monarchy in surprisingly similar terms. The monarch is ‘the regulating wheel of our Constitution’, an authority outside and above partisan politics, and the ‘dignified’, ‘intelligible’, unifying element of government. In both cases, the monarch functions as the government’s source of impartial, unifying authority – whether monarch or Parliament ultimately wields that authority. The broad outlines of monarchy are surprisingly similar for both writers, suggesting a basic continuity in the conceptualization of monarchy from the fourteenth to the nineteenth century (and beyond) and an abiding store of reserve symbolism within the monarchic concept that writers, thinkers, and politicians throughout those centuries are able to tap at will. (shrink)

This is a two page handout specifying approaches, or methods, used in interpreting Judith Butler. The methods of various analytic philosophers are identified.