Résumé — En assignant la notion de création ex nihilo à la « représentation » , Hegel affirme son caractère non pleinement rationnel : en user, c’est selon lui voir des substances là où il faut discerner des moments. Figeant et isolant les termes en jeu, la représentation déboucherait sur le dialectique , sans permettre de passer au spéculatif . Ainsi, posant créateur et créature comme des substances distinctes, elle donnerait lieu à une « dialectique du fini et de l’infini (...) », où chaque terme « passerait en son opposé ». Mais Hegel omet de distinguer le couple fini/infini du couple esprit fini / esprit infini, ce qui le conduit à traiter ce dernier comme un couple de contraires ; et c’est ce qui ne semble pas tenable. Autant la stricte séparation des termes du premier couple débouche bien sur une dialectique ruineuse , autant la nette distinction des termes du second couple est la condition d’authentiques relations spirituelles, de personne à personne. En fait, la notion de création est, telle quelle, pleinement adéquate à la désignation d’un originer dont le fruit est un être à part entière,libre – et non un simple moment.— In assigning the notion of creation ex nihilo to « representation » , Hegel asserts its character not fully rational. According to him, in using this notion, one sees substances where one should discern moments. By fixing and isolating the terms at stake, representation leads to a dialectic type of reasoning , without allowing speculative reasoning . Hence, establishing creator and creature as distinct entities, it produces a « dialectic of the finite and the infinite » in which each term « would be interchangeable ». Yet, Hegel fails to distinguish the pair of concepts finite/infinite from the pair finite spirit / infinite spirit, which leads him to consider the two terms of the latter as opposite ; and that is precisely what is questionable. Although the strict separation of the terms of the first pair of notions leads to a self-annihilating dialectic , making a clear-cut distinction between the terms of the second couple is the necessary condition to deal with authentic relations from person to person. Actually, the notion of creation as such perfectly matches the designation of a gesture giving birth to a free and independent being instead of a simple moment. (shrink)

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

This study reconstructs the relationship between philosophy and politics in the way in which Heidegger's failure as a politician influenced the redevelopment of philosophy in the 1930s. The author also explains how Heidegger's failure influenced the content and direction of his later work.

Studies the politics of Heidegger in terms of "thrownness" or "existential contingency". Attempts to think through Heidegger's philosophy in a manner that parallels his own dialogue with other key western thinkers.

El presente artículo tiene como objetivo analizar la ansiedad en adultos de Quito, Ecuador; la muestra estuvo conformada por 135 hombres y mujeres de 18 a 73 años quienes no han presentado un diagnóstico previo de ansiedad. Se aplicó el Inventario de Ansiedad de Beck (BAI) y se identificó que el 14% de los participantes presentan ansiedad grave, 17% moderada, 36% mínima y el 33% leve, siendo los jóvenes quienes presentan mayor nivel de ansiedad de tipo grave en comparación con (...) los adultos. En relación con la sintomatología física y emocional se considera la preocupación, miedo y dificultades del sueño. (shrink)

The aim of this article is to offer a view of the current status of women in medical physics and biomedical engineering, while focusing on solutions towards gender balance and providing examples of current activities carried out at national and international levels. The International Union of Physical and Engineering Scientists in Medicine is committed to advancing women in science and health and has several initiatives overseen by the Women in Medical Physics and Biomedical Engineering Task Group. Some of the main (...) strategies proposed by the Task Group to attain gender balance are: (a) identify and promote female role models that achieve successful work-life balance, (b) establish programs to develop female leaders, (c) create opportunities for females to increase the international visibility within the scientific community, and (d) establish archives and databases of women in STEM. (shrink)

Despite their differences in origin, the three influential schools of twentieth-century continental cultural criticism--the Frankfurt School, existentialism, and poststructuralism--have long been treated as an ensemble and with critical hesitancy. Examining these schools as responses to the apparent collapse of Western civilization in the twentieth-century and as formidable intellectual challenges to the cultural legacies of the Enlightenment, this book provides a productive base for criticism and broadens our understanding of their histories and reception.

Carta escrita por Gilda de Mello e Souza, remetida ao colega Oswaldo Porchat, que se encontrava em Berkeley, quando a ditadura civil-militar brasileira, recrudescida desde a implantação, em agosto de 1968, do AI-5, representava uma verdadeira ameaça a estudantes e docentes da Universidade de São Paulo, especialmente se lhe fizessem qualquer tipo de oposição. Porchat trocou uma sequência de cartas com Gilda nessa época, nas quais relata sua desilusão com a Faculdade de Filosofia, e com os acontecimentos políticos no Brasil. (...) Ao mesmo tempo, confessa estar encantado com a descoberta de novos elementos da Lógica, e com a atmosfera mais amena dos Estados Unidos. Porchat sabe que Gilda enfrenta momentos difíceis, tendo de assumir a Presidência do curso em meio à tentativa do reitor Miguel Reale de submetê-lo a um interventor. Enfrentando a dúvida sobre se valeria a pena retornar ao Brasil naquele momento, Porchat escreve à amiga. A carta a seguir expressa, dentro do que era possível na época, quando as correspondências eram vigiadas, o parecer de Gilda sobre as indagações do amigo, sobre os rumos da ditadura, e sobre o que ela pensava de sua própria atitude de resistência naquele contexto. A carta original, assim como a sequência de correspondências da qual faz parte, está depositada no Fundo Gilda de Mello e Souza, no Instituto de Estudos Brasileiros (IEB/USP). Agradeço à família de Gilda, especialmente a Ana Luisa Escorel e a Laura Escorel, pela disponibilização desse documento para a presente publicação. (shrink)

