Apresentação da "Universidade do Pensamento" no séc. XVII : intuicionismo cartesiano e formalismo leibniziano

Tentou-se nesta dissertacao apresentar um ponto de vista - fragmentario e inacabado como necessariamente deve ser - acerca do percurso historico do imbricamento entre matematica e filosofia que marcou intensamente o sec. XVII, imbricamento este assinalado pelos termos more geometrico, mathesis universalis, algebra, dentre outros. Isto com o intuito distante de abordar, posteriormente, a questao mais generica de situar tal imbricamento especifico do sec. XVII perante outras conformacoes da relacao entre filosofia e matematica, notadamente, as que presentemente mais nos interessam, a do idealismo alemao do inicio do sec. XIX e a dos principios do que veio a se chamar de filosofia analitica, do inicio do sec. XX. Para tanto, desta forma, buscamos apresentar dois momentos desse imbricamento especificamente seiscentista entre matematica e filosofia que, em nossa opiniao, abrangem uma vastissima gama de temas sintomaticos do periodo: (i) a conformacao cartesiana entre matematica e filosofia, dita inauguradora da modernidade, tipificada pelo conceito de intuicionismo, e (ii) a conformacao leibniziana, tipificada pelo conceito de formalismo. Julgamos que a apresentacao do percurso apenas tocando estes dois polos do movimento, mesmo que incompleta por nao tratar de temas da filosofia de Hobbes, Pascal, Spinoza, Locke, dentre outros, apresenta, todavia, os contornos gerais do desenvolvimento buscado: como se o momento da critica de Leibniz a Descartes, e a re-formulacao leibniziana do dito imbricamento, pudesse ser tomado como uma caracterizacao exemplar do percurso do imbricamento de matematica e filosofia do sec. XVII Abstract