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)

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)

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.

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)

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)

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

One question in moral psychology concerns the role of emotions to motivate moral action. This question has recently become more urgent, because it is now clearer that cognitive developmental theories cannot offer a complete explanation of moral functioning. This paper suggests that emotion, as is typically understood in psychology, cannot be seen as the basis for an acceptable explanation of moral behaviour and motivation. However, it is argued that it is possible to understand emotions as embedded in agentic processes, and (...) regulated by conscious concerns. So understood, emotions acquire an important role in the person's moral life. These conclusions are reached through an extensive review of psychological and philosophical conceptions. (PsycINFO Database Record (c) 2010 APA, all rights reserved). (shrink)

Non si nasce finiti, terminati, compiuti, ma ciascun essere umano è un nucleo vivente chiamato ad andare oltre il punto in cui viene a trovarsi: in quanto tale ha da farsi, ha da cercare la sua forma. Trovare la propria forma significa trovare la propria verità. Ciascuna vita va in cerca della propria verità, ma per essere in ricerca è necessario disporre di un metodo. Un metodo, però, non come quello che ci fornisce la scienza, ma adeguato a quel tipo (...) particolare di ricerca che mira a un sapere dell ́anima. Le indicazioni per tracciare l ́idea di un metodo adeguato al compito dell ́esistere ci vengono fornite da María Zambrano, il cui pensiero è ricco di suggerimenti che portano a configurare un metodo germinale, non-sistematico, ossia un metodo che nella sua essenza sia a-metodico. Un metodo che, anziché essere a priori, nasce dall ́esperienza e che l ́esperienza sa orientare perché sa stare con essa in una relazione di co-dipendenza evolutiva. In quanto tale il metodo richiede lo sviluppo di una postura passiva, dove essenziale è sapersi disfare dell ́inessenziale e stare nella semplicità difficile dell ́irrinunciabile. (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)

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)

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)

Contemporary studies in unconscious cognition are essentially founded on dissociation, i.e., on how it dissociates with respect to conscious mental processes and representations. This is claimed to be in so many and diverse ways that one is often lost in dissociation. In order to reduce this state of confusion we here carry out two major tasks: based on the central distinction between cognitive processes and representations, we identify and isolate the main dissociation paradigms; we then critically analyze their key tenets (...) and reported findings. (shrink)

Since Freud and his co-author Breuer spoke of dissociation in 1895, a scientific paradigm was painstakingly established in the field of unconscious cognition. This is the dissociation paradigm. However, recent critical analysis of the many and various reported dissociations reveals their blurred, or unveridical, character. Moreover, we remain ignorant with respect to the ways cognitive phenomena transition from consciousness to an unconscious mode. This hinders us from filling in the puzzle of the unified mind. We conclude that we have reached (...) a Kuhnian crisis in the field of unconscious cognition, and we predict that new models, incorporating partly the relevant findings of the dissociation paradigm—but also of dynamic psychology—, will soon be established. We further predict that some of these models will be largely based on the pairs representation–process and analog–digital. (shrink)

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.

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)

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)

Este artículo trata sobre la postura práctica de Aquino ante dos grandes dificultades filosóficas actuales que se encuentran en la base del debate ético contemporáneo. Como son la Is-ought thesis de Hume y la síntesis radical de Moore, la Open question. La posible solución tomista se puede encontrar en la triple función del intelecto humano, teórico y práctico a la vez: a) Aprehender las nociones ontológicas e intelectas ens, verum y bonum; b) Formular los primeros principios teóricos y prácticos; c) (...) E imperar que se haga el bien ontológico e intelecto y se evite lo contrario. (shrink)

Le stanze del canto. La musica e l'indicibile ; Il linguaggio degli angeli ; Musica e utopia ; Musica e prassi analitica ; Un sogno musicale -- Variazioni sul tema. Musica, mistero e mondo femminile in E.T.A. Hoffmann ; Thomas Bernhard e l'estetica del narcisismo ; I tragitti di Orfeo -- Coda : Dialogo di Eusebio e Florestano -- Appendice : La principessa nascosta : psicoterapia e fare poetico.