To celebrate this occasion, Association for Logic in India (ALI) (in co-ordination with Mathematics Teachers\u2019 Association, India<\/a> and Calcutta Logic Circle<\/a>) is pleased to announce the following lectures.<\/p>\n Lecture 1 Time:<\/em> 7:30 pm-8:30 pm (Beijing Time)<\/p>\n Speaker:<\/em> R. Ramanujam<\/strong> (Institute of Mathematical Sciences, Chennai)<\/p>\n Title:<\/em> Logic for<\/em> school mathematics<\/strong><\/p>\n Abstract:<\/em> All through school, students learn deductive procedures in equational theories Logic is not only about deductive reasoning, it is also a conscious use of formal language, understanding truth relative to models, figuring out consequence, relating assertions to algorithms that check those assertions, and studying limits to reasoning. Viewed thus, logic can serve a range of pedagogic purposes in school mathematics.<\/p>\n Lecture 2<\/strong><\/p>\n Time:<\/em> 9:00 pm-10:30 pm (Beijing Time)<\/p>\n Speaker:<\/em> Sourav Tarafder<\/strong> (St. Xavier\u2019s College, Kolkata)<\/p>\n Title:<\/em> Models of non-classical set theories<\/strong><\/p>\n Abstract:<\/em> In this presentation, we shall discuss algebra-valued models of set theories. Different classes of algebras will be introduced which produce non-classical algebra-valued models of ZF, ZFC, a proper fragment of ZF, and finally a new version of ZF axiom system, which is classically equivalent to ZF. The validity of the mathematical statements like the Axiom of Choice, the generalized continuum hypothesis, Cantor\u2019s theorem, Schr\u00f6der-Bernstein theorem depend on their validity in the ground model. Though the models are non-classical,the foundations of cardinal numbers including the cardinal arithmetic in these models are similar to those in classical set theory. Finally we shall discuss few independence results in these non-classical set theories.<\/p>\n Zoom meeting details<\/strong>:<\/p>\n https:\/\/us02web.zoom.us\/j\/85603833873?pwd=RzZHWHJwa01kbDcrVFVwUTZ2QXpDZz09<\/a><\/p>\n Meeting ID: 856 0383 3873<\/p>\n Passcode: 559120<\/p>\n Contact: <\/strong>Md. Aquil Khan, IIT Indore (aquilk@iiti.ac.in<\/a>)<\/p>\n","protected":false},"excerpt":{"rendered":" UNESCO has announced that January 14 will be celebrated as World Logic Day. Here you can see the details of the celebrations happening all around the world. To celebrate this occasion, Association for Logic in India (ALI) (in co-ordination with …<\/span> Continue reading →<\/span><\/a><\/p>\n","protected":false},"author":11,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"ngg_post_thumbnail":0,"footnotes":""},"categories":[10],"tags":[],"class_list":["post-6921","post","type-post","status-publish","format-standard","hentry","category-community"],"_links":{"self":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/6921","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/users\/11"}],"replies":[{"embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/comments?post=6921"}],"version-history":[{"count":7,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/6921\/revisions"}],"predecessor-version":[{"id":6931,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/posts\/6921\/revisions\/6931"}],"wp:attachment":[{"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/media?parent=6921"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/categories?post=6921"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.zlaire.net\/events\/previous\/wp-json\/wp\/v2\/tags?post=6921"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}![\"\"](\"https:\/\/www.zlaire.net\/events\/previous\/wp-content\/uploads\/2021\/01\/R-Ramanujam-246x300.jpeg\")
<\/a><\/strong><\/p>\n
\nand employ deliberate means of reasoning in algebra and geometry. Yet, the question of whether these procedures are reliable<\/em> never comes up in the curriculum, though there is an excellent answer: Tarski\u2019s theorem on the decidabllity of real arithmetic. Formal propositional logic is introduced at school, but when seen in company with topics like the differential calculus, is treated rather dismissively,<\/p>\n![\"Dr.](\"https:\/\/logicindiaorg.files.wordpress.com\/2020\/12\/image.jpeg?w=184\")
<\/figure>\n<\/div>\n