Los sistemas lógicos clásicos son los más estudiados y utilizados de todos, y se caracterizan por incorporar ciertos principios tradicionales que otras lógicas rechazan. Algunos de estos principios son: el principio del tercero excluido, el principio de no contradicción, el principio de explosión y la monoticidad de la implicación. Entre los sistemas lógicos clásicos se encuentran:
Lógica proposicional
Lógica de primer orden
Lógica de segundo orden
Suscribirse a:
Enviar comentarios (Atom)
No hay comentarios:
Publicar un comentario