University of Birmingham > Talks@bham > Theoretical computer science seminar > Suszko's Thesis and Extensionality

## Suszko's Thesis and ExtensionalityAdd to your list(s) Download to your calendar using vCal - Matteo Bianchetti, University of St Andrews
- Friday 09 December 2011, 16:00-17:00
- LG52 Learning Centre.
If you have a question about this talk, please contact Paul Levy. I will provide an introduction to the so-called Suszko’s Thesis: every logic is logically two-valued. Suszko showed how to provide a two valued semantics to sentential logics, defined as a substitution-invariant closure operator. I analyze how this result relates to his claim that there are only two truth values, Truth and Falsity, and his distinction of two kinds of semantics, referential semantics and logical semantics. In general, however, Suszko’s method leads to a non extensional semantics. A result by Wójcicki, instead, shows that every logic has a extensional many valued semantics. Is there a systematic way to characterize a logic by a two valued extensional semantics? I investigate a suggestion of reducing many-valuedness of the semantics achieved by Wójcicki’s method without losing extensionality. This talk is part of the Theoretical computer science seminar series. ## This talk is included in these lists:- Computer Science Departmental Series
- Computer Science Distinguished Seminars
- LG52 Learning Centre
- Theoretical computer science seminar
- computer sience
Note that ex-directory lists are not shown. |
## Other listsGeometry and Mathematical Physics seminar Type the title of a new list here Analysis Reading Seminar 2019/2020## Other talksEnergy release and transport in solar eruptive events Advancing biomedical photoacoustic imaging using structured light and optical microresonators TBA The science of the large scale heliosphere and the missions that made it possible TBC TBC |