Ask not what bilateralist intuitionists can do for Cut, but what Cut can do for bilateralist intuitionism
Year: 2019
Type: article
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 succedent. This interpretation goes against its own ecumenical ambitions, endowing 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.
Source: Analysis
Author: Bogdan Dicher
Institutions: University of Lisbon, Centro de Filosofia
Language: English
Subfield: Philosophy
Field: Arts and Humanities
Domain: Social Sciences
Open Access status: green
OpenAlex ID: W2953622685