{"id":5978,"date":"2020-08-13T20:10:04","date_gmt":"2020-08-13T19:10:04","guid":{"rendered":"https:\/\/www.st-andrews.ac.uk\/philevents\/event\/conceptual-engineering-seminar-tba-9\/"},"modified":"2020-11-10T16:01:33","modified_gmt":"2020-11-10T16:01:33","slug":"conceptual-engineering-seminar-tba-9","status":"publish","type":"tribe_events","link":"https:\/\/www.st-andrews.ac.uk\/philevents\/event\/conceptual-engineering-seminar-tba-9\/","title":{"rendered":"Conceptual Engineering Seminar | Juliette Kennedy (Helsinki): &#8220;On the feasibility of conceptual engineering in logic and (meta)mathematics: A few case studies&#8221;"},"content":{"rendered":"<p><strong>Abstract. \u2014\u00a0<\/strong>Precisifications of certain informal concepts could be thought of as instances of conceptual engineering: the concept of a Turing machine (human effective computability), the notion of a Kripke structure (possibility), the Kolmogorov axioms (probability), Tarski&#8217;s definition of truth in formal languages, to name just a few. Should we\u00a0regard\u00a0the technical notions these formalisms define as engineered concepts? In this talk I will present a critical view of the feasibility of conceptual engineering in logic and foundations of mathematics, drawing on a few key examples:\u00a0the concept of &#8220;model,&#8221; which emerged\u00a0slowly and under significant internal pressures; the concept of computability, and from my own work the concept of formalism independence\/formalism freeness. The view taken here is that foundational formalisms such as these are not tracking conceptual change so much as\u00a0invariant\u00a0conceptual content.\u00a0Time permitting, we venture into the sociology of mathematics as it bears on the control problem.\u00a0Mathematicians are often resistant to new concepts (especially\u00a0those coming from foundations).\u00a0The bar may be set too high for conceptual engineering projects in mathematics if such projects do not deliver on\u00a0conventional\u00a0factors such as simplification (the complex number proof of the Fundamental Theorem of Algebra), establishing deep connections between mathematical subdisciplines (Hrushovski&#8217;s application of\u00a0model-theoretic concepts to the Mordell-Lang Conjecture), the ability to prove new theorems (projective determinacy vis a vis\u00a0regularity properties of the reals).<\/p>\n<ul>\n<li><strong>Zoom meeting ID:\u00a0857 3025 53 80<\/strong><\/li>\n<li><strong>Zoom password: ACEW20 (<a href=\"https:\/\/us02web.zoom.us\/j\/85730255380?pwd=cWFZVDBCSnlYZUVydVcwNE1WMXhsZz09\">Invite link<\/a>)<\/strong><\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Abstract. \u2014\u00a0Precisifications of certain informal concepts could be thought of as instances of conceptual engineering: the concept of a Turing machine (human effective computability), the notion of a Kripke structure&hellip;<\/p>\n","protected":false},"author":1,"featured_media":0,"template":"","meta":{"_tribe_events_status":"","_tribe_events_status_reason":"","_tribe_events_is_hybrid":"","_tribe_events_is_virtual":"","_tribe_events_virtual_video_source":"","_tribe_events_virtual_embed_video":"","_tribe_events_virtual_linked_button_text":"","_tribe_events_virtual_linked_button":"","_tribe_events_virtual_show_embed_at":"","_tribe_events_virtual_show_embed_to":[],"_tribe_events_virtual_show_on_event":"","_tribe_events_virtual_show_on_views":"","_tribe_events_virtual_url":"","footnotes":""},"tags":[],"tribe_events_cat":[8],"class_list":["post-5978","tribe_events","type-tribe_events","status-publish","hentry","tribe_events_cat-conceptual-engineering-seminar","cat_conceptual-engineering-seminar"],"_links":{"self":[{"href":"https:\/\/www.st-andrews.ac.uk\/philevents\/wp-json\/wp\/v2\/tribe_events\/5978","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.st-andrews.ac.uk\/philevents\/wp-json\/wp\/v2\/tribe_events"}],"about":[{"href":"https:\/\/www.st-andrews.ac.uk\/philevents\/wp-json\/wp\/v2\/types\/tribe_events"}],"author":[{"embeddable":true,"href":"https:\/\/www.st-andrews.ac.uk\/philevents\/wp-json\/wp\/v2\/users\/1"}],"version-history":[{"count":4,"href":"https:\/\/www.st-andrews.ac.uk\/philevents\/wp-json\/wp\/v2\/tribe_events\/5978\/revisions"}],"predecessor-version":[{"id":6844,"href":"https:\/\/www.st-andrews.ac.uk\/philevents\/wp-json\/wp\/v2\/tribe_events\/5978\/revisions\/6844"}],"wp:attachment":[{"href":"https:\/\/www.st-andrews.ac.uk\/philevents\/wp-json\/wp\/v2\/media?parent=5978"}],"wp:term":[{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.st-andrews.ac.uk\/philevents\/wp-json\/wp\/v2\/tags?post=5978"},{"taxonomy":"tribe_events_cat","embeddable":true,"href":"https:\/\/www.st-andrews.ac.uk\/philevents\/wp-json\/wp\/v2\/tribe_events_cat?post=5978"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}