In this paper we show the adequacy of tense logic with unary operators for dealing with finite trees. We prove that models on finite trees can be characterized by tense formulas, and describe an effective method to find an axiomatization of the theory of a given finite tree in tense logic. The strength of the characterization is shown by proving that adding the binary operators "Until" and "Since" to the language does not result in a better description than that given (...) by unary tense logic; although the greater expressive power of "Until" and "Since" can be exploited by using the semantics of e-frames instead of traditional Kripke semantics. (shrink)

The aim of this paper is to give, using the Kripke semantics for intuitionism, a representation of finitely generated free Heyting algebras. By means of the representation we determine in a constructive way some set of "special elements" of such algebras. Furthermore, we show that many algebraic properties which are satisfied by the free algebra on one generator are not satisfied by free algebras on more than one generator.

A new concept of model for the US-tense logic is introduced, in which ternary relations of betweenness are adjoined to the usual early-later relation. The class of these new models, which contains the class of Kripke models, satisfies, contrary to that, the Distinguishable Model Theorem, in the sense that each model is equivalent to a model in which no two points verify exactly the same formulas.

The semantics of e-models for tense logics with binary operators for `until' and `since' (US-logics) was introduced by Bellissima and Bucalo in 1995. In this paper we show the adequacy of these semantics by proving a general Henkin-style completeness theorem. Moreover, we show that for these semantics there holds a Stone-like duality theorem with the algebraic structures that naturally arise from US-logics.

We consider the problem of finding, in the ambit of modal logic, a minimal characterization for finite Kripke frames, i.e., a formula which, given a frame, axiomatizes its theory employing the lowest possible number of variables and implies the other axiomatizations. We show that every finite transitive frame admits a minimal characterization over K4, and that this result can not be extended to K.

We find a short way to construct a formula which axiomatizes a given finite frame of the modal logicK, in the sense that for each finite frameA, we construct a formula A which holds in those and only those frames in which every formula true inA holds.To obtain this result we find, for each finite model and each natural numbern, a formula which holds in those and only those models in which every formula true in , and involving the firstn (...) propositional letters, holds. (shrink)

We define the concepts of minimal p-morphic image and basic p-morphism for transitive Kripke frames. These concepts are used to determine effectively the least number of variables necessary to axiomatize a tabular extension of K4, and to describe the covers and co-covers of such a logic in the lattice of the extensions of K4.

Modal logics with the binary operator Until are considered. It is shown that there exists a continuum of consistent U-logics without Kripke frames, and that each U-logic whose class of order does not have the finite frame property.

It is common practice in formal semantics to assume that the context specifies an assignment of values to variables and that the same variables that receive contextually salient values when they occur free may also be bound by quantifiers and λs. These assumptions are at work to provide a unified account of free and bound uses of third person pronouns, namely one by which the same lexical item is involved in both uses. One way to pursue this account is to (...) treat quantifiers and λs as monsters in Kaplan’s sense. We argue that this move should be avoided and explore an alternative route based on the idea that there is a variable assignment coordinate in the context and a variable assignment coordinate in the circumstance of evaluation, with the definition of truth in context identifying them. One fundamental challenge that arises in pursuing a unified account is to explain the difference in the way the gender presuppositions of bound and free pronouns project. The proposal that emerges from the attempt to meet this challenge is a non-indexical account of free third person pronouns and a new conception of the role and structure of assignment functions. (shrink)

En este breve comentario discuto algunos aspectos de la interpretación de la epistemología de Davidson que sugiere Willian Duica en su reciente libro. Luego de una presentación somera del libro me centro en tres asuntos centrales de la interpretación de Duica. En primer lugar, argumento que su lectura de la crítica de Davidson al dualismo esquema/contenido es muy restrictiva y deja abierta la posibilidad de un realismo directo empirista. En segundo lugar, argumento que en su lectura el propio Duica se (...) compromete inadvertidamente con un empirismo de este tipo y, de este modo, su interpretación entra en tensión con el coherentismo de Davidson. Finalmente, discuto algunos aspectos de la interpretación que hace Duica de la tesis davidsoniana de la triangulación. In this short comment I discuss some aspects of William Duica's interpretation of Davidson's epistemology in a recent book. After a brief review of the book, I focus on three central issues of Duica's interpretation. First, I argue that his reading of Davidson's criticism of the scheme/content dualism is too restrictive and leaves open the possibility of an empiricist direct realism. Second, I argue in his reading Duica inadvertently commits himself to an empiricism of this sort and, as a result, his interpretation is in tension with Davidson's own coherentism. Finally, I discuss some aspects of Duica's interpretation of Davidsonian triangulation. (shrink)

This article explores the ways in which suspects attempt to make putative victims/complainants at least partially responsible for the incidents for which they are investigated, transforming themselves into the victim and the other into the perpetrator. Drawing upon conversation analysis, I examine audio-recorded police interviews for low-level crimes in England and in which suspects have constructed what I refer as counter-denunciations. I argue that suspects accomplish these counter-denunciations through discursive practices that involve, for example (a) contrasting the complainant’s actions with (...) their own innocent conduct; (b) historicizing the event being investigated; and (c) discrediting the complainant’s character—stigmatizing. These practices have in common the suspects’ reliance on the relational and contextual character of the categories ‘offender’ and ‘victim’. (shrink)

