> 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.
