[Palestra] – A obra de Frege sob a perspectiva da virada linguística

Friedrich Ludwig Gottlob Frege (1925) foi um matemático, lógico e filósofo alemão. Trabalhando na fronteira entre a filosofia e a matemática, Frege foi um dos principais criadores da lógica matemática moderna. Neste vídeo, a Profa. Dra. Denise Silva Vilela (CECH-UFSCar) busca mostrar que a tentativa de Frege de encontrar os fundamentos últimos da matemática na […]

[Entrevista] – Walter Carnielli – Gödel, Turing e a História da Lógica no século XX

Walter Alexandre Carnielli é um matemático, lógico e filósofo brasileiro. É professor de lógica na Universidade Estadual de Campinas, onde foi bacharel mestre e doutor, em 1984, orientado por Newton da Costa. Possui pós-doutorado pela University of California (1985) , pela Universitat Munster (Westfalische-Wilhelms) (1990) e pela Rheinische Friedrich-Wilhelms-Universität Bonn, como bolsita da Fundação Alexander von […]

[Entrevista] – Newton da Costa – A lógica paraconsistente e o direito

Newton da Costa é um gênio, com direito a todas as singularidades de um gênio. O filósofo e matemático brasileiro Newton Carneiro Affonso da Costa é um dos nomes mais importantes da lógica contemporânea. Deveria dispensar apresentações, mas é quase desconhecido no Brasil. Famoso nos círculos acadêmicos de vários países, ele já não consegue acompanhar o […]