Tuesday, March 30, 2021

Natural Deduction is the name of the game


 Last week, on 22nd March 2021 the Nordic Online Seminar had its first meeting and Prof Dag Prawitz gave the first talk on `Validity of inference and argument' (follow the link to join the Nordic Logic Society and be informed of other seminars. They aim to have one per month). It was very nice, there some 160 people in attendance, which is very impressive!

This and the following set of slides (from Peter Schroeder-Heister in 2015 for the celebration of 50 Years of  Natural Deduction) prompted me to post the picture above from the wonderful meeting Natural Deduction in Rio in 2001. (if I keep talking about, maybe Luiz Carlos will re-issue the t-shirts!)

No comments:

Post a Comment