Cut elimination is shown, in a constructive way, to hold in sequent calculi labelled with truth values for a wide class of normal modal logics, supporting global and local reasoning and allowing a general frame semantics. The complexity of cut elimination is studied in terms of the increase of logical depth of the derivations. A hyperexponential worst case bound is established. The subformula property and a similar property for the label terms are shown to be satisfied by that class of (...) modal sequent calculi. Modal logics presented by these calculi are proven to be globally and locally consistent. (shrink)

Labelled sequent calculi are provided for a wide class of normal modal systems using truth values as labels. The rules for formula constructors are common to all modal systems. For each modal system, specific rules for truth values are provided that reflect the envisaged properties of the accessibility relation. Both local and global reasoning are supported. Strong completeness is proved for a natural two-sorted algebraic semantics. As a corollary, strong completeness is also obtained over general Kripke semantics. A duality result (...) is established between the category of sober algebras and the category of general Kripke structures. A simple enrichment of the proposed sequent calculi is proved to be complete over standard Kripke structures. The calculi are shown to be analytic in a useful sense. (shrink)

O presente artigo é marcado por reflexões acerca dos desafios da supervisão escolar: o papel do supervisor escolar no planejamento participativo-escolar. O objetivo geral é identificar os desafios do supervisor escolar quando da elaboração do planejamento participativoescolar. São objetivos específicos: conceituar supervisor escolar, analisar sua previsão legal, suas responsabilidades e atribuições; conceituar planejamento participativo, bem como indicar sua importância na comunidade escolar. O planejamento participativo-escolar é de extrema importância à gestão democrática da escola, que é parte integrante da rede de (...) direitos prevista constitucionalmente. Ainda: o planejamento participativo analisa e norteia todas as ações que possam intervir na escola, daí sua importância: afeta a sociedade na qual a escola está inserida. Outrossim, é importante que o bem comum prevaleça ante o interesse de um particular, ou seja, deve se pensar em um saber-fazer coletivo. O sustentáculo teórico do texto são os ensinamentos de Paulo Freire e, a partir deles, exsurge o pensamento de que o educando também pode e deve participar dos processos decisórios do território escolar, fortalecendo, assim, uma dimensão de exercício democrático na escola, permitindo e incentivando a participação orgânica da comunidade escolar no fazer-pensar do educandário. O método de abordagem é o dedutivo, e o método é de procedimento monográfico com técnicas de pesquisa bibliográfico-documental. O enfoque principal do trabalho está centrado no estudo da importância do supervisor escolar no planejamento participativo-escolar, bem como da participação dos estudantes e da comunidade escolar nos processos de tomadas de decisão. Palavras-chave: Supervisor escolar. Planejamento participativo. Escola. (shrink)

Atualmente, observa-se o crescimento do número de adeptos às vertentes conservadoras de movimentos políticos e religiosos no cenário brasileiro e mundial. No catolicismo, destacam-se os chamados tradicionalistas, representantes da ala ultraconservadora da Igreja. Os “tradicionalistas de Campos”, em específico, encontram-se divididos entre as ideias apologéticas do Concílio de Trento, as exigências da sociedade moderna e a reforma proposta pelo Vaticano II, necessitando desenvolver adaptação do seu modo de comunicar seu ideal antimodernista, sem romper sua identidade idealizada. Nesse contexto, é produzida (...) nova identidade dentro de uma pluralidade de identidades, comunicando-se com estas, ainda que para negá-las – a Igreja Pós Conciliar e a sociedade onde está inserida. Portanto, nesta pesquisa, pretende-se analisar o ethos discursivo de Padre/Dom Rifan, nos seus livros Quer agrade, quer desagrade, escrito quando era porta voz da cismática União sacerdotal São João Maria Vianney, e o livro Sementes, escrito como bispo e administrador apostólico da referida Administração Apostólica. A partir da metodologia e referencial teórico da Análise do Discurso de filiação francesa, busca-se uma compreensão das bricolagens feitas pelo atual bispo administrador, que constituem o neotradicionalismo da Administração Apostólica, a qual, inspirada por seu líder, desenvolve um antimodernismo pós-moderno. Palavras-chave: Catolicismo. Antimodernismo. Tradicionalismo. Ethos Discursivo. (shrink)

