[pt] COMPREENSÃO DE CONDICIONAIS A PARTIR DA PROXIMIDADE

Detalhes bibliográficos
Ano de defesa:	2017
Autor(a) principal:	RICARDO QUEIROZ DE ARAUJO FERNANDES
Orientador(a):	Não Informado pela instituição
Banca de defesa:	Não Informado pela instituição
Tipo de documento:	Tese
Tipo de acesso:	Acesso aberto
Idioma:	eng
Instituição de defesa:	MAXWELL
Programa de Pós-Graduação:	Não Informado pela instituição
Departamento:	Não Informado pela instituição
País:	Não Informado pela instituição
Palavras-chave em Português:	[pt] LOGICA [pt] LOGICA DEONTICA [pt] LOGICA CONTRAFACTUAL [pt] CONDICIONAIS [pt] DEDUCAO NATURAL [en] LOGIC [en] NATURAL DEDUCTION
Link de acesso:	https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=28782&idi=1 https://www.maxwell.vrac.puc-rio.br/colecao.php?strSecao=resultado&nrSeq=28782&idi=2 http://doi.org/10.17771/PUCRio.acad.28782
Resumo:	[pt] Apresentamos uma lógica para a compreensão de condicionais a partir da proximidade (PUC-Logic) que unifica as lógicas Contrafactual e Deôntica propostas por David Lewis. Propomos também um sistema de dedução natural (PUC-ND) associado a essa nova lógica. Esse sistema de inferência é correto, completo, normalizável e decidível. A completude relativa para as lógicas V e CO é apresentada para dar ênfase à abordagem unificada sobre o trabalho de Lewis. Depois disso, apresentamos uma perspectiva construtivista para mostrar que a abstração contrafactual de Lewis não exige a regra do absurdo clássico.

Registros relacionados