Uma das questões mais interessantes do debate contemporâneo sobre a justiça, no âmbito da teoria política normativa, diz respeito sobre qual foco deveria ocupar a posição central de uma visão igualitarista: igualdade baseada em satisfação de necessidades básicas, bens primários como propõe Rawls, igualdade de recursos como defende Dworkin ou, como quer Amartya Sen, igualdade de capacidades? Com o que, afinal, os igualitaristas deveriam se preocupar? Este trabalho tem o objetivo de analisar criticamente essas três perspectivas.

In language learning, learners engage with their environment, incorporating cues from different sources. However, in lab‐based experiments, using artificial languages, many of the cues and features that are part of real‐world language learning are stripped away. In three experiments, we investigated the role of positive, negative, and mixed feedback on the gradual learning of language‐like statistical regularities within an active guessing game paradigm. In Experiment 1, participants received deterministic feedback (100%), whereas probabilistic feedback (i.e., 75% or 50%) was introduced in (...) Experiment 2. Finally, Experiment 3 explored the impact of mixed probabilistic feedback (33% positive, 33% negative, 33% no feedback). The results showed that cross‐situational learning of words was observed without feedback, but participants were able to learn structural regularities of the miniature language only when feedback was provided. Interestingly, the presence of positive feedback was particularly helpful for the learner, promoting more in‐depth learning of the artificial language. (shrink)

Resenha LÖWY, Michael. Romantismo e messianismo : ensaios sobre Lukács e Walter Benjamin. Trad. Myriam Vera Baptista e Magdalena Pizante Baptista, 2. ed. São Paulo: Perspectiva, 2012. 213p.

A motivação deste artigo é de apresentar resumidamente o que tem sido discutido academicamente sobre a formação do Primeiro Testamento, assim se tomou em voga dois termos que têm circulado o vocabulário acadêmico desde 1996 (a partir dos Congressos de Metodologia Histórica), maximalismo e minimalismo. E, em cima desses dois modos de pensar se fez um exercício perceptivo sobre a leitura do texto de Gênesis 1, mostrando a importância dessas discussões para a atualização hermenêutica dos discursos teológicos de hoje.

Com este artigo, pretendeu-se problematizar a integração da hipermídia educacional, nas Atividades de Estudo a Distância (AEDs), como possibilidade de potencializar a interação mediada por computador. Dessa forma, foram apresentadas algumas estratégias que embasaram o planejamento, a organização e a implementação de uma AED mediada pelo Modular Object-Oriented Dynamic Learning Environment (Moodle). Assim, observou-se que é essencial que as AEDs sejam planejadas e organizadas didaticamente pelo professor, que define quais propósitos pretende alcançar no contexto de ensino e aprendizagem mediado pelas (...) Tecnologias da Informação e Comunicação (TICs), pois, elaborar uma AED hipermidiática e guiar seu desenvolvimento, tanto com relação à tecnologia quanto ao próprio conteúdo em questão, colabora na proposição de alternativas para resolvê-las e também possibilita uma maior interação entre os envolvidos (professor e alunos) na apropriação crítica do conhecimento escolar, o que contribui para a sustentabilidade do processo ensino e aprendizagem significativo e interativo para todos os envolvidos. (shrink)

Organised around the themes of economy and politics; critical theory; and culture in order to offer an impressive range of thematic perspectives and critical angles, the book delves into the most pressing of today’s quandaries by combining stringent critical analysis with creative foresight. A rigorous examination of the current crisis of late-capitalist society, States of Crisis and Post-Capitalist scenarios develops paradigms that promise to rekindle the desire to move beyond capitalism towards a different social order.

O presente artigo tem como objetivo apresentar as premissas e justificativas que embasam o processo de elaboração e teste do projeto Kallipolis: o jogo dos governos. O projeto consistiu no desenvolvimento de um jogo que tem como objetivo ilustrar e criar um ambiente no qual um estudante ou interessado em filosofia descubra e pense a partir das reflexões que Platão apresenta no oitavo livro d’A República. Em vista disso, primeiro discorremos brevemente sobre os fundamentos filosóficos que embasam a concepção do (...) jogo, isto é, como pensamos os seus elementos a partir do livro VIII d’A República de Platão. Em seguida, explicamos a metodologia que propusemos para sua elaboração e testagem e, a partir do que foi observado no processo de realização dos testes, discutimos e apontamos algumas potencialidades e limitações do jogo em vista de seu uso pelo professor de Filosofia no Ensino Médio. (shrink)

Contemporary Darwinian medicine is a still-expanding new discipline whose principal aim is to arrive at an evolutionary understanding of aspects of the body that leave it vulnerable to disease. Historically, there was a precedent; between 1880 and 1940 several scientists tried to develop a general evolutionary theory of disease as arising from deleterious traits that escape elimination by natural selection. In contrast, contemporary Darwinian medicine uses evolutionary theory to consider all the possible reasons why selection has left human vulnerable to (...) a disease. (shrink)

