The Many Sides of Logic

ISBN-13: 9781904987789 / Angielski / Miękka / 2009 / 586 str.

Walter Carnielli; Marcelo E. Coniglio; Itala M. Loffredo D'Ottaviano

Opis

The ``Many Sides of Logic is a volume containing a selectionof the papers delivered at three simultaneous events heldbetween 11-17 May 2008 in Paraty, RJ, Brazil, continuing a traditionof three decades of Brazilian and Latin-American meetings and celebratingthe 30th anniversary of an institution congenital with the matureinterest for logic, epistemology and history of sciences in Brazil:CLE 30 - 30th Anniversary of the Centre for Logic, Epistemology and theHistory of Science at the State University of Campinas (UNICAMP)XV EBL -15th Brazilian Logic ConferenceXIV SLALM - 14th Latin-American Symposium on Mathematical LogicSeveral renowned logicians, philosophers and mathematicians gathered incolonial Paraty, a historic village on the Braziliancoast founded in the 17th Century and surrounded by the luscious Atlanticrain forest to deliver lectures and talks celebrating the many sides oflogic: the philosophical, the mathematical, the computational, the historical,and the multiple facets therein.The topics of the joint conferences, well represented here, includedphilosophical and mathematical Logic and applications with emphasis onmodel theory and proof theory, set theory, non-classical logics andapplications, history and philosophy of logic, philosophy of the formalsciences and issues on the foundations of mathematics.The events have been preceded by a Logic School planned for studentsand young researchers held at the UNICAMP campus in Campinas, SP.