Como toda a escrita simbólica, a lógica serve para calcular e/ou manipular os símbolos, de forma a chegar, através de procedimentos mecânicos, a um resultado indiscutível.
Leibniz foi o primeiro, no século XVIII, a querer estender a ideia de cálculo a um domínio mais lato do que o dos números e das quantidades, e a projectar construir uma «álgebra do pensamento». Da mesma forma que na aritmética, por exemplo, a «sintaxe» - ou seja, as regras de utilização dos sinais =, +, -, x, : - permite calcular de uma forma precisa os números, - é possível definir um conjunto de proposições relacionadas de maneira regrada, graças a conectores lógicos: ~ (negação), & (deveria ser um v ao contrário, mas não o descubro. leia-se "e"), v (ou), => (implicação - se... então...), <=> (consequência), etc. O emprego destes conectores permite-nos transformar as proposições e operar sobre elas como se fossem fórmulas.
Sem comentários:
Enviar um comentário