We describe a general method for verifying inequalities between real-valued expressions, especially the kinds of straightforward inferences that arise in interactive theorem proving. In contrast to approaches that aim to be complete with respect to a particular language or class of formulas, our method establishes claims that require heterogeneous forms of reasoning, relying on a Nelson-Oppen-style architecture in which special-purpose modules collaborate and share information. The framework is thus modular and extensible. A prototype implementation shows that the method is promising, (...) complementing techniques that are used by contemporary interactive provers. (shrink)

Résumé La question du principe occupe une place essentielle dans la philosophie de Plotin, notamment parce qu’il lui faut penser de quelle manière l’Un peut être à l’origine de toutes les autres réalités et jouer ainsi un rôle principiel. Mais l’analyse de cette question pose un problème particulier : si l’Un est en position de principe, il perd son statut transcendant. Plotin accuse Aristote et les stoïciens d’avoir ainsi affaibli la supériorité de l’Un pour en faire un principe, mais l’affirmation (...) de la transcendance rend elle-même difficile l’établissement d’une relation entre le Principe et ce qui en provient. Comment surmonter ce qui apparaît bien comme une antinomie? Nous montrons ici par quelles voies paradoxales Plotin y parvient mais surtout que l’usage du paradoxe offre la seule solution compatible avec l’orientation générale du système plotinien. (shrink)

Au tournant des années 1820-1830, Schelling découvre au sein de la philosophie deux grandes tendances à l'oeuvre : une tendance "négative" à rendre intelligible le réel en fonction de la nécessité des lois de la pensée, une tendance "positive" à y voir au contraire le fait d'un acte libre. Scrutant cette différence, il finit par montrer qu'elle implique de scinder la philosophie même en une philosophie qui fait intervenir uniquement la raison et une philosophie où la raison se laisse instruire (...) par l'expérience. Le présent livre propose une interprétation nouvelle de ce moment crucial mais méconnu de la pensée moderne où Schelling accomplit, tout en le dépassant, l'idéalisme allemand. On y montre qu'il suspend l'avenir de la raison à un dédoublement de la philosophie qui implique de confier la réalisation des deux philosophies à un rationalisme et à un empirisme totalement inédits. Dans le rationalisme, la raison opère seule jusqu'à produire l'idée d'un principe absolu libre de poser le monde ; dans l'empirisme, elle prouve l'existence du principe par ses oeuvres effectives que sont successivement les faits de la nature et ceux de la conscience comme conscience religieuse. Ainsi, loin de produire le désespoir de la raison, Schelling montre au contraire que la raison se donne à elle-même un avenir en se différenciant. (shrink)

Pourquoi penser le néant? L’histoire de la philosophie offre bien des ressources pour tâcher de répondre. Celles qui nous retiendront mériteraient tout un livre. Nous nous contenterons d’explorer quelques textes pour tenter d’y surprendre une part des démêlés que Schelling et Hegel eurent avec le néant. Ainsi, l’on sera amené à déceler chez Hegel, dans sa Logique de l’être, une approche du néant débattant avec celle que Schelling proposa dans s...

Résumé Cet article se propose de préciser la portée exacte de la critique sellarsienne du mythe du donné quant aux rapports entre science et perception, et ce à la lumière d’une confrontation avec la phénoménologie et, plus précisément, avec la manière dont Merleau-Ponty traite de leurs relations. Si Sellars nie bien dans Empirisme et philosophie de l’esprit que la perception puisse jouer aucun rôle fondationnel pour la science, s’il semble dans certains textes penser que la science doit se constituer indépendamment (...) de toute référence à l’expérience perceptuelle, apparaît pourtant dans sa philosophie l’idée d’une référence du langage – et donc du langage scientifique – au perçu, constitué pour lui de sensations. Or cette idée, si elle ne prend dans sa philosophie qu’une place relativement marginale, nous semble pourtant fondamentale pour y assurer le lien de la science au réel, et rendre possible par là même la résolution d’un problème qui constitua l’un des fils rouges de la pensée sellarsienne : l’intégration de la nature qualitative de l’expérience dans la science moderne. (shrink)

