A carregar...
Projeto de investigação
Logic, inference, and structure: Proof-theoretic semantics and substructurality
Financiador
Autores
Publicações
Variations on intra-theoretical logical pluralism : internal versus external consequence
Publication . Dicher, Bogdan
Intra-theoretical logical pluralism is a form of meaning-invariant pluralism about logic, articulated recently by Hjortland (Australas J Philos 91(2):355–373, 2013). This version of pluralism relies on it being possible to define several distinct notions of provability relative to the same logical calculus. The present paper picks up and explores this theme: How can a single logical calculus express several different consequence relations? The main hypothesis articulated here is that the divide between the internal and external consequence relations in Gentzen systems generates a form of intra-theoretical logical pluralism.
Metainferential Levels and Inferential Networks
Publication . Dicher, Bogdan; Francesco, Paoli
Metainferentialism is the view that a logic is determined by its valid metainferences. It comes in two variants. The finitist version holds that logical consequence is determined by derivability relations between generalised sequents. As it turns out, this is always a Tarskian consequence relation. Ac- cording to the transfinitist version, one cannot stop here. Instead, all the pos- sible metainferential levels should be taken into consideration when specifying a logic. We defend the finitist version against tranfinitist criticism, clarifying, on the way, the central tenets of finitist metainferentialism.
Hopeful Monsters : A Note on Multiple Conclusions
Publication . Dicher, Bogdan
Arguments, the story goes, have one or more premises and only one conclusion. A contentious generalisation allows arguments with several disjunctively connected conclusions. Contentious as this generalisation may be, I will argue nevertheless that it is justified. My main claim is that multiple conclusions are epiphenomena of the logical connectives: some connectives determine, in a certain sense, multiple-conclusion derivations. Therefore, such derivations are completely natural and can safely be used in proof-theoretic semantics.
Requiem for logical nihilism, or: Logical nihilism annihilated
Publication . Dicher, Bogdan
Logical nihilism is the view that the relation of logical consequence is empty: there are counterexamples to any putative logical law. In this paper, I argue that the nihilist threat is illusory. The nihilistic arguments do not work. Moreover, the entire project is based on a misguided interpretation of the generality of logic.
Ask not what bilateralist intuitionists can do for Cut, but what Cut can do for bilateralist intuitionism
Publication . Dicher, Bogdan
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.
Unidades organizacionais
Descrição
Palavras-chave
Contribuidores
Financiadores
Entidade financiadora
Fundação para a Ciência e a Tecnologia
Programa de financiamento
Número da atribuição
SFRH/BPD/116125/2016