Propõe a expansão da classe Espiritismo na Classificação Decimal de Dewey. Justifica a proposta devido ao grande número de adeptos e à produção literária espírita. Evidencia que o Espiritismo é a oitava religião com mais praticantes no mundo e a terceira no Brasil. Apresenta a importância da doutrina espírita ao redor do mundo e no Brasil. Utiliza a teoria proposta por Vanda Brougthon para religião e acrescenta as facetas ciência, filosofia, religião e aspectos gerais da Doutrina Espírita. Analisa propostas de (...) expansão de classes existentes e elabora uma revisão de literatura acerca da história do espiritismo. Utiliza a metodologia de Barité para modificação de esquemas de classificação. Os termos foram coletados a partir do tesauro espírita e da obra de referência da Federação Espírita Brasileira e sistematiza os conceitos hierarquicamente. Propõe a expansão da classe 202 – Doutrina a partir da identificação e sistematização dos conceitos, colocando-os de forma notacional. Conclui que uma doutrina com tantos adeptos e com uma grande produção literária deve ser representada adequadamente na Classificação Decimal de Dewey e a que a mesma oferece pouco espaço de representação na classe 200 para as diversas religiões praticadas no mundo. (shrink)

We generalize a previous result about dynamically consistent menu preferences to the case where preferences are not necessarily complete. We show that, as it is the case when preferences are complete, a subjective state space version of dynamic consistency is linked to a comparative theory of preference for flexibility. In words, an objective signal is interpreted as an event in the agent’s subjective state space and the agent acts in a dynamically consistent way after that if and only if we (...) can attribute all the differences between the agent’s preferences before and after the signal to the fact that the agent values flexibility more before the signal than after. (shrink)

Purpose: Performance measurement systems (PMS) in Nonprofit Organizations (NPOs) are more complex than in for-profit organizations. NPOs have an orientation towards social mission and values, and they consider not only organizational efficiency and viability, but also the social impact of the organization. This research provides a comprehensive synthesis of PMSs in NPOs. Design/methodology/approach: Using a literature review, supported by bibliometric and network analyses. A paper set of 240 articles related to this research field is examined. Topics that are the most (...) prevalent in this research area and their interrelationships are identified, presenting an outline of current efforts. Findings: Despite the descriptive analyses for the paper set, a framework is proposed for organizing the design-implementation factors of PMSs in nonprofit organizations, identifying the main requirements for their successful development. Originality/value: Investigation on performance measurement in nonprofit organizations is still in its early stages of development with many opportunities to further develop the field. Conceptual frameworks and models, as well as specific theories, are being generated for this field of research, and the process of adapting models from the general field of performance measurement is taking place. The meta-framework that organizes the main research topics of PMS in nonprofit organizations and the framework that consolidates factors that influence the design-implementation of PMSs in nonprofit organizations developed represents this paper contribution. (shrink)

Nos últimos anos o mundo passou a conviver com um processo de expressivas mudanças sociais, culturais e econômicas. O novo século iniciou mitificado como a nova era, em que os avanços são tão acelerados que o futuro se torna, de certa forma, desconhecido. O mundo depara-se com uma nova forma de ver o tempo, o poder, o trabalho, a comunicação, a informação, as instituições e, especialmente, a educação e a função docente, foco da reflexão neste trabalho. A abordagem propõe a (...) constatação das exigências de mudança na atualidade, decorrentes do quadro comple-xo em que se dá a educação escolar hoje para pensar os novos rumos da formação do professor. Em função dessa proposta, são apresentados resultados da investigação desenvolvida considerando as possibilidades de análise abertas por SACRISTÁN. Procurou-se desenlear a função docente da profusão de exigências que lhe são postas na atualidade, numa contribuição ao redirecionamento das propostas prescritivas de mudança e, sobretudo, de formação do professor. (shrink)

Este trabalho pretende comentar a doutrina que Merleau-Ponty expõe, em seus distintos períodos, sobre o que caracteriza a obra clássica e sua interpretação. Aponta-se como pressupostos dessa doutrina a admissão de uma certa filosofia da linguagem, bem como de uma particular teoria da produtividade. Em função disso, pergunta-se se, efetivamente, foi feita, ali, uma crítica radical da "filosofia da consciência", como usualmente se supõe.  .

This book addresses the issue of determinism in Avicenna and Averroes through an analysis of their views on chance, matter and divine providence. It sets the debate against the philosophical/historical background of Aristotelianism, Neoplatonism and Islamic theology.

