Este livro traz uma importante contribuição à compreensão do universo político e social das teorias desenvolvidas do educador Paulo Freire. Nele, o trabalho do educador é analisado como tributário da ideologia nacional desenvolvimentista desdobrada no ISEB dos anos 50 até a publicação da obra de Álvaro Vieira Pinto nos anos 60.

By referring to H. Bergson's theory about the evolutionary process, this article reflects on the antinomic character of the two fundamental tendencies of the vital movement, which are pure time and materiality. Starting from the importance of the image in this philosophy, it focuses on the Bergsonian ontology, questioning the notion of vital elan and how matter comes and the real-time is inscribed in it. By highlighting the ambiguity of the role played by materiality in the tensioning of vital forces, (...) the discussion explains that the original impulse establishes its antipode. Thus, it reveals the dramatic character that permeates the movement intrinsic to the history of life, in which effort and struggle are correlated to the limits of the impulse that moves it - and inevitable questions for the creative act that defines it. (shrink)

In an unpublished note Reddy introduced an extended intuitionistic linear calculus, called LLMS (for Linear Logic Model of State), to model state manipulation via the notions of sequential composition and ‘regenerative values’. His calculus introduces the connective ‘before’ ▹ and an associated modality †, for the storage of objects sequentially reusable. Earlier and independently de Paiva introduced a (collection of) dialectica categorical models for (classical and intuitionistic) Linear Logic, the categories Dial2Set. These categories contain, apart from the structure needed (...) to model linear logic, an extra tensor product functor and an extra comonad structure corresponding to a modality related to the extra tensor product. It is surprising that these works arising from completely different motivations can be related in a meaningful way. In this article, following joint work with Corrêa and Haeusler, we first adapt Reddy's system LLMS providing a commutative version of the connective ‘before’ and its associated modality and then construct a dialectica category on Sets , which we show is a sound model for the modified version of Reddy's the system LLMSc. Moreover, following the work of Tucker, we provide another variant of the Dialectica categories with a non-commutative tensor and its associated modality, which models soundlyLLMS itself. We conclude with some speculation on future applications. (shrink)

Este artigo discute as transformações na indústria fonográfica desde os anos 90 provocadas pelo formato mp3, que, em uma primeira abordagem, é apontado como responsável pelo encolhimento da venda de discos e por promover a pirataria fonográfica em escala mundial. Neste recorte, conceitos como autoria, direito autoral e outros tem de ser repensados à luz desta tecnologia ao mesmo tempo em que se discute seu potencial criativo e sua capacidade de democratizar a produção sonora.

O artigo analisa a questão do “fim da filosofia” no pensamento contemporâneo. Demarcando o embate da filosofia consigo mesma, com a ciência e com alguns pensadores da atualidade que ousaram tematizar o fim, busca, pela reflexão ética, restabelecer a filosofia como um autêntico saber humano. Palavras-chave: Filosofia; Ciência; Ética; Auto-superação; Niilismo. ABSTRACT This article analyses the issue of ‘the end of philosophy’ in contemporary thought. Setting the framework for the confrontation of philosophy with itself, with science and with some present-time (...) thinkers who dare to predict its end, it attempts to re-establish, through ethical reflection, philosophy as an authentic human knowledge. Key words: Philosophy; Science; Ethics; Self-surpassing; Nihilism. (shrink)

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Workshop on Logic, Language, Information and Computation, WoLLIC 2015, held in the campus of Indiana University, Bloomington, IN, USA in July 2015. The 14 contributed papers, presented together with 8 invited lectures and 4 tutorials, were carefully reviewed and selected from 44 submissions. The focus of the workshop was on interdisciplinary research involving formal logic, computing and programming theory, and (...) natural language and reasoning. (shrink)

Este artigo objetiva tematizar o homem diante da falta de justificação e de sentido para o mundo, tal como problematizado por Albert Camus. Nesse sentido, pretende explicitar de que modo o autor transforma aquilo que seria convite inexorável para a morte em radical e contundente afirmação da vida.

