{"id":43,"date":"2022-11-21T11:29:39","date_gmt":"2022-11-21T16:29:39","guid":{"rendered":"https:\/\/sites.nd.edu\/yuanshan-li\/?page_id=43"},"modified":"2023-12-10T22:49:41","modified_gmt":"2023-12-11T03:49:41","slug":"logic-reading-group","status":"publish","type":"page","link":"https:\/\/sites.nd.edu\/yuanshan-li\/logic-reading-group\/","title":{"rendered":"Logic Reading Group"},"content":{"rendered":"\n<p>I organize a student reading group in logic at Notre Dame. Sometimes we read and discuss a piece together. Sometimes group members or guest speakers give talks. Email me if you are interested in participating\/giving a talk!<\/p>\n\n\n\n<h4 class=\"wp-block-heading\">Fall 2023<\/h4>\n\n\n\n<figure class=\"wp-block-table\"><table><tbody><tr><td>10.30<\/td><td>Discussion of <em>The Philosophy of Mathematical Practice<\/em> Ch. 9 &#8220;Mathematical Concepts and Definitions&#8221;<\/td><\/tr><tr><td>10.9<\/td><td>Discussion of &#8220;Deflationism, Arithmetic, and the Argument from Conservativeness&#8221;<\/td><\/tr><tr><td>10.2<\/td><td>Discussion of &#8220;On an alleged refutation of Hilbert&#8217;s Program using G\u00f6del&#8217;s First Incompleteness Theorem&#8221;<\/td><\/tr><tr><td>9.25<\/td><td>Discussion of &#8220;The G\u00a8odelian Inferences&#8221;<\/td><\/tr><tr><td>9.18<\/td><td>Discussion of &#8220;Self-reference in Arithmetic I&#8221;<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n<h4 class=\"wp-block-heading\">Spring 2023<\/h4>\n\n\n\n<figure class=\"wp-block-table\"><table><tbody><tr><td>5.1<\/td><td>[Zoom] Confluence Phenomena in Mathematics (<a href=\"https:\/\/jasonzeshengchen.github.io\/\">Jason Chen<\/a>)<\/td><\/tr><tr><td>4.17<\/td><td>Discussion of &#8220;On Formalism Freeness: Implementing G\u00f6del&#8217;s 1946 Princeton Bicentennial Lecture&#8221;<\/td><\/tr><tr><td>3.6<\/td><td>On the Explanatory Value of Consistency Proofs (<a href=\"https:\/\/www.jameswalsh.org\/\">James Walsh<\/a>)<\/td><\/tr><tr><td>2.27<\/td><td>Discussion of &#8220;On Formalism Freeness: Implementing G\u00f6del&#8217;s 1946 Princeton Bicentennial Lecture&#8221;<\/td><\/tr><tr><td>2.6-2.20<\/td><td>Discussion of <em>One True Logic<\/em><\/td><\/tr><tr><td>1.30<\/td><td>Discussion of <a href=\"https:\/\/www3.nd.edu\/~cfranks\/nihilism.pdf\">&#8220;Logical Nihilism&#8221;<\/a><\/td><\/tr><tr><td>1.23<\/td><td>Is there a Proof of the Compactness Theorem in Aristotle&#8217;s <em>Posterior Analytics<\/em>? (Kesevan Thanagopal)<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n<h4 class=\"wp-block-heading\">Fall 2022<\/h4>\n\n\n\n<figure class=\"wp-block-table\"><table><tbody><tr><td>11.16<\/td><td>[Zoom] Forcing with Urelements (<a href=\"http:\/\/bokaiyao.com\">Bokai Yao<\/a>)<\/td><\/tr><tr><td>11.9<\/td><td>Thoughts on If-Thenism (Gabriel Day)<\/td><\/tr><tr><td>11.2<\/td><td>Hyperintentionality (Daniel Shin)<\/td><\/tr><tr><td>10.26<\/td><td>Measures and Measurement (Yuanshan Li)<\/td><\/tr><tr><td>8.31-9.28<\/td><td>Discussion of <em>Morality and Mathematics<\/em><\/td><\/tr><\/tbody><\/table><\/figure>\n","protected":false},"excerpt":{"rendered":"<p>I organize a student reading group in logic at Notre Dame. Sometimes we read and discuss a piece together. Sometimes group members or guest speakers give talks. Email me if you are interested in participating\/giving a talk! Fall 2023 10.30 Discussion of The Philosophy of Mathematical Practice Ch. 9 &#8220;Mathematical Concepts and Definitions&#8221; 10.9 Discussion &hellip; <a href=\"https:\/\/sites.nd.edu\/yuanshan-li\/logic-reading-group\/\" class=\"more-link\">Continue reading <span class=\"screen-reader-text\">Logic Reading Group<\/span><\/a><\/p>\n","protected":false},"author":4419,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_monsterinsights_skip_tracking":false,"_monsterinsights_sitenote_active":false,"_monsterinsights_sitenote_note":"","_monsterinsights_sitenote_category":0,"footnotes":""},"class_list":["post-43","page","type-page","status-publish","hentry"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.6 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Logic Reading Group - Yuanshan Li (Tom)<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/sites.nd.edu\/yuanshan-li\/logic-reading-group\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Logic Reading Group - Yuanshan Li (Tom)\" \/>\n<meta property=\"og:description\" content=\"I organize a student reading group in logic at Notre Dame. Sometimes we read and discuss a piece together. Sometimes group members or guest speakers give talks. Email me if you are interested in participating\/giving a talk! Fall 2023 10.30 Discussion of The Philosophy of Mathematical Practice Ch. 9 &#8220;Mathematical Concepts and Definitions&#8221; 10.9 Discussion &hellip; Continue reading Logic Reading Group\" \/>\n<meta property=\"og:url\" content=\"https:\/\/sites.nd.edu\/yuanshan-li\/logic-reading-group\/\" \/>\n<meta property=\"og:site_name\" content=\"Yuanshan Li (Tom)\" \/>\n<meta property=\"article:modified_time\" content=\"2023-12-11T03:49:41+00:00\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/logic-reading-group\\\/\",\"url\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/logic-reading-group\\\/\",\"name\":\"Logic Reading Group - Yuanshan Li (Tom)\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/#website\"},\"datePublished\":\"2022-11-21T16:29:39+00:00\",\"dateModified\":\"2023-12-11T03:49:41+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/logic-reading-group\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/logic-reading-group\\\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/logic-reading-group\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Logic Reading Group\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/#website\",\"url\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/\",\"name\":\"Yuanshan Li (Tom)\",\"description\":\"\",\"publisher\":{\"@id\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/#\\\/schema\\\/person\\\/e1aa5588a6c63d16955482765afa30fb\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":[\"Person\",\"Organization\"],\"@id\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/#\\\/schema\\\/person\\\/e1aa5588a6c63d16955482765afa30fb\",\"name\":\"Yuanshan Li\",\"logo\":{\"@id\":\"https:\\\/\\\/sites.nd.edu\\\/yuanshan-li\\\/#\\\/schema\\\/person\\\/image\\\/\"}}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Logic Reading Group - Yuanshan Li (Tom)","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/sites.nd.edu\/yuanshan-li\/logic-reading-group\/","og_locale":"en_US","og_type":"article","og_title":"Logic Reading Group - Yuanshan Li (Tom)","og_description":"I organize a student reading group in logic at Notre Dame. Sometimes we read and discuss a piece together. Sometimes group members or guest speakers give talks. Email me if you are interested in participating\/giving a talk! Fall 2023 10.30 Discussion of The Philosophy of Mathematical Practice Ch. 9 &#8220;Mathematical Concepts and Definitions&#8221; 10.9 Discussion &hellip; Continue reading Logic Reading Group","og_url":"https:\/\/sites.nd.edu\/yuanshan-li\/logic-reading-group\/","og_site_name":"Yuanshan Li (Tom)","article_modified_time":"2023-12-11T03:49:41+00:00","twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/sites.nd.edu\/yuanshan-li\/logic-reading-group\/","url":"https:\/\/sites.nd.edu\/yuanshan-li\/logic-reading-group\/","name":"Logic Reading Group - Yuanshan Li (Tom)","isPartOf":{"@id":"https:\/\/sites.nd.edu\/yuanshan-li\/#website"},"datePublished":"2022-11-21T16:29:39+00:00","dateModified":"2023-12-11T03:49:41+00:00","breadcrumb":{"@id":"https:\/\/sites.nd.edu\/yuanshan-li\/logic-reading-group\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/sites.nd.edu\/yuanshan-li\/logic-reading-group\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/sites.nd.edu\/yuanshan-li\/logic-reading-group\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/sites.nd.edu\/yuanshan-li\/"},{"@type":"ListItem","position":2,"name":"Logic Reading Group"}]},{"@type":"WebSite","@id":"https:\/\/sites.nd.edu\/yuanshan-li\/#website","url":"https:\/\/sites.nd.edu\/yuanshan-li\/","name":"Yuanshan Li (Tom)","description":"","publisher":{"@id":"https:\/\/sites.nd.edu\/yuanshan-li\/#\/schema\/person\/e1aa5588a6c63d16955482765afa30fb"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/sites.nd.edu\/yuanshan-li\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":["Person","Organization"],"@id":"https:\/\/sites.nd.edu\/yuanshan-li\/#\/schema\/person\/e1aa5588a6c63d16955482765afa30fb","name":"Yuanshan Li","logo":{"@id":"https:\/\/sites.nd.edu\/yuanshan-li\/#\/schema\/person\/image\/"}}]}},"_links":{"self":[{"href":"https:\/\/sites.nd.edu\/yuanshan-li\/wp-json\/wp\/v2\/pages\/43","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/sites.nd.edu\/yuanshan-li\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/sites.nd.edu\/yuanshan-li\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/sites.nd.edu\/yuanshan-li\/wp-json\/wp\/v2\/users\/4419"}],"replies":[{"embeddable":true,"href":"https:\/\/sites.nd.edu\/yuanshan-li\/wp-json\/wp\/v2\/comments?post=43"}],"version-history":[{"count":16,"href":"https:\/\/sites.nd.edu\/yuanshan-li\/wp-json\/wp\/v2\/pages\/43\/revisions"}],"predecessor-version":[{"id":165,"href":"https:\/\/sites.nd.edu\/yuanshan-li\/wp-json\/wp\/v2\/pages\/43\/revisions\/165"}],"wp:attachment":[{"href":"https:\/\/sites.nd.edu\/yuanshan-li\/wp-json\/wp\/v2\/media?parent=43"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}