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)

A história do pensamento ocidental, desde seus primórdios na Grécia Antiga até os tempos atuais, é transpassada pela questão de Deus, que mantém a sua relevância mesmo no contexto pós-metafísico no qual estamos inseridos. A busca pelo significado derradeiro da existência humana justapõe a questão do homem à questão de Deus, que adquire, dessa forma, um status imperativo. Mas, como articular o discurso sobre Deus na atual conjuntura, caracterizada por uma visão materialista e imediatista da existência humana? Em nossa reflexão, (...) buscamos analisar as perspectivas da linguagem em relação à abordagem de Deus. Verificamos a impossibilidade da utilização de uma linguagem determinativa, com pretensões de definições últimas, no discurso sobre o Absoluto, visto que a experiência de Deus suscita múltiplas representações, sendo todas elas visões parciais de uma realidade inacessível ao cálculo racional. Diante disso, buscamos percorrer a via delineada por Emmanuel Levinas, que não se apressa em nomear o Infinito, mas aborda sua significação a partir da trama ética. Consideramos esperançosa tal abordagem, frente aos desafios que se apresentam nos tempos contemporâneos. Palavras-chave : Deus; cálculo racional; ética; Levinas.The history of western thought, since its beginning in ancient Greece up to now, is surrounded by God, who has kept his relevance even in the post - metaphysical context in which we are in. The ultimate search for the real meaning of human existence juxtaposes mankind and God, therefore it acquires an imperative status. However, how does one formulate the speech about God nowadays, when there is a materialistic view of human existence? In this reflection, we intend to analyze the perspectives of language in relation to God. It is identified the impossibility of use of certainty in language, claiming correct definitions in the speech about The Absolute, once that the experience of God raises multiple interpretations, and all of them are partial views of an inaccessible reality to the rationale. Therefore, we tend to follow Emmanuel Levinas’ line of thought which is not in a hurry to name the Infinity, but deals with its meaning through ethics. Such thought is considered to be hopeful regarding the challenges that appear in the contemporary times. Key words : God; rational calculation; ethics; Levinas. (shrink)

A expressão “o Messias sou eu” aplica-se à relação ética como primeiro acontecer do messias. Subjetividade mesma do sujeito. Através de comentários rabínicos do Talmude, Lévinas traz uma hermenêutica que faz recurso à ética como proximidade e responsabilidade inalienável e insubstituível por outrem. Nesse sentido, as noções hebraicas de messianismo e dizer profético , lidas no midraxe da hermenêutica rabínica, permitem avançar na ideia da linguagem religiosa em seu sentido original: ética. Tais noções habitam uma ordem metafórica que permite ao (...) pensamento desdizer-se e a querer dizer outramente. Nos comentários do Talmude não há lugar para o entusiasmo religioso ou para o arrebatamento de uma experiência mística, mas hermenêutica rigorosa e ininterrupta à procura de sentido que está sempre mais além. Tal maneira de ler a experiência religiosa abandona o sagrado numinoso para se chegar à transcendência como ética. Trata-se do pensamento marcado pela experiência do homem refém de todos os outros. Esse homem é necessário aos outros homens, visto que, sem ele, a moral não começaria em parte alguma. É homem messiânico contemporâneo, eleito e profético. Em Lévinas, o Messias sou eu . Palavras-chave : Hermenêutica. Religião. Ética. Messias.The expression "I am the messiah" applies to the ethical relationship as the first task of the messiah: the subjectivity of the own subject. Through rabbinic commentaries from the Talmud, Levinas brings us a hermeneutic that understands ethics as proximity and responsibility, irreplaceable and inalienable by others. In this sense, the Hebrew notions of messianism and prophetic words, taken from the midrash within the rabbinic hermeneutics, allow us to advance on the idea of religious language in its original sense: ethics. Such notions are metaphors that take the thought to reveal itself in other ways. In the comments of the Talmud there is no place for religious enthusiasm or for any sort of rapture of mystical nature. But, there is indeed, a place for a rigorous hermeneutic that it is in permanent search for a kind of meaning that is always beyond. This way of understanding the religious experience leaves the sacred numinous and understands transcendence as ethics. In this sense the thought appears marked by the experience of the man who is seen as hostage to each other. This man is necessary to the other man, since without him the moral would never start anywhere. Within Levinas perspective, ‘I am’ this contemporary and elected messiah. Keywords : Hermeneutic. Religion. Etic. Messiah. (shrink)

