Metainferential Levels and Inferential Networks

• Autor(a) principal: Dicher, Bogdan
• Data de Publicação: 2020
• Outros Autores: Francesco, Paoli
• Tipo de documento: Artigo
• Idioma: eng
• Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
• Texto Completo: http://hdl.handle.net/10451/44470

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.