This is the book of abstracts of the 19th Brazilian Logic Conferences. The Brazilian Logic Conferences (EBL) is one of the most traditional logic conferences in South America. Organized by the Brazilian Logic Society (SBL), its main goal is to promote the dissemination of research in logic in a broad sense. It has been occurring since 1979, congregating logicians of different fields — mostly philosophy, mathematics and computer science — and with different backgrounds — from undergraduate students to senior researchers. (...) The meeting is an important moment for the Brazilian and South American logical community to join together and discuss recent developments of the field. The areas of logic covered in the conference spread over foundations and philosophy of science, analytic philosophy, philosophy and history of logic, mathematics, computer science, informatics, linguistics and artificial intelligence. Previous editions of the EBL have been a great success, attracting researchers from all over Latin America and elsewhere. -/- The 19th edition of EBL takes place from May 6-10, 2019, in the beautiful city of João Pessoa, at the northeast coast of Brazil. It is conjointly organized by Federal University of Paraíba (UFPB), whose main campus is located in João Pessoa, Federal University of Campina Grande (UFCG), whose main campus is located in the nearby city of Campina Grande (the second-largest city in Paraíba state) and SBL. It is sponsored by UFPB, UFCG, the Brazilian Council for Scientific and Technological Development (CNPq) and the State Ministry of Education, Science and Technology of Paraíba. It takes place at Hotel Luxxor Nord Tambaú, privileged located right in front Tambaú beach, one of João Pessoa’s most famous beaches. (shrink)

The logic TK was introduced as a propositional logic extending the classical propositional calculus with a new unary operator which interprets some conceptions of Tarski’s consequence operator. TK-algebras were introduced as models to TK . Thus, by using algebraic tools, the adequacy (soundness and completeness) of TK relatively to the TK-algebras was proved. This work presents a neighbourhood semantics for TK , which turns out to be deductively equivalent to the non-normal modal logic EMT4 . DOI:10.5007/1808-1711.2011v15n2p287.

The logic TK was introduced as a propositional logic extending the classical propositional calculus with a new unary operator which interprets some conceptions of Tarski’s consequence operator. TK-algebras were introduced as models to TK. Thus, by using algebraic tools, the adequacy of TK relatively to the TK-algebras was proved. This work presents a neighbourhood semantics for TK, which turns out to be deductively equivalent to the non-normal modal logic EMT4.

This expository paper presents an application, to the modal logic S4, of the valuation semantics technique proposed by Loparić for the basic normal modal logic K. In previous works we presented a valuation semantics for the minimal temporal logic Kt and several other systems modal and temporal logic. How to deal with S4, however, was left as an open problem—although we arrived at a working definition of \(A_1,\ldots,A_n\) -valuations, we were not able to prove an important lemma for correctness. In (...) this paper we solve this, presenting valuations for S4. (shrink)

Sumário: 1. O conceito de revolução, Amélia de Jesus Oliveira; 2. Mudanças de concepção de mundo, Artur Bezzi Günther; 3. Habilidade e causalidade: uma proposta confiabilista para casos típicos de conhecimento, Breno Ricardo Guimarães Santos; 4. El realismo interno de Putnam y sus implicaciones en la filosofía de la ciencia y para el realismo científico, Marcos Antonio da Silva; 5.O papel da observação na atividade científica segundo Peirce, Max Rogério Vicentini; 6.Fact and Value entanglement: a collapse of objective reality?, Oswaldo (...) Melo Souza Filho; 7.Realismo interno e o paradoxo de Putnam, Renato Mendes Rocha; 8.Uma informação, dois formatos, dois destinos, Cícero Antônio Cavalcante Barroso; 9.O Mentiroso e as intuições acerca da noção de verdade na perspectiva de Saul Kripke, Ederson Safra Melo; 10.A conceptual difficulty with some definitions of behavior, Filipe Lazzeri; 11.A faceta epistêmica do problema da referência, Saulo Moraes de Assis; 12.Princípios metafísicos do método newtoniano, Bruno Camilo de Oliveira; 13.A resposta aristotélica para a aporia do regresso ao infinito nas demonstrações, Daniel Lourenço; 14.O uso da doutrina da ponderação aplicado ao principialismo, Cinthia Berwanger Pereira; 15.A fenomenologia da vida interior em Hannah Arendt, Elizabete Olinda Guerra; 16.Por que achar que o direito é formado por ordens é um fracasso?, ria Alice da Silva; 17 Por que ainda há poucas mulheres na filosofia? Uma versão modificada do modelo das “vozes diferentes”, Tânia A. Kuhnen; 18.Algumas considerações sobre Substância, Forma e Matéria na Metafísica de Aristóteles, Gabriel Geller Xavier. (shrink)

