Cópula
A “cópula” é a palavra, cunhada pelo lógico Pedro Abelardo, que serve para ligar o sujeito e predicado de uma […]
Entimema
Um entimema é um conceito criado por Aristóteles para se referir a um argumento com uma premissa ou conclusão não
Formalismo
O formalismo, em lógica, tem a ver com a estrutura ou forma das proposições ou argumentos. A forma de um
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.,
Silogismo
O silogismo é uma forma argumentativa, dedutiva de proposições categóricas, constituída por duas premissas e uma conclusão e apenas com