Ugar and Malele 1 critique the use of ‘generic’ technologies like artificial intelligence (AI) and machine learning (ML) for mental health diagnoses, particularly in sub-Saharan African countries. They highlight how these AI medical tools often overlook traditional perspectives and local contexts. The article has the merit of working on ethical issues regarding the particularities and risks of using AI and ML for health diagnosis in the Global South, an urgent and neglected topic. According to the authors, the use of these (...) AI technologies leads to overgeneralisation in diagnosing mental disorders, which could be especially problematic in the mental health field because of value-laden judgements intrinsic to the definition of mental health disorders. This argument is theoretically grounded in the hybrid conceptualisation of mental disorders proposed by Wakefield. 2 This author’s perspective incorporates both factual and value components in defining mental disorders, framing them as context-dependent ‘harmful dysfunctions’... (shrink)

Ce dossier thématique, consacré au passage du philosophe Emmanuel Falque par l’Université de Coimbra, à la Faculté des Lettres, dans le cadre de la Journée Internationale d’études philosophiques, intitulée «L’im‑pensable: Aux confins de la phénoménalité», qui a eu lieu le 26 mai 2022, donne encore une fois la parole au philosophe lui‑même, avec des articles et un entretien inédit, en présentant aussi un ensemble d’articles qui font écho à son projet philosophique.

No ano de 1985, a pedido do então prefeito de Ivatuba, Adolfo Semprebom, o jornalista londrinense Antônio Padilha escreveu e organizou uma revista sobre a história denominada de oficial do município. No presente artigo, é apresentada uma análise sobre esta publicação buscando compreender a construção de alguns discursos sobre a memória coletiva de Ivatuba, sob a ótica do “pioneiro”, considerado agente fundamental e percussor da ocupação e expansão da cidade. Nesse sentido, tornou-se fundamental atentar para os “não-ditos” como, por exemplo, (...) a presença de indígenas, a rápida devastação da cobertura vegetal na região e suas implicações para o ambiente. (shrink)

O presente estudo tem o objetivo de mapear dissertações e teses brasileiras na área da Educação que, no método de investigação, utilizaram-se da Fenomenologia como referência. O levantamento foi realizado no Banco de Teses e Dissertações da Capes, encontrando-se 1.142 registros, dos quais 89 foram analisados, referentes aqueles orientados pelos pesquisadores com maior número de orientações nesta perspectiva. Constatou-se um aumento da presença da Fenomenologia nos estudos da área da Educação, além da grande diversidade de procedimentos adotados. Identificou-se, ainda, a (...) presença marcante da Hermenêutica, em detrimento de pesquisas fundadas exclusivamente na Fenomenologia Estrutural. (shrink)

This article presents an extension of the theory of justice as equity, as presented by John Rawls in his book A Theory of Justice (1971). For the international level he did the same again in Law of Peoples (1999). In the first book, Rawls discusses the so-called theoretical ideal, analyzing ju..

The political dimension of science has gained a particular interest in most recent decades for areas of knowledge like the Philosophy of science, as well as for political studies of science, history of science, among others. One reason for this development is that we are more conscious the results obtained by a scientist are a product of the interaction and interrelation of epistemic and none epistemic values. This dynamic is one of the factors which make progress in science possible and (...) reflects, at the same time, its integrity. Based on the contributions provided by Philip Kitcher, I shall characterize in this paper the two forms to treat scientific knowledge from a philosophical perspective. I shall argue, following Kitcher, that the scientific practice and social aspects of knowledge are not two different and disconnected things, but a unity of reasons which enable the progress of scientific knowledge. (shrink)

Is the dream of EU endangered? This book reviews classic and modern values and virtues, and uses them in order to rethink Europe's present politics and its future. The idea of the Republic was born with the political ethics of ancient Greece. The current international crisis obliges Europe to face the mirror of truth: What has become of the European Idea and how fares the European Constitution? It has been a long road from the Greek Politeia to the present lack (...) of values and financial monomania in Europe, who seems to have lost any harmony between the spirit, the soul and the body of her Constitution: the will and values of the people (material constitution), the text of the Lisbon Treaty (formal constitution) and its current political interpretation and action (real constitution), making Europe a two-tier or three-tier club, far from the dream of the founding fathers. Without republican values and virtues, and failing to uphold the European social model, the European Union would devolve into moral, social and democratic bankruptcy. (shrink)

