"Crítica à razão pura" para programadores

Todo mundo que, por algum motivo, leu ou tentou ler a “Crítica da razão pura”, de Immanuel Kant, observou que esse trabalho dificilmente pode ser chamado de fácil leitura. Vadeando frases complexas com meia página, não é fácil captar o espírito de seu sistema e, de fato, muitas vezes entender o que está em jogo. O que é digno de nota, o próprio Kant entendeu perfeitamente as falhas literárias de sua obra, mas em um esforço para expor sistematicamente o resultado de muitos anos de reflexão, como ele escreve: " ... tive que omitir ou encurtar muito que não é essencial para a totalidade do todo, embora possa ser desejável para alguns. leitores ". Este artigo é uma tentativa de delinear uma analogia conectada aos princípios dos sistemas de computador, o que me ajuda a conectar os conceitos de Kant.

Para entender os motivos para escrever críticas, você precisa fazer uma pequena digressão na história das discussões filosóficas sobre as possibilidades do conhecimento humano. A questão sobre o que é a verdade e o quanto a mente humana pode alegar saber, estimulou as melhores mentes humanas desde os tempos antigos. Os sistemas antigos originais, em primeiro lugar, introduziram uma distinção importante entre os conceitos de "verdade" e "opinião" e também lançaram as bases para uma abordagem metodológica como a análise.

Durante a Idade Média, a análise de Aristóteles foi significativamente desenvolvida como parte da justificação dos conceitos teológicos escolásticos. Uma tentativa de usar a mente humana para provar a existência de Deus levou ao fato de que tudo que era "ilógico" se tornou "dogmático".

A filosofia da Nova Era trouxe uma onda de fé na mente humana e tornou-se verdade que era racional; se é lógico, essa é a verdade. Mas, na sequência do sucesso do uso dessa abordagem na ciência, foram feitas novamente tentativas para justificar racionalmente conceitos superconhecíveis: a existência de Deus, a imortalidade da alma, o livre arbítrio. O problema dos sistemas dedutivos conceituais proclamando verdades eternas baseadas em "evidências da razão", no uso de conceitos aparentemente inabaláveis, como relacionamentos causais.

O famoso “de X é fácil ver que Y ” é muito suscetível à substituição de X e Y, que são inválidos para esta lei,. É possível verificar a proposição “força de ação é igual a força de oposição” na prática, e a afirmação “se existe uma razão para todas as conseqüências, deve haver uma causa raiz” não existe mais.

A verificação experimental dos julgamentos tornou-se a base para outra tendência do pensamento filosófico - o empirismo. A absolutização da experiência e a diminuição do papel das teorias e conceitos universais levaram à dúvida na indução como uma abordagem para a construção de leis. Mais claramente sobre o problema da correlação da experiência individual com as leis universais, disse o filósofo britânico David Hume. De fato, o hábito de associar fenômeno Um com fenômeno B (objetos caem para baixo , cisnes são apenas branco ) não significa que é “ necessárioé a única maneira "e" vseobschno todos os cisnes e as coisas. "

Kant disse que tal crítica da causalidade o despertou do sono dogmático e forçado a falar em defesa das habilidades cognitivas da humanidade, na capacidade de gerar conhecimento que será necessário e universal .

Para Para entender o caminho que Kant percorreu em seu trabalho, proponho introduzir uma analogia e considerar um Sistema de Computação ( BC ) que registra sinais do Mundo Externo ( VM ) usando um Receptor de Dados ( PD ) para processamento no Bloco Processamento de Dados ( AML ) e entrar na Base de Conhecimento ( KB ).



Em termos de filosofia crítica, isso é respectivamente:

  • Sistema computacional - o aparato humano do pensamento
  • O receptor de dados é o aparato sensorial, nossos cinco sentidos
  • Unidade de processamento de dados - Mind
  • Base de conhecimento - conhecimento acumulado
  • O mundo exterior é o mundo das coisas em si