O consagrado livro de Benedito Nunes sobre Clarice Lispector, cuja versão definitiva (e expandida) foi publicada em 1989, teve duas edições anteriores: a primeira publicada em 1966, com o título de O mundo de Clarice Lispector, e a segunda em 1973, intitulada Uma leitura de Clarice Lispector. A primeira versão, de 1966 chamou a atenção do filósofo Vilém Flusser, que escreveu e publicou no Suplemento Literário do Estado de São Paulo, em sua edição de 25/06/1966, uma entusiasmada resenha sobre o (...) livro, na qual transparece o reconhecimento, por Flusser, de sua tese da proximidade possível entre a filosofia analítica da linguagem e o pensamento existencial. Nessa resenha, o filósofo tcheco-brasileiro avalia a contribuição de Nunes e de Lispector importante em nível mundial, declarando a necessidade de que a obra do filósofo belenense fosse traduzida para outros idiomas, de modo a alcançar um público mais amplo. (shrink)

Desigualdade, pobreza e diferença: precariedade na vida escolar Resumo: O presente artigo tem como objetivo analisar a desigualdade, a pobreza e as diferenciações inferiorizadoras – discriminações e segregações – e seus efeitos de precarização sobre a vida escolar: reprovação e abandono escolar. O centro crítico da análise encontra-se na circularidade viciosa pela qual, num sentido, a desigualdade e a pobreza determinam diferenciações inferiorizadoras que resultam em fracasso escolar e, no sentido inverso, o fracasso escolar resulta em mais pobreza e mais (...) desigualdade. Tal processo selaria a impossibilidade de cumprimento do direito universal à educação, inscrito como promessa nos ideais da democracia liberal. O estudo pode ser caracterizado como bibliográfico, embasado em autores do campo da economia, sociologia, direito e filosofia, com especial apoio em documentos da ONU, UNESCO, OCDE e Constituição Federal brasileira. Os resultados do estudo apontam para as graves responsabilidades das políticas públicas, dos sistemas de ensino e dos projetos pedagógicos das unidades escolares em interromper a circularidade dessa precarização. Palavras-chave: Desigualdade. Pobreza. Diferença. Precariedade. Fracasso escolar. Desigualdad, Pobreza y Diferencia: Precariedad en la Vida Escolar Resumen: El artículo analiza la desigualdad, la pobreza y las diferenciaciones inferiorizadoras - discriminaciones y segregaciones - y sus efectos de precarización sobre la vida escolar: reprobación y abandono escolar. El centro crítico del análisis se ubica en la circularidad viciosa por la cual, en un sentido, la desigualdad y la pobreza determinan diferenciaciones inferiorizadoras que resultan en fracaso escolar y, al inverso, el fracaso escolar resulta en más pobreza y más desigualdad. Esa circularidad sellaria la imposibilidad de cumplimiento del derecho universal a la educación - promesa de la democracia liberal. El estudio es bibliográfico, desde autores en la economía, sociología, derecho y filosofía, con especial apoyo en documentos de la ONU, UNESCO, OCDE y la Constitución Federal brasileña. Se apunta a las graves responsabilidades de las políticas públicas, de los sistemas de enseñanza y de los proyectos pedagógicos de las unidades escolares en interrumpir la circularidad de esa precarización. Palabras-clave: Desigualdad. Pobreza. Diferencia. Precariedad. Fracaso escolar. Inequality, Poverty and Difference: Precariousness in School Life: This article aims to analyze inequality, poverty and specific social differences - discrimination and segregation - and their impacts on precariousness of school life: failure and school dropout. The center of analysis lies in the vicious circularity by which, in a direction, inequality and poverty determine the differentiation of people that result in school failure, and on the way round, school failure results in more poverty and more inequality. Such circularity is an impossibility of compliance with the universal right of education - a promise of liberal democracy. It’s about a bibliographic study of a wide range of authors on economics, sociology, law and philosophy, with references to UN, UNESCO, OECD documents and the brazilian Federal Constitution. The results of the study point out to the responsibilities of public policies, educational systems and the pedagogical projects of the school units, to interrupt the circularity of this precariousness. Keywords: Inequality. Poverty. Precariousness. Difference. School Failure. Data de registro:08/07/2019 Data de aceite: 27/05/2020. (shrink)