http://dx.doi.org/10.5007/1808-1711.2012v16n2p345.

This paper intends to introduce the three issues of Principia which will appear in a sequel honoring Newton da Costa’s 80th birthday. Instead of presenting the papers one by one, as it is common in presentations such as this one, we have left the papers speak by themselves, and instead we have preferred to present to the Brazilian readers, specialty to our students, some aspects of Newton da Costa’s conception of science and of the scientific activity, grounded on the concept (...) of quasi-truth, which he contributed to develop in a rigorous way. Da Costa is known as one of the founding fathers of paraconsistent logic, but his contributions go also to the foundations of physics, theoretical computation, model theory, algebraic logic, lattice theory, applications of non-classical logics to law and technology, etc. But perhaps his main contribution was to provide a basis for the birth of a school of logic in our country, serving as teacher and inspiring new researchers for generations. It is a pleasure to have had so enthusiastic acceptation from the editors of Principia to organize these volumes. I would like to thank the contributors and the editors of Principia, specially Prof. Cezar Mortari for his help in organizing the issue. (shrink)

I present in this note an alternative answer to the princesses' earring problem, found in the first chapter of Cezar Augusto Mortari's book "Introdução à Lógica”.

CAMILO, Bruno. Princípios metafísicos do método newtoniano. In: CONTE, Jaimir; MORTARI, Cezar Augusto. (org.). Temas em filosofia contemporânea. Florianópolis: NEL/UFSC, 2014. p. 172-183. (Coleção rumos da epistemologia; 13). -/- É no modus operandi de Isaac Newton que visualizamos a relação entre o método dedutivo e o indutivo na análise científica dos fenômenos e a relação entre a metafísica e a prática científica. Pois, de um lado temos a “mecânica racional”, a qual compreende que a única forma de garantir (...) a certeza de algo é dispô-lo matematicamente, propondo a redução da natureza às categorias matemáticas, de outro, temos a “mecânica geométrica” que propõe grandes sistemas coerentes com a realidade empírica, cujo experimento criterioso é fundamental para o estabelecimento de verdades ou conceitos acerca dessa realidade. O modus operandi newtoniano não negava este ou aquele método epistêmico, simplesmente, por divergirem em seus procedimentos, mas, encarava-os como métodos que podiam andar juntos, na construção do conhecimento científico. Analisemos como ele descreve seu método, seu modus operandi, para que seja necessária uma apreciação da influência da metafísica no método científico. (shrink)

É a metafísica uma ciência a priori ou a posteriori’? Suárez e a fundamentação da metafísica Resumo: Contra a interpretação de François Courtine, Rolf Darge afirma que para Francisco Suárez a metafísica é uma ciência que trata do ente entendido não como aquilo que pode ser objeto para a mente humana, mas como aquilo que é apto a existir de fato. A metafísica seria uma ciência real, entre outras razões, porque ela é uma ciência a posteriori. Este artigo pretende verificar (...) melhor a afirmação de que a metafísica de Suárez é uma ciência a posteriori. Pois, se de fato for assim, a interpretação realista que Rolf Darge oferece da metafísica de Suárez adquire maior plausibilidade. Palavras-chave: objeto da metafísica; empirismo; realismo. Is metaphysics an a priori or an a posteriori Science? Suárez and the foundation of metaphysics. Abstract: Against the interpretation of François Courtine, Rolf Darge affirms that for Francisco Suárez metaphysics is a science that deals not with being as that which can be an object for the human mind, but with being as that which is apt to actually exist. Metaphysics would be a real science, among other reasons, because it is a posteriori science. This article aims to verify the claim that Suárez's metaphysics is a posteriori science. If this is so, the realistic interpretation that Rolf Darge offers of Suárez's metaphysics acquires greater plausibility. Key-words: object of metaphysics; empiricism; realism. La métaphysique est-elle une science a priori ou a posteriori? Suárez et le fondement de la métaphysique. Résumé: Contre l'interprétation de François Courtine, Rolf Darge affirme que pour Francisco Suárez la métaphysique est une science qui traite de l'étant compris non comme ce qui peut être un objet pour l'esprit humain, mais comme ce qui est susceptible d'exister réellement. La métaphysique serait une vraie science, entre autres raisons, car c'est une science a posteriori. Cet article vise à mieux vérifier l'affirmation selon laquelle la métaphysique de Suárez est une science a posteriori. S'il en est ainsi, l'interprétation réaliste que propose Rolf Darge de la métaphysique de Suárez acquiert une plus grande plausibilité. Mots-clés: objet de la métaphysique; empirisme; réalisme. Data de registro: 16/09/2021 Data de aceite: 20/10/2021. (shrink)