Apresentaremos nossa interação com o mundo exterior, um único ato de cognição na forma de uma determinada transação de dados e seu processamento em nosso sistema de computador. A tarefa geral com essa abordagem é explicar como é possível preencher nossa base de conhecimento com julgamentos verdadeiros, e agora ela se torna a verdade, verdadeira para cada transação desse tipo.

Segundo Kant, o preenchimento da Base de Conhecimento começa durante a interação com o Mundo Externo e a segue, mas não apenas a VM é a fonte desse conhecimento, mas os recursos de nossas forças armadas também afetam o conteúdo da base de conhecimento .

A idéia é bastante simples, apesar do fato de os Sistemas de Computação serem diferentes, se você selecionar os princípios comuns à criação de todos os VS, poderá usá-lo como invariável para qualquer transação possível.

O que é tão universal e necessário em nosso sistema ?

Vamos ver como você pode organizar os componentes do nosso sistema de computação.
Nosso receptor de dados é um bloco (não é um ADC, mas essa analogia entra em nosso circuito), que fornece as informações processadas de uma forma compreensível:



Não sabemos nada sobre um conjunto específico de bits de sinal, mas sabemos com certeza que eles estão de alguma forma "posicionados" e agem como alterações nos conjuntos de dados no tempo. Os esquemas de interpretação para esses dados (profundidade de bits, frequência de processamento) podem ser diferentes, mas no final devemos obter as características dessas informações - o número de bits em um grupo específico, sua presença em geral, padrões em envios sucessivos etc.

Transformar esse conjunto de dados de streaming em uma imagem completa é a base da nossa principal tarefa de preencher ou atualizar nossa base de conhecimento. Como um encadeamento simples não fornece uma imagem holística, em algum momento devemos começar a associar o conjunto atual a vários anteriores.

Essa capacidade básica do nosso sistema é garantida pela capacidade da Unidade de processamento de dados de salvar o estado do sistema, em uma representação muito aproximada, executando uma operação algorítmica tão simples:

if (previousContext.hasDependency(current)) { 
    updatePreviousContext();
}

Na terminologia de Kant, essa capacidade básica de "manter o estado de consciência" em relação aos dados sensoriais é chamada de unidade de apercepção (percepção consciente) e é a base de todos os julgamentos racionais subsequentes.

Sem essa conservação do “eu acho” em todo ato de percepção, a síntese do conhecimento em si é impossível, é a base de toda transação possível com o mundo exterior.

A transformação de sensações (dados) em conceitos (tipos de dados) e, finalmente, em fundações (construções de software) é a cadeia que se baseia na unidade transcendental da percepção.

É importante entender que esse princípio de ligação não pode ser aplicado isoladamente das transações, da interação com o mundo exterior, da experiência possível.

Aquilo que é a base do conhecimento do mundo dos fenômenos não pode ser aplicado livremente a conceitos superexperientes (Deus, liberdade, alma).

Mas é muito difícil para a mente limitar esse "vôo da consciência" e uma pessoa muitas vezes simplesmente atravessa a fronteira de suas "habilidades de computação" e começa a "programar conceitos" sem referência ao Receptor de Dados, com base nos conceitos de processamento de dados acumulados ( categorias de Kant).
Tais julgamentos que surgem sem ser vinculados ao Mundo Exterior por Kant são chamados a priori , e a questão é se é possível preencher (não apenas interpretar registros existentes no KB, analiticamente, com base na lei da contradição), mas expandir ( sintetizar) o conteúdo da nossa base de conhecimento sem o uso de dados do mundo exterior é essencial para ele - como são possíveis julgamentos sintéticos a priori?

Kant diz que, como sabemos que os princípios do Receptor de Dados funcionam e são sempre aplicados a cada transação, então para cada subsequente eles serão justos.

Se sabemos que o Receptor de Dados possui características espacialmente localizadas (posições de bits na grade) e temporais (alterações de bits em cada célula), podemos criar leis com base nessa característica desses dados.

