À l'occasion du cinquantième anniversaire de l'accession des Françaises aux droits politiques, l'Association Les femmes et la ville (présidente Yvonne Knibiehler, Université de Provence) et le Groupe interdisciplinaire d'études sur les femmes (présidente Eliane Gubin, Université libre de Bruxelles) ont pris l'initiative d'organiser conjointement des recherches consacrées aux rapports des femmes et de la politique. À Lyon Michèle Bacot et Marie-Claude Plantin (IEP), Mireille Meyer et Fr...

À l'occasion du cinquantième anniversaire de l'accession des Françaises aux droits politiques, l'Association Les femmes et la ville (présidente Yvonne Knibiehler, Université de Provence) et le Groupe interdisciplinaire d'études sur les femmes (présidente Eliane Gubin, Université libre de Bruxelles) ont pris l'initiative d'organiser conjointement des recherches consacrées aux rapports des femmes et de la politique. À Lyon Michèle Bacot et Marie-Claude Plantin (IEP), Mireille Meyer et Fr...

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)

Violence is often understood as a phenomenon characterized by direct physical harm customarily motivated by willful malice. In his 2017 World Day of Peace Message, Pope Francis challenges this narrow definition, noting that violence is not confined to physical harm but also includes environmental devastation, which, as he points out, disproportionately harms the most vulnerable members of the planet. Following this claim, this article probes the interrelationship between care for creation, nonviolence, and racial justice, highlighting the significance of this intersectionality (...) within Catholic social teaching. It reflects on Francis’s reading of Gospel nonviolence and his notion of integral ecology, and concludes with a case study that demonstrates the practical application of Francis’s social teachings on creating a more just, nonviolent, and sustainable world. (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.

Of recent time, there has been a concern about ethical leadership and ethics in business. Research on leadership did not pay a lot of attention to fairness and many authors have studied the relationship between leader fairness and factors such as outcome satisfaction and trust in leader for instance. For the moment, there is no study that focused on the direct relationship between transformational leadership and fairness. That’s why; in this paper our aim is to study the relationship between transformational (...) leadership and the employees’ perceptions of fairness, mainly the three types of fairness which are distributive, procedural, and interactional in French firms. A questionnaire survey was sent to employees working in the industry and service sectors. A sample of 100 respondents was collected. We found a partial relationship between employees’ perceptions of fairness and transformational leadership. More specifically, we found that procedural and interactional fairness are strongly associated with transformational leadership. (shrink)

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.

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)

RESUMO Este artigo contempla nosso estudo de práticas socioculturais que demonstram que/como o sujeito contemporâneo dialoga online com enunciados advindos de acontecimentos do universo off-line. Nosso corpus apresenta postagens circuladas publicamente em páginas diversas no Facebook em que se lê: “É verdade esse bilete”. A afirmativa, proveniente de um bilhete escrito por uma criança em sua esfera familiar e divulgado em redes sociais, foi apropriada por múltiplos interlocutores no ciberespaço a fim de produzir efeitos de humor e dizeres contraditórios em (...) diferentes instâncias discursivas. Para a análise, recorremos a elementos constitutivos do dialogismo de proposição bakhtiniana; aos conceitos de meme e remix e às discussões foucaultianas acerca da vontade de verdade. Nossas interpretações apontam que é possível rastrear, nas réplicas ativas analisadas, posições axiológicas que nos remetem ao sujeito contemporâneo, o qual, usando a ironia e efeitos de humor, constitui/compartilha enunciados no intuito de estabelecer sua vontade de verdade na ágora digital. ABSTRACT This paper presents a study of sociocultural practices that exemplify how subjects interact online with offline events. We analyse selected posts collected from social media profiles supported by Facebook. Each excerpt shows the affirmative “It’s true this notte,” a rough translation of a written message addressed by a four-year-old Brazilian boy to his mother stating that there would “supposedly” be a school holiday the following day. The note went viral after his teacher posted it publicly on her social media timeline and the reassuring assertion was appropriated multiple times in the cyberspace so as to as trigger a humour effect in different discourse instances. Grounded on the concepts of meme; remix; Bakhtinian dialogism and Foucauldian’s ideas on truth, we perform a discursive analysis. Our results point to track marks of axiological positions of contemporary subjects that resort to irony to construct/share utterances in order to establish their will to truth in the digital landscape. (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)

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.

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)

Este artículo propone una lectura de las reflexiones de uno de los eruditos islámicos progresistas más importantes, el teólogo egipcio Ali Abderraziq. Se centra en sus estudios sobre El Islam y los fundamentos del poder, publicado en 1925. El objetivo principal del artículo es ofrecer una visión más sofisticada del pensamiento político islámico y mostrar que es posible un proceso de evolución democrática endógeno y de secularización desde dentro del dogma islámico.

O trabalho elabora uma comparação entre os pensamentos de Karl Marx e Martin Heidegger no que tange à questão do útil. Em seguida propõe uma reflexão sobre como as diferenças entre os dois filósofos neste tema implica em distintos posicionamentos em relação à obra de arte. O objetivo do trabalho é apontar pontos de convergência e divergência entre os pensamentos destes filósofos em relação aos temas propostos.

