Este livro apresenta seis ensaios de Paolo Mancosu, originalmente apresentados no Brasil como conferências, e a tradução para o português de uma conferência não publicada de Tarski. Os ensaios se dividem em duas áreas principais: história e filosofia da lógica nas primeiras quatro décadas do século XX, com especial ênfase em Tarski, e filosofia da prática matemática. No primeiro grupo são analisados o nominalismo de Tarski e Quine, o debate entre Tarski, Carnap, Neurath e Kokoszynska sobre a verdade e também o trabalho de Tarski sobre consequência lógica e categoricidade de sistemas dedutivos. O terceiro ensaio é acompanhado, como um apêndice, do ensaio de Tarski acerca de consequência lógica e categoricidade. No segundo grupo, o autor discute aspectos da prática matemática, incluindo visualização, raciocínio diagramático, explicação matemática e estilos de raciocínio matemático.


Paolo Mancosu é Willis and Marion Slusser Professor of Philosophy na Universidade de Califórnia em Berkeley. Ele é autor de vários artigos e livros em lógica e filosofia da matemática. Ele também é o autor de Inside the Zhivago Storm. The editorial adventures of Pasternak's masterpiece (Feltrinelli, Milão, 2013) e Zhivago's Secret Journey: from typescript to book (Hoover Press, Stanford, 2016). Durante sua carreira, Mancosu ensinou em Stanford, Oxford e Yale. Ele foi fellow da Humboldt Stiftung, da Wissenschaftskolleg zu Berlin, do Institute for Advanced Study, em Princeton, e do Institut d'Études Avancées, em Paris. Além disto, recebeu bolsas da Guggenheim Foundation, do NSF e do CNRS.