Publicação
Ask not what bilateralist intuitionists can do for Cut, but what Cut can do for bilateralist intuitionism
| dc.contributor.author | Dicher, Bogdan | |
| dc.date.accessioned | 2020-09-30T10:17:55Z | |
| dc.date.available | 2021-01-01T01:30:16Z | |
| dc.date.issued | 2019 | |
| dc.description.abstract | 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. | pt_PT |
| dc.description.version | info:eu-repo/semantics/publishedVersion | pt_PT |
| dc.identifier.citation | 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 | pt_PT |
| dc.identifier.doi | 10.1093/analys/anz023 | pt_PT |
| dc.identifier.eissn | 1467-8284 | |
| dc.identifier.issn | 0003-2638 | |
| dc.identifier.uri | http://hdl.handle.net/10451/44462 | |
| dc.language.iso | eng | pt_PT |
| dc.peerreviewed | yes | pt_PT |
| dc.publisher | Oxford University Press | pt_PT |
| dc.relation | Logic, inference, and structure: Proof-theoretic semantics and substructurality | |
| dc.relation.publisherversion | https://academic.oup.com/analysis/article-abstract/80/1/30/5523694 | pt_PT |
| dc.subject | Bilateralism | pt_PT |
| dc.subject | Intuitionism | pt_PT |
| dc.subject | Metainferences | pt_PT |
| dc.subject | Cut | pt_PT |
| dc.subject | Blok–Jonsson consequence | pt_PT |
| dc.subject | Logic | pt_PT |
| dc.title | Ask not what bilateralist intuitionists can do for Cut, but what Cut can do for bilateralist intuitionism | pt_PT |
| dc.type | journal article | |
| dspace.entity.type | Publication | |
| oaire.awardNumber | SFRH/BPD/116125/2016 | |
| oaire.awardTitle | Logic, inference, and structure: Proof-theoretic semantics and substructurality | |
| oaire.awardURI | info:eu-repo/grantAgreement/FCT//SFRH%2FBPD%2F116125%2F2016/PT | |
| oaire.citation.title | Analysis | pt_PT |
| project.funder.identifier | http://doi.org/10.13039/501100001871 | |
| project.funder.name | Fundação para a Ciência e a Tecnologia | |
| rcaap.rights | openAccess | pt_PT |
| rcaap.type | article | pt_PT |
| relation.isProjectOfPublication | 6d122eaa-1617-4dfe-bb6f-025156a665bc | |
| relation.isProjectOfPublication.latestForDiscovery | 6d122eaa-1617-4dfe-bb6f-025156a665bc |
Ficheiros
Principais
1 - 1 de 1
A carregar...
- Nome:
- Cut_final_manuscript.pdf
- Tamanho:
- 233.21 KB
- Formato:
- Adobe Portable Document Format
- Descrição:
- 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