Publicação
The Finitistic Consistency of Heck’s Predicative Fregean System
| Resumo: | Frege’s theory is inconsistent (Russell’s paradox). However, the predicative version of Frege’s system is consistent. This was proved by Richard Heck in 1996 using a model-theoretic argument. In this paper, we give a finitistic proof of this consistency result. As a consequence, Heck’s predicative theory is rather weak (as was suspected). |
|---|---|
| Autores principais: | Cruz-Filipe, L. |
| Outros Autores: | Ferreira, Fernando |
| Assunto: | consistency Fregean arithmetic strict predicativity |
| Ano: | 2015 |
| País: | Portugal |
| Tipo de documento: | artigo |
| Tipo de acesso: | acesso aberto |
| Instituição associada: | Escola Superior Náutica Infante D. Henrique |
| Idioma: | inglês |
| Origem: | Escola Superior Náutica Infante D. Henrique |
| Resumo: | Frege’s theory is inconsistent (Russell’s paradox). However, the predicative version of Frege’s system is consistent. This was proved by Richard Heck in 1996 using a model-theoretic argument. In this paper, we give a finitistic proof of this consistency result. As a consequence, Heck’s predicative theory is rather weak (as was suspected). |
|---|
Atividades financiadas
Não foram encontrados projetos financiados.