A Língua Portuguesa surgiu na Península Ibérica e se espalhou pelo mundo por meio do processo de colonização. Após o contato entre o português e as línguas autóctones em Angola iniciou uma nova configuração linguística, com características peculiares ou próprias o que contribuiu para o surgimento da variedade angolana do português. O artigo 19º da Constituição da República de Angola (2010) estabelece a LP como a única língua oficial. A variedade angolana do português distanciou-se do Português Europeu ao longo do (...) tempo, daí que é de suma importância que haja debates que visem caracterizar e descrever esta nova realidade sociolinguística. Este ebook tem como objetivo atiçar debates sobre a variedade angolana do português buscando refletir as peculiaridades da variedade por forma a que se possa caminhar para a normalização e criação de dicionários e gramáticas que possam ser utilizadas no ensino de português em Angola. (shrink)

O presente artigo insere-se no quadro da Didática da Matemática, alicerçando na Teoria Antropológica do didático, uma teoria que tem o objeto de saber como seu foco, analisando-o a nível epistemológico e institucional e tem entre os seus elementos primitivos de analise, a abordagem ecologia, praxeológica e a noção de relação ao objeto. É sobre a relação ao objeto que o artigo concentra a sua discussão, a nível teórico, objetivando mostrar como a DM pode contribuir para um debate sobre a (...) decolonização epistemológica de saberes no ensino da Matemática. Em nossa analise, destacamos a abordagem ecológica como o principal elemento de análise na TAD que, ao se situar na análise das condições e restrições de vida do objeto em seu ambiente conceitual, procura compreender como o objeto está posto nos currículos, ao questionar sobre o que existe? o que não existe? o que desapareceu e porquê? o que existe em outros ambientes de vida e não estão aqui? Porque que não estão aqui? Etc. A DM procura por este meio, questionar e denunciar as práticas de ensino que tem as epistemologias do pensamento moderno colonial, eurocêntrico/ocidental como únicas formas de produção do conhecimento matemático, e que por via disso, tendem a subjugar, subalternizar, primitivizar sabedorias outras, não eurocêntricas/ocidentais. Ao mesmo tempo que denuncia, por meio da abordagem praxeológica, propõe ações, mecanismos que possibilitem trazer e discutir as sabedorias não eurocêntricas/ocidentais em espaços escolares, para participarem do processo de produção do conhecimento científico, através do processo de circulação de saberes ou praxeologias entre instituições. (shrink)

A teoria psicossomática aristotélico-tomista acerca das paixões constitui o fundamento principal da visão dos jesuítas nos séculos XVI e XVII. Tal conhecimento reflete-se na forma como o teólogo e pregador jesuíta Antonio Vieira (1608-1697) serviu-se de tais teorias, na arte da pregação, para mover os afetos, persuadir a razão e convencer os ouvintes. Desse modo, apresentamos os elementos essenciais que caracterizam a teologia da pregação, no período da Escolástica Barroca a partir do sermão das chagas de São Francisco. Neste sermão (...) o padre Antonio Vieira reconhece em Francisco de Assis a segunda estampa de Cristo crucificado. Além disso, discute as questões das paixões da alma na sua relação com os sentidos humanos e apresenta a unio mystica como expressão da conversão. Assim, no âmbito de uma espiritualidade que, como aquela dos jesuítas, valoriza o conhecimento de si mesmo, o sermão permite notar como se articulam no discurso o elemento psicológico e cognitivo, os aspectos da memória e da imaginação, dos afetos e da inteligência com a finalidade de converter e persuadir. (shrink)

