BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
BEGIN:VEVENT
UID:2159@ub.edu
DTSTART;TZID=Europe/Madrid:20260305T160000
DTEND;TZID=Europe/Madrid:20260305T180000
DTSTAMP:20260226T141522Z
URL:https://www.ub.edu/grc_logos/activities/grsem-non-binary-three-valued-
 logics-and-the-validity-paradox/
SUMMARY:GRSem: A Non-binary Naïve Validity Theory
DESCRIPTION:Abstract: By adding a validity predicate Val to a propositional
  language\, we develop a validity theory that fully and correctly captures
  its metalinguistic validity. This project faces two challenges. First\, w
 eak validity and logical principles are inconsistent because of the Validi
 ty Paradox. Second\, all existing validity theories\, even those that avoi
 d the paradox\, get some features of validity wrong. More precisely\, we s
 how that they do not prove that all and only valid inferences\, metainfere
 nces\, and higher-level metainferences are valid\, or they do not prove th
 at all and only invalid ones are invalid. We formalize these desiderata wi
 th the V-schemata. We say that a validity theory is naïve iff it satisfie
 s all the V-schemata. We point out why existing validity theories cannot b
 e naïve. We develop a logical framework\, which we call non-binary\, to o
 vercome this limitation. We define a validity theory based on a non-binary
  logic and a fixed-point interpretation for the validity predicate. We pro
 ve that this non-binary validity theory is consistent and naïve: it avoid
 s paradoxes and satisfies all the V-schemata.
CATEGORIES:Graduate Research Seminar (GRSem)
LOCATION:Seminari María Zambrano\, UB
X-APPLE-STRUCTURED-LOCATION;VALUE=URI;X-ADDRESS=\, Spain;X-APPLE-RADIUS=100
 ;X-TITLE=Seminari María Zambrano\, UB:geo:0,0
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Madrid
X-LIC-LOCATION:Europe/Madrid
BEGIN:STANDARD
DTSTART:20251026T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR