A carregar...
Publicação
Ask not what bilateralist intuitionists can do for Cut, but what Cut can do for bilateralist intuitionism
| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| This is a pre-copyedited, author-produced version of an article accepted for publication in [insert journal title] following peer review. The version of record is available online at: doi:10.1093/analys/anz023 | 233.21 KB | Adobe PDF |
Autores
Orientador(es)
Resumo(s)
On a bilateralist reading, sequents are interpreted as statements to the effect that, given the assertion of the antecedent it is incoherent to deny the succe- dent. This interpretation goes against its own ecumenical ambitions, endow- ing Cut with a meaning very close to that of tertium non datur and thus rendering it intuitionistically unpalatable. This paper explores a top-down route for arguing that, even intuitionistically, a prohibition to deny is as strong as a licence to assert.
Descrição
Palavras-chave
Bilateralism Intuitionism Metainferences Cut Blok–Jonsson consequence Logic
Contexto Educativo
Citação
Bogdan Dicher, Ask not what bilateralist intuitionists can do for Cut, but what Cut can do for bilateralist intuitionism, Analysis, Volume 80, Issue 1, January 2020, Pages 30–40, https://doi.org/10.1093/analys/anz023
Editora
Oxford University Press