Carl Friedrich von Weizsäcker-Colloquium

<!DOCTYPE html> <html lang="en"> <head> <meta charset="utf-8">  <base href="https://uni-tuebingen.de/"> <link rel="icon" href="/_assets/7d66ab3e4599366251c5af46f0e770b9/Images/favicon.ico" type="image/vnd.microsoft.icon"> <meta http-equiv="x-ua-compatible" content="IE=edge"> <meta name="generator" content="TYPO3 CMS"> <meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes"> <meta name="robots" content="index,follow"> <meta name="twitter:card" content="summary"> <meta name="language" content="de"> <meta name="date" content="2024-11-25"> <meta name="title" content="Carl Friedrich von Weizsäcker-Colloquium"> <link rel="stylesheet" href="/typo3temp/assets/compressed/merged-96fc069b020217eb1a9a32915dc50add-b58496727299ef7cff32411c24d15801.css?1730889647" media="all"> <meta name="keywords" content=" "/><title>Carl Friedrich von Weizsäcker-Colloquium | University of Tübingen</title> <link rel="apple-touch-icon" sizes="180x180" href="/_assets/7d66ab3e4599366251c5af46f0e770b9/Images/Favicons/apple-touch-icon.png"> <link rel="icon" type="image/png" sizes="32x32" href="/_assets/7d66ab3e4599366251c5af46f0e770b9/Images/Favicons/favicon-32x32.png"> <link rel="icon" type="image/png" sizes="16x16" href="/_assets/7d66ab3e4599366251c5af46f0e770b9/Images/Favicons/favicon-16x16.png"> <link rel="manifest" href="/_assets/7d66ab3e4599366251c5af46f0e770b9/Images/Favicons/site.webmanifest"> <link rel="mask-icon" href="/_assets/7d66ab3e4599366251c5af46f0e770b9/Images/Favicons/safari-pinned-tab.svg" color="#5bbad5"> <meta name="msapplication-TileColor" content="#da532c"> <meta name="theme-color" content="#ffffff"> <link rel="canonical" href="https://uni-tuebingen.de/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/news-and-events/carl-friedrich-von-weizsaecker-colloquium/"/> <link rel="alternate" hreflang="de-DE" href="https://uni-tuebingen.de/forschung/zentren-und-institute/carl-friedrich-von-weizsaecker-zentrum/news-und-events/carl-friedrich-von-weizsaecker-kolloquium/"/> <link rel="alternate" hreflang="en-GB" href="https://uni-tuebingen.de/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/news-and-events/carl-friedrich-von-weizsaecker-colloquium/"/> <link rel="alternate" hreflang="x-default" href="https://uni-tuebingen.de/forschung/zentren-und-institute/carl-friedrich-von-weizsaecker-zentrum/news-und-events/carl-friedrich-von-weizsaecker-kolloquium/"/> </head> <body class="page228607"> <div class="ut-page"> <header class="ut-page__header ut-page-header"> <nav class="ut-nav ut-nav--skipanchors" aria-label="Skip parts"> <ul class="ut-nav__list " > <li class="ut-nav__item " data-level-count="1" > <a class="ut-link ut-nav__link hidden-xs hidden-sm sr-only sr-only-focusable" href="/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/news-and-events/carl-friedrich-von-weizsaecker-colloquium/#ut-identifier--main-nav" tabindex="0">Skip to main navigation</a> </li> <li class="ut-nav__item " data-level-count="2" > <a class="ut-link ut-nav__link sr-only sr-only-focusable" href="/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/news-and-events/carl-friedrich-von-weizsaecker-colloquium/#ut-identifier--main-content" tabindex="0">Skip to content</a> </li> <li class="ut-nav__item " data-level-count="3" > <a class="ut-link ut-nav__link sr-only sr-only-focusable" href="/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/news-and-events/carl-friedrich-von-weizsaecker-colloquium/#ut-identifier--footer" tabindex="0" >Skip to footer</a> </li> <li class="ut-nav__item " data-level-count="4" > <a class="ut-link ut-nav__link hidden-xs sr-only sr-only-focusable" href="/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/news-and-events/carl-friedrich-von-weizsaecker-colloquium/#ut-identifier--search-toggle" tabindex="0">Skip to search</a> </li> </ul> </nav> <div class="container ut-page-header__container"> <div class="ut-page-header__menu"> <nav class="ut-nav ut-nav--meta-top ut-page-header__meta" aria-label="Metanavigation"> <ul class="ut-nav__list"> <li class="ut-nav__item " data-level-count="1"><a href="/en/uni-a-z/" class="ut-link ut-nav__link" title="Uni A-Z"><span class="ut-link__icon ut-link__icon--left ut-icon-info-circled ut-icon"></span>Uni A-Z</a></li><li class="ut-nav__item " data-level-count="1"><a href="/en/contact/" class="ut-link ut-nav__link" title="Contact"><span class="ut-link__icon ut-link__icon--left ut-icon-mail-squared ut-icon"></span>Contact</a></li> </ul> </nav> <nav class="ut-page-header__switch ut-switchbar"> <ul class="ut-switchbar__list" role="tablist"> <li class="ut-switchbar__item" id="switchbar-search"> <button class="ut-switchbar__toggle" id="ut-identifier--search-toggle" data-toggle="switchbar" data-target="#switchblock-search" title="Search" aria-haspopup="true" aria-expanded="false" tabindex="0"> <span class="ut-switchbar__icon ut-icon ut-icon-search"></span> <span class="ut-switchbar__label">Search</span> </button> <div class="ut-switchblock__item ut-switchblock__item--dropdown" id="switchblock-search"> <div class="ut-switchblock__header"> <span class="ut-switchblock__title">Search (via Ecosia)</span> </div> <div class="ut-switchblock__content"> <form class="ut-form ut-form--search ut-form--small" name="searchForm" role="search" action="https://www.ecosia.org/search" onsubmit="appendSiteToQuery()"> <fieldset> <div class="ut-form__row row "> <input class="ut-form__input ut-form__field" id="search" type="search" name="q" placeholder="Your search request" value="" aria-label="Enter search request" required/> </div> <div class="ut-form__actions row "> <button type="submit" class="ut-btn ut-btn--outline ut-btn--color-primary-1 ut-form__action" aria-label="Start search"> Search <span class="ut-btn__icon ut-btn__icon--right ut-icon ut-icon-right-big"></span> </button> </div> </fieldset> </form> </div> <span class="ut-switchblock__close-icon ut-icon ut-icon-cancel" role="button" tabindex="0"></span> </div> </li> <li class="ut-switchbar__item" id="switchbar-login" data-login-nonceurl="/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/news-and-events/carl-friedrich-von-weizsaecker-colloquium?type=1727092915"> <button class="ut-switchbar__toggle" data-toggle="switchbar" data-target="#switchblock-login" data-sslredirect="true" title="Login" aria-haspopup="true" aria-expanded="false" tabindex="0"> <span class="ut-switchbar__icon ut-icon ut-icon-login"></span> <span class="ut-switchbar__label">Login</span> </button> <div class="ut-switchblock__item ut-switchblock__item--dropdown" id="switchblock-login"> <div class="ut-switchblock__header"> <span class="ut-switchblock__title">Login</span> </div> <div class="ut-switchblock__content"> <form class="ut-form ut-form--login ut-form--small" action="https://uni-tuebingen.de/en/login/" method="post"> <fieldset> <div class="ut-form__row row"> <input class="ut-form__input ut-form__field" id="user" name="user" placeholder="Username" value="" aria-label="Enter username" required="" type="text" /> </div> <div class="ut-form__row row"> <input class="ut-form__input ut-form__field" id="password" name="pass" placeholder="Password" value="" aria-label="Enter password" required="" type="password" /> </div> <input type="hidden" name="logintype" value="login" /> <input type="hidden" name="pid" value="146,147,166,8290,8291,8394,8395,8425,8426,9608,31267,8293,8366@c40ba2f920a5ca0bb18bcdfcdc389e757e48a010" /> <input type="hidden" name="redirect_url" value="" /> <input type="hidden" name="tx_felogin_pi1[noredirect]" value="0" /> <input type="hidden" name="referer" value="/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/news-and-events/carl-friedrich-von-weizsaecker-colloquium/" /> <input type="hidden" name="__RequestToken" value="will be filled via ajax" data-login-noncecontainer="" /> <div class="ut-form__actions row"> <button type="submit" class="ut-btn ut-btn--outline ut-btn--color-primary-1 ut-form__action" aria-label="Login">Login<span class="ut-btn__icon ut-btn__icon--right ut-icon ut-icon-right-big"></span></button> </div> </fieldset> </form> </div> <span class="ut-switchblock__close-icon ut-icon ut-icon-cancel" role="button" tabindex="0"></span> </div> </li> <li class="ut-switchbar__item" id="switchbar-language"> <button class="ut-switchbar__toggle" data-toggle="switchbar" data-target="#switchblock-language" title="Language" aria-haspopup="true" aria-expanded="false" tabindex="0"> <span class="ut-switchbar__icon ut-icon ut-icon-globe"></span> <span class="ut-switchbar__label">Language</span> </button> <div class="ut-switchblock__item ut-switchblock__item--dropdown" id="switchblock-language"> <div class="ut-switchblock__header"> <span class="ut-switchblock__title">Choose language</span> </div> <div class="ut-switchblock__content"> <nav class="ut-nav ut-nav--language" aria-label="Language switcher"> <ul class="ut-nav__list"><li class="ut-nav__item"><a href="/forschung/zentren-und-institute/carl-friedrich-von-weizsaecker-zentrum/news-und-events/carl-friedrich-von-weizsaecker-kolloquium/" class="ut-link ut-nav__link">German</a></li><li class="ut-nav__item"><a href="/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/news-and-events/carl-friedrich-von-weizsaecker-colloquium/" class="ut-link ut-nav__link">English</a></li></ul> </nav> </div> <span class="ut-switchblock__close-icon ut-icon ut-icon-cancel" role="button" tabindex="0"></span> </div> </li> <li class="ut-switchbar__item" id="switchbar-menu"> <button class="ut-switchbar__toggle" id="ut-identifier--menu-toggle" data-toggle="switchbar" data-target="#switchblock-menu" title="Menu" aria-haspopup="true" aria-expanded="false"> <span class="ut-switchbar__icon ut-icon ut-icon-menu"></span> <span class="ut-switchbar__icon ut-icon ut-icon-cancel"></span> <span class="ut-switchbar__label sr-only-focusable">Mainmenu</span> </button> </li> </ul> </nav> </div> <div class="ut-page-header__banner"> <div class="ut-page-header__logos"> <a href="/en/" class="ut-logo-link ut-logo-link--main"> <img class="ut-img ut-img--logo ut-img--logo-main" alt="Logo of the University Tübingen" src="/_assets/7d66ab3e4599366251c5af46f0e770b9/Images/Logo_Universitaet_Tuebingen.svg" width="269" height="70" /> </a> <a class="ut-logo-link ut-logo-link--excellence" href="/en/excellence-strategy/"> <img class="ut-img ut-img--logo ut-img--logo-excellence" alt="Logo of the Excellence Strategy" src="/_assets/7d66ab3e4599366251c5af46f0e770b9/Images/Logo_Universitaet_Tuebingen_Exzellent_EN.svg" width="230" height="30" /> </a> </div> <div class="ut-page-header__dropdowns"> <div class="ut-dropdown"> <button class="ut-dropdown__toggle ut-dropdown__toggle--outline" id="header-dropdown-toggle-groups" type="button" data-toggle="dropdown"> Information for </button> <ul class="ut-dropdown__menu dropdown-menu"><li class="ut-dropdown__item"><a href="/en/study/prospective-students/" class="ut-link ut-dropdown__link" title="Prospective Students">Prospective Students</a></li><li class="ut-dropdown__item"><a href="/en/study/" class="ut-link ut-dropdown__link" title="Current Students">Current Students</a></li><li class="ut-dropdown__item"><a href="/en/staff/" class="ut-link ut-dropdown__link" title="Overview of important contact points, offers and news for employees of the University of Tübingen.">Staff</a></li><li class="ut-dropdown__item"><a href="/en/teaching-staff/" class="ut-link ut-dropdown__link" title="Further training opportunities, advice and information as well as concrete offers of help for lecturers at the University of Tübingen.">Teaching Staff</a></li><li class="ut-dropdown__item"><a href="/en/alumni/" class="ut-link ut-dropdown__link" title="Once the University of Tübingen, always the University of Tübingen - at least in the heart! Become part of the Alumni Network of the University of Tübingen. ">Alumni</a></li><li class="ut-dropdown__item"><a href="/en/university/news-and-publications/media/" class="ut-link ut-dropdown__link" title="Medien">Medien</a></li><li class="ut-dropdown__item"><a href="/en/business/" class="ut-link ut-dropdown__link" title="From university to practice: contact points for the recruitment of young professionals and research cooperation with companies.">Business</a></li><li class="ut-dropdown__item"><a href="/en/lifelong-learning/" class="ut-link ut-dropdown__link" title="For your next career step: Scientific further education programs for qualification and professionalization in your profession. ">Lifelong learning</a></li></ul> </div> <div class="ut-dropdown"> <button class="ut-dropdown__toggle ut-dropdown__toggle--outline" id="header-dropdown-toggle-quicklinks" type="button" data-toggle="dropdown"> Quicklinks </button> <ul class="ut-dropdown__menu dropdown-menu"><li class="ut-dropdown__item"><a href="/en/study/finding-a-course/degree-programs-available/" class="ut-link ut-dropdown__link" title="All Degree Programs">All Degree Programs</a></li><li class="ut-dropdown__item"><a href="https://alma.uni-tuebingen.de/alma/pages/cs/sys/portal/hisinoneStartPage.faces" target="_blank" class="ut-link ut-dropdown__link" rel="noreferrer" title="ALMA Portal">ALMA Portal</a></li><li class="ut-dropdown__item"><a href="/en/excellence-strategy/" class="ut-link ut-dropdown__link" title="Excellence Strategy">Excellence Strategy</a></li><li class="ut-dropdown__item"><a href="https://epv-welt.uni-tuebingen.de/RestrictedPages/StartSearch.aspx" target="_blank" class="ut-link ut-dropdown__link" rel="noreferrer" title="Staff Search (EPV)">Staff Search (EPV)</a></li><li class="ut-dropdown__item"><a href="/en/facilities/administration/iv-student-affairs/student-administration/student-administration/" class="ut-link ut-dropdown__link" title="Student Administration">Student Administration</a></li><li class="ut-dropdown__item"><a href="/en/facilities/university-library/" class="ut-link ut-dropdown__link" title="University Library">University Library</a></li><li class="ut-dropdown__item"><a href="https://alma.uni-tuebingen.de/alma/pages/cs/sys/portal/hisinoneStartPage.faces" target="_blank" class="ut-link ut-dropdown__link" rel="noreferrer" title="Online Course Catalogue">Online Course Catalogue</a></li><li class="ut-dropdown__item"><a href="https://webmail.uni-tuebingen.de/" target="_blank" class="ut-link ut-dropdown__link" rel="noreferrer" title="Webmail Uni Tübingen">Webmail Uni Tübingen</a></li><li class="ut-dropdown__item"><a href="/en/international/study-in-tuebingen/advice-and-counseling-for-international-students/" class="ut-link ut-dropdown__link" title="Advice for International Students">Advice for International Students</a></li></ul> </div> </div> </div> <nav class="ut-nav-area ut-page-header__area_nav" aria-label="Bereichsnavigation"> <h2 class="ut-heading ut-nav-area__current-level"> <a class="ut-link ut-nav-area__link" title="Carl Friedrich von Weizsäcker-Zentrum" href="/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/cfvw-center/"> Carl Friedrich von Weizsäcker-Zentrum </a> </h2> </nav> <div class="ut-page__switchblock ut-switchblock"> <div class="ut-switchblock__item" id="switchblock-menu"> <div class="ut-switchblock__header"> <span class="ut-switchblock__title">Carl Friedrich von Weizsäcker-Zentrum</span> </div> <div class="ut-switchblock__content" data-breadcrumbuids="228595"> <nav class="ut-nav ut-nav--main lory-slider js_variablewidth variablewidth" id="ut-identifier--main-nav" data-current-pid="228607" data-current-languageuid="1" data-navigationshortener-label="More..."><div class="lory-frame js_frame"><ul class="ut-nav__list ut-nav__list--level-1 lory-slides js_slides"><li class="ut-nav__item ut-nav__item--level-1 lory-slides__item js-slide "><a href="/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/cfvw-center/" class="ut-link ut-nav__link ut-nav__link--level-1" title="CFvW Center">CFvW Center</a></li><li class="ut-nav__item ut-nav__item--level-1 lory-slides__item js-slide" aria-haspopup="true" aria-expanded="false"><div class="ut-nav__link-group"><a href="/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/about-us/research-areas/" class="ut-link ut-nav__link ut-nav__link--level-1" title="About Us">About Us</a><a class="ut-nav__toggle-link" role="button" data-menu-currentpid="229319"><span class="ut-nav__toggle-line"></span><span class="ut-nav__toggle-icon"></span></a></div><ul class="ut-nav__list ut-nav__list--level-2"><li class="ut-nav__item ut-nav__item--close-level"><a href="#" class="ut-nav__link ut-nav__link--close-level"><span class="ut-icon ut-icon-angle-left ut-nav__link-icon ut-nav__link-icon--left"></span>Back</a></li><li class="ut-nav__item ut-nav__item--level-2"><a href="/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/about-us/research-areas/" class="ut-link ut-nav__link ut-nav__link--level-2" title="Research Areas">Research Areas</a></li><li class="ut-nav__item ut-nav__item--level-2"><a href="/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/about-us/mission/" class="ut-link ut-nav__link ut-nav__link--level-2" title="Mission">Mission</a></li><li class="ut-nav__item ut-nav__item--level-2"><a href="/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/about-us/team/" class="ut-link ut-nav__link ut-nav__link--level-2" title="Team">Team</a></li><li class="ut-nav__item ut-nav__item--level-2"><a href="/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/about-us/guestbook/" class="ut-link ut-nav__link ut-nav__link--level-2" title="Guestbook">Guestbook</a></li></ul></li><li class="ut-nav__item ut-nav__item--level-1 ut-nav__item--is-current lory-slides__item js-slide" aria-haspopup="true" aria-expanded="false"><div class="ut-nav__link-group ut-nav__link-group--is-current"><a href="/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/news-and-events/" class="ut-link ut-nav__link ut-nav__link--level-1" title="News and Events">News and Events</a><a class="ut-nav__toggle-link" role="button" data-menu-currentpid="228595"><span class="ut-nav__toggle-line"></span><span class="ut-nav__toggle-icon"></span></a></div><ul class="ut-nav__list ut-nav__list--level-2"><li class="ut-nav__item ut-nav__item--close-level"><a href="#" class="ut-nav__link ut-nav__link--close-level"><span class="ut-icon ut-icon-angle-left ut-nav__link-icon ut-nav__link-icon--left"></span>Back</a></li><li class="ut-nav__item ut-nav__item--level-2"><a href="/en/forschung/zentren-und-institute/carl-friedrich-von-weizsaecker-zentrum/news-und-events/online-kolloquium-fast-forward-future/" class="ut-link ut-nav__link ut-nav__link--level-2" title="Online-Kolloquium Fast Forward Future">Online-Kolloquium Fast Forward Future</a></li><li class="ut-nav__item ut-nav__item--level-2"><a href="/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/news-and-events/carl-friedrich-von-weizsaecker-colloquium/" class="ut-link ut-nav__link ut-nav__link--level-2 ut-nav__link--is-active" data-menu-current="true" title="Carl Friedrich von Weizsäcker-Colloquium">Carl Friedrich von Weizsäcker-Colloquium</a></li><li class="ut-nav__item ut-nav__item--level-2"><a href="/en/forschung/zentren-und-institute/carl-friedrich-von-weizsaecker-zentrum/news-und-events/interdisziplinaere-fachtagung-fast-forward-future/" class="ut-link ut-nav__link ut-nav__link--level-2" title="Interdisziplinäre Fachtagung Fast Forward Future">Interdisziplinäre Fachtagung Fast Forward Future</a></li><li class="ut-nav__item ut-nav__item--level-2"><a href="/en/forschung/zentren-und-institute/carl-friedrich-von-weizsaecker-zentrum/news-und-events/akademie/" class="ut-link ut-nav__link ut-nav__link--level-2" title="Akademie">Akademie</a></li><li class="ut-nav__item ut-nav__item--level-2"><a href="/en/forschung/zentren-und-institute/carl-friedrich-von-weizsaecker-zentrum/news-und-events/menschzentrierte-ki-entwicklung/" class="ut-link ut-nav__link ut-nav__link--level-2" title="Menschzentrierte KI-Entwicklung">Menschzentrierte KI-Entwicklung</a></li><li class="ut-nav__item ut-nav__item--level-2"><a href="/en/forschung/zentren-und-institute/carl-friedrich-von-weizsaecker-zentrum/news-und-events/workshops-ki/" class="ut-link ut-nav__link ut-nav__link--level-2" title="Workshops KI">Workshops KI</a></li><li class="ut-nav__item ut-nav__item--level-2"><a href="/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/news-and-events/philosophy-of-computer-science-seminar/" class="ut-link ut-nav__link ut-nav__link--level-2" title="Philosophy of Computer Science Seminar">Philosophy of Computer Science Seminar</a></li><li class="ut-nav__item ut-nav__item--level-2"><a href="/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/news-and-events/definitions-of-algorithms-computer-science-and-law/" class="ut-link ut-nav__link ut-nav__link--level-2" title="Definitions of Algorithms: Computer Science and Law">Definitions of Algorithms: Computer Science and Law</a></li><li class="ut-nav__item ut-nav__item--level-2"><a href="/en/forschung/zentren-und-institute/carl-friedrich-von-weizsaecker-zentrum/news-und-events/konzeptionelle-herausforderungen-fuer-die-ki/" class="ut-link ut-nav__link ut-nav__link--level-2" title="Konzeptionelle Herausforderungen für die KI">Konzeptionelle Herausforderungen für die KI</a></li><li class="ut-nav__item ut-nav__item--level-2"><div class="ut-nav__link-group"><a href="/en/forschung/zentren-und-institute/carl-friedrich-von-weizsaecker-zentrum/news-und-events/geodaten-als-open-data-fuer-die-kuenstliche-intelligenz/" class="ut-link ut-nav__link ut-nav__link--level-2" title="Geodaten als open data für die Künstliche Intelligenz">Geodaten als open data für die Künstliche Intelligenz</a><a class="ut-nav__toggle-link" data-menuajax-refresh="true" role="button" data-menu-currentpid="233732"><span class="ut-nav__toggle-line"></span><span class="ut-nav__toggle-icon"></span></a></div><ul class="ut-nav__list ut-nav__list--level-3"><li class="ut-nav__item ut-nav__item--close-level"><a href="#" class="ut-nav__link ut-nav__link--close-level"><span class="ut-icon ut-icon-angle-left ut-nav__link-icon ut-nav__link-icon--left"></span>Back</a></li><li class="ut-nav__item ut-nav__item--level-3"><a href="/en/forschung/zentren-und-institute/carl-friedrich-von-weizsaecker-zentrum/news-und-events/geodaten-als-open-data-fuer-die-kuenstliche-intelligenz/online-kolloquium-geodaten-fuer-ml/" class="ut-link ut-nav__link ut-nav__link--level-3" tabindex="0" title="Online Kolloquium "Geodaten für ML"">Online Kolloquium "Geodaten für ML"</a></li><li class="ut-nav__item ut-nav__item--level-3"><a href="/en/forschung/zentren-und-institute/carl-friedrich-von-weizsaecker-zentrum/news-und-events/geodaten-als-open-data-fuer-die-kuenstliche-intelligenz/ki-kontextanalysen-als-notwendiges-entscheidungswerkzeug-fuer-den-verantwortungsvollen-einsatz-von-machine-learning-verfahren/" class="ut-link ut-nav__link ut-nav__link--level-3" tabindex="0" title="KI‐Kontextanalysen als notwendiges Entscheidungswerkzeug für den verantwortungsvollen Einsatz von Machine Learning Verfahren">KI‐Kontextanalysen als notwendiges Entscheidungswerkzeug für den verantwortungsvollen Einsatz von Machine Learning Verfahren</a></li></ul></li><li class="ut-nav__item ut-nav__item--level-2"><a href="/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/news-and-events/past-events/" class="ut-link ut-nav__link ut-nav__link--level-2" title="Past Events">Past Events</a></li></ul></li><li class="ut-nav__item ut-nav__item--level-1 lory-slides__item js-slide "><a href="/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/publications/" class="ut-link ut-nav__link ut-nav__link--level-1" title="Publications">Publications</a></li><li class="ut-nav__item ut-nav__item--level-1 lory-slides__item js-slide" aria-haspopup="true" aria-expanded="false"><div class="ut-nav__link-group"><a href="/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/projects/" class="ut-link ut-nav__link ut-nav__link--level-1" title="Projects">Projects</a><a class="ut-nav__toggle-link" role="button" data-menu-currentpid="170586"><span class="ut-nav__toggle-line"></span><span class="ut-nav__toggle-icon"></span></a></div><ul class="ut-nav__list ut-nav__list--level-2"><li class="ut-nav__item ut-nav__item--close-level"><a href="#" class="ut-nav__link ut-nav__link--close-level"><span class="ut-icon ut-icon-angle-left ut-nav__link-icon ut-nav__link-icon--left"></span>Back</a></li><li class="ut-nav__item ut-nav__item--level-2"><a href="/en/forschung/zentren-und-institute/carl-friedrich-von-weizsaecker-zentrum/projekte/podcast-reasonable-frippery/" class="ut-link ut-nav__link ut-nav__link--level-2" title="Podcast: Reasonable Frippery">Podcast: Reasonable Frippery</a></li><li class="ut-nav__item ut-nav__item--level-2"><a href="https://www.tida.uni-tuebingen.de" target="_blank" class="ut-link ut-nav__link ut-nav__link--level-2" rel="noreferrer" title="TIDA">TIDA</a></li></ul></li><li class="ut-nav__item ut-nav__item--level-1 lory-slides__item js-slide "><a href="/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/contact-directions/" class="ut-link ut-nav__link ut-nav__link--level-1" title="Contact / Directions">Contact / Directions</a></li></ul></div><span class="lory-nav js_prev prev"><svg xmlns="http://www.w3.org/2000/svg" width="50" height="50" viewBox="0 0 501.5 501.5"><g><path fill="#2E435A" d="M302.67 90.877l55.77 55.508L254.575 250.75 358.44 355.116l-55.77 55.506L143.56 250.75z"/></g></svg></span><span class="lory-nav js_next next"><svg xmlns="http://www.w3.org/2000/svg" width="50" height="50" viewBox="0 0 501.5 501.5"><g><path fill="#2E435A" d="M199.33 410.622l-55.77-55.508L247.425 250.75 143.56 146.384l55.77-55.507L358.44 250.75z"/></g></svg></span><ul class="ut-nav__list ut-nav__list--level-1 ut-nav__mobile-dropdowns"><li class="ut-nav__item ut-nav__item--level-1"><div class="ut-nav__link-group ut-nav__link-group--no-href"><a class="ut-link ut-nav__link ut-nav__link--level-1">Information for</a><a class="ut-nav__toggle-link" role="button" data-menu-currentpid="113084"><span class="ut-nav__toggle-line"></span><span class="ut-nav__toggle-icon"></span></a></div><ul class="ut-nav__list ut-nav__list--level-2"><li class="ut-nav__item ut-nav__item--close-level"><a href="#" class="ut-nav__link ut-nav__link--close-level"><span class="ut-icon ut-icon-angle-left ut-nav__link-icon ut-nav__link-icon--left"></span>Back</a></li><li class="ut-nav__item ut-nav__item--level-2"><a href="/en/study/prospective-students/" class="ut-link ut-nav__link ut-nav__link--level-2" title="Prospective Students">Prospective Students</a></li><li class="ut-nav__item ut-nav__item--level-2"><a href="/en/study/" class="ut-link ut-nav__link ut-nav__link--level-2" title="Current Students">Current Students</a></li><li class="ut-nav__item ut-nav__item--level-2"><div class="ut-nav__link-group"><a href="/en/staff/" class="ut-link ut-nav__link ut-nav__link--level-2" title="Overview of important contact points, offers and news for employees of the University of Tübingen.">Staff</a><a class="ut-nav__toggle-link" data-menuajax-refresh="true" role="button" data-menu-currentpid="11"><span class="ut-nav__toggle-line"></span><span class="ut-nav__toggle-icon"></span></a></div><ul class="ut-nav__list ut-nav__list--level-3"><li class="ut-nav__item ut-nav__item--close-level"><a href="#" class="ut-nav__link ut-nav__link--close-level"><span class="ut-icon ut-icon-angle-left ut-nav__link-icon ut-nav__link-icon--left"></span>Back</a></li><li class="ut-nav__item ut-nav__item--level-3"><a href="/en/staff/advice-and-help/" class="ut-link ut-nav__link ut-nav__link--level-3">Advice and help</a></li><li class="ut-nav__item ut-nav__item--level-3"><a href="/en/staff/computer-and-it/" class="ut-link ut-nav__link ut-nav__link--level-3">Computer and IT</a></li><li class="ut-nav__item ut-nav__item--level-3"><a href="/en/staff/staying-healthy/" class="ut-link ut-nav__link ut-nav__link--level-3">Staying healthy</a></li><li class="ut-nav__item ut-nav__item--level-3"><a href="/en/staff/communication-and-media/" class="ut-link ut-nav__link ut-nav__link--level-3">Communication and media</a></li><li class="ut-nav__item ut-nav__item--level-3"><a href="/en/staff/human-resources/" class="ut-link ut-nav__link ut-nav__link--level-3">Human Resources</a></li><li class="ut-nav__item ut-nav__item--level-3"><a href="/en/staff/use-of-rooms/" class="ut-link ut-nav__link ut-nav__link--level-3">Use of rooms</a></li><li class="ut-nav__item ut-nav__item--level-3"><a href="/en/einrichtungen/verwaltung/stabsstellen/hochschulkommunikation/corporate-design-1/startseite/" class="ut-link ut-nav__link ut-nav__link--level-3">Corporate Design</a></li></ul></li><li class="ut-nav__item ut-nav__item--level-2"><div class="ut-nav__link-group"><a href="/en/teaching-staff/" class="ut-link ut-nav__link ut-nav__link--level-2" title="Further training opportunities, advice and information as well as concrete offers of help for lecturers at the University of Tübingen.">Teaching Staff</a><a class="ut-nav__toggle-link" data-menuajax-refresh="true" role="button" data-menu-currentpid="28729"><span class="ut-nav__toggle-line"></span><span class="ut-nav__toggle-icon"></span></a></div><ul class="ut-nav__list ut-nav__list--level-3"><li class="ut-nav__item ut-nav__item--close-level"><a href="#" class="ut-nav__link ut-nav__link--close-level"><span class="ut-icon ut-icon-angle-left ut-nav__link-icon ut-nav__link-icon--left"></span>Back</a></li><li class="ut-nav__item ut-nav__item--level-3"><div class="ut-nav__link-group"><a href="/en/lehrende/foerderformate/" class="ut-link ut-nav__link ut-nav__link--level-3" data-menuajax-parentpage="266466" title="Förderformate">Förderformate</a><a class="ut-nav__toggle-link" data-menuajax-refresh="true" role="button" data-menu-currentpid="266466"><span class="ut-nav__toggle-line"></span><span class="ut-nav__toggle-icon"></span></a></div></li><li class="ut-nav__item ut-nav__item--level-3"><div class="ut-nav__link-group"><a href="/en/teaching-staff/digital-teaching/" class="ut-link ut-nav__link ut-nav__link--level-3" data-menuajax-parentpage="174591" title="Digital teaching">Digital teaching</a><a class="ut-nav__toggle-link" data-menuajax-refresh="true" role="button" data-menu-currentpid="174591"><span class="ut-nav__toggle-line"></span><span class="ut-nav__toggle-icon"></span></a></div></li><li class="ut-nav__item ut-nav__item--level-3"><a href="/en/teaching-staff/digital-examinations/" class="ut-link ut-nav__link ut-nav__link--level-3">Digital examinations</a></li><li class="ut-nav__item ut-nav__item--level-3"><div class="ut-nav__link-group"><a href="/en/teaching-staff/center-for-teaching-and-learning/" class="ut-link ut-nav__link ut-nav__link--level-3" data-menuajax-parentpage="24053" title="Center for Teaching and Learning">Center for Teaching and Learning</a><a class="ut-nav__toggle-link" data-menuajax-refresh="true" role="button" data-menu-currentpid="24053"><span class="ut-nav__toggle-line"></span><span class="ut-nav__toggle-icon"></span></a></div></li><li class="ut-nav__item ut-nav__item--level-3"><div class="ut-nav__link-group"><a href="/en/teaching-staff/planning-and-development-of-degree-programs/" class="ut-link ut-nav__link ut-nav__link--level-3" data-menuajax-parentpage="109713" title="[Translate to Englisch:] Die Abteilung Studiengangsplanung und –entwicklung beschäftigt sich mit der Einrichtung und Weiterentwicklung von Bachelor- und Masterstudiengängen an der Universität Tübingen.&nbsp;">Planning and Development of Degree Programs</a><a class="ut-nav__toggle-link" data-menuajax-refresh="true" role="button" data-menu-currentpid="109713"><span class="ut-nav__toggle-line"></span><span class="ut-nav__toggle-icon"></span></a></div></li><li class="ut-nav__item ut-nav__item--level-3"><div class="ut-nav__link-group"><a href="/en/lehrende/angebote-der-zentralen-studienberatung/" class="ut-link ut-nav__link ut-nav__link--level-3" data-menuajax-parentpage="60446" title="Angebote der Zentralen Studienberatung">Angebote der Zentralen Studienberatung</a><a class="ut-nav__toggle-link" data-menuajax-refresh="true" role="button" data-menu-currentpid="60446"><span class="ut-nav__toggle-line"></span><span class="ut-nav__toggle-icon"></span></a></div></li></ul></li><li class="ut-nav__item ut-nav__item--level-2"><div class="ut-nav__link-group"><a href="/en/alumni/" class="ut-link ut-nav__link ut-nav__link--level-2" title="Once the University of Tübingen, always the University of Tübingen - at least in the heart! Become part of the Alumni Network of the University of Tübingen. ">Alumni</a><a class="ut-nav__toggle-link" data-menuajax-refresh="true" role="button" data-menu-currentpid="10"><span class="ut-nav__toggle-line"></span><span class="ut-nav__toggle-icon"></span></a></div><ul class="ut-nav__list ut-nav__list--level-3"><li class="ut-nav__item ut-nav__item--close-level"><a href="#" class="ut-nav__link ut-nav__link--close-level"><span class="ut-icon ut-icon-angle-left ut-nav__link-icon ut-nav__link-icon--left"></span>Back</a></li><li class="ut-nav__item ut-nav__item--level-3"><a href="/en/alumni/alumni-registration/" class="ut-link ut-nav__link ut-nav__link--level-3">Alumni registration</a></li><li class="ut-nav__item ut-nav__item--level-3"><div class="ut-nav__link-group"><a href="/en/alumni/get-involved-2/" class="ut-link ut-nav__link ut-nav__link--level-3" data-menuajax-parentpage="243580" title="Get involved">Get involved</a><a class="ut-nav__toggle-link" data-menuajax-refresh="true" role="button" data-menu-currentpid="243580"><span class="ut-nav__toggle-line"></span><span class="ut-nav__toggle-icon"></span></a></div></li><li class="ut-nav__item ut-nav__item--level-3"><div class="ut-nav__link-group"><a href="/en/alumni/news/" class="ut-link ut-nav__link ut-nav__link--level-3" data-menuajax-parentpage="206301" title="Explore upcoming events for alumni of the University of Tübingen ranging from online alumni talks, science talks and guided tours. ">News</a><a class="ut-nav__toggle-link" data-menuajax-refresh="true" role="button" data-menu-currentpid="206301"><span class="ut-nav__toggle-line"></span><span class="ut-nav__toggle-icon"></span></a></div></li><li class="ut-nav__item ut-nav__item--level-3"><div class="ut-nav__link-group"><a href="/en/alumni/research-alumni/" class="ut-link ut-nav__link ut-nav__link--level-3" data-menuajax-parentpage="243652" title="Research alumni">Research alumni</a><a class="ut-nav__toggle-link" data-menuajax-refresh="true" role="button" data-menu-currentpid="243652"><span class="ut-nav__toggle-line"></span><span class="ut-nav__toggle-icon"></span></a></div></li><li class="ut-nav__item ut-nav__item--level-3"><a href="/en/alumni/from-the-network/" class="ut-link ut-nav__link ut-nav__link--level-3">From the Network</a></li><li class="ut-nav__item ut-nav__item--level-3"><a href="/en/alumni/contact-us/" class="ut-link ut-nav__link ut-nav__link--level-3">Contact us</a></li><li class="ut-nav__item ut-nav__item--level-3"><div class="ut-nav__link-group"><a href="/en/alumni/get-involved-1/" class="ut-link ut-nav__link ut-nav__link--level-3" data-menuajax-parentpage="207309" title="Get involved">Get involved</a><a class="ut-nav__toggle-link" data-menuajax-refresh="true" role="button" data-menu-currentpid="207309"><span class="ut-nav__toggle-line"></span><span class="ut-nav__toggle-icon"></span></a></div></li></ul></li><li class="ut-nav__item ut-nav__item--level-2"><a href="/en/university/news-and-publications/media/" class="ut-link ut-nav__link ut-nav__link--level-2" title="Medien">Medien</a></li><li class="ut-nav__item ut-nav__item--level-2"><a href="/en/business/" class="ut-link ut-nav__link ut-nav__link--level-2" title="From university to practice: contact points for the recruitment of young professionals and research cooperation with companies.">Business</a></li><li class="ut-nav__item ut-nav__item--level-2"><div class="ut-nav__link-group"><a href="/en/lifelong-learning/" class="ut-link ut-nav__link ut-nav__link--level-2" title="For your next career step: Scientific further education programs for qualification and professionalization in your profession. ">Lifelong learning</a><a class="ut-nav__toggle-link" data-menuajax-refresh="true" role="button" data-menu-currentpid="41670"><span class="ut-nav__toggle-line"></span><span class="ut-nav__toggle-icon"></span></a></div><ul class="ut-nav__list ut-nav__list--level-3"><li class="ut-nav__item ut-nav__item--close-level"><a href="#" class="ut-nav__link ut-nav__link--close-level"><span class="ut-icon ut-icon-angle-left ut-nav__link-icon ut-nav__link-icon--left"></span>Back</a></li><li class="ut-nav__item ut-nav__item--level-3"><div class="ut-nav__link-group"><a href="/en/weiterbildung/ueber-uns/" class="ut-link ut-nav__link ut-nav__link--level-3" data-menuajax-parentpage="109912" title="Über uns">Über uns</a><a class="ut-nav__toggle-link" data-menuajax-refresh="true" role="button" data-menu-currentpid="109912"><span class="ut-nav__toggle-line"></span><span class="ut-nav__toggle-icon"></span></a></div></li><li class="ut-nav__item ut-nav__item--level-3"><a href="/en/weiterbildung/hochschulweiterbildungbw/" class="ut-link ut-nav__link ut-nav__link--level-3">Hochschulweiterbildung@BW</a></li><li class="ut-nav__item ut-nav__item--level-3"><div class="ut-nav__link-group"><a href="/en/weiterbildung/programm/" class="ut-link ut-nav__link ut-nav__link--level-3" data-menuajax-parentpage="67433" title="Programm">Programm</a><a class="ut-nav__toggle-link" data-menuajax-refresh="true" role="button" data-menu-currentpid="67433"><span class="ut-nav__toggle-line"></span><span class="ut-nav__toggle-icon"></span></a></div></li><li class="ut-nav__item ut-nav__item--level-3"><a href="/en/weiterbildung/abschluesse/" class="ut-link ut-nav__link ut-nav__link--level-3">Abschlüsse</a></li><li class="ut-nav__item ut-nav__item--level-3"><a href="/en/weiterbildung/teilnahmevoraussetzungen/" class="ut-link ut-nav__link ut-nav__link--level-3">Teilnahmevoraussetzungen</a></li><li class="ut-nav__item ut-nav__item--level-3"><a href="/en/weiterbildung/foerdermoeglichkeiten/" class="ut-link ut-nav__link ut-nav__link--level-3">Fördermöglichkeiten</a></li><li class="ut-nav__item ut-nav__item--level-3"><a href="/en/weiterbildung/haeufige-fragen/" class="ut-link ut-nav__link ut-nav__link--level-3">Häufige Fragen</a></li><li class="ut-nav__item ut-nav__item--level-3"><a href="/en/weiterbildung/anmeldung/" class="ut-link ut-nav__link ut-nav__link--level-3">Anmeldung</a></li></ul></li></ul></li><li class="ut-nav__item ut-nav__item--level-1"><div class="ut-nav__link-group ut-nav__link-group--no-href"><a class="ut-link ut-nav__link ut-nav__link--level-1">Quicklinks</a><a class="ut-nav__toggle-link" role="button" data-menu-currentpid="113084"><span class="ut-nav__toggle-line"></span><span class="ut-nav__toggle-icon"></span></a></div><ul class="ut-nav__list ut-nav__list--level-2"><li class="ut-nav__item ut-nav__item--close-level"><a href="#" class="ut-nav__link ut-nav__link--close-level"><span class="ut-icon ut-icon-angle-left ut-nav__link-icon ut-nav__link-icon--left"></span>Back</a></li><li class="ut-nav__item ut-nav__item--level-2"><a href="/en/study/finding-a-course/degree-programs-available/" class="ut-link ut-nav__link ut-nav__link--level-2" title="All Degree Programs">All Degree Programs</a></li><li class="ut-nav__item ut-nav__item--level-2"><a href="https://alma.uni-tuebingen.de/alma/pages/cs/sys/portal/hisinoneStartPage.faces" target="_blank" class="ut-link ut-nav__link ut-nav__link--level-2" rel="noreferrer" title="ALMA Portal">ALMA Portal</a></li><li class="ut-nav__item ut-nav__item--level-2"><a href="/en/excellence-strategy/" class="ut-link ut-nav__link ut-nav__link--level-2" title="Excellence Strategy">Excellence Strategy</a></li><li class="ut-nav__item ut-nav__item--level-2"><a href="https://epv-welt.uni-tuebingen.de/RestrictedPages/StartSearch.aspx" target="_blank" class="ut-link ut-nav__link ut-nav__link--level-2" rel="noreferrer" title="Staff Search (EPV)">Staff Search (EPV)</a></li><li class="ut-nav__item ut-nav__item--level-2"><a href="/en/facilities/administration/iv-student-affairs/student-administration/student-administration/" class="ut-link ut-nav__link ut-nav__link--level-2" title="Student Administration">Student Administration</a></li><li class="ut-nav__item ut-nav__item--level-2"><a href="/en/facilities/university-library/" class="ut-link ut-nav__link ut-nav__link--level-2" title="University Library">University Library</a></li><li class="ut-nav__item ut-nav__item--level-2"><a href="https://alma.uni-tuebingen.de/alma/pages/cs/sys/portal/hisinoneStartPage.faces" target="_blank" class="ut-link ut-nav__link ut-nav__link--level-2" rel="noreferrer" title="Online Course Catalogue">Online Course Catalogue</a></li><li class="ut-nav__item ut-nav__item--level-2"><a href="https://webmail.uni-tuebingen.de/" target="_blank" class="ut-link ut-nav__link ut-nav__link--level-2" rel="noreferrer" title="Webmail Uni Tübingen">Webmail Uni Tübingen</a></li><li class="ut-nav__item ut-nav__item--level-2"><a href="/en/international/study-in-tuebingen/advice-and-counseling-for-international-students/" class="ut-link ut-nav__link ut-nav__link--level-2" title="Advice for International Students">Advice for International Students</a></li></ul></li><li class="ut-nav__item ut-nav__item--level-1 ut-nav__item--devider"></li><li class="ut-nav__item ut-nav__item--level-1"><div class="ut-nav__link-group"><a href="/en/excellence-strategy/" class="ut-link ut-nav__link ut-nav__link--level-1" title="Excellence Strategy">Excellence Strategy</a></div></li></ul></nav><nav class="ut-nav ut-nav--secondary lory-slider js_slideSecondary slideSecondary"><a href="/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/cfvw-center/" class="ut-secondary-list-hide" title="CFvW Center">CFvW Center</a><a href="/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/about-us/research-areas/" class="ut-secondary-list-hide" title="About Us">About Us</a><a href="/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/news-and-events/" class="ut-secondary-list-hide" title="News and Events">News and Events</a><div class="lory-frame js_frame"><ul class="ut-nav__list lory-slides js_slides"><li class="ut-nav__item lory-slides__item js-slide"><a href="/en/forschung/zentren-und-institute/carl-friedrich-von-weizsaecker-zentrum/news-und-events/online-kolloquium-fast-forward-future/" class="ut-link ut-nav__link" title="Online-Kolloquium Fast Forward Future">Online-Kolloquium Fast Forward Future</a></li><li class="ut-nav__item lory-slides__item js-slide"><a href="/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/news-and-events/carl-friedrich-von-weizsaecker-colloquium/" class="ut-link ut-nav__link ut-nav__link--is-current lory-slides__item js-slide" title="Carl Friedrich von Weizsäcker-Colloquium">Carl Friedrich von Weizsäcker-Colloquium</a></li><li class="ut-nav__item lory-slides__item js-slide"><a href="/en/forschung/zentren-und-institute/carl-friedrich-von-weizsaecker-zentrum/news-und-events/interdisziplinaere-fachtagung-fast-forward-future/" class="ut-link ut-nav__link" title="Interdisziplinäre Fachtagung Fast Forward Future">Interdisziplinäre Fachtagung Fast Forward Future</a></li><li class="ut-nav__item lory-slides__item js-slide"><a href="/en/forschung/zentren-und-institute/carl-friedrich-von-weizsaecker-zentrum/news-und-events/akademie/" class="ut-link ut-nav__link" title="Akademie">Akademie</a></li><li class="ut-nav__item lory-slides__item js-slide"><a href="/en/forschung/zentren-und-institute/carl-friedrich-von-weizsaecker-zentrum/news-und-events/menschzentrierte-ki-entwicklung/" class="ut-link ut-nav__link" title="Menschzentrierte KI-Entwicklung">Menschzentrierte KI-Entwicklung</a></li><li class="ut-nav__item lory-slides__item js-slide"><a href="/en/forschung/zentren-und-institute/carl-friedrich-von-weizsaecker-zentrum/news-und-events/workshops-ki/" class="ut-link ut-nav__link" title="Workshops KI">Workshops KI</a></li><li class="ut-nav__item lory-slides__item js-slide"><a href="/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/news-and-events/philosophy-of-computer-science-seminar/" class="ut-link ut-nav__link" title="Philosophy of Computer Science Seminar">Philosophy of Computer Science Seminar</a></li><li class="ut-nav__item lory-slides__item js-slide"><a href="/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/news-and-events/definitions-of-algorithms-computer-science-and-law/" class="ut-link ut-nav__link" title="Definitions of Algorithms: Computer Science and Law">Definitions of Algorithms: Computer Science and Law</a></li><li class="ut-nav__item lory-slides__item js-slide"><a href="/en/forschung/zentren-und-institute/carl-friedrich-von-weizsaecker-zentrum/news-und-events/konzeptionelle-herausforderungen-fuer-die-ki/" class="ut-link ut-nav__link" title="Konzeptionelle Herausforderungen für die KI">Konzeptionelle Herausforderungen für die KI</a></li><li class="ut-nav__item lory-slides__item js-slide"><a href="/en/forschung/zentren-und-institute/carl-friedrich-von-weizsaecker-zentrum/news-und-events/geodaten-als-open-data-fuer-die-kuenstliche-intelligenz/" class="ut-link ut-nav__link" title="Geodaten als open data für die Künstliche Intelligenz">Geodaten als open data für die Künstliche Intelligenz</a></li><li class="ut-nav__item lory-slides__item js-slide"><a href="/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/news-and-events/past-events/" class="ut-link ut-nav__link" title="Past Events">Past Events</a></li></ul></div><span class="lory-nav js_prev prev"><svg xmlns="http://www.w3.org/2000/svg" width="50" height="50" viewBox="0 0 501.5 501.5"><g><path fill="#cccccc" d="M302.67 90.877l55.77 55.508L254.575 250.75 358.44 355.116l-55.77 55.506L143.56 250.75z"/></g></svg></span><span class="lory-nav js_next next"><svg xmlns="http://www.w3.org/2000/svg" width="50" height="50" viewBox="0 0 501.5 501.5"><g><path fill="#cccccc" d="M199.33 410.622l-55.77-55.508L247.425 250.75 143.56 146.384l55.77-55.507L358.44 250.75z"/></g></svg></span><a href="/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/publications/" class="ut-secondary-list-hide" title="Publications">Publications</a><a href="/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/projects/" class="ut-secondary-list-hide" title="Projects">Projects</a><a href="/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/contact-directions/" class="ut-secondary-list-hide" title="Contact / Directions">Contact / Directions</a></nav> </div> </div> </div> </div> </header> <div class="container ut-page__prepend"> <nav class="ut-breadcrumb " aria-labelledby="nav-indicator"> <span class="ut-breadcrumb__indicator" id="nav-indicator">You are here:</span> <ul class="ut-breadcrumb__list js-breadcrumb-list"><li class="ut-breadcrumb__item ut-breadcrumb__item--collapse "><span class="ut-icon ut-icon-right-dir ut-breadcrumb__icon-before" role="img"></span><a href="/en/" class="ut-breadcrumb__link">Home</a><span class="ut-icon ut-icon-angle-right ut-breadcrumb__icon-after"></span></li><li class="ut-breadcrumb__item ut-breadcrumb__item--collapse "><span class="ut-icon ut-icon-right-dir ut-breadcrumb__icon-before" role="img"></span><a href="/en/research/" class="ut-breadcrumb__link">Research</a><span class="ut-icon ut-icon-angle-right ut-breadcrumb__icon-after"></span></li><li class="ut-breadcrumb__item ut-breadcrumb__item--collapse "><span class="ut-icon ut-icon-right-dir ut-breadcrumb__icon-before" role="img"></span><a href="/en/research/centers-and-institutes/" class="ut-breadcrumb__link">Centers and Institutes</a><span class="ut-icon ut-icon-angle-right ut-breadcrumb__icon-after"></span></li><li class="ut-breadcrumb__item ut-breadcrumb__item--collapse "><span class="ut-icon ut-icon-right-dir ut-breadcrumb__icon-before" role="img"></span><a href="/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/cfvw-center/" class="ut-breadcrumb__link">Carl Friedrich von Weizsäcker Center</a><span class="ut-icon ut-icon-angle-right ut-breadcrumb__icon-after"></span></li><li class="ut-breadcrumb__item ut-breadcrumb__item--collapse "><span class="ut-icon ut-icon-right-dir ut-breadcrumb__icon-before" role="img"></span><a href="/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/news-and-events/" class="ut-breadcrumb__link">News and Events</a><span class="ut-icon ut-icon-angle-right ut-breadcrumb__icon-after"></span></li><li class="ut-breadcrumb__item ut-breadcrumb__item--collapse"><span class="ut-icon ut-icon-right-dir ut-breadcrumb__icon-before" role="img"></span><a href="/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/news-and-events/carl-friedrich-von-weizsaecker-colloquium/">Carl Friedrich von Weizsäcker-Colloquium</a></li></ul> </nav> </div> <div class="ut-page__main"> <div class="ut-wrapper"> <div class="container"> <div class="row ut-pagelayout"> <main class="col-xs-12 col-sm-12 ut-pagelayout__maincol" id="ut-identifier--main-content"> <div id="c1540666" class="ut-text-media ut-text-media--layout-top "> <div class="ut-text-media__text "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> Carl Friedrich von Weizsäcker Colloquium </h2> </header> </div> </div> <div class="ut-grid ut-grid--deck ut-grid--93 ut-grid--non-equal-height"> <div class="ut-grid__col-1"> <div id="c1540651" class="ut-text-media ut-text-media--layout-top "> <div class="ut-text-media__text "> <div class="column-count-0 rte-icons"> <p>Every week, The Carl Friedrich von Weizsäcker colloquium welcomes guest speakers and members of the center for various talks surrounding our main research areas. Open to everyone!</p> <p><strong>Usual time and place:</strong> Wednesdays from 5 to 6 pm (CET) at the Carl Friedrich von Weizsäcker Center, Doblerstr. 33, Room 1.3 and via <a href="https://zoom.us/j/96822543209?pwd=My9vQ2NtSHhaMnpzWnpJZldib3gyUT09" target="_blank" class="external-link" rel="noreferrer">Zoom</a></p> <p><strong>Organizers: </strong>Prof. Dr. Reinhard Kahle & Dr. Thomas Piecha</p> <p>Want to get notified of upcoming colloquium sessions? Send an email to our secretary <a href="#" data-mailto-token="ocknvq,ugmtgvctkcv0ehxyBwpk/vwgdkpigp0fg" data-mailto-vector="2" class="mail">Aleksandra Rötschke</a> to subscribe to announcements!</p> <p>Looking for a specific talk? Check out our <a href="https://youtube.com/playlist?list=PLsY-pzz3J1IRnvgQ890nr0Zv-37sUsnzF" target="_blank" class="external-link" rel="noreferrer">YouTube</a> playlist!</p> </div> </div> </div> </div> <div class="ut-grid__col-2"> <div id="c1540681" class="ut-text-media ut-text-media--layout-top "> <div class="ut-text-media__gallery " data-ce-columns="1" data-ce-images="1"> <div class="ut-gallery"> <div class="ut-gallery__row"> <div class="ut-gallery__item ut-gallery__item--col-1 "> <figure role="group" class="ut-figure "> <div class="ut-figure__img-wrapper"> <div class="ut-figure__img-wrapper-inner"> <picture class="ut-picture ut-figure__img"> <source srcset="/fileadmin/_processed_/2/b/csm_icon_events_colloquium_04feb14764.png" media="(min-width: 990px)"> <source srcset="/fileadmin/_processed_/2/b/csm_icon_events_colloquium_c5c82b504e.png" media="(min-width: 780px)"> <source srcset="/fileadmin/_processed_/2/b/csm_icon_events_colloquium_32e828024a.png" media="(min-width: 480px)"> <source srcset="/fileadmin/_processed_/2/b/csm_icon_events_colloquium_03a333e761.png" media="(max-width: 479px)"> <img class="ut-picture__img ut-img--fluid" src="data:image/gif;base64,R0lGODlhAQABAAAAACwAAAAAAQABAAA=" width="301" height="158" alt="" title=""/> </picture> </div> <a class="ut-img__copyright ut-img__copyright--overlay ut-img__copyright--popover" data-toggle="popover" data-animation="true" data-content="canva.com" data-placement="top" title="" aria-label="Copyright - Show additional informations for copyright" data-original-title="Copyright"> <span class="ut-icon ut-icon-copyright-1"></span> </a> </div> </figure> </div> </div> </div> </div> <div class="ut-text-media__text "> </div> </div> </div> </div> <div id="c1540687" class="frame frame-divider-red frame-type-div frame-layout-0"> <hr class="ut-hr ut-hr--color-primary-1"/> </div> <div id="c1564685" class="ut-text-media ut-text-media--layout-top "> <div class="ut-text-media__text "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> Next up </h2> </header> </div> </div> <div id="c1540642" class="ut-box ut-box--color-components-1"> <div class="ut-box__block "> <div class="ut-box__text column-count-0 rte-icons"> <p>November 27, 2024  <strong>6pm s.t. [</strong><span class="ut-icon ut-icon-info-circled"></span> <strong>Talk will take place here: Psychologisches Institut, Schleichstr. 4. im Hörsaal 4.329]</strong></p> <h6><strong>Explorative vs. confirmatory research: A false dichotomy?</strong></h6> <p><i>Prof. Dr. Uljana Feest (University of Hannover, DE)</i></p> <p> </p> <p> </p> </div> </div> </div> <div class="ut-panel-group panel-group ut-panel--" id="c1564724"> <header class="ut-header "> <h6 class=" ut-heading ut-heading--h6"> Abstract </h6> </header> <div class="ut-panel panel ut-panel-group__item" id="1564724panel-0"> <div class="ut-panel__heading" id="1564724panel-0-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1564724panel-0-pc" data-toggle="collapse"> <span></span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1564724panel-0-pc"> <div class="ut-panel__body"> <div id="c1564727" class="ut-text-media ut-text-media--layout-top "> <div class="ut-text-media__text "> <div class="column-count-0 rte-icons"> <p>The replication crisis in psychology has given rise to intense soul searching with respect to questionable research practices, such as p-hacking and HARKing. One response to these problems is to call for researchers to preregister their statistical hypotheses so as to make sure that the results they report as confirmed by their data are in fact the ones they set out to test. There is an argument in the literature that retrospective theorizing or data analysis is only legitimate if it is explicitly labeled as “exploratory.” In my talk, I will argue that the underlying understanding of exploratory research is counterintuitive and philosophically problematic. Turning to the philosophy of science literature about exploratory experimentation and exploratory modeling, I will propose an account of exploratory research that is better able to capture the dynamics of research and that allows for a more precise understanding of why the explorarory/confirmatory distinction is problematic on both descriptive and normative grounds.</p> <p>(The talk is based on research that was conducted jointly with Berna Devezer)</p> </div> </div> </div> </div> </div> </div> </div> <div id="c1540684" class="frame frame-divider-red frame-type-div frame-layout-0"> <hr class="ut-hr ut-hr--color-primary-1"/> </div> <div id="c1540669" class="ut-text-media ut-text-media--layout-top "> <div class="ut-text-media__text "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> Upcoming Talks </h2> </header> </div> </div> <div id="c2123157" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <div class="ut-box__text column-count-0 rte-icons"> <p>November 27, 2024  <strong>6pm s.t.</strong> [<span class="ut-icon ut-icon-info-circled"></span> <strong>Meeting will take place here: Psychologisches Institut, Schleichstr. 4., Hörsaal 4.329]</strong></p> <h6>Explorative vs. confirmatory research: A false dichotomy?</h6> <p><i>Prof. Dr. Uljana Feest (University of Hannover, DE)</i></p> <p> </p> <p>The replication crisis in psychology has given rise to intense soul searching with respect to questionable research practices, such as p-hacking and HARKing. One response to these problems is to call for researchers to preregister their statistical hypotheses so as to make sure that the results they report as confirmed by their data are in fact the ones they set out to test. There is an argument in the literature that retrospective theorizing or data analysis is only legitimate if it is explicitly labeled as “exploratory.” In my talk, I will argue that the underlying understanding of exploratory research is counterintuitive and philosophically problematic. Turning to the philosophy of science literature about exploratory experimentation and exploratory modeling, I will propose an account of exploratory research that is better able to capture the dynamics of research and that allows for a more precise understanding of why the explorarory/confirmatory distinction is problematic on both descriptive and normative grounds. (The talk is based on research that was conducted jointly with Berna Devezer)</p> </div> </div> </div> <div id="c2125263" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <div class="ut-box__text column-count-0 rte-icons"> <p>December 11, 2024</p> <h6>What is Reflexive Rationality?</h6> <p><i>Prof. Dr. Wolfgang Spohn (Universität Konstanz)</i></p> <p> </p> <p>Reason is perhaps the most fundamental trait of humanity, and rationality – a roughly synonymous, but often preferred term because of its normative connotations – is a fundamental topic of philosophy since its inception. Practical rationality in its ideal form is generally and precisely captured by decision theory and, in its social variant, by game theory. These ideals are often considered to be fixed and completed. Work can continue, it seems, only in applications, specializations, and more realistic, subideal accounts of practical rationality. My contention is that this ideal is not fixed at all and still open to normative discussion. I am presently working at a book titled: “Reflexive Rationality: Rethinking Decision and Game Theory”. Its intention is to improve our ideal accounts of practical rationality. In my talk I would like to explain a few basic ideas of what I call reflexive rationality in an intuitive, informal way.</p> </div> </div> </div> <div id="c2123151" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <div class="ut-box__text column-count-0 rte-icons"> <p>January 08, 2025</p> <h6>The epistemology of Machine Learning</h6> <p><em>Prof. Dr. Dr. Claus Beisbart (University of Berne, CH)</em></p> </div> </div> </div> <div id="c2128971" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <div class="ut-box__text column-count-0 rte-icons"> <p>January 15, 2025</p> <h6>Beyond Footnotes: Lakatos's meta-philosophy and the history of science</h6> <p><i>Prof. Dr. Samuel Schindler (University of Aarhus, DK)</i></p> </div> </div> </div> <div id="c2155113" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <div class="ut-box__text column-count-0 rte-icons"> <p>January 15, 2025<strong> 4pm</strong></p> <h6><strong>Some ideas for a Kuhnian-Lakatosian reading of the opposition between realism and constructivism in logic and the foundations of mathematics</strong></h6> <p><i>Dr. Antonio Piccolomini d'Aragona (University of Tübingen)</i></p> <p> </p> </div> </div> </div> <div id="c2137302" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <div class="ut-box__text column-count-0 rte-icons"> <p>January 22, 2025</p> <h6>TBA</h6> <p><i>Prof. Dr. Ladislav Kvasz (Czech Academy of Sciences)</i></p> </div> </div> </div> <div id="c2123163" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <div class="ut-box__text column-count-0 rte-icons"> <p>January 29, 2024</p> <h6>Philosophical Problems in Complex Systems</h6> <p><em>Prof. Dr. Meinard Kuhlmann (Johannes Gutenberg University of Mainz, DE)</em></p> </div> </div> </div> <div id="c1661343" class="frame frame-default frame-type-div frame-layout-0"> <hr class="ut-hr "/> </div> <div id="c1536085" class="ut-text-media ut-text-media--layout-top "> <div class="ut-text-media__text "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> Past Colloquium Sessions </h2> </header> </div> </div> <div class="ut-panel-group panel-group ut-panel--" id="c1951935"> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> 2024 </h2> </header> <div class="ut-panel panel ut-panel-group__item" id="1951935panel-0"> <div class="ut-panel__heading" id="1951935panel-0-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1951935panel-0-pc" data-toggle="collapse"> <span>November 20,2024 Dr. Ivo Pezlar (Institute of Philosophy of the Czech Academy of Sciences)</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1951935panel-0-pc"> <div class="ut-panel__body"> <div id="c2128959" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> November 20,2024 Dr. Ivo Pezlar (Institute of Philosophy of the Czech Academy of Sciences) </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>20. November 2024</p> <h6><strong>A logic of judgmental existence and its relation to proof irrelevance</strong></h6> <p><i>Dr. Ivo Pezlar (Institute of Philosophy of the Czech Academy of Sciences)</i></p> <p> </p> <p>In this talk, we introduce a simple natural deduction system for reasoning with judgments of the form "there exists a proof of A" to explore the notion of judgmental existence following Martin-Löf's methodology of distinguishing between judgments and propositions. In this system, the existential judgment can be internalized into a modal notion of propositional existence that is closely related to truncation modality, a key tool for obtaining proof irrelevance, and lax modality. We provide a computational interpretation in the style of the Curry-Howard isomorphism for the existence modality and show that the corresponding system has some desirable properties such as normalization or subject reduction.</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1951935panel-1"> <div class="ut-panel__heading" id="1951935panel-1-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1951935panel-1-pc" data-toggle="collapse"> <span>October 30, 2024 Dr. Federico Pailos (University of Tübingen)</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1951935panel-1-pc"> <div class="ut-panel__body"> <div id="c2128947" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> October 30, 2024 Dr. Federico Pailos (University of Tübingen) </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>October 30, 2024</p> <h6>Naive non-substructural solutions to the Validity Paradox (plus an informational application)</h6> <p><i>Dr. Federico Pailos (University of Tübingen)</i></p> <p> </p> <p>I will present naive non-substructural solutions to the Validity Paradox. The main idea behind these solutions is to break up the link between a valuation satisfying an inference and a valuation not being a counterexample to that inference. A philosophical consequence of this technical move is that, in some of these theories, VD will be valid while at the same time invalid, while in others VD won't be invalid, though it will not be valid either. No matter what path is chosen, it will not be possible to have the problematic instances of VD as axioms of the derivations that lead to the paradoxical result. The first one cannot have them as axioms because the problematic instances are not valid, and the second one cannot have them either because they are invalid. Given the details of these proposals, new forms of both (i) naive validity, and (ii) non-substructurality arise. Moreover, validity gaps and gluts might represent the informational state of a computer regarding a particular way to process such absence of information or contradictory information.</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1951935panel-2"> <div class="ut-panel__heading" id="1951935panel-2-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1951935panel-2-pc" data-toggle="collapse"> <span>October 23, 2024 Dr. Niels Linneman (University of Geneva, CH & Rotman Institute, CAN)</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1951935panel-2-pc"> <div class="ut-panel__body"> <div id="c2128965" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> October 23, 2024 Dr. Niels Linneman (University of Geneva, CH & Rotman Institute, CAN) </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>October 23, 2024</p> <h6>Should we expect life in the universe? Rethinking the Anthropic Principle</h6> <p><i>Dr. Niels Linneman (University of Geneva, CH & Rotman Institute, CAN)</i></p> <p> </p> <p>The anthropic principle (AP) states that "what we can expect to observe must be restricted by the conditions necessary for our presence as observers". But the phrase "our presence as observers" cannot be uniquely interpreted in the context of the theories within which AP is meant to be understood and applied: namely, for 'effective' theories. We thus describe and defend a reformulation of AP, which we dub the 'effective observation principle' (EOP). EOP describes what we can expect to observe in physical settings by considering our 'observational situation' (and not, specifically, 'observers')---understood solely in terms of effective theories.</p> <p>Preprint: <a href="https://philsci-archive.pitt.edu/23934/" target="_blank" rel="noreferrer">https://philsci-archive.pitt.edu/23934/</a></p> <p>Joint work with Feraz Azhar (Department of Philosophy, University of Notre Dame, Indiana US).</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1951935panel-3"> <div class="ut-panel__heading" id="1951935panel-3-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1951935panel-3-pc" data-toggle="collapse"> <span>October 16, 2024 PD Dr. Jens Lemanski</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1951935panel-3-pc"> <div class="ut-panel__body"> <div id="c2128953" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> October 16, 2024 PD Dr. Jens Lemanski </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>October 16, 2024<strong> 4:30-5:30 pm</strong> [hybrid]</p> <h6>Multimodality in natural and artificial intelligence: Philosophical Perspectives</h6> <p><i>PD Dr. Jens Lemanski (Universität Münster & FernUniversität in Hagen)</i></p> <p> </p> <p>The concept of multimodality is currently being explored in numerous fields of intelligence research, including animal and human communication, as well as machine learning. One of the most significant challenges currently being addressed in all areas of intelligence research is that of reasoning. The question thus arises as to whether there exists a modality type, such as text-based approaches, that is afforded a privileged access in the domain of reasoning. This question is linked to the assumption that visual and tactile modalities, such as diagrams or gestures, can process less complex information more efficiently and have a lower degree of conventionalisation than other types of modality. However, empirical evidence indicates that reasoning tasks are solved faster and more effectively not only by natural beings but also by machine agents when multimodal rather than unimodal solution strategies are employed. </p> <p>The lecture addresses two key aspects: firstly, it considers the philosophical approach that determines the choice between unimodal and multimodal reasoning; secondly, it demonstrates that there have been numerous approaches in the history of philosophy that have advocated multimodal reasoning and have drawn different boundaries of complexity and conventionalisation for visual and tactile modalities. These insights have the potential to inform and enhance contemporary research into intelligence.<br> </p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1951935panel-4"> <div class="ut-panel__heading" id="1951935panel-4-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1951935panel-4-pc" data-toggle="collapse"> <span>July 17, 2024 Prof. Dr. Isabel Oitavem, Universidade Nova de Lisboa</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1951935panel-4-pc"> <div class="ut-panel__body"> <div id="c2020581" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> July 17, 2024 Prof. Dr. Isabel Oitavem, Universidade Nova de Lisboa </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>July 17, 2024</p> <h6>The Positive Polynomial-Time Functions</h6> <p><em>Prof. Dr. Isabel Oitavem, Universidade Nova de Lisboa</em><br> *Monotone functions* abound in the theory of computation. They have been comprehensively studied in the setting of circuit complexity, via negation-free circuits (usually called "monotone circuits"). However, the study of *uniform* monotone computation is a much less developed subject. Grigni and Sipser began a line of work studying the effect of restricting "negation" in computational models. One shortfall of their work was that deterministic classes lacked a bona fide treatment, with positive models only natively defined for nondeterministic classes. This means that positive versions of, say, P must rather be obtained via indirect characterisations, e.g. as ALOGSPACE. Later work by Lautemann, Schwentick and Stewart solved this problem by proposing a model of deterministic computation whose polynomial-time predicates coincide with several characterisations of P once "negative" operations are omitted. This induces a robust definition of the class posP, the positive polynomial-time predicates.<br> We extend the work of Lautemann, Schwentick and Stewart on characterisations of the positive polynomial-time predicates to function classes. The focus of the talk is to obtain a function algebra for the positive polynomial-time functions, posFP, by imposing a simple uniformity constraint on the bounded recursion operator in Cobham's characterisation of polynomial-time functions.<br> This is joint work with Anupam Das, see 10.4230/LIPIcs.CSL.2018.18.</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1951935panel-5"> <div class="ut-panel__heading" id="1951935panel-5-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1951935panel-5-pc" data-toggle="collapse"> <span>Thursday, July 11, 2024 4pm [hybrid] Prof. Dr. Roberto Giuntini, University of Cagliari und Technical University of Munich</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1951935panel-5-pc"> <div class="ut-panel__body"> <div id="c2020575" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> Thursday, July 11, 2024 4pm [hybrid] Prof. Dr. Roberto Giuntini, University of Cagliari und Technical University of Munich </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p><strong>Thursday</strong>, July 11,<strong> </strong>2024 <strong>4pm </strong>[hybrid]</p> <h6>Machine Learning meets Quantum Mechanics</h6> <p><em> Prof. Dr. Roberto Giuntini, University of Cagliari und Technical University of Munich</em></p> <p>Research in the broad area of pattern recognition, machine learning, and quantum computing has inspired new ideas about some important general problems that arise in several disciplines, including information theory (classical and quantum), logic, cognitive science and neuroscience, and philosophy.<br> One of the fundamental questions that these disciplines often face is the following: How are abstract concepts formed and recognized on the basis of<br> previous (natural or artificial) experiences? This problem has been studied, with a variety of methods and tools, both in the context of human intelligence and artificial intelligence.In this seminar, the problem will be addressed within the framework of machine learning and quantum computing.<br> Machine learning can be defined as the art and science of making computers learn from data how to solve problems (or recognize and classify new objects) without being explicitly programmed. Quantum computing describes the processing of information using tools based on the laws of quantum theory. Today, we are witnessing a dramatic explosion of data, and the problem of extracting and recognizing only "useful information" from these data is crucial but extremely resource consuming. On the other hand, quantum computing has shown that there exist quantum algorithms that allow a formidable acceleration in solving problems that, in their current state, would require exponential times. The realization of the so-called noisy intermediate-scale quantum (NISQ) computers is now a reality. Therefore, the combination of machine learning and quantum computing appears inevitable. This "marriage" is favored by the fact that one of the fundamental features of quantum theory is that it can deal with incomplete information in a particularly natural and efficient way, a feature that is of primary importance in machine learning. The approach that I will present in this seminar (called Quantum-Inspired Machine Learning) consists of formally translating the process of (supervised) classification of (classical) machine learning by using the formalism of quantum theory in such a way that the resulting classification algorithms can be implemented on non-necessarily quantum computers. In particular, I will address the problem of binary classification of classical datasets, presenting a classifier (called the Helstrom Quantum Classifier (HQC), based on the Helstrom protocol, which is used to distinguish between two quantum states (mathematically represented by density matrices). HQC acts on density matrices, which, in our model, encode the patterns of a classical dataset. Experimental benchmark results show that, in many cases, the accuracy of HQC is superior to that of many classical classifiers. Finally, we will show how the improvement in HQC performance is positively correlated with the increase in the number of "quantum copies" of each (encoded) classical pattern.</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1951935panel-6"> <div class="ut-panel__heading" id="1951935panel-6-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1951935panel-6-pc" data-toggle="collapse"> <span>July 10, 2024 Duarte Maia (University of Chicago)</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1951935panel-6-pc"> <div class="ut-panel__body"> <div id="c2021427" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> July 10, 2024 Duarte Maia (University of Chicago) </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>July 10, 2024</p> <h6>An Introduction to Reverse Math</h6> <p><em>Duarte Maia (University of Chicago)</em></p> <p> </p> <p>Reverse Math is a relatively recent (mid 70's) branch of logic, which can in some sense be seen as formalizing the question: "What does it mean for a theorem to imply another?" This is slightly more difficult than it may seem. Clearly we cannot be referring to logical implication: Otherwise, since every theorem is true by definition, by the truth table for implication any two theorems imply each other...</p> <p>A possible way to interpret it (aside from the colloquial "I know it when I see it") is to consider implication within a weaker set of axioms, weak enough that the theorems that you care about aren't necessarily true to begin with, and so implications between them are nontrivial. In this talk, I'll introduce you to the most common base system, called RCA0 (R-C-A-Nought), and I'll walk you through some of the basics of reverse math, explaining how some theorems which may at first seem completely unrelated are actually equivalent.</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1951935panel-7"> <div class="ut-panel__heading" id="1951935panel-7-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1951935panel-7-pc" data-toggle="collapse"> <span>July 03, 2024 Prof. Dr. Marco Giovanelli (Università degli Studi di Torino (UNITO), IT)</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1951935panel-7-pc"> <div class="ut-panel__body"> <div id="c2058321" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> July 03, 2024 Prof. Dr. Marco Giovanelli (Università degli Studi di Torino (UNITO), IT) </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>July 03, 2024 </p> <h6><strong>Appearance and Reality: Einstein and the Early Debate on the Reality of Length Contraction</strong></h6> <p><em>Prof. Dr. Marco Giovanelli (Università degli Studi di Torino (UNITO), IT)</em></p> <p>In 1909, Ehrenfest published a note in the <em>Physikalische Zeitschrift</em> showing that a Born-rigid cylinder could not be set into rotation without stresses, as elements of the circumference would be contracted but not the radius. Ignatowski and Varicak challenged Ehrenfest’s result in the same journal, arguing that the stresses would emerge if length contraction were a real dynamical effect, as in Lorentz’s theory. However, no stresses are expected to arise according to Einstein’s theory, where length contraction is only an apparent effect due to an arbitrary choice of clock synchronization. Ehrenfest and Einstein considered this line of reasoning dangerously misleading and took a public stance in the <em>Physikalische Zeitschrift</em>, countering that relativistic length contraction is both apparent and real. It is apparent since it disappears for the comoving observer, but it is also real since it can be experimentally verified. By drawing on his lesser-known private correspondence with Varicak, this paper shows how Einstein used the Ehrenfest paradox as a tool for an ‘Einsteinian pedagogy’. Einstein’s argumentative stance is contrasted with Bell’s use of the Dewan-Beran thread-between-spaceships paradox to advocate for a ‘Lorentzian pedagogy’. The paper concludes that the disagreement between the two ways of ‘teaching special relativity’ stems from divergent interpretations of philosophical categories such as ‘reality’ and ‘appearance’.</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1951935panel-8"> <div class="ut-panel__heading" id="1951935panel-8-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1951935panel-8-pc" data-toggle="collapse"> <span>June 26, 2024 Dr Eric Oberheim (Humboldt University of Berlin)</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1951935panel-8-pc"> <div class="ut-panel__body"> <div id="c2014011" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> June 26, 2024 Dr Eric Oberheim (Humboldt University of Berlin) </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>June 26, 2024 </p> <h6>Paul Feyerabend: From the Limited Validity of Falsificationism to ‘Anything Goes!’</h6> <p><em>Dr Eric Oberheim (Humboldt University of Berlin)</em></p> <p>The lecture explains Paul Feyerabend’s peculiar views on meaning and method and how they developed from the early 1950s into Feyerabend’s mature early philosophy of science in his landmark essay “Explanation, Reduction and Empiricism” (1962, henceforth /ERE/), where Feyerabend criticizes Carl Hempel on “Explanation”, Ernst Nagel on “Reduction” and Karl Popper on “Empiricism” (hence the title ERE); and then, how this conclusion was generalized to ‘Anything goes!’ on the 17th December 1967, when Feyerabend explicitly announced his break from Popper’s school in two histrionic letters sent on the same day (one to Imre Lakatos and one to John Watkins) that explain his epiphany and how he had ‘awoken’ from his “Popperian slumber”. Feyerabend outlines his new “‘position’” (in ‘scare quotes’), which is “anything goes” except what is compatible with “hedonism”, to be entitled “Against Method” (following Susan Sontag). This marks the transition from his early to his later philosophy in a /reversal on realism/: from recommending correcting common knowledge with science to recommending protecting common knowledge from scientism in a ‘historical turn’.<br> The lecture begins when Ludwig Wittgenstein attended a meeting of the ‘Third Vienna Circle’ (the Viktor ‘Kraft Circle’) to discuss a problem with Popper’s account of ‘basic statements’ at Feyerabend’s invitation (Popper considered Wittgenstein to be his archrival.) Feyerabend attempted to combine Wittgenstein’s insight that one sentence can make two incompatible statements (like a duck-rabbit, for example, ‘the ball fell’ meant it was pushed by its impetus before it meant it was pulled by gravity) with Popper’s ‘critical rationalist’ maxim to increase testability. About a decade later, Feyerabend finally explicitly tried to criticize the worst in both (Wittgenstein and Popper) while developing the best in each. He tried to explain how Wittgenstein’s genuinely philosophical problems arise from ‘grammar’ (as antiquated scientific principles) and explained their role in science, while criticizing Wittgenstein’s ‘quietism’. Feyerabend also argued, within Popper’s critical rationalist framework, against Popper’s account of ‘basic statements’ and concluded that falsificationism has only a limited validity (/ERE/ 1962). It is limited to modeling testing commensurable theories within a shared framework (normal science), because it cannot take scientific revolutions into account. Falsificationism fails in scientific revolutions because meaning variance in the (non-logical) terms used to state the competing theories renders them incommensurable (deductible disjoint), so that while there can be crucial experiments between incommensurable theories, general theories cannot be /falsified/ in Popper’s sense. Instead, Feyerabend proposes a new model for the empirical justification of replacing an established theory with an incommensurable alternative based on David Bohm’s example (Einstein’s prediction of Brownian motion). Feyerabend’s test model is conjectures and /novel/ (theory-loaded) corroborations in contrast to Popper’s conjectures and refutations by falsification. The lecture then briefly explains two significant events that took place after /ERE/ (1962), which led Feyerabend to generalize from the limited validity of falsificationism to the limited validity of all methodological rules (“/Against Method/” and ‘anything goes’), before the lecture concludes by characterizing Feyerabend’s reversal on realism from recommending correcting common knowledge to recommending protecting common knowledge from scientism, as a lesson learned from Wittgensteinian belatedly finally sunk in – science contains not only formulae and rules for their application but entire traditions.</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1951935panel-9"> <div class="ut-panel__heading" id="1951935panel-9-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1951935panel-9-pc" data-toggle="collapse"> <span>June 19, 2024 Prof. Dr. Klaus Hentschel (University of Stuttgart)</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1951935panel-9-pc"> <div class="ut-panel__body"> <div id="c2015565" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> June 19, 2024 Prof. Dr. Klaus Hentschel (University of Stuttgart) </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>June 19, 2024</p> <h6>History of the concept of photons and of their mental models - concept formation in slow motion</h6> <p><em>Prof. Dr. Klaus Hentschel (University of Stuttgart)</em></p> <p>How are complex concepts (such as that of ‘light quanta’, terminologically introduced in 1905, renamed `photons' in 1926) formed? How is terminological change interlinked with the development of concepts and with mental modeling underlying these terms? Well-defined terms usually come chronically late, much later than the thoughts and mental models which eventually lead to them. And even after such terms are available, substantial disagreement concerning their meaning might still exist – various different, indeed conflicting mental models are often associated with one and the same term. Light quanta are paradigmatic for such processes which took unusually long in this case and is therefore particulary suited for a close study of this process 'in slow motion'. My claim is that we need a closer combination of history of science with a history of terminology (/Begriffsgeschichte/), the history of ideas and a more cognitively oriented history of mental models in science. My talk will sketch some of the more general claims on the basis of handpicked examples.</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1951935panel-10"> <div class="ut-panel__heading" id="1951935panel-10-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1951935panel-10-pc" data-toggle="collapse"> <span>June 5, 2024 Prof. Dr. Julia Sánchez-Dorado (University of Sevilla, ES)</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1951935panel-10-pc"> <div class="ut-panel__body"> <div id="c2015559" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> June 5, 2024 Prof. Dr. Julia Sánchez-Dorado (University of Sevilla, ES) </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>June 5, 2024</p> <h6>Creativity, pursuit and epistemic tradition</h6> <p><em>Prof. Dr. Julia Sánchez-Dorado (University of Sevilla, ES)</em></p> <p>The so-called “standard view” on creativity says that there are two necessary, and jointly sufficient, conditions for creativity, novelty and value (Boden 2004; Gaut 2010). This view has been recently challenged by philosophers of science like Hills and Bird (2018), who propose to eliminate the value condition in the explanation of the phenomenon of creativity, since it only promotes an already “widespread and deeply misguided” approval of creativity as something necessarily positive for scientific research and other aspects of societal life. In this talk, I will argue against Hills and Bird (2018), while rescuing an important element of their criticism: the value condition in the explanation of creativity needs to be spelt out in more detail in order to avoid misattributions of unwarranted merits to creative people and creative products (such as creative scientific hypotheses and models). I propose to characterize such value condition as “pursuitworthiness”, building on the notion of "context of pursuit" originally proposed by Laudan (1977). To be pursuitworthy is to possess a prospective kind of worth, to have the potential of being epistemically fertile in the future, if further investigated. Using some examples from the Earth Sciences, I argue that creative scientific instances are, qua creative, valuable in the sense of pursuitworthy.</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1951935panel-11"> <div class="ut-panel__heading" id="1951935panel-11-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1951935panel-11-pc" data-toggle="collapse"> <span>May 29, 2024 Dr. Konstantin Genin (University of Tübingen)</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1951935panel-11-pc"> <div class="ut-panel__body"> <div id="c2026905" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> May 29, 2024 Dr. Konstantin Genin (University of Tübingen) </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>May 29, 2024</p> <h6>A Popperian's Progress</h6> <p><em>Dr. Konstantin Genin</em></p> <p>A major goal of twentieth-century philosophy of science was to show how science could make progress toward the truth even if, at any moment, our best theories are false. To that end, Popper and others tried to develop a theory of truthlikeness, hoping to prove that theories get closer to the truth over time. That program encountered several notable setbacks. I propose the following: a method for answering an empirical question is progressive if the chance of outputting the true answer is strictly increasing with sample size. Surprisingly, many standard statistical methods are not even approximately progressive. What's worse, many problems do not admit strictly progressive solutions. However, I prove that it is often possible to approximate progressiveness arbitrarily well. Furthermore, every approximately progressive method must obey a version of Ockham’s razor. So it turns out that addressing the problem of progress uncovers a solution to another perennial problem: how can we give a non-circular argument for preferring simple theories when the truth may well be complex?</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1951935panel-12"> <div class="ut-panel__heading" id="1951935panel-12-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1951935panel-12-pc" data-toggle="collapse"> <span>May 15, 2024 Prof. Patrick Blackburn (Roskilde University)</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1951935panel-12-pc"> <div class="ut-panel__body"> <div id="c2017110" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> May 15, 2024 Prof. Patrick Blackburn (Roskilde University) </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>May 15, 2024 [Online]</p> <h6>This time, as grandfather ...</h6> <p><em>Prof. Patrick Blackburn (Roskilde University)</em></p> <p> </p> <p>Arthur Prior is best known as the father of tense logic, reasonably well known as the father of hybrid logic, and (sadly) almost completely unknown as (arguably) the father of description logic. In this talk, however, I will introduce Arthur Prior in a different role: this time, as grandfather of modal logics with propositional quantifiers.</p> <p>Throughout his career, Arthur Prior made extensive use of modal logics with propositional quantifiers. As we now know, propositional quantifiers typically give rise to highly complex modal logics. Despite this, propositional quantifiers are syntactically simple and were philosophically attractive to Prior. I shall discuss how Prior used such quantifiers, focussing on in his late use of them to define nominals in hybrid logic. This will lead to a brief discussion of what I call Prior's Ideal Language (PIL), a hybrid modal logic enriched with propositional quantifiers, that draws together ideas he was developing before his death in 1969.</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1951935panel-13"> <div class="ut-panel__heading" id="1951935panel-13-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1951935panel-13-pc" data-toggle="collapse"> <span>May 08, 2024 [Hybrid] Jun.-Prof. Balthasar Grabmayr (University of Tübingen)</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1951935panel-13-pc"> <div class="ut-panel__body"> <div id="c2008317" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> May 08, 2024 [Hybrid] Jun.-Prof. Balthasar Grabmayr (University of Tübingen) </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>May 08, 2024 [Hybrid]</p> <h6>The Structuralist Turn in (Meta-)Mathematics</h6> <p><em>Jun.-Prof. Balthasar Grabmayr (University of Tübingen)</em></p> <p>The emergence of metamathematical investigations at the turn of the 20th century brought with it the introduction of formal languages as objects of mathematical inquiry. While Hilbert conceived of formal expressions as strictly spatial objects, namely, as strings of symbols, Gödel’s celebrated technique of arithmetisation showed that strings can be replaced  by numbers or sets as the objects of metamathematics. As I will show, this technical innovation has led to a structuralist turn in metamathematics. According to the structuralist view, the subject matter of metamathematics are syntax structures, which can be exemplified in multiple ways. In this talk, I will isolate a weak structuralist tenet that underlies most (if not all) strands of structuralism. I will then argue that this tenet fails in the case of metamathematics. I will conclude that structuralism, at least in its current form, is not a tenable view for all of mathematics.<br>  </p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1951935panel-14"> <div class="ut-panel__heading" id="1951935panel-14-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1951935panel-14-pc" data-toggle="collapse"> <span>April 23, 2024 3pm-4pm Prof. Finnur Dellsén (University of Iceland)</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1951935panel-14-pc"> <div class="ut-panel__body"> <div id="c2008755" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> April 23, 2024 3pm-4pm Prof. Finnur Dellsén (University of Iceland) </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>April 23, 2024 <strong>3pm-4pm </strong>[Hybrid, Hörsaal 1.3]</p> <h6>Is Methodological Disagreement a Threat to Progress?</h6> <p><em>Prof. Finnur Dellsén (University of Iceland)</em></p> <p>Many academic disciplines, especially philosophy, are rife with methodological disagreements of various sorts. Their members disagree not only about which methods are most appropriate, but also about how those methods should be used, and indeed the outcomes of properly using a method in a particular case. It is natural and common to think that such methodological disagreements are a threat to the progress of said disciplines. However, the supposed argumentative route from methodological disagreement to lack of progress has not yet been carefully spelled out. In this paper, we formulate, analyze, and evaluate several different arguments that seem to establish such a route. It turns out that the more threatening of these arguments rely on conceptions of what it is to make progress that, we suggest, there are independent reasons to reject. One upshot is thus that methodological disagreement does not plausibly <em>preclude</em> progress. With that said, another upshot is that methodological disagreement remains a threat to the extent to which we can <em>know</em> that we’ve made progress in a given instance.</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1951935panel-15"> <div class="ut-panel__heading" id="1951935panel-15-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1951935panel-15-pc" data-toggle="collapse"> <span>February 7, 2024 [Hybrid], Dr. Enno Fischer (Ruhr-Universiät Bochum)</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1951935panel-15-pc"> <div class="ut-panel__body"> <div id="c1895198" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> February 7, 2024 [Hybrid], Dr. Enno Fischer (Ruhr-Universiät Bochum) </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>February 7, 2024 [Hybrid]</p> <h6>Pursuitworthiness in Particle Physics</h6> <p><em>Dr. Enno Fischer (Ruhr-Universiät Bochum)</em></p> <p>Experiments at the frontiers of particle physics often involve expensive research facilities, and they need to be planned over very long time periods. Decisions regarding the planning of such experiments can have a major impact on the development of research fields. Philosophers of science have developed various accounts of the epistemic pursuitworthiness of research programs. In this talk I will apply such accounts to current developments in particle physics and provide a critical view on specific promises associated with supersymmetric theories.</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1951935panel-16"> <div class="ut-panel__heading" id="1951935panel-16-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1951935panel-16-pc" data-toggle="collapse"> <span>January 31, 2024 [Hybrid] Dr. Patrick Duerr (University of Tübingen)</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1951935panel-16-pc"> <div class="ut-panel__body"> <div id="c1960500" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> January 31, 2024 [Hybrid] Dr. Patrick Duerr (University of Tübingen) </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>January 31, 2024 [Hybrid]</p> <h6><strong>The Discovery of the Expanding Universe: Philosophical and Historical Dimensions</strong></h6> <p><em>Dr. Patrick Duerr (University of Tübingen)</em></p> <p>What constitutes a scientific discovery? Which role do discoveries play in science, its dynamics and social practices? Must every discovery be attributed to an individual discoverer (or a small number of discoverers)? The talk will explore these questions by first critically examining extant philosophical explications of scientific discovery, each of which will be found to be unsatisfactory. As a simple, natural and powerful alternative, I proffer the “change-driver model”: in a nutshell, it takes discoveries to be cognitive scientific results that have epistemically advanced science. The model overcomes the shortcomings of its precursors, whilst preserving their insights. I demonstrate its intensional and extensional superiority, especially with respect to the link between scientific discoveries and the dynamics of science, as well as the award system of science. Both as an illustration, and as an application to a recent controversy, with science-political import, I shall finally apply the considered models of discovery to one of the most momentous discoveries of science: the expansion of the universe. I oppose the 2018 proposal of the International Astronomical Union as too simplistic vis-à-vis the historical complexity of the episode. The change-driver model yields a more nuanced and circumspect verdict: (i) The redshift-distance relation shouldn’t be named the “Hubble-Lemaître Law”, but “Slipher-Lundmark-Hubble-Humason Law”; (ii) Its interpretation in terms of an expanding universe, however, Lemaître ought to be given credit for; but (iii) The establishment of the expansion of the universe, as an evidentially sufficiently warranted result, is a communal achievement, emerging in the 1950s or 1960s.</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1951935panel-17"> <div class="ut-panel__heading" id="1951935panel-17-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1951935panel-17-pc" data-toggle="collapse"> <span>January 10, 2024 Prof. Dr. Ulrich Felgner </span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1951935panel-17-pc"> <div class="ut-panel__body"> <div id="c1944378" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> January 10, 2024 Prof. Dr. Ulrich Felgner </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>January 10th, 2024 [Hybrid]</p> <p>Prof. Dr. Ulrich Felgner (Universität Tübingen)</p> <p><strong>Was sind Begriffe und was sollen sie leisten?</strong></p> <p>Von den beiden Fragen, die im Titel auftreten, kann die zweite schnell beantwortet werden. Mit einem Begriff soll der gedankliche Zugriff auf sinnlich Wahrgenommenes gelingen. Andernfalls wäre es dem Denken gar nicht zugänglich. Eine Antwort auf die erste der beiden Fragen ist sehr viel schwieriger zu finden. Dürfen Begriffe sich auf "Vorstellungen" stützen oder auf die Angabe von Merkmalen? Sind Begriffe "logische Gebilde", wie es Nicolai Hartmann sich dachte? Über die Beiträge zur Lösung dieser Fragen, die von Aristoteles, Aetios, Boethius, W. v. Ockham in der Antike und im Mittelalter, sowie David Hilbert et al. in der Neuzeit gegeben wurden, soll berichtet werden. Schließlich soll eine überzeugende Antwort gefunden werden.</p> <p><em>The event takes place as part of the World Logic Day 2024.</em></p> </div> </div> </div> </div> </div> </div> </div> <div class="ut-panel-group panel-group ut-panel--" id="c1951938"> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> 2023 </h2> </header> <div class="ut-panel panel ut-panel-group__item" id="1951938panel-0"> <div class="ut-panel__heading" id="1951938panel-0-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1951938panel-0-pc" data-toggle="collapse"> <span>October 25, 2023 Prof. Dr. Pieter Sjoerd Hasper</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1951938panel-0-pc"> <div class="ut-panel__body"> <div id="c1862852" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> October 25, 2023 Prof. Dr. Pieter Sjoerd Hasper </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>October 25, 2023 [Hybrid]</p> <h6>The System of Aristotle’s Theory of Fallacies</h6> <p><em>Prof. Dr. Pieter Sjoerd Hasper (University of Hamburg)</em></p> <p>Initially, Aristotle presents his list of fallacies in the <em>Sophistical Refutations</em> as just that, as a list of fallacies which one happens to encounter in eristic discussions. However, starting from <em>SE</em> 6 he makes it clear there is a system behind the list, first distinguishing between the incorrectness at the root of each type of fallacy and the corresponding source of delusion which makes that type seem a correct piece of reasoning, and finally formulating a completeness claim for his list towards the end of <em>SE</em> 8. Elsewhere in the <em>SE</em>, when discussing possible objections to his diagnosis of a particular fallacious argument, he insists that ‘the correction of arguments depending on the same point must be the same’. Thus Aristotle seems to have a systematic conceptual framework in mind allowing him to set up a correspondence between types of incorrectness and sources of delusion, resulting in an exhaustive classification of possible fallacies and determining that each token fallacy subsumes really only under one fallacy type. In the paper I will propose such a framework and discuss how it makes sense of each type of fallacy, the fallacy of accident proving the hardest. Aristotle’s very strong subsumption principle seems to be based on additional assumptions about the meaning of words.</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1951938panel-1"> <div class="ut-panel__heading" id="1951938panel-1-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1951938panel-1-pc" data-toggle="collapse"> <span>July 5, 2023 Dr. Guus Eelink </span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1951938panel-1-pc"> <div class="ut-panel__body"> <div id="c1747489" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> July 5, 2023 Dr. Guus Eelink </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>July 5, 2023 [Hybrid]</p> <h6>Falsehood Without Reference to the Unreal</h6> <p><em>Dr. Guus Eelink (CFvW Center)</em></p> <p>If something is false, it is not a reality. But if it is not a reality, how can it be an object of speech at all? In other words, how is it possible for a falsehood to be expressed? I shall argue that these are precisely the questions raised by a puzzle Plato considers at <em>Sophist</em> 237b-e, against a tendency in the literature to see this puzzle as having no such direct bearing on the issue of falsehood. I shall also argue that Plato provides a satisfactory solution to the puzzle by means of his account of falsehood, which crucially hinges on a distinction between naming or referring on the one hand and saying on the other hand. Moreover, I shall argue that Plato’s account of falsehood differs from many modern accounts in that it does not involve such entities as states of affairs or propositions. </p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1951938panel-2"> <div class="ut-panel__heading" id="1951938panel-2-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1951938panel-2-pc" data-toggle="collapse"> <span>June 28, 2023 Professor Christopher Shields</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1951938panel-2-pc"> <div class="ut-panel__body"> <div id="c1799863" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> June 28, 2023 Professor Christopher Shields </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>June 28, 2023 [Hybrid]</p> <h6><strong>The Univocity of Existence</strong></h6> <p><em>Professor Christopher Shields (San Diego)</em></p> <p>Let <em>Ontological Monism</em> be the view that being is univocal: although there are many kinds of beings—humans and electrons and facial expressions—some fleeting and some stable, some mind- and language-independent and some partly or fully constituted by human intentions, and also many kinds of kinds—compositional, functional, and socially constructed to name a few—being itself, <em>qua</em> being, does not admit of kinds, or, if you prefer, being does not admit of distinct <em>ways</em> of being. There is only being—and that is the being captured by the ‘There is’ at the head of this very sentence. Ontological Monism divides into two types: primitive and definitional. Primitive Ontological Materialism holds that being is simple and indefinable; Definitional Ontological Materialism holds that being, like, for instance, water, admits of a single, non-disjunctive essence-specifying definition, as water is defined as H<sub>2</sub>O. Contrasted with Ontological Monism are <em>Ontological Pluralism</em>, the view that there is more than one kind of being, or, perhaps, more than one way of being, and <em>Ontological Scalarity</em>, the view that being admits of degrees. Given these terms, we may state our thesis: Ontological Pluralism and Ontological Scalarity are false, or at least unmotivated, while Ontological Monism is true, or at least intelligibly motivated. Further, as independent of that thesis, one should appreciate that though the opponents of Ontological Monism sometimes embrace both Pluralism and Scalarity, these views are actually inconsistent with one another. The first chore, though, is to get clear about the thesis of Ontological Pluralism; doing so proves a non-trivial matter. </p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1951938panel-3"> <div class="ut-panel__heading" id="1951938panel-3-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1951938panel-3-pc" data-toggle="collapse"> <span>June 21, 2023 Maël Pegny</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1951938panel-3-pc"> <div class="ut-panel__body"> <div id="c1819528" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> June 21, 2023 Maël Pegny </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>June 21, 2023 [Online]</p> <h6><strong>Some limitations of algorithmic fairness, and their relations with knowledge</strong></h6> <p><em>Maël Pegny (CFvW Center, Tübingen)</em></p> <p>In this presentation, I will show several limitations of the current debates on algorithmic fairness. I will argue that those debates do not take sufficiently into account the following issues:<br> -Does the decision rest solely on predictions, or also on non-predictive criteria?<br> -what are the effects of data noise, as opposed to data bias, for fairness issues?<br> - is the social good being distributed by the decision truly desirable for the applicants?<br> All those issues will bring to the fore the relation between fairness and limitations of knowledge.</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1951938panel-4"> <div class="ut-panel__heading" id="1951938panel-4-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1951938panel-4-pc" data-toggle="collapse"> <span>June 14, 2023 Sheena F. Bartscherer</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1951938panel-4-pc"> <div class="ut-panel__body"> <div id="c1790363" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> June 14, 2023 Sheena F. Bartscherer </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>June 14, 2023 [Online]</p> <h6>Methods on Pause: Participant Observation and the Distant Social</h6> <p><em>Sheena F. Bartscherer (Humboldt-Universität zu Berlin)</em></p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1951938panel-5"> <div class="ut-panel__heading" id="1951938panel-5-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1951938panel-5-pc" data-toggle="collapse"> <span>May 24, 2023 Prof. Dr. Mattia Petrolo</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1951938panel-5-pc"> <div class="ut-panel__body"> <div id="c1725838" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> May 24, 2023 Prof. Dr. Mattia Petrolo </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>May 24, 2023</p> <h6>Reasoning about algorithmic opacity</h6> <p><em>Prof. Dr. Mattia Petrolo (Centre for Philosophy of Science of the University of Lisbon)</em></p> <p>A recurring problem discussed in explainable AI is the so-called epistemic opacity problem, that is, a problem about the epistemic accessibility and reliability of algorithms. In this work, we provide an original epistemological characterization of the opacity of algorithms based on a tripartite analysis of their components. Against this background, we introduce a formal setting for reasoning about an agent’s epistemic attitudes toward an algorithm and investigate what are the conditions that should be met to achieve epistemic transparency.<br> (Joint work with Ekaterina Kubyshkina)</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1951938panel-6"> <div class="ut-panel__heading" id="1951938panel-6-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1951938panel-6-pc" data-toggle="collapse"> <span>April 26, 2023 Dr. Bartosz Więckowski</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1951938panel-6-pc"> <div class="ut-panel__body"> <div id="c1737925" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> April 26, 2023 Dr. Bartosz Więckowski </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>April 26, 2023, 5pm | <strong>Hybrid (Zoom and Raum 1.2, Doblerstr. 33)</strong></p> <h6>Towards a modal proof theory for reasoning from counterfactual assumptions</h6> <p><em>Dr. Bartosz Więckowski (Goethe-Universität Frankfurt)</em></p> <p>In current research on structural proof theory, counterfactual inference is typically studied from a model-theoretic perspective. On this perspective, possible worlds models are methodologically basic. Model-theoretically defined consequence relations come first, and structural proof systems, usually transmitted via Hilbert-style axiom systems, have to be defined for these consequence relations. Structural proof theory is thus methodologically secondary. Importantly, the logics usually extend classical logic. By contrast, on the proof-theoretic perspective on counterfactual inference, we start from a certain primacy of inferential practice and proof theory. Proof- theoretic structure comes first. Meaning is explained in terms of proofs. Models are required neither for the formal explanation of the meaning of counterfactuals nor for that of counterfactual inference. Taking a proof- theoretic perspective and a constructive stance on meaning and truth (cf. BHK), we extend the rudimentary intuitionistic subatomic natural deduction system for counterfactual implication presented in [1] with rules for conjunction. The proof system is modal insofar as derivations in it make use of modes of assumptions which are sensitive to the factuality status (factual, counterfactual, independent) of the formula that is to be assumed.<br> <br> [1] Więckowski, B. (forthcoming). Counterfactual assumptions and counterfactual implications. In T. Piecha and K. F. Wehmeier, eds., Peter Schroeder-Heister on Proof-Theoretic Semantics. Outstanding Contributions to Logic, Springer.</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1951938panel-7"> <div class="ut-panel__heading" id="1951938panel-7-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1951938panel-7-pc" data-toggle="collapse"> <span>February 16, 2023 Dr. Antje Rumberg</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1951938panel-7-pc"> <div class="ut-panel__body"> <div id="c1736758" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> February 16, 2023 Dr. Antje Rumberg </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>February 16, 2023</p> <h6><strong>Transitions through Time and Possibility </strong></h6> <p><em>Dr. Antje Rumberg</em></p> <p>This talk will be centred upon the notion of a transition. The setting is the theory of branching time, pioneered by Arthur Prior, which depicts the future as genuinely open; the underlying picture is that of a tree which is linear towards the past and branches into multiple possible futures. In my talk, I will discuss two ways in which we can make use of transitions in this setting to capture dynamic aspects of the world. First, I will show how employing transitions as a parameter of truth in the semantic evaluation allows for a dynamic representation of the interrelation of actuality, possibility, and time and enables a perspicuous treatment of future contingents. In a second step, I will lift the considerations from the structural level to the level of occurrents. I will illustrate how modelling processes and their modal-temporal properties in terms of transitions allows for a dynamic representation of happenings and doings and makes room for interaction and intervention.</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1951938panel-8"> <div class="ut-panel__heading" id="1951938panel-8-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1951938panel-8-pc" data-toggle="collapse"> <span>February 1, 2023 Prof. Dr. Paolo Crivelli</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1951938panel-8-pc"> <div class="ut-panel__body"> <div id="c1661346" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> February 1, 2023 Prof. Dr. Paolo Crivelli </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>February 1, 2023</p> <h6>Two Ways in Which False Statements State the Things Which Are Not</h6> <p><em>Prof. Dr. Paolo Crivelli (University of Geneva)</em></p> <p>In the <em>Sophist</em>, the Visitor and Theaetetus agree that to judge (or state) falsehoods is to judge (or state) the things which are not. It is because judging (and stating) the things which are not is allegedly impossible that the dialogue’s central section embarks on an examination of not-being. It is therefore puzzling to realize that at the point of the dialogue where they examine false judgement (and false statement) as an episode of judging (and stating) the things which are not, the two inquirers agree that falsehood can come about also by reference to the things which are: while an affirmative false judgement (or statement) comes about when the cognizer (or speaker) posits that the things which are not are, a negative false judgement (or statement) comes about when the cognizer (or speaker) posits that the things which are are not. The puzzlement has two reasons: first, one gets the impression that the account of false judgement (or statement) as addressing the things which are not is supposed to cover all cases (rather than, roughly, half of them); secondly, if at least in some cases a false judgement (or statement) addresses the things which are, the possibility of false judgement (and statement) is not threatened by the difficulties that bedevil not-being, so that much of the central section of the <em>Sophist</em> turns out to be pointless. A passage of the <em>Parmenides</em> solves the puzzle by showing that the cases of false judgement (or statement) which in the <em>Sophist</em> are described as addressing the things which are should also be regarded as addressing the things which are not.</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1951938panel-9"> <div class="ut-panel__heading" id="1951938panel-9-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1951938panel-9-pc" data-toggle="collapse"> <span>January 25, 2023 Zhao Fan</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1951938panel-9-pc"> <div class="ut-panel__body"> <div id="c1679991" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> January 25, 2023 Zhao Fan </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>January 25, 2023, <strong>3PM CET</strong></p> <h6>Rethinking Turing’s Analysis of Computability</h6> <p><em>Zhao Fan (Kobe University)</em></p> <p>Alan Turing's 1936 analysis of computability has been well-studied in the literature. Nevertheless, there are sharp disagreements regarding the motivation, justification, and implication of his analysis of computability. Some scholars contend that Turing's analysis is descriptive, mind-dependent, and causal. Others maintain that Turing's analysis is normative, mind-independent, and logical. In this talk, I will first consider the reasons for accepting these two readings. I will then demonstrate that both readings are problematic and propose an alternative reading.</p> </div> </div> </div> </div> </div> </div> </div> <div class="ut-panel-group panel-group ut-panel--" id="c1836455"> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> 2022 </h2> </header> <button type="submit" class="collapse_button ut-panel__heading icon_expand"> Expand all </button> <div class="ut-panel panel ut-panel-group__item" id="1836455panel-0"> <div class="ut-panel__heading" id="1836455panel-0-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1836455panel-0-pc" data-toggle="collapse"> <span>December 21, 2022 Bobby Vos </span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1836455panel-0-pc"> <div class="ut-panel__body"> <div id="c1681881" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> December 21, 2022 Bobby Vos </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>December 21, 2022</p> <h6><strong>Theory-Centrism and the Formal Study of Macro-Units</strong></h6> <p><em>Bobby Vos (Cambridge)</em></p> <p>In this presentation, I set out to do three things. First, I will argue for the claim that formal philosophy of science is excessively <em>theory-centric</em>. To this end, I will first clarify what I take both ‘formal philosophy of science’ and ‘theory-centrism’ to consist in. Following this, I argue that theory-centrism is problematic, as it places certain <em>supra-theoretical </em>aspects of scientific enquiry outside the scope of formal analysis; a point that will be illustrated by an example from the history of science. Second, I will explore one way in which this problem of theory-centrism may be overcome, i.e.: the adoption of a <em>supra-theoretical unit of analysis</em> (or <em>macro-unit, </em>for short) by formal philosophers of science. This leads us to a largely forgotten research programme, centred around the <em>formal study of macro-units. </em>I briefly discuss two instances of the formal study of macro-units—to wit: the formalization of Kuhn’s notion of <em>paradigm</em> and the formalization of Laudan’s notion of <em>research</em> <em>tradition</em>—and use these examples to illustrate how supra-theoretical aspects of science may be captured in formal terms. Finally, I will identify three ways in which the formal study of macro-units, as embodied in the two aforementioned examples, may be further improved upon, focusing in particular on the treatment of <em>pragmatic</em> concepts in these two accounts.</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1836455panel-1"> <div class="ut-panel__heading" id="1836455panel-1-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1836455panel-1-pc" data-toggle="collapse"> <span>November 30, 2022 Peter Schroeder-Heister </span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1836455panel-1-pc"> <div class="ut-panel__body"> <div id="c1683684" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> November 30, 2022 Peter Schroeder-Heister </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>November 30, 2022 [hybrid]</p> <h6>Proof-theoretic validity and proof-theoretic completeness: A reassessment of Prawitz's conjecture</h6> <p><em>Peter Schroeder-Heister (University of Tübingen)</em></p> <p>In 1971 Prawitz conjectured that intuitionistic logic is complete with respect to validity-based proof-theoretic semantics. In work by Piecha, Sanz and myself this conjecture was refuted by certain counterexamples; furthermore, certain abstract criteria for incompleteness results were given. I now argue that the conjecture can be validated after all (in a certain sense), and that both completeness and incompleteness can co-exist. We just need to distinguish between validity with respect to a standard model of proof-theoretic semantics and validity with respect to all possible models, analogously to the situation in second-order logic and in first-order arithmetic. This idea is related to an approach put forward by Stafford and Nascimento in their paper forthcoming in Analysis.</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1836455panel-2"> <div class="ut-panel__heading" id="1836455panel-2-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1836455panel-2-pc" data-toggle="collapse"> <span>November 16, 2022 Kai F. Wehmeier </span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1836455panel-2-pc"> <div class="ut-panel__body"> <div id="c1683690" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> November 16, 2022 Kai F. Wehmeier </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>November 16, 2022</p> <h6>Is there a tension between quantification and extensionality?</h6> <p><em>Kai F. Wehmeier (</em>University of California Irvine)</p> <p>Perhaps surprisingly, the title question has received different answers in the literature. I will reconstruct the reasoning underlying each of the two answers that have been given. (Not surprisingly, these answers are NO – the "traditional" answer – and YES – the "insurgent" answer.) Adjudicating the controversy is easy in one sense (strictly speaking, the traditional answer is correct) but difficult in another, since the insurgent camp is better seen as disputing the rules for finding an answer than the actual answer given by the traditionalists on the latters' own terms.</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1836455panel-3"> <div class="ut-panel__heading" id="1836455panel-3-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1836455panel-3-pc" data-toggle="collapse"> <span>July 20, 2022 Anna Hoffmann</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1836455panel-3-pc"> <div class="ut-panel__body"> <div id="c1576538" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> July 20, 2022 Anna Hoffmann </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>July 20, 2022 [Online]</p> <h6>KI‐Kontextanalysen als notwendiges Entscheidungswerkzeug für den verantwortungsvollen Einsatz von Machine Learning Verfahren</h6> <p><em>Anna Hoffmann (Hoffmann Consulting & Facilitation, Berlin & Potsdam)</em></p> <p>Bei der Einführung von ML‐Verfahren in softwaregestützte Arbeitsprozesse ist oft die Rede davon, dass Technologien entwickelt werden sollen, die menschenzentriert sind. Aktuell betont das Margrethe Vestager als eines der Ziele der „Neuen Europäischen Innovationsagenda“<sup>1</sup>. Doch wie kann das konkret gelingen, ohne bei den oft oberflächlichen Ansätzen von UX‐Design stehen zu bleiben?</p> <p>Der Fragenkatalog der KI‐Kontextanalyse bietet eine Antwort auf die Frage, wie ML-basierte KI‐Systeme schon ab dem ersten Entwurf des Use‐Cases darauf durchleuchtet werden können, ob es sich um ein menschenzentriertes und verantwortungsvolles Business‐Design handelt, welche Risiken sich zeigen und wo nachgebessert werden kann.</p> <p>In Punkt 4.4 „KI‐spezifisches Risikomanagement“ des Berichts der im Jahr 2018 eingesetzten Enquete‐Kommission „Künstliche Intelligenz – Gesellschaftliche Verantwortung und wirtschaftliche, soziale und ökologische Potenziale“ des Deutschen Bundestages heißt es: „Erst die Betrachtung des individuellen Anwendungskontextes und der individuellen Einsatzumgebung erlauben eine umfassende Bewertung der mit dem Gebrauch von Algorithmen und KI‐Systemen einhergehenden Kritikalität.“<sup>2</sup></p> <p>Genau auf diesem Gesichtspunkt baut die KI‐Kontextanalyse auf, die den spezifischen Anwendungskontext sowie die spätere Nutzerumgebung vertieft in den Blick nimmt. Es handelt sich dabei um eine Weiterentwicklung der „Gestaffelte Kontextsitzungen“ nach Thomas Bevan („Theory of Machines“) ergänzt um Fragestellungen aus der „Human Centered AI“ (Mittelstand 4.0‐Kompetenzzentrum Usability, Manuel Kulzer)<sup>3</sup>. Die vorgestellte Form der KI‐Kontextanalyse wird zurzeit am Fraunhofer‐Institut für Produktionsanlagen und Konstruktionstechnik (IPK) in Berlin für einen weitreichenden KI-Use Case erprobt.</p> <p><sup>1</sup> <a href="https://ec.europa.eu/commission/presscorner/detail/de/IP_22_4273" target="_blank" class="external-link" rel="noreferrer">Neue Europäische Innovationsagenda</a> (europa.eu); Abruf 7.7.2022<br> <sup>2</sup> <a href="https://dserver.bundestag.de/btd/19/237/1923700.pdf" target="_blank" class="external-link" rel="noreferrer">Drucksache 19/23700</a> (bundestag.de), S. 66; Abruf 8.7.2022<br> <sup>3</sup> <a href="https://www.kompetenzzentrum-usability.digital/" target="_blank" class="external-link" rel="noreferrer">Mittelstand 4.0‐Kompetenzzentrum Usability Kompetenzzentrum Usability</a> (kompetenzzentrum‐usability.digital)</p> <p><a href="/en/forschung/zentren-und-institute/carl-friedrich-von-weizsaecker-zentrum/news-und-events/geodaten-als-open-data-fuer-die-kuenstliche-intelligenz/ki-kontextanalysen-als-notwendiges-entscheidungswerkzeug-fuer-den-verantwortungsvollen-einsatz-von-machine-learning-verfahren/">Vortragsfolien</a></p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1836455panel-4"> <div class="ut-panel__heading" id="1836455panel-4-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1836455panel-4-pc" data-toggle="collapse"> <span>July 13, 2022 Prof. Dr. Drs. h.c. Michael Molls</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1836455panel-4-pc"> <div class="ut-panel__body"> <div id="c1576535" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> July 13, 2022 Prof. Dr. Drs. h.c. Michael Molls </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>July 13, 2022 [Online]</p> <h6>Das Institute for Advanced Study der TU München - Interdisziplinarität und Internationalisierung der Forschung</h6> <p><em>Prof. Dr. Drs. h.c. Michael Molls (Technical University Munich, Institute for Advanced Study</em><em>)</em></p> <p> </p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1836455panel-5"> <div class="ut-panel__heading" id="1836455panel-5-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1836455panel-5-pc" data-toggle="collapse"> <span>June 29, 2022 Prof. Dr. Isabel Oitavem</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1836455panel-5-pc"> <div class="ut-panel__body"> <div id="c1564694" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> June 29, 2022 Prof. Dr. Isabel Oitavem </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>June 29, 2022 [ Hörsaal Doblerstr. 33 + Online]</p> <h6>Logical Approaches to Relativized Classes</h6> <p><em>Prof. Dr. Isabel Oitavem (Universidade NOVA de Lisboa)</em></p> <p>Relative complexity corresponds to a major part of our computability paradigm. The concept of accessing oracles (or databasis) during computation is in line with the interactive features of computation nowadays. However, machine independent approaches to relativized complexity classes are particularly challenging, because relativization brings the model of computation into play. For instance, even if P and NP coincide (P=NP is an open problem), there exists an oracle A such that P^A =/= NP^A. I.e. the same class of functions/predicates with the same oracle may lead to different relativized complexity classes. The polynomial hierarchy is a hierarchy of relativized classes whose two first levels are P and NP. In this talk we describe a machine independent approach to all levels of the polynomial hierarchy and to the hierarchy itself. This work was published in TCS 900 (2022) 25-34, <a href="https://doi.org/10.1016/j.tcs.2021.11.016" target="_blank" rel="noreferrer">https://doi.org/10.1016/j.tcs.2021.11.016</a>.</p> <p> </p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1836455panel-6"> <div class="ut-panel__heading" id="1836455panel-6-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1836455panel-6-pc" data-toggle="collapse"> <span>June 22, 2022 Dr. Antonio Piccolomini d'Aragona </span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1836455panel-6-pc"> <div class="ut-panel__body"> <div id="c1599116" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> June 22, 2022 Dr. Antonio Piccolomini d'Aragona </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>June 22, 2022 [ Hörsaal Doblerstr. 33]</p> <h6>The Proof-Theoretic Square</h6> <p><em>Dr. Antonio Piccolomini d'Aragona (University of Siena and Aix-Marseille University)</em></p> <p>In this talk, I focus on the interaction between two dichotomies in Prawitz’s proof-theoretic semantics, i.e. the dichotomy between monotonicity and non- monotonicity of validity of arguments over a specific atomic base (call this the local level), and the dichotomy between schematicity and non-schematicity of validity of arguments over all atomic bases (call this the global level). I argue that these dichotomies undergo some conceptual symmetries, both internally - i.e. the opposition at the local level is in a way conceptually analogous to the opposition at the global level - and externally - i.e. the alternative at the local level is somehow conceptually mirrored by the alternative at the global level. These symmetries may be understood as imposing a quite strict constraint on the overall semantic framework, i.e. one requires non-monotonicity at the local level iff one requires schematicity at the global level and, vice versa, one requires monotonicity at the local level iff one requires non-schematicity at the global level. This returns two conceptually and extensionally distinct proof-theoretic semantics, which both seem to be compatible with Prawitz’s philosophical tenets. However, I also argue that the aforementioned symmetries stem from a deeper interaction at play in Prawitz’s semantics, namely, the interaction between non-logical meanings and meaning - i.e. justification - of non-primitive inference rules. Based on this deeper interaction, two further “mixed” readings (monotonicity/ schematicity and non-monotonicity/non-schematicity) can be said to be compatible with Prawitz’s intentions - and are actually found in the literature. I finally claim that further combinations given by the interaction between non-logical meanings and meaning of rules are either void or equivalent to one of the four possibilities above. Thus, we are left with a group of four Prawitz-compatible semantics, forming a diagram whose arrows are “harmonically” oriented by the interaction between non-logical meanings and meaning of rules.</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1836455panel-7"> <div class="ut-panel__heading" id="1836455panel-7-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1836455panel-7-pc" data-toggle="collapse"> <span>June 15, 2022 Prof. Dr. Thomas Studer</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1836455panel-7-pc"> <div class="ut-panel__body"> <div id="c1564691" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> June 15, 2022 Prof. Dr. Thomas Studer </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>June 15, 2022 [Online]</p> <h5>Justification Logic - Introduction and Recent Developments</h5> <p><em>Prof. Dr. Thomas Studer (University of Bern)</em></p> <p>Justification logics are closely related to modal logics and can be viewed as a refinement of the latter with machinery for justification manipulation. Justifications are represented directly in the language by terms, which can be interpreted as formal proofs in a deductive system, evidence for knowledge, and so on. This more expressive language proved beneficial in both proof theory and epistemology and helped investigate problems ranging from a classical provability semantics for intuitionistic logic to the logical omniscience problem. In this talk, we will give an introduction to justification logic and present recent developments in the field such as conflict tolerant logics and formalizations of zero-knowledge proofs.</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1836455panel-8"> <div class="ut-panel__heading" id="1836455panel-8-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1836455panel-8-pc" data-toggle="collapse"> <span>May 25, 2022 Prof. Dr. Ioannis Liritzis (European Academy of Science and Arts)</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1836455panel-8-pc"> <div class="ut-panel__body"> <div id="c1576295" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> May 25, 2022 Prof. Dr. Ioannis Liritzis (European Academy of Science and Arts) </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>May 25, 2022 [Online]</p> <h6>Archaeometry: brief overview</h6> <p><em>Prof. Dr. Ioannis Liritzis (European Academy of Sciences and Arts & Henan University</em><em>)</em></p> <p>The best place for finding the past is no other than an “archaeological site”. An archaeological site is a site where the past activity is preserved and it is traced by various things like food remains, structures, humanly manufactured objects, and others. Archaeometry provides answers to archaeological questions concerning material culture.<br> I could divide the wide archaeometry subject to 7 sub-fields: 1) Chronology/ Dating, 2) Characterization & Provenance (chemical analysis, statistics) 3) Bioarchaeology (stable isotopes, aDNA, ancient diet), 4) Conservation (analysis & preventive-passive conservation/ restoration), 5) Archaeoastronomy (measuring time, determining rituals, celebrations), 6) ArchaeoGeophysical Prospection (locating buried antiquities), 7) 3D reconstruction.<br> Investigating the past requires remains of material culture and human artifacts and man-made constructions, geoarchaeological materials, human remains of organic and inorganic origin. For all these investigations multiple techniques are available to support instrumental analysis including nuclear, spectroscopic, chemical, electronic devices. Regarding the popular research & applications of computer systems the cyber-archaeology has emerged making use of big data collection, storage, documentation, processing in the field by a various diversified equipment, with a result the digital reconstruction of monuments and artifacts, in the field and in the museums.<br> The documentation is an emerging field with fast development especially for the preservation of at-risk antiquities from natural, and anthropogenic destructions. Also, documentation of the techniques used to make a work of art in a non-destructive (without sampling) readings of electromagnetic rays in the optical IR, UV, NIR and beyond. This is achieved by presenting energy spectra and a kind of tomography which digitally reveals underlying layers of an overpainted work of art like a palimpsest.<br> Selective a few examples are given from of case studies dated by radiocarbon, luminescence, archeoastronomy, characterization, analysis, and provenance. Archaeometry deciphers the past, and natural sciences with archaeometry strengthen and develop the spirit of interdisciplinarity, delves into the past and retains our memory. In the remote past we meet our future and enhance sustainability-growth but ecumenical values too. Archaeometry is the heart in the present in which past and future meet….<br>  </p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1836455panel-9"> <div class="ut-panel__heading" id="1836455panel-9-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1836455panel-9-pc" data-toggle="collapse"> <span>May 18, 2022 Prof. Dr. Ioannis Liritzis</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1836455panel-9-pc"> <div class="ut-panel__body"> <div id="c1576292" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> May 18, 2022 Prof. Dr. Ioannis Liritzis </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>May 18, 2022 [Online]</p> <h6>Pythian Games & Pythiad, European Delphic Intellectual Movement. A Celebration of Antiquity Reimagined: Delphic Festivals</h6> <p><em>Prof. Dr. Ioannis Liritzis (European Academy of Sciences and Arts & Henan University)</em></p> <p>Europe is the cradle of civilization and Europe explored both opposite directions, East & West. In the year 586 BC, the first Pythian Games (artistic with some small-scale athletics) took place in Delphi Ancient Greece. Delphic Intellectual Movement is a branding initiative under the leadership and Aegis of European Academy of Sciences & Arts.<br> Our commitment is to Revive a Code of Ethics and re-establish the European roots of arts, culture and rational thought, resetting self-knowledge, reassessing the values of freedom, human and international rights. The European Academy of Sciences & Arts is committed to promoting scientific and societal progress.<br> The aim of the Pythian Games revival is to re-establish moral and social values in modern era, via various cultural-scientific activities, for a) the acquaintance and fostering of ancient Classical Culture, as it is emerging from the Delphic spirit, a cultural and spiritual cradle of Europe and at the same time an ecumenical symbol of knowledge, and, b) the scientific research on issues of dissemination of the ancient classical Logos, Values and Virtues, for the benefit of human beings and the environment, with the aid of modern technology, as this is shown from within the art, philosophy and philological witnesses.<br> Our entanglement and goal refer to the reclamation of lethargic classical human values by gradually reviving the Pythian Games with a modern balanced prospective.<br> The Implementation<br> 1. The composition of a musical polymedia event of an orchestrated symphonic work<br> 2. Reanimation of the Pythian Games every four (4) years<br> 2.1 Artistic- cultural competition, of tangible and intangible culture (music, dance, prose-poetry, etc).<br> 2.2 Small-scale athletics.<br> 3. Pythiads. In between the 4 years and every 2 years, comprising of:<br> 3.1 High-tech breakthrough achievements exclusively in the digital and cyber-technologies to cultural heritage (tangible and intangible) (virtual reality, haptic technology, drama and multimedia applications, 3D reconstructions et.c) reconstructing the past tangible and intangible culture.<br> 3.2 International Symposium of World Interdisciplinary Experts in Ecumenical Principles for a better living; a World Forum of holistic approach of current and future wellbeing in a harmonic & balanced manner.</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1836455panel-10"> <div class="ut-panel__heading" id="1836455panel-10-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1836455panel-10-pc" data-toggle="collapse"> <span>February 2, 2022 Réka Markovich</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1836455panel-10-pc"> <div class="ut-panel__body"> <div id="c1535905" class="ut-box ut-box--outline ut-box--color-primary-3"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> February 2, 2022 Réka Markovich </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>February 2, 2022 [Online]</p> <h5>Normative Systems and Their Conflicts - in Law and in AI</h5> <p><em>Réka Markovich JD PhD (Université du Luxembourg)</em></p> <p>I present a formalism I develop to reason about different normative systems and their applicability addressing a concern existing both in law and in Artificial Intelligence.</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1836455panel-11"> <div class="ut-panel__heading" id="1836455panel-11-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1836455panel-11-pc" data-toggle="collapse"> <span>January 26, 2022 Luca Incurvati</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1836455panel-11-pc"> <div class="ut-panel__body"> <div id="c1535974" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> January 26, 2022 Luca Incurvati </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>January 26, 2022 [Online]</p> <h5>Inferential Deflationism</h5> <p><em>Prof. Dr. Luca Incurvati (Amsterdam)</em></p> <p>Deflationists about truth hold that the function of the truth predicate is to enable us to make certain assertions we could not otherwise make. Pragmatists claim that the utility of negation lies in its role in registering incompatibility. The pragmatist insight about negation has been successfully incorporated into bilateral theories of content, which take the meaning of negation to be inferentially explained in terms of the speech act of rejection. In this talk, I will implement the deflationist insight in a bilateral theory by taking the meaning of the truth predicate to be explained by its inferential relation to assertion. This account of the meaning of the truth predicate is combined with a new diagnosis of the Liar Paradox: its derivation requires the truth rules to preserve evidence, but these rules only preserve commitment. The result is a novel inferential deflationist theory of truth. The theory solves the Liar Paradox in a principled manner and deals with a purported revenge paradox in the same way. If time permits, I will show how the theory and simple extensions thereof have the resources to axiomatise the internal logic of several supervaluational hierarchies, thereby solving open problems of Halbach (2011) and Horsten (2011). This is joint work with Julian Schlöder.</p> </div> </div> </div> </div> </div> </div> </div> <div class="ut-panel-group panel-group ut-panel--" id="c1576211"> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> 2021 </h2> </header> <button type="submit" class="collapse_button ut-panel__heading icon_expand"> Expand all </button> <div class="ut-panel panel ut-panel-group__item" id="1576211panel-0"> <div class="ut-panel__heading" id="1576211panel-0-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1576211panel-0-pc" data-toggle="collapse"> <span>December 15, 2021 Philipp Stecher</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1576211panel-0-pc"> <div class="ut-panel__body"> <div id="c1535977" class="ut-box ut-box--outline ut-box--color-primary-3"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> December 15, 2021 Philipp Stecher </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>December 15, 2021 [Online]</p> <h5>Concepts' Lifecycle in Artificial Intelligent Systems</h5> <p><em>Philipp Stecher (Tübingen)</em></p> <p>Understanding how humans acquire and process concepts has been an ongoing pursuit for millennia. On the other hand, artificial intelligence (AI) has advanced rapidly in recent decades, helping to algorithmize and thereby better understand humans’ concept-processing capabilities. Especially in the recent past, AI scholars achieved remarkable progress: Today’s deep learning algorithms are expanding the capabilities of AI, enabling it to incorporate and process increasingly complex representations of the world (aka "concepts"). However, although AI’s capabilities are often described as “humanlike”, current state-of-the-art AI algorithms can barely meet these expectations. In contrast, recent research postulates significant differences in how current AI systems process concepts of the world as opposed to humans. While people can build rich, integrated concepts that can be applied across domains based on sparse data, today’s AI often requires large amounts of data to create rather superficial concepts that are only applicable to the domain in which the AI is operating. The illustrated gaps in concept-processing capabilities, as well as the recent advancements in AI, reflect the starting point for this research, which aims to shed light on the question of how modern AI systems process concepts in contrast to humans. To this end, a taxonomy will be derived that clusters the concept processing capabilities of modern AI systems. Hereafter, these capabilities will be systematically compared to the concept-processing capabilities of humans. The paper may close with recommendations for further research and concluding remarks on the status of concept-processing capabilities of current AI.</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1576211panel-1"> <div class="ut-panel__heading" id="1576211panel-1-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1576211panel-1-pc" data-toggle="collapse"> <span>December 8, 2021 Dr. Guus Eelink</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1576211panel-1-pc"> <div class="ut-panel__body"> <div id="c1535980" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> December 8, 2021 Dr. Guus Eelink </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>December 8, 2021 [Online]</p> <h5>Is Protagoras a Relativist about Truth?</h5> <p><em>Dr. Guus Eelink (Oxford)</em></p> <p>Relativism about truth is a view that has fascinated many philosophers. Some philosophers have flirted with it (or have been accused of doing so), whereas others have attempted to show that is an incoherent view. Recently, some philosophers of language have endorsed local versions of relativism about truth. Many historians of philosophy have claimed that relativism about truth goes all the way back to Ancient Greek philosophy, and that it was espoused by Protagoras of Abdera, a philosopher from the 5th century BC. This claim is mainly based on Plato's dialogue Theaetetus, which contains the most elaborate discussion of Protagoras' view of truth. In the Theaetetus, Plato ascribes to Protagoras the view that 'whatever is believed is true for the believer'. Many scholars have claimed that the qualification 'for the believer' is meant to relativize truth to the believer. I shall argue that this interpretation of Protagoras' view is incorrect. I shall argue that Protagoras is not a relativist about truth. Instead, Protagoras holds that all beliefs are absolutely true. I shall argue that the qualification 'for the believer' is meant to explain how beliefs are absolutely true. The believer is part of the metaphysical explanation of how beliefs are absolutely true. I am not the first interpreter who claims that the qualification 'for the believer' is not meant to relativize the truth predicate. However, what is distinctive about my interpretation is that 'whatever is believed is true for the believer' entails 'whatever is believed is true (simpliciter)'. I shall show that my interpretation can account for Plato's celebrated argument that Protagoras' view is self-defeating. </p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1576211panel-2"> <div class="ut-panel__heading" id="1576211panel-2-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1576211panel-2-pc" data-toggle="collapse"> <span>October 20, 2021 Prof. Dr. Jan von Plato</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1576211panel-2-pc"> <div class="ut-panel__body"> <div id="c1535983" class="ut-box ut-box--outline ut-box--color-primary-3"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> October 20, 2021 Prof. Dr. Jan von Plato </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>October 20, 2021 [Online]</p> <h5>How Gödel Discovered His Incompleteness Theorems</h5> <p><em>Prof. Dr. Jan von Plato (University of Helsinki)</em></p> <p>Gödel surprised the mathematical world by his famous incompleteness theorems of arithmetic of 1931. The way he arrived at these results is described against two shorthand notebooks of his that have been recently transcribed.</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1576211panel-3"> <div class="ut-panel__heading" id="1576211panel-3-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1576211panel-3-pc" data-toggle="collapse"> <span>July 28, 2021 Prof. Dr. Maximilian Schich</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1576211panel-3-pc"> <div class="ut-panel__body"> <div id="c1535986" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> July 28, 2021 Prof. Dr. Maximilian Schich </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>July 28, 2021 [Online]</p> <h5>Cultural Analysis Situs</h5> <p><em>Prof. Dr. Maximilian Schich (Tallinn University, Estonia)</em></p> <p>The disciplines of complex network science, of art and cultural history, and of computation have a common ancestor in the analysis situs of Gottfried Wilhelm Leibniz. Unfortunately, this shared conceptual origin remains hidden so far within a history of science that is tragically bifurcated, due to the branching evolution of disciplinary focus, due to changes in language, and due to sometimes forced scholarly migration. This talk, which is based on the first chapter* of an upcoming book, breaks the mutual tear lines of citation between disciplines to enable a common future. What lies at stake is the surprisingly deep-rooted and shared foundation of the emerging enterprise of a systematic science of art and culture. This enterprise currently flourishes mainly in departments of multidisciplinary information science, network and complexity science, and applications in industry. It promises nothing less than an integration of humanistic inquiry and a physics of cultures and cultural production.</p> <p>(preprint: <a href="https://doi.org/10.11588/artdok.00006347" target="_blank" rel="noreferrer">https://doi.org/10.11588/artdok.00006347</a>).</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1576211panel-4"> <div class="ut-panel__heading" id="1576211panel-4-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1576211panel-4-pc" data-toggle="collapse"> <span>July 21, 2021 Dr. Christoph Peylo</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1576211panel-4-pc"> <div class="ut-panel__body"> <div id="c1535989" class="ut-box ut-box--outline ut-box--color-primary-3"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> July 21, 2021 Dr. Christoph Peylo </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>July 28, 2021 [Online]</p> <h5>AI and Ethics - Why This Is a Topic of Interest and Why Enterprises (Should) Have a Stake in It</h5> <p><em>Dr. Christoph Peylo (Project "Digital Trust," Bosch)</em></p> <p> </p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1576211panel-5"> <div class="ut-panel__heading" id="1576211panel-5-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1576211panel-5-pc" data-toggle="collapse"> <span>July 14, 2021 Prof. Dr. Federico Pailos</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1576211panel-5-pc"> <div class="ut-panel__body"> <div id="c1535992" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> July 14, 2021 Prof. Dr. Federico Pailos </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>July 14, 2021 [Online]</p> <h5>Why Metainferences Matter</h5> <p><em>Prof. Dr. Federico Pailos (Buenos Aires)</em></p> <p>In this talk, I will present new arguments that shed light on the importance of metainferences of every level, and metainferential standards of every level, when (semantically) characterizing a logic. This implies that a logician cannot be agnostic about metainferences, metametainferences, etc. The arguments I will introduce show why a thesis that Dave Ripley defends in [1] and [2] is false. This is how he presents it.</p> <p>Note that a meta0counterexample relation X [i.e., a counterexample relation for infer- ences, which is (in most contexts) equivalent to a satisfaction relation for inferences], on its own, says nothing at all about validity of metaninferences for 0 < n. Despite this, there is a tendency to move quickly from X to [X] [i.e., a full counterexample relation for every metainferential level], at least for some purposes... For example, [3] (p. 360, notation changed) says “[A]bsent any other reasons for suspicion one should probably take [X] to be what someone has in mind if they only specify X.” I don’t think this tendency is warranted. Most of the time, when someone has spec- ified a meta0counterexample relation (which is to say an ordinary counterexample relation), they do not have the world of all higher minferences [i.e., metainferences of any level], full counterexample relations, etc, in mind at all. They are often focused on validity for meta0inferences (which is to say inferences). ([1], page 12.)</p> <p>Though I do think that, in a sense, people do have in mind [X] when they say X, I will not argue for that. I just want to defend that they should have something like that in mind. Specifically, I will show why the following position should be revised:</p> <p>As I’ve pointed out, an advocate of ST as a useful meta0counterexample relation has thereby taken on no commitments at all regarding metancounterexample relations for 1 ≤ n. ([1], page 16).)</p> <p>Or, as Ripley puts in somewhere else:<br> ... if someone specifies just a metanconsequence relation, they have not thereby settled on any particular metan+1 consequence relation. ([2]).)</p> <p>If Ripley’s statements are true, then two different logicians may count as advocates of the same inferential logic (or any metainferential logic of level n), despite adopting quite different criteria regarding what counts as a valid metainference (or a valid metainference of level n+1). If Ripley is right, then not only can a supporter of a (non-transitive) logic like ST accept or reject the metainference corresponding to (some version of) the Cut rule, but also she can admit a metainferential counterexample relation that correspond to a trivial or an empty metainferential consequence relation. Moreover, this might have repercussions on the inferential level, as an</p> <p>empty metainferential logic invalidates any metainference with an empty set of premises and a valid ST-inference as a conclusion. Thus, the only available option is to admit that inferences, on the one hand, and metainference with an empty set of premises and that inference as its only conclusion, on the other hand, are not only different, but also non-equivalent things. Something similar happens if we chose a trivial metainferential counterexample relation while adopting ST at the inferential level. In this case, there will be invalid ST-inferences that turns out to be valid in its metainferential form, forcing this logician to chose between one of the options that we have specified before.</p> <p>This is a particular strong result, and it is even stronger than what might initially seem, in two senses: (1) it does not depend on the notion of metainferential validity being favoured—e.g., whether one thinks that the local way to understand it is better than the global, or the other way around; (2) it does not depend on the special features of the (mixed) inferential/metainferential relations, as this result can be replied for any pair of (mixed) metainferential relations of level n/n+1.</p> <p>References</p> <p>[1] D. Ripley. One step is enough. (Manuscript).<br> [2] D. Ripley. A toolkit for metainferential logics. (Manuscript).</p> <p>[3] C. Scambler. Classical Logic and the Strict Tolerant Hierarchy. Journal of Philosophical Logic, page forthcoming, 2019. DOI: <a href="https://doi.org/10.1007/s10992-019-09520-0" target="_blank" rel="noreferrer">doi.org/10.1007/s10992-019-09520-0</a>.</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1576211panel-6"> <div class="ut-panel__heading" id="1576211panel-6-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1576211panel-6-pc" data-toggle="collapse"> <span>June 30, 2021 Prof. Dr. Mathias Frisch</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1576211panel-6-pc"> <div class="ut-panel__body"> <div id="c1535995" class="ut-box ut-box--outline ut-box--color-primary-3"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> June 30, 2021 Prof. Dr. Mathias Frisch </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>June 30, 2021 [Online]</p> <h5>Uses and Misuses of Models in Pandemic Policy Advice</h5> <p><em>Prof. Dr. Mathias Frisch (Hannover)</em></p> <p>Have epidemiological models of the Covid-19 pandemic been a failure, as some have argued? Have policy makers violated their epistemic duty in the pandemic by acting on deeply uncertain evidence? In this talk I examine the epistemic status of epidemiological models and possible roles they can play in scientific policy advice in situations characterized by missing data and poorly constrained parameter-values. I will argue that some criticisms presuppose an overly narrow conception of possible uses of models. But I will discuss pitfalls in using models for policy advice to which some of the criticisms draw attention. Finally, I will suggest one framework for how to use uncertain modeling results in policy decisions under extreme urgency. </p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1576211panel-7"> <div class="ut-panel__heading" id="1576211panel-7-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1576211panel-7-pc" data-toggle="collapse"> <span>June 23, 2021 Dr. Daniel Kostić, Prof. Dr. Nathalie Niquil</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1576211panel-7-pc"> <div class="ut-panel__body"> <div id="c1535998" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> June 23, 2021 Dr. Daniel Kostić, Prof. Dr. Nathalie Niquil </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>June 23, 2021 [Online]</p> <h5>Perspectivism and Vertical-Horizontal Explanatory Modes in Ecological Networks</h5> <p><em>Dr. Daniel Kostić (Radbound University) and Prof. Dr. Nathalie Niquil (CNRS)</em></p> <p>We show how the perspectival criteria help to determine the explanatory relevance in ecological network models. We provide counterfactual analysis of explanatory power of a marine network model, which includes the perspectival criteria for using a horizontal mode (when the counterfactual relata are at the same level) and a vertical mode (when the counterfactual relata are at different levels). Distinguishing vertical and horizontal counterfactual modes is important for understanding how are different organizational levels of a system functionally related as well as how do exogeneous changes affect each of the levels. We show that perspectival criteria play a more important epistemic role than merely informing the modeling decisions. If such criteria were not available, it wouldn’t have been intelligible how the relevant counterfactual figures in an explanation. They determine explanatory relevance conditions for a counterfactual. Based on this theoretical framework, we further point out how our analysis can be used in designing more sustainable spatial management policies for aquatic resources.</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1576211panel-8"> <div class="ut-panel__heading" id="1576211panel-8-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1576211panel-8-pc" data-toggle="collapse"> <span>June 9, 2021 Dr. Silvia de Toffoli</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1576211panel-8-pc"> <div class="ut-panel__body"> <div id="c1536001" class="ut-box ut-box--outline ut-box--color-primary-3"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> June 9, 2021 Dr. Silvia de Toffoli </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>June 9, 2021 [Online]</p> <h5>What Are Mathematical Diagrams?</h5> <p><em>Dr. Silvia de Toffoli (Princeton University)</em></p> <p>Although traditionally neglected, mathematical diagrams have recently attracted much attention from philosophers of mathematics. By now, the literature includes several case studies investigating the role of diagrams both in discovery and proof. Certain preliminary questions have, however, been bypassed. What are diagrams exactly? Are there different types of diagrams? In the scholarly literature, the term “mathematical diagram” is used in diverse ways. I propose a working definition that carves out the phenomena that are of most importance for a taxonomy of diagrams in the context of a practice-based philosophy of mathematics, privileging examples from contemporary mathematics. In doing so, I move away from vague, ordinary notions. I define mathematical diagrams as forming notational systems and as being geometric/topological representations or two-dimensional representations (or both).  I also examine the relationship between mathematical diagrams and spatiotemporal intuition. By proposing a precise definition, I explain (away) certain controversies in the existing literature. Moreover, I shed light on why mathematical diagrams are so effective in certain instances, and, at other times, dangerously misleading.</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1576211panel-9"> <div class="ut-panel__heading" id="1576211panel-9-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1576211panel-9-pc" data-toggle="collapse"> <span>June 2, 2021 Prof. Dr. Aaron Sloman</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1576211panel-9-pc"> <div class="ut-panel__body"> <div id="c1536004" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> June 2, 2021 Prof. Dr. Aaron Sloman </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>June 2, 2021 [Online]</p> <h5>Unsolved Problems Linking Physics, Biology, Consciousness, Philosophy of Mathematics, and Chemical Information Processing</h5> <p><em>Prof. Dr. Aaron Sloman (University of Birmingham)</em></p> <p>There are types of spatial intelligence, detecting and employing varieties of spatial possibility, necessity,and impossibility, that cannot be explained by currently known mechanisms. Evidence from newly hatched animals suggests that mechanisms using still unknown chemistry-based forms of computation can provide information that goes beyond regularity detection, concerned with possibility spaces and their restrictions. Ancient human spatial intelligence may be based on multi-generational discovery of what is possible, necessarily the case, or impossible, in complex and changing environments, using related mechanisms of spatial cognition, centuries before Euclid, that enabled discoveries regarding possibility, impossibility and necessity in spatial structures and processes, long before modern mathematical, symbolic, logic-based, or algebraic formalisms were available.</p> <p>Immanuel Kant characterised such mathematical cognition in terms of three distinctions largely ignored in contemporary psychology, neuroscience, and AI research: non-empirical/empirical, analytic/synthetic, and necessary/contingent. He argued that ancient geometric cognition was not based simply on empirical generalization, nor on logical deduction from arbitrary definitions. The truths discovered were non-empirical, synthetic, and non-contingent.</p> <p>Neither formal logic-based characterizations of mathematics (used in automated theorem provers), nor postulated neural networks collecting statistical evidence to derive probabilities can model or explain such mathematical discoveries. E.g. necessity and impossibility are not extremes on a probability scale.</p> <p>Unexplained facts about spatial competences of newly hatched animals, before neural networks can be trained in the environment, may be related to mechanisms underlying ancient spatial intelligence in humans and other animals.</p> <p>Chemical mechanisms inside eggs, available before hatching, somehow co-existing with the developing embryo, apparently suffice. Such mechanisms may be partly analogous to types of "virtual machinery" only recently developed in sophisticated forms that provide services across the internet (like zoom meetings) that "float persistently" above the constantly changing, particular physical mechanisms at work, without occupying additional space.</p> <p>While chemical mechanisms in early stages of reproduction are well-studied, little is known about enormously complex types of machinery required for later stages, e.g., of chick production, including creation of control mechanisms required for actions soon after hatching. I suggest that development of the foetus uses many stages of control by increasingly sophisticated <em>virtual </em>machines controlling and coordinating chemical mechanisms as they create new chemical mechanisms <em>and</em> new layers of virtual achinery.</p> <p>Different sub-types must have evolved at different times, and the later, more complex virtual machines may have to be assembled by earlier virtual machines, during foetus development, whereas earliest stages of reproduction simply use molecular mechanisms controlling formation and release of chemical bonds linking relatively simple chemical structures.</p> <p>I suspect Alan Turing's work on chemistry-based morphogenesis (published 1952) was a side effect of deeper, more general, thinking about uses of chemistry-based spatial reasoning in intelligent organisms. But he died without publishing anything to support that suspicion, though he did assert in 1936 that machines can use mathematical ingenuity, but not mathematical intuition, without explaining the difference (on which Kant might have agreed). We may never know how far his thinking had progressed by the time he died.</p> <p>Extended version:<br> <a href="https://www.cs.bham.ac.uk/research/projects/cogaff/misc/unsolved.html" target="_blank" rel="noreferrer">https://www.cs.bham.ac.uk/research/projects/cogaff/misc/unsolved.html</a></p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1576211panel-10"> <div class="ut-panel__heading" id="1576211panel-10-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1576211panel-10-pc" data-toggle="collapse"> <span>May 19, 2021 Dr. Vincenzo Politi</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1576211panel-10-pc"> <div class="ut-panel__body"> <div id="c1536007" class="ut-box ut-box--outline ut-box--color-primary-3"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> May 19, 2021 Dr. Vincenzo Politi </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>May 19, 2021 [Online]</p> <h5>Anticipative Reflection in an Interdisciplinary Research Team: A Case Study</h5> <p><em>Dr. Vincenzo Politi (University of Oslo)</em></p> <p>Responsible Research and Innovation (RRI) and similar science policy frameworks aim at reinforcing the social responsibility of science and technology by promoting a reflective and anticipatory attitude among researchers. Such an attitude requires the ability to imagine future scenarios in order to predict and assess the potential societal implications of innovative research. Responsible research, therefore, requires a future-oriented attitude. ‘Future’, however, may mean different things. In this talk, I discuss the results of a qualitative study conducted with an interdisciplinary research team working on innovative personalised targeted cancer therapies. The study reveals that, within the research team, different individuals think about different kinds of future. Depending on which kind of future they think about, researchers anticipate different kinds of impact of their work, which I define ‘internal’ and ‘external impact’. In the conclusions, I will investigate which kind of knowledge and expertise researchers should be equipped with in order to develop the ability to think about the future implications of their work.</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1576211panel-11"> <div class="ut-panel__heading" id="1576211panel-11-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1576211panel-11-pc" data-toggle="collapse"> <span>May 12, 2021 Sandro Radovanović</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1576211panel-11-pc"> <div class="ut-panel__body"> <div id="c1536010" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> May 12, 2021 Sandro Radovanović </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>May 12, 2021 [Online]</p> <h5>Effects of Affirmative Actions in Algorithmic Decision-Making</h5> <p><em>Sandro Radovanović (University of Belgrade)</em></p> <p>In today's business, decision-making is heavily dependent on algorithms. Algorithms may originate from operational research, machine learning, or decision theory. Regardless of their origin, the decision-maker may create unwanted disparities regarding race, gender, or religion. More specifically, automation of the decision-making process can lead to unethical acts with legal consequences. To mitigate unwanted consequences of algorithmic decision-making one must adjust either input data, algorithms, or decisions. In this talk, an overview of fairness in algorithmic decision-making from a machine learning point of view is going to be presented, as well as developed approaches in the literature. This talk aims at presenting a way to ensure fairness in algorithmic decision.making that ensures a lack of disparate impact as well as ensuring equal odds. After presenting the methodology, we discuss what is flawed with approaches that the machine-learning community adopted while "fighting unfairness," and as a result what are the properties of true affirmative actions in algorithmic decision-making and how they can be achieved.</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1576211panel-12"> <div class="ut-panel__heading" id="1576211panel-12-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1576211panel-12-pc" data-toggle="collapse"> <span>May 5, 2021 Dr. Antonio Piccolomini d'Aragona</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1576211panel-12-pc"> <div class="ut-panel__body"> <div id="c1536013" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> May 5, 2021 Dr. Antonio Piccolomini d'Aragona </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>May 5, 2021 [Online]</p> <h5>Kreisel's Informal Rigour and Gödel's Absolute Provability: A Tentative Reading through and for Prawitz's Semantics</h5> <p><em>Dr. Antonio Piccolomini d'Aragona (Aix-Marseille)</em></p> <p>In spite of their philosophical relevance, Kreisel’s theory of informal rigour and Gödel’s concept of absolute provability have proved elusive to rigorous mathematised treatments. In my talk, I will set out to connect Kreisel’s and Gödel’s ideas to Prawitz’s proof-based semantics. Prawitz’s semantics has been put forth and developed independently of Kreisel and Gödel, but some of its basic tenets may nonetheless match those of informal rigour and absolute provability. Both Kreisel and Gödel aim at bringing provability back into mathematical practice – against the post-Fregean and post-Hilbertian formalistic attitude – as well as at overstepping formal derivability – given Gödel’s and Turing’s limiting results. In order to do this, provability must become informal (i.e. independent of formal languages and systems) and absolute (i.e. formalism-free and/or universally applicable). This may be in line with the intuitionistic idea of giving provability a “semantic” role, an idea of which Prawitz’s semantics is a well-known instance. As a result, I argue that Prawitz’s semantics shares some issues with Kreisel’s informal rigour, while the link with Gödel’s absolute provability is more difficult to be established.</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1576211panel-13"> <div class="ut-panel__heading" id="1576211panel-13-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1576211panel-13-pc" data-toggle="collapse"> <span>April 21, 2021 Dr. Christian Feldbacher-Escamilla</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1576211panel-13-pc"> <div class="ut-panel__body"> <div id="c1536016" class="ut-box ut-box--outline ut-box--color-primary-3"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> April 21, 2021 Dr. Christian Feldbacher-Escamilla </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>April 21, 2021 [Online]</p> <h5>AI for a Social World - A Social World for AI</h5> <p><em>Dr. Christian Feldbacher-Escamilla (Düsseldorf)</em></p> <p>AI is not only supposed to help to tackle social problems but it is also frequently used to in fact solve such problems. AI-assisted systems play an increasingly important role in the legal domain, the health sector, environmental research, public policy-making and the like. Research in this field is numerous and diverse. In this talk, we want to argue, however, that it is also interesting to have a look at the opposite direction: How can our knowledge of the social world and its structural features help us to approach problems of AI? In particular, we will investigate how a social perspective on problems of justification helps us to address epistemic problems of machine learning theory.<br>  </p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1576211panel-14"> <div class="ut-panel__heading" id="1576211panel-14-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1576211panel-14-pc" data-toggle="collapse"> <span>April 6, 2021 Prof. Dr. Helen Longino</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1576211panel-14-pc"> <div class="ut-panel__body"> <div id="c1536019" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> April 6, 2021 Prof. Dr. Helen Longino </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>April 6, 2021 [Online]</p> <h5>Critical Contextual Empiricism, Diversity and Inclusiveness</h5> <p><em>Pof. Dr. Helen Longino (Stanford University)</em></p> <p>Watch the recording on <a href="https://fb.watch/4SCPZQcua4/" target="_blank" rel="noreferrer">Facebook</a>.</p> <p>Humanity looks to the scientific community, now more than ever, in order to provide solutions to today's challenges. Decisions made by scientists thus directly and deeply influence human lives. The Carl Friedrich von Weizsäcker Center is interested in the foundations of responsible science. For example, how can we identify and avoid scientific misconduct, e.g. plagiarism and fraud, or the abuse of science for commercial purposes? How do we navigate issues of morally questionable research, research funding, and global inequalities? How can scientists ensure optimal knowledge production in the face of the replication crisis, cognitive biases in science, and the politics of peer review? Further, how can we protect scientists from becoming commodities when their products are so ardently sought by politicians and society?</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1576211panel-15"> <div class="ut-panel__heading" id="1576211panel-15-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1576211panel-15-pc" data-toggle="collapse"> <span>April 6, 2021 Prof. Dr. Nancy Cartwright</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1576211panel-15-pc"> <div class="ut-panel__body"> <div id="c1536025" class="ut-box ut-box--outline ut-box--color-primary-3"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> April 6, 2021 Prof. Dr. Nancy Cartwright </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>April 6, 2021 [Online]</p> <h5>Responsible Science - Responsible Use</h5> <p><em>Prof. Dr. Nancy Cartwright (Durham University)</em></p> <p>Watch the Recording on <a href="https://fb.watch/4SDGbHvfXS/" target="_blank" rel="noreferrer">Facebook</a>.</p> <p>Humanity looks to the scientific community, now more than ever, in order to provide solutions to today's challenges. Decisions made by scientists thus directly and deeply influence human lives. The Carl Friedrich von Weizsäcker Center is interested in the foundations of responsible science. For example, how can we identify and avoid scientific misconduct, e.g. plagiarism and fraud, or the abuse of science for commercial purposes? How do we navigate issues of morally questionable research, research funding, and global inequalities? How can scientists ensure optimal knowledge production in the face of the replication crisis, cognitive biases in science, and the politics of peer review? Further, how can we protect scientists from becoming commodities when their products are so ardently sought by politicians and society?</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1576211panel-16"> <div class="ut-panel__heading" id="1576211panel-16-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1576211panel-16-pc" data-toggle="collapse"> <span>February 24, 2021 Prof. Dr. Marco Panza, Prof. Dr. Daniele Struppa</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1576211panel-16-pc"> <div class="ut-panel__body"> <div id="c1536028" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> February 24, 2021 Prof. Dr. Marco Panza, Prof. Dr. Daniele Struppa </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>February 24, 2021 [Online]</p> <h5>Agnostic Science and Mathematics</h5> <p><em>Prof. Dr. Marco Panza (Paris 1) and Prof. Dr. Daniele Struppa (Chapman University)</em></p> <p>We'll firstly illustrate the notion of agnostic science (science without understanding), and reflect, then, on the effect that the practicer of agnostic science has on the use of maths in science, and for the development of maths itself.</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1576211panel-17"> <div class="ut-panel__heading" id="1576211panel-17-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1576211panel-17-pc" data-toggle="collapse"> <span>February 17, 2021 Dr. Benedikt Ahrens</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1576211panel-17-pc"> <div class="ut-panel__body"> <div id="c1536031" class="ut-box ut-box--outline ut-box--color-primary-3"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> February 17, 2021 Dr. Benedikt Ahrens </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>February 17, 2021 [Online]</p> <h5>The Univalence Principle</h5> <p><em>Dr. Benedikt Ahrens (Birmingham)</em></p> <p>Michael Makkai's "Principle of Isomorphism" stipulates that mathematical reasoning is invariant under equivalence of mathematical structures. Inspired by Makkai, Vladimir Voevodsky conceived the Univalent Foundations (UF) of Mathematics as a foundation of mathematics in which only equivalence-invariant properties and constructions can be formulated. Coquand and Danielsson proved that UF indeed provides an isomorphism-invariant language for <em>set-level</em> structures, such as groups and rings, that form a 1-category. Ahrens, Kapulkin, and Shulman proved an extension for 1-categories: any property and construction that can be expressed in UF transfers along equivalence of categories—as long as “categories” are correctly defined to satisfy a local “univalence” condition. In the semantics of UF in simplicial sets, this univalence condition corresponds to Charles Rezk’s completeness condition for (truncated) Segal spaces.</p> <p>In this talk, based on joint work with Paige Randall North, Michael Shulman, and Dimitris Tsementzis, I will show how to generalize this result to other higher-categorical structures. We devise a notion of signature and theory that specifies the data and properties of a mathematical structure. Our main technical achievement lies in the definition of isomorphism between two elements of a structure, which generalizes the notion of isomorphism between two objects in a category. Such isomorphisms yield the companion notion of univalence of a structure. Our main result says that for univalent structures M, N of a signature, the identity type M = N coincides with the type of equivalences M ≃ N. This entails that any property and construction on a univalent structure transfers along a suitable notion of equivalence of structures. Our signatures encompass the aforementioned set-level structures but also topological spaces, (multi-)categories, presheaves, fibrations, bicategories, and many other (higher-)categorical structures.</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1576211panel-18"> <div class="ut-panel__heading" id="1576211panel-18-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1576211panel-18-pc" data-toggle="collapse"> <span>February 10, 2021 Marcel Ertel</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1576211panel-18-pc"> <div class="ut-panel__body"> <div id="c1536034" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> February 10, 2021 Marcel Ertel </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>February 10 2021 [Online]</p> <h5>Independence and Truth-Value Determinacy in Set Theory</h5> <p><em>Marcel Ertel (Tübingen)</em></p> <p>We discuss the philosophical significance of classical and more recent results in the metamathematics of set theory: the Gödel-Cohen independence theorem of the Continuum Hypothesis (CH) from first-order set theory; Zermelo's quasi-categoricity result characterizing models of second-order set theory and Lavine's improvement thereof in an extended first-order framework (using Feferman's idea of a "full schema" allowing substitution of formulas from arbitrary language-expansions); and Väänänen's internal categoricity results.</p> <p>In light of these technical results, we assess the ongoing debate between proponents of a set-theoretic multiverse (likening the CH to Euclid's parallel postulate in geometry) and defenders of the determinacy of the truth-value of the CH. We present two arguments against the multiverse view, and end with a discussion of the philosophical difficulties in explaining what it means 'to be a solution of the continuum problem'.</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1576211panel-19"> <div class="ut-panel__heading" id="1576211panel-19-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1576211panel-19-pc" data-toggle="collapse"> <span>February 3, 2021 Paulo Guilherme Santos</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1576211panel-19-pc"> <div class="ut-panel__body"> <div id="c1536037" class="ut-box ut-box--outline ut-box--color-primary-3"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> February 3, 2021 Paulo Guilherme Santos </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>February 3, 2021 [Online]</p> <h5>k-Provability in PA</h5> <p><em>Paulo Guilherme Santos (Tübingen)</em></p> <p>We study the decidability of k-provability in PA – the decidability of the relation 'being provable in PA with at most k steps' – and the decidability of the proof-skeleton problem – the problem of deciding if a given formula has a proof that has a given skeleton (the list of axioms and rules that were used). The decidability of k-provability for the usual Hilbert-style formalisation of PA is still an open problem, but it is known that the proof-skeleton problem is undecidable for that theory. Using new methods, we present a characterisation of some numbers k for which k-provability is decidable, and we present a characterisation of some proof-skeleton for which one can decide whether a formula has a proof whose skeleton is the considered one (these characterisations are natural and parameterised by unification algorithms).</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1576211panel-20"> <div class="ut-panel__heading" id="1576211panel-20-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1576211panel-20-pc" data-toggle="collapse"> <span>January 27 + 20 + 13, 2021 Dr. Roberta Bonacina</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1576211panel-20-pc"> <div class="ut-panel__body"> <div id="c1536040" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> January 27 + 20 + 13, 2021 Dr. Roberta Bonacina </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>January 27, 2021 + January 20, 2021 + January 13, 2021  [Online]</p> <h5>Introduction to Homotopy Type Theory I, II and III</h5> <p><em>Dr. Roberta Bonacina (Tübingen)</em></p> <p>Homotopy type theory is a vibrant research field in contemporary Mathematics. It aims at providing a foundation of Mathematics extending Martin-Löf type theory with the central notion of univalence, which induces a connection between types and homotopy spaces.<br> We will begin the short course defining the simple theory of types, and showing how it can be extended to Martin-Löf type theory and then to Homotopy type theory. We will stress the propositions-as-types interpretation between the type theories and intuitionistic logic, and study in detail the notion of equality. Then we will show how classical logic can be done in this intuitionistic setting, allowing to introduce the law of excluded middle and the axiom of choice as axioms. Finally, we will analyse the different definitions of equivalence, which are fundamental to introduce univalence.</p> <p><a href="https://robertabonacina.files.wordpress.com/2021/01/presentazione-1.pdf" target="_blank" rel="noreferrer">Lecture notes</a></p> </div> </div> </div> </div> </div> </div> </div> <div class="ut-panel-group panel-group ut-panel--" id="c1575986"> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> 2020 </h2> </header> <button type="submit" class="collapse_button ut-panel__heading icon_expand"> Expand all </button> <div class="ut-panel panel ut-panel-group__item" id="1575986panel-0"> <div class="ut-panel__heading" id="1575986panel-0-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1575986panel-0-pc" data-toggle="collapse"> <span>December 16, 2020 Prof. Dr. Klaus Mainzer</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1575986panel-0-pc"> <div class="ut-panel__body"> <div id="c1542635" class="ut-box ut-box--outline ut-box--color-primary-3"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> December 16, 2020 Prof. Dr. Klaus Mainzer </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>December 16, 2020 [Online]</p> <h5>Verification and Standardization of Artificial Intelligence - Results of the German Steering Group (HLG) of AI Standardization Roadmap</h5> <p><em>Prof. Dr. Klaus Mainzer (München)</em></p> <p><a href="https://www.din.de/resource/blob/772610/8bfea3055c03aa1e2563afc16001b06f/normungsroadmap-en-data.pdf" target="_blank" rel="noreferrer">German Standardization Roadmap on Artificial Intelligence</a></p> <p> </p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1575986panel-1"> <div class="ut-panel__heading" id="1575986panel-1-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1575986panel-1-pc" data-toggle="collapse"> <span>December 9, 2020 Prof. Dr. Eberhard Knobloch</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1575986panel-1-pc"> <div class="ut-panel__body"> <div id="c1542638" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> December 9, 2020 Prof. Dr. Eberhard Knobloch </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>December 9, 2020 </p> <h5>Leibnizens Konzept Einer ars Characteristica oder ars Combinatoria: Beispiele aus der Mathematik</h5> <p><em>Prof. Dr. Eberhard Knobloch (TU Berlin)</em></p> <p>Leibnizens Konzept einer ars characteristica oder ars combinatoria verdeutlicht den engen Zusammenhang zwischen seinem philosophischen und seinem mathematischen Denken. Der theoretische erste Teil des Vortrags stellt dieses Konzept mit seinen vier Vorteilen vor. Symbolische Algebra diente Leibniz als Modell für dieses Konzept. Daher wird der zweite Teil des Vortrags das Konzept an algebraischen Beispielen, insbesondere am Beispiel der symmetrischen Funktionen exemplifizieren. Diese waren sein zentrales Hilfsmittel bei der Suche nach der algorithmischen Auflösung einer algebraischen Gleichung beliebigen Grades.</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1575986panel-2"> <div class="ut-panel__heading" id="1575986panel-2-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1575986panel-2-pc" data-toggle="collapse"> <span>December 2, 2020 Dr. Richard Lawrence</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1575986panel-2-pc"> <div class="ut-panel__body"> <div id="c1542641" class="ut-box ut-box--outline ut-box--color-primary-3"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> December 2, 2020 Dr. Richard Lawrence </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>December 2, 2020 </p> <h5>Hankel's Formalism, Frege's Logicism, and the Analytic-Synthetic Distinction</h5> <p><em>Dr. Richard Lawrence (Tübingen)</em></p> <p>I will discuss some research on Hermann Hankel, an early proponent of a formalist viewpoint in the foundations of mathematics, and the relation of his view to Gottlob Frege's logicism. I will argue that Hankel had an important influence on Frege. In particular, Hankel's understanding of the analytic-synthetic distinction, and his argument against Kant's view of arithmetic, play an important role in Frege's understanding of his logicism in the <em>Foundations of Arithmetic</em>. Frege thinks of the distinction the same way Hankel does, and shares Hankel's basic strategy for arguing that arithmetic is analytic, rather than synthetic. Given these similarities, an important question arises about how Frege's view differs from Hankel's; I will close with some comments about the differences.</p> <p>Link to the corresponding paper: <a href="https://philpapers.org/rec/LAWFHA" target="_blank" rel="noreferrer">https://philpapers.org/rec/LAWFHA</a></p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1575986panel-3"> <div class="ut-panel__heading" id="1575986panel-3-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1575986panel-3-pc" data-toggle="collapse"> <span>November 25, 2020 Dr. Michael T. Stuart</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1575986panel-3-pc"> <div class="ut-panel__body"> <div id="c1542644" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> November 25, 2020 Dr. Michael T. Stuart </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>November 25, 2020 </p> <h5>Guilty Artificial Minds: An Experimental Study of Blame Attributions for Artificially Intelligent Agents</h5> <p><em>Dr. Michael T. Stuart (Tübingen)</em></p> <p>The concepts of blameworthiness and wrongness are of fundamental importance in human moral life. But to what extent are humans disposed to blame artificially intelligent agents, and to what extent will they judge their actions to be morally wrong? To make progress on these questions, we adopted two novel strategies. First, we break down attributions of blame and wrongness into more basic judgments about the epistemic and conative state of the agent, and the consequences of the agent’s actions. In this way, we are able to examine any differences between the way participants treat artificial agents in terms of differences in these more basic judgments about, e.g., whether the artificial agent “knows” what it is doing, and how bad the consequences of its actions are. Our second strategy is to compare attributions of blame and wrongness across human, artificial, and group agents (corporations). Others have compared attributions of blame and wrongness between human and artificial agents, but the addition of group agents is significant because these agents seem to provide a clear middle-ground between human agents (for whom the notions of blame and wrongness were created) and artificial agents (for whom the question is open).</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1575986panel-4"> <div class="ut-panel__heading" id="1575986panel-4-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1575986panel-4-pc" data-toggle="collapse"> <span>November 18, 2020 Natalie Clarius</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1575986panel-4-pc"> <div class="ut-panel__body"> <div id="c1542647" class="ut-box ut-box--outline ut-box--color-primary-3"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> November 18, 2020 Natalie Clarius </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>November 18, 2020 </p> <h5>Automated Model Generation, Model Checking and Theorem Proving for Linguistic Applications</h5> <p><em>Natalie Clarius, B.A. (Tübingen)</em></p> <p>We present a model generator, model checker and theorem prover we developed for applications in linguistics. Alongside a live demonstration of the system, we will discuss a selection of phenomena with respect to their formal and computational tractability, as well as the theoretical foundations and limitations of such automated reasoning systems.</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1575986panel-5"> <div class="ut-panel__heading" id="1575986panel-5-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1575986panel-5-pc" data-toggle="collapse"> <span>November 11, 2020 Dr. Maël Pégny</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1575986panel-5-pc"> <div class="ut-panel__body"> <div id="c1542650" class="ut-box ut-box--outline ut-box--color-components-1"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> November 11, 2020 Dr. Maël Pégny </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>November 11, 2020</p> <h5>Machine Learning and Privacy: What's Really New?</h5> <p><em>Dr. Maël Pégny (Tübingen)</em></p> <p>In this presentation, I will try to capture the new challenges for the respect of privacy raised by machine learning. I will use both a (very) long term perspective inspired by anthropological work on the effects of cognitive techniques and the origins of writing, and a short-term perspective based on comparisons with other types of algorithms and data treatment. I will try to show that machine learning has very specific and fundamental effects, which include challenging some of the basic categories on which our legal data protection regimen was built.</p> </div> </div> </div> </div> </div> </div> <div class="ut-panel panel ut-panel-group__item" id="1575986panel-6"> <div class="ut-panel__heading" id="1575986panel-6-ph" role="tab"> <h6 class="ut-heading ut-panel__title"> <a class="ut-link ut-panel__link collapsed" href="#1575986panel-6-pc" data-toggle="collapse"> <span>November 4, 2020 Prof. Dr. Klaus Mainzer</span> <span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-plus-2"></span> </a> </h6> </div> <div class="ut-panel__collapse collapse" id="1575986panel-6-pc"> <div class="ut-panel__body"> <div id="c1542653" class="ut-box ut-box--outline ut-box--color-primary-3"> <div class="ut-box__block "> <header class="ut-header "> <h2 class=" ut-heading ut-heading--h2 "> November 4, 2020 Prof. Dr. Klaus Mainzer </h2> </header> <div class="ut-box__text column-count-0 rte-icons"> <p>November 4, 2020</p> <h5>Künstliche Intelligenz im Globalen Wettstreit der Wertsysteme</h5> <p><em>Prof. Dr. Klaus Mainzer (München)</em></p> <p>Das „Atomzeitalter“, von dem Carl Friedrich von Weizsäcker in den 1950er und 1960er Jahren ausging, war gestern. Heute und morgen geht es um Digitalisierung und Künstliche Intelligenz (KI) – ein globales Zukunftsthema, das unsere Lebens- und Arbeitswelt dramatisch verändert. In Corona-Zeiten erhält diese Entwicklung eine zusätzliche Beschleunigung. Diese technischen Möglichkeiten treffen auf unterschiedliche weltanschauliche Resonanzböden, auf denen wie in USA oder China Big Business, Technokratien und Staatsmonopolismus gedeihen können. Wie kann ein europäisches Wertesystem dazu beitragen, dass KI zur nachhaltigen Innovation wird?</p> <p>Literaturhinweise:<br> K. Mainzer, Künstliche Intelligenz. Wann übernehmen die Maschinen? Springer 2. Aufl. 2019 (engl. Übers. Springer 2019);<br> ders., Leben als Maschine: Wie entschlüsseln wir den Corona-Kode? Von der Systembiologie und Bioinformatik zu Robotik und Künstlichen Intelligenz, Brill Mentis 2020<br> <br> Video des Vortrags: <a href="https://www.youtube.com/watch?v=Tf4ccAetTSM" target="_blank" rel="noreferrer">https://www.youtube.com/watch?v=Tf4ccAetTSM</a></p> </div> </div> </div> </div> </div> </div> </div> </main> </div> </div> </div> </div> <footer class="ut-page__footer ut-page-footer" id="ut-identifier--footer"> <div class="container"> <div class="ut-grid ut-grid--deck ut-grid--3333 ut-page-footer__quicklinks"> <div class="ut-grid__col-1 ut-page-footer__col"> <div class="ut-panel panel ut-panel--collapsing-only-mobile" id="footerpanel-1"> <div class="ut-panel__heading ut-page-footer__heading" id="footerpanel-1-ph"><h6 class="ut-heading ut-panel__title"><a class="ut-link ut-panel__link collapsed" href="#footerpanel-1-pc" data-toggle="collapse" aria-expanded="false">Key services<span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-down-dir"></span></a></h6></div><div class="ut-panel__collapse collapse" id="footerpanel-1-pc"><div class="ut-panel__body "><div class="ut-link-register ut-link-register--color-text ut-link-register--without-icons"><div class="ut-link-register ut-page-footer__link-list"><div class="ut-link-register__link-list"><a href="/en/einrichtungen/verwaltung/i-universitaetsentwicklung-struktur-und-recht/abteilung-3-recht/amtliche-bekanntmachungen/" target="self" class="ut-link ut-link--internal ut-link--block" title="Official bulletins">Official bulletins</a><a href="/en/universitaet/standort-und-anfahrt/lageplaene/disabled-access/" target="self" class="ut-link ut-link--internal ut-link--block" title="Disabled access">Disabled access</a><a href="/en/international/study-in-tuebingen/advice-and-counseling-for-international-students/" target="self" class="ut-link ut-link--internal ut-link--block" title="Advice for international students">Advice for international students</a><a href="/en/university/news-and-publications/media/" target="self" class="ut-link ut-link--internal ut-link--block" title="Media">Media</a><a href="/en/study/organizing-your-studies/semester-and-study-planning/semester-dates/" target="self" class="ut-link ut-link--internal ut-link--block" title="Semester Dates">Semester Dates</a><a href="/en/university/careers/job-vacancies/" target="self" class="ut-link ut-link--internal ut-link--block" title="Jobs">Jobs</a><a href="/en/study/organizing-your-studies/" target="self" class="ut-link ut-link--internal ut-link--block" title="Organizing Your Studies">Organizing Your Studies</a><a href="/en/facilities/university-library/" target="self" class="ut-link ut-link--internal ut-link--block" title="University Library">University Library</a><a href="/en/study/finding-a-course/degree-programs-available/" target="self" class="ut-link ut-link--internal ut-link--block" title="Programs available">Programs available</a><a href="/en/international/welcome-center/registration/" target="self" class="ut-link ut-link--internal ut-link--block" title="Welcome Center for Scholars">Welcome Center for Scholars</a></div></div></div></div></div> </div> </div> <div class="ut-grid__col-2 ut-page-footer__col"> <div class="ut-panel panel ut-panel--collapsing-only-mobile" id="footerpanel-2"> <div class="ut-panel__heading ut-page-footer__heading" id="footerpanel-2-ph"><h6 class="ut-heading ut-panel__title"><a class="ut-link ut-panel__link collapsed" href="#footerpanel-2-pc" data-toggle="collapse" aria-expanded="false">Further services<span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-down-dir"></span></a></h6></div><div class="ut-panel__collapse collapse" id="footerpanel-2-pc"><div class="ut-panel__body "><div class="ut-link-register ut-link-register--color-text ut-link-register--without-icons"><div class="ut-link-register ut-page-footer__link-list"><div class="ut-link-register__link-list"><a href="/en/einrichtungen/zentrum-fuer-datenverarbeitung/hiddenpages/zustandsansicht/" target="self" class="ut-link ut-link--internal ut-link--block" title="System status">System status</a><a href="/en/einrichtungen/verwaltung/stabsstellen/hochschulkommunikation/corporate-design-1/startseite/" target="self" class="ut-link ut-link--internal ut-link--block" title="Corporate Design">Corporate Design</a><a href="/en/facilities/administration/staff-units/public-relations-department/marketing/conference-and-presentation-materials/" target="self" class="ut-link ut-link--internal ut-link--block" title="Conference materials">Conference materials</a><a href="/en/universitaet/standort-und-anfahrt/lageplaene/" target="self" class="ut-link ut-link--internal ut-link--block" title="Maps">Maps</a><a href="https://www.my-stuwe.de/en/refectory/" target="_blank" class="ut-link ut-link--internal ut-link--block" rel="noreferrer" title="Cafeteria menu">Cafeteria menu</a><a href="/en/universitaet/aktuelles-und-publikationen/newsletter-uni-tuebingen-aktuell/2024/4/index/" target="self" class="ut-link ut-link--internal ut-link--block" title="Newsletter Uni Tübingen aktuell">Newsletter Uni Tübingen aktuell</a><a href="/en/university/public-engagement/studium-generale/" target="self" class="ut-link ut-link--internal ut-link--block" title="Studium Generale">Studium Generale</a><a href="https://www.unimuseum.uni-tuebingen.de/en/shop" target="_blank" class="ut-link ut-link--internal ut-link--block" rel="noreferrer" title="Uni shop">Uni shop</a><a href="/en/universitaet/campusleben/veranstaltungen/veranstaltungskalender/" target="self" class="ut-link ut-link--internal ut-link--block" title="Calendar of events">Calendar of events</a></div></div></div></div></div> </div> </div> <div class="ut-grid__col-3 ut-page-footer__col"> <div class="ut-panel panel ut-panel--collapsing-only-mobile" id="footerpanel-3"> <div class="ut-panel__heading ut-page-footer__heading" id="footerpanel-3-ph"><h6 class="ut-heading ut-panel__title"><a class="ut-link ut-panel__link collapsed" href="#footerpanel-3-pc" data-toggle="collapse" aria-expanded="false">Portals<span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-down-dir"></span></a></h6></div><div class="ut-panel__collapse collapse" id="footerpanel-3-pc"><div class="ut-panel__body "><div class="ut-link-register ut-link-register--color-text ut-link-register--without-icons"><div class="ut-link-register ut-page-footer__link-list"><div class="ut-link-register__link-list"><a href="https://alma.uni-tuebingen.de/alma/rds?state=user&type=0&language=en" target="_blank" class="ut-link ut-link--internal ut-link--block" rel="noreferrer" title="ALMA">ALMA</a><a href="https://exchange.uni-tuebingen.de/owa/auth/logon.aspx?replaceCurrent=1&url=https%3a%2f%2fexchange.uni-tuebingen.de%2fowa" target="_blank" class="ut-link ut-link--internal ut-link--block" rel="noreferrer" title="Exchange Mail (OWA)">Exchange Mail (OWA)</a><a href="https://fit.uni-tuebingen.de/" target="_blank" class="ut-link ut-link--internal ut-link--block" rel="noreferrer" title="Research information system FIT">Research information system FIT</a><a href="/en/einrichtungen/zentrale-einrichtungen/informations-kommunikations-und-medienzentrum-ikm/e-learning-portal-elp/lernplattformen/" target="self" class="ut-link ut-link--internal ut-link--block" title="ILIAS, moodle">ILIAS, moodle</a><a href="https://epv-welt.uni-tuebingen.de/RestrictedPages/StartSearch.aspx" target="_blank" class="ut-link ut-link--internal ut-link--block" rel="noreferrer" title="Search for persons at the University (EPV)">Search for persons at the University (EPV)</a><a href="https://www.praxisportal.uni-tuebingen.de" target="_blank" class="ut-link ut-link--internal ut-link--block" rel="noreferrer" title="Praxisportal">Praxisportal</a><a href="https://timms.uni-tuebingen.de" target="_blank" class="ut-link ut-link--internal ut-link--block" rel="noreferrer" title="Timms Video Portal">Timms Video Portal</a><a href="https://webmail.uni-tuebingen.de/" target="_blank" class="ut-link ut-link--internal ut-link--block" rel="noreferrer" title="Webmail Uni Tübingen">Webmail Uni Tübingen</a></div></div></div></div></div> </div> </div> <div class="ut-grid__col-4 ut-page-footer__col"> <div class="ut-panel panel ut-panel--collapsing-only-mobile" id="footerpanel-4"> <div class="ut-panel__heading ut-page-footer__heading" id="footerpanel-4-ph"><h6 class="ut-heading ut-panel__title"><a class="ut-link ut-panel__link collapsed" href="#footerpanel-4-pc" data-toggle="collapse" aria-expanded="false">Contact us<span class="ut-link__icon ut-link__icon--right ut-panel__icon ut-icon ut-icon-down-dir"></span></a></h6></div><div class="ut-panel__collapse collapse" id="footerpanel-4-pc"><div class="ut-panel__body "> <div id="c449049" class="ut-text-media ut-text-media--layout-top "> <div class="ut-text-media__text "> <div class="column-count-0 rte-icons"> <p><strong>University of Tübingen</strong></p> <p>Geschwister-Scholl-Platz<br> 72074 Tübingen Germany</p> <p>Phone: <a href="tel:+497071290">+49 7071 29-0</a><br> <a href="/en/contact/" title="Central contact form: for questions about studies, the university in general, the website and individual services">Contact us</a></p> </div> </div> </div> <div class="ut-spacer ut-spacer--xs" role="separator"></div><a href="https://www.facebook.com/unituebingen" target="_blank" class="ut-link-social-media " rel="noreferrer"><span class="ut-link-social-media__icon ut-icon-facebook" role="img" aria-label="Facebook"><span class="sr-only">Facebook</span></span></a><a href="https://twitter.com/uni_tue" target="_blank" class="ut-link-social-media " rel="noreferrer"><span class="ut-link-social-media__icon ut-icon-twitter" role="img" aria-label="Twitter"><span class="sr-only">Twitter</span></span></a><a href="https://www.youtube.com/channel/UCfqmh9cUkSo--IVhnO7Lo2A" target="_blank" class="ut-link-social-media " rel="noreferrer"><span class="ut-link-social-media__icon ut-icon-youtube" role="img" aria-label="Youtube"><span class="sr-only">Youtube</span></span></a><a href="https://www.instagram.com/universitaet.tuebingen/?hl=de" target="_blank" class="ut-link-social-media " rel="noreferrer"><span class="ut-link-social-media__icon ut-icon-instagram" role="img" aria-label="Instagram"><span class="sr-only">Instagram</span></span></a><a href="https://de.linkedin.com/school/eberhard-karls-universit%C3%A4t-t%C3%BCbingen/" target="_blank" class="ut-link-social-media " rel="noreferrer"><span class="ut-link-social-media__icon ut-icon-linkedin" role="img" aria-label="LinkedIn"><span class="sr-only">LinkedIn</span></span></a><a href="https://xn--baw-joa.social/@unituebingen" target="_blank" class="ut-link-social-media " rel="noreferrer"><span class="ut-link-social-media__icon ut-icon-mastodon" role="img" aria-label="Mastodon"><span class="sr-only">Mastodon</span></span></a></div></div> </div> </div> </div> <hr class="ut-page-footer__devider hidden-xs"> <div class="row ut-page-footer__legal"> <div class="col-xs-12 col-sm-4 col-md-4 ut-page-footer__copyright"> <p class="ut-copyright"> © 2024 Eberhard Karls Universität Tübingen, Tübingen </p> </div> <div class="col-xs-12 col-sm-8 col-md-8 ut-page-footer__nav-meta"> <nav class="ut-nav ut-nav--meta-bottom"><ul class="ut-nav__list"><li class="ut-nav__item"><a href="/en/imprint/" class="ut-link ut-nav__link">Imprint</a></li><li class="ut-nav__item"><a href="/en/data-privacy-statement/" class="ut-link ut-nav__link">Data Privacy Statement</a></li><li class="ut-nav__item"><a href="/en/barrierefreiheit/" class="ut-link ut-nav__link">Barrierefreiheit</a></li><li class="ut-nav__item"><a href="/en/university/news-and-publications/press-releases/feed.xml" class="ut-link ut-nav__link" title="RSS-Feed">RSS-Feed</a></li><li class="ut-nav__item"><a class="ut-link ut-nav__link" title="Shortcut" href="en/228607">Shortcut</a></li><li class="ut-nav__item"><a onClick="window.print()" class="ut-link ut-nav__link ut-nav__link--print" tabindex="0">Print</a></li></ul></nav> </div> </div> </div> <a href="#top" title="To top" class="top-link"> <span class="ut-icon ut-icon-up-big ut-icon__to-top" role="img" aria-label="Nach oben scrollen"></span> </a> </footer> </div> <script src="/typo3temp/assets/compressed/merged-2e740bfb4e684d43e0e97a5998479749.js?1730889647" type="text/javascript"></script> <script src="/_assets/948410ace0dfa9ad00627133d9ca8a23/JavaScript/Powermail/Form.min.js?1726555319" defer="defer"></script> <script async="async" src="/typo3temp/assets/js/ba19e614c16923a947df5b199324c770.js?1730889647"></script> <script> var _paq = _paq || []; _paq.push(["setDoNotTrack", true]); _paq.push(['disableCookies']); _paq.push(['trackPageView']); _paq.push(['enableLinkTracking']); window.addEventListener("load", function(){ var u="https://vitruv.uni-tuebingen.de/piwik/"; _paq.push(['setTrackerUrl', u+'piwik.php']); _paq.push(['setSiteId', '21']); var d=document, g=d.createElement('script'), s=d.getElementsByTagName('script')[0]; g.type='text/javascript'; g.async=true; g.defer=true; g.src=u+'piwik.js'; s.parentNode.insertBefore(g,s); }); </script> <noscript><p><img src="https://vitruv.uni-tuebingen.de/piwik/piwik.php?idsite=21&rec=1" style="border:0;" alt="" /></p></noscript> </body> </html>

CINXE.COM

Carl Friedrich von Weizsäcker-Colloquium | University of Tübingen