1. "perguntaram-me" é pedante. 2. Pijama de bolinha vale?
[]s Em ter., 30 de jun. de 2020 às 19:33, Joao Marcos <[email protected]> escreveu: > > Speaker: João Marcos (DIMAp / CCET / UFRN) > > Title: Let gluts and gaps prevail! > > Time and Date: Thursday, July 2, 8pm GMT-5 > > Perguntaram-me o que isto significa no horário de Brasília-Buenos > Aires-Natal: > 10 horas da noite. > https://www.thetimezoneconverter.com/ > > Pijamas são permitidos --- só que não! > > []s, > Joao Marcos > > > > Link: https://ksu.zoom.us/j/7613620942 > > Password: Gaps&Gluts > > > > Abstract: One of the all time favorite strategies for defining a > non-classical negation proceeds by considering additional truth-values, > besides `the True' and `the False', with the intent of using the latter to > localise the phenomena of negation-inconsistency and > negation-undeterminedness. From a philosophical standpoint, such an > approach often translates, with varying degrees of success, into the > consideration of `gaps' and `gluts', thought of as truth-values on their > own right. From the perspective of the standard Tarskian > consequence-theoretic framework, one may claim that the collection of > truth-values associated to a given logic constitutes hardly anything beyond > a technical expedient used within the so-called `logical matrices' in order > to define some convenient notion of entailment. Indeed, at the metalogical > level, no more than one or two `logical values' are needed in order to > explicate any given consequence relation and the associated one-dimensional > `logical theories' that are intended to collect the assertions upon which > one happens to be interested. In this talk I will defend the systematic use > of a generalized notion of logical consequence that allows for: (i) gappy > and glutty reasoning to be naturally captured, at the metalogical level; > (ii) a two-dimensional notion of logical theory, containing both assertions > and denials, to be explored; (iii) a plurality of inferential mechanisms to > cohabit. Furthermore, concerning the choice of logical primitives, I will > also argue that truth-values and judgments about logical consequence are > advantageously replaced by cognitive attitudes and judgments about logical > incompatibility. > > -- > Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" > dos Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie > um e-mail para [email protected]. > Para ver esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Li0g_RYGwGHa2g%2B0X7tWegr7gogfZ7EjYOSNiEwLgQZpw%40mail.gmail.com > . > -- Marcelo Finger Departament of Computer Science, IME University of Sao Paulo http://www.ime.usp.br/~mfinger ORCID: https://orcid.org/0000-0002-1391-1175 ResearcherID: A-4670-2009 -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw30P2arDkjpZuKzDhMbLpmA5Drwka3YZ-1iecc7heBQtw%40mail.gmail.com.
