Bolsa 09/10751-8 - - BV FAPESP
Busca avançada
Ano de início
Entree

O significado das sentenças aritméticas, a definibilidade conjuntista e o papel da teoria das categorias na semântica de sistemas lógicos

Processo: 09/10751-8
Modalidade de apoio:Bolsas no Brasil - Pós-Doutorado
Data de Início da vigência: 01 de outubro de 2009
Data de Término da vigência: 30 de setembro de 2012
Área de conhecimento:Ciências Humanas - Filosofia - Lógica
Pesquisador responsável:Walter Alexandre Carnielli
Beneficiário:Rodrigo de Alvarenga Freire
Instituição Sede: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
Palavra(s)-Chave do Pesquisador:Axioma Da Escolha | Consistência | Definibilidade | Incompletude | Sentenças Aritméticas | Teoria De Modelos Abstrata | Fundamentos Da Matemática E Da Lógica

Resumo

O presente projeto tem como finalidade iniciar uma reflexão sobre três questões fundamentais. A primeira questão diz respeito à determinidade da sentença que expressa a consistência de um sistema formal como ZFC, Con(ZFC): em que sentido pode-se afirmar que a consistência de ZFC é bem determinada, e não inerentemente vaga? A segunda questão fundamental é relativa à natureza dos conjuntos introduzidos pelo Axioma da Escolha no sistema formal ZFC: que tipo de conjunto o Axioma da Escolha introduz na Teoria de Conjuntos? A terceira questão fundamental que motiva este projeto é relativa ao possível papel organizacional que a Teoria das Categorias pode desempenhar na Matemática, com ênfase nos aspectos e formulações categoriais da relação de conseqüência e da Teoria de Modelos como um todo. Com relação à primeira questão, mesmo mantendo o foco em sentenças que expressam a consistência de sistemas formais como ZFC, e sentenças relacionadas, será necessário analisar as sentenças aritméticas como um todo para investigar a possibilidade de se justificar a existência de um valor de verdade determinado para Con(ZFC) independentemente de pressupostos sobre a validade geral da lei lógica do terceiro excluído. O ponto é que estamos interessados em mostrar que certas sentenças, como sentenças de consistência, portam valor de verdade em um sentido mais forte que outras, como a sentença da Hipótese do Contínuo, e o fundamento dessa diferença não pode estar na validade geral de leis lógicas. Com essa investigação em três frentes pretendemos analisar aspectos de quatro noções básicas do aparato conceitual da Matemática contemporânea: a noção de número, a noção de conjunto, a noção de estrutura e a noção de conseqüência semântica.

Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa:
Mais itensMenos itens
Matéria(s) publicada(s) em Outras Mídias ( ):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)

Publicações científicas
(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)
FREIRE, RODRIGO A.. On Existence in Set Theory, Part II: Relative Productivity. NOTRE DAME JOURNAL OF FORMAL LOGIC, v. 55, n. 1, p. 91-105, . (09/10751-8)
FREIRE, RODRIGO A.. On Existence in Set Theory. NOTRE DAME JOURNAL OF FORMAL LOGIC, v. 53, n. 4, p. 525-547, . (09/10751-8)

Por favor, reporte erros na lista de publicações científicas utilizando este formulário.