seu significado, seu interesse e seu potencial
Informações: acm@acm-itea.org
Inscrições: https://forms.gle/irgHY64mhsoZKvBv9
A tese de que a realidade pode ser (de alguma forma) contraditória é um antigo tema filosófico, defendida por filósofos como Heráclito e Hegel. Mas há uma forte e generalizada resistência em aceitar que possam existir entidades que desobedecem ao princípio da não-contradição, conforme expresso por Aristóteles no livro IV da Metafísica.
Por outro lado, é um fato que as contradições aparecem em vários contextos de raciocínio, desde situações da vida real até teorias científicas. Isso é suficiente para justificar uma razão pragmática e metafisicamente neutra para conceber um sistema formal capaz de lidar com contradições sem cair na trivialidade.
A tese de que as contradições são produzidas pelo pensamento e pela razão, ou ocorrem no processo de aquisição de conhecimento, não é nova, e suas origens podem ser rastreadas pelo menos até Kant em suas antinomias da razão pura.
As Lógicas da Evidência e Verdade (LETs) segue nesta direção, propondo uma maneira de entender a lógica paraconsistente a partir de uma noção mais fraca que a verdade, a noção de evidência, e é precisamente esta noção mais fraca que permite uma compreensão intuitiva e plausível da aceitação de contradições em alguns contextos de raciocínio. As LETs são lógicas paraconsistentes e paracompletas, membros da família das Lógicas de Inconsistência Formal e Indeterminação (LFIUs). Essas lógicas são capazes de recuperar a lógica clássica quando apropriado, e nos permitem desenvolver uma nova noção de probabilidade com interessantes consequências na Epistemologia Bayesiana. Os tópicos desta palestra provêm de trabalho conjunto com Abílio Rodrigues e Juliana Bueno-Soler.
Referências
[1]- W. A.Carnielli and A. Rodrigues. An epistemic approach to paraconsistency: a logic of evidence and truth}, Synthese 196(9) pp. 3789–3813, 2019.
[2] – A. Rodrigues, J. Bueno-Soler, and W. A. Carnielli. Measuringevidence: a probabilistic approach to an extension of Belnap–Dunn logic. Synthese, 198(22):5451–5480, 2020.
[3]- W. A. Carnielli and. J. Bueno-Soler. Where the truth lies: aparaconsistent approach to Bayesian epistemologyTrabalho vencedor do Prêmio Newton da Costa da. Sociedade Brasileirade Lógica, 2022, a aparecer em Logica Universalis.
Walter Alexandre Carnielli
Positions: Full Professor of Logic, Department of Philosophy, University of Campinas (UNICAMP), Brazil, Since 1994. Director of the Centre for Logic, Epistemology and the History of Science, 1998-2004, and 2010-2015. Member of the Security and Quantum Information Group, Institute of Telecommunications, Lisbon, Portugal, 2006-. President of the Brazilian Logic Society, 2007-2011.
More recently: Senior researcher: Laboratory for Applied Ontology (LOA), ISTC-CNR, Trento, Italy
Vice-President and main researcher of the Advanced Institute for Artificial Intelligence
Specialties: Logic and foundations of mathematics, philosophical logic, non-classical logics. Computability Theory. Probability and possibility theory. Theoretical Artificial Intelligence
Education: University of Campinas, PhD Mathematics, 1982, MSc Mathematics, 1978. Pos-Doc posiions at the University of California-Berkeley (1985), Universität Münster (Westfälische-Wilhelms) (1990) and Rheinische Friedrich-Wilhelms-Universität Bonn, as grantee of the Alexander von Humboldt Foundation, Germany.
Research Profile (Extracted from: The International Directory of Logicians: Who’s Who in Logic 2008 College Publications D. M. Gabbay and J. Woods, eds.) Made substantial contributions to the proof theory and semantics for contemporary heterodox (non-classical) logics. Of special significance are his contributions to many valued logics, paraconsistent logics and combination of logics.With his students and collaborators Carnielli introduced the possible-translations semantics, which led to a revival in the semantic interpretation of paraconsistent logics, and the concept of logics of formal inconsistency which systematize a great number of extant paraconsistent logics, opening the way to applications of paraconsistency to computer science and to philosophical investigations around the topic.
Carnielli has also worked on finite and infinite combinatorics, and shaped, with collaborators, the modulated logics, a wide class of logics dedicated to formalize quantified uncertain reasoning, with philosophical implications. Current work by Carnielli also includes the role of non-classical logics in the theory of classical computation, with consequences for quantum computation.
Authorship: Author of circa 120 scientific papers and 15 books.
Address to access complete CV Lattes:
http://lattes.cnpq.br/1055555496835379
Comentários
| Ótima palestra (Arley Zamir Chaparro Cardozo) |
| Maravilhosa palestra, parabéns (Cláudio Firmino Arcanjo) |
| Palestra extremamente interessante. Muito bom. (Dayse dos Santos Rocha) |
| Excelente (Érica Oliveira de Sousa) |
| Palestra brilhante (Erick Lucas Correia Cordeiro) |
| Excelente palestra. (Fernando Vasconcelos da Rocha.) |
| Excelente tema e palestra. Parabéns! (Flávio Maximiano da Silva Rocha) |
| Excelente Aula (Francisco Alexandro Oliveira Sousa) |
| Um assunto denso mas apresentado de forma muito leve e didático (Francisco Isidro Pereira) |
| Parabéns, excelente palestra, muito aprendizado! (Hailton David Lemos) |
| Muito obrigada pela excelente palestra! (Irla Leite de Souza) |
| A Lógica é um pouco complicada. Mas o professor Walter tem muito conhecimento sobre o assunto. Parabéns pelo trabalho. (Jaqueline de Assis Carvalho) |
| Gostaria de parabenizar a ACM por ter trazido um excelente palestrante, com um tema bastante relevante. (Jefte Dodth Telles Monteiro) |
| extraordinária palestra. (José Jânio Ferreira dos Santos) |
| Ótima palestra (Josefa Elizabete Lucena Rodrigues Alves) |
| Excelente apresentação (Laelson de Lira Silva) |
| Muito significativo o que o professor Walter proporcionou sobre probabilidade. Parabéns . (Lucia dos Santos Bezerra de Farias) |
| Muito boa palestra (Luiz José da silva) |
| Sábado frutífero, aprendendo teorias “novas”! Obrigado prof. Walter Carnielli! Obrigado ACM! (Maxwell Gonçalves Araújo) |
| Parabéns, professor Walter Carnielli por abrilhantar esta manhã com uma brilhante Palestra… (Miron Menezes Coutinho) |
| Boa Palestra, parabéns professor!!! (Paul Lee Marques) |
| muito boa a palestra (Ricardo Alves de Sousa) |
| Excelente, torço por mais uma para falar sobre Teorema de Bayes (Ricardo Campanha Almagro) |
| Muito aprendizado em uma apresentação do prof. Walter! (Rosa Elvira Quispe Ccoyllo) |
| Gratidão! (Sandro Alves de Azevedo) |
| Excelente temática!!! (Willames Wiclef Alves da Silva) |