16th International Congress on Logic, Methodology and Philosophy of Science and Technology Bridging across academic cultures

Faculty of Architecture, Czech Technical University in Prague Prague, Czech Republic

5–10 August 2019 Words of Welcome from the DLMPST/IUHPST

Dear Logicians and Philosophers of Science, On behalf of the Division of Logic, Methodology and Philosophy of Science and Technology of the International Union of History and Philosophy of Science and Technology (DLMPST/IUHPST), we should like to welcome all fellow researchers and scholars in our fields to the XVI Congress on Logic, Methodology, and Philoso- phy of Science and Technology (CLMPST) and look forward to your joining us in Prague in August 2019. Our fields, logic and the philosophy of science and technology, traditionally form a nexus between disciplines, equally at home in the sciences, the humanities and the social sciences. As a consequence, many logicians and philosophers of science fre- quently act as mediators between disciplinary traditions and serve as translators of mutually unintelligible academic vernaculars. Thus the theme of the 2019 congress, “Bridging across academic cultures”, is central to the experience of many among us. The theme refers not only to the aforementioned academic cultures, so forcefully evoked in C. P. Snow’s 1959 Rede lecture, “The Two Cultures”, which celebrates its 60th anniversary in the year of our congress, but also to the highly topical cultural dif- ferences between various countries and regions around the globe. As the global repre- sentative of our fields, DLMPST/IUHPST seeks to enrich our scientific dialogue by including the voices of those traditionally underrepresented in our academic fields, be it due to geography, culture, ethnicity, or gender. We are looking forward to hearing papers and symposia on all topics pertaining to our fields, from mathematical logic to metaphilosophy, from the foundations of the exact sciences to the philosophy of the social sciences, presented by researchers from all re- gions and cultures across the world. This will make the Prague congress an inspiring, inclusive and exciting event that truly bridges across academic cultures. See you all in Prague,

Menachem Magidor Benedikt Löwe President Secretary General Foreword for CLMPST 2019 Foreword for CLMPST 2019

Dear Colleagues, On behalf of the local organising team of the 16th CLMPST, let me welcome you all computing and computation, and the philosophy of emerging sciences. The congress to Prague – a lively, safe and eye-catching city. In the past, Prague had been an im- will host three plenary lectures, twenty-two invited lectures, forty thematic symposia portant place in the development of both logic and the philosophy of science. It was and hundreds of contributed talks. If that is not enough, you are welcome to stay in the home of great logicians and philosophers such as Bernard Bolzano (1781–1848), Prague for a further week to enjoy dozens and dozens of talks on mathematical logic Ernst Mach (1838–1916), Philipp Frank (1884–1966) and Rudolf Carnap (1891– during the Logic Colloquium, our partner conference, at the same venue. 1970). In 1929 Prague hosted the first preparatory congress on the epistemology of Enjoy the best of logic and the philosophy of science in the heart of Europe! the exact sciences, organized jointly by the Ernst Mach Society and the Berlin-based Society for Empirical Philosophy. It was on this occasion that the famous Vienna Tomáš Mar van Circle manifesto of the scientific conception of the world was first made public, 2019 Head of the Local Organising Committee marking the ninetieth anniversary of this event. Prague hosted the congress again in 1934. During the communist régime, the activity of Czech philosophers and logi- cians was subdued. Still, important works in mathematical logic and other fields of study were produced. For example, Petr Vopěnka (1935–2015) developed alternative set theory and worked in the philosophy of geometry, while Petr Hájek (1940–) has been working on the mathematical foundations of fuzzy logic. Since the revolution in 1989, Prague and Czechia have once again become a focal point for research and a busy meeting place of logicians and philosophers of science. The host of the congress, the Institute of Philosophy of the Czech Academy of Scienc- es (est. 1990), is a leading Czech research institution within the fields of philosophy and the humanities. It participates in a wide array of international research projects and regularly hosts guest lectures, conferences and workshops, for instance the inter- nationally renowned LOGICA conferences and the Ernst Mach Workshops which present cutting-edge research in contemporary philosophy of science. Moreover, the Institute contains no fewer than three departments that focus particularly on logic, methodology and the philosophy of science. The sixteenth edition of the congress brings together logicians and philosophers of science from quite literally all over the world. The academic programme of the con- gress covers all major areas of logic and the philosophy of science and is spread across 20 thematic sections. Some of these sections make their debut here in Prague: the empirical and experimental philosophy of science, educational aspects of the philos- ophy of science, philosophy of the biomedical and health sciences, the philosophy of CLMPST 2019 Organizers CLMPST 2019 Organizers

CLMPST 2019 is organized under the auspices of the Division of Logic, Methodol- Hannes Leitgeb / University of München, Germany ogy and Philosophy of Science and Technology of the International Union of His- Mitsuhiro Okada / Keio University, Tokyo, Japan tory and Philosophy of Science and Technology (DLMPST/IUHPST) Katarzyna Papryzycka / University of Warsaw, Poland by the Institute of Philosophy of the Czech Academy of Sciences Charlotte Werndl / University of Salzburg, Austria; London School of Economics, with the assistance of Auletris and GUARANT International. United Kingdom

CLMPST 2019 Programme Committee Executive Council of DLMPST Hanne Andersen, Chair / University of Copenhagen, Denmark President Rachel Ankeny / University of Adelaide, Australia Menachem Magidor / the Hebrew University of Jerusalem, Israel Theodore Arabatzis / National and Kapodistrian University of Athens, Greece First Vice-President Verónica Becher / University of Buenos Aires, Argentina Helen Longino / Stanford University, United States of America Craig Callender / University of California, San Diego, USA Second Vice-President Hasok Chang / University of Cambridge, United Kingdom Amita Chatterjee / Jadavpur University, Kolkata, India Xiang Chen / California Lutheran University, Thousand Oaks, USA Past President Eleonora Cresto / Torcuato Di Tella University and UNTREF, Buenos Aires, Argentina; Elliott Sober / University of Wisconsin at Madison, United States of America National Scientific and Technical Research Council, Argentina Zoubeida Dagher / University of Delaware, Newark, USA Secretary General University of Lille, France Benedikt Löwe / University of Amsterdam, Netherlands; University of Hamburg, Liesbeth De Mol / Germany; University of Cambridge, United Kingdom Valeria Giardino / CNRS – Université de Lorraine, Nancy, France

Treasurer Zuzana Haniková / Institute of Computer Science, Czech Academy of Sciences, Prague, Czechia Peter Schröder-Heister / Eberhard-Karls-Universität Tübingen, Germany Paul Humphreys / University of Virginia, Charlottesville, USA Assessors of DLMPST Maria Kronfeldner / Central European University, Budapest, Hungary Samson Abramsky / the University of Oxford, United Kingdom Sabina Leonelli / University of Exeter, United Kingdom; Alan Turing Institute, London, Rachel Ankeny / University of Adelaide, Australia United Kingdom Verónica Becher / University of Buenos Aires, Argentina Fenrong Liu / Tsinghua University, Beijing, China Heather Douglas / University of Waterloo, Canada Endla Löhkivi / University of Tartu, Estonia CLMPST 2019 Organizers CLMPST 2019 Organizers

Benedikt Löwe / University of Amsterdam, Netherlands; University of Hamburg, Martin Zach / Congress Secretary; IP CAS Germany, Cambridge University, United Kingdom Tomáš Marvan / Institute of Philosophy, Czech Academy of Sciences, Prague, Czechia Markéta Báčová, Martin Haloun, Petra Ševčíková / Auletris Michiru Nagatsu / University of Helsinki, Finland Denisa Valentová / GUARANT International Dhruv Raina / Jawaharlal Nehru University, New Delhi, India Institute of Mathematical Sciences, Chennai, India R Ramanujam / Congress Partners Adriane Rini / Massey University, Palmerston North, New Zealand Czech Academy of Sciences Federica Russo / University of Amsterdam, Netherlands Faculty of Information Technology, Czech Technical University in Prague Dirk Schlimm / McGill University, Montréal, Canada Strategy AV21 Yaroslav Shramko / Kryvyi Rih State Pedagogical University, Ukraine Council of Scientific Societies of the Czech Republic Smita Sirker / Jawaharlal Nehru University, New Delhi, India The City of Prague Andrés Villaveces / National University of Colombia, Bogotá, Colombia SkyTeam

Local Organizing Committee Book exhibition Joan Bertran-San Millán / Institute of Philosophy, Czech Academy of Sciences (IP CAS, Prague, Czechia) Cambridge University Press Marta Bílková / Institute of Computer Science, Czech Academy of Sciences, Prague, MIT Press Czechia Springer Nature Vít Gvoždiak / IP CAS Vladimír Havlík / IP CAS This congress is organized under the patronage of Professor Eva Zažímalová, Juraj Hvorecký / IP CAS President of the Czech Academy of Sciences Petr Koťátko / IP CAS Ondrej Majer / IP CAS Special thanks Tomáš Marvan, Head / IP CAS Artem Kuranov Vera Matarese / IP CAS Rudolf Kinc Ondřej Ševeček / IP CAS Dan Zahrádka Kateřina Trlifajová / Faculty of Information Technology, Czech Technical University in Jan Železný Prague Marcel Jiřina CLMPST 2019 Congress information CLMPST 2019 Practical information

Previous Congresses Congress Venue Starting from 1960 the International Congress on Logic, Methodology The congress venue is the Faculty of Architecture, Czech Technical University in and Philosophy of Science has been held every four years in these cities: Prague (Thákurova 9, 160 00 Prague 6). 1960 Stanford, California, USA Accessibility 1964 Jerusalem, Israel 1967 Amsterdam, Netherlands All conference rooms are wheelchair accessible. Wheelchair access to the building is located on the left side of the main entrance. You can park your car in the designated 1971 Bucharest, Romania spaces right in front of the building (from Kolejní street turn into Park I. Gándhíové). 1975 London, Ontario, Canada

1979 Hannover, Federal Republic of Germany Registration fees 1983 Salzburg, Austria The participant registration fee includes: 1987 Moscow, USSR 1991 Uppsala, Sweden – participation in the congress programme and in congress social events (excluding the congress dinner, which is billed separately) 1995 Florence, Italy – congress materials 1999 Cracow, Poland – coffee break refreshments 2003 Oviedo, Spain – city transportation pass 2007 Beijing, China 2011 Nancy, France The fee for accompanying persons covers the congress social events only (Welcome Reception and Closing Party). 2015 Helsinki, Finland

The Division changed its name to add the term ‘technology’ in 2015; Registration and Information as a consequence, the congress will include the term ‘technology’ from the Prague You can pick up your name badge and congress materials at the registration and congress in 2019 onwards. information desk on the ground floor of the main venue (Thákurova 9). Please wear the name badge visibly throughout the whole congress period. The registration desk only accepts cash payments. If you want to pay your registration fee or for some other conference services on-site, please bring with you the exact sum in Euros. NB: Please don’t forget to bring your dinner ticket to the dinner venue on Friday! CLMPST 2019 Practical information CLMPST 2019 Practical information

The registration and information desk will be open at the following times: Instructions for Chairs Monday 11:30–19:30 The durations of talks at CLMPST 2019 Tuesday 08:30–17:00 – Contributed talks and symposia talks: 30 minutes (including discussion) Wednesday 08:30–16:00 – Invited lectures: 60 minutes (including discussion) Thursday 08:30–16:00 Rules for chairing contributed and symposia talk sessions: Friday 08:30–18:30 1. All contributed papers are allotted 30 minutes in total (20-minute presentation Saturday 08:30–18:00 + 10-minute discussion). Please note that a few sessions might have vacant slots, but Registration and information desk phone number: +420 607 786 670 even for these sessions, presentations should follow the 30-minute format. (Presenta- tions based on contributed papers should not exceed the maximum time of 30 min- utes under any circumstances.) Instructions for Speakers 2. The order of presentations within sessions should always follow the order published Duration of talks at CLMPST 2019 in the official CLMPST 2019 program. The chairs should always check the latest -ver – Contributed talks and symposia talks: 30 minutes (including discussion) sion of the CLMPST 2019 program before their session starts. – Invited lectures: 60 minutes (including discussion) 3. In the case of on-site cancellations, chairs are asked to provide a 30-minute break – Plenary lectures: 90 minutes (including discussion) in place of the cancelled presentation. It is important that chairs take these breaks so All conference rooms are equipped with PCs and projectors. If you plan to use the that people who move between sessions do not miss presentations they wish to attend. conference computer (default option at CLMPST 2019), you can: 4. Should you be chairing a session in which you are also a speaker, please ask one (1) upload your presentation in advance via the CLMPST 2019 website. Visit http:// of the other speakers of the session to chair your presentation when it is your turn clmpst2019.flu.cas.cz/presentation-upload/ (preferred option). Please do not up- to present. load your presentation later than one day before your presentation in Prague. 5. The assistants will supply water for the speakers and provide technical assistance (2) upload your presentation onto the conference computer in your session room from if needed. If you encounter any problems during the session, please contact them. your own USB flash drive during the break before your session starts. 6. The speakers will either upload their presentations online in advance, or from their Please note that we can accept only ppt, pptx, and pdf formats. own USB flash drives before the session starts. If the speakers use their own comput- If you want to use your own computer, please check during the break before the ers, they are asked to check during the breaks that they can successfully connect the session with the congress assistants that it can successfully connect to the projec- computer to the projector. tor. Please note that we cannot guarantee the proper functionality of your devices. 7. In the event that a chair is not present at the session, please apply a DIY approach Congress assistants will be present in all session rooms and would be delighted to help. and chair the session mutually amongst the presenting speakers. CLMPST 2019 Practical information CLMPST 2019 Practical information

Technical Assistance in the Conference Rooms Lunches If you encounter any problems during the sessions, please contact the congress assis- There are many restaurants and cafés serving lunch in the Dejvice district. Here is tants, or the information desk (+420 607 786 670). a selection of places to have lunch close to the congress venue:

Internet University canteens

1. If you use Eduroam, connect to the Eduroam network with the username and Technical Canteen password of your home institution. (Canteen at the Czech Robotics Centre) https://www.suz.cvut.cz/en/canteens/the-technicka-menza-canteen 2. SSID: clmpst2019, password: clmpst2019 is free of charge. Information regarding The website says “out of order” but it’s open. internet connection at the venue will be available at the registration desk. Masarykova kolej Social Media Thákurova 1 (Canteen at the Masaryk halls of residence) The social media hashtag for the congress is#clmpst2019 . The congress has an active https://www.suz.cvut.cz/en/canteens/the-masarykova-dormitory Twitter account – @clmpst2019. The Facebook event “CLMPST 2019” has been estab- lished so that conference participants may organize their own unofficial meetings Restaurants with daily menu before, during and after the congress days. Restaurant Na Kotlářce Printing Na Kocínce 3 https://nakotlarce.cz/?lang=en The nearest print shop, M&P Copier, is located 900 metres from the main venue (address: Dejvická 29). M&P Copier is open 08.00–18.00 (Monday–Friday), Bistro Santinka 08.30–12.30 (Saturday). Bechyňova 8 http://www.santinka.cz/kontakt.html Please note that the information desk can only print a few pages of materials for you (e.g., boarding passes). Restaurant & Café BLOX Evropská 11 Certificates of attendance http://www.blox-restaurant.cz/en#!/page_intro

Certificates of attendance will be available for download in the registration software Restaurace U Pětníka (ConfTool) after the end of the Congress. Lotyšská 8 https://www.upetnika.cz/kontakty/ CLMPST 2019 Practical information CLMPST 2019 Practical information

Restaurace U Topolů Vietnamese Restaurant Dua Jugoslávských partyzánů 32 Studentská 1 http://www.utopolu.cz/kontakt (Vegetarian options)

Restaurace Pod Loubím Restaurant U Cedru Evropská 26 Národní obrany 27 http://www.podloubim.com/cesta/ (Lebanese restaurant with vegetarian options) http://www.ucedru.cz/en/ Kulaťák Vítězné náměstí 12 Mei Xin http://www.kulatak.cz/en/ Evropská 24 (Chinese restaurant with vegetarian options)

Pizza Coffee and refreshments Fresh Point Pizza náměstí Svobody 1 Tea and coffee will be served throughout the congress days. Other coffee options https://fresh-point.cz/?lang=en within walking distance of the venue include:

Grosseto Pizzeria Ristorante Café Prostoru Jugoslávských partyzánů 8 Technická 6 https://www.grosseto.cz/en/dejvice/gallery (Café of the National Technical Library, across from the congress venue. They also serve a soup of the day and sandwiches. Warning: the service is a bit slow!) Vegetarian and vegan Bistro Santinka Vegetka Bechyňova 8 Kafkova 16 http://www.santinka.cz/kontakt.html (Vegan restaurant) http://vegan-vegetka.cz/kontakt/ Café Dejvice Theatre Zelená 15a Country Life https://kavarnadd.cz/ Československé armády 30 (Vegetarian and vegan bistro) Café Šesťák https://www.countrylife.cz/mo-dejvice-restaurace Vítězné náměstí 1 (Open air) http://cafesestak.cz/ CLMPST 2019 Practical information CLMPST 2019 Practical information

ATM Arriving in Prague

