BEGIN:VCALENDAR VERSION:2.0 PRODID:researchseminars.org CALSCALE:GREGORIAN X-WR-CALNAME:researchseminars.org BEGIN:VEVENT SUMMARY:Patricia Blanchette (University of Notre Dame) DTSTART:20220908T180000Z DTEND:20220908T190000Z DTSTAMP:20260423T021152Z UID:OLS/100 DESCRIPTION:Title: Fo rmalism in Logic\nby Patricia Blanchette (University of Notre Dame) as part of Online logic seminar\n\n\nAbstract\nLogic became ‘formal’ at the end of the 19th century primarily in pursuit of deductive rigor within mathematics. But by the early 20th century\, a formal treatment of logic had become essential to two new streams in the current of logic: the colle ction of crucial ‘semantic’ notions surrounding the idea of categorici ty\, and the project of examining the tools of logic themselves\, in the w ay that’s crucial for the treatment of completeness (in its various guis es). This lecture discusses the variety of different tasks that have been assigned the notion of formalization in the recent history of logic\, with an emphasis on some of the ways in which the distinct purposes of formali zation are not always in harmony with one another.\n LOCATION:https://researchseminars.org/talk/OLS/100/ END:VEVENT END:VCALENDAR