Abstrato

Cálculo Relacional

Karrie Williams

Embora se possam encontrar algumas afirmações isoladas sobre a noção de conexões na literatura de c, o tema deste artigo teve um percurso de processo histórico curioso e algo errático. Os fundamentos da teoria atual das relações podem ser encontrados nos trabalhos de A. De Morgan, que conduziu pesquisas substanciais neste campo na década de 1950. De Morgan estava bem ciente das limitações da lógica tradicional em expressar e justificar não só argumentos mais complexos em matemática e ciências, mas também argumentos simples na vida comum; testemunhe o seu renomado aforismo: "Todo o raciocínio de Aristóteles não nos permite, partindo do facto de que o que é um cavalo é de facto um animal." Concentrou a sua ênfase na ideia geral de relações e percebeu plenamente o seu significado na sua busca para escapar aos limites da lógica tradicional e alargar os limites da investigação lógica. DeMorgan, por outro lado, não pode ser creditado por ter inventado os fundamentos teóricos dos relacionamentos, uma vez que não tinha capacidade para abordar o tema que o preocupava e não foi capaz de desenvolver um. Os seus estudos sobre relacionamentos revelam confusão e disciplina, o que pode explicar porque foram negligenciados nos anos seguintes.