[Alta-Logic] Reminder: Joao Marcos on Gaps and Gluts

[Richard Zach]

Dear Cheerful Logicians,

A quick reminder that Joao Marcos is giving the supergroup talk in 
approximately 8.5 hours. The link and password and whatnot (as well as a 
reminder about the talk details) are below.

Link: https://ksu.zoom.us/j/92869066474?pwd=N2M4OU9kNWtDVFIrbFI3djU4OGRsZz09
Meeting ID: 928 6906 6474
Password: Gaps&Gluts

Title: Let gluts and gaps prevail!
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.

Yay for logic!

Shay
-- 
You received this message because you are subscribed to the Google 
Groups "Logic Supergroup" group.
To unsubscribe from this group and stop receiving emails from it, send 
an email to logic-supergroup+unsubscribe at googlegroups.com 
<mailto:logic-supergroup+unsubscribe at googlegroups.com>.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/logic-supergroup/CAMTR9926Ge4r_-JawaxijFOSsBv1rPC6LZVwYEi4D2H-5rgqNg%40mail.gmail.com 
<https://groups.google.com/d/msgid/logic-supergroup/CAMTR9926Ge4r_-JawaxijFOSsBv1rPC6LZVwYEi4D2H-5rgqNg%40mail.gmail.com?utm_medium=email&utm_source=footer>.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20200702/93fe22b4/attachment.html>