This thesis describes two classes of Dialectica categories. Chapter one introduces dialectica categories based on Goedel's Dialectica interpretation and shows that they constitute a model of Girard's Intuitionistic Linear Logic. Chapter two shows that, with extra assumptions, we can provide a comonad that interprets Girard's !-course modality. Chapter three presents the second class of Dialectica categories, a simplification suggested by Girard, that models (classical) Linear Logic and chapter four shows how to provide modalities ! and ? for this second class (...) of construction. (shrink)

A common misconception among logicians is to think that intuitionism is necessarily tied-up with single conclusion calculi. Single conclusion calculi can be used to model intuitionism and they are convenient, but by no means are they necessary. This has been shown by such influential textbook authors as Kleene, Takeuti and Dummett, to cite only three. If single conclusions are not necessary, how do we guarantee that only intuitionistic derivations are allowed? Traditionally one insists on restrictions on particular rules: implication right, (...) negation right and universal quantification right are required to be single conclusion rules. In this note we show that instead of a cardinality restriction such as one-conclusion-only, we can use a notion of dependency between formulae to enforce the constructive character of derivations. The system we obtain, called FIL for full intuitionistic logic, satisfies basic properties such as soundness, completeness and cut elimination. We present two motivating applications of FIL and discuss some future work. (shrink)

Este trabalho propõe analisar a presença da religião em alguns espaços públicos educacionais. Por meio da metodologia da observação participante identificamos dois momentos que se articulam entre si: a influência da Escola sem Partido ao longo dos estágios docentes do curso de Ciências Sociais Licenciatura em Campos dos Goytacazes; e a presença de movimentos missionário cristãos, originários dos EUA, que visam influenciar a juventude estudantil evangélica a uma transformação social, nacional e mundial, no espaço universitário. Tais descrições nos traz questionamentos (...) sobre os desafios e perspectivas da formação docente nos voltando, novamente, para a discussão entre ciência, religião e política. Sendo assim, o presente trabalho nos traz muitas interrogações sobre algumas questões que perpassam a questão religiosa e são pertinentes ao debate educacional. Diante da organização e expressões de fé demarcados por discursos e ações de estudantes visamos trazer breves reflexões sobre o ensino de Sociologia no cotidiano escolar e despertar atenção para a presença de movimentos religiosos no espaço universitário. (shrink)

Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first constructive version of hybrid logic, thereby showing that it is possible to hybridize constructive modal logics. Alternative systems are discussed, but we fix on a reasonable and well-motivated version of intuitionistic hybrid logic and prove essential proof-theoretical results for a natural deduction formulation of it. Our natural deduction system is also extended with additional inference (...) rules corresponding to conditions on the accessibility relations expressed by so-called geometric theories. Thus, we give natural deduction systems in a uniform way for a wide class of constructive hybrid logics. This shows that constructive hybrid logics are a viable enterprise and opens up the way for future applications. (shrink)

Within New Testament writings, but in a special way in Paul’s letters, we can observe a significant presence of the greek term parresía, or frank language. This term was not only a rhetorical-linguistic instrument, on Paul’s contemporary time, but an attitude made by the speaker, or by the epistolar author before his recipients. On Eph 6,19, we see this term and its relation with the evangelizing mission of the author. Moreover, this concept was not only a linguistic function for Paul’s (...) writings and time actions, but it can have an effectiveness in present time. (shrink)

The main objective of this paper – resulting from an academic speech at UFG (Universidade Federal de Goiás) -is to outline the importance of Thomas Hobbes’ most known political work: Leviathan. Taking the figure of a big marine monster, quite in the same sense of the biblical metaphor used in the dialogue between God and Job to introduce the danger or the benefit of a big power controlled by men, Hobbes’s arguments terrorized the Church but helped in creating new ways (...) of thinking so to conceive the modern state. In the same movement, many other “demons” emerged to fight against religious power and also other forms of totalitarianism. Nevertheless, even shocking our conventional assumptions, Hobbes’ political work may be considered – among other liberal thinkers – a defense of individualism and many other aspects of civil order, which make him one of the most important contributor to modernity and also an essential source to think about our reality. (shrink)

O presente estudo procurou levantar desafios e possibilidades da incorporação das redes sociais no processo de implementação de ações preventivas ao uso de drogas na Atenção Primária à Saúde (APS). Trata-se de uma pesquisa-intervenção empregando as seguintes técnicas de coleta de dados: observação p..

