Variations on intra-theoretical logical pluralism : internal versus external consequence

Detalhes bibliográficos
Autor(a) principal: Dicher, Bogdan
Data de Publicação: 2018
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/44465
Resumo: 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.
id RCAP_58a980bb79a59bd2e7abf7dbb1c19877
oai_identifier_str oai:repositorio.ul.pt:10451/44465
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Variations on intra-theoretical logical pluralism : internal versus external consequenceLogical pluralismIntra-theoretical pluralismLogical consequenceInternal consequenceExternal consequencePhilosophy of logicIntra-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.SpringerRepositório da Universidade de LisboaDicher, Bogdan2020-09-30T10:39:22Z20182018-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/10451/44465engDicher, B. Variations on intra-theoretical logical pluralism: internal versus external consequence. Philos Stud 177, 667–686 (2020). https://doi.org/10.1007/s11098-018-1199-z0031-811610.1007/s11098-018-1199-z1573-0883info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-11-08T16:45:31Zoai:repositorio.ul.pt:10451/44465Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T21:57:01.493740Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Variations on intra-theoretical logical pluralism : internal versus external consequence
title Variations on intra-theoretical logical pluralism : internal versus external consequence
spellingShingle Variations on intra-theoretical logical pluralism : internal versus external consequence
Dicher, Bogdan
Logical pluralism
Intra-theoretical pluralism
Logical consequence
Internal consequence
External consequence
Philosophy of logic
title_short Variations on intra-theoretical logical pluralism : internal versus external consequence
title_full Variations on intra-theoretical logical pluralism : internal versus external consequence
title_fullStr Variations on intra-theoretical logical pluralism : internal versus external consequence
title_full_unstemmed Variations on intra-theoretical logical pluralism : internal versus external consequence
title_sort Variations on intra-theoretical logical pluralism : internal versus external consequence
author Dicher, Bogdan
author_facet Dicher, Bogdan
author_role author
dc.contributor.none.fl_str_mv Repositório da Universidade de Lisboa
dc.contributor.author.fl_str_mv Dicher, Bogdan
dc.subject.por.fl_str_mv Logical pluralism
Intra-theoretical pluralism
Logical consequence
Internal consequence
External consequence
Philosophy of logic
topic Logical pluralism
Intra-theoretical pluralism
Logical consequence
Internal consequence
External consequence
Philosophy of logic
description 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.
publishDate 2018
dc.date.none.fl_str_mv 2018
2018-01-01T00:00:00Z
2020-09-30T10:39:22Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10451/44465
url http://hdl.handle.net/10451/44465
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv Dicher, B. Variations on intra-theoretical logical pluralism: internal versus external consequence. Philos Stud 177, 667–686 (2020). https://doi.org/10.1007/s11098-018-1199-z
0031-8116
10.1007/s11098-018-1199-z
1573-0883
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Springer
publisher.none.fl_str_mv Springer
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799134513423450112

Registros relacionados