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

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. Neta breve introdução, apresento em linhas gerais o externismo semântico para, em seguida, contrastá-lo com a tese da mente estendida.


A última tese alega 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. Putnam argumentou em favor dessa tese nos anos 70 apoiando-se, em parte, no experimento mental da Terra Gêmea[1]. Nos seus textos sobre o tema, Putnam nos convida a imaginar 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 para a sobrevivência tanto quanto nós. Esse planeta é tão semelhante ao nosso que lá você encontra …

[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…

[176] O argumento do conhecimento de Jackson e conceitos fenomênicos

Na primeira metade do século passado, a teoria dos dados dos sentidos foi geralmente sustenta pelo argumento da ilusão (Price, Moore e Russell, para citar alguns, recorreram a este argumento). Mas já nas décadas de 50 e 60, o argumento foi duramente criticado, especialmente por Austin em Sense and Sensibilia. Alguns anos mais tarde, em 1977, Frank Jackson tenta sustentar a teoria dos dados dos sentidos por um novo caminho. Ela seria necessária para explicar certos usos não-comparativos de expressões que envolvem a locução "parecer", como em "coisas brancas parecem brancas". O que se segue abaixo é uma breve tentativa de reconstruir o argumento que estabelece que há de fato usos não-comparativos de expressões que envolvem a locução "parecer". Antes de saber se a teoria dos dados dos sentidos é necessária para explicar este uso, temos claro de nos certificar de que haja este uso.

Mary nasceu e cresceu numa sala onde todas as coisas são pretas ou brancas. Ela…