Na obra Multiculturalismo: examinando a política do reconhecimento de Charles Taylor, a ideia de identidade Este artigo propõe uma leitura e aplicação do conceito metafísico do homo sacer, central no pensamento de Giorgio Agamben. Deste modo, pretende-se depurar de contextos históricos, sociais e políticos figuras empíricas que refletem traços fundamentais da vida nua, estendendo a aplicação de tal paradigma. Para tanto, é preciso considerar algumas críticas – expostas na introdução do trabalho – ao pensamento de Agamben, que norteiam o empreendimento (...) sem, no entanto, afastar-se absolutamente do arcabouço agambeniano, mas sim provendo novo fôlego às suas construções filosóficas. Basicamente, trabalhar-se-á com três autores críticos: Judith Butler, Thomas Lemke, e Ludueña Romandini. Com isso em mente, propõe-se um modo de leitura do paradigma do homo sacer que permita análises mais precisas da facticidade, garantindo sensibilidade às nuances biopolíticas em seus contextos específicos – ou seja, evitando que todo o corpo social se reduza à sacralidade da nuda vita. Na primeira seção duas figuras são depuradas: as minorias nacionais, a partir das análises políticas de Hannah Arendt; e os detentos indefinidos da Baía de Guantánamo, investigada por Judith Butler. Em um segundo momento, pretende-se aproximar a razão econômica neoliberal ao paradigma de exceção e extrair uma nova figura contemporânea do homo sacer, o homo oeconomicus, ou o sujeito-empresa. Por fim, evidencia-se as consequências neoliberais, desta forma de vida econômica, para a proposta filosófico-política de Agamben, isto é, de implementação de uma comunidade e política inoperosa. Ainda, as consequências para a democracia vigente e as limitações do arcabouço agambeniano para tal contexto político. (shrink)

This article proposes, with a focus on discussions around norms and bodies, to expose the conceptions of power, as well as the application of its concept, in Michel Foucault and Judith Butler. It begins by exposing the conception of power found in Foucault. After that, the connection between Foucault's thought and Butler's thought begins, explaining how Foucault's conception of power is inserted in the North American philosopher's theory of gender. Finally, the appropriations made by Butler of Foucault's thought regarding the (...) productive aspects of power in the fabrication of intelligible genres are exposed. (shrink)

O manuscrito Madri, Bibl. del Escorial, h.II.1, ff. 1ra-73rb, contém um conjunto de Questões sobre a Metafísica I[A]-VI[E] de Aristóteles, atribuídas na margem inferior do f.1r a Henrique de Gand, por uma adição classificada como tardia por Martin Grabmann. Deixando de lado metodologicamente a problemática da autoria dessas Questões, busca-se aqui compreender a noção de ‘verdade’ desenvolvida na obra, principalmente no que diz respeito ao discurso metafísico que tange à descrição do ‘ser’ atribuível à verdade. Para tanto, consideramos o modo (...) como o autor de tais questões relaciona as noções de ‘verdade’ e ‘ser’ em Questões sobre a Metafísica II[α] e VI[E], com especial atenção à atribuição de um ‘ente diminuído’ ao conhecimento verdadeiro. (shrink)

Resumo: O artigo discute a causa da coexistência de decisões divergentes em um sistema jurídico. A análise se baseia na teoria institucional de John Searle, abordando fatos institucionais, poderes deônticos e a relação entre lei e linguagem. A linguagem jurídica, aberta e abstrata, é explorada quanto à sua indeterminação, vagueza e ambiguidade. A autoridade do julgador na interpretação e aplicação das leis, ressaltando que decisões contra legem são possíveis devido à diversidade de critérios interpretativos, e o fundamento de decisões se (...) basearem preeminentemente na autoridade do julgador. O texto conclui que a atividade decisional não se baseia em primeira instância na decisão, mas na autoridade do julgador. (shrink)

Este livro é um resumo simplificado de todas as principais teorias e fundamentos do Alvissarismo expostos no Livro Alvíssara, sendo constituído de forma dialética através de perguntas e respostas. Seu objetivo final é o de servir de introdução a leigos e iniciantes ao estudo sistemático da Doutrina Alvissarista.

