Passo aqui para divulgar o link em que a palestra "Let gluts and gaps prevail!" foi registrada: https://youtu.be/CBBu4HBPOxE Aproveito para agradecer por todo o feedback recebido, e para apresentar minhas desculpas pessoais àqueles que se perderam entre as duas salas em que aparentemente se supunha que eu devesse estar ao mesmo tempo. :-x
Joao Marcos > Supergroup Talk: > > Speaker: João Marcos (DIMAp / CCET / UFRN) > Title: Let gluts and gaps prevail! > Time and Date: Thursday, July 2, 8pm GMT-5 > 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. -- http://sequiturquodlibet.googlepages.com/ -- 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_LirwCbKpusGe4HagO%3D42mNZk4%3DtQRDJ70ywrgg-y-Fi5w%40mail.gmail.com.