Plusieurs commentateurs n’ont retenu que le premier moment de la dialectique du sacré de Mircea Eliade, celui essentialiste où l’archétype surplombe l’histoire, négligeant de considérer le second où l’archétype n’existe qu’à travers sa réalisation dans l’histoire. Ils donnent ainsi l’impression qu’Eliade est un penseur anhistorique qui conçoit le temps surtout à partir de l’éternité et non pour lui-même. Une analyse plus serrée révèle cependant qu’Eliade est un penseur beaucoup plus historique qu’il n’y paraît à première vue. En effet, Eliade considère (...) le miracle de l’Incarnation comme étant la hiérophanie suprême et les autres hiérophanies comme ses préfigurations. (shrink)

O artigo acompanha a reflexão de alguns autores do século XX no que se refere à questão do conhecimento, sobretudo nas discussões em torno da dicotomia mente e mundo. Esses autores são McDowell, Putnam e Rorty. A ênfase é colocada na importância e na necessidade de que aquele que contemporaneamente investiga algum aspecto da realidade, se ocupe também em refletir sobre os pressupostos e fundamentos que operam na sua teoria e na sua prática. Os autores em questão indicam algumas dificuldades (...) e movimentos que acontecem no âmbito das teorias do conhecimento, de modo a ajudar o pesquisador atual a compreender as aporias que percorrem os substratos fundamentadores do seu pensar e fazer investigativo. (shrink)

A complexidade da realidade humana não permite que a razão instrumental esgote explicativamente os elementos que compõe a realidade educacional. Surge a necessidade de uma atitude aberta e atenta para compreender aquilo que se recusa e esconde na cotidianidade. A fenomenologia hermenêutica é consciência dos limites da racionalidade, postura vigilante, um desafio para a responsabilidade e criatividade na atividade pedagógica.

Durante longo tempo tentou-se, no âmbito da Economia Política e de outras áreas, compreender como se deu o surgimento do sistema de produção capitalista, como se deu a transição do regime feudal, pautado nas relações entre vassalos e suseranos, para um regime baseado na relação entre trabalhadores “livres” e patrões, no qual os primeiros venderiam sua força de trabalho para os segundos e estes, por sua vez, explorariam os primeiros para a obtenção de lucro, sem que houvesse uma coerção formal (...) dos trabalhadores permanecerem na fábrica do patrão tal como ocorria com os servos medievais, os quais eram obrigados a permanecer nas terras do senhor feudal. A compreensão desse processo foi e tem sido fundamental para os diversos ativismos políticos existentes. Nesse sentido, este artigo visa analisar três perspectivas acerca deste período de transição e de surgimento do capitalismo, três obras relevantes para a história do capitalismo, a saber: O Capital, de Karl Marx (em particular, o seu Capítulo 24 – “A assim chamada acumulação primitiva”), A Ética Protestante e o “Espírito” do Capitalismo, de Max Weber, e Calibã e a Bruxa, de Silvia Federici. O artigo irá se dividir em cinco partes: uma breve introdução, sobre a relação entre o ativismo político e a compreensão histórica do capitalismo, três partes dedicadas à exposição pormenorizada das teses que estruturam os textos de cada um dos autores supracitados, discorrendo acerca das suas visões concernentes à questão do surgimento e do desenvolvimento do capitalismo e, por fim, uma parte conclusiva, relacionando e contrapondo mais diretamente estes posicionamentos e reflexões, que não são totalmente coerentes entre si. (shrink)