Em trabalhos anteriores (ROUANET 2005, 2012), procurei destacar a complementaridade entre as teorias de John Rawls e Jürgen Habermas. Neste texto, porém, procurarei destacar um possível ponto de tensão entre ambas as teorias, o qual gira em torno das noções de igualdade e liberdade. Em outros termos, embora eu tenha até o momento preferido buscar uma síntese entre as teorias dos dois pensadores contemporâneos, neste momento gostaria de analisar a viabilidade dessa síntese, a partir da constatação da diferença entre ambos (...) no que concerne à concepção desses dois conceitos. Para fazê-lo, procurarei tratar separadamente a maneira como os dois autores enfrentam essas duas noções – de igualdade e liberdade. Em seguida, procurarei analisar até que ponto as diferenças encontradas nas obras dos dois filósofos dificultam ou mesmo inviabilizam a “conciliação” entre suas respectivas teorias. (shrink)

In this article we study applications of the bounded functional interpretation to theories of feasible arithmetic and analysis. The main results show that the novel interpretation is sound for considerable generalizations of weak König’s Lemma, even in the presence of very weak induction. Moreover, when this is combined with Cook and Urquhart’s variant of the functional interpretation, one obtains effective versions of conservation results regarding weak König’s Lemma which have been so far only obtained non-constructively.

Com base nas suas obras Sistema da natureza ou das leis do mundo físico e do mundo moral, de 1770, e A moral universal ou os deveres do homem fundamentados na sua natureza, de 1776, o objetivo deste artigo é tratar dos fundamentos teóricos e das consequências práticas da filosofia moral do pensador materialista e ateu e iluminista Barão de Holbach (1723-1789), a qual tem na felicidade a sua finalidade última, na educação e na política os seus meios concretos, e (...) nas leis gerais da matéria, que seriam absolutamente físicas, seu fato primordial e, ao mesmo tempo, o seu principal desafio. (shrink)

Pedro de João Olivi sustenta que a atenção intencional tem de ser posta como a condição para o desempenho ativo do ato cognitivo perceptual. A intencionalidade é um componente natural da apreensão sensorial. Em Olivi, ela requer que a alma tenha uma natureza ativa, pois o desempenho intencional é precípuo à alma e é independente de elementos representacionais intermediários, como as species. Olivi não reduz o ato cognitivo ao modo de ação ativo ou passivo, mas adiciona a causa terminativa como (...) uma função do objeto na produção do ato. A terminação, então, é crucial para mostrar como a atenção cognitiva é classificada como intencional. Por fim, este artigo sustenta que a atenção intencional como a condição pré-experiencial garante o acesso imediato aos objetos do mundo exterior. (shrink)

O presente artigo trata do ensino afetivo da Teologia a partir da noção de empatia em Edith Stein. Tem por objetivo, a partir de revisão de literatura acerca do tema, propor pistas para um ensino afetivo da Teologia que leve em consideração a noção de empatia proposta pela filósofa e educadora. Levantou-se diferentes estudos referentes ao tema da empatia a partir de Stein, para explicar o conceito do ato de empatizar e relacioná-lo ao contexto do ensino, bem como estudos acerca (...) da afetividade no ensino superior e no ensino da Teologia, norteados pelas reflexões de Restrepo (1998) e Boff (2015). A partir da análise da literatura selecionada, apresentou-se as pistas para um ensino “empático-afetivo” que consideram os graus do ato de empatizar, a dimensão emotiva-afetiva na educação e o papel da linguagem. Concluiu-se que, não só é possível pensar um ensino afetivo a partir do conceito de empatia, como se mostra necessário considerar essa perspectiva ao visar uma formação integral do ser humano. (shrink)

A entrevista foi articulada durante a visita da antropóloga Clarice Novaes da Mota no mês de abril de 2018 ao Rio de Janeiro – RJ, sendo os diálogos articulados virtualmente durante os meses de maio e junho de 2018. A entrevista traz um dos primeiros trabalhos antropológicos com os Povos Indígenas do Nordeste, sendo este construído pela Clarice Novaes da Mota com os Xokó no Estado de Sergipe. Os diálogos foram construídos diante das categorias: Cosmopolítica, Plantas Mágicas, Etnogênese, entre outras, (...) onde a antropóloga sedimentou o seu trabalho. (shrink)

