On the impredicativity and circularity of Frege’s Ancestral

Entre as principais contribuições de Frege à filosofia da matemática encontra-se a sua famosa definição de Ancestral de uma Relação. Apresentada primeiro na Begriffsschrift de 1879, tal definição possui um papel crucial no logicismo fregeano ao estabelecer as condições para transformar a relação pre...

Full description

Saved in:
Bibliographic Details
Main Author: João Vitor Schmidt
Format: Article
Language:English
Published: Universidade Federal de Pernambuco (UFPE) 2020-11-01
Series:Perspectiva Filosófica
Subjects:
Online Access:https://periodicos.ufpe.br/revistas/index.php/perspectivafilosofica/article/view/248897
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Entre as principais contribuições de Frege à filosofia da matemática encontra-se a sua famosa definição de Ancestral de uma Relação. Apresentada primeiro na Begriffsschrift de 1879, tal definição possui um papel crucial no logicismo fregeano ao estabelecer as condições para transformar a relação predecessora em uma série linearmente ordenada. Uma das objeções à definição de Frege provém de sua impredicatividade e da circularidade resultante. Tal objeção foi primeiramente apresentada por Benno Kerry em 1887, e mais recentemente por Ignacio Angelelli em 2012. Neste artigo, argumento, a partir da perspectiva fregeana, que o Ancestral não é circular, não obstante sua inevitável impredicatividade.
ISSN:0104-6454
2357-9986