analiticamente para a produção de conhecimento sobre linguagens e literacias em educação matemática. Isto é motivado por duas preocupações que estão relacionadas: aquela em que a busca da certeza, estabilidade e permanência dos significados dos conceitos analíticos trazem para algumas existências do ser, e não outras; e aquela em que aos conceitos são atribuídos significados em lugares geopolíticos e relacionais, nos quais passados, presentes e futuros estão entrelaçados. Eu escrevo do e para meu contexto geopolítico e relacional do Sul, um (...) contexto permeado por questões de quais conhecimentos e práticas, e para quem, usam quais linguagens e literacias. Logo, proponho uma imaginação dos mundos como um arquipélago de contextos geopolíticos. Este é um mundo complexo no qual aberturas e fechamentos, movimentações e permanências, continuidades e descontinuidades, enredamentos e separações e, incompletudes das linguagens e literacias e seus significados são a norma, e não um problema. Argumento, então, para uma mudança no pensamento; do aluno como um migrante linguístico, para fluxos e fraturas de significados no espaço e tempo. Pois nessas (i)mobilidades, desigualdades emergem e, também, uma potência para redesenhar linhas. Assim, ofereço esse pensamento situado para promover conversações a respeito dos conceitos-em-uso em outros contextos sem universalizá-los, para reforçar uma produção de conhecimento em educação matemática. (shrink)

Mes réflexions sur Meyerson et les mathématiques ont pour origine trois questions : 1) Une idée reçue est que, des trois synthèses de Meyerson -- Identité et réalité, De l'explication dans les sciences et Du cheminement de la pensée -- , seule la dernière analyse les mathématiques, en elles-mêmes aussi bien que dans leurs rapports avec la pensée. La première question est donc de déterminer si cette idée reçue est correcte ou bien si l'on peut trouver dans les deux autres (...) ouvrages des indications significatives sur le statut des mathématiques et sur leur fonction dans une théorie de la connaissance. 2) La deuxième question consiste à examiner une autre idée reçue, cautionnée cette fois par Meyerson. À plusieurs reprises, ce dernier a déclaré qu'il avait répété la même chose dans tous ses ouvrages : les outils conceptuels seraient restés identiques, mais appliqués à des objets ou dans des domaines divers, de la physique quantique à la pensée primitive. Il s'agit dans ce cas de savoir si cette déclaration est fondée, ou bien plutôt si l'on doit, par-delà l'identité des termes, souligner l'existence de différences de signification ou d'application telles que l'identité des outils conceptuels en devient problématique. 3) Meyerson s'est trouvé confronté à un ensemble d'épistémologues que, reprenant une expression de Léon Brunschvicg, il qualifie d'idéalistes mathématiques, d'un côté l'école de Marbourg avec Ernst Cassirer, Paul Natorp et Hermann Cohen, de l'autre, Gaston Milhaud, mais surtout Brunschvicg lui-même . S'il s'avère qu'il y a des thèses sur les mathématiques ailleurs que dans Du cheminement de la pensée, et qu'il y a certains infléchissements d'un lieu à l'autre de son œuvre, on peut se demander dans quelle mesure les critiques adressées à l'idéalisme mathématique ont évolué. Dans cet article, j'analyse les trois synthèses de Meyerson avec ces trois questions en arrière-plan : je ne les examine pas explicitement l'une après l'autre, ni a fortiori dans un ordre prédéterminé, mais plutôt de biais et au fur et à mesure qu'elles interviennent. (shrink)

Política y perdón / Jacques Derrida / - Hacia una cultura del perdón / Christian Schumacher / - La práctica del perdón en el judaísmo, el cristianismo y el Islam / - Alfredo Goldsmith / - La cultura del perdón como factor de construcción social / Oscar Lara Melo / - Venganza y transformación. Notas para una antropología de la venganza / Roberto Pinesa Camacho / - Venganza y cultura en Bogotá / Arturo Laguado / - El perdón jurídico a (...) la luz de la constitución colombiana y del derecho internacional / Marco Gerardo Monroy Cabra / - El perdón entre razón y no razón / Darío Botero / - La ética del perdón / Camila de Gamboa / - La obligación moral de recordar / Pablo de Greiff / - Perdón y proceso de reconciliación / Jorge Orlando Melo / - Castigo, perdón y reconciliación : el caso de Sudáfrica / David Crocker / - Una opinión pública sólida para la reconciliación y la reconstrucción nacional / Fabio López de la Roche / - Proceso de paz y construcción de región / Francisco de Roux / - Lo públ... (shrink)

Réponse à G. Roux ( BCH, 104 [1980], p. 127-149). Le spairistèrion dont l'existence est attestée dans certains gymnases grecs n'est pas un espace hypèthre destiné à la pratique jeux de balle. Ni l'étude architecturale des gymnases de Delphes et de Délos, ni celle des épigraphiques qui s'y rapportent, ni plus généralement nos connaissances sur les jeux ne permettent cette interprétation. L'auteur maintient son point de vue que le spairistèrion était une salle où les athlètes s'entraînaient à la boxe.

