Lógica Em Termos: Um Estudo Sobre Uma Lógica De Termos De Leibniz E Jevons

Research Paper (undergraduate) from the year 2012 in the subject Philosophy - Theoretical (Realisation, Science, Logic, Language), language: Portuguese, abstract: Este ensaio oferece uma elaboração de um cálculo de termos criado por Leibniz e aprimorado por Jevons. Embora nenhum desses autores tenha desenvolvido, isoladamente, uma axiomática completa da lógica, há elementos em seus escritos para tanto. Além de propor um conjunto de axiomas, este ensaio procura explicar alguns conceitos fundamentais de um cálculo de termos, a saber, "termo", "intensão" e "extensão". Vários exemplos de provas no sistema são apresentados.