Este artigo visa analisar modos de axiologizar o bem-estar na escola em enunciados produzidos por alunos do 9º ano do ensino fundamental de uma escola municipal do interior baiano. Interessa-nos, especialmente, compreender como os sujeitos semiotizam, em seus enunciados, o que consideram o evento mais marcante de suas experiências ao longo dos anos finais do ensino fundamental e o que isso nos informa sobre os valores ali mobilizados relativos ao papel social e institucional da escola e(m) suas modalidades de convivência (...) intersubjetiva. As análises destacam que as memórias verbo-visualmente materializadas não se limitam a registros, abrigados na consciência, mas são repositórios de experiências afetivas de e em diversos cronotopos. O fato de as memórias apresentadas recobrirem diferentes eventos interacionais oferecem-nos uma visão crítica dos estudantes de como percebem e matizam complexidades das interações por eles rememoradas e enunciadas. Trabalhos, como o nosso, que se interessam pelos afetamentos de alunos, contribuem, localmente, para que o contexto escolar seja (re)(des)coberto, tensionando como percepções sociais são semiotizadas em horizontes apreciativos de experiências. (shrink)

Este artigo visa analisar indícios verbo-visuais de episódios de mal-estar enunciados por alunos que integram turmas da modalidade Educação de Jovens Adultos (EJA) em uma escola do interior baiano. Dedicamo-nos, especialmente, a compreender como os sujeitos semiotizam situações de embaraço social vivenciadas em salas de aula e(m) seus (d)efeitos. Como referencial teórico, partimos de pressupostos da Análise Dialógica do Discurso, da Clínica da Atividade e de outras categorias discursivas para lermos, a partir de uma dimensão axiológica, o corpus que é (...) composto por duas biograficzines. A análise dos dados registra que os (res)sentimentos dos discentes, que se deixam materializar em termos verbo-visuais, deflagram situações que ilustram a complexidade de dinâmicas que perfazem interações didáticas no ambiente escolar. Trabalhos como o nosso contribuem para tensionar a realidade escolar-profissional possibilitando a exploração de outros ângulos de nossas atividades como sujeitos sociais. (shrink)

Pensar nas cidades que construímos é constituir também a construção de um olhar para os corpos que ocupam esses espaços. Neste trabalho, buscamos mergulhar na experiência da sexualidade-em-situação de homens gays da cidade de Campos dos Goytacazes - RJ. A história da construção da cidade se entrelaça em memórias de opressão e violências que até hoje se perpetuam na situação dos corpos desses homens, que a partir de suas trajetórias e experiências, resgatam memórias das situações que viveram e ainda vivem (...) na cidade. Há, portanto, a urgência de um imperativo de mudança que vai acontecendo individualmente e coletivamente, indicando que as suas experiências reivindicam e extrapolam as estruturas que um dia impediram seus corpos de existirem. (shrink)

resumo O objetivo deste artigo é discutir o modo como Husserl desenha a originalidade da subjetividade transcendental, frente à sua homônima psicológica. Se é certo que a noção de “imanência autêntica” pode apontar para as diferentes fronteiras entre o transcendental e o psicológico, resta que por si só ela não permite decidir nada quanto ao “modo de ser” transcendental, em sua diferença face ao “mundano”. Sendo assim, procura-se reconstituir alguns dos momentos centrais do esforço husserliano para construir um conceito de (...) “subjetivo” e de “subjetividade” que não se confunda mais com o “psíquico” da psicologia tradicional. palavras-chave subjetividade – psique – fenômeno – noema – transcendental. (shrink)

The long 19th century was a period of many developments and technical innovations in agriculture and animal biology, during which actors sought to incorporate new practices in light of new information. By the middle of the century, however, while heredity steadily became the dominant concept in animal husbandry, some policies related to livestock improvement in Brazil seemed to have been tailored following a climate-deterministic concept established in the mid-18th century by the French naturalist Georges-Louis Leclerc, the Comte de Buffon. His (...) theory of animal degeneration posited, among other things, the necessity of recurrent crossbreeding to preserve animal species living in nonnative environments from climate-induced degeneration. Although largely discredited by the early 19th century, the teachings of the French naturalist seem to have found supporters in a Brazilian program to modernize national agriculture through the application of the natural sciences. Herein I examine the revival of Buffon’s theories in that government-sponsored program to improve animal husbandry and breeding techniques, including actual applications of this theory in the real world. Ultimately, I argue that Buffon’s theory of degeneration was used to tailor public policies and funding for the improvement of domesticated animals in Brazil between 1856 and 1860. (shrink)