Le but de cet ouvrage est de démontrer, à travers une reconstruction rationnelle des étapes historiques fondatrices de l'embryologie expérimentale, l'importance des concepts de préformation et d'épigenèse aux origines de cette discipline. L'analyse porte sur trois périodes charnières de l'histoire de l'embryologie : (1) la réforme mécaniste et darwinienne de l'embryologie descriptive par Ernst Haeckel (1866); (2) l'avènement d'une physiologie réductionniste du développement menée par Wilhelm His (1874); (3) la création d'une "mécanique du développement" par Wilhelm Roux (1885) et (...) les interprétations néo-darwinienne (A. Weismann), néo-vitaliste (H. Driesch) et organiciste (O. Hertwig) de ses résultats les plus significatifs (1888-1908). J'y défends qu'une logique de la découverte structurait ces développements, où les modèles mécaniques d'explication devaient constamment être renouvelés lorsque leur examen empirique engendrait la découverte de phénomènes épigénétiques inédits. L'étude réalisée traite d'un enjeu fondamental de la philosophie des sciences : le rapport entre la rationalité scientifique et la découverte. Elle offre aussi un éclairage sur une question très actuelle de la philosophie de la biologie, soit les transformations de la notion d'épigenèse en rapport avec les théories épigénétiques contemporaines. La méthodologie adoptée s'inscrit dans la tradition de l'épistémologie historique, consacrée à l'étude du développement des structures du savoir scientifique. Cette tâche exige l'analyse historique de diverses sources documentaires; mais un éclairage théorique constitué tant de modèles provenant de la philosophie des sciences que de connaissances scientifiques demeure indispensable. Ici le modèle d'Imre Lakatos, centré sur la notion de programme de recherche, est entre autres privilégié."--provided by publisher. (shrink)

Desde el origen de la Universidad de París en la segunda década del siglo XIII, los enfrentamientos entre los _magistri artium_ y teológos, además de ser muchos, tuvieron fuertes consecuencias contra los primeros: condenas por parte de la Iglesia, excomulgaciones, prohibiciones, y numerosos exilios de aquellos que seguían divulgando las tesis condenadas entre sus estudiantes. El siguiente estudio está basado en la única edición disponible, del _De Laudibus Parisiis_ 1 de Juan de Jandún, uno de los tantos maestros parisinos que (...) se vieron obligados al exilio _._ A lo largo del trabajo se introducirá a este polémico personaje abordando brevemente su biografía, las controversias en las que tuvo participación y, principalmente, el elogio de la ciudad parisina que surgió como respuesta a una de esas disputas vividas. Se mostrará también de qué manera su formación como maestro de artes lo llevará a defender posturas heterodoxas. 1 Iohannes de Janduno : _Tractatus de laudibus Parisius, _ on Le Roux de Lincy, L. M. Tisserand, _Paris et ses historiens aux XIV et XV siécles, _ Paris, 32-79. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Stepping Off the Edge of the Earth:A bariatric patient’s journey out of obesityNikki MassieI have been overweight my entire life. When I was born—three weeks early—I weighed 9 lbs., 3 oz. I proceeded to trend on the high end of the weight percentile for my age. By the time I was 14 years old I’d surpassed 200 lbs. By the time I graduated high school I’d hit 250 lbs.Even (...) today, after losing a considerable amount of weight from having Roux–en–Y gastric bypass surgery, I am still considered overweight according to the body mass index.All this is to say that the way I think about my health, my body and my life is very much from the perspective of someone who has never experienced the so–called condition of being “normal.”Enough is EnoughI’ve been asked many times how I decided to have bariatric surgery. The answer isn’t simple. Because I’d been overweight all my life, the notion of being anything but overweight seemed a bit absurd to me. Not absurd as in, “I would not be happy if I were smaller” but more like, “I don’t know if this could ever happen for me and, if it did, who would I be?”Truth be told, I wasn’t entirely unhappy as an overweight woman. By the account of my primary care physician I also was not necessarily unhealthy for an overweight person. I didn’t have high blood pressure or diabetes (I wasn’t even pre–diabetic). My heart seemed to work fine. I was just very, very large.However, I’d been large (or larger than others) my entire life. In many ways my very identity was inextractable from that fact. While I can’t speak for my entire culture, my experience as an African–American woman is one where women of size were not reviled, but celebrated. Being too thin was always presented to me as a negative cultural value, I believe because it was associated with drug use.That means that growing up I didn’t have some of the experiences other obese people had. There were a few people who teased me but they were the exception, not the norm. I don’t recall being lonely because of my size. I dated avidly throughout my adolescence. I was asked to, and went to, both my proms.I proceeded into young adulthood with a few bumps along the way. I suffered a bout of depression in my sophomore year of college and just after my 21st birthday I found the first signs of what would be massive hair loss from alopecia areata (although did not know that’s what it was at the [End Page 107] time). Otherwise, I was fairly healthy and no more or less happy than any other 21 year–old I knew.At age 22, I had my first child, a daughter. This was the beginning of an upward weight climb that took me from being very overweight into very obese. At age 21, I weighed about 240 lbs. (I am 5 ft. 8 inches tall). By the time I was 26 (and after I had a second daughter), I weighed in at 340 lbs.At this point I began to want to lose weight. I no longer liked the way I looked in pictures. My increased clothing size and cost depressed me even further. My attempts at dieting, however, failed miserably. I did seek help from my primary care physicians (I went through several throughout my young adulthood). Each time I’d be given a copy of the food pyramid and a pamphlet explaining the health benefits of losing weight.But how? How exactly does one lose weight? In my mind it was some strange combination of sadistic exercise and starvation. That’s what I saw in magazines. Women who ate the equivalent of one meal per day who exercised many hours a day. I had no desire to do either and so I continued on my trend upward.During that time my mother (now deceased) worried about my weight a lot. I’d... (shrink)