A grande revolução filosófica arquitetada pelo Alvissarismo está justamente na descoberta fundamental dos juízos analíticos a posteriori; desde Kant, não houve sequer um único filósofo com coragem o bastante para questionar a ideia de que todo juízo de experiência é sintético e que todo juízo analítico é a priori, com exceção de Saul Kripke, que foi pioneiro ao revelar ao mundo a existência do necessário a posteriori e do contingente a priori, corroborando a nossa tese sobre a existência dos juízos (...) analíticos a posteriori; esta foi, pois, a grande ruptura causada pela Filosofia Alvissarista, que, através da pergunta “existem juízos analíticos a posteriori?” causou uma revolução sem precedentes na história da filosofia. O mais importante aqui não é nem a resposta dada pelo Alvissarismo a esta pergunta, mas sim a própria pergunta, posto que ela rompe de uma vez por todas com a filosofia Kantiana, que fundou as bases da filosofia moderna através da negação da revelação. O Alvissarismo dá, portanto, início a uma nova era na história da filosofia, uma era onde na filosofia é possível a revelação, onde é possível existir uma filosofia unificada à mitologia e à religião, como um retorno à filosofia pré-talesiana, isto é, uma filosofia antes do surgimento de Tales de Mileto, que separou a filosofia da religião através da proposição “a água é a origem de todas as coisas”. (shrink)

Resumo: O artigo objetiva refletir sobre as concepções de gênero, poder, multiplicidade e multiculturalismo, em María Lugones, analisando o modo como sua teoria se associa ao pensamento pós-colonial. Para tanto, aborda a perspectiva do pensamento pós-colonial e a noção de colonialidade do poder, considerando o sistema moderno/colonial de gênero. As teorias pós-coloniais criticam o paradigma epistemológico do Ocidente e a hierarquização baseada na distinção entre humanos e não humanos, colonizador e colonizado. Em sua análise do sistema moderno/colonial, María Lugones introduz (...) a ideia de gênero na reflexão acerca das relações de poder. A teoria de Oyèronké Oyӗwùmí é uma referência para María Lugones, que desenvolve uma concepção de intersecção de raça, classe, gênero e sexualidade, propondo um feminismo decolonial baseado na identificação de formas de resistência e coalizão para emancipação.: The article reflects on María Lugones’s concepts of gender, power, multiplicity, and multiculturalism, analyzing the way her theory is associated with postcolonial thought. In order to do so, it aproaches the perspective of postcolonial thought, and the notion of coloniality of power, considering the colonial/modern gender system. The postcolonial theories criticize the Western epistemological paradigm, and hierarchy based on the distinction between human and non-human, colonizer and colonized. When analyzing the colonial/modern system, María Lugones’s perspective introduces the concept of gender in the analyses of the power relationships. Oyèronké Oyӗwùmí’s theory of gender is a reference to María Lugones. In the analysis of the coloniality of power, Lugones develops the idea of the intersection of race, class, gender, and sexuality, proposing decolonial feminism based on the identification of forms of resistance, and coalition in social movements for emancipation. (shrink)

Neste artigo discuto, a partir da obra do filósofo Castoriadis, o modo como a escola é concebida na Modernidade, considerando-se a noção da formação para a cidadania e como o significado de cidadania e de autonomia ganham outro sentido, à medida que a instituição escolar vai sendo dominada pela lógica da vida empresarial. A escola, instituição que participa das duas significações imaginárias modernas, autonomia e controle, também participa do processo de privatização do indivíduo e do eclipse do projeto de autonomia. (...) Cada vez mais submetida aos valores do controle, da normatização, da produtividade, do sucesso individual, da meritocracia, do quantificável, encarna e reforça um novo tipo de heteronomia disfarçado em democracia e autonomia. Discutiremos também essa banalização da educação, a maneira como a escola torna-se cada vez mais distante de um ideal de formação de subjetividades reflexivas e deliberantes, e mais comprometida com a formação de recursos humanos. (shrink)

The λσ-calculus adds explicit substitutions to the λ-calculus so as to provide a theoretical framework within which the implementation of functional programming languages can be studied. This paper generalises the λσ-calculus to provide a linear calculus of explicit substitutions, called xDILL, which analogously describes the implementation of linear functional programming languages.Our main observation is that there are non-trivial interactions between linearity and explicit substitutions and that xDILL is therefore best understood as a synthesis of its underlying logical structure and the (...) technology of explicit substitutions. This is in contrast to the λσ-calculus where the explicit substitutions are independent of the underlying logical structure. (shrink)