The ethics of autonomous vehicles has received a great amount of attention in recent years, specifically in regard to their decisional policies in accident situations in which human harm is a likely consequence. Starting from the assumption that human harm is unavoidable, many authors have developed differing accounts of what morality requires in these situations. In this article, a strategy for AV decision-making is proposed, the Ethical Valence Theory, which paints AV decision-making as a type of claim mitigation: different road (...) users hold different moral claims on the vehicle’s behavior, and the vehicle must mitigate these claims as it makes decisions about its environment. Using the context of autonomous vehicles, the harm produced by an action and the uncertainties connected to it are quantified and accounted for through deliberation, resulting in an ethical implementation coherent with reality. The goal of this approach is not to define how moral theory requires vehicles to behave, but rather to provide a computational approach that is flexible enough to accommodate a number of ‘moral positions’ concerning what morality demands and what road users may expect, offering an evaluation tool for the social acceptability of an autonomous vehicle’s ethical decision making. (shrink)

ABSTRACT This article aims to defend the dialogical nature of the landscape. Working in between the borders of the Bakhtinian philosophy of language and cultural studies on landscape, we defend that landscape study should not be studied without considering the cultural forms of communication in the different domains of social organization– the speech genres; that landscape is a semiotic encounter with a concrete otherness; that the interpreter who emerges when an area enters a relationship of representation is necessarily characterized as (...) a chronotope; that every landscape is a chronotopic representation; that cultural geography recognizes that the semiotic aspects of the landscape are as material as its morphology. We start from the hypothesis that landscape is a chronotopic representation that is always made possible by means of some speech genre, because it is always a communicative process, and an encounter with another in a situation of socially organized interrelation – it is concrete dialogue. To find the deeper meaning of a landscape, one must recognize and understand its material, historical, geographical, and dialogic nature. RESUMO O artigo objetiva defender a índole dialógica da paisagem. Trabalhando na fronteira entre a filosofia bakhtiniana da linguagem e os estudos culturais da paisagem, defendemos que a paisagem não seja estudada sem considerar as formas culturais de comunicação nos diferentes domínios da organização social – os gêneros discursivos; que toda paisagem é encontro semiótico com uma alteridade concreta; que o intérprete que emerge quando uma área entra em relação de representação é necessariamente caracterizado por um cronotopo; que toda paisagem é representação cronotópica; que a geografia cultural reconheça que os aspectos semióticos da paisagem são tão materiais quanto sua morfologia. Partimos da hipótese de que a paisagem é uma representação cronotópica que sempre se realiza através de algum gênero discursivo, pois sempre é um processo comunicativo e de encontro com o outro em uma situação de inter-relação socialmente organizada – é diálogo concreto. Para adentrar à profundeza de seus sentidos, precisa-se reconhecer e compreender sua índole material, histórica, geográfica e dialógica. (shrink)

Lean is a new open source theorem prover being developed at Microsoft Research and Carnegie Mellon University, with a small trusted kernel based on dependent type theory. It aims to bridge the gap between interactive and automated theorem proving, by situating automated tools and methods in a framework that supports user interaction and the construction of fully specified axiomatic proofs. Lean is an ongoing and long-term effort, but it already provides many useful components, integrated development environments, and a rich API (...) which can be used to embed it into other systems. It is currently being used to formalize category theory, homotopy type theory, and abstract algebra. We describe the project goals, system architecture, and main features, and we discuss applications and continuing work. (shrink)

Sob este título, publica-se, neste número da Cultura, um conjunto de textos que respondem ao projecto de aprofundar, tanto no plano teórico como no analítico, e de forma articulada, a operatividade destes três conceitos no conhecimento das diversas especificidades culturais desenvolvidas em territórios ibero-americanos e ibéricos: Fronteira, cosmopolitismo e nação. Tivemos os nossos primeiros debates há quase uma década e, no Grupo de Investigação «Cultura, história e pensamento ibéricos e ib...