Postmodernism is considered as the historical stage of the transition of contemporary society from mature industrial capitalism to the qualitatively new technological and social production order. The real transformations of contemporary society’s factors have been brought into the correlation with the production changes that determine transition from Modern Age machine technologies to nanotechnologies. Existence of Postmodern society is presented as the borderland of historical ages, that is, as the period of the fading away of the Modern Age social forms and (...) of the becoming of social activity’s new forms that are specific for the new age of the development of society and of the worldwide socionatural entity. The author analyzes theoretical and worldview potential of Postmodern philosophy and its inability to represent further postindustrial society evolution tendencies. Possible scenarios of Рostmodern society evolution are considered in the context of contemporary concepts on the changes in the human role in nature and society as well as in the context of the trends of socionatural Universe development. The paper reveals technical, technological and social presuppositions of the transition from the nature-historical stage of society development to the true historical stage of human development. (shrink)

影響全球的COVID-19已經進入第三年，在疫情時代或後疫情時代的種種爭論中，相關的倫理考量依然是學界關注的議題。本期的論文涉及具體的醫學倫理學問題，包括香港抗疫倫理焦點、ECMO的使用、疫情防控中的 道德兩難、現代科技大數據所引發的對個人隱私的焦慮、疫情處境中的善終和臨終關懷、審視傳統中醫學有關疫情控制的歷史研究、傳統墨家思想對現當下防疫管理的啟示作用。本期的論文的研究方法各有不同，包括哲學的、倫 理學的、實證的、歷史的、及比較的，其宗旨是引發人們對這些問題的反思和探討。.

This is the first book-length study of the conception of emotions in premodern, or more specifically, pre-Han Chinese philosophical traditions, ranging from the early-5th to the late-3rd centuries BCE. This era is known as the "Warring States period" in China and marked by the flourishing of a number of different schools of philosophers who advocated their visions of how society should be run. The author looks at wide-ranging views about the nature of emotions and their proper role in moral life (...) espoused by representative thinkers of the time. The approach taken by the author is based on a premise that what constitutes emotions as phenomena in the world is of primary importance to questions concerning the... (shrink)

Ben-Israel and Vaidman have raised objections to my arguments that there are cases where a quantum mechanical weak value can be said not to represent the system to which it pertains. They are correct in pointing out that some of my conclusions were too general. However, for weak values of projection operators my conclusions still stand.

Originally published 1961. Translation of "Meditaciones del Quijote :Meditacion preliminar. Meditacion primera." (1914). Contents: Reader...; Preliminary Meditation; First Meditation (Brief Treatise on the Novel).

Offers practical advice on how to make your way in a chaotic world, and how to make it well. The 300 aphorisms contained here remain remarkably relevant today, addressing us today as practical guides for civility in an often uncivil world, and may serve as invitations to participate in making an uncivil world as civil as possible.