A teoria psicossomática aristotélico-tomista acerca das paixões constitui o fundamento principal da visão dos jesuítas nos séculos XVI e XVII. Tal conhecimento reflete-se na forma como o teólogo e pregador jesuíta Antonio Vieira (1608-1697) serviu-se de tais teorias, na arte da pregação, para mover os afetos, persuadir a razão e convencer os ouvintes. Desse modo, apresentamos os elementos essenciais que caracterizam a teologia da pregação, no período da Escolástica Barroca a partir do sermão das chagas de São Francisco. Neste sermão (...) o padre Antonio Vieira reconhece em Francisco de Assis a segunda estampa de Cristo crucificado. Além disso, discute as questões das paixões da alma na sua relação com os sentidos humanos e apresenta a _unio mystica _como expressão da conversão. Assim, no âmbito de uma espiritualidade que, como aquela dos jesuítas, valoriza o conhecimento de si mesmo, o sermão permite notar como se articulam no discurso o elemento psicológico e cognitivo, os aspectos da memória e da imaginação, dos afetos e da inteligência com a finalidade de converter e persuadir. (shrink)

Este artículo pretende ofrecer un análisis profundo y documentado del libro La vida privada y pública de Sócrates, escrito por René Kraus y que ha sido publicado de nuevo por la editorial Arpa. El objetivo es presentar algunas consideraciones críticas sobre: 1) la presente y nueva edición y sus méritos o defectos; 2) el autor ¾el difunto periodista austriaco René Kraus y su biobibliografía¾; 3) los traductores ¾Miguel de Hernani/Miguel de Amilibia¾; 4) los contenidos del libro y 5) su recepción, (...) tanto en inglés como en español, con el fin de ponderar sus cualidades y naturaleza. Aparecen algunas figuras culturales importantes en ese proceso. Por último, se presentan las conclusiones, junto con recomendaciones para el editor y el prologuista. (shrink)

The current generation of Catholic seminarians is among the first ones to be trained to priesthood in a fully digital age, with unlimited access to sources for news, research, and controversies about science and religion, including the one opposing creationism and Darwinian evolution, despite favorable statements on evolution by twentieth and twenty-first century Popes. This article presents an online survey conducted in 2019 among 229 Brazilian seminarians; 48 percent of them espoused evolutionary views (below the average of Brazilians, and Brazilian (...) Catholics, polled in 2010 and 2014), while 55.9 percent considered evolution partially or fully compatible with Catholicism. Favorable views on evolution were more frequent among seminarians with a higher knowledge of the theory, and among those aware of papal statements on the subject, although it is not certain whether such awareness is the reason for a higher acceptance of evolution. Establishing relations of causation, which requires further research, can give evolution advocates a valuable tool to improve its acceptance among Catholics. (shrink)

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)

In this paper we give a brief treatment of a theory of proofs for a system of Full Intuitionistic Linear Logic. This system is distinct from Classical Linear Logic, but unlike the standard Intuitionistic Linear Logic of Girard and Lafont includes the multiplicative disjunction par. This connective does have an entirely natural interpretation in a variety of categorical models of Intuitionistic Linear Logic. The main proof-theoretic problem arises from the observation of Schellinx that cut elimination fails outright for an intuitive (...) formulation of Full Intuitionistic Linear Logic; the nub of the problem is the interaction between par and linear implication. We present here a term assignment system which gives an interpretation of proofs as some kind of non-deterministic function. In this way we find a system which does enjoy cut elimination. The system is a direct result of an analysis of the categorical semantics, though we make an effort to present the system as if it were purely a proof-theoretic construction. (shrink)

Linguistic Issues in Language Technology (LiLT) is an open-access journal that focuses on the relationships between linguistic insights and language technology. In conjunction with machine learning and statistical techniques, deeper and more sophisticated models of language and speech are needed to make significant progress in both existing and newly emerging areas of computational language analysis. The vast quantity of electronically accessible natural language data (text and speech, annotated and unannotated, formal and informal) provides unprecedented opportunities for data-intensive analysis of linguistic (...) phenomena, which can in turn enrich computational methods. Taking an eclectic view on methodology, LiLT provides a forum for this work. In this volume, contributors offer new perspectives on semantic representations for textual inference. (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)

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)

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)

The first aim of this note is to describe an algebraic structure, more primitive than lattices and quantales, which corresponds to the intuitionistic flavour of Linear Logic we prefer. This part of the note is a total trivialisation of ideas from category theory and we play with a toy-structure a not distant cousin of a toy-language. The second goal of the note is to show a generic categorical construction, which builds models for Linear Logic, similar to categorical models GC of (...) [deP1990], but more general. The ultimate aim is to relate different categorical models of linear logic. (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)