Fábio Alves dos Santos (1954-2013) cursou Pedagogia, Ciências Sociais e Teologia, era Especialista em Filosofia da Religião (PUC Minas), Advogado (PUC Minas) e Mestre em Direito Constitucional (UFMG). Lecionou na PUC Minas como professor de Cultura Religiosa e depois como professor no Curso de Direito, atuando principalmente no Serviço de Assistência Judiciária – SAJ, especialmente cuidado de causas populares como as da ASMARE (Associação dos Catadores de Papel, Papelão e Material Reaproveitável de Belo Horizonte), da Pastoral de Rua, da Pastoral (...) Carcerária, de movimentos de “Sem Casa”, de ocupações e tantos outros grupos. Fábio sofria de grave problema de visão há mais de 15 anos. Quase ficou cego depois de diversas cirurgias de miopia. Isso, porém, não o impedia de seguir seu constante compromisso com as lutas populares. Na última entrevista que concedeu, menos de um mês antes de sua morte (19 de outubro de 2013), depois de duro sofrimento de quase dois anos, no tratamento de um câncer no pâncreas, conta um pouco de sua vida, sua luta e sua percepção de várias realidades, especialmente da Igreja e da pastoral. Militante formado na Teologia da Libertação, de profunda espiritualidade, marcada por traços da religiosidade popular nordestina e comprometida com a libertação, Fábio Alves também buscou em sua vida abrir-se à teologia do pluralismo religioso, especialmente com o Santo Daime, em cuja tradição religiosa chegou a ser “fardado”, mantendo uma profunda atitude espiritual aberta ao diálogo inter-religioso. Sua primeira publicação foi “Começo de mundo novo: sofrimento, luta e vitória dos posseiros de Santana dos Frades”, Sergipe, numa versão popular em 1981 e outra pela Editora Vozes (1990). Fruto de sua dissertação de mestrado, publicou o livro “Direito Agrário: política fundiária no Brasil (1995). Em 2001 saiu seu último livro, uma coletânea de artigos publicados em diversos jornais: “Em defesa da vida”. Num artigo em Horizonte (2004), juntamente com o advogado, amigo e colega Prof. Cristiano de Melo Bastos, discutiu “A prática jurídica na missão da PUC Minas”. Palavras-chave : Teologia da Libertação. Militância. Igreja Católica. Pastoral. Lutas populares. (shrink)

Internal misconduct is a universal problem in prisons and affects the maintenance of social order. Consequently, correctional institutions often develop rehabilitation programs to reduce the likelihood of inmates committing internal offenses and criminal recidivism after release. Therefore, it is necessary to identify the profile of each offender, both for the appropriate indication of a rehabilitation program and the level of internal security to which he must be submitted. In this context, this work aims to discover the most significant characteristics in (...) predicting inmate misconduct from ML methods and the SHAP approach. A database produced in 2004 through the Survey of Inmates in State and Federal Correctional Facilities in the United States of America was used, which provides nationally representative data on prisoners from state and federal facilities. The predictive model based on Random Forest performed the best, thus, we applied the SHAP to it. Overall, the results showed that features related to victimization, type of crime committed, age and age at first arrest, history of association with criminal groups, education, and drug and alcohol use are most relevant in predicting internal misconduct. Thus, it is expected to contribute to the prior classification of an inmate on time, to use programs and practices that aim to improve the lives of offenders, their reintegration into society, and consequently, the reduction of criminal recidivism. (shrink)

Das Buch untersucht die Bedeutung des Begriffs rationalitas bei Hildegard von Bingen. Zunachst wird die Herkunft des Begriffs von der griechischen Logoslehre uber die fruhchristliche Trinitatsspekulation bis hin zur ratio-Rezeption des Fruhmittelalters beleuchtet. Auf diesem Hintergrund entfaltet der zweite Teil die anthropologisch-theologische Bedeutung von rationalitas fur das Weltbild Hildegards.

What is the relationship between foreign policy, electoral campaigns, and public opinion? This work analyzes the electoral campaigns in Colombia in 2018 (Iván Duque) and 2022 (Gustavo Petro). The profiles of the candidates and their programmatic agendas are analyzed, identifying the continuity of issues associated with peace, security, borders, and the complex relationship with Venezuela. Despite the above, there was a turn to the left that shows changes in the preferences of Colombian public opinion.

Figurative experience, as a codified system of images, emerges in Europe about 40.000 years ago. Together with the development of a figurative system, Homo sapiens acquired his modern cognitive architecture: an entirely articulated language, as well-developed as our current phonological system is, and others cognitive capacities such as basic drawing skills, self-consciousness and group cohesiveness. “Making sign”, as a complex nonverbal symbolism, is a crucial stage in human evolution: a stage of complex symbolism by means of a non-verbal language. Its (...) value is both eidetic, when it aims at producing metaphoric and shared images, and individual, when it is involved in individual performances, that do not imply spectators. (shrink)