The nearest ATM is located inside the National Library of Technology building, By plane opposite the congress venue. There are also several other ATMs on Vítězné náměstí. Václav Havel Airport Prague Public transport options from the airport (http://www.dpp.cz/en/): Shopping Bus 119 from the airport to Nádraží Veleslavín metro station, line A (green line) Most department stores and shopping centres are open Monday-Friday Bus 100 from the airport to Zličín metro station, line B (yellow line) 09:00–21:00, on Saturdays 09:00–18:00, and on Sundays 12:00-18:00. You are required to buy a ticket, either from a ticket machine at the bus stop or at an information desk at the airport. You may find a list of all fares at http://www.dpp. Tourist information cz/en/fares-in-prague/. We recommend purchasing the 32 CZK ticket. Do not for- Visit any of the Prague City Tourism offices; addresses at get to validate your ticket: insert it in the yellow box inside the bus and wait until https://www.praguecitytourism.cz/en. you hear it being stamped with the time. This buys you 90 minutes’ transport and the ticket remains valid even if you change to the metro or get on a tram. Police and Medical Assistance Taxi companies operating from the airport are available at https://www.prg.aero/ Medical assistance will be available on site throughout the congress. In case of need, en/taxi. call the information desk: +420 607 786 670. If you need the police or an ambulance Uber also operates in Prague. when not at the venue, the emergency number is 112. By train Public transport from Prague main railway station (http://www.dpp.cz/en/): Hlavní nádraží metro station, line C (red line)

Transportation in Prague Upon registration all participants will receive a travel pass which will allow them to use public transport (metro, trams, buses) for free for the whole duration of the congress. Timetables and routes: http://www.dpp.cz/en/.

Weather The average daytime temperature is around 25°C in Prague in early August. There might be occasional showers, and at night the temperature might drop to 15 °C. CLMPST 2019 Practical information CLMPST 2019 Practical information

Faculty of Architecture Metro C CTU in Prague 1st Floor (= Ground Floor)

i Registration desk 152 153 12 Gočár Book exhibit 1 155 2 Coffee break ín lav ická eles Dejv Elevators aží V ádr i N Toilets Hradčanská Metro A 3 Metro B Florenc 3 4 ká Kotěra rans ost á 105 al tsk Náměstí M ěs í rom 5 Republiky raž Sta 4 ád k ní n ste lav Entrance Mů H 1 Faculty of Architecture, CTU in Prague Congress venue da í tří Address: Thákurova 9, 160 00 Prague 6 odn Muzeum Nár Dejvická metro station, line A (green line) Janák 2 Faculty of Civil Engineering, CTU in Prague 107 Welcome reception - 5/8 19:00 Faculty of Architecture Address: Thákurova 7, 166 29 Prague 6 CTU in Prague Krejcar Dejvická metro station, line A (green line) 113 112 111 1st Floor (= Ground Floor) 3 Plzenska restaurant - Municipal House Congress dinner - 9/8 19:30 ad Address: Náměstí Republiky 5, 110 00 Prague 1 5 ehr Náměstí Republiky metro station, line B (yellow line) Vyš

Hybernia Theatre i Registration desk 4 152 153 Opening ceremony and Plenary lecture - 5/8 9:15 Gočár Book exhibit Address: Náměstí Republiky 4, 110 00 Prague 1 155 Náměstí Republiky metro station, line B (yellow line) Coffee break 5 Institute of Philosophy of the Czech i Elevators Academy of Sciences Toilets Closing party - 10/8 20:00 Address: Jilská 1, 110 00 Prague 1 Staroměstská metro station, line A (green line) Metro C

Kotěra 105

Entrance

Janák 107

Krejcar 113 112 111 CLMPST 2019 Practical information CLMPST 2019 Practical information

Faculty of Architecture Faculty of Architecture CTU in Prague CTU in Prague 2nd Floor 3rd Floor

Cold drinks Cold drinks 250 343 346 347 Elevators Elevators Toilets Toilets

364

201 301

202 302 CLMPST 2019 Practical information CLMPST 2019 Practical information

Congress social events

Opening ceremony and the first Plenary lecture

5 August 2019, 9:15–12:15 Faculty of Architecture Date and time: CTU in Prague Place: Hybernia Theatre, Náměstí Republiky 4, 110 00 Prague 1 4th Floor The opening ceremony, including the first plenary lecture delivered by Professor Sandra Mitchell, will be held in Hybernia Theatre in the historical centre of Prague.

Cold drinks Welcome reception Elevators Toilets Date and time: 5 August 2019, 19:00–21:00 Place: Faculty of Civil Engineering, Czech Technical University in Prague, Thákurova 2077/7, 166 29 Prague 6 The welcome reception will be held in the building neighbouring the congress venue; 401 all participants and accompanying persons are welcome.

402 Congress dinner Date and time: 9 August 2019, 19:30–21:30 Place: Plzeňská restaurant – Municipal House (Obecní dům), náměstí Republiky 5, 110 00 Prague 1 Price: 35 EUR The congress dinner will be served at the Plzeňská restaurant located in the base- ment of the Municipal House in the historical centre of Prague. The art nouveau Plzeňská restaurant is a place which mingles traditional Czech cuisine with a unique early twentieth century interior. It opened in 1912, having been decorated by the best Czech painters and artists of the day. The price includes a three courses menu and accompanying wine, beer and soft drinks. CLMPST 2019 Practical information CLMPST 2019 Program

Closing party Congress Sections Date and time: 10 August 2019, 20:00–23:00 A Logic Place: Institute of Philosophy of the Czech Academy of Sciences, Jilská 361/1, 110 00 Prague 1 A1 Mathematical Logic A2 Philosophical Logic Beer, food, fun. A3 Computational Logic and Applications of Logic Public plenary lecture (joint event with Logic Coloquium 2019) A4 Historical Aspects of Logic What if meaning is indeterminate? Ramsification and semantic indeterminacy B General Philosophy of Science Hannes Leitgeb (Ludwig Maximilian University, Munich) B1 Methodology Date and time: 11 August 2019, 18:00–19:00 B2 Formal Philosophy of Science and Formal Epistemology Place: Faculty of Architecture, Czech Technical University in Prague, room Kotěra B3 Empirical and Experimental Philosophy of Science A light refreshment and welcome drink will be served one hour before the lecture. B4 Metaphysical Issues in the Philosophy of Science Free entry, no registration is needed. B5 Ethical and Political Issues in the Philosophy of Science B6 Historical Aspects of the Philosophy of Science Logic Colloquium B7 Educational Aspects of the Philosophy of Science The Logic Colloquium (the European Summer Meeting of the Association for Sym- bolic Logic) will be held in Prague in 2019 in the same conference venue. Their dates: C Philosophical Issues of Particular Disciplines August 11–16, 2019. Visit their website: https://www.lc2019.cz/ C1 Philosophy of the Formal Sciences (including Logic, Mathematics, Statistics) C2 Philosophy of the Physical Sciences (including Physics, Chemistry, Earth Science, Climate Science) C3 Philosophy of the Life Sciences C4 Philosophy of the Biomedical and Health Sciences C5 Philosophy of the Cognitive and Behavioral Sciences C6 Philosophy of Computing and Computation C7 Philosophy of the Humanities and the Social Sciences C8 Philosophy of the Applied Sciences and Technology C9 Philosophy of Emerging Sciences CLMPST 2019 Program CLMPST 2019 Program

Plenary Speakers Symposia Heather Douglas / Michigan State University, East Lansing, United States

Joel D. Hamkins / University of Oxford, United Kingdom DLMPST Commissions’ Symposia Sandra D. Mitchell / University of Pittsburgh, United States

What is the value of history of science for philosophy of science? Invited Speakers Joint Commission of the IUHPST (JC1) Anna Alexandrova / University of Cambridge, United Kingdom Tuesday, 6 August Atocha Aliseda Llera / UNAM, Mexico City, Mexico Organizer: Hasok Chang Christina Brech / University of São Paulo, Brazil Alex Broadbent / University of Johannesburg, South Africa Can the history of science be used to test philosophy? Symposium of the Joint Commission of the IUHPST (JC2) Anna Brożek / University of Warsaw, Poland Tuesday, 6 August Julia Bursten / University of Kentucky, Lexington, United States Organizer: Hasok Chang Franz Dietrich / Paris School of Economics, CNRS, France Valentin Goranko / Stockholm University, Sweden Messy science. Hans Halvorson / Princeton University, United States Symposium of the Joint Commission of the IUHPST 3 (JC3) Gerhard Heinzmann / Université de Lorraine, Nancy, France Monday, 5 August Gürol Irzık / Sabancı University, Istanbul, Turkey Organizer: Hasok Chang Tarja Knuuttila / University of Vienna, Austria Jan Krajíček / Charles University, Prague, Czechia The history and ontology of chemistry. Sabina Leonelli / University of Exeter, United Kingdom Symposium of the Joint Commission of the IUHPST 4 (JC4) Maryanthe Malliaris / University of Chicago, United States Tuesday, 6 August Organizer: Hasok Chang Michael Matthews / University of New South Wales, Sydney, Australia Jonathan Okeke Chimakonam / University of Calabar, Nigeria Identity in computational formal and applied systems. Jacqueline Anne Sullivan / University of Western Ontario, London, Canada Symposium of the Commission for the History and Philosophy of Computing Dunja Šešelja / Munich Centre for Mathematical Philosophy, Germany of the DLMPST (IdCFAS) Ray Turner / University of Essex, United Kingdom Saturday, 10 August Heinrich Wansing / Ruhr-Universität Bochum, Germany Organizers: Giuseppe Primiero and Nicola Angius CLMPST 2019 Program CLMPST 2019 Program

Philosophy of Big Data. Denial of facts: Instrumentation of science, criticism, and fake news. Symposium of the DLMPST Commission for the History and Philosophy Symposium organized with the International Science Council (ISC) of Computing (Big Data) Tuesday, 6 August Friday, 9 August Organizers: Benedikt Löwe and Daya Reddy Organizer: Paula Quinon

The gender gap in the sciences and philosophy of science. Communication and exchanges among scientific cultures. Symposium organized by DLMPST/IUHPST and the Gender Gap project Symposium of the IUHPST Commission International Association for Science Monday, 5 August and Cultural Diversity (CESC) Organizers: Benedikt Löwe and Helena Mihaljevic Saturday, 10 August Organizers: Nina Atanasova, Karine Chemla, Vitaly Pronskikh and Peeter Müürsepp Adolf Grünbaum memorial symposium (Grünbaum) Monday, 5 August Climate change: History and philosophy of science and nature Organizer: Sandra Mitchell of science challenges. Symposium of the Inter-Divisional Teaching Commission of the IUHPST Tuesday, 6 August Panels Organizer: Paulo Maurício

ERC panel Symposium of the DLMPST Commission on Arabic logic Friday, 9 August Tuesday, 6 August Organizer: Hanne Andersen Organizer: Wilfrid Hodges

Teaching panel Academic means-end knowledge in engineering, Saturday, 10 August medicine and other practical sciences. Symposium of the DLMPST Commission on the Philosophy of Technology Organizer: Joeri Witteveen and Engineering Sciences (AMEK) Tuesday, 6 August Journal panel Organizer: Sjoerd Zwart Saturday, 10 August Organizer: Hanne Andersen CLMPST 2019 Program CLMPST 2019 Program

Contributed Symposia Formalism, formalization, intuition and understanding in mathematics: From informal practice to formal systems and back again (FFIUM) Saturday, 10 August Approaching probabilistic truths, in comparison with approaching deterministic truths (APT) Organizer: Mate Szabo Tuesday, 6 August Organizers: Theo Kuipers and Ilkka Niiniluoto From contradiction to defectiveness to pluralism (FCDP) Friday, 9 August Association for the Philosophy of Mathematical Practice symposium (APMP) Organizers: María Del Rosario Martínez Ordaz and Otávio Bueno Tuesday, 6 August Organizers: Silvia De Toffoli and Andrew Arana International year of the periodic table (IYPT) Friday, 9 August Bolzano’s mathematics and the general methodology Organizers: Gisela Boeck and Benedikt Löwe of the sciences (BMMS) Thursday, 8 August Karl Popper: His science and his philosophy (KRP) Organizer: Steve Russ Wednesday, 7 August Organizer: Zuzana Parusniková Commitments of foundational theories (CFT) Friday, 9 August Logic, agency, and rationality (LoARa) Organizer: Mateusz Łełyk Wednesday, 7 August Organizers: Valentin Goranko and Frederik Van De Putte Epistemic and ethical innovations in biomedical sciences (EAIBS) Saturday, 10 August Mario Bunge: Appraising his long-life’s contribution to philosophy (MBA) Organizer: David Casacuberta Tuesday, 6 August Organizer: Michael Matthews Factivity of understanding: Moving beyond the current debates. Symposium of the East European Network for the Philosophy of Science (EENPS) New directions in connexive logic (NDCXL) Wednesday, 7 August Friday, 9 August Organizer: Lilia Gurova Organizers: Hitoshi Omori and Heinrich Wansing CLMPST 2019 Program CLMPST 2019 Program

Observation to Causation (O2C) Symposium on John Baldwin’s model theory and the philosophy of mathematical Monday, 5 August practice (Baldwin) Organizer: Frederick Eberhardt Saturday, 10 August Organizer: John Baldwin

Particles, fields, or both? (PFB) Symposium on the philosophy of the historical sciences (PHS) Thursday, 8 August Tuesday, 6 August Organizer: Charles Sebens Organizer: Aviezer Tucker

Proof and translation: Glivenko’s theorem 90 years after (Glivenko) Symposium of the Spanish Society of Logic, Methodology and Philosophy Friday, 9 August of Science (SLMFCE) Organizers: Sara Negri and Peter Schuster Wednesday, 7 August Organizer: Cristina Corredor Science as a profession and vocation. On STS’s interdisciplinary crossroads (WEBPROVOC) Symposium on higher Baire spaces (SGBS) Saturday, 10 August Friday, 9 August Organizers: Ilya Kasavin, Alexandre Antonovskiy, Liana Tukhvatulina, Anton Dolmatov, Organizers: Lorenzo Galeotti and Philipp Lücke Eugenia Samostienko, Svetlana Shibarshina, Elena Chebotareva and Lada Shipovalova Text-driven approaches to the philosophy of mathematics (TDPhiMa) Some recent directions in model theory (clmpsmod) Wednesday, 7 August Thursday, 8 August Organizers: Carolin Antos, Deborah Kant and Deniz Sarikaya Organizer: John Baldwin Theories and formalization. Symposium of the Italian Society for Logic and Philosophy of Science (SILFS) Styles in mathematics (SIM) Thursday, 8 August Thursday, 8 August Organizers: Giovanni Valente and Roberto Giuntini Organizers: Erich Reck and Georg Schiemer

Toward the reconstruction of linkage between Bayesian philosophy Substructural epistemology (SubStrE) and statistics (TRLBPS) Saturday, 10 August Saturday, 10 August Organizers: Dominik Klein, Soroush Rafiee Rad and Ondrej Majer Organizer: Masahiro Matsuo What method for conceptual engineering? (MEt4CE) Thursday, 8 August Organizer: Manuel Gustavo Isaac Program Monday, 5th August

Mo, 5th Mo, 5th 17:30 17:00 16:30 16:00 15:30 15:00 14:30 14:00 12:30 12:00 11:30 11:00 10:30 10:00 09:30 09:00 21:00 19:00 18:30 18:00 science 2(JC3-2) B1 SYMPMessy Session 4A science 1(JC3-1) B1 SYMPMessy Session 3A B1 SYMPO2C-2 Session 4B (O2C-1) to Causation1 B1 SYMPObserv Session 3B 10:45–12:15 Plenary 1 Sandra 10:45–12:15Plenary Mitchell Grünbaum-2 B6 SYMP Session 4C (Grünbaum-1) Grünbaum 1 B6 SYMPAdolf Session 3C 19:00–21:00 Welcome reception 9:15–10:45 Openingceremony 16:15–16:45 Coffee break 12:30 Registration sciences gender gapinthe SYMP The B5 Session 3D IS C1Heinzmann Session 4E IS B2Dietrich Session 3E practice 2 on mathematical C1/C5 Studies Session 4F practice 1 on mathematical C1/C5 Studies Session 3F values B5 Scienceand Session 4G philosophy experimental B3 Empiricaland Session 3G issues: Patterns B4 Metaphysical Session 4H lism issues: Natura- B4 Metaphysical Session 3H testing 2 B1 Evidence and Session 4I testing 1 B1 Evidence and Session 3I tical physics and statis- namics C2 Thermody- Session 4J sciences of theformal C1 Philosophy Session 3J modern logic2 development of A4 History and Session 4K modern logic1 development of A4 History and Session 3K B1 Methodology Session 4L logic A2 Philosophical Session 3L ontology A2 Logicand Session 4M experiments B3: Thought Session 3M

Mo, 5th Mo, 5th B1 clinical goals do forepistemic,methodological and What thediversity offuzzypictures can Blur sciencethrough blurred images. Jordi Cat 15:45 B1 Scientists’ reflections onmessyscience Jutta Schickore 15:15 Kendig Catherine Chair: 3 (JC3-1) of theJointCommissionIUHPST B1 SYMPMessyscience1.Symposium 3A Session 152+153 Room Registration 12:30 (Congress venue) Architecture of Faculty model divergence Integrating perspectives: Learningfrom Mitchell Sandra Chair: Hanne Andersen 1 Plenary 10:45 Opening ceremony 9:15 Theatre Hybernia 15:15–16:15

B6 Paradox ofExtension” Adolf Grünbaumon“Zeno’s Metrical Brian Skyrms 15:45 B6 Adolf andnatural religion Glymour Clark 15:15 Chair: Sandra Mitchell symposium 1(Grünbaum-1) B6 SYMPAdolfGrünbaummemorial 3C Session Room 250 B1 approach to causalinference Causal minimalityintheBoolean Zhang andJiji Kun Zhang 15:45 B1 death inthelongrun Convergence to thecausaltruthandour Hanti Lin 15:15 Chair: Christopher Hitchcock (O2C-1) toB1 SYMPObservation causation1 3B Session Room 347

Mo, 5th Mo, 5th Chair: Bernd Buldt Bernd Chair: practice andcognition1 C1/C5 Studiesonmathematical 3F Session 112+113 Room (joint workwithA.Staras and R.Sugden) Beyond belief:Logicinmultipleattitudes Franz Dietrich 15:15 Millán JoanChair: Bertran-San B2 Invitedspeaker 3E Session Room Krejcar B1, B5 the gendergapinSTEM? What canpublicationrecords tellabout Helena Mihaljevic 15:45 B1, B5 the gender(andother)gaps How sciencelosesby failingto address Helen Longino 15:15 Mihaljevic Helena Chair: IUHPST andtheGenderGapProject Symposium organised by theDLMPST/ sciences andphilosophyofscience. B5 SYMP The gendergapinthe 3D Session Room Janák 15:15–16:15 B4 metaphysical theory? Super-Humeanism: Anaturalized Vera Matarese 15:15 Chatterjee Amita Chair: B4 Metaphysicalissues:Naturalism 3H Session Room 202 B3 of theastrological paradigm Geometry, psychology, mythasaspects Vorontsova Vladimir Vinokurov and Marina 15:15 Chair: Dragana Bozin philosophy ofscience B3 Empiricalandexperimental 3G Session Room 201 C1 the lensofLautmanandCavaillès practice. The Zilber’s trichotomy through and epistemologyinmathematical Paths ofabstraction: betweenontology Perez Oscar 15:45 C5 Grounding numerals Santos-Sousa Mario 15:15 A2, C1 operators Expressive powerandintensional David Rey Cubides Pablo and 15:45 B6, C1 theoretic practice Structuralist abstraction andgroup- Henning Heller 15:15 Chair: Pavel Arazim C1 Philosophyoftheformalsciences 3J Session Room 343 B1, B6 determination Robustness, invariance, andmultiple Klodian Coko 15:45 B1, B2 Unfalsifiability anddefeasibility Jhang Hao Jhih- and Ming-Yuan Hsiao Linton Wang, 15:15 Ave Mets Chair: B1 Evidence and testing 1 3I Session Room 301 B4 Transcendental inphysicaltheory Igor Nevvazhay 15:45 15:15–16:15 A1, A2,A4 epistemic grounding A classoflanguagesforPrawitz’s Antonio Piccolomini d’Aragona 15:45 A2 structures Classifying first-order mereological Tsai Hsing-Chien 15:15 Hertel Joachim Chair: A2 Philosophicallogic 3L Session Room 364 A4 modern logicto mathematicallogic andthequantumleap from Hilbert Priyedarshi Jetli 15:45 A4 and differences language ofmodernlogic.Similarities formulas into Boole’s algebra and Transcriptions ofGottlobFrege’s logical Besler Gabriela 15:15 Rybaříková Zuzana Chair: logic 1 A4 History anddevelopment ofmodern 3K Session Room 346

Mo, 5th Mo, 5th B1 botany century collaborative publishingineighteenth- engineering, co-authorship,and Tinkering withnomenclature. Textual Dietz Bettina 17:15 B1 inlichenology parts Messy metaphysics:theindividuationof Catherine Kendig 16:45 Kendig Catherine Chair: (JC3-2) of theJointCommissionIUHPST B1 SYMPMessyscience2.Symposium 4A Session 152+153 Room 16:15–16:45 B3 “Thought experiments”inmathematics? Irina Starikova 15:15 Chair: Janet Folina experiments B3 Thought 3M Session Room 302

Coffee break 15:15–16:15 B6 Adolf GrünbaumonFreud Gemes Ken 17:15 B6 What isaplacebo? Murphy Dominic 16:45 Chair: Sandra Mitchell symposium 2(Grünbaum-2) B6 SYMPAdolfGrünbaummemorial Session 4C Room 250 B1 assumptions fordynamicalsystems Finding causationintime:background Jantzen Benjamin 17:45 B1 causesandspecificeffects Proportional Eberhardt Frederick 17:15 B1, B2 discovery Progressive methodsforcausal Konstantin Genin and Kevin Kelly 16:45 Chair: Christopher Hitchcock (O2C-2) toB1 SYMPObservation causation2 4B Session Room 347 16:45–18:15 Chair: Sina Badiei Sina Chair: B5 Scienceandvalues Session 4G Room 201 C1 univalent foundations mathematical intuition: The caseof Formal proof-verification and Andrei Rodin 17:15 C1 in mathematics computer assistedproofs Remarks ontwoobjectionsagainst Computers andtheKing’s newclothes. Paul Hasselkuß 16:45 Toffoli De Silvia Chair: practice andcognition2 C1/C5 Studiesonmathematical 4F Session 112+113 Room experiments Mathematical understandingby thought Gerhard Heinzmann 16:45 Valeria Giardino Chair: C1 Invitedspeaker 4E Session Room Krejcar 16:45–18:15

B4 making Second patternexistenceandtruth- Nikita Golovko 17:15 B4 Processes andmechanisms Teller Paul 16:45 Vera Matarese Chair: processes andmechanisms B4 Metaphysicalissues:Patterns, 4H Session Room Janák B5 Values inscienceandvalue conflicts Eveli Neemre 17:45 B1, B4,B5,B6 Relativizing thefact/value dichotomy In defense ofathought-stopper: Linsbichler Alexander 17:15 B5 of publicpolicy debate of‘science andvalue‘ andnorms policy-maker perspectives: alimitof Updating scientificadvisermodelsfrom Hiroyuki Kano 16:45

Mo, 5th Mo, 5th C2 symmetries, revisited breaking ofcontinuous symmetry condensation andspontaneous Anomalous averages, Bose–Einstein Marco Corgini 17:15 C2 the uniformdistribution? rolling afairdiceapproximately follow Why dooutcomesinalongseriesof Márton Gömöri 16:45 Chair: Marco Corgini physics C2 Thermodynamics andstatistical 4J Session Room 343 B1 accommodation debate Some problems intheprediction vs Syrjänen Pekka 17:15 B1, B2,B6,C2 underdetermination theories ofgravity, andthegravity of Underdetermination oftheories, KashyapAbhishek 16:45 Ave Mets Chair: B1 Evidence and testing 2 4I Session Room 301 16:45–18:15 B1 structures Commutative transformations oftheory Gabovich KuznetsovVladimir Alexander and 17:15 B1 How scienceisknowledge Grobler Adam 16:45 Chair: Emma Ruttkamp-Bloem B1 Methodology 4L Session Room 302 A4 On Vopěnka’s ultrafinitism Zuzana Haniková 17:45 A4 Sources ofPeano’s Linguistics ArayBaşak 17:15 A4 formalisation Frege andPeano onaxiomatisationand Millán Bertran-San Joan 16:45 Chair: Priyedarshi Jetli logic 2 A4 History anddevelopment ofmodern 4K Session Room 346 Welcome reception 19:00 Faculty of Civil Engineering A2, C1 Free logicanduniqueexistenceproofs İskender 17:45 A2 categoricity Open-ended quantificationand Brîncuș C. Constantin 17:15 A2 explication oftheconceptnegation Predication elaboration: Providing further Faust Don 16:45 Simoroz Olha Chair: A2 Logicandontology 4M Session Rooom 364 Taşdelen 16:45–18:15

Mo, 5th

Tuesday, August 6th

Tue, 6th Tue, 6th 19:30 19:00 18:30 18:00 17:30 17:00 16:30 16:00 15:30 15:00 14:30 14:00 12:30 12:00 11:30 11:00 10:30 10:00 09:30 09:00 (JC1) sophy ofscience? science forphilo value ofhistory of B1 Whatisthe Session 10A 2 (JC2-2) history ofscience B1 SYMPCanthe Session 8A 1 (JC2-1) history ofscience B1 SYMPCanthe Session 7A B1 SYMPJC4-2 Session 6A 1 (JC4-1) ontol ofchemistry B1 SYMPHist/ Session 5A - change 2(IDTC-2) C2 SYMPClimate Session 8B change 1(IDTC-1) C2 SYMPClimate Session 7B of facts2(ISC-2) B5 SYMPDenial Session 6B of facts1(ISC-1) B5 SYMPDenial Session 5B formal sciences philosophy ofthe B2 Pluralism and Session 10B B1 Experiments Session 10C APMP-5 C1 SYMP Session 9C APMP-4 C1 SYMP Session 8C APMP-3 C1 SYMP Session 7C um 2(APMP-2) Practice Symposi of Mathematical the Philosophy Association for C1 SYMP Session 6C um 1(APMP-1) Practice Symposi of Mathematical the Philosophy Association for C1 SYMP Session 5C 16:15–16:45 Coffee break 10:30–11:00 Coffee break 12:30–14:00 Lunch break - - (APT-1) babilistic truths1 Approaching pro- B2 SYMP Session 5D AMEK-2 C8 SYMP Session 9D (AMEK-1) -end know1 C8 SYMPMeans Session 8D phy ofscience issues inphiloso B4 Metaphysical Session 7D (APT-2) babilistic truths2 Approaching pro- B2 SYMP Session 6D

- - IS C6 TurnerIS Session 10E IS B6Irzik Session 9E IS B3Šešelja Session 8E IS A4Brożek Session 7E IS A3Krajíček Session 6E C7 Technology Session 5E Bunge 2(MBA-2) B7 SYMPMario Session 10F Bunge 1(MBA-1) B7 SYMPMario Session 9F tive sciences rity inthecogni- C5 Interdisciplina Session 8F B4 Dispositions Session 7F social science C7 Philosophyof Session 6F sciences and behavioral of thecognitive C5 Philosophy Session 5F - tos, Feyerabend 1 B6 Popper, Laka- Session 5G of science and thestructure B4 Democracy Session 10G and teams B2 Multi-agents Session 9G society 2 science and B5 Politics, Session 8G society 1 science and B5 Politics, Session 7G tos, Feyerabend 2 B6 Popper, Laka- Session 6G and Quine aspects: Sellars B4 Metaphysical Session 10H B4 Computation Session 9H C7 Socontol 2 Session 8H sophy ofscience aspects ofphilo B6 Historical Session 7H science 2 philosophy of experimental B3 Empiricaland Session 6H science 1 philosophy of experimental B3 Empiricaland Session 5H - C1 Deduction Session 10I psychotherapy C4 Understanding Session 9I nologies in genomictech C4 Ethicalissues Session 8I and healthsci in thebiomedical C4 Explanation Session 7I B1 Evidence 2 Session 6I B1 Evidence 1 Session 5I - Ontology C2 Relativity: Session 10J of science2 metaph aspects B1 Pluralism and Session 9J of science1 metaph aspects B1 Pluralism and Session 8J division oflabor B1 Pluralism and Session 7J relativism B1 Pluralism and Session 6J science and theunityof B6 Pluralism Session 5J phy ofscience issues inphiloso B4 Metaphysical Session 10K B1 Discovery Session 9K B3 C.Sciknow Session 8K logy 1 C7 Socialonto- Session 7K A4 Hdml4 Session 6K modern logic3 development of A4 History and Session 5K - reasoning 3 A2 Normative Session 10L reasoning 2 A2 Normative Session 9L reasoning 1 A2 Normative Session 8L chemistry C2 Philosophyof Session 7L beliefs 2 knowledge and A2 Logicsof Session 6L beliefs 1 knowledge and A2 Logicsof Session 5L sis ofparadoxes 5 A2 Logicalanaly Session 10M sis ofparadoxes 4 A2 Logicalanaly Session 9M sis ofparadoxes 3 A2 Logicalanaly Session 8M sis ofparadoxes 2 A2 Logicalanaly Session 7M of paradoxes 1 analysis A2 Logical Session 6M logic A4 SYMPArabic Session 5M

- - - -

Tue, 6th Tue, 6th Axel Gelfert Axel 09:30 B1, B5 engagement Fake news,pseudoscience,andpublic Daya Reddy 09:00 Löwe Benedikt Chair: International ScienceCouncil(ISC-1) organized by DLMPST/IUHPST andthe and fake news1.Symposium Instrumentation ofscience,criticism, B5 SYMPDenialoffacts: 5B Session Room Janák B1 mechanicism and the shiftfrom vitalismto Early modernchemicalontologies Paola Banchetti-Robino Marina 09:30 B1 metaphysics ofchemistry The history ofscienceandthe Robin Hendry 09:00 Chang Hasok Chair: Commission oftheIUHPST 4(JC4-1) 1.SymposiumoftheJoint of chemistry B1 SYMP The history andontology 5A Session 152+153 Room 09:00–10:30 C1 practice arguments, andmathematical Virtues, Aberdein Andrew 10:00 C1 mathematics formation inmodernandcontemporary emdedding. A contributionto concept Abstraction by parametrization and Bernd Buldt 09:30 C1 Complementing ortranslation? Heterogeneous mathematicalpractices: Friedman Michael 09:00 Chair: Dirk Schlimm Symposium 1(APMP-1) Philosophy ofMathematicalPractice C1 SYMPAssociationforthe 5C Session 112+113 Room B1, B5 denialism The philosophicalroots ofscience Hansson Ove Sven 10:00 B1, B5 denialism communication breeds science Unwitting complicity:Whenscience

Tue, 6th Tue, 6th Augustė Dementavičienė 09:30 C8 systems: technology of The power Smart Thuermel Sabine 09:00 Ave Mets Chair: C7 Technology 5E Session Room 401 B2 aggregation by meta-inductive probability Approaching objective probabilities Schurz Gerhard 10:00 B2 account and probabilistic truth:a unified Approaching deterministic Festa Gustavo Roberto and Cevolani 09:30 B2 Approaching probabilistic laws Ilkka Niiniluoto 09:00 Kuipers Theo Chair: deterministic truths1(APT-1) truths, incomparisonwithapproaching B2 SYMPApproaching probabilistic 5D Session Room 347 09:00–10:30

B6 Lakatos What mature Lakatos learntfrom young Kutrovatz Gabor 09:00 Ma Lei Chair: B6 Popper, Lakatos, Feyerabend 1 5G Session Room 302 C7 Social sciencesandmoral biases OuzilouOlivier 10:00 C5 dualistic accountofneuroscience A critique ofManzotti’s andModerato’s Neuroscience: sciencewithoutdisguise. Tomasz Schubart 09:30 C5 Disputing unconsciousphenomenality Hvorecký Juraj 09:00 Tvrdý Filip Chair: behavioral sciences C5 Philosophyofthecognitive and 5F Session Room 202 C7, C8 The case ofdigitalvigilantism Challenges ofnewtechnologies: A2, B3,C5 sentence to befalse Paradox. Humanbrain perceives theLiar Empirical investigation oftheLiar Piotr Łukowski and Konrad Rudnicki 10:00 B3, C5 anthropomorphism? Does analogicalreasoning imply Reva Nataliia 09:30 B3 the perspective ofx-phi Objectivity ofsciencefrom Petr Jedlička Paitlová and Jitka 09:00 Chair: Dragana Bozin philosophy ofscience1 B3 Empiricalandexperimental 5H Session Room 201 B1, B6,C7 of thesocialsciences of the epistemologicalpeculiarities Karl Popper’s three interpretations Sina Badiei 10:00 B6 problem popper’s solutionto thedemarcation popular misconceptionssurrounding Don’t bea demarc-hater: correcting Oseroff Nathan 09:30 09:00–10:30

A4, B6,C1 as motivation forpluralism Medieval debates over the infinite Finley James 09:30 B6 to internalneed inertia The unityofscience:From epistemic Simbotin Dan Gabriel 09:00 Stump David Chair: B6 Pluralism andtheunityofscience 5J Session Room 343 B1 Simulated data Raerinne Jani and Lehtinen Aki 10:00 B1, B7,C2,C9 Constraining theunknown Boyd Nora 09:30 B1, B3,B4 problemat thetheory-laden Truth lies: Taking yet anotherlook Menashe Schwed 09:00 Coko Klodian Chair: B1 Evidence 1 5I Session Room 301

Tue, 6th Tue, 6th A2 Iterated beliefrevision andDPpostulates Fu Haocheng 09:00 Chair: Yaroslav Shramko A2 Logicsofknowledgeandbeliefs1 5L Session Room 364 A4 Tarski’s twonotionsofconsequence Beziau Jean-Yves 10:00 A4 on HermannWeyl’s turnto intuitionism Towards a new philosophical perspective Kati Bar-On Kish 09:30 A4 of types The universalism oflogicandthetheory Utrero Aranda Víctor 09:00 Besler Gabriela Chair: logic 3 A4 History anddevelopment ofmodern 5K Session Room 346 B1, B6 Setting limitsto Chang’s pluralism Wray Brad K. 10:00 09:00–10:30 10:30–11:00 A4 diagrams Abū al-Barakāt logic andhis12thcentury Hodges Wilfrid 09:30 A4 logic An introduction to Arabic hypothetical Chatti Saloua 09:00 Chatti Saloua Chair: commission onArabic logic A4 SYMPSymposiumoftheDLMPST 5M Session Room 250 A2, B1 advances Reasoning aboutperspectives. New Liz Vázquez Manuel Margarita and 10:00 A2 commitments Critical thinkinganddoxastic KozachenkoNadiia 09:30 Coffee break B1, B5 news isandwhatit’s not Truth I:Whatfake andtruthfulness, Part David Lanius Romy and Jaster 11:00 Löwe Benedikt Chair: (ISC-2) the InternationalScienceCouncil by DLMPST/IUHPST and and fake news2.Symposiumorganized Instrumentation ofscience,criticism, B5 SYMPDenialoffacts: Session 6B Room Janák B1 viewsofcomposition -century chemical elementin18thand19th The buildingblocksofmatter: The Hijmans Sarah 11:30 B1 the chemicalelements Chemical ontology andtheperiodicityof Some sixtyormore primordial matters: Karoliina Pulkkinen 11:00 Chang Hasok Chair: (JC4-2) Joint CommissionoftheIUHPST 4 2.Symposiumofthe of chemistry B1 SYMP The history andontology 6A Session 152+153 Room 11:00–12:30

B2 SYMPApproaching probabilistic Session 6D Room 347 C1 assistants experimental mathematics,andproof Human mathematicalpractice, and attacking mathematicalproblems: Employing computersinposing Willum Johansen Henrik Kragh Sørensen and Mikkel 12:00 C1 tasks Complexity ofmathematicalcognitive PantsarMarkus 11:30 C1 says As Thurston Hanna Gila and Larvor Brendan 11:00 Chair: Dirk Schlimm Symposium 2(APMP-2) Philosophy ofMathematicalPractice C1 SYMPAssociationforthe Session 6C 112+113 Room B1, B5 matter Truth II:Whythey andtruthfulness,Part David Lanius Romy and Jaster 11:30

Tue, 6th Tue, 6th Chair: Menashe Schwed Menashe Chair: C7 Philosophyofsocialscience Session 6F Room 202 What isproof complexity? Jan Krajíček 11:00 Chair: Zuzana Haniková A3 Invitedspeaker Session 6E Room Krejcar B2 universe Credal accuracy inanindeterministic Oddie Graham 12:00 B2 truths groupOptimizing learningofprobabilistic Douven Igor 11:30 B2 a qualitative sense in comparisonwithapproaching itin truth anda deterministictruth,thelatter Inductively approaching a probabilistic Theo Kuipers 11:00 Chair: Ilkka Niiniluoto deterministic truths2(APT-2) truths, incomparisonwithapproaching 11:00–12:30 B1, B6 How ananarchist distributes funds Feyerabend’s well-ordered science: Jamie Shaw 11:30 B6 development oflogicalempiricism Feyerabend andthereception and Matteo Collodel 11:00 Ma Lei Chair: B6 Popper, Lakatos, Feyerabend 2 Session 6G Room 302 C7 a type of“scientific revolution” CMW-revolution insocialsciencesas Orekhov Andrey 12:00 C7 analysis ofthequestion distinction to thesocialsciences?A brief Can weapplythescience/technology Germán Hevia Martínez 11:30 C7 in thesocialsciences Methodological individualismandholism Wang Wei 11:00 B1 Evidential relations ina trading zone Shinod N.K. 11:00 Punčochář Vít Chair: B1 Evidence 2 6I Session Room 301 B2, B3,C7 and /oroutside(inFrench) problematic fieldofepistemology:inside Scientific communicationinthe Arinushkina Anastasia and Makhova Maria 12:00 B3, C8 to identifytechnologicalknowledge Cognitive andepistemicfeatures: a tool Sauzet Romain 11:30 B3, C2 ethnography ofHEPlabs? a mustfor Are in-depthinterviews Sikimić Roy Vlasta and Arpita Petruhina, Polina Kaja Damnjanović, Pronskikh, Vitaly 11:00 Bar-On Kati Kish Chair: philosophy ofscience2 B3 Empiricalandexperimental Session 6H Room 201 11:00–12:30 A4 On Takeuti’s viewoftheconceptset KurokawaHidenori 11:00 Besler Gabriela Chair: logic 4 A4 History anddevelopment ofmodern Session 6K Room 346 B1, C2 constructionist philosophyofscience The pluralist andthe chemistry Ave Mets 11:30 B1, B2,B4 practice perspective ofsignificanceinepistemic Pluralism andrelativism from the Fischer Mark 11:00 Veigl Juliane Sophie Chair: B1 Pluralism andrelativism 6J Session Room 343 B1 (in thephilosophyofscience)? Is biasedinformationever useful Elisángela Ramírez-Cámara 11:30

Tue, 6th Tue, 6th A2 to thesoritesparadox A three-valued pluralist solution Wang Wen-Fang 11:30 A2 Definite truth Rivello Edoardo 11:00 Hertel Joachim Chair: A2 Logicalanalysisofparadoxes 1 Session 6M Room 250 A2 epistemic logic A formalism forresource-sensitive Běhounek Libor 12:00 A2 HYPE semantics Modeling beliefbasedynamicsusing Bozdag Ayse Sena 11:30 A1, A2,B2 A matter ofpointsview Combining temporal andepistemic logic: González Rafael Herrera José 11:00 Margarita VázquezChair: A2 Logicsofknowledgeandbeliefs2 Session 6L Room 364 11:00–12:30

Chair: Jeroen Hopster (IDTC-1) Teaching CommissionoftheIUHPST 1. SymposiumoftheInter-Divisional science challenges philosophy ofscienceandnature of C2 SYMPClimatechange:History and 7B Session Room Janák B1 The problem ofrule-choiceredux Luca Tambolo 14:30 B1 philosophy ofscience confrontation and modelofhistory Scenes from a Marriage:Onthe Scholl Raphael 14:00 Kuukkanen Jouni-Matti Chair: of theIUHPST 2(JC2-1) 1. SymposiumoftheJointCommission be usedto test philosophy? B1 SYMPCanthehistory ofscience 7A Session 152+153 Room 12:30–14:00 A2 of deonticlogic(s) Language gamesandparadoxes Vladimír Svoboda 12:00 14:00–15:00 Lunch break

C1 geometric diagrams The computationaleffectiveness of John Mumma 14:30 C1 TheoremColor computers inthefirstproof ofthe Four- The interaction betweendiagrams and Gisele Secco 14:00 Toffoli De Silvia Chair: Symposium 3(APMP-3) Philosophy ofMathematicalPractice C1 SYMPAssociationforthe 7C Session 112+113 Room C2 change inChina ecological civilisationandclimate environmentalism, nationalism, Fragmented authoritarian Yao Yuting 14:30 C2 model intercomparison projects History andepistemology ofclimate Touze-Peiffer Ludovic 14:00 14:00–15:00 B4 realism On theunifyingcharacter ofdispositional Lucero Susana and Gentile Nelida 14:00 Chatterjee Amita Chair: B4 Dispositions 7F Session Room 202 Warsaw school Formal andinformallogicintheLvov- Brożek Anna 14:00 Chair: Dirk Schlimm A4 Invitedspeaker 7E Session Room Krejcar B2, B4 A defence ofpluralism ofcausality Paul Weingartner 14:30 B4 Counterfeit chance D. McCoy C. 14:00 Chair: Charles Sebens of science B4 Metaphysicalissuesinphilosophy 7D Session Room 347

Tue, 6th Tue, 6th The increasing powerofChomsky Lin Chia-Hua 14:00 Chair: Priyedarshi Jetli science B6 Historical aspectsofphilosophy of 7H Session Room 201 B2, B5,B6 of thephilosophyscience of paradigmatic transformations epistemologies intheconstruction contributions ofsouthernglobal epistemological racism andthe The problem ofscientific- Victor Hugo Pinto 14:30 B5 approaches Values inscience:Ethicalvs.political Andrew Schroeder 14:0 AliceChair: Roberts B5 Politics, scienceandsociety1 7G Session Room 302 B4 dispositions? confer Can categoricalproperties Vassilis Livanios 14:30 0 14:00–15:00

Mysterianism andthedivision Filip Tvrdý 14:00 Simoroz Olha Chair: B1 Pluralism anddivisionoflabor 7J Session Room 343 C4 understanding Risk factors, explanationandscientific Leen De Vreese 14:30 C3, C4,C5,C7 natural kinds An explanatory viewofindividuating Tuomas Vesterinen 14:00 Zach Martin Chair: health sciences C4 Explanationinthebiomedicaland 7I Session Room 301 B6 possible How earlyhumansmadethesciences Krauss Alexander 14:30 B1, B6,C5,C6,C8 biology usedincognitive language theory hierarchy: A casestudyofformal

Myron A. Penner and Amanda Nichols Amanda and Penner A. Myron 14:30 C2 or reciprocal action? Chemical reactivity: Causality Córdoba Mariana and Zambon Alfio 14:00 Chair: Marina Paola Banchetti-Robino C2 Philosophyofchemistry 7L Session Room 364 C7 as anexample On socialreality: Taking theenterprise Li Cong Wang Bo and Nan 14:30 C7 Pegging levels Max Weaver 14:00 Tomoyuki Yamada Chair: C7 Socialontology 1 7K Session Room 346 B1, B3,C3 pluralism – Alternatives orintegration? An empiricalchallengeforscientific Veigl Juliane Sophie 14:30 B1, C3,C5 of cognitive labour 14:00–15:00

B1 of science Truth, incoherence andtheevolution Kuukkanen Jouni-Matti 15:15 Kuukkanen Jouni-Matti Chair: of theIUHPST 2(JC2-2) 2. SymposiumoftheJointCommission be usedto testphilosophy? B1 SYMPCanthehistory ofscience 8A Session 152+153 Room A2 underdetermination Semantic paradoxes of David Liggins 14:30 A2 sorites paradoxes Logical approaches to vagueness and Doroteya Angelova 14:00 Trlifajová Kateřina Chair: A2 Logicalanalysisofparadoxes 2 7M Session Room 250 B4, C2 Realism aboutmolecularstructures 15:15–16:15

Tue, 6th Tue, 6th Ladislav Kvasz 15:15 Toffoli De Silvia Chair: Symposium 4(APMP-4) Philosophy ofMathematicalPractice C1 SYMPAssociationforthe 8C Session 112+113 Room C2 environmental concepts and publicthrough engineering Bridging thegapbetweenscience Smajdor Anna and Bozin Dragana 15:45 C2 remote Real climatepossibilities:Proximate vs. Jeroen Hopster 15:15 Touze-Peiffer Ludovic Chair: (IDTC-2) Commission oftheIUHPST of theInter-Divisional Teaching of sciencechallenges2.Symposium and philosophyofsciencenature C2 SYMPClimatechange:History 8B Session Room Janák B1 The sciencewenever had Veli Virmajoki 15:45 15:15–16:15 C8 engineering means–endknowledge Interlocking modelsvalidating Zwart Sjoerd 15:45 C8 computational science duality anditssignificanceintheera of A recent mutationofthetheory/practice Declarative andprocedural knowledge: Henri Salha 15:15 Zwart Sjoerd Chair: Sciences (AMEK-1) of Commission onthePhilosophy Symposium oftheDLMPST and other practical sciences1. knowledge inengineering,medicine C8 SYMPAcademicmeans–end 8D Session Room 347 C1 discovery historical nature ofmathematical Who discovered imaginaries?Onthe Arezoo Islami 15:45 C1 in mathematics and instrumentalpractice On therelations betweenvisualthinking Technology andEngineering Positivisation ofpoliticalphilosophy Tereza Křepelová 15:15 Dementavičienė Augustė Chair: B5 Politics, scienceandsociety2 8G Session Room 302 C5 cognitive science Problematic interdisciplinarity ofthe Nowakowski Przemysław 15:45 C5 of psychoanalysis? Can neuropsychoanalysis save thelife Gundersen Ståle 15:15 TomaszChair: Schubart sciences C5 Interdisciplinarity inthecognitive 8F Session Room 202 via agent-basedmodeling Understanding scientificinquiry Šešelja Dunja 15:15 Zach Martin Chair: B3 Invitedspeaker 8E Session Room Krejcar 15:15–16:15 How shouldwetreat human Xiaoju Dong 15:45 C4 germline genomeediting Intergenerational justiceissuesin Lei Ruipeng and Renzong Qiu 15:15 Chair: Cristin Chall technologies C4 Ethicalissuesingenomic 8I Session Room 301 C7 rules conditions andhierarchy ofconstitutive Count-as conditionals,background Tomoyuki Yamada 15:15 Simoroz Olha Chair: C7 Socialontology 2 8H Session Room 346 B5 An analysis ofChinesecase scientific knowledgeproduction – The competitionofinterests inpublic Shang Zhicong 15:45 B1, B4,B5 and its impactonthewholediscipline

Tue, 6th Tue, 6th B3 An epistemologicalreflexion logic innatural science: From subjectnatural logicto scientist Luis Mauricio Rodríguez-Salazar Tovar-Sánchez Samuel Guillermo and 15:15 Gvoždiak Vít Chair: B3 Constructionofscientificknowledge 8K Session Room 201 B1, B4,B6 relativism Why epistemicpluralism does notentail D’Oro Giuseppina 15:45 B4 Pluralism aboutcriteriaofreality Hricko Jonathon and Chen Ruey-Lin 15:15 Fischer Mark Chair: of science1 B1 Pluralism andmetaphysicalaspects 8J Session Room 343 C4, C5,C7,C8 or rejection? enhancement technology:Acceptance 15:15–16:15 16:15–16:45 A2 paradoxes Type theory, reducibility andepistemic Raclavský Jiří 15:45 A2 approaches to resolve Chisholmparadox An attemptto highlight ambiguitiesin Sarma A.V. Dr and Mishra Meha Ravishankar 15:15 Hertel Joachim Chair: A2 Logicalanalysisofparadoxes 3 8M Session Room 250 A2 Attack atdawniftheweatherisfine Basu Debirupa and Sanyal Manidipa 15:45 A2 consequence asnormative A bridge forreasoning: Logical Alice Roberts 15:15 Chartier Guilfoyle Cian Chair: A2 Normative reasoning 1 8L Session Room 364

Coffee break C8 in medicalsimulations Computational reliabilism: Buildingtrust Formanek and MJuan Durán Nico 16:45 Zwart Sjoerd Chair: Sciences (AMEK-2) of Technology andEngineering Commission onthePhilosophy 2. SymposiumoftheDLMPST and otherpractical sciences knowledge inengineering,medicine C8 SYMPAcademicmeans–end Session 9D Room 347 C1 analytischer Beweis On continuityinBolzano’s 1817Rein Fila Marlena 17:15 C1 practice ofColinMaclaurin The philosophyandmathematical Folina Janet 16:45 Toffoli De Silvia Chair: Symposium 5(APMP-5) Philosophy ofMathematicalPractice C1 SYMPAssociationforthe 9C Session 112+113 Room 16:45–17:45

B6 philosophy ofscience Mario Bunge:A pioneerofthe new Gaeta Rodolfo 17:15 B1, B7,C2 Four realist thesesofMarioBunge Alberto Cordero 16:45 Marquis Chair: Jean-Pierre (MBA-1) long-life’s contributionto philosophy1 B7 SYMPMarioBunge:Appraising his Session 9F Room 202 politics ofinterpretation social sciences,literary theory, andthe Kuhn’s wide-ranging influenceonthe Gurol Irzik and Irzik Sibel 16:45 Gurova Lilia Chair: B6 Invitedspeaker Session 9E Room Krejcar C8 analysis evaluative judgements:A comparative Truth-values fortechnicalnormsand FranssenMaarten 17:15

Tue, 6th Tue, 6th B4 for common ground Digital determinationandthesearch Tatiana Leshkevich 17:15 B4, C2 of computation arguments for(andagainst)thephysics Sympletic battlefronts. Phasespace Anta Javier 16:45 Chair: Mario Santos-Sousa B4 Computation Session 9H Room 346 B2 activity ofmulti-agentsystems Mathematical provingspatio-temporalas Vandoulakis Ioannis and Petros Stefaneas 17:15 B2 Optimal teamstructures inscience Vlasta Sikimic 16:45 Chair: Marta Bílková B2 Multi-agentsandteams 9G Session Room 302 16:45–17:45 B4 aspects Scientific perspectivism.Metaphysical Vázquez Margarita Liz and Manuel 17:15 B4 skepticism andtrivialization? Metaphysical pluralism: Between Hernán Accorinti and López Cristian Córdoba, Mariana 16:45 Chair: Enrico Brugnami of science2 B1 Pluralism andmetaphysicalaspects 9J Session Room 343 C4, C5,C7,C8 psychotherapy Using repertoire to understand Chen Chi-Hsiang 17:15 C4 representation informallogic theory A discussion ofbi-logicandFreud’s Grotto Lauro Rosapia and Borozan Milos Battilotti, Giulia 16:45 Zorzato Lisa Chair: C4 Understandingpsychotherapy 9I Session Room 301 A2, A3 paradox Knowledge, reasoning time,andMoore’s Wang Ren-June 16:45 Hertel Joachim Chair: A2 Logicalanalysisofparadoxes 4 Session 9M Room 250 A2 Fuzzy logicandquasi-legality Francisco Diaz Montilla 17:15 A2 that nooneiskilled? If killingisforbidden,doI have to ensure Coninck De Thijs and Frijters Stef 16:45 Chair: Francisco Martínez Herrera A2 Normative reasoning 2 Session 9L Room 364 B1, B2,C6 of discovery? Do heuristicsexhaustthemethods Jantzen Benjamin Davis and Cruz 16:45 Neumann Jared Chair: B1 Discovery Session 9K Room 201 16:45–17:45 C1 and circularity Revising logic:Anti-exceptionalism Fogliani Sforza Paola Maria 18:00 Estrada-González Luis Chair: of theformalsciences B2 Pluralism andphilosophy 10B Session Room 347 B1, B6 to localintegration the practice-turn: From inherent tension History andphilosophyofscienceafter Max Dresow 19:00 B1, B6 canonicity, andcasestudies Negotiating history:Contingency, D. Martin Joseph and Bolinska Agnes 18:00 Chang Hasok Chair: (JC1) Joint CommissionoftheIUHPST 1 science forphilosophyofscience? B1 Whatisthevalue ofhistory of 10A Session 152+153 Room A2 Is theliarsentencemeaningless? Jordi Valor Abad 17:15 18:00–19:30

Tue, 6th Tue, 6th B7 SYMPMarioBunge:Appraising his 10F Session Room 202 Computational abstraction Raymond Turner 18:00 Primiero Giuseppe Chair: C6 Invitedspeaker 10E Session Room Krejcar B1, C3,C4,C7 in experimentation Towards anaccountofpositive controls Sending knownsinto theunknown: Rebecca Jackson 18:30 C3, C5 the neglectedoption Top-down experiments: inhibitory Matej Kohar 18:00 Chair: Dragana Bozin B1 Experiments 10C Session Room 401 C1 Independence andmetasemantics Zeynep Soysal 18:30 18:00–19:30

Laura Hernández García and Abraham 19:00 B5 A Feyerabendian perspective Corporate fundingofpublicresearch: Karim Bschir 18:30 B5, C7 of values hamperingscientificpluralism? Are transparency andrepresentativeness Van Bouwel Jeroen 18:00 Estany Anna Chair: of science B4 Democracy andthestructure Session 10G Room 302 B7, C7 project inscienceeducation Mario Bungeandtheenlightenment Matthews Michael 18:30 A2 Quantifiers andconceptualexistence Gomez Moreno ManzanoMaria and Crescencio Manuel 18:00 Marquis Chair: Jean-Pierre (MBA-2) long-life’s contributionto philosophy1 Chair: Samuel Fletcher Samuel Chair: C2 Relativity:Ontology 10J Session Room 343 C1 of knowing Natural deductionrulesasmeans Ranjan Mukhopadhyay 18:00 AtochaChair: Aliseda C1 Deduction 10I Session Room 301 A2, B1,B2,B4,C1 lingua franca ofthesciences The problem ofthevariable inQuine’s Ivory Pribram-Day 18:30 B4 principles. Rethinking thegiven. Sellarsonthefirst Vega Vera Pablo 18:00 Liz Manuel Chair: and Quine B4 Metaphysicalaspects:Sellars 10H Session Room 346 B5, C7 democratization ofscience The role of seriesinthe TV 18:00–19:30

B4 Integrating scientific andmoral realism Objectivity asmind-independence – Schäfer Leon-Philip 18:30 B4, C3 from Goodman’s ofworlds theory Considerations onphilosophyofbiology Scientific ways ofworldmaking. Brugnami Enrico 18:00 Chair: Peeter Müürsepp of science B4 Metaphysicalissuesinphilosophy 10K Session Room 201 B4 and relativistic spacetime Change, temporal anticipation, Benda Thomas 19:00 C2 Spacetime: Substantive or relational? StefanovAnguel 18:30 B4, C2 dynamics special relativistic particle The ontology ofmassandenergy in Coffey Kevin 18:00

Tue, 6th Tue, 6th Nicholas Smith Nicholas and Noguera Carles Petr Cintula, 18:30 A2 Fuzzy semanticsforgraded adjectives Grimau Berta 18:00 Hertel Joachim Chair: A2 Logicalanalysisofparadoxes 5 10M Session Room 250 A2 Probabilistic agent-dependentoughts Coninck De Thijs and Wood Nathan 18:30 A2 and normative freedom Justification ofbasicinferences D.María García 18:00 Simoroz Olha Chair: A2 Normative reasoning 3 10L Session Room 364 B4 of nature Free willandtheabilityto changelaws Souichiro Honma 19:00 18:00–19:30 A2 and Yablo sequences Modal quantifiers,potentialinfinity, Urbaniak TomaszMichał Rafal Godziszewski and 19:00 A2 in mathematicalfuzzylogic Formalizing thesoritesparadox

Wednesday, August 7th

Wed, 7th Wed, 7th 19:30 19:00 18:30 18:00 17:30 17:00 16:30 16:00 15:30 15:00 14:30 14:00 12:30 12:00 11:30 11:00 10:30 10:00 09:30 09:00 TDPhiMa-4 C1 SYMP Session 16A TDPhiMa-3 C1 SYMP Session 15A TDPhiMa-2 C1 SYMP Session 14A (TDPhiMa-1) -driven app1 SYMP TextC1 Session 13A C7 SYMPPHS-2 Session 11A (PHS-1) of thehistsci1 C7 SYMPPhil Session 11A

- LoARa-4 A2 SYMP Session 14B LoARa-3 A2 SYMP Session 13B LoARa-2 -driven app1 SYMP TextA2 Session 12B nality 1(LoARa-1) agency, andratio- A2 SYMPLogic, Session 11B LoARa-6 A2 SYMP Session 16B LoARa-5 A2 SYMP Session 15B - theory change theory assessment and B1/B2/B3 Theory Session 16C B6 SYMPKRP-5 Session 15C B6 SYMPKRP-4 Session 14C B6 SYMPKRP-3 Session 13C (KRP-2) philosophy 2 science andhis Popper: His B6 SYMPKarl Session 12C (KRP-1) philosophy 1 science andhis Popper: His B6 SYMPKarl Session 11C 16:15–16:45 Coffee break 10:30–11:00 Coffee break 12:30–14:00 Lunch break B7 Newperspecti Session 11D technology sciences and of theapplied C8 Philosophy Session 16D Societal issues B1 Methodology: Session 15D and fake news pseudo-science B7 Sciedu Session 14D B7 Sciedu Session 13D science B4 Modalitiesin Session 12D contexts and out-of-school Writing, literature, ves oneducation: - IS B4Knuuttila Session 16E IS C7Alexandrova Session 15E IS B1Aliseda Session 14E IS C8Bursten Session 13E IS B7Matthews Session 12E emergence B4 Reductionand Session 11E C6 Philofcomp Session 16F sciences of theformal C1 Philosophy Session 15F of AI3 epist issues C6 Soc,ethand Session 14F of AI2 epist issues C6 Soc,ethand Session 13F ding 1 and understan- B4 Explanation Session 12F of AI1 mological issues ethical andepiste- C6 Societal, Session 11F aspects: Laws B4 Metaphysical Session 11G B5 Pragmatism Session 16G AI 4 epist issuesof C6 Soc,ethand Session 15G and technology applied sciences C8 Philofthe Session 14G B4 Exp&und2 Session 13G science ding modelsin B1/C3 Understan Session 12G - thetical reasoning of Popper; Hypo- B6/C7 Philosophy Session 16H science and changein C3/B6 Transition Session 15H life sciences2 philosophy ofthe B6 History and Session 14H life sciences1 philosophy ofthe B6 History and Session 13H language C1 Mathematical Session 12H logy social epistemo B1 Historical and Session 11H - formal topics Axiomatic and epistemology: and formal sophy ofscience B2 Formal philo Session 16I gy 1 B1 Epistemolo Session 15I B2 Abduction Session 14I 2 and chemistry sophy ofphysics C2 Epist,philo Session 13I science B1 Dynamicsof Session 12I medical practice 1 reasoning inbio C3 Epist.and Session 11I - - - - B1 Epist2 Session 16J B4 Maca2 Session 15J tual analysis1 aspects: Concep- B4 Metaphysical Session 14J social sciences humanities and C7 Phil.ofthe Session 13J medical practice 2 reasoning inbio C4 Epist.and Session 12J 1 chemistry of physicsand C2 Epist.,phil. Session 11J - B1/B6 Transition Session 16K theory logic 1:Model A1 Mathematical Session 14K EENPS-2 B1 SYMP Session 12K (EENPS-1) of understanding1 B1 SYMPFactivity Session 11K SYMP SLMFCE2 Session 16L SYMP SLMFCE1 Session 15L formal sciences2 philosophy ofthe C1 Pluralism and Session 14L formal sciences1 philosophy ofthe C1 Pluralism and Session 13L humanities 2 philosophy ofthe C7 History and Session 12L B2/C1 Probability Session 11L ral sciences2 cog. andbehavio- C5 Phil.ofthe Session 16M ral sciences1 cog. andbehavio- C5 Phil.ofthe Session 15M philosophy 3 sis ofscienceand A2 Logicalanaly Session 14M philosophy 2 sis ofscienceand A2 Logicalanaly Session 13M philosophy 1 sis ofscienceand A2 Logicalanaly Session 12M humanities 1 philosophy ofthe C7 History and Session 11M - - -

Wed, 7th Wed, 7th A2 Reciprocal group oughts Van Putte De Frederik and Coninck De Thijs 10:00 A2 From oughtsto goals Klein andAlessandra Dominik Marra 09:30 A2 actions Varieties ofpermissionforcomplex Karl Nygren 09:00 ValentinChair: Goranko 1 (LoARa-1) A2 SYMPLogic,agency, andrationality 11B Session 152+153 Room C7 Origins Aviezer Tucker 09:30 B4 in thehistorical sciences On thepossibilityandmeaningoftruth Boulter Stephen 09:00 D’Oro Giuseppina Chair: of thehistorical sciences1(PHS-1) the philosophy on SymposiumC7 SYMP 11A Session Room 401 9:00–10:30

Judith Puncochar 09:30 B6, B7,C2,C7 perspectives onscientificconcepts Defamiliarization insciencefiction: New Caroline E. Murr 09:00 Trlifajová Kateřina Chair: contexts Writing, literature, andout-of-school B7 Newperspectives on education: 11D Session Room 343 B6 Popper onthemind-brain problem Peter Århem 10:00 B6 controversy” Comment on“Popper andthequantum Santo Flavio Del 09:30 B6 Popper andthequantumcontroversy Junior Freire Olival 09:00 Chair: Zuzana Parusniková his philosophy1(KRP-1) B6 SYMPKarlPopper: Hisscienceand 11C Session Room 250

Wed, 7th Wed, 7th Chair: Ave Mets Chair: issues ofAI1 C6 Societal,ethicalandepistemological 11F Session Room Janák B4 Levels ofbeing:Anegalitarianontology Piccinini Gualtiero 10:00 B4, C9 hallmarks ofemergence Discontinuity androbustness as Onnis Erica 09:30 B1 modelling Robustness inconfigurational causal Veli-Pekka Parkkinen 09:00 Chair: Jacqueline Sullivan B4 Reductionandemergence 11E Session Room 302 B7 A comparative andcultural study The history ofscience-related museums: Jiao Zhengshan 10:00 B7 expression Reducing vagueness inlinguistic 9:00–10:30 Chair: Vít Gvoždiak Vít Chair: B1 Historical andsocialepistemology 11H Session Room 402 B4 circularity Laws ofnature andexplanatory Castro Eduardo 09:30 B2, B4 Scientific lawsandcloseness to thetruth Alfonso García Lapeña 09:00 Vera Matarese Chair: B4 Metaphysicalaspects:Laws 11G Session Room Krejcar C6 transparency ascentral to AIethics The historical basisforalgorithmic Ken Archer 10:00 B5, C6 bureaucratic decisions? Can machinelearningextend Ibnouhsein Issam Mohamed and Pégny Maël 09:30 C9 Machine learning:A newtechnoscience Kantor Jean-Michel 09:00 A3, B1,B2,C4 guidelines peerdisagreement computational distancesinmedical Measurable epistemological Hematialam Hossein and Zadrozny Garbayo, Wlodek Luciana 09:00 Hvorecký Juraj Chair: biomedical practice 1 C3 Epistemologyandreasoning in 11I Session Room 201 B1, B3,B6,C7 epistemology as theproblem ofcommunicative Knowledge productionin socialnetworks Sophia Tikhonova 10:00 B1, B3,B6,C7 epistemology astheobjectofhistorical Media memory Artamonov Denis 09:30 B1, B2 of scientificknowledge From communicationto the articulation The problem offigurativeness inscience: Kozlova Natalia 09:00 9:00–10:30

B1 A case forthefactivists Understanding metabolicregulation: Zach Martin 09:30 B1 explanatory understanding Considering thefactivityofnon- David-Rus Richard 09:00 Gurova Lilia Chair: Symposium oftheEENPS(EENPS-1) Moving beyond thecurrent debates1. B1 SYMPFactivity ofunderstanding: 11K Session Room 202 C2 Anthropocentrism inscience KountakiDimitra 09:30 C2 representation inClassicalMechanics On theInfiniteGodsparadox via Corral-Villate Amaia 09:00 Chair: Lukáš Bielik 1 and chemistry C2 Epistemology, philosophyofphysics 11J Session Room 346

Wed, 7th Wed, 7th C7 historical sciences. based ontheinductive principlesofthe to thecharges of AdolfGrünbaum clinical psychoanalysis: A response The problem ofcausalinference in Hugo Tannous Jorge 09:00 Simoroz Olha Chair: humanities 1 C7 History andphilosophyofthe 11M Session Room 301 C1 according to Kolmogorov for theapplicationofprobability theory Frequency interpretation ofconditions Vladimir Reznikov 09:30 B2 measure ofcoherence reconsidered Siebel’s argument againstFitelson’s Koscholke Jakob 09:00 Chair: Dan Gabriel Simbotin B2/C1 Probability 11L Session Room 347 B1 factivity Effectiveness, exemplification, and Lilia Gurova 10:00 9:00–10:30 A2 justification stitlogic Stit heuristicsandtheconstruction of OlkhovikovGrigory 11:00 ValentinChair: Goranko 2 (LoARa-2) A2 SYMPLogic,agency, andrationality 12B Session 152+153 Room B1, C7 knowledge cookie cutterconceptionofhistorical Collingwood, thenarrative turn,andthe D’Oro Giuseppina and Ahlskog Jonas 11:30 B1, B3,C7 Building a bridgeto thenatural sciences? andarchaeology:Experiments inhistory David Černín 11:00 Tucker Aviezer Chair: of thehistorical sciences2(PHS-2) the philosophy on SymposiumC7 SYMP 12A Session Room 401 10:30–11:00 Coffee break C7 Explanation inHumanities MedvedevVladimir 09:30 11:00–12:30 B6 Agency inevolutionary biology Madgwick Philip 12:00 B6 of organisms of evolutionary biologyandtheagency The rehabilitation ofKarlPopper’s views Noble Denis 11:30 B6 problem” Comment on“Popper onthemind-brain David Miller 11:00 Chair: Zuzana Parusniková and hisphilosophy2(KRP-2) B6 SYMPKarlPopper: Hisscience 12C Session Room 250 A2 Introducing causalityinstitlogic Smets Sonja and Canavotto,Ilaria Alexandru Baltag 12:00 A2 Ability andknowledge KuncováAlexandra 11:30 11:00–12:30

B4 phenomena andnaturalism Non-causal explanationsofnatural Sterpetti Fabio 11:00 Chair: Priyedarshi Jetli B4 Explanationandunderstanding1 12F Session Room 402 education Philosophy inscienceteacher Matthews Michael 11:00 Longino Helen Chair: B7 Invitedspeaker 12E Session Room Krejcar B1, B4 metaphysics Epistemology ofmodalitywithout Ilkka Pättiniemi and Koskinen Rami Hirvonen, Ilmari 11:30 B4, C7 epistemology ofmodality Modal notionsandthecounterfactual Mihai Rusu and Mihaela Mihai 11:00 Ruiz Ferreira María Chair: B4 Modalitiesinscience 12D Session Room 302

Wed, 7th Wed, 7th C1 From conversations to demonstrations The practice ofproving a theorem: Valeria Giardino 11:30 A1, C1,C7 language dynamics behindlogicandnatural Duality andinteraction: A common Gastaldi Juan-Luis and Luc Pellissier 11:00 Bar-On Kati Kish Chair: C1 Mathematicallanguage 12H Session Room 347 B1, C3,C5,C6 Who isafraid ofmodelpluralism? Walter Veit 11:30 B1, C2,C3 models inscience Idealizations andthedecomposabilityof Durlacher Thomas 11:00 Lin Chia-Hua Chair: in science B1/C3 Understanding models 12G Session Room 343 B1, B4 The truthinunderstanding Marasoiu Andrei 11:30 11:00–12:30 B1, C4,C7 consequences ofp-hacking Expected utility, inductive risk,andthe Adrian Erasmus 11:00 Bantegnie Brice Chair: in biomedicalpractice 2 C4 Epistemologyandreasoning Session 12J Room 201 B1 epistemology forscience A dynamic neo-realism asanactive Ruttkamp-Bloem Emma 11:30 B1 programatic andprospective Two typesofunrealistic models: Bobadilla Hernán 11:00 Andreas Holger Chair: B1 Dynamicsofscience 12I Session Room 346 C1 of meaning. meaningfulness inDummett’s theory An attemptatextendingthescopeof Onyu Mikami 12:00

C7 Schematism ofhistorical reality Evelina Barbashina 11:00 Vera Vega Pablo Chair: humanities 2 C7 History andphilosophyofthe 12L Session Room 301 B1 explanations Facticity ofunderstandinginnon-causal KosticDaniel 11:30 B1 understanding Scientific explanationsandpartial PetkovStefan 11:00 Kostic Daniel Chair: (EENPS-2) 2. SymposiumoftheEENPS Moving beyond thecurrent debates B1 SYMPFactivity ofunderstanding: 12K Session Room 202 C4 medicine and manipulationMulticausality in Renata Arruda 11:30 11:00–12:30

12:30–14:00 Lunch break A2, A4 psychologism Łukasiewicz’s concept ofanti- Zuzana Rybaříková 12:00 A2 philosophical analysis The semanticfoundationsof Elgin Samuel 11:30 A3 view The Tractarianformalization: of Theory Timm Lampert 11:00 Chair: Yaroslav Shramko philosophy 1 A2 Logicalanalysisofscienceand 12M Session Room 364 C7 a glossary humanities: Towardsconstructing Philosophy (andmethodology)ofthe Shashlova Konstantin Skripnik and Ekaterina 11:30

Wed, 7th Wed, 7th A2 actions Coalitional logiconnon-interfering Ju Fengkui 14:30 A2 stretching modalities Constructive deliberation: poolingand Van Putte Frederik De 14:00 ValentinChair: Goranko 3 (LoARa-3) A2 SYMPLogic,agency, andrationality 13B Session 152+153 Room C1 Perspectives onproofs Fisseni Bernhard 14:30 C1 formal proofs usingframes andPRSs Brid­­ Schröder Bernhard and Sarikaya Deniz Fisseni, Cramer, Bernhard Marcos 14:00 Chair: Carolin Antos (TDPhiMa-1) to the philosophyofmathematics1 C1 SYMP Text-driven approaches 13A Session 112+113 Room ging thegapbetweenproof textsand 14:00–15:00 Chair: Martin Zach Martin Chair: C8 Invitedspeaker 13E Session Room Krejcar B7 change inscience? Can buildingmodelsexplainconceptual Teaching conceptualchange: Bozin Dragana 14:00 Gvoždiak Vít Chair: in scienceeducation B7 Conceptsandconceptualchange 13D Session Room 343 B6 cosmology” Comment on“Popper andmodern Lazutkina Anastasiia 14:30 B6 His viewsandhisinfluence Popper andmoderncosmology: Helge Kragh 14:00 Chair: Zuzana Parusniková and hisphilosophy3(KRP-3) B6 SYMPKarlPopper: Hisscience 13C Session Room 250

B2 Explanatory conditionals Andreas Holger 14:00 David-Rus Richard Chair: B4 Explanationandunderstanding2 13GSession Room 402 C8 speakers evaluation ofclaimsby artificial epistemology oftestimonyto the Taking a machineatitsword: Applying Seger Elizabeth 14:30 B2, B5,C1,C6,C8 non-epistemic values choice,and Machine learning,theory Ravit Dotan 14:00 Chair: Emma Ruttkamp-Bloem issues ofAI2 C6 Societal,ethicalandepistemological 13F Session Room Janák sciences and multiscalemodelinginthephysical Scale separation, scaledependence, Julia Bursten 14:00 14:00–15:00

C2 argument Comments to anArageorgis’s physical theoriesinC*algebraic setting: Empirical underdermination for Stergiou Chrysovalantis 14:30 B2, C2 reductionThe topology ofintertheoretic Fletcher Samuel 14:00 Ave Mets Chair: 2 and chemistry C2 Epistemology, philosophyofphysics 13I Session Room 346 B2 Schrödinger’s ‘WhatIsLife?’ 75years on Daniel Nicholson 14:30 C3, C4 Islamic philosophy Definition andfacultiesoflife inmedieval Yavuz Mustafa 14:00 Yavuz Mustafa Chair: sciences 1 B6 History andphilosophyofthelife 13H Session Room 201

Wed, 7th Wed, 7th C1 A practice-oriented logicalpluralism Cian Guilfoyle Chartier 14:30 C1 A roundabout ticket to pluralism Zanetti Luca and Fogliani Sforza Paola Maria Sereni, Andrea 14:00 Toffoli De Silvia Chair: formal sciences1 C1 Pluralism andphilosophyofthe 13L Session Room 202 B6, C7 technological inquiry Utopias inthecontextofsocial Ivan F. Cunha da 14:30 C7 psychological state Thou shaltnotnudge: Towards ananti- Petr Špecián 1 Hvorecký Juraj Chair: social sciences C7 Philosophyofthehumanitiesand 13J Session Room 301 4:00 14:00–15:00 B3, C1 publications investigation ofmathematical Results from a large-scale quantitative Entering thevalley offormalism: Johansen Willum Mikkel 15:45 C1 texts automatic analysisofmathematical A structuralist framework forthe Luc Pellissier Luis and Gastaldi Juan 15:15 Chair: Deniz Sarikaya (TDPhiMa-2) to thephilosophyofmathematics2 C1 SYMP Text-driven approaches 14ASession 112+113 Room A2 approach to classification Abstract andconcrete concepts:an KarpinskaiaOlga 14:30 A2 logic” Reflections ontheterm “philosophical TabakovMartin 14:00 Klev Ansten Chair: philosophy 2 A2 Logicalanalysisofscienceand 13M Session Room 364 15:15-16:15 B6 Comment on“DeFinettimeets Popper” Timothy Childers 15:45 B6 Bayesians care aboutfalsificationism? De FinettimeetsPopper orshould Senn Stephen 15:15 Chair: Zuzana Parusniková his philosophy4(KRP-4) B6 SYMPKarlPopper: Hisscienceand Session 14C Room 250 A2 statistical learning Learning probabilities: A logicof Smets Sonja and Rad Rafiee Soroush Baltag, Alexandru 15:45 A2 voting cycles Deliberation, single-peakedness and Roy Olivier and Rad Rafiee Soroush 15:15 Van Putte De Frederik Chair: 4 (LoARa-4) A2 SYMPLogic,agency, andrationality 14B Session 152+153 Room 15:15–16:15 Chair: Amita Chatterjee Amita Chair: issues ofAI3 C6 Societal,ethicalandepistemological 14F Session Room Janák of science: A plurality of methodsinthephilosophy Atocha Aliseda 15:15 Vera Matarese Chair: B1 Invitedspeaker 14E Session Room Krejcar B7, C7 pseudo-scientific claims Impact ofteachingonacceptance Łupkowski Paweł and Stránský Michal Svačinová, Iva Tomáš Ondráček, Štěpánek, Jan 15:45 B1, B7 of truth? Does scientificliteracy require a theory Apolega Dennis 15:15 Puncochar Judith Chair: and fake news B7 Scienceeducation,pseudo-science 14D Session Room 343 H ow isthatpossible?

Wed, 7th Wed, 7th Chair: Olha Simoroz Olha Chair: sciences 2 B6 History andphilosophyofthelife 14H Session Room 201 C8 application Prospect ofNBICSdevelopment and Danielyan Naira 15:45 C8 of autonomous vehicles. Moral preference ofselectiontypes signallingmakes usbetter: How virtue Košová Michaela and Kopecký Robin 15:15 Estany Anna Chair: and technology C8 Philosophyoftheappliedsciences Session 14G Room 346 A3, C8 responsible AI ethical theories –A casestudytowards Automated reasoning withcomplex Benzmüller David Fuenmayor and Christoph 15:45 C8, C9 The caseofa robot Liability withoutconsciousness? Alijauskaitė Agnė 15:15 15:15–16:15

B1, B4 philosophy withconceptualanalysis Three problems withtheidentificationof Rogelio Miranda 15:15 Isaac Gustavo Manuel Chair: analysis 1 B4 Metaphysicalaspects:Conceptual 14J Session Room 302 B2 principles Abductive inference andselection Lukáš Bielik 15:15 Chair: Priyedarshi Jetli B2 Abduction 14I Session Room 301 C3 philosophy ofscience European GMOlawasa caseforapplied Bridging betweenbiologyandlaw: Wasmer Martin 15:45 C3 debates onanimalcognition ineighteenth-century Theoretical virtues Berg van den Hein 15:15 C1 point ofview An attemptbasedona modal semantic coexistence ofthedifferent logics? How shouldwemake intelligible the Okamoto Kengo 15:15 Chair: Pavel Arazim formal sciences2 C1 Pluralism andphilosophyofthe 14L Session Room 202 A1 abelian groups On ranks forfamiliesoftheories Inessa Sudoplatov Pavlyuk and Sergey 15:45 A1 in mathematicalfuzzylogic A generalized omittingtypetheorem Noguera Carles and Badia Guillermo 15:15 Chair: Pablo Cubides A1 Mathematicallogic1:Modeltheory 14K Session Room 347 B1, B4,B5,C3 definitions ofscientificconcepts Using normsto justifytheorieswithin Barker Matt 15:45 15:15–16:15

Chair: Deborah Kant Deborah Chair: (TDPhiMa-3) to thephilosophyofmathematics 3 C1 SYMP Text-driven approaches 15A Session 112+113 Room break Coffee 16:15–16:45 A2, A4 world development oflogicintheMuslim of Alexandriaontheoriginand The influenceofthelateschool Elzohary Hussien 15:45 A2 Even logicaltruthsare falsifiable Ipakchi Sara 15:15 Faust Don Chair: philosophy 3 A2 Logicalanalysisofscienceand 14M Session Room 364 C1 relative expressive poweramonglogics On theelucidationofconcept Fernandes Diego 15:45

Wed, 7th Wed, 7th Thomas Piecha 16:45 Chair: Zuzana Parusniková his philosophy5(KRP-5) B6 SYMPKarlPopper: Hisscienceand 15CSession Room 250 A2 A logical approach to Nashequilibria Dominik Klein 17:15 A2 Dynamic term-modallogic Rendsvig K. Rasmus 16:45 Van Putte De Frederik Chair: 5 (LoARa-5) A2 SYMPLogic,agency, andrationality 15B Session 152+153 Room C1 mathematical texts Studying actionsandimperatives in TanswellFenner Inglis Matthew and 17:15 C1 mathematical explanation Using linguisticcorpora to understand Matthew Inglis and Ramos Mejía Pablo Juan 16:45 16:45–17:45

why they matter On thedefinitionsofsocial science and AlexandrovaAnna 16:45 Zach Martin Chair: C7 Invitedspeaker 15E Session Room Krejcar B1, C2 of globalwarmingtheory Philosophical anddemarcation aspects Michael Sidiropoulos 17:15 B1 problem ofimmunizations Science ascriticaldiscussionand Tomáš Ondráček 16:45 Ivo Pezlar Chair: B1 Methodology:Societalissues 15D Session Room 343 B6 writings” Comment on“KarlR. Popper: Logical Brîncuș C. Constantin 17:15 B6 Karl R. Popper: Logicalwritings B3, C4,C8,C9 of diagnosisandtreatment Dr. Watson: The impendingautomation Holman Bennett 17:15 C5, C6,C8 machines ashumansurrogate Prerequisite foremploying intelligent Insok Ko 16:45 Cheon Hyundeuk Chair: issues ofAI4 C6 Societal,ethicalandepistemological 15G Session Room Janák C1 combinatorics. from finitemathematicsinthearea of the infinite realm driven by analogies in mathematicalpractice: Shaping The development ofepistemicobjects Sarikaya Deniz and Karl Heuer 17:15 B4, C1 Benacerraf’s tension dissolving Numbers asproperties; Vivanco Melisa 16:45 Soysal Zeynep Chair: C1 Philosophyoftheformalsciences 15F Session Room 346 16:45–17:45 B1 Abstraction inscientificmodeling Raftopoulos Athanasios and Portides Demetris 17:15 B1 theories Frames – A newmodelforanalyzing Stephan Kornmesser 16:45 Chair: Priyedarshi Jetli B1 Epistemology1 15ISession Room 201 B6 controversies: a carrier-trait approach Evolving theories andscientific Gabor Zemplen 17:15 C3 sciences tree to networkdiagrams inthelife Time, causalityandthetransition from Nathalie Gontier 16:45 Hvorecký Juraj Chair: C3/B6 Transition andchangeinscience 15H Session Room 301

Wed, 7th Wed, 7th Chair: Konrad Rudnicki Konrad Chair: behavioral sciences1 C5 Philosophyofthecognitive and 15M Session Room 364 A2 expected? What are they? Whenshould they be Common solutionsto several paradoxes. Oms Sergi 17:15 A2 special classesofcircular definitions On revision-theoretic semanticsfor Fernandez Martinez Jose 16:45 Chair: Jose Martinez Fernandez Philosophy ofScience1(SLMFCE1) Society ofLogic,Methodologyand SYMP SymposiumoftheSpanish 15L Session Room 202 B4 a priori Intrinsic, extrinsic,andtheconstitutive Szabo E. Laszlo 16:45 Isaac Gustavo Manuel Chair: analysis 2 B4 Metaphysicalaspects:Conceptual 15J Session Room 302 16:45–17:45 Chair: Frederik Van Putte De Frederik Chair: 6 (LoARa-6) A2 SYMPLogic,agency, and rationality Session 16B 152+153 Room C1 Escher withinmathematicaleducation. refutations: generalisation, abstraction, proofs and Text-driven variation asa vehicle for Sarikaya Deniz and Karl Heuer 18:30 C1 arithmetical strategies Semiotic analysisofDedekind’s Steensen Kiel Anna 18:00 Kant Deborah Chair: (TDPhiMa-4) to the philosophyofmathematics4 C1 SYMP Text-driven approaches 16A Session 112+113 Room C5 research onimplicitattitudesinethics The role ofcognitive andbehavioral Songhorian Sarah 17:15 C5, C8 embodied cognition Online misinformationasa problem of Lavinia Marin 16:45 18:00–19:00 A n exampleabouttilingsand B3 of scientificchange Toward a coevolutionary model Cho In-Rae 19:00 B1, B3,C2 assessmentends theory Abandoning models:Whennon-empirical Chall Cristin 18:30 B3 choice of theory Empirical identityasanindicator Ma Lei 18:00 Wachter Tina Chair: change theory B1/B2/B3 assessment and Theory Session 16C Room 301 A2 coordination games Rationality principlesinpure Kuusisto Antti and Raine Rönnholm, Valentin Goranko 18:30 A2 game-theoretic semantics Interactive Turing-complete logicvia Antti Kuusisto 18:00 18:00–19:30

Chair: Jiří Raclavský Jiří Chair: computation C6 Philosophyofcomputing and Session 16F Room Janák multiple modalities Modeling biologicalpossibilitiesin Tarja Knuuttila 18:00 Zach Martin Chair: B4 Invitedspeaker Session 16E Room Krejcar C8 The anthropic technologicalprinciple FursovAleksandr 19:00 C8 inquiry On engineeringdesign.A philosophical Wiejak Paulina 18:30 C8 technological innovations A phenomenological analysisof WangDazhou 18:00 Chair: Naira Danielyan and technology C8 Philosophyoftheappliedsciences Session 16D Room 343

Wed, 7th Wed, 7th C7 cognitive evolution Karl Popper, prehistoric technologyand Manjari Chakrabarty 18:00 Simoroz Olha Chair: Hypothetical reasoning B6/C7 PhilosophyofPopper; Session 16H Room 250 B5, B7,C5,C7 pragmatic process Deference asanalytictechniqueand Viatkina Nataliia 18:30 B5 abuses ofpost-truthchampions How pragmatism canprevent from the Labrador-Montero Daniel and Cuevas-Badallo Ana 18:00 Vera Vega Pablo Chair: B5 Pragmatism Session 16G Room 302 C6 Intuition, intelligence,datacompression Jens Kipper 18:00 18:00–19:30 B2 philosophy ofscience Otto Neurath andKarlPopper about andthecontroversytheory between A formal axiomaticepistemology Vladimir Lobovikov 19:00 B2 of science A meta-logical framework forphilosophy Stefaneas Petros and Dimarogkona Maria 18:30 B2, C5 systems for theepistemologyofcomplex Incompleteness-based formalmodels Arpaia Salvatore Roberto 18:00 Běhounek Libor Chair: formal topics formal epistemology:Axiomaticand B2 Formal philosophyofscienceand 16ISession Room 346 B6 What isanhypothesis? Potschka Martin 19:00 Induction andhypothesis Peirce onthelogicofscience – Lois Rendl 18:30 A2 argumentation looklike? of What shoulda normative theory Lilian Bermejo-Luque 18:00 Chair: Jose Martinez Fernandez Philosophy ofScience2(SLMFCE2) Society ofLogic,Methodologyand SYMP SymposiumoftheSpanish Session 16L Room 202 B1, B6 institutional shifts Ontological, epistemologicaland classical scienceintechnoscience: Rethinking thetransformation of Koshovets Frolov Olga and Igor 18:00 Zámečník Lukáš Chair: and technology B1/B6 Transition andchangeinscience Session 16K Room 347 B1 analogical reasoning intheorizing Natural analogy:A Hesseanapproach to Chen Rueylin 18:00 Vera Matarese Chair: B1 Epistemology2 16J Session Room 201 18:00–19:30 C5 experiences? What isconstitutive forflavour Skrzypulec Błażej 19:00 C5 neurons heuristics: A peculiarcaseofmirror Music cognitionandtransposition Matyja Jakub 18:30 C5 and heuristicinevolutionary psychology? relationship betweenadaptive thinking How canwemake senseofthe Shunkichi Matsumoto 18:00 Tvrdý Filip Chair: behavioral sciences2 C5 Philosophyofthecognitive and Session 16M Room 364 A2 metaphysics andbiology Issues attheintersectionbetween Maria Cerezo 18:30

Wed, 7th

Thursday, August 8th

Thu, 8th Thu, 8th 20:00 19:30 19:00 18:30 18:00 17:30 17:00 16:30 16:00 15:30 15:00 14:30 14:00 12:30 12:00 11:30 11:00 10:30 10:00 09:30 09:00 20:30 sciences of theformal C1 Philosophy Session 20A A1 clmpsmod-3 Session 19A (clmpsmod-2) 2 in modeltheory recent directions A1 SYMPSome Session 18A (clmpsmod-1) 1 in modeltheory recent directions A1 SYMPSome Session 17A (BMMS-4) mathematics 4 B6 SYMPBolz.‘s Session 20B 3 (BMMS-3) no‘s mathematics B6 SYMPBolza Session 19B (BMMS-2) the sciences2 methodology of and thegeneral no‘s mathematics B6 SYMPBolza Session 18B (BMMS-1) the sciences1 methodology of and thegeneral no‘s mathematics B6 SYMPBolza Session 17B 18:30–20:30 General assembly oftheDLMPST - - - 16:45–18:15 Plenary 2HeatherDouglas 16:45–18:15 Plenary MEt4CE-4 B1 SYMP Session 20C MEt4CE-3 B1 SYMP Session 19C (MEt4CE-2) engineering 2 conceptual method for B1 SYMPWhat Session 18C (MEt4CE-1) engineering 1 conceptual method for B1 SYMPWhat Session 17C 16:15–16:45 Coffee break 10:30–11:00 Coffee break 12:30–14:00 Lunch break C3 Organisms Session 17D (SIM-3) in mathematics3 C1 SYMPStyles Session 20D (SIM-2) in mathematics2 C1 SYMPStyles Session 19D (SIM-1) in mathematics1 C1 SYMPStyles Session 18D nam IS B5Chimako Session 20E IS C4Broadbent Session 19E IS C3Leonelli Session 18E and ideology C1 Mathematics Session 17E - life sciences3 philosophy ofthe C3 History and Session 20F 1 (SILFS-1) and formalization SYMP Theories Session 19F method 2 C7 Economic Session 18F method 1 C7 Economic Session 17F B4 Realism1 Session 17G B4 Realism4 Session 20G B4 Realism3 Session 19G B4 Realism2 Session 18G 2 aspects: Structure B4 Metaphyscial Session 20H 1 aspects: Structure B4 Metaphysical Session 19H sciences and behavioral of thecognitive C5 Philosophy Session 18H chemistry in physicsand C2 Ontology Session 17H both? 2(PFB-2) ticles, fields,or C2 SYMPPar Session 20I both? 1(PFB-1) ticles, fields,or C2 SYMPPar Session 19I and health aches to illness C4 Newappro- Session 18I IS A1Brech Session 17I - - B1 Explanation4 Session 20J B1 Explanation3 Session 19J C2 Explanation2 Session 18J C1 Explanation1 Session 17J logic 2 logic 3:General A1 Mathematical Session 20K logic 1 logic 2:General A1 Mathematical Session 19K choice 1 probability, social B2 Game-theory, Session 18K sciences of theformal C1 Philosophy Session 17K B6 &HPS2 Session 20L B6 &HPS1 Session 19L B6 HOPOS2 Session 18L B6 HOPOS1 Session 17L 2 (SILFS-2) and formalization SYMP Theories Session 20M B2 Induction Session 19M logics 2 intuitionistic conditional, and stent, relevant, A2 Paraconsi Session 18M logics 1 intuitionistic conditional, and stent, relevant, A2 Paraconsi Session 17M - -

Thu, 8th Thu, 8th B6 concept of Bolzano, Kantandtheevolution ofthe Otte Michael 09:00 Russ Steve Chair: Concepts andmethodology of thesciences1(BMMS-1). and thegeneral methodology B6 SYMPBolzano’s mathematics 17B Session Room Janák A1 of pseudo-finiteness Towards a characterization Hill Cameron 10:00 A3 and feasible interpretations Feasible syntax,feasible proofs, Tibor Beke 09:30 A1 theory Some recent applicationsofmodel FreitagJames 09:00 Baldwin John Chair: 1(clmpsmod-1) in modeltheory A1 SYMPSomerecent directions 17A Session Room 364 9:00–10:30

B1 and theirmethodologicalcounterparts On twokindsofconceptualengineering Koch Steffen 10:00 B1 control Conceptual engineeringandsemantic Joey Pollock 09:30 B1, C5 Broad-spectrum conceptualengineering GustavoManuel Isaac 09:00 Isaac Gustavo Manuel Chair: engineering 1(MET4CE-1) B1 SYMPWhatmethodforconceptual 17C Session 152+153 Room B6 in modernaxiomatics ordering ofconceptsanditsinheritance Bolzano’s requirement ofa correct Cantu Paola 10:00 B6 of concepts consequence andthetraditional theory Bolzano’s ofground and theory Ginammi Annapaola and Betti Arianna 09:30

Thu, 8th Thu, 8th C1 and “political ideologies” Lakatos’ philosophyofmathematics Máté András 09:30 A4, B5,C1 and cybernetics Yanovskaya betweenideology In defense ofabstractions: Sofia Tatiana Levina 09:00 Chair: Pavel Arazim C1 Mathematicsandideology 17E Session Room 343 C3 Organisms assituatedmodels Leonelli Sabina and Ankeny Rachel 09:30 C3 self-regulation A selected-effect approach to biological Organizational etiologicalteleology: Saborido Cristian and Prado de González Javier 09:00 Zach Martin Chair: self-regulation andsituatedmodels C3 Organisms: Constitutions, 17D Session Room 250 9:00–10:30

Underdetermination andempirical Yan Chunling 09:30 B4, B6,C2 image Scientific metaphysicsandthemanifest Egg Matthias 09:00 Chair: Dan Gabriel Simbotin B4 Realism1 17G Session Room 202 C7 links Economic sciencesandtheirdisciplinary Crespo Ricardo 10:00 C7 in economics External validity andfieldexperiments Sequeiros Blanco Sofia 09:30 C7 of economics Pseudoscience withinscience? The case CaamañoMaría 09:00 Badiei Sina Chair: C7 Economic method1 17F Session Room 201

Matteo De Benedetto De Matteo 09:00 Gurova Lilia Chair: C1 Explanation1 17J Session Room 301 spaces Indiscernibility andrigidityinBanach Christina Brech 09:00 CarlesChair: Noguera A1 Invitedspeaker 17I Session Room Krejcar C2 Spacetime andfundamentalparts Fujita Sho 09:30 B4, C2 of indiscernibles? Can conventionalism safe theidentity WachterTina 09:00 Ave Mets Chair: C2 Ontology inphysicsandchemistry 17H Session Room 346 B4 and Bohmianmechanics equivalence: The standard interpretation 9:00–10:30 in thephilosophyofmathematics Modelling minimalismandtrivialism Zanetti Luca and Sereni Andrea 10:00 C1 determined How are mathematicalstructures Mensik Josef 09:30 B2 situations Deterministic andindeterministic Kilinc Berna 09:00 Cresto Eleonora Chair: C1 Philosophyoftheformalsciences 17K Session Room 402 B4, C1 Explanation andontology Nathaniel Gan 10:00 C1 or theway to a fullexplanation? outcomes improvements withuncertain explanation ofthecicadacase –adhoc New versions ofthemathematical Drekalović Vladimir 09:30 B2, C1 spaces Explicating ‘explication’ viaconceptual

Thu, 8th Thu, 8th A2 implication from andimproves onmaterial Mutually inverse implicationinherits Xunwei Zhou 09:00 Tanús Claudia Chair: and intuitionisticlogics1 A2 Paraconsistent, relevant, conditional, 17M Session Room 347 B6 with TadeuszBilikiewicz The nascency ofLudwik Fleck’s polemics KoterskiArtur 10:00 A4, B6 thoughts ofwhewell Three ways to understandtheinductive and Ren XianhuaXiaoming Liang 09:30 B6 Poincaré read as a pragmatist David Stump 09:00 Neumann Jared Chair: B6 HOPOS1 17L Session Room 302 C1 grounding through a notionofconceptual 9:00–10:30 probabilistic structures Towards ofsymmetric a modeltheory PatelRehana 11:00 Baldwin John Chair: 2(clmpsmod-2) in model theory A1 SYMPSomerecent directions 18A Session Room 364 A1 and cocompleteness Tameness, compactness, Lieberman Michael 12:00 A1 Accessible categoriesandmodeltheory Rosický Jiří 11:30 A1 10:30–11:00 A2 of intuitionistickind of relevant logicswitha negation Basic quasi-Booleanexpansions Robles Gemma 10:00 A2 a dual intuitionistictypenegation Expansions ofrelevant logicswith Francisco Salto and Robles Gemma Méndez, M. José 09:30 11:00–12:30

Coffee break

Delia Belleri Delia 11:00 Isaac Gustavo Manuel Chair: engineering 2(MET4CE-2) B1 SYMPWhatmethodforconceptual 18C Session 152+153 Room B6 of infinitesimals On Bolzano’s earlyrejection Elías Fuentes-Guillén 12:00 B6 principle forinfinitecollections Bernard Bolzanoandthepart-whole Trlifajová Kateřina 11:30 B6 entities? problem ofproblematic mathematical Did Bolzanosolve theeighteenthcentury Johan Blok 11:00 Chair: Arianna Betti problems The mathematicalinfiniteandother sciences 2(BMMS-2). and thegeneral methodologyof the B6 SYMPBolzano’s mathematics 18B Session Room Janák 11:00–12:30

Jean-Pierre MarquisJean-Pierre 12:00 C1 geometry and19th-century Klein, Hilbert, Structuralism asa mathematicalstyle: Georg Schiemer 11:30 C1 of style? methodological structuralism: A matter Dedekind, numbertheory, and Erich Reck 11:00 Chair: Karine Chemla (SIM-1) C1 SYMPStylesinmathematics1 18D Session 112+113 Room B1 of explication The methodologicaltradition Cordes Moritz 12:00 B1 re-engineering be? the Carnapianmodelofconceptual Concepts andreplacement: Whatshould Mark Pinder 11:30 B1 to evidence statements In defense ofa contrastivist approach

Thu, 8th Thu, 8th The reach ofSocratic scientific realism: LyonsTim 11:00 Chair: Priyedarshi Jetli B4 Realism2 18G Session Room 202 B1, B3,C7 Prediction markets andextrapolation Northcott Robert 11:30 C7 Do abstract economicmodelsexplain? Paul Hoyningen-Huene 11:00 Chair: Ricardo Crespo C7 Economic method2 18F Session Room 201 science The shiftingsemanticsofplant(data) Leonelli Sabina 11:00 Zach Martin Chair: C3 Invitedspeaker 18E Session Room Krejcar C1 Bourbaki, from Chevalley to Grothendieck Designing thestructuralist style: 11:00–12:30 Chair: Margarita VázquezChair: health C4 Newapproaches to illnessand 18I Session Room 401 C5 Doing withoutstructural representations Marc Artiga 11:30 B4 science consciousness asa problem ofmodern Metaphysics andphysicsof IakovlevVladimir 11:00 Chatterjee Amita Chair: behavioral sciences C5 Philosophyofthecognitive and 18H Session Room 346 B4 science Practical realism andmetaphysicsin Müürsepp Peeter 12:00 B4 An attemptto defend scientific realism Foligno ZorzatoLisa Antonella and 11:30 B1, B3,B4,B6,C7,C9 of exemplary inquiry From axiologyofscienceto axiology C7 linguistics Non-causal explanationsinquantitative Lukáš Zámečník 12:00 C1 Mathematical depthandexplanation Vineberg Susan 11:30 B1, B2 Simplicity inabductive inference Christian J. Feldbacher-Escamilla 11:00 Schurz Gerhard Chair: C2 Explanation2 18J Session Room 301 C7 delusions Psychology, anthropology and Murphy Dominic 12:00 C4, C7 Food, identityandendoflife Tina Sikka 11:30 C4 with Foucault andGuibert An approximation to the“medical gaze” ofanAIDSpatient. Intimate diary Natividad Garrido Rodríguez 11:00 11:00–12:30

A4, B6 on logicandscientificmethod Deductive savages: The Oxford noetics Neumann Jared 11:00 Vera Matarese Chair: B6 HOPOS2 18L Session Room 302 B2, C1,C7 theoremCondorcet jury A constructivist applicationofthe Cresto Eleonora 12:00 B2 games Mutual misunderstandinginsignalling Zhou Liqian 11:30 B1, B2,B3 scientific realism A learning theoretic argument for Parker Jack and Kevin Kelly, Hanti Lin, Konstantin Genin 11:00 Simoroz Olha Chair: choice 1 B2 Game-theory, probability, social 18K Session Room 343

Thu, 8th Thu, 8th A2 of permutation The irrelevance oftheaxiom Claudia Tanús 12:00 A2 reasoning First-degree entailmentandstructural Yaroslav Shramko 11:30 A2 theoretic semantics propositional logicwithrespect to proof- the incompletenessofintuitionistic Abstract semantic conditionsand Peter Schroeder-Heister and Piecha Thomas 11:00 Chartier Guilfoyle Cian Chair: and intuitionisticlogics2 A2 Paraconsistent, relevant, conditional, 18M Session Room 347 B6 V.N. Ivanovsky’s conceptionofscience Sobolev Vladimir and Sinelnikova Elena 12:00 B3, B6,B7,C5,C7 (1933–1938) activities atIstanbulUniversity Reichenbach’s research andteaching Logical empiricisminexile.Hans Roure Pascale 11:30

11:00–12:30

B6 manuscripts Looking atBolzano’s mathematical Jan Sebestik 14:30 B6 Bohemia teaching inearly19thcentury Mathematics andmathematical Bernard Bolzano’s 1804examination: MakovskýJan and Fuentes Elias Guillén Crippa, Davide 14:00 Simons Peter Chair: manuscripts sciences 3(BMMS-3).Mathematical and thegeneral methodologyofthe B6 SYMPBolzano’s mathematics Session 19B Room Janák A1 modeltheory elementary Forking andcategoricityinnon- Vasey Sebastien 14:00 Baldwin John Chair: 3(clmpsmod-3) in modeltheory A1 SYMPSomerecent directions 19A Session Room 364 break 12:30–14:00 Lunch 14:00–15:00 C1 in China,11th-13thcenturies algebraic styleofestablishingequations Comparing thegeometricstyle and Karine Chemla 14:30 C1 Granger’s PhilosophyofStyle Benis-Sinaceur Hourya 14:00 Reck Erich Chair: (SIM-2) C1 SYMPStylesinmathematics2 Session 19D 112+113 Room B1 re-engineering a challenge forconceptual The common-sensenotionoftruthas Kevin and Reuter Brun Georg 14:30 B1 philosophy ofinformation Conceptual engineeringinthe Patrick Allo 14:00 Isaac Gustavo Manuel Chair: engineering 3(MET4CE-3) B1 SYMPWhatmethodforconceptual 19C Session 152+153 Room 14:00–15:00

B1, B4 Carnap onthereality ofatoms Yousuf Hasan 14:00 Tvrdý Filip Chair: B4 Realism3 19GSession Room 202 B2 of trust How to builda computational notion Mirko Tagliaferri 14:30 C1 standards inmedicine A game-theoretic approach to evidence Osimani Barbara 14:00 Cevolani Gustavo Chair: (SILFS-1) for LogicandPhilosophyofScience 1. SymposiumoftheItalianSociety SYMP Theories andformalization Session 19F Room 201 modelofmedicine The inquiry Broadbent Alexander 14:00 Ankeny Rachel Chair: C4 Invitedspeaker Session 19E Room Krejcar

Thu, 8th Thu, 8th C2 of theRitz–Einsteindebate fields, or both?A reevaluationParticles, Frisch Mathias 14:00 Chair: Christopher Hitchcock (PFB-1) fields,orboth?1 C2 SYMPParticles, 19ISession Room 402 B4, C2 essentialism inphilosophyofspacetime Regarding minimalstructural Luty Damian 14:30 B4 and Heller’s view concept ofstructure. CaseofLadyman’s Some philosophicalremarks onthe Oleksowicz Michal 14:00 Ave Mets Chair: B4 Metaphysicalaspects:Structure 1 Session 19H Room 346 B3, B4,C2 The caseofnuclearphysics Functional ontologies andrealism: Alberto Cordero 14:30 14:00–15:00 A1, A4,C1 incompleteness theorems misunderstandings ofGödel’s Some formalandinformal Yong Cheng 14:00 Hertel Joachim Chair: logic 1 A1 Mathematicallogic2:General Session 19K Room 347 B1, C7 explanation andscientific Equilibrium theory Paul Daniell 14:30 B1 On explanationandunification Arto Mutanen 14:00 David-Rus Richard Chair: B1 Explanation3 19J Session Room 301 C2 Good singularities,badsingularities Hubert Mario 14:30 B2 evaluationand empiricalperformance attractivity weighting:Mathematical Meta-inductive prediction based on Paul Thorn and Gerhard Schurz 14:30 B2 solution to theproblem ofinduction A naturalized globallyconvergent Jorge Luis Garcia Rodriguez 14:00 Andreas Holger Chair: B2 Induction Session 19M Room 343 B1, B3,B6 a philosopher ofscience? Integrating HPS:What’s initfor Shaw Jamie and Barseghyan Hakob 14:00 Bantegnie Brice Chair: B6 &HPS1 Session 19L Room 302 A1 models ofsettheory Constructing illoyal algebra-valued Passmann Robert Tarafder,Sourav L Benedikt 14:30 14:00–15:00 ö we and and we B6 Bolzano On theseveral kindsofnumberin Peter Simons 15:45 B6 Bolzano’s real numbers:setsorsums? Anna Bellomo 15:15 Russ Steve Chair: Kinds ofnumbers of thesciences4(BMMS-4). the general methodology B6 SYMPBolzano’s mathematicsand 20B Session Room Janák C1 of Russell’s paradox Extensionalist explanationandsolution Ludovica Conti 15:45 C1 versus possiblestructures Thin objectsanddynamicabstraction Ordóñez Ismael and Martínez-Vidal Concha 15:15 Chair: Enrico Brugnami C1 Philosophyoftheformalsciences 20A Session Room 364 15:15–16:15

Thu, 8th Thu, 8th A4, C1 logic On the“mechanical” stylein19th-century Dirk Schlimm 15:45 C1 in The Monist(1890–1917) Audience, style,andmathematics a technical mathematicaltraining”: “Cultured peoplewhohave not Jemma Lorenat 15:15 Reck Erich Chair: (SIM-3) C1 SYMPStylesinmathematics3 20D Session 112+113 Room B1 negotiations appropriation, andmetalinguistic The semanticaccountofslurs, Leon Esa Diaz 15:45 C5 The evolution ofcolorconcepts Varieties ofconceptualchange: Lieven Decock 15:15 Isaac Gustavo Manuel Chair: engineering 4(MET4CE-4) B1 SYMPWhatmethodforconceptual 20C Session 152+153 Room 15:15–16:15

Is semanticstructuralism necessarily ProszewskaAgnieszka 15:15 Chair: Priyedarshi Jetli B4 Realism4 Session 20G Room 202 C3 practice inbiologicaltaxonomy “Taxonomic freedom” and referential Joeri Witteveen 15:45 C3 that mattersamongholobionts Stability oftraits asthekindofstability Javier Suárez 15:15 Zach Martin Chair: sciences 3 C3 History andphilosophyofthelife 20F Session Room 401 Morality, politicsanda newlogic Decolonising scientificknowledge: Jonathan Chimakonam 15:15 Chair: Hanne Andersen B5 Invitedspeaker 20E Session Room Krejcar Chair: Christopher Hitchcock 2 (PFB-2) fields,orboth? C2 SYMPParticles, 20I Session Room 402 B4, C7 structural realism Econometric modelingfalsifies Maziarz Mariusz 15:45 B4 metaphysics naturalistic involvement inscientific Structural modalityasthecriterion for Akcin Haktan 15:15 Ave Mets Chair: B4 Metaphyscialaspects:Structure 2 20H Session Room 346 B4 properties Scientific realism andthe reality of Ghins Michel 15:45 B2 of onticstructural realism “set-theoretical” structuralism? A case 15:15–16:15

A2 theoretical identifications Rigidity andnecessity: The case of Moreno Luis Fernández 15:15 Hertel Joachim Chair: General logic2 A1 Mathematicallogic3: 20K Session Room 347 B1 to thebestexplanation? Is theno-miracles argument aninference Fahrbach Ludwig 15:45 B1 in model-basedexplanation Realism andrepresentation Franziska Reinhard 15:15 Ko Insok Chair: B1 Explanation4 20J Session Room 301 C2 The fundamentalityoffields Sebens Charles 15:45 C2 of fields Why fieldtheoriesare nottheories Dustin Lazarovici 15:15

Thu, 8th Thu, 8th B2 reductions Formalisation andproof-theoretic AntonuttiMarianna Marfori 15:15 Cevolani Gustavo Chair: (SILFS-2) for LogicandPhilosophyofScience 2. SymposiumoftheItalianSociety SYMP Theories andformalization 20M Session Room 201 B4, B6,C2,C3 of “natural body” Metaphorandanalogies the Earth. A philosophy ofhistoriography of Chabout-Combaz Babette 15:45 B1, B2 approaches to philosophyofscience Integrated HPS?Formal versus historical VosBobby 15:15 Bantegnie Brice Chair: B6 &HPS2 20L Session Room 302 A2 according to Z.Augustynek The axiomaticapproach to genidentity Marek Porwolik 15:45 15:15–16:15 18:30 DLMPST the of assembly General Kotěra Room responsibility Scientific freedom andscientific Heather Douglas 16:45 Chang Hasok Chair: Plenary 2 Kotěra Room break 16:15–16:45 Coffee B2 and completions configurations,property: pastings The generalized orthomodularity Ledda Fazio Antonio Davide and Ivan Chajda, 15:45

Friday, August 9th

Fri, 9th Fri, 9th 21:00 20:00 19:30 19:00 18:30 18:00 17:30 17:00 16:30 16:00 15:30 15:00 14:30 14:00 12:30 12:00 11:30 11:00 10:30 10:00 09:30 09:00 (Big Data-2) phy ofBigData2 C6 SYMPPhiloso Session 27A (Big Data-1) phy ofBigData1 C6 SYMPPhiloso Session 26A IS C2Halvorson Session 25A ERC panel Session 24A - - A1 SYMPSGBS-3 Session 26B A1 SGBS-2 Session 25B (SGBS-1) Baire spaces1 posium onhigher A1 SYMPSym- Session 24B 09:00–10:30 Plenary 3JoelD.09:00–10:30 Plenary Hamkins (Glivenko-3) and translation 3 A1 SYMPProof Session 26C (Glivenko-2) and translation 2 A1 SYMPProof Session 25C 1 (Glivenko-1) rem 90years after Glivenko‘s theo- and translation: A1 SYMPProof Session 24C (Glivenko-4) and translation 4 A1 SYMPProof Session 27C 19:30–21:00 Congress dinner 16:15–16:45 Coffee break 10:30–11:00 Coffee break 12:30–14:00 Lunch break (FCDP-4) to pluralism 4 defectiveness contradiction to B1 SYMPFrom Session 27D (FCDP-3) contradiction 3 B1 SYMPFrom Session 26D (FCDP-2) contradiction 2 B1 SYMPFrom Session 25D (FCDP-1) to pluralism 1 defectiveness contradiction to B1 SYMPFrom Session 24D B2 Heuristics Session 27E practice of sciencein B1/C9 Philosophy Session 25E IS A2Goranko Session 24E A2 NDCXL-3 Session 27F (NDCXL-2) nnexive logic2 A2 SYMPCo Session 26F (NDCXL-1) nnexive logic1 A2 SYMPCo Session 25F sciences and behavioral of thecognitive C5 Philosophy Session 24F - - B6 SYMPIYPT-2 Session 27G B6 SYMPIYPT-1 Session 26G science 2 B6 History of Session 25G science 1 B6 History of Session 24G C3 Infinbiology Session 27H and networks2 C3 Undsystems Session 26H C3 Sys&net1 Session 25H explanation philosophy of C3 Issuesinthe Session 24H 2 (CFT-2) dational theories mitments offoun A1 SYMPCom Session 27I A3 Modallogic Session 26I society B5 Scienceand Session 25I choice 2 probability, social B2 Gametheory, Session 24I - - A3 Semantics Session 27J theories 1(CFT-1) A1 SYMPFound Session 26J C1 Geometry Session 25J sophy A3 Formal philo Session 24J - theory logic 4:Proof A1 Mathematical Session 27K and praxis B1 Methodology Session 26K choice 3 probability, social B2 Gametheory, Session 25K sciences ties andsocial of thehumani C7 Philosophy Session 24K - identity 4 change and A2 Modalities, Session 27L identity 3 change and A2 Modalities, Session 26L A2 Modal2 Session 25L identity 1 change and A2 Modalities, Session 24L language 4 and natural analysis oflogics A2 Semantic Session 27M language 3 and natural analysis oflogics A2 Semantic Session 26M language 2 and natural analysis oflogics A2 Semantic Session 25M guage 1 and natural lan analysis oflogics A2 Semantic Session 24M -

Fri, 9th Fri, 9th A1 property of the tree indestructibility The Honzík Radek 11:30 A1 spaces definable subsetsof generalized Baire The opendihypergraph dichotomy for Sziráki Dorottya 11:00 Lücke Philipp Chair: spaces 1(SGBS-1) A1 SYMPSymposiumonhigherBaire 24B Session 112+113 Room 11:00 Chair: Hanne Andersen ERC panel 24A Session Gočár Room 10:30–11:00 break Coffee as a foundationof mathematics? Can set-theoretic mereology serve Joel David Hamkins 09:00 Löwe Benedikt Chair: Plenary 3 Kotěra Room 9:00–10:30 Ordaz Chair: Maria Del Rosario Martinez defectiveness to pluralism 1(FCDP-1) B1 SYMPFrom contradiction to 24D Session Room 364 A1 theories Proof theory of infinitegeometric RathjenMichael 12:00 A1 geometriclogic for infinitary A simple proof of Barr’s theorem Negri Sara 11:30 A1 and contextual? intuitionistic logic:Isitconservative translation from classicalinto On thehistorical relevance of Glivenko’s Feitosa Araujo De Hércules and D’Ottaviano Loffredo Itala Maria 11:00 Negri Sara Chair: (Glivenko-1) Glivenko’s theorem 90years after1 A1 SYMPProof and translation: Session 24C 152+153 Room A1 Easton’s below functionandthetree property Šarka Stejskalová 12:00 11:00–12:30 ℵα

Fri, 9th Fri, 9th Chair: Filip Tvrdý Filip Chair: behavioral sciences C5 Philosophyof thecognitive and 24F Session Room 347 context Logic-based strategic reasoning in social Valentin Goranko 11:00 Chair: Yaroslav Shramko A2 Invitedspeaker 24E Session Room Krejcar B1 in the sciences &defective information of assertion Lewis, Stalnaker andtheproblem Moises Macias Bustos 12:00 B1 contradictions domain: From defects to explicit Logic-based ontologies in thebiomedical Joke Meheus 11:30 B1 and idealization in cases of approximative reduction Inconsistency andbeliefrevision Xavier de Donato-Rodriguez 11:00 11:00–12:30

B6 Le mechaniche of instrument in Guidobaldo dal Monte’s questa verità. The importance Bilancie giustea postaperchiarire Davide Pietrini 11:30 B1, B3,B4,B6 philosophy of theRoyal Society Inductive method,ortheexperimental Jagdish Hattiangadi 11:00 Chabout-Combaz Babette Chair: B6 History of science1 Session 24G Room 201 C5, C6 of calculation andcomputation Turing redux: Anenculturation account Regina Fabry 12:00 C5 for themultiplerealisation debate in cognitive science?Implications inspired computationalmodels What is“biological”aboutbiologically- Hardalupas Mahi 11:30 C5 of consciousness? information theory Is there a hard problem fortheintegrated Ellia Francesco and Chis-Ciure Robert 11:00

B2 Dispositions andcausalBayes nets and Alexander Fischer Florian Gebharter 11:00 Rybaříková Zuzana Chair: choice 2 B2 Gametheory, probability, social 24I Session Room 343 C3, C4 in immunology? structure-function relationship roleWhat istheexplanatory of the Greslehner Gregor 12:00 C3 of the mechanisticphilosophy asa formallanguage theory Category Jinyeong Gim 11:30 C3 account in classical genetics:A model-theoretic Laws, causationandexplanations Lorenzano Pablo 11:00 Chair: Pablo Lorenzano of explanation C3 Issuesin thephilosophy 24H Session Room 250 11:00–12:30 Chair: Augustė Dementavičienė Augustė Chair: and socialsciences C7 Philosophyof thehumanities 24K Session Room 401 A3 evidence Hypercomputing minds:Newnumerical Joachim Hertel 12:00 A3 and philosophy the mutualrelations of logic Logic asmetaphilosophy?Remarkson Grzegorz Trela 11:30 A3 between humanandsoftware agents Differences of discourseunderstanding Adrian Groza 11:00 Chair: Timothy Childers A3 Formal philosophy 24J Session Room 346 B1, B2 style Modeling creative abductionBayes net J. Feldbacher-Escamilla Christian and Gebharter Alexander 11:30

Fri, 9th Fri, 9th Chair: Cian Guilfoyle Chartier Guilfoyle Cian Chair: natural language1 A2 Semanticanalysisof logics and 24M Session Room 302 A2 Model existencein modallogics Jui-Lin Lee 11:30 A2 modal logic -contingentism debatein higher-order Higher-order identityin thenecessitism- Yang Chin-Mu Syraya 11:00 Simoroz Olha Chair: A2 Modalities,changeandidentity1 24L Session Room 301 C7 sociology methods in pragmatic cognitive Against reductionism: Naturalistic Muntanyola-Saura Dafne 11:30 C7 components of socialmechanisms Mechanistic explanationsand Pérez-González Saúl 11:00 11:00–12:30 Chair: Philipp Lücke Philipp Chair: spaces 2(SGBS-2) A1 SYMPSymposiumonhigher Baire 25B Session 112+113 Room Lessons from Einstein How to describereality objectively: Hans Halvorson 14:00 Okada Mitsuhiro Chair: C2 Invitedspeaker 25A Session Room Krejcar 12:30–14:00 break Lunch A2 vs. Tarski-stylesemantics Fine’s semantic relationism Contrastive approaches to meaning: New thoughtsoncompositionality. Mircea Dumitru 12:00 A2 and why? Are logicalexpressions ambiguous Pavel Arazim 11:30 A2 about deflationof false? Frege semanticsorwhycanwetalk PavlenkoAndrey 11:00 14:00–15:00

B1 multiversist strategies universes: Ananalysisof universist and Mutually inconsistentsettheoretic- Kuby Daniel and Carolin Antos 14:00 Ordaz Chair: Maria Del Rosario Martinez defectiveness to pluralism 2(FCDP-2) B1 SYMPFrom contradiction to 25D Session Room 364 A1 study in TheBigProgramme Modal negative translations asa case Tadeusz Litak 14:30 A1, A2 on therelation between logics Ecumenism: A newperspective Valeria Paiva de and Pimentel Elaine Pereira, Luiz Carlos 14:00 Negri Sara Chair: (Glivenko-2) Glivenko’s theorem 90years after2 A1 SYMPProof and translation: 25C Session 152+153 Room A1 sets Definable bistationary Philipp Lücke 14:00 14:00–15:00 Tanús Claudia and Estrada-González Luis 14:30 A2 Are connexive principlescoherent? Pfeifer Niki 14:00 Chair: Heinrich Wansing logic 1(NDCXL-1) A2 SYMPNewdirections in connexive 25F Session Room 250 B1, C8,C9 science – The error of empiricism How scientistsare brought backinto Mieke Boon 14:30 B1, B5,C9 Asymmetries in interdisciplinarity Uskali Mäki 14:00 Martin Zach Chair: B1/C9 Philosophyof sciencein practice 25E Session Room 402 A1, A2,B1 and itslogic Informal rigorous mathematics Azzouni Jody 14:30

Fri, 9th Fri, 9th C3 of biology Rethinking cyberneticsin philosophy Fabris Flavia 14:00 Simoroz Olha Chair: networks in thelife sciences1 C3 Understandingsystemsand 25H Session Room 202 B4, B6 notions of place to thedevelopment of latemedieval of impetusanditssignificance Theory Julita Slipkauskaitė 14:30 B6 qualities Margaret Cavendish oncorporeal Peterman Alison 14:00 Ave Mets Chair: B6 History of science2 25G Session Room 201 A2 logic Variable sharingprinciplesin connexive 14:00–15:00 C1 Are points(necessarily)unextended? Philip Ehrlich 14:30 C1 of the Phytagorean theorem changedthemeaning On howDescartes Piotr Błaszczyk 14:00 Bantegnie Brice Chair: C1 Geometry 25J Session Room 346 B5 it meansforitspolicyrelevance behavioural sciencewrong andwhat Why thebehavioural turnin policytakes Malecka Magdalena 14:30 B3, B5 of citations an epistemologicaltheory scientometrics:Towards and Bridging across philosophyof science Petrovich Eugenio 14:00 Chair: Dragana Bozin B5 Scienceandsociety 25ISession Room 401

Chair: Mircea Dumitru and natural language2 A2 Semanticanalysisof logics 25M Session Room 302 A2 Leibnizian hypotheticalnecessity A bimodal logicof changewith and Marcin ŁyczakKordula Świętorzecka 14:00 Millán JoanChair: Bertran-San A2 Modalities,changeandidentity2 25L Session Room 301 B2 revision in formalmodelof belief properties change: Studyof somesemantic On a structuralist viewof theory V.A. Ravishankar Sarma 14:30 B2 to theoldevidence problem On Howson’s Bayesian approach Young ERhee 14:00 Sedlár Igor Chair: choice 3 B2 Gametheory, probability, social 25K Session Room 343 14:00–15:00

Chair: Philipp Lücke Philipp Chair: spaces 3(SGBS-3) A1 SYMPSymposiumonhigher Baire Session 26B 112+113 Room C6 of data scienceonitspractice Finding a way back:Philosophy Struppa C. and Daniele Napoletani, Panza Marco Domenico 15:45 C6 the riseof a newinductivism On theepistemologyof datascience – Pietsch Wolfgang 15:15 Primiero Giuseppe Chair: of the DLMPST (BigData-1) Philosophy of Computingdivision 1. Symposiumof theHistory and C6 SYMPPhilosophyof BigData 26A Session Room Janák A2 inference Intensionality, reference, andstrategic Mihai Hîncu 14:30 A2, A4 of defining operators Leśniewski, lambda,andtheproblem Peter Simons 14:00 15:15–16:15

Fri, 9th Fri, 9th Ordaz Chair: Maria Del Rosario Martinez defectiveness to pluralism 3(FCDP-3) B1 SYMPFrom contradiction to Session 26D Room 364 A1 proof transformation Program optimisationthrough Monika Seisenberger 15:45 A1 in abstract analysis On theconstructive contentof proofs Ulrich Berger 15:15 Negri Sara Chair: (Glivenko-3) Glivenko’s theorem 90years after3 A1 SYMPProof and translation: Session 26C 152+153 Room A1 set theory Higher metrisabilityin higherdescriptive Galeotti Lorenzo 15:45 A1 without addingkappa-Cohenreals? Can weaddkappa-dominatingreals Wohofsky Wolfgang 15:15 15:15–16:15

Hasok Chang Hasok 15:15 Boeck Gisela Chair: of the periodictable1(IYPT-1) B6 SYMPInternationalyear Session 26G Room 201 A2 in connexive logic Towards a bridgeover twoapproaches Omori Hitoshi 15:45 A2 Connexivity andconditionallogic Kapsner Andreas 15:15 Chair: Heinrich Wansing logic 2(NDCXL-2) A2 SYMPNewdirections in connexive Session 26F Room 250 B1 faute demieux Chunk andpermeate:Reasoning Martin Brown 15:45 B1 in a content-guided manner Handling of defectiveness BatensDiderik 15:15

Chair: Priyedarshi Jetli A3 Modallogic 26I Session Room 346 C3, C9 of network motifsanalysis Process, notjustproduct: The case Shimin Zhao 15:45 B1 aim of sciencedebate? networks provide a newinsightto the Does research withdeepneural Onishi Yukinori 15:15 Chair: Pavel Arazim and networksin thelife sciences2 C3 Understandingsystems Session 26H Room 202 B6, C2 of the periodicsystem Brauner andtheworldwidereception friend. The Czech chemistBohuslav Mendeleev’s and dedicatedsupporter Štrbáňová Soňa 15:45 B6, C2 the periodic table? Why shouldphilosopherscare about 15:15–16:15 B1, B3,C3,C4,C9 Tool-driven science Huss John 15:15 Bursten Julia Chair: B1 Methodologyandpraxis Session 26K Room 401 A1 The contour of the Tarski Boundary Mateusz Łełyk 15:45 A1 Introduction Commitments of foundationaltheories: Cieslinski Cezary 15:15 Łełyk Mateusz Chair: theories 1(CFT-1) A1 SYMPCommitmentsof foundational 26J Session Room 343 A1, A3 approach Dialogical justicationlogic.A basic Herrera Francisco Martínez 15:45 A3, C1,C6 modal operator abstracting actions Multi-modal mu-calculuswithpostfix Yamasaki Susumu 15:15

Fri, 9th Fri, 9th Rodrigo Lopez-Orellana Rodrigo and Redmond Juan 15:45 A2 for logicalconstants A notion of semanticuniqueness G.W.Sebastian Speitel 15:15 Simoroz Olha Chair: natural language3 A2 Semanticanalysisof logicsand Session 26M Room 302 A1 systems The Tarski equipollenceof axiom Mateusz Radzki 15:45 A1, B2,B4,C1 conceptual reduction of theories Generalized interpretability and Mirko Engler 15:15 Sedlár Igor Chair: A2 Modalities,changeandidentity3 Session 26L Room 301 B1, C8 Technoscience andphiloscience Ropolyi László 15:45

15:15–16:15

Chair: Sara Negri Sara Chair: (Glivenko-4) Glivenko’s theorem 90years after4 A1 SYMPProof and translation: 27C Session 152+153 Room C6 and AI Philosophizing onbigdata,datascience, Jens Ulrik Hansen 17:45 C6 Big datain life sciences Kossowska Helena 17:15 C6 challenge andnewestfrontier of bigdata Semantic interoperability: The oldest Leonelli Sabina 16:45 Primiero Giuseppe Chair: of the DLMPST (BigData-2) Philosophy of Computingdivision 2. Symposiumof theHistory and C6 SYMPPhilosophyof BigData 27A Session Room Janák break Coffee 16:15–16:45 A2 For a neutral gamesemantics Classical logicandschizophrenia: 16:45–18:15

B1 andbig datain astrophysics Partiality Making senseof defective information: Otávio Bueno and Ordaz Martinez Rosario Del Maria 17:45 B1 in science Quasi-truth anddefective situations Krause Décio and Arenhart Becker Jonas 17:15 B1 Disturbing truth FriendMichèle 16:45 Bueno Otávio Chair: defectiveness to pluralism 4(FCDP-4) B1 SYMPFrom contradiction to 27D Session Room 364 A1 theorem The Jacobsonradical andGlivenko’s Wessel Daniel Fellin and Peter Schuster, Giulio 17:15 A1 of entailment relation Ideals, idealization,anda hybridconcept Daniel Wessel 16:45 16:45–18:15

Chair: Gisela Boeck Gisela Chair: of the periodictable2(IYPT-2) B6 SYMPInternationalyear 27G Session Room 201 A2 of consequential implication Tableaux procedures forlogics Pizzi E.A. Claudio 16:45 Chair: Heinrich Wansing logic 3(NDCXL-3) A2 SYMPNewdirections in connexive 27F Session Room 250 B2 epistemic reasoning method Problem reduction asa general VojtasPeter Vojtas Michal and 17:15 B2 in discovery proof-events On thesignificanceof argumentation and Ioannis Vandoulakis Stefaneas Petros Almpani, Sofia 16:45 Millán JoanChair: Bertran-San B2 Heuristics 27E Session Room 401

Fri, 9th Fri, 9th A1 of truth theories Feasible reducibility andinterpretability EnayatAli 16:45 Łełyk Mateusz Chair: theories 2(CFT-2) A1 SYMPCommitmentsof foundational 27I Session Room 343 C3 for informationalparity Parity claimsin biologyanda dilemma Ruiz Ferreira María 16:45 Matsumoto Shunkichi Chair: C3 Informationin biology 27H Session Room 202 B6, C2 tables Values in scienceandearlyperiodic Karoliina Pulkkinen 17:15 B6, C2 periodic table of the A reflection ontheimportance Understanding thechemicalelement: Hijmans Sarah 16:45 16:45–18:15 Chair: Elisángela Ramírez-Cámara A1 Mathematicallogic4:Proof theory 27K Session Room 347 A3 Hyperintensions asabstract procedures Marie Duží 17:45 A3 in semantic programming On thecomplexityof formulas Ponomaryov and Ospichev Denis Sergey 17:15 A2, A3,B2,C5 information Learning subjunctive conditional Günther Mario 16:45 Delia Belleri Chair: A3 Semantics 27J Session Room 346 A1 of sets axiomatic truththeoriesbuiltover theory of typed Some semanticproperties Tomasz Michał Godziszewski 17:45 A1 Models of truththeories Wcisło Bartosz 17:15 A2 Logic of scales Ionel Narita 17:45 A2 action andreasoning about Counterfactuals Mahfuz Rahman Ansari and Avr Sarma 17:15 A2 sequent calculus DSTIT modalitiesthrough labelled Edi Pavlovic and Negri Sara 16:45 Šebela Karel Chair: A2 Modalities,changeandidentity4 27L Session Room 301 A1, A3 A non-trivial extensionforMs Nicolás-Francisco Ricardo Arturo 17:15 A1 equivalent to ADS A theorem mathematics of ordinary Carones Fiori Marta 16:45 16:45–18:15 Congress dinner 19:30 House Municipal restaurant – Plzeňská A2 Analysis of incorrect proofs Ivo Pezlar 17:15 A2 from compositionality, teamsandgames What isitlike to befirstorder? Lessons Pietro Galliani 16:45 Battilotti Giulia Chair: natural language4 A2 Semanticanalysisof logicsand 27M Session Room 302

Fri, 9th

Saturday, 10th August

Sa, 10th Sa, 10th 00:00 20:00 18:00 17:30 17:00 16:30 16:00 15:30 15:00 14:30 14:00 12:30 12:00 11:30 11:00 10:30 10:00 09:30 09:00 IdCFAS-2 C6 SYMP Session 29A IdCFAS-1 C6 SYMP Session 28A Baldwin-2 A1/A4/B1/C1 Session 31A (Baldwin-1) 1 theory Baldwin‘s mod A1/A4/B1 C1 Session 30A WEBPROVOC-3 B1/B5 Session 30B (WEBPROVOC-2) profession 2 Science asa B1/B5 SYMP Session 29B (WEBPROVOC-1) profession 1 Science asa B1/B5 SYMP Session 28B sciences of theformal C1 Philosophy Session 31C sm 3(FFIUM-3) C1 SYMPFormali Session 30C sm 2(FFIUM-2) C1 SYMPFormali Session 29C sm 1(FFIUM-1) C1 SYMPFormali Session 28C 16:45–18:15 Closingceremony 20:00–00:00 Closingparty 16:15–16:45 Coffee break 10:30–11:00 Coffee break 12:30–14:00 Lunch break - - - (SubStrE-1) epistemology 1 Substructural A2 SYMP Session 28D EAIBS-2 C4 SYMP Session 31D EAIBS-1 C4 SYMP Session 30D (SubStrE-2) epistemology 2 Substructural A2 SYMP Session 29D IS A1Malliaris Session 28E IS A2Wansing Session 30E IS C5Sullivan Session 29E Journal panel Session 28F TRLBPS-2 Session 31F TRLBPS-1 C1 SYMP Session 30F Teaching panel Session 29F neuroscience C3 Philosophyof Session 28G B3 SYMPCESC-4 Session 31G B3 SYMPCESC-3 Session 30G B3 SYMPCESC-2 Session 29G sciences and chemical of thephysical C2 Philosophy Session 31H B4 Metiss Session 30H traditional logic1 philosophy of A4 History and Session 28H thinking es inevolutionary C3 Historical issu Session 31I C3 Life sci Session 30I explanation C3 Evolution and Session 29I evolution C3 Philosophyof Session 28I - logic philosophical A3 Epistemicand Session 30J A1 Modeltheory Session 29J 1 (CESC-1) scientific cultures exchanges among munication and B3 SYMPCom Session 28J - physics 2 on ofquantum C2 Interpretati Session 31K physics 1 on ofquantum C2 Interpretati Session 30K traditional logic2 philosophy of A4 History and Session 29K B4 Time Session 28K - - C5 Cog&behsci Session 31L sciences and behavioral C5 Philofthecog Session 30L spacetime C2 Relativityand Session 29L havioral sciences the cogandbe- C5 Philosophyof Session 28L logic 5 A1 Mathematical Session 31M epistemology and formal C1 Formal philsci Session 30M logics 2 and probability A2 Many-valued Session 29M logics 1 and probability A2 Many-valued Session 28M

Sa, 10th Sa, 10th Liana Tukhvatulina Liana 10:00 B1, B5 the contextofsciencecommunication Scientists’ socialresponsibilities in Svetlana Shibarshina 09:30 B1, B5 The scientist’s dilemma:After Weber Ilya Kasavin 09:00 Kasavin Ilya Chair: crossroads 1(WEBPROVOC-1) and vocation. OnSTS’s interdisciplinary B1/B5 SYMPScienceasaprofession 28B Session Room 401 A2, A3,C6,C8 account ofproof-theoretic semantics Harmony, stability, andtheintensional Naibo TranchiniLuca Alberto and 09:30 A2, A3,C6,C8 Definitional identityinarithmetic Klev Ansten 09:00 Turner Raymond Chair: Symposium (IdCFAS-1) formal andappliedsystems1.HaPoC C6 SYMPIdentityincomputational 28A Session Room 402 9:00–10:30

Chair: Ondrej Majer (SubStrE-1) A2 SYMPSubstructural epistemology1 28D Session Room 364 C1 duality from doublenegation via topological The independenceofexcluded middle Moshier Andrew Michael 10:00 C1 mathematics andformalization experiments: Betweeninformal Mathematical vs.empiricalthought Buzzoni Marco 09:30 C1 in mathematics Formalisation andunderstanding Panza Marco 09:00 Chair: Gerhard Heinzmann (FFIUM-1) to formal systemsandbackagain1 mathematics: From informalpractice intuition andunderstandingin C1 SYMPFormalism, formalization, 28C Session 112+113 Room B1, B5 tower Breaking theivory Scientist asanexpert:

Sa, 10th Sa, 10th Chair: Hanne Andersen Journal panel 28F Session Gočár Room Complexity andmodeltheory Malliaris Maryanthe 09:00 Brech Christina Chair: A1 Invitedspeaker 28E Session Room Krejcar A2 modalities Priority merge andintersection Gratzl Roy Norbert and Zoé Christoff, Olivier 10:00 A2 Dunn Belnaplogic Non-classical probabilities over Rad Rafiee Soroush and Klein Majer, Dominik Ondrej 09:30 A2 on information Common belieflogicsbased Marta Bílková 09:00 9:00–10:30

Ioannis Vandoulakis Ioannis 10:00 A4 interpretation ofAristotelian Logic Sortal Karel Šebela 09:30 A4 of Aristotle andAvicenna Similarities anddifferences inthelogic Farrukh Khudoydodov 09:00 Besler Gabriela Chair: logic 1 A4 History andphilosophyoftraditional 28H Session Room 301 C3 in Neurophysiology Understanding CausalReasoning Karen Yan 09:30 C3 impulse propagation beachieved? and accurate understandingofnerve Modeling inneuroscience: Cancomplete Benjamin Drukarch and Holland Linda Regt, De Henk 09:00 Rudnicki Konrad Chair: C3 Philosophyofneuroscience 28G Session Room 250

B3 conceptual change Notations &translations ascatalystsof MuntersbjornMadeline 09:00 Chair: Nina Atanasova and otherformsofcirculation (CESC-1). Sharing,recycling, trading, exchanges amongscientificcultures 1 B3 SYMPCommunicationand 28J Session 152+153 Room C3, C5 of humanbehavior differences intheevolutionary analysis Theoretical andmethodological Saldaña David Villena 09:30 C3 evolutionary transitions inindividuality Fitness incommensurability and Adrian Stencel 09:00 Veigl Juliane Sophie Chair: C3 Philosophyofevolution 28I Session Room 201 A4 Parmenidean semantics Pythagorean arithmeticasamodelfor 9:00–10:30 C2 The direction oftime Johansson Lars-Göran 10:00 B4 of “cause” oftime(“source” oftime) philosophy oftime:V. I.Vernadsky’s idea Metaphysical issuesinmodern Tatiana Denisova 09:30 C2 tell usabouttime’s structure can(andcannot) What timesymmetry López Cristian 09:00 Delia Belleri Chair: B4/C2 Time 28K Session Room 302 B3, B6,C1 geometry practices inthecontextofenumerative and transformation oflist-making Avatars ofgenerality: Onthecirculation Michel Nicolas 10:00 B3 writings inChina in Square” in mathematical practices inchapter“Measures of mathematicalknowledgeand Elements ofcontinuityinthecirculation Zhou Xiaohan 09:30

Sa, 10th Sa, 10th Sergey Pavlov Sergey 10:00 A2, B2,C1,C2 Comparative logic infinitelottery Matthew Parker 09:30 A2 informal provability values: Anon-deterministiclogicof Combining truthvalues withprovability Pawel Pawlowski Rafal and Urbaniak 09:00 Chair: Enrico Brugnami A2 Many-valued andprobability logics1 28M Session Room 346 C5 neuroscience of theKantianprogram inmodern Numerical cognitionintheperspective Shevchenko TatyanaValentin and Bazhanov 09:30 C5, C6 Situated counting Peter Gardenfors and Quinon Paula 09:00 Hvorecký Juraj Chair: and behavioral sciences C5 Philosophyofthecognitive 28L Session Room 202 9:00–10:30 B1, B5 and “Old-European” semantics Max Weber’s distinctiontruth/value Antonovskiy Alexander 11:00 Kasavin Ilya Chair: crossroads 2(WEBPROVOC-2) and vocation. OnSTS’s interdisciplinary B1/B5 SYMPScienceasaprofession Session 29B Room 401 A2, A3,C6,C8 Organisationsand variable embodiments Ferrario Roberta 11:30 A2, A3,C6,C8 computational artefacts ofcopied Second order properties Angius and Primiero Nicola Giuseppe 11:00 Turner Raymond Chair: HaPoC Symposium(IdCFAS-2) formal andappliedsystems2. C6 SYMPIdentityincomputational 29A Session Room 402 10:30–11:00 break Coffee A2 -valued logicsemanticsofCL On conditionsofinference inmany- 11:00–12:30 2

C1 and understanding of incompletenessonformalization Gödel andCarnapontheimpact Wagner Pierre 12:00 C1 of incompleteness Gödel’s andPost’s proofs Walsh Patrick and Mate Szabo 11:30 C1 in Euclid’s geometry A formalizationoflogicandproofs Naibo Alberto 11:00 Chair: Gerhard Heinzmann (FFIUM-2) to formal systemsandbackagain2 mathematics: From informalpractice intuition andunderstandingin C1 SYMPFormalism, formalization, 29C Session 112+113 Room B1, B5 communication contemporary studiesofscience-society M. Weber’s “inconvenient facts”and Shipovalova Lada 12:00 B1, B5 Moral achievement ofascientist Dolmatov Anton 11:30 11:00–12:30

as acasestudy Translational cognitive neuroscience researchinterdisciplinary infrastructures: Creating epistemicallysuccessful Sullivan Jacqueline 11:00 Okada Mitsuhiro Chair: C5 Invitedspeaker Session 29E Room Krejcar A2 substructural logic Residuals andconjugatesinpositive Tedder Sedlar Andrew Igor and 12:00 A2, A3 logic Substructural propositional dynamic Igor Sedlár 11:30 A2 Algebraic semanticsforinquisitive logics Punčochář Vít 11:00 Majer Ondřej Chair: (SubStrE-2) A2 SYMPSubstructural epistemology2 Session 29D Room 364

Sa, 10th Sa, 10th Chair: Brice Bantegnie Brice Chair: C3 Evolution andexplanation 29ISession Room 201 B1, B3,C1 the historyofmathematics knowledge: acasestudyfrom the organization ofmathematical Characterizing asacultural system François Lê 11:30 B3 at theEcole Polytechnique J.-L. Lagrange inhisteachingofanalysis The epistemicvalues pursuedby between mathematicalcultures: The circulation ofepistemicvalues Xiaofei Wang 11:00 Chair: Vitaly Pronskikh of epistemologicalelements (CESC-2). Circulation exchanges amongscientificcultures 2 B3 SYMPCommunicationand 29G Session 152+153 Room 11:00 Witteveen Joeri Chair: Teaching panel Session 29F Room 250

11:00–12:30

Chair: Gabriela Besler Gabriela Chair: logic 2 A4 History andphilosophyoftraditional Session 29K Room 301 A1, A3 An institutionalapproach. Remarks onabstract logicaltopologies: Kiouvrekis Yiannis 11:30 A1 of asimpletheory On theforkingtopology ofareduct Ziv Shami 11:00 Chair: Elisángela Ramírez-Cámara A1 Modeltheory 29J Session Room 347 B4, C3 explain? How doevolutionary explanations Thomas Reydon 11:30 C3 to evo-devo models A scientific-understandingapproach Cortés-García David and Lopez-Orellana Rodrigo 11:00 C1, C2 of nature Symmetry, general relativity, andthelaws Stemeroff Noah 12:00 C2 spacetime theories in Dynamics andchronogeometry Acuña Pablo 11:30 B2, C2 relativity Theoretical equivalence andspecial Babic Joshua and Lorenzo Cocco 11:00 Kvasz Ladislav Chair: C2 Relativityandspacetime Session 29L Room 302 A4 and conversion ofabsolutepropositions on thediscussionsofcontradiction Avicennian tradition: IbnSahlānal-Sāwī Reception ofabsolutepropositons inthe Yusuf Dasdemir 11:30 A4 of concepts The intensionalandconceptualcontent Palomäki Jari 11:00 11:00–12:30 of MathematicalPractice andthePhilosophy Theory Comments onJohnBaldwin’s Model Andrew Arana 14:30 Introduction Juliette Kennedy 14:00 Kennedy Juliette Chair: (Baldwin-1) Philosophy ofMathematicalPractice 1 John Baldwin’s Model andthe Theory A1/A4/B1/C1 SYMPSymposiumon Session 30A Room 364 12:30–14:00 A1, A2,B2 How to learnequalityinthelimit Inductive inference andstructures: Mauro San Luca 11:30 A2, B1,B2,B4,C1,C9 all beonlyhalf-Bayesian Seeing anddoing,or, whyweshould Edwards Adam 11:00 Rybaříková Zuzana Chair: A2 Many-valued andprobability logics2 Session 29M Room 346 14:00–15:00

Lunch break Lunch

Sa, 10th Sa, 10th Antonutti Marfori Marianna and Eastaugh Benedict 14:30 C1 in mathematics The epistemicbasingrelation ToffoliSilvia De 14:00 Chair: Gerhard Heinzmann (FFIUM-3) to formalsystemsandbackagain3 mathematics: From informalpractice intuition andunderstandingin C1 SYMPFormalism, formalization, Session 30C 112+113 Room B6 of a‘scientist’ What’s inaname? To thehistory Sokolova Tatiana 14:30 B1, B5 mechanisms andvalues An engineer:Bridgingthegapbetween Chebotareva Elena 14:00 Kasavin Ilya Chair: crossroads 3(WEBPROVOC-3) and vocation. OnSTS’s interdisciplinary B1/B5 SYMPScienceasaprofession Session 30B Room 401 14:00–15:00 modal logics Proof systemsforvarious FDE-based Drobyshevich Heinrich Wansing and Sergey Chair: Yaroslav Shramko A2 Invitedspeaker Session 30E Room Krejcar B5, C4 in (medical)bigdata Solidarity andregulatory frameworks Puyol Angel 14:30 C4 The caseofmentaldisorders models ofabductionindiagnosis: The incompletenessofexplanatory Alger Sans 14:00 DavidChair: Casacuberta (EAIBS-1) innovations inbiomedicalsciences1 C4 SYMPEpistemicandethical Session 30D Room 346 C1 mathematics Epistemic aspectsofreverse

High-energy physicscultures during Pronskikh Vitaly and Petrukhina Polina 14:30 B3 of scientificcommunication The alienated/subjective character andGalina Irina Griftsova Sorina 14:00 Chair: Peeter Müürsepp (CESC-3). Practices ofcommunication exchanges amongscientificcultures 3 B3 SYMPCommunicationand Session 30G 152+153 Room C1 statistics between Bayesian philosophyand relation Constructing acomplimentary Matsuo Masahiro 14:30 C1 from alogicalpointofview Bayesian philosophyandstatistics Examination ofthelinkagebetween Takahashi Kazutaka 14:00 Matsuo Masahiro Chair: and statistics1(TRLBPS-1) of linkagebetweenBayesian philosophy C1 SYMP Toward thereconstruction Session 30F Room 250 14:00–15:00

A3 -physics A logicforanagentive naïve proto- Troquard Nicolas Kutz and Oliver 14:00 Kozachenko Nadiia Chair: A3 Epistemicandphilosophicallogic Session 30J Room 301 B1, B2,C3 of modelsandsimulations Mapping vs.representational accounts Hladky Michal 14:00 Trela Grzegorz Chair: C3 Philosophyofthelife sciences Session 30I Room 201 B4 metaphysics Towards ananalyticscientific Nikolay Milkov 14:00 Vera Vega Pablo Chair: in thephilosophyofscience B4 Metaphysicalissues Session 30H Room 302 B3 translations the ColdWar: Betweenexchanges and

Sa, 10th Sa, 10th C5 Eliminating pain AtanasovaNina 14:00 Simoroz Olha Chair: and behavioral sciences C5 Philosophyofthecognitive Session 30L Room 202 C2 of itsmanipulation? follow from thepossibility Does thereality ofthewave function TerekhovichVladislav 14:30 C2 by quantumchemistry About theworlddescribed Arriaga and Hernán Accorinti Jaimes A. Jesús Fortin, Sebastian 14:00 Battilotti Giulia Chair: C2 Interpretation ofquantumphysics1 Session 30K Room 402 A2, A3 reasoning and epistemiclogicto formalize human Splicing logics:Howto combinehybrid ÁlvarezDaniel Domínguez 14:30 14:00–15:00

of perception philosophy ofcomputationalmodeling A1 Should amathematicianread thisbook? Malliaris M. 15:15 Kennedy Juliette Chair: (Baldwin-2) Philosophy ofMathematicalPractice 2 John Baldwin’s Model andthe Theory A1/A4/B1/C1 SYMPSymposiumon 31A Session Room 364 A3, B2,C5 of Carnap’s inductive logic: perception constructedinterms Sensory Yuki Ozaki 14:30 B2, C5 for weaseling A computationalpragmatics Leander Vignero 14:00 Chair: Marta Bílková and formalepistemology C1 Formal philosophyofscience Session 30M Room 347 C5 dispositionalism The privilegeproblem forsemantic Andrea Guardo 14:30 15:15–16:15 D eveloping

C4 in biomedicalresearch Design epistemologyasinnovation Estany Anna 15:45 C4 in biosciences in ethicalandepistemicproblems Innovative tools forreaching agreements David Casacuberta 15:15 DavidChair: Casacuberta (EAIBS-2) innovations inbiomedicalsciences2 C4 SYMPEpistemicandethical 31D Session Room 346 C1 embedding? basis ofGödelembeddingandGirard What isthecommonconceptual YamasakiSakiko 15:15 Chair: Priyedarshi Jetli C1 Philosophyoftheformalsciences 31C Session 112+113 Room A1, A4,C1 of thebook problems arisinginthecontext Mathematical andphilosophical John Baldwin 15:45 15:15–16:15

A casestudyonthescientific innovation – Euclidean normsinthe13thcentury When Arabic algebraic problems met Fanglei Zheng 15:15 Chair: Karine Chemla of recycling (CESC-4). Comparingmodes exchanges amongscientificcultures 4 B3 SYMPCommunicationand 31G Session 152+153 Room C1 philosophy between Bayesian statisticsand frequentism statisticsiseasierthan The linkagebetweenBayesian and Kenichiro Shimatani 15:45 C1 Bayesian statistics. hypothesis, from theviewpointofneo- problems, stopping-rule and thecatch-all Revisiting thetwomajorstatistical YusakuOhkubo 15:15 Matsuo Masahiro Chair: and statistics2(TRLBPS-2) linkage betweenBayesian philosophy C1 SYMP Toward thereconstruction of 31F Session Room 250

Sa, 10th Sa, 10th Riedl –aconsequentrealization ofthe The evolutionary epistemologyofRupert Jordan Roman Otto 15:15 Simoroz Olha Chair: thinking C3 Historical issuesinevolutionary 31I Session Room 201 B2, B3,C2 of confirmationassessments Towards thereconciliation KingMartin 15:45 B1, C2 Applicability problems generalized Ginammi Michele 15:15 Ave Mets Chair: and chemicalsciences C2 Philosophyofthephysical 31H Session Room 302 B6, C1 mathematics circulation inmid-twentiethcentury in north-south andexpertise Experts Barany Michael 15:45 B3 transmission by thetransformation incross-cultural 15:15-16:45

Chair: Valeria Giardino Chair: and behavioral sciences C5 Philosophyofthecognitive 31L Session Room 202 C2 in Everettian quantummechanics In defence ofbranch counting Foad Dizadji-Bahmani 15:45 C2 as aphysicalinteraction The quantummeasurement PanagiotatouMaria 15:15 Parker Matthew Chair: C2 Interpretation ofquantumphysics2 31K Session Room 402 B6, C3 intelligent design Darwin’s causalargument against Hayley Clatterbuck 16:15 B6, C3,C4 investigation A historical andphilosophical The monogenesiscontroversy: Christopher Donohue 15:45 B1, C3 program ofnaturalizing epistemology?

Closing ceremony 16:45 Kotěra Room A1 Semilattices ofnumberings and Yamaleev Mars Mustafa Bazhenov,Nikolay Manat 16:15 A1 families oftheories On calculiandranks fordefinable Sudoplatov MarkhabatovNurlan and Sergey 15:45 A1, C1 Basic LawV An algebraic modelforFrege’s Giovanni Martino Marco 15:15 Hertel Joachim Chair: A1 Mathematicallogic5 31M Session Room 347 B4, C5 A newhypothesisfornatural kinds kinds thatare natural kinds? Why cognitive kindscan’t bethekindof Karmaly Sajjad 15:15 15:15-16:45

the lecture. onehourbeforewill beserved A lightrefreshment andwelcomedrink indeterminacy Ramsification andsemantic What ifmeaningisindeterminate? University, Munich) Maximilian (Ludwig Leitgeb Hannes 18:00–19:00 (joint event with LogicColoquium2019) lecture plenary Public Kotěra Room Prague, in Technical University Czech Architecture, of Faculty 11 August 2019 Closing party 20:00 Academy of Sciences Czech the of Philosophy of Institute

Sa, 10th Notes Notes Notes Notes Notes Notes Notes Notes Notes Notes Notes Organizers / Partners

Organizers

Partners Graphic design by Markéta Jelenová