Comparação entre as duas versões da dedução kantiana dos conceitos puros do entendimento, a da 1ª edição de 1781 e a de 1787. Focam-se aqui principalmente as discrepâncias referentes à dedução objetiva, isto é, aquela ...

This thesis intends to analyse the notions of transcendental deduction and basic norm, presented in the works of Kant and Kelsen, respectively. These concepts are used by the authors quoted as a form to legitimize the ...

O ponto inicial deste trabalho é um caso de estudo de um protocolo de carteira eletrônica modelado por uma teoria equacional de um fragmento da aritmética, que inclui exponenciação. Foi estudado um procedimento de decisão ...