In the so-called digital culture, there is a constant presence of radical transformations on the cognitive and affective dimensions of the relations established among teachers and students. Upon this ubiquitous accessibility of information, the very historical and hierarchically verticalized relation between teachers and students has been increasingly questioned. Upon this situation, the authors in this article aim at stating that the revitalization of concepts developed by Paulo Freire, mainly the ones discussed in the books: ‘Pedagogy of Hope’, that sought a (...) re-encounter with ‘Pedagogy of the Oppressed’, ‘Extension or Communication’ and ‘Pedagogy of Freedom’ became essential to understanding how the relationship between teachers and students can be mutually re-signified. In these times of digital culture, we argue that the revitalization of the critical thinking proposed by Freire is able to foment a dialogical communication both in the pedagogical link shared by teachers and students and in the transformation of information into substantially and ethically experienced concepts. Such substantial and ethical experiences are the ones able to attest that the pedagogy of hope and the pedagogy of freedom are possible, provided they are constituted with the students and not for them. (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)

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..

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)

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.

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)

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)

Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited. In this work we propose a library for benchmarking Girard's (propositional) intuitionistic linear logic. For a quick bootstrapping of the collection of problems, and for discussing the selection of relevant problems and understanding their meaning as linear logic theorems, we use translations of the collection of Kleene's intuitionistic theorems in the (...) traditional monograph "Introduction to Metamathematics". We analyze four different translations of intuitionistic logic into linear logic and compare their proofs using a linear logic based prover with focusing. In order to enhance the set of problems in our library, we apply the three provability-preserving translations to the propositional benchmarks in the ILTP Library. Finally, we generate a comprehensive set of reachability problems for Petri nets and encode such problems as linear logic sequents, thus enlarging our collection of problems. (shrink)

Fuṣūṣ al-ḥikām é uma das obras mais importantes do místico e pensador andaluz Muḥyi al-dīn Ibn 'Arabī (1165-1240). Esse texto, um dos melhores exemplos do pensamento medieval, é um autêntico repositório simbólico do conhecimento da tradição abraâmica. Ao mesmo tempo, o mestre murciano atribui essa obra a uma experiência visionária na forma de conhecimento descendente do qual ele se sentia um mero transcritor. Este trabalho se propõe a analisar simbolicamente os desafios de um livro visionário e, por outro lado, os (...) recursos que ele utiliza: os profetas como arquétipos para justificar a antropologia transcendental do ser humano perfeito (insān al-kāmil) e a metodologia da "cadeia ligada" para legitimar um conhecimento além da razão. (shrink)

We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capture intensional features such as notions of computation, constraints, concurrency, etc. Both systems have so far been studied mainly from type-theoretic and category-theoretic perspectives, but Kripke models for similar systems were studied independently. Here we bring these threads together and prove duality results which show how to relate Kripke models to algebraic models and these in turn to the (...) appropriate categorical models for these logics. (shrink)

Este trabajo es una lectura estética-semiótica de la ṣalāt islámica. A menudo considerada como oración por influencia de la colonialización intelectual, diversos trabajos actuales han puesto en duda esta definición. Este trabajo pretende mostrar esta práctica desde una perspectiva estética, etnoescenológica y semiótica con el fin de resaltar otros elementos antropológicos de la performance como las transferencias energéticas, la vinculación con la naturaleza o el uso profundo de los sentidos.

Pretendemos mostrar que, no Górgias, diálogo dedicado à crítica da retórica, as frequentes alusões de Sócrates à compleição do corpo, bem como o uso recorrente de metáforas corpóreas para referir-se ao que, por analogia, passa-se com a alma servem de ferramenta retórica para fazer frente à retórica de Górgias. Desse modo, ao mesmo tempo em que chamamos atenção para a maneira como Platão se vale das armas do adversário justamente para atacá-lo, ressaltamos o papel imprescindível do corpo como evidência da (...) alma na filosofia platônica. Com isto, nosso intuito é reforçar a vertente interpretativa segundo a qual Platão pode ser entendido mais como um pensador que parte dos problemas prementes de seu tempo para daí nos conduzir a reflexões filosóficas – no diálogo em questão, as consequências políticas de uma paidéia pautada numa retórica sofística –, do que como um filósofo comprometido apenas com uma metafísica transcendente. (shrink)