Normal 0 21 false false false MicrosoftInternetExplorer4 Este trabalho objetiva assinalar as pressões sociais e os valores culturais que participam do processo de construção das identidades brasileiras na sociedade hipermoderna das grandes cidades por meio da análise de um representante dela, que é o universo publicitário. Irei descrever alguns dos resultados encontrados em minha tese de doutorado (2007) em que, ao analisar as estratégias emocionais de persuasão publicitá­rias mais utilizadas nas revistas de maior circulação do país, levantei os conteúdos ideológicos (...) empregados nesses anúncios e, neste momento quero refletir sobre os possíveis modos de convivência social promovi­dos pelas identidades que são ressaltadas. Os meios de comunicação social são fonte de influência e manutenção de modos de viver, logo representam material rico de reflexão para se compreender os impasses dos relacionamentos sociais contemporâneos. Palavras-chave: identidade, publicidade, sociedade, hipermodernidade. (shrink)

Technology has substantially transformed the way legal services operate in many different countries. With a large and complex collection of digitized legal documents, the judiciary system worldwide presents a promising scenario for the development of intelligent tools. In this work, we tackle the challenging task of organizing and summarizing the constantly growing collection of legal documents, uncovering hidden topics, or themes that later can support tasks such as legal case retrieval and legal judgment prediction. Our approach to this problem relies (...) on topic discovery techniques combined with a variety of preprocessing techniques and learning-based vector representations of words, such as Doc2Vec and BERT-like models. The proposed method was validated using four different datasets composed of short and long legal documents in Brazilian Portuguese, from legal decisions to chapters in legal books. Analysis conducted by a team of legal specialists revealed the effectiveness of the proposed approach to uncover unique and relevant topics from large collections of legal documents, serving many purposes, such as giving support to legal case retrieval tools and also providing the team of legal specialists with a tool that can accelerate their work of labeling/tagging legal documents. (shrink)

O artigo visa discutir o papel que a obra de John Rawls possui para o projeto teórico de Rainer Forst. Trata-se de acompanharas principaisleituras que Forst realiza sobre esse autor e discutir algumas consequências que podem ser delas depreendidas para seu modelo crítico. Assim, em primeiro lugar, discute-se a tentativa de Forst em aproximar os critérios de reciprocidade e universalidade, de seu princípio de justificação, à teoria de Rawls, ao mesmo tempo em que acusa Rawls de que sua configuração da (...) posição original atribui conteúdos substantivos aos princípios de justiça, que, na verdade, só poderiam ser concebidos comoum princípio fundamental de justificação (I). Em seguida, observa-se a leitura que Forst realiza sobre o debate entre Habermas e Rawls, a fim de extrair uma alternativa a ambos. Novamente Forst faz um movimento de aproximação e crítica a Rawls (II). Em um terceiro momento, examina-se outra tentativa de aproximação e superação à obra de Rawls, mas dessa vezatravés da distinção entre duas imagens da justiça(III). Por fim, o artigo apresenta duas interpretações gerais sobe essas leituras: que existem certas constantes nos argumentos que unem e que pretendem superar Rawls; e que contém possíveis problemas,com consequências que ocasionam certos entraves para sua teoriaem sua pretensão de ser crítica. (shrink)

Comparing Averroes' and Hegel's positions on the relation between philosophy and religion, this book explores the relation between faith and reason in a medieval Islamic and a modern Christian context. Through an in-depth analysis of Averroes' and Hegel's views on philosophical and religious language and method, Belo presents new insights into their perspectives on the relation between philosophical knowledge and religious knowledge. In addition to discussing the parallels and differences of their positions, Belo explores particular works which have not yet (...) been analysed by modern scholarship. (shrink)

