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…

[200] A distinção entre contexto de descoberta e contexto de justificação, segundo Reichenbach

A distinção entre contexto de descoberta e contexto de justificação é normalmente apresentada como marcando a diferença entre, por um lado, os processos de pensamento, teste e experimentação que de fato ocorreram em um laboratório ou em um ambiente de pesquisa e que levaram ou contribuíram para alguma descoberta científica e, de outro, os processos de justificação e validação dessa descoberta. Haveria, portanto, uma clara diferença entre descrever como cientistas chegaram a fazer certas alegações científicas, o que seria uma tarefa para as ciências empíricas, como a sociologia, a psicologia e a antropologia da ciência, e justificar essas alegações, o que seria uma tarefa para a epistemologia, uma disciplina normativa e não-empírica. Essa distinção é corriqueira em debates acerca do escopo da filosofia da ciência e teria sido explicitada inicialmente por Reichenbach. Contudo, quando examinamos a maneira como ele circunscreveu as tarefas da epistemologia, notamos que alguns elementos i…

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