Por meio de uma revisão integrativa, busca-se identificar, dentro da produção científica brasileira, artigos que fazem intersecção entre os temas do luto e da velhice, sob o olhar da psicanálise. Desta forma, se visa estabelecer qual o enfoque dado ao idoso e qual a visão apresentada pela psicanálise para um trabalho com esta população que se encontra mais propensa a rupturas e perdas. Assim, se reconhece que há uma identificação de morte e finitude vinculada à figura do sujeito que envelhece, (...) mentalidade adotada pela lógica de consumo. Identificou-se de que forma as inúmeras perdas aliadas ao envelhecimento suscitam no idoso um processo de luto que, segundo a psicanálise, pode ser definido como o afeto resultante da perda de um objeto libidinal. Verifica-se, assim, a importância de um acompanhamento aos idosos que vise desobstruir a via do desejo e criar novas perspectivas de vida, sobretudo nesta fase do desenvolvimento, que como todas as outras, possui características e desafios particulares. (shrink)

Resumo: Nas Disputationes metaphysicae Francisco Suarez tenta mostrar que a causa final não é uma projeção do intelecto humano, mas algo real nas próprias coisas e que sem ela não é possível dar uma explicação satisfatória dos fatos observados na experiência. Ele mostra como a causa final age no ser humano, em Deus, nos chamados ‘agentes naturais’ e no universo como um todo. De fato, a causa final supõe a existência de algo capaz de conhecer um fim e de direcionar (...) suas ações para ele. Mas isto não significa que o fim está totalmente ausente das operações dos ‘agentes naturais’, nem que a explicação teleológica nunca faça sentido para eles. Sob certo aspecto há intencionalidade mesmo nas operações dos entes não-racionais, pois toda a natureza está submetida à ação e à racionalidade divina.: In the Disputationes metaphysicae Francisco Suarez tries to show that final cause is not a projection of human intellect, but something real in things themselves, and that it is not possible to satisfactorily explain empirical data without it. He shows how final cause operates in human beings, in God, in so-called ‘natural agents’, and in the universe as a whole. In fact, final cause presupposes the existence of something which is able to know an end and to direct its actions towards that end. This does not imply, however, that the end is totally absent from the operations of ‘natural agents’, nor that teleological explanation never makes sense for them. From a certain point of view, there is intentionality even in the operations of non-rational beings, because all nature is subject to divine action and rationality. (shrink)

Ante o fato de que as coisas são singulares e o conhecimento cientifico é universal, Duns Escoto, preocupado em fundamentar a possibilidade da ciência, coloca-se a questão: a natureza, em si mesma, é individual ou universal? Sua resposta, acompanhando a de Avicena, é a de que a natureza, em si mesma, não é nem universal, nem singular, mas indiferente a ambas.

Suarez precursor de Descartes? A doutrina suazeriana sobre a causa final revista Resumo: Stephan Schmid busca mostrar que Francisco Suárez é um precursor da crítica que Descartes fez à causalidade final na explicação da natureza. Suárez teria reduzido a noção de causa à causa eficiente, teria eliminado a presença da causa final nas ações dos agentes naturais, isto é, daqueles entes que não possuem intelecto, e teria eliminado a presença da causa final nas ações divinas. Deste modo, ele seria um (...) precursor do pensamento mecanicista de Descartes e, sob certo aspecto, também de Espinosa. Contra esta interpretação, procuro mostrar que Suárez não reduz a noção de causa à causa eficiente, não elimina a presença da causa final nem nos agentes naturais, nem na ação divina e que, portanto, ele não pode ser considerado, neste assunto, um precursor de Descartes nem de Espinosa. Palavras-Chave: Metafísica. Causa eficiente. Causa final.: Stephan Schmid try to show that Francisco Suárez is a forerunner of the criticism made by Descartes of end causes in the explanation of nature. The hypothesis is that Suárez had reduced the notion of cause to efficient cause, had eliminated the presence of end causes in the actions of the natural agents, i. e., of the beings that have not an intellect, and had eliminated the presence of end causes in the actions of God. In this way he would be a forerunner of the mechanistic thought of Descartes and, from a certain aspect, of Spinoza. Against this interpretation I try to show that Suárez do not reduce the notion of cause to efficient cause and that he eliminates the presence of end cause neither in the natural agents nor in the actions of God. Therefore, he should be considered in this issue a forerunner neither of Descartes nor of Spinoza. Keywords: Metaphysics. Efficient cause. End cause. Résumé: Stephan Schmid essaie de montrer que Francisco Suárez est um précurseur de la critique faite par Descartes à la cause finale dans l’explication de la nature. Suárez aurait réduit la notion de cause à la cause efficiente, elimine la présence de la cause finale dans les actions des agentes naturels, c'est-à-dire, de ceux qui ne possèdent pas d'intellect, et aurait elimine la présence de la cause finale dans les actions divines. Il serait ainsi um précurseur de la pensée mécaniste de Descartes et, dans une certaine mesure, de Spinoza. Contre cette interprétation, j'essaie de montrer que Suárez ne réduit pas la notion de cause à la cause efficiente, n'élimine pas la présence de la cause finale ni dans les agentes naturels ni dans l'action divine et qu'il ne peut donc être considéré comme um précurseur de Descartes ni d'Espinosa. Mots clés: Metaphysique. Cause finale. Cause eficiente. Data de registro: 13/05/2019 Data de aceite: /10/2019. (shrink)