Publication d'un miroir à boîte, provenant d'une tombe fortuitement découverte à Lamia en 1983. Le type du miroir et l'étude iconographique et comparative de la représentation en relief du couvercle se rapportant à une scène dionysiaque mettent en évidence son caractère attique, ainsi que sa datation aux environs du dernier quart du ive s. av. J.-C. Les éléments iconographiques analysés ici sont rapprochés de parallèles provenant tant de la sculpture et de la céramique que des terres cuites et des bronzes. (...) On constate que certains types et motifs de cette nouvelle représentation remontent à la dernière phase du ν s. av. J.-C, ce qui prouve, une fois encore, l'importance de l'influence du langage artistique de cette période sur les arts mineurs en général, et sur l'évolution de la toreutique en particulier. Ainsi sont mis en lumière des rapports étroits entre l'imagerie du ive s. avancé et celle des dernières décennies du ve s., phénomène qui va se poursuivre par la suite avec des variations. Les questions de la composition et de la signification de la scène sont brièvement traitées. (shrink)

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.

O texto aborda a relação da educação escolar e o catolicismo no espaço rural, especialmente, no rio Mapuá, no município de Breves, arquipélago de Marajó, estado do Pará. Tem-se por objetivo identificar a presença do catolicismo na escola do campo e a relação com a formação dos alunos ribeirinhos. Especificamente, a perspectiva é discutir a influência dos rituais religiosos e artefatos sagrados no processo educativo e na cultura escolar do campo. É uma investigação de natureza qualitativa, fundamentada na incursão bibliográfica (...) e pesquisa de campo, cujos dados empíricos foram coletados por meio de observações etnográficas, entrevistas semiestruturadas e fotografias. Em termos teóricos o estudo busca amparo em escritos de autores do campo da Antropologia, Ciência da Religião e da Educação, tendo como recorte o ensino religioso. Os resultados indicam que a educação escolar e o catolicismo no rio Mapuá entrelaçam-se por meio de rituais e artefatos sagrados que narram saberes, tradições, afetos, significados e simbologias que na percepção dos depoentes ajudam a forjar a formação escolar dos sujeitos e, por conseguinte, à cultura escolar. (shrink)

Bien que les lois Veil soient fondamentales et « marquent une rupture majeure dans l’histoire des femmes et du genre, comme dans l’Histoire avec un grand H » (p. 6), leur généalogie demeure mal connue. Loin de prendre naissance dans la seconde vague féministe, elles sont l’aboutissement de longues années de lutte menées par des courants très divers, sans lien nécessairement entre eux, et poursuivant des buts et des stratégies spécifiques. Structuré en trois parties, l’ouvrage en présente les...

Les paysannes ont-elles une histoire? Leur parcours semble défier l'évolution « classique » de l'émancipation féminine. Elles échappent à la chronologie élaborée au cours de ces dernières années par l'histoire des femmes, elles restent en marge des grands moments fondateurs. Ni les luttes politiques autour de l'éducation des filles, ni l'émergence du féminisme – fait principalement urbain – ni celle du syndicalisme et des premiers jalons de la législation sociale n'influencent leur condition...

Desde su formulación hasta nuestros días, la historia de vida ha sido utilizada como una técnica de investigación importante en el campo de las ciencias sociales. En este artículo reflexiono sobre las posibilidades de profundización de la historia de vida con el objetivo de aplicarla como un método ..

The Phaedo and the Symposium are dialogues in which Plato's conception of philosophy is not dissociated of orphic elements and mythical constructions. I propose that the themes of the pre-existence of the soul and the immortality of the soul in the Phaedo and myths told by Aristophanes and Diotima in the Symposium, examined together, provide rich material for understanding the nature and limits of knowledge and philosophy in Plato. I also suggest, before this interpretation, a reading of the "sudden vision (...) of beauty in itself," in Symposium 210e, which takes into account these limits. Knowledge is, from this reading, a dynamic search, much more than intuition of the forms. (shrink)

The Curry-Howard isomorphism is a proof-theoretic result that establishes a connection between derivations in natural deduction and terms in typed lambda calculus. It is an important proof-theoretic result, but also underlies the development of type systems for programming languages. This fact suggests a potential importance of the result for a philosophy of code.

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.

Este texto, bem como as pesquisas que realizamos, tem como meta dar visibilidade às leituras literárias destinadas ao público infantil e juvenil, que enfatizem o tema étnico-racial, ou ainda, títulos que incluam a real participação de personagens negras, costumes afro-brasileiros e informações culturais produtoras de identificação entre o leitor e a narrativa, contribuindo, assim, com as mudanças atuais na história da educação brasileira. Neste texto, apresentamos seis títulos da Editora SM, que, em seu catálogo editorial para 2008/2009, dos 173 títulos (...) publicados, 20 títulos trazem a presença da cultura africana e afro-brasileira. Dos 20, optou-se pela análise de cinco títulos. Da análise desses títulos, constatou-se, acima de tudo, que um dos caminhos para o entendimento e a consciência acerca da pluralidade cultural está também na apropriação da leitura literária produtora de identidade e inclusão social. (shrink)

Platão, ao tratar da negação no diálogo Sofista, afirma que sempre que enunciamos o que não é, não enunciamos algo contrário ao que é, mas algo diferente. A negação significa cada parte da natureza da diferença em antítese ao que é. Tal tratamento da negação resulta da necessidade de resolver alguns problemas colocados pelo eleatismo. Propõe-se indicar esses problemas e examinar o tratamento que Platão dá ao nãoser como diferença.