Universal Logic (Center for the Study of Language and Information Publication Lecture Notes) - Tapa dura

Sinopsis

Universal Logic conceptualizes a new logic, where the main inference connective is understood as 'meaning containment'. Based on this logic, simple consistency is proved for naive class theory, also in conjunction with 'classical theories' such as a Z-F-style set theory. This book shows how the main set-theoretic and semantic paradoxes can be solved in a systematic way, which is conceptualized independently of the paradoxes themselves.

"Sinopsis" puede pertenecer a otra edición de este libro.