Honnefelder, Ludger. Im Spannungsfeld von Ethik und Religion. Berlin. 2014. Kap.11.

The article presents the results of a systematic review conducted according to the integrative review method, which investigates both the empirical and theoretical-descriptive literature to combine academic reflection with professional practices implemented in educational contexts. The review question aims at identifying effective educational practices to promote civic engagement in the 6-13 age group, regarding school contexts. We conducted the search of the records through disciplinary and generalist databases and with the use of digital libraries. The analysis of the included materials (...) made it possible to identify some recursive elements that characterize the educational activities aimed at promoting civic engagement in this age group. In this contribution, these elements will be analysed, highlighting how they can contribute to the design of an educational research path having as its focus the promotion of civic engagement and the sense of community. (shrink)

Este texto é uma interpretação do primeiro capítulo d’O Anti-Édipo, de Deleuze e Guattari, mais como uma escrita do que como uma leitura. Ou seja, não há aqui intenção de descobrir uma verdade escondida para um texto que, de início, se propõe um “processo esquizofrênico”. De todo modo, divido esta minha escrita em quatro momentos: primeiramente, com uma análise do filme Incêndios (2010), tentando mostrar como um enredo aparentemente edipiano (no sentido psicanalítico) é muito mais rico que o Édipo; em (...) segundo lugar, com uma exposição das três sínteses maquínico-desejantes, ou do inconsciente, desenvolvidas por Deleuze e Guattari; em terceiro lugar, com uma apresentação da ofensiva promovida pela “psiquiatria materialista” deleuzeguattariana em relação a certos autores psicanalistas como Reich, Lacan e Melanie Klein; por fim, com um aprofundamento das questões éticas e teóricas implicadas neste primeiro capítulo do livro, sobretudo aquelas ligadas ao projeto geral da obra: uma crítica econômico-libidinal do capitalismo, tendo em conta seus aspectos “esquizofrênicos” e mostrando a contribuição inestimável da psicanálise para este mesmo sistema econômico-libidinal. (shrink)

O pensamento de Heidegger, através da analítica existencial e da proposta de destruição da metafísica, elabora um novo horizonte a partir do qual o conhecimento pode ser compreendido. Não mais da objetificação, dos dualismos sujeito e objeto, mente e mundo, mas a partir do lugar originário, do ser-aí em sua facticidade, do seu ser-no-mundo. O texto pretende mostrar e caracterizar esse horizonte originário e prévio, além de indicar algumas possibilidades que com ele se abrem. Daremos ênfase à questão do horizonte (...) compreensivo prévio, que acompanha cada conhecimento e cada conhecer, mas que tende a se manter oculto e esquecido em função da primazia do ente na Metafísica tradicional. Inicial e normalmente vivemos e pensamos a partir da disponibilidade e da presença dos entes, do que se chama de realidade. Há que retomar a historicidade e a temporalidade do ser humano como condições básicas que acompanham o fenômeno do conhecimento e, por isso, da noção de possibilidade e de abertura. Uma volta para as condições pré-teóricas e pré-lógicas do conhecimento, onde o fundamento é segundo o modo de ser do ser-aí, a facticidade, um abismo, o ser-no-mundo a partir donde se constituem as relações cognoscitivas e práticas. O conhecimento humano é finito, assim como o é o próprio ser humano e, por isso, não possui lugar fora do tempo onde possa ser ancorado e fixado. Há uma circularidade interpretativa e uma diferença ontológica já sempre em operação e que não podem ser superadas por teorias do conhecimento, mas devem ser autenticamente assumidas para que o conhecimento seja compreendido no seu ser. Palavras-chave: Conhecimento. Hermenêutica. Metafísica. Heidegger. Diferença ontológica. (shrink)