Foi discutida a questão do próximo congresso da ANPOF: está previsto em junho de 2021 na cidade de Goiânia.
Mas o ponto principal foi a eleição da próxima diretoria da ANPOF. A Chapa 1 dirigida por nossa colega Susana de Castro do PPGF foi eleita.
A secretaria geral desta Chapa 1 é Patrícia Del Nero Velasco da UFABC, que fez doutorado em lógica com Edélcio Gonçalves de Souza, na PUC de São Paulo em 2004 (participei da banca). É bom ter lógica na diretoria da ANPOF !
Falando do Edélcio, que agora é professor na USP, foi lançado há pouco um livro em homenagem a ele editado por Alexandre Costa-Leite
Abstract Consequence and Logics
http://www.collegepublications.co.uk/tributes/?00042
Livro publicado na coleção Tributes da College Publications
Nessa coleção é o quarto livro dedicado a um lógico brasileiro, depois de:
Logic, Intelligence, and Artifices
Tributes to Tarcísio H. C. Pequeno
Jean-Yves Beziau, Francicleber Ferreira, Ana Teresa Martins, and Marcelo Pequeno, eds
http://www.collegepublications.co.uk/tributes/?00038
Why is this a Proof?
Festschrift for Luiz Carlos Pereira
Edward Hermann Haeusler, Wagner de Campos Sanz and Bruno Lopes, eds.
http://www.collegepublications.co.uk/tributes/?00027
Logic without Frontiers
Festschrift for Walter Alexandre Carnielli on the occasion of his 60th birthday
Jean-Yves Beziau and Marcelo Esteban Coniglio, eds
http://www.collegepublications.co.uk/tributes/?00017
JYB
The Arbitrariness of the Sign in Question
Proceedings of a CLG100 Workshop, Geneva, January
10-12, 2017
http://www.collegepublications.co.uk/las/?00001
O Alexandre me passou o índice:
Abstract Consequence and Logics
Essays in Honor of Edelcio G. de Souza
Alexandre Costa-Leite, ed
Introduction
Alexandre Costa-Leite
On Edelcio G. de Souza
PART 1
Abstraction, unity and logic
3 Jean-Yves Beziau
Logical structures from a model-theoretical viewpoint
17 Gerhard Schurz
Universal translatability: optimality-based
justification of (not necessarily) classical logic
37 Roderick Batchelor
Abstract logic with vocables
67 Juliano Maranhão
An abstract definition of normative system
79 Newton C. A. da Costa and Decio Krause
Suppes predicate for classes of structures and
the notion of transportability
99 Patrıcia Del Nero Velasco
On a reconstruction of the valuation concept
PART 2
Categories, logics and arithmetic
115 Vladimir L. Vasyukov
Internal logic of the H − B topos
135 Marcelo E. Coniglio
On categorial combination of logics
173 Walter Carnielli and David Fuenmayor
Godel’s incompleteness theorems from a paraconsistent ̈
perspective
199 Edgar L. B. Almeida and Rodrigo A. Freire
On existence in arithmetic
PART 3
Non-classical inferences
221 Arnon Avron
A note on semi-implication with negation
227 Diana Costa and Manuel A. Martins
A roadmap of paraconsistent hybrid logics
243 Hercules de Araujo Feitosa, Angela Pereira Rodrigues
Moreira and Marcelo Reicher Soares
A relational model for the logic of deduction
251 Andrew Schumann
From pragmatic truths to emotional truths
263 Hilan Bensusan and Gregory Carneiro
Paraconsistentization through antimonotonicity:
towards a logic of supplement
PART 4
Philosophy and history of logic
277 Diogo H. B. Dias
Hans Hahn and the foundations of mathematics
289 Cassiano Terra Rodrigues
A first survey of Charles S. Peirce’s contributions to
logic: from relatives to quantification
301 Jonas R. B. Arenhart and Sanderson Molick
On the very idea of choosing a logic:
the role of the background logic
321 Lorenzzo Frade and Abilio Rodrigues
Some remarks on logical realism and logical pluralism
341 Dusko Prelevic
Modal rationalism, logical pluralism, and
the metaphysical foundation of logic
359 Fabien Schang
Quasi-concepts of logic