A presente dissertação tem como objetivo principal estudar as relações entre a depressão moderada a grave e a religiosidade nos sujeitos da contemporaneidade. Para isso, foram entrevistados e colhidos dados de onze pacientes através de instrumentos padronizados e validados de pesquisa. O nível de depressão também foi medido 60 a 90 dias depois, para se fazer correlações com o nível de melhora da depressão e o nível de religiosidade intrínseca. Os resultados mostraram que maior nível de envolvimento religioso medido pela (...) escala de religiosidade intrínseca não esteve implicado em maior melhora da depressão, nem em piora. Porém, constatou-se que maior nível de envolvimento religioso foi associado a menores níveis de depressão no início do estudo, de forma significativa. A partir de alguns referenciais da psicologia da religião, conclui-se que a religiosidade possui pouco ou nenhum efeito na melhora de pessoas com depressão moderada a grave. Entende-se que isso ocorre porque a religiosidade perdeu muito de sua força na contemporaneidade, além de fatores biológicos e psicológicos que tornam a depressão, depois que atinge certa gravidade, imune aos efeitos da religião. No entanto, como os sujeitos mais religiosos tenderam a ter menores níveis de depressão no início do estudo, conclui-se que se a religião não melhora pelo menos ela tem um efeito atenuante no surgimento do quadro, que se não fosse a religiosidade seria bem mais grave. Assim, a religiosidade de fato proporcionou aos sujeitos uma maneira eficaz de diminuir os sintomas depressivos, através do enfrentamento do estresse e fazendo com que a experiência depressiva tenha algum significado no crescimento espiritual do sujeito, através da sua ressignificação. Termina-se enfatizando a dimensão do cuidado espiritual, que poderá trazer mais qualidade no atendimento dos profissionais de saúde. (shrink)

Este artigo tem como objetivo principal investigar a relação existente entre a percepção da felicidade dos brasileiros, sua satisfação com a vida e a satisfação com o regime democrático no período de 2017 a 2020. Nossa hipótese de trabalho postula que o declínio da felicidade e da satisfação com a vida, de uma forma geral, guarda relação de associação com a satisfação com a democracia e suas instituições. Assim, o artigo sugere que felicidade e democracia no Brasil são duas variáveis (...) associadas que ajudam a explicar em parte as fragilidades de nosso regime democrático e devem ser foco de atenção de nossas políticas públicas. A base empírica deste artigo é a sétima onda da Pesquisa Mundial de Valores (WVS, 2017-2020), por meio de pesquisa quantitativa, tipo survey, que utilizaremos para demonstrar nosso argumento. (shrink)

Compreender a violência na sociedade contemporânea requer o mapeamento dos fatores geradores de atos violentos bem como sua prevenção por meio de políticas públicas e de processos educacionais. Este artigo traz algumas reflexões sobre a racionalidade comunicativa e a violência escolar no contexto da crescente exclusão social e a crise de horizontes utópicos para a construção da educação e da formação de sujeitos de direitos. A abordagem metodológica está ancorada na perspectiva da análise de conteúdo de Laurence Bardin (2016), do (...) documento ‘Violência escolar e bullying: relatório sobre a situação mundial’, publicado pela Organização das Nações Unidas para a Educação, a Ciência e a Cultura (UNESCO). São analisadas as pretensões de validade das informações e dos dados considerados relevantes por meio da elaboração de dois eixos principais para analisar a violência escolar apresentada no relatório: a) definições e amparos legais; b) impactos e principais desafios sobre a violência escolar e o bullying. Nessa perspectiva, recorreremos à Racionalidade Comunicativa, ponto central da Teoria do Agir Comunicativo, de Jürgen Habermas, para refletir sobre os achados e saber quais as bases consideradas relevantes para se construir uma educação para a paz alicerçada no diálogo e no entendimento. (shrink)

Apresentaremos as possíveis aplicações pedagógicas das suas reflexões, como a utilização da imprecisão científica de Heisenberg e da concepção de técnica em Heidegger, a partir da análise histórico-filosófica dos seus escritos, tomando-os como fundamentação a necessária e significativa melhoria da educação técnico-científica.

Este artigo aborda a temática ética na obra Suma Teológica de Tomás de Aquino. Mais precisamente visamos demonstrar a maneira em que se dá o tratamento da moralidade no âmbito social, no interior das comunidades. Tenho a intenção neste trabalho de ajudar a explicitar o caráter comunitário da ética de Tomás de Aquino, e mais precisamente, estou interessada em delimitar criticamente os elementos constitutivos da formulação filosófica por Tomás de Aquino do conceito de comunidade moral na Suma Teológica.

This article proposes a reflection on the persistence of Nazi jurisdictional models in contemporary legal theory, briefly comparing the work of authors such as Wolf, Larenz, Schmitt, Dworkin and Alexy. It aims to demonstrate the authoritarian and radically undemocratic character of certain theoretical constructions used in adjudication, particularly in Brazil. For this purpose, three representative judicial decisions from 2016 are analyzed, highlighting typical structural features of Nazi legal theory which remain accepted by current legal theory, such as the disregard for (...) legality, the personification of the community as judge and the appeal to social values which are taken as self-evident. (shrink)

