A weakening-free solution to V-Curry

BRUNO DA RE

Seminario; Work In Progress Seminar; 2022

There are many different paradoxes. Some of them involve logical vocabulary, such as validity, and some others involve semantic vocabulary, such as truth. It is desirable to have a unified solution for every paradox. That?s one of the main advantages of substructural theories. In this talk, I?ll introduce a non-trivial theory of naive validity based on classical logic without structural weakening.