Les multiples histoires des idées qui retracent la constitution, relativement récente, de la discipline appelée «esthétique», mentionnent souvent le nom d�Alexander Gottlieb Baumgarten (1714-1762) en lui attribuant l�«invention» du néologisme «æsthetica». Très rapidement, ce terme latin, traduit en allemand, entre dans l�usage courant. De nos jours, il désigne un ensemble de discours souvent très hétérogènes sur les beaux-arts. Mais le sens originaire d�æsthetica, c�est-à-dire le contenu de l�ouvrage éponyme de 1750, demeure largement méconnu. Le présent article souhaite contribuer à souligner (...) l�importance du geste inaugural de Baumgarten, dont l�intérêt n�est pas seulement historiographique. Car ce philosophe instaure de manière durable un nouveau rapport à l��uvre d�art. Nous insisterons tout particulièrement sur l�inscription métaphysique de son projet. (shrink)

Si Vernant est célèbre pour avoir appliqué aux mythes grecs la méthode structurale élaborée par Lévi-Strauss, on essaiera ici de montrer que l’absence de la notion de transformation dans ses travaux révèle la distance qui sépare sa psychologie historique de l’anthropologie structurale. Au lieu d’analyser les relations qui unissent les variantes d’un mythe, Vernant cherche à appréhender la cohérence interne d’une œuvre, afin de reconstituer la mentalité qu’elle exprime. Cette démarche s’oppose profondément à celle de Lévi-Strauss, qui soutient pour sa (...) part que le fonctionnement de la pensée sauvage n’apparaît qu’à travers les opérations qui permettent de traduire les uns dans les autres des mythes issus de cultures différentes. (shrink)

Having visited Ireland regularly during the 1930s, Ludwig Wittgenstein resigned his Cambridge philosophy professorship in 1947 and moved there, living in a fishing village on the Atlantic coast and hotels in Dublin and the Wicklow Mountains. Although Wittgenstein spent some time out of the country, Ireland was effectively his base for three very productive years during which he worked on what would become one of his key books, the posthumously published Philosophical Investigations. Wittgenstein in Ireland represents the first sustained account (...) of Wittgenstein's time in Ireland, placing it in its historical context. Wall pays a good deal of attention to the representation of the Irish landscape in which the Austrian philosopher found himself able to work; a large part of his writings were produced in the bleak landscapes of Ireland and Norway. (shrink)

Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions of (...) the connectives in question. (shrink)

In today's global marketplace, the Philippines provide a unique example of an Asian culture with established economic ties to the West. In this study, Philippine and United States undergraduate business students responded to 13 vignettes describing questionable ethical actions in business situations. Results reveal significant differences between groups for 9 of the 13 vignettes. For 4 vignettes, Philippine participants were more disapproving of the actions, and for another 5, United States participants were more disapproving. The study suggests that cultural differences (...) continue and the implications of these differences should be considered in today's global economy. (shrink)

An advanced introduction to the new philosophical anthropology and an understanding of the most contemporary developments in it.

Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

This classic, provocative introduction to classical metaphysical questions focuses on appreciating the problems, rather than attempting to proffer answers.

We show that there is a purely proof-theoretic proof of the Rasiowa–Harrop disjunction property for the full intuitionistic propositional calculus ), via natural deduction, in which commuting conversions are not needed. Such proof is based on a sound and faithful embedding of \ into an atomic polymorphic system. This result strengthens a homologous result for the disjunction property of \ and answers a question then posed by Pierluigi Minari.

Drawing on case studies from around the world - including Iran, Guatemala, USA and Mexico - this collection documents how transnational human rights discourses and legal institutions are materialised, imposed, resisted and transformed in a variety of contexts.

We show that the number-theoretic functions definable in the atomic polymorphic system are exactly the extended polynomials. Two proofs of the above result are presented: one, reducing the functions’ definability problem in ${\mathbf{F}}_{\mathbf{at}}$ to definability in the simply typed lambda calculus and the other, directly adapting Helmut Schwichtenberg’s strategy for definability in $\lambda ^{\rightarrow }$ to the atomic polymorphic setting. The uniformity granted in the polymorphic system, when compared with the simply typed lambda calculus, is emphasized.

Written by a former student of Heidegger, this book examines the relationship between the philosophy and the politics of a celebrated teacher and the allure that Nazism held out for scholars committed to revolutionary nihilism.