Logica Em Termos

Research Paper (undergraduate) from the year 2012 in the subject Philosophy - Theoretical (Realisation, Science, Logic, Language), , language: Portugues, abstract: Este ensaio oferece uma elaborao de um clculo de termos criado por Leibniz e aprimorado por Jevons. Embora nenhum desses autores tenha desenvolvido, isoladamente, uma axiomtica completa da lgica, h elementos em seus escritos para tanto. Alm de propor um conjunto de axiomas, este ensaio procura explicar alguns conceitos fundamentais de um clculo de termos, a saber, "termo", "intenso" e "extenso". Vrios exemplos de provas no sistema so apresentados.