The discussion on the authenticity of Plato’s Seventh Letter should consider its distinct parts, some incongruences between them and the editorial process of Plato’s later works. The number of times Plato has given advice and the number of travels to Sicily are differently indicated in the letter. These incongruences could be a sign of different Platonic texts being assembled by an ‘editor,’ becoming a relevant matter for the analysis of the text and its authorship.

MORCILLO, MARTA GARCÍA. LAS VENTAS POR SUBASTA EN EL MUNDO ROMANO: LA ESFERA PRIVADA. Barcelona, Universidad de Barcelona, 2005, 372 pp.

O artigo aborda o tema da Inteligência Artificial (IA) e seu papel na sustentabilidade econômica e social em diversas fases. Inicialmente, realiza uma revisão bibliográfica extensiva para estabelecer um marco teórico, identificando estudos anteriores que exploram a relação entre IA, emprego e sustentabilidade. Em seguida, adota uma abordagem qualitativa para analisar como a IA influencia a dinâmica do mercado de trabalho, focando em desafios como desemprego tecnológico e oportunidades para novas formas de empregabilidade. Baseando-se na teoria da Sociedade de Risco (...) de Ulrich Beck e imbuído do otimismo racional de Matt Ridley, a pesquisa discute os riscos, com ênfase no desemprego decorrente da automação gerada pela IA, seus benefícios e possíveis elementos enfrentadores e mitigadores, sejam jurídicos, regulatórios, políticos ou empresariais. As conclusões enfatizam o potencial da IA em promover o desenvolvimento sustentável, mitigando riscos como o desemprego tecnológico, desde que haja um esforço conjunto entre governos, setor privado e a sociedade. (shrink)

Jean-Luc Nancy’s oeuvre, despite its fragmentariness, is made consistent by the concept of being-with. Nancy invokes this concept in reaction to the privileged status of the self in traditional philosophy. For him, there is no self without being-with, which is why in his ontology the latter is originary. Nancy, nevertheless, admits the existence of the self. The question, therefore, is what becomes of the self in relation to being-with? Although Nancy discusses the self, he does so in separate, albeit related, (...) instances. In other words, he has no unitary account of the self and his discussions of it have yet to be integrated. This paper offers a synthetic account of Nancy’s understanding of the self by tracing the continuity of his writings on being-with. This continuity reveals that the self for Nancy is not a pure self, but a self that is other than “self,” viz., body. The self as body relates to itself and to other bodies, although the relation is not enclosed. A body is grasped only in its distinction from other bodies. The sense of self in Nancy’s ontology, then, arises from the simultaneous co-appearance of bodies to one another. (shrink)

Organizado em quatro partes, divididas em dezoito capítulos, este livro articula análise filosófica e hermenêutica literária, apresentando um fio condutor que reside nos processos criativos ou «poiéticos» onde o «si-mesmo» se forma e transforma como configuração de símbolos e obra de linguagem, no atelier da memória e da imaginação (auto)biográficas. O livro evidencia o carácter aberto, exploratório, experimental da literatura, em geral, e das experiências da escrita e da narração, em particular, mas também a característica fugidia, instável, e talvez nunca (...) totalmente capturável destas experiências na primeira pessoa. Nele, são explorados os processos de construção da subjetividade e da identidade (pessoal ou coletiva) e interrogados os mecanismos da interpretação da vida e do mundo. (shrink)

Trata-se de buscar convergências entre as teorias de John Rawls e Jürgen Habermas, sem negligenciar suas diferenças. A partir da Teoria da Justiça como equidade, de Rawls, e da Teoria da ação comunicativa, de Habermas, procura-se alcançar uma síntese, por meio da ideia de razão pública, a fim de contribuir para a construção de um novo paradigma político.

JUIZ, FORMA E SUBJETIVIDADE: A IDEOLOGIA COMO IMPOSIÇÃO NA APLICAÇÃO DA PENA BASE.

A relação entre música e ciência é um capítulo importante na história da ciência e da filosofia. Este artigo procura discutir alguns aspectos das investigações de Marin Mersenne sobre a música e a acústica, tendo em vista o desenvolvimento da teoria da coincidência da consonância e seu compromisso com uma visão mecânica da natureza, pela qual ele estabeleceu as propriedades físicas do som e proporções matemáticas dos intervalos musicais.