Kant acreditava na verdade da matemática e em suas construções espaciais geométricas que usam espaço abstrato e procedimentos abstratos de construção (uma linha deve ser desenhada para ser intuitivamente entendida como uma entidade infinita sem dimensão). Tais construções a priori, na sua opinião, são verdadeiras precisamente porque não usam mais do que a "base de toda transação possível" com o mundo.

Mesmo se não soubermos "como realmente é", as limitações do Receptor de Dados, nossa sensualidade funcionará para nós a cada vez, e isso é comum entre nós e o mundo externo, cujas propriedades tornam possível produzir julgamentos sintéticos a priori , universais e necessários. .

Se para a matemática pura as propriedades do Data Receiver são suficientes (o espaço para a construção de geometria e o tempo para o cálculo em aritmética), a ciência natural já exige suporte algorítmico, pelo menos uma relação causal como base para a construção de julgamentos, como as leis de conservação de energia. Procedendo da mesma necessidade de usar a unidade da percepção para cada ato de cognição, Kant usa um aparato categórico (quantidade, qualidade, causalidade, possibilidade) para explicar a possibilidade das ciências da natureza.
Essa relação causal pode não ser um estado objetivo no mundo (quem sabe se houve alguma interrupção no sinal, se tudo foi processado pelo Data Receiver), mas sim a propriedade subjetiva de nossa unidade algorítmica, sem a qual o procedimento para criação de conhecimento não é possível.

Os problemas com o uso de formas a priori de sensualidade (espaço e tempo) e formas a priori de razão (categorias de quantidade, qualidade, atitude e modalidade) começam onde são usados ​​isoladamente de uma possível transação ( possível experiência ) com o mundo externo.

Por exemplo, nosso “programador interno” tem um desejo ardente de explorar com base na “lógica” e “sente” sua estrutura interna, a maneira como ele organiza seu sistema de computação.

Como nosso “ciclo de processamento de eventos” parece, em primeiro lugar, único e, em segundo lugar, absolutamente real, estamos tentando atribuir a mesma estrutura ao Sol e a outras entidades. Além disso, não estamos limitados ao tempo da sessão de computação (enquanto a Sunnão foram desconectados) e acreditamos que, mesmo além dos limites da experiência possível (que termina com a morte do sistema), nossas aeronaves podem continuar existindo. Infelizmente, esses paralogismos da mente, no contexto de julgamentos sobre a imortalidade e substancialidade da alma, vão além do escopo da "possível transação" e da possível experiência. Nosso sistema de computação é a base para o processamento de transações e nada mais, é tão incognoscível para Kant quanto o mundo exterior (de fato, o “programa não conhece” os detalhes de seu ambiente de tempo de execução, na nuvem, distribuído ou de alguma forma).

Quanto ao mundo exterior, então se começarmos a pensar em termos de uma “fita” infinita de PA ou infinitas habilidades computacionais de AMLpodemos obter julgamentos igualmente lógicos ( antinomias ), por exemplo:

  • “O mundo é finito, o mundo é infinito” (teoricamente, o PD pode ter profundidade de bits arbitrária)
  • “O mundo é previsível, o mundo é aleatório” (simplesmente não podemos calcular isso, ou há liberdade fundamental)
  • “Existe uma causa raiz de tudo, não existe uma causa raiz” (algo igualmente computacionalmente poderoso e contornando as limitações de nosso PD ).

Segundo Kant, a ideia de tais conceitos absolutos (em tamanho, duração ou "poder") não serve por si só como fonte de dados, apenas permite que você se mova na direção da expansão do conhecimento existente.

Em resumo, podemos dizer que um estudo tão crítico das capacidades do "sistema de computação" de uma pessoa deu a Kant a base para proteger o conhecimento já acumulado das ciências matemáticas e das ciências naturais e alertar contra o uso da razão em casos super-experimentais.

Source: https://habr.com/ru/post/undefined/


All Articles