Seminário remoto "Lógicos em Quarentena" 24/09/2020 (quinta-feira) 16:00h

[Bruno Lopes]

Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de convidar a todos a participarem do Seminário "Lógicos em Quarentena". Trata-se de um seminário remoto com apresentações informais por membros da comunidade e espaço para perguntas no fim. As apresentações usualmente são gravadas e disponibilizadas na página do evento http://lq.sbl.org.br (com a agenda completa).

Data: 24 de setembro de 2020 (quinta-feira)
Horário: 16:00h
Apresentador: Javier Legris (UBA & CONICET)
Título: Identity and Quantification in Peirce’s Beta Graphs
Resumo: The aim of this paper is to examine the diagrammatic expression of the notions of identity and quantification in the Beta Graphs, the "line of identity", stressing its notational features in order to see it as a problem in what Peirce called “philosophy of notation”, and putting it in the context of his theory of signs (or semiotics). It will be claimed that, by the Beta Graphs, Peirce carried out an analysis of identity and quantification in the special sense of uniqueness of decomposition. Hence, the case of identity exemplifies the analytic feature of diagrams beyond their operational and structural features.

A apresentação ocorrerá pelo Google Meet através do link público https://meet.google.com/wjz-kbzj-azm .

--

Bruno Lopes

Professor Adjunto

Instituto de Computação

Universidade Federal Fluminense

http://www.ic.uff.br/~bruno