Este artigo visa apresentar o estudo das relações de identidade no Cristianismo Antigo a partir da recepção de Elementos do Helenismo Religioso. Estas confluências, advindas anteriormente das relações com o Judaísmo da Diáspora, no Egito Ptolomaico (LXX – séc. IV a.C), são consolidadas com a formação geopolítica e religiosa da Expansão do Cristianismo na Ásia Menor, durante o IIo século. Através da exposição de ‘The Religious Context of Early Christianity’ (KLAUS, 2000) abordaremos as vicissitudes da Religião Helênica em mutação entre (...) a Filosofia da Felicidade e o Retorno do Divino Absoluto no Gnosticismo. Em diálogo com um tradicional estudo sobre a ‘atmosfera’ antiga nas relações entre a Gnose antiga, o Judaísmo e o Cristianismo (MINNERATH, 1973) serão traçadas as vias expostas pela obra de Klauck. No dizer do autor, trata-se de empreender um percurso que nos permita descortinar o ‘inteiro horizonte’ (KLAUS, 2000. p. 6) do Gnosticismo. (shrink)

In this text we present the articles contained in issue 6 of Con-Textos Kantianos, which is dedicated to the relation between Kant’s philosophy and current discussions in philosophy of mind and epistemology. The articles are organized in three sections, dedicated respectively to sensory consciousness and judgement, spontaneity and Kantianism and science.

Como o solipsismo metodológico, recusando tanto o "pós-modernismo relativista", o "neo-iluminismo" e qualquer espécie de fundacionismo, pode estabelecer um núcleo de verdades imunes ao ceticismo radical? A supra-conjecturalidade deste solipsismo é o expediente metodológico que baliza as escolhas neste âmbito mais amplo que é o da conjecturalidade. Se neste território a falibilidade é sempre possível, também é nele que se encontra a única racionalidade que somos capazes de constituir. E também as melhores teorias capazes de dar conta de nossas experiências.

The Leslie matrix model for discrete population growth has been modified and used several times in population dynamics. A review is given of the basic model and of its principal modifications. The modifications relating to the influences of ‘internal’ or ‘external’ factors to the population are studied with greater detail. The same applies to models where the population is divided in stages rather than in age classes. In the same line, Hadjibiros studied a more general model, where the transition matrix (...) corresponds to a population divided in stages of unequal duration, and where the time varying influences of the ‘internal’ or ‘external’ factors are included. This model offers the possibility of computer simulation of the population dynamics of a natural population represented by a demographic vector. Some kind of relationship is proposed between the general matrix model and the Lefkovitch matrix ; the elements of which, obtained by regression techniques from census data, describe the biological dependance of a stage i at time t + 1 on a stage j at time t. (shrink)

A presente proposta tem por objetivo refletir sobre a experiência didático­ pedagógica dos Laboratórios de Pesquisa e Prática de Ensino em Ciências Sociais – LAPPCS, componente curricular necessário à formação de professores de sociologia para o ensino médio, do Curso de Licenciatura em Ciências Sociais, do Centro de Desenvolvimento Sustentável do Semiárido – CDSA/UFCG. Os LAPPCS podem ser caracterizados como espaços de análise crítico­reflexivo das escolas de Ensino Médio, predominantemente, em suas dimensões organizacional, pedagógica e cultural, nos quais se analisa (...) o trabalho docente com os diferentes sujeitos da aprendizagem: crianças, adolescentes, jovens e adultos do campo e da cidade. A pesquisa, como prática contínua, constitui uma ferramenta fundamental para os LAPPCS, possibilitando, ao futuro docente, diagnosticar situações relacionadas com o sujeito da aprendizagem, elaborar ações planejadas, executá­las e avaliá­las, contribuindo para que o fenômeno educativo aconteça de forma satisfatória, contextualizada e intercultural. (shrink)

Logics for ‘generally’ were introduced for handling assertions with vague notions , which occur often in ordinary language and in science. LG’s provide a framework for distinct notions of ‘generally’: one builds a specific logic for the notion one has in mind. We introduce deductive systems, in natural deduction style, for LG’s and show that these systems are normalizable.