O objetivo deste artigo é discutir a noção humiana de "crença", frequentemente vita como adendo "psicológico" à correta doutrina epistemológica do autor. Tenta-se sugerir que são partilha das obsessões da epistemologia contemporânea.

O objetivo deste artigo é discutir o modo como Husserl desenha a originalidade da subjetividade transcendental, frente à sua homônima psicológica. Se é certo que a noção de “imanência autêntica” pode apontar para as diferentes fronteiras entre o transcendental e o psicológico, resta que por si só ela não permite decidir nada quanto ao “modo de ser” transcendental, em sua diferença face ao “mundano”. Sendo assim, procura-se reconstituir alguns dos momentos centrais do esforço husserliano para construir um conceito de “subjetivo” (...) e de “subjetividade” que não se confunda mais com o “psíquico” da psicologia tradicional. (shrink)

Mapeando brevemente alguns eventos desencadeados pelo período denominado, por alguns cientistas, como Antropoceno, este estudo busca estabelecer um observatório deste período através da ótica do campo das artes, do cinema e da filosofia. Pretende-se compreender como práticas artísticas podem ser concebidas de forma a sublinhar as incoerências referentes à intervenção humana no sistema e na atmosfera terrestre. Para tal, este estudo recruta trabalhos de artistas como Alice Miceli, Andrei Tarkovsky e Jacob Kirkegaard, em suas potencialidades de prevenção, educação e crítica (...) em relação a distintas implicações relacionadas ao desastre nuclear de Chernobyl. Assim, é compreendida a possibilidade de trabalhos de arte em atuar como revisita histórica e análise geo-histórica, bem como meios de potencializar críticas às injustiças provocadas pelo Antropoceno.Palavras-chave: Arte contemporânea; Antropoceno; Energia nuclear; Justiça Climática. (shrink)

Primeiramente fazemos uma breve discussão sobre a concepção defendida por Gramsci acerca do que caracteriza um intelectual, bem como sua função social nas distintas formações sociais, como desdobramento de tal reflexão do autor sardo, apresentamos sua conhecida distinção, operada no “Caderno 12”, entre os „intelectuais tradicionais‟ e os „intelectuais orgânicos‟ destacando sua práxis social. Por fim, valendo-nos dos escritos do autor no “Caderno 13”, ressaltamos a importância do intelectual orgânico na constituição do partido revolucionário.First we give a brief discussion about (...) the concept advocated by Gramsci about what characterizes an intellectual as well as its social function in different social formations, as a consequence of such a reflection of the author Sardinian, presented his famous distinction, operated in the "Notebook 12" between the 'traditional intellectuals' and 'organic intellectuals' highlighting its social praxis. Finally, drawing upon the writings of the author in "Notebook 13", highlight the importance of the organic intellectual in the constitution of the revolutionary party. (shrink)

We present the system SUBSEXPL used for simulating and comparing explicit substitutions calculi. The system allows the manipulation of expressions of the λ-calculus and of three different styles of explicit substitutions: the λσ, the λse and the suspension calculus. A variation of the suspension calculus, which allows for combination of steps of β-contraction is included too. Implementations of the η-reduction are provided for each style. Other explicit substitutions calculi can be easily incorporated into the system due to its modular structure. (...) The uses of the system include: the visualization of the contractions of the λ-calculus in de Bruijn notation, and of guided one-step reductions as well as normalization via each of the associated substitution calculi. Many useful facilities are included: reductions can be easily recorded as text files, LATEX outputs can be generated and several examples for dealing with arithmetic operations and computational operators such as conditionals and repetitions in the λ-calculus are available. The system can be executed over Emacs using the x-symbol mode in such a way that λ-terms and terms of the explicit substitutions calculi are represented in its natural syntax avoiding the necessity of repeatedly generating LATEX outputs. The system has been of great help for systematically comparing explicit substitutions calculi, as well as for understanding properties of explicit substitutions such as the Preservation of Strong Normalization. In addition, it has been used for teaching basic properties of the λ-calculus such as: computational adequacy, the usefulness of de Bruijn's notation and of making explicit substitutions in real implementations. (shrink)

