Lógicas modais e ontologias para mundos possíveis

• Processo: 20/07998-0
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de setembro de 2020
• Data de Término da vigência: 30 de novembro de 2021
• Área de 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
• Palavra(s)-Chave do Pesquisador: Filosofia da Lógica | Lógica | Metafísica | Ontologia | Ontologia

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.