Busca avançada
Ano de início
Entree

Lógicas modais e ontologias para mundos possíveis

Processo: 20/07998-0
Linha de fomento:Bolsas no Brasil - Iniciação Científica
Vigência (Início): 01 de setembro de 2020
Vigência (Término): 31 de agosto de 2021
Área do conhecimento:Ciências Humanas - Filosofia - Metafísica
Pesquisador responsável:Giorgio Venturi
Beneficiário:Renato Semaniuc Valvassori
Instituição-sede: Instituto de Filosofia e Ciências Humanas (IFCH). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
Vinculado ao auxílio:16/25891-3 - Arbitrariedade e genericidade: ou sobre como falar do indizível, AP.JP
Assunto(s):Ontologia (filosofia)   Lógica (filosofia)   Lógica modal

Resumo

Neste projeto proponho-me a estudar as principais ontologias desenvolvidas para lidar com mundos possíveis e o arcabouço de lógica modal a elas subjacentes. Dentre as principais ontologias que serão estudadas encontram-se o realismo modal sustentado por David Lewis (1986), o atualismo, cujos principais proponentes são Plantinga e Stalnaker (1979), o combinatorialismo defendido por Cresswell (1979), e o meinongnianismo proposto inicialmente por Rutley (1980). No que diz respeito à lógica modal, pretendo realizar um estudo dos principais sistemas axiomáticos propostos, em especial os sistemas S4 e S5 apresentados por David Lewis, e os sistemas semânticos SC e LC para a análise de contrafactuais.