Considering the basic assumption that the modern Law and State theory does not only bear similarities, but also draws true epistemological parallels to theconstructions of Theology, Hans Kelsen intends to lay bare the ideological meaning that lies at the very core of the traditional dualism which constitutes Law and State into autonomous entities. Taking into account Kelsen´s original perceptions – which are seconded by more recent contributions from Claude Lefort and Hans Lindahl’s political and symbolic concepts and from Carl Schmitt’s (...) notions on political theology – our intention is now to demonstrate the highly conservative role played by the duality of the Law/State structure, whose aim is to remove, from under the sway of legal control, a considerable part of the State’s actions.Herebelow, therefore, we will analyse the very legitimacy of the so-called “Public Law,” which seems to point to a trend towards shunning the legal power regulation. Finally, based on the functional method pioneered by Ernst Cassirer, legal institutions such as “collective will” and “public interest” will be problematised, in order to ascertain whether they contain theological, conservative and authoritarian traits incompatible with the conceptual and substantial unity intrinsic to the Rule of Law. (shrink)

To be usable in practice, interactive theorem provers need to provide convenient and efficient means of writing expressions, definitions, and proofs. This involves inferring information that is often left implicit in an ordinary mathematical text, and resolving ambiguities in mathematical expressions. We refer to the process of passing from a quasi-formal and partially-specified expression to a completely precise formal one as elaboration. We describe an elaboration algorithm for dependent type theory that has been implemented in the Lean theorem prover. Lean’s (...) elaborator supports higher-order unification, type class inference, ad hoc overloading, insertion of coercions, the use of tactics, and the computational reduction of terms. The interactions between these components are subtle and complex, and the elaboration algorithm has been carefully designed to balance efficiency and usability. We describe the central design goals, and the means by which they are achieved. (shrink)

Le présent article part d’une proposition de Giorgio Agamben issue du livre La communauté qui vient, consistant à penser une communauté non appropriable, c’est-à-dire, une communauté pour des individus ontologiquement indéterminés et qui ne pouvant pas être appropriés par les appareils du pouvoir. En ce sens, nous essayons de montrer comment la formation sociale conçue par Agamben peut dialoguer avec l’idée de multitude de Michael Hardt et Antonio Negri. À cette fin, sont exposées les similitudes entre la communauté « qui (...) vient » de Agamben et la multitude. En séquence, nous discutons le rôle individualisant de la loi et de la politique occidentale, comprises comme mécanismes hiérarchiques dont la fonction est précisément d’empêcher l’émergence de la multitude. (shrink)

p { margin-bottom: 0.21cm; } O objetivo do presente artigo é discutir a concepção de Direito, Justiça e Estado no pensamento estoico greco-romano, demonstrando a atualidade do tema e suas conexões com problemas contemporâneos tratados pela Filosofia do Direito, tais como os da legitimidade do poder e do universalismo da ordem jurídica. Em um primeiro momento são apresentados e problematizados elementos centrais da filosofia estoica, tais como as noções de lei natural, liberdade interior, igualdade formal e universalismo. Em seguida, mediante (...) uma análise histórica e filosófica de caráter crítico-comparativo são apresentados os três principais projetos de república pensados pelos estoicos: 1) a república radical e igualitarista de Zenão (ap. 334 a.C. – 262 a.C.), na qual se nega a juridicidade, eis que o direito é entendido como construção artificial que impede a fruição da liberdade; 2) a república legalista de Cícero (106 a.C. – 43 a.C.), quando o direito natural é positivado para servir enquanto instância racional de auto-reflexão e de auto-fundamentação das normas jurídico positivas e, finalmente, 3) a “república” de Sêneca (4 a.C. – 65 d.C.), na qual o direito inicialmente se deixa absorver pelo poder pessoal do Imperador Romano para, em um segundo momento, mostrar-se como elemento universal, preparando assim as bases para a futura concepção de direitos fundamentais própria da modernidade. (shrink)

Le présent article part d’une proposition de Giorgio Agamben issue du livre La communauté qui vient, consistant à penser une communauté non appropriable, c’est-à-dire, une communauté pour des individus ontologiquement indéterminés et qui ne pouvant pas être appropriés par les appareils du pouvoir. En ce sens, nous essayons de montrer comment la formation sociale conçue par Agamben peut dialoguer avec l’idée de multitude de Michael Hardt et Antonio Negri. À cette fin, sont exposées les similitudes entre la communauté « qui (...) vient » de Agamben et la multitude. En séquence, nous discutons le rôle individualisant de la loi et de la politique occidentale, comprises comme mécanismes hiérarchiques dont la fonction est précisément d’empêcher l’émergence de la multitude. (shrink)