Entimema
Um entimema é um conceito criado por Aristóteles para se referir a um argumento com uma premissa ou conclusão não […]
Lógica
Na lógica estuda-se o que se segue do quê, i.e., queremos saber quando temos um bom ou mau raciocínio, um
Metalógica
A metalógica é o estudo de sistemas de lógica formais e a tentativa de provar coisas acerca desses sistemas, e.g.,