BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Philosophy events - ECPv6.16.5.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Philosophy events
X-ORIGINAL-URL:/philevents
X-WR-CALDESC:Events for Philosophy events
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:20190331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:20191027T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:20200329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:20201025T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:20210328T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:20211031T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/London:20201110T150000
DTEND;TZID=Europe/London:20201110T170000
DTSTAMP:20201110T160133Z
CREATED:20200813T191004Z
LAST-MODIFIED:20201110T160133Z
UID:10001047-1605020400-1605027600@www.st-andrews.ac.uk
SUMMARY:Conceptual Engineering Seminar | Juliette Kennedy (Helsinki): “On the feasibility of conceptual engineering in logic and (meta)mathematics: A few case studies”
DESCRIPTION:Abstract. — 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’s definition of truth in formal languages\, to name just a few. Should we regard the 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: the concept of “model\,” which emerged slowly 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 invariant conceptual content. Time permitting\, we venture into the sociology of mathematics as it bears on the control problem. Mathematicians are often resistant to new concepts (especially those coming from foundations). The bar may be set too high for conceptual engineering projects in mathematics if such projects do not deliver on conventional factors such as simplification (the complex number proof of the Fundamental Theorem of Algebra)\, establishing deep connections between mathematical subdisciplines (Hrushovski’s application of model-theoretic concepts to the Mordell-Lang Conjecture)\, the ability to prove new theorems (projective determinacy vis a vis regularity properties of the reals). \n\nZoom meeting ID: 857 3025 53 80\nZoom password: ACEW20 (Invite link)
URL:/philevents/event/conceptual-engineering-seminar-tba-9/
LOCATION:A virtual seminar by Zoom\, The University\, 58�Թ�\, KY16 9L\, United Kingdom
CATEGORIES:Conceptual Engineering Seminar
END:VEVENT
END:VCALENDAR