O DIREITO À CIDADE NA PERSPECTIVA DO USO DO SOLO E DO EQUIPAMENTO SOCIAL.

La dernière fois que j’ai vu Claude, il était chez lui, dans l’appartement parisien surchauffé. Il y régnait une atmosphère de fin du monde, et j’allais comprendre qu’en effet, la fin d’un monde était advenue, d’un monde qui avait été celui de Claude jusqu’à ses dernières semaines. Un monde vécu dans l’optimisme irréductible qui le caractérisait, confiant en quelque sorte dans le contexte français. Vanilda, son épouse, était alitée après une opération de l’épaule, cassée suite..

In this paper we consider an intuitionistic variant of the modal logic S4 (which we call IS4). The novelty of this paper is that we place particular importance on the natural deduction formulation of IS4— our formulation has several important metatheoretic properties. In addition, we study models of IS4— not in the framework of Kirpke semantics, but in the more general framework of category theory. This allows not only a more abstract definition of a whole class of models but also (...) a means of modelling proofs as well as provability. (shrink)

Este artigo tem como objetivo abordar uma intervenção realizada nas turmas do primeiro ano do ensino médio de uma escola localizada na cidade de Ipu-Ceará no ano de 2018, na disciplina de filosofia, com o tema ''Mito da caverna de Platão''. Assim, foram feitas leituras em sala de aula de alguns trechos do livro A República de Platão que aborda o tema, juntamente com o livro didático Filosofando: Introdução à filosofia das autoras Maria Lúcia de Arruda Aranha e Maria Helena (...) Pires Martins com o intuito de referenciar as cavernas contemporâneas. Deste modo, foi utilizado o método de ensino cuja intenção era a de apresentar livros e recursos audiovisuais para fins educacionais. Com a compreensão do mito da caverna de Platão, portanto, conseguimos vinculá-lo a um assunto da realidade dos alunos: a indústria da beleza que padroniza uma determinada forma de comportamento nos indivíduos, causando-lhes sérios problemas físicos e psicológicos. Para sustentar essa ideia, trabalhou-se com dois videoclipes das cantoras Beyoncé (Pretty Hurts) e Colbie Caillat (Try) na tentativa de despertar a reflexão da necessidade de autovalorização e aceitação física, em um distanciamento das cavernas patriarcais. Enfim, esse artigo manifesta uma enorme contribuição para os jovens do ensino médio, especialmente, na sua autoaceitação e formação identitária na medida em que compreendem os padrões como formas de aprisionamentos. Assim, conclui-se que estas discussões são relevantes por despertarem temas caros e reais aos jovens, tanto que promovem adoecimentos psicológicos. O propósito é o de expandir a discussão de tal forma que eles mesmos possam dialogar sobre o assunto. (shrink)

Descreve-se primeiramente o entendimento comum que se tem de educação, questionando em seguida os conceitos aí compreendidos, como aprendizagem e desenvolvimento humano. Enfatiza-se o conviver como condição humana, realçando-se a historicidade como postulado fundamental para a compreensão do conviver. Passa-se, então, ao campo teórico, analisando as propriedades da relação, e afirma-se que a educação se realiza como aprendizagem pela transformação que se opera em nós ao contato com o outro. Conclui-se propondo reflexões sobre a escola.

Eu assim, como muitos educandos, compartilho a ideia de que deve acontecer um vínculo entre professor e estudante para que o processo de ensino e aprendizado seja bemsucedido. Quando criamos um vínculo com um professor, nos afeiçoamos mais à disciplina. O Padre Amadeu foi uma exceção à minha pretensa regra juvenil: embora eu tenha sido sua aluna em única disciplina, História da Filosofia do Medievo,, foi o suficiente para estabelecer um elo que se mantém. Isso porque o Padre Amadeu é (...) aquele professor que cativa os alunos pelo seu jeito pausado e pacífico de falar associado à sua voz de radialista e as palavras de incentivo. Não sei ao certo se essas são características do perfil de professor que ele escolheu ser, ou por ser padre, ou ambos. (shrink)