Pular para o conteúdo principal

[98] Definição matemática

Uma definição matemática de uma entidade é impredicativa (impredicative) se ela faz referência a um conjunto que contém a entidade definida. Isso não é problemático quando lidamos com conjuntos finitos. A definição do sujeito mais alto de uma sala é impredicativa, pois ela faz referência ao conjunto das pessoas na sala, o qual contém como elemento o sujeito mais alto da sala. Há uma certa circularidade na definição, pois a entidade definida é pressuposta ou referenciada por meio do conjunto que a contém.

A situação não é tão pacífica quando a definição impredicativa faz referência a conjuntos infinitos. É o caso da definição de supremum. Seja X um conjunto, supX é o menor elemento maior que todos os elementos de X. Para definir supX, primeiro identificamos o conjunto de todos os elementos que servem de limite superior a X, isto é, qualquer elemento deste conjunto é maior ou igual que todos os elementos de X. Então, se s=supX, então s deve satisfazer: para todo x E X, x<=s. Essa condição apenas não identifica uma única entidade. Podemos chamar de A o conjunto dos elementos que satisfazem essa condição. Este conjunto pode ser infinito. Com uma nova condição, que agora identifica o menor elemento de A, obtemos a definição de supX. Se um s' satisfaz a primeira condição, isto é, se ele é um elemento de A, então s <= s'. Por meio dessas duas condições, definimos a entidade supX, que, se exite, é única. A definição é impredicativa por fazer referência a um conjunto, no caso, o conjunto dos limites superiores de X, o qual contém a própria entidade definida.

Realistas (Gödel) não vêem problema neste tipo de definição, pois eles concebem a definição mais como uma descrição, sendo assim, a circularidade não é viciosa. O conjunto que contém a entidade definida é visto como um instrumento descritivo para se referir a várias entidades abstratas que existem independentemente da mente. Construtivistas (Poincaré), por outro lado, por conceberem a definição matemática de uma entidade como a operação que constitui e dá existência a essa entidade, são resistentes à definição impredicativa, pois julgam a sua circularidade como viciosa, uma vez que ela pressupõe a existência da entidade que está se tentando definir e constituir.

Construtivistas, por um lado, têm a seu favor o fato de que definições impredicativas são mais sujeitas a paradoxos, como é o caso do famoso paradoxo de Russell. A definição do conjunto de todos os conjuntos que não são elementos de si mesmos é impredicativa e gera um paradoxo. Se esse conjunto não é elemento de si mesmo, então ele deveria ser. Se ele é elemento de si mesmo, então ele não deveria. Por outro lado, a análise numérica e diversos ramos da matemática dificilmente passam sem a definição de Supremum. Exigir que se faça ampla revisão da matemática com base em assunções filosóficas é excessivo.

Comentários

Luciano Gomes disse…
Interessante.

Postagens mais visitadas deste blog

[197] Breve introdução à tese da mente estendida

A tese da mente estendida é distinta e não se confunde com o externismo acerca dos conteúdos mentais. Nesta breve introdução, apresento em linhas gerais o externismo acerca dos conteúdos mentais para, em seguida, contrastá-lo com a tese da mente estendida. Identifico e apresento, então, os principais comprometimentos da tese da mente estendida.

A tese do externismo acerca dos conteúdos mentais afirma que as relações causais que temos com o ambiente determinam, de alguma forma, o conteúdo dos nossos estados mentais, ou seja, aquilo que percebemos, ou aquilo acerca do qual pensamos algo, ou aquilo que desejamos etc. depende dos objetos com os quais interagimos causalmente. Um argumento comum em favor dessa tese é inspirado no argumento clássico de Putnam para o externismo semântico[1]. Imaginemos um planeta muito semelhante ao nosso, praticamente gêmeo nas aparências. Ele é abundante em um líquido muito semelhante à água, povoado com seres inteligentes como nós e que usam esse líquido…

[138] Sonhos, Percepção e Alucinação, uma diferença intrínseca ou extrínseca?

Sonhos são diferentes de percepções que são diferentes de alucinações. A diferença talvez não esteja, muito embora possa estar, na qualidade das experiências que se tem ao sonhar, perceber ou alucinar. Sonhar, perceber e alucinar são estados diferentes nos quais o sujeito pode se encontrar. O sonho é um estado de repouso, os sentidos estão adormecidos e, no entanto, o sujeito passa por algum tipo de experiência fenomênica. O perceber, ver ou sentir é um estado de alerta, os sentidos captam informações do próprio corpo e do ambiente circundante que são apresentadas através da experiência perceptiva do indivíduo. A alucinação é um estado de desajuste neurológico/psíquico do indivíduo: ele tem a impressão de ver coisas que, na verdade, não existem absolutamente nas suas imediações.

Na terceira pessoa, examinando o indivíduo A, estes três estados de experiência são claramente distintos e facilmente distinguíveis. Diferenças na atividade cerebral podem nos fornecer critérios não-duvidosos s…

[194] Notas sobre a ética da crença

Resolvi organizar um pouco as minhas notas sobre um tema do qual a esfera pública, especialmente em tempos de pós-verdade, parece cada vez mais carente, a saber, a ética da crença.
Resumo:

Neste artigo, discuto a norma defendida por Clifford de que somente a crença baseada em indícios suficientes é legítima. Articulo os dois principais argumentos apresentados por Clifford em favor dessa norma, um que apela para o valor instrumental da crença baseada em indícios, e um segundo que apela para a credulidade acarretada e a corrupção da capacidade de evitar o erro se negligenciamos a referida norma. Sustento que o primeiro argumento é insuficiente para estabelecer a norma em geral. Crenças que não são meios para ações ficam de fora do escopo do primeiro argumento. O segundo argumento tem um alcance mais abrangente. Contudo, ele pode ser bloqueado se o agente segue uma norma intelectualista que visa insular as crenças injustificadas do restante da sua vida cognitiva e ativa. É uma questão …