Loading…
This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own

View analytic

Sign up or log in to bookmark your favorites and sync them to your phone or calendar.

Monday, August 3
 

09:00

Registration

You will find the conference registration and information desk on the ground floor of the new side of Main Building (Fabianinkatu 33). If you have registered online for CLMPS 2015, you should come and pick your conference material from the Main Building registration desk before attending any sessions. On-site registration is also possible.

The registration desk accepts ONLY CASH PAYMENTS. If you need to pay your registration fee or some other conference services by cash, please bring with you the exact sum.

The registration and information desk will be in your service

Monday :        9:00 – 18:45
Tuesday:        8:45 – 19:15
Wednesday:  8:45 – 19:00 
Thursday:       8:45 – 19:15
Friday:            8:45 – 19:15
Saturday:       9:45 – 18:15

 


Monday August 3, 2015 09:00 - 14:30
Main Building Lobby Fabianinkatu 33

12:00

Special session on CLMPS 2015 conference theme: Models and Modelling
3 August 12:00PM – 01:00PM


SPEAKER AND TITLE

Confirmation Theory for Idealized Models
Michael Weisberg
University of Pennsylvania, USA

Chairs
avatar for Elliott Sober

Elliott Sober

professor, university of wisconsin - madison

Speakers
avatar for Michael Weisberg

Michael Weisberg

University of Pennsylvania, Philadelphia



Monday August 3, 2015 12:00 - 13:00
Main Building, Room 1

13:00

Lunch

Lunch at the Main Building Unicafe (Fabianinkatu 33, co-located with LC 2015) for participants who have purchased the additional lunch package (60,60 €).



Monday August 3, 2015 13:00 - 14:30
Main Building Unicafe Fabianinkatu 33

14:30

Opening for CLMPS 2015 and LC2015
The opening ceremony is also open for avecs!

The opening ceremony will be streamed online on Monday 3 August:
http://video.helsinki.fi/Arkisto/flash.php?id=20446

Detailed program:
  • 14.30-14.35: Video on Finland / University of Helsinki 
  • 14.35-14.45 Anna Mauranen, Vice Rector, University of Helsinki

  • 14.45-15.00 Music by YL Double Quartet

  • 15.00-15.10 Elliott Sober, President, Division of Logic, Methodology and Philosophy of Science (DLMPS)
  • 15.10-15.20 Alasdair Urquhart, President, Association for Symbolic Logic (ASL) and Patricia Blanchette, Association for Symbolic Logic (ASL), Membership committee
  • 15.20-15.30 Gordon McBean, President, International Council for Science

  • 15.30-15.50 Music by YL Double Quartet

  • 15.50-16.00 Ilkka Niiniluoto, Chair of the Local Organizing Committee, CLMPS 2015
  • 16.00-16.10 Hannes Leitgeb, Chair of the Programme Committee, CLMPS 2015
  • 16.10-16.20 Jouko Väänänen, Chair of the Local Organizing Committee, LC 2015
  • 16.20-16.30 Dag Westerståhl, Chair of the Programme Committee, LC 2015

 

 

 

 

Monday August 3, 2015 14:30 - 16:30
Main Building Great Hall Fabianinkatu 33

16:30

Coffee
Monday August 3, 2015 16:30 - 17:00
Main Building, Teachers' Lounge Fabianinkatu 33

17:00

Plenary Lecture: Johan van Benthem
3 August, 05PM –  06:30PM



SPEAKER AND TITLE

Logic in Play

Johan van Benthem
Amsterdam, Stanford, and Tsinghua University

The lecture will be streamed online:
http://video.helsinki.fi/Arkisto/flash.php?id=20447 

Chairs
IN

Ilkka Niiniluoto

University of Helsinki

Speakers
JV

Johan van Benthem

University of Amsterdam



Monday August 3, 2015 17:00 - 18:30
Main Building Great Hall Fabianinkatu 33

18:30

University Reception
The University of Helsinki welcomes the congress participants by treating them to a wine and salad buffet after the first congress-opening day.

NOTE: The number of participants at the University Reception is limited. The earlier you register for CLMPS 2015, the more likely you will get the right to participate in the University Reception (by choosing the participation on the registration form).

The reception is also open for avecs!

Monday August 3, 2015 18:30 - 20:00
Main Building, Teachers' Lounge Fabianinkatu 33
 
Tuesday, August 4
 

09:00

Logical, Modelling and Philosophical Foundations of Science - Historical Development, Current Investigations and Perspectives I
4 August 9:00AM – 10:30AM

Organized by
Boris Chendov, independent scholar
Peeter Müürsepp, Tallinn University of Technology
Arto Mutanen, Finnish National Defence University

SPEAKERS AND TITLES

9:30 – 10:30
Abstract structures of logistic as a complex theory unifying methodology of S-modelling and logic of science – research programme
Boris Chendov, independent scholar

An extension of EVIDENCE LOGIC: providing a foundational framework for mathematical epistemology
Don Faust, Northern Michigan University

 

Chairs
PM

Peeter Müürsepp

Tallinn University of Technology

Speakers
BC

Boris Chendov

(independent scholar)
DF

Don Faust

Northern Michigan University



Tuesday August 4, 2015 09:00 - 10:30
Main Building, Auditorium IV

09:00

The Legacy of Joachim Lambek (FoLLI affiliated meeting) I
4 August 9:00 AM – 11:00 AM

Organized by:

Michael Moortgat, Utrecht University
Philip Scott, University of Ottawa


SPEAKERS AND TITLES

Lambek's proof theory (45 min)

Kosta Dosen, Mathematical Institute, Serbian Academy of Sciences and Arts

Stack representation for pretopoi: Towards logical schemes (45 min)
Steve Awodey, Carnegie Mellon University

Chairs
MM

Michael Moortgat

Utrecht University
PS

Philip Scott

University of Ottawa

Speakers
SA

Steve Awodey

Carnegie Mellon University
KD

Kosta Dosen

Mathematical Institute, Serbian Academy of Sciences and Arts


Lambek pdf

Tuesday August 4, 2015 09:00 - 10:30
Main Building, Room 3 Fabianinkatu 33

09:00

Plenary Lecture: Rachel Ankeny
4 August, 09:00AM – 10:30AM

SPEAKER AND ABSTRACT

Repertoires: How to Transform a Project into a Research Community

Rachel A. Ankeny, University of Adelaide, AUSTRALIA
Sabina Leonelli, University of Exeter, UNITED KINDOM

Chairs
GH

Gerhard Heinzmann

Université de Lorraine

Speakers
RA

Rachel Ankeny

University of Adelaide




Tuesday August 4, 2015 09:00 - 10:30
Main Building, Room 1

09:20

Let’s act! - Formal models of collective agency, intention, and responsibility I
4 August 9:20AM – 10:30AM

Organized by
Frederik Van De Putte, Ghent University

SPEAKERS AND TITLE

9:30 – 10:30

Collective obligations, group plans, and individual actions
Hein Duijf, University of Utrecht (REINS Project), NETHERLANDS
Allard Tamminga, University of Utrecht and University of Groningen, NETHERLANDS





Chairs
FV

Frederik Van De Putte

Ghent University

Speakers
HD

Hein Duijf

PhD, Utrecht University



Tuesday August 4, 2015 09:20 - 10:30
Main Building, Room 5

10:30

Coffee
Tuesday August 4, 2015 10:30 - 11:00
Main Building, new side Fabianinkatu 33

11:00

Let’s act! - Formal models of collective agency, intention, and responsibility II
4 August 11:00AM – 1:00PM

Organized by
Frederik Van De Putte, Ghent University

SPEAKERS AND TITLES

11:00 – 12:00
Group agents – do they make sense?
Gillman Payette, University of British Columbia

12:00 – 13:00
Action, influence and responsibility
Emiliano Lorini, IRIT, Toulouse


Chairs
FV

Frederik Van De Putte

Ghent University

Speakers
GP

Gillman Payette

Postdoctoral Fellow, University of British Columbia
Logic of group action
MS

Marek Sergot

Imperial College



Tuesday August 4, 2015 11:00 - 13:00
Main Building, Room 5

11:00

Logical, Modelling and Philosophical Foundations of Science - Historical Development, Current Investigations and Perspectives II
4 August 11:00AM – 1:00PM

Organized by
Boris Chendov, independent scholar
Peeter Müürsepp, Tallinn University of Technology
Arto Mutanen, Finnish National Defence University

SPEAKERS AND TITLES

11:00 – 13:00
About Scientific Explanation
Arto Mutanen, Finnish National Defence University

Interrogative Model of Explanation: New Perspectives
Ilpo Halonen, University of Helsinki

About Syntactic Representation of Logical Matrix
Sergey A. Pavlov, Institute of Philosophy at the RAS

Methodological reflections on non-standard logics, their relations to empirical sciences,
and Tarski’s notion of ‘semantically complete’ language

Koji KN Nakatogawa, Hokkaido University



Chairs
PM

Peeter Müürsepp

Tallinn University of Technology

Speakers
IH

Ilpo Halonen

University of Helsinki
AM

Arto Mutanen

Finnish National Defence University
KK

Koji KN Nakatogawa

Hokkaido University
SA

Sergey A. Pavlov

Institute of Philosophy at the RAS



Tuesday August 4, 2015 11:00 - 13:00
Main Building, Auditorium IV

11:00

The Legacy of Joachim Lambek (FoLLI affiliated meeting) II
4 August 11:00 AM – 1:00 PM

Organized by:

Michael Moortgat, Utrecht University
Philip Scott, University of Ottawa


SPEAKERS AND TITLES

Monoidal Turing Categories and Linear Combinatory Algebras
Robin Cocket, University of Calgary

On syntactic interpretations in Full Lambek Calculus
Wojciech Buszkowski, Adam Mickiewicz University, Poznan

Algebraic Foundations and the work of J. Lambek
Philip Scott, University of Ottawa




Chairs
MM

Michael Moortgat

Utrecht University
PS

Philip Scott

University of Ottawa

Speakers
WB

Wojciech Buszkowski

Adam Mickiewicz University, Poznan
RC

Robin Cockett

University of Calgary



Tuesday August 4, 2015 11:00 - 13:00
Main Building, Room 3 Fabianinkatu 33

11:00

Session of IASCUD (International Association for Science and Cultural Diversity) I
4 August, 11:00AM – 01:00PM

ORGANIZER
Kenji Ito, President IASCUD

SPEAKERS AND TITLES

The role of (visual) representations in mathematics

Jessica Carter, University of Southern Denmark, Odense, DENMARK

An appraisal of presenting mathematics in metrical form from a socio-cultural perspective 
Krishnamurthi Ramasubramanian, Indian Institute of Technology, Bombay, INDIA

On the project ‘Culture of Mathematical Research Training’
Benedikt Löwe, Universiteit van Amsterdam, The Netherlands & Universität Hamburg, GERMANY; University of Cambridge, ENGLAND; Assessor of IASCUD

Chairs
Speakers
BL

Benedikt Löwe

Universiteit van Amsterdam & Universität Hamburg



Tuesday August 4, 2015 11:00 - 13:00
Main Building, Room 7 Fabianinkatu 33

11:00

A2.1 Philosophical Logic
4 August 11:00 – 13:00

SPEAKERS AND TITLES

30 min break (due to the cancellation of Aaron Thomas-Bolduc's presentation)

Deflationism and the meaning of Gödel’s sentence
Aleksandr Khlebalin, logic and epistemology, Institute of philosophy and law of Siberian branch, Novosibirsk, RUSSIAN FEDERATION 

30 min break (due to the cancellation of Andy Yu's presentation)

On the simplicity of truth
Giulia Terzian, Philosophy, University of Bristol, Bristol, UNITED KINGDOM


Chairs
GS

Gabriel Sandu

University of Helsinki

Speakers
avatar for Aleksandr Khlebalin

Aleksandr Khlebalin

Institute of philosophy and law of Siberian branch
GT

Giulia Terzian

University of Bristol



Tuesday August 4, 2015 11:00 - 13:00
Main Building, Room 8 Fabianinkatu 33

11:00

A4.1 Historical Aspects of Logic / Ancient logic
4 August 11:00 – 13:00

SPEAKERS AND TITLES

Why Does Formal Deductive Logic Start With the Classical Greeks?
Michael Shenefelt, Liberal Studies, New York University, New York, USA 
Heidi White, New York University, New York, USA

30 min break (due to the cancellation of Mathieu Marion's presentation)

Negation and truth in Greek mathematics and philosophy
Ioannis Vandoulakis, School of Humanities, The Hellenic Open University, Athens, GREECE

Redundancy and the Stoic Themata
John Woods, Philosophy, Bilkent University, Bilkent, Ankara, TURKEY

Chairs
HW

Heidi White

New York University

Speakers
MS

Michael Shenefelt

New York University
IV

Ioannis Vandoulakis

The Hellenic Open University
JW

John Woods

Bilkent University



Tuesday August 4, 2015 11:00 - 13:00
Main Building, Room 17

11:00

B1.1 Methodology
4 August 11:00 – 13:00

SPEAKERS AND TITLES

30 min break (due to the cancellation of Marian Zouhar's presentation)

Contexts for philosophy: How can novel contexts in synthetic biology help philosophy of science?
Petri Turunen, Department of political and Economic studies, University of Helsinki, HELSINKI, FINLAND
Tero Ijäs, Department of political and Economic studies, University of Helsinki, HELSINKI, FINLAND

A Hessian Approach to Analogical Reasoning in Theory Construction
Ruey-Lin Chen, Philosophy, National Chung Cheng University, Chia-Yi, TAIWAN
Jean-Sebastien Bolduc, Laboratoire de Biométrie et Biologie Evolutive, Université Claude Bernard Lyon 1, Lyon, FRANCE

A Frame-Based Approach for Operationalized Concepts
Stephan Kornmesser, Institute of Philosophy, University of Oldenburg, Oldenburg, GERMANY


Chairs
TI

Tero Ijäs

University of Helsinki

Speakers
RC

Ruey-Lin Chen

National Chung Cheng University
SK

Stephan Kornmesser

University of Oldenburg
PT

Petri Turunen

Doctoral student, University of Helsinki



Tuesday August 4, 2015 11:00 - 13:00
Main Building, Room 13 Fabianinkatu 33

11:00

B2.1 Formal Philosophy of Science and Formal Epistemology
4 August 11:00 AM – 01:00 PM

SPEAKERS AND TITLES

30 min break (due to the cancellation of Philippe van Basshuysen's presentation)

Coherentism, pluralism and the problem of measure sensitivity
Michael Schippers, Department of Philosophy, University of Oldenburg, Oldenburg, GERMANY

Carnap's Relevance Measure as Probabilistic Measure of Coherence
Jakob Koscholke, Philosophy Department, University of Oldenburg, Oldenburg, GERMANY


Chairs
MS

Michael Schippers

University of Oldenburg

Speakers
JK

Jakob Koschoike

University of Oldenburg



Tuesday August 4, 2015 11:00 - 13:00
Main Building, Room 15 Fabianinkatu 33

11:00

B3.3 Metaphysical Issues in the Philosophy of Science
4 August 11:00AM – 01:00PM

SPEAKERS AND TITLES

Modal Epistemology and Scientific Classifications: Evolutionary Scenarios as Possible Worlds and Bayesian Inference
Elizabeth Martínez-Bautista, Philosophy of Science, IIF-UNAM, Mexico DF, MEXICO

30 min break (due to the cancellation of Sergio Gallegos' presentation)

Grounds and Structures. A Discussion on a Possible Metaphysical Framework
Bianca Savu, Theoretical Philosophy and Logic, University of Bucharest, Faculty of Philosophy, Bucharest, ROMANIA

Antique atomism, modern physics and structural realism
Elena Mamchur, Philosophical Issues in Natural Science, Institute of Philosophy RAS, Moscow, RUSSIAN FEDERATION


Chairs
Speakers
EM

Elena Mamchur

Institute of Philosophy RAS
avatar for Bianca Savu

Bianca Savu

University of Bucharest, Faculty of Philosophy



Tuesday August 4, 2015 11:00 - 13:00
Main Building, Room 12

11:00

C1.1 Philosophy of the Formal Sciences
4 August 11:00AM – 01:00PM

SPEAKERS AND TITLES

Penelope Maddy between realism and naturalism
Ladislav Kvasz, Institute of Philosophy, Academy of Sciences , Prague, CZECH REPUBLIC

The Subject of Mathematics
Elzbieta Kaluszynska, Instytut Filozofii i Socjologii, Polish Academy of Science, Swietajno, POLAND

Why believe there are infinite sets?
Andrei Marasoiu, Philosophy, University of Virginia, Charlottesville, VA, USA

Is There an Objective Account of Mathematical Depth?
Susan Vineberg, Philosophy, Wayne State University, Detroit, USA


Chairs
SV

Susan Vineberg

Wayne State University

Speakers
EK

Elzbieta Kaluszynska

Polish Academy of Science
LK

Ladislav Kvasz

Academy of Sciences
avatar for Andrei Marasoiu

Andrei Marasoiu

PhD student, University of Virginia
philosophy of mind and of cognitive science, semantics, logic and foundations of mathematics



Tuesday August 4, 2015 11:00 - 13:00
Main Building, Room 10 Fabianinkatu 33

11:00

C2.1 Philosophy of the Physical Sciences
4 August 11:00AM – 01:00PM

SPEAKERS AND TITLES


Einsten’s Criticism of Quantum Mechanics and Humean Philosophy
Morita Kunihisa, Faculty of Arts and Science, Kyushu University, Fukuoka, JAPAN 



A Discrete Solution for the Paradox of Achilles and the Tortoise
Vincent ARDOUREL, History of Physics, University Lille 1, Villeneuve-d'Ascq, FRANCE 



Measurement in Berkeley's philosophy
Ozaki Yuki, Graduate school of science, Hokkaido university, Sapporo, JAPAN

 

Chairs
VA

Vincent Ardourel

University Lille 1

Speakers
MK

Morita Kunihisa

Kyushu University
OY

Ozaki Yuki

Hokkaido university



Tuesday August 4, 2015 11:00 - 13:00
Main Building, Room 6

11:00

C3.1 Philosophy of the Life Sciences
4 August 11:00AM – 01:00PM

SPEAKERS AND TITLES

Evolutionary explanations
Susanne Hiekel, Insitute for philosophy, University Duisburg-Essen, Essen, GERMANY

The plant and the pollinator tale: or how to take teleology seriously and yet not be a Lamarkian?
Iñigo Ongay de Felipe, Fundación Gustavo Bueno., Fundación Gustavo Bueno, Oviedo, SPAIN

Explanatory unification and statistical interpretations of natural selection and drift
Stefan Petkov, Institute of Science, Technology and Society, Tsinghua University, Beijing, CHINA

Functions at the interface of biology and technology: synthetic biology, cultivated biology and coevolution
Elselijn Kingma, Philosophy & Ethics, Eindhoven, Eindhoven, NETHERLANDS
 

Chairs
avatar for Elselijn Kingma

Elselijn Kingma

Lecturer/Professor in Philosophy, Southampton & Eindhoven
Elselijn Kingma is Lecturer in Philosophy at the University of Southampton, UK, and Socrates Professor in philosophy and technology in the Humanist Tradition, at the University of Eindhoven, the Netherlands. | | Elselijn's research focuses on philosophy of medicine (concepts of health and disease and the epistemology of Evidence Based Medicine); applied ethics ('trust' in medical interactions and rights, interests and obligations in... Read More →

Speakers
IO

Iñigo Ongay de Felipe

Fundación Gustavo Bueno
avatar for Susanne Hiekel

Susanne Hiekel

University Duisburg-Essen
SP

Stefan Petkov

Tsinghua University



Tuesday August 4, 2015 11:00 - 13:00
Main Building, Room 4

11:00

C4.1 Philosophy of the Cognitive and Behavioural Sciences
4 August 11:00AM – 01:00PM

SPEAKERS AND TITLES

In virtue of what do personality traits explain?
Lilia Gurova, Cognitive Science and Psychology, New Bulgarian University, Sofia, BULGARIA

Integrating and unifying cognitive science using mechanisms
Marcin Milkowski, Section of Logic and Cognitive Science, Institute of Philosophy and Sociology PAS, Warszawa, POLAND

Some Theoretical and Metatheoretical Issues in Computer Brain-inspired Projects:
reflecting on Early Cybernetics looking to the present Neocybernetic projects.
Leone Montagnini, Manager of the Office for Scientific Culture, Librarian Metropolitan System of Rome, ROME, ITALY
 
  

Chairs
LM

Leone Montagnini

Librarian Metropolitan System of Rome

Speakers
LG

Lilia Gurova

New Bulgarian University
avatar for Marcin Milkowski

Marcin Milkowski

Associate Professor, Institute of Philosophy and Sociology PAS
I am a philosopher of cognitive science, with some background in computational linguistics. I focus on computational modeling in cogsci, as well as on mechanistic explanation. I have recently published a book Explaining the Computational Mind (MIT Press, 2013) on computational explanatory models in cogsci. Please find most of my papers on my academia page. | | I also started a project on unifying and integrating cogsci. This is where... Read More →



Tuesday August 4, 2015 11:00 - 13:00
Main Building, Room 14 Fabianinkatu 33

11:00

C5.1 Philosophy of the Humanities and the Social Sciences + C6.4 Philosophy of the Applied Sciences and Technology
4 August 11:00AM – 01:00PM

SPEAKERS AND TITLES

What explains economics imperialism?
Robert Northcott, Philosophy, Birkbeck College, London, UNITED KINGDOM

30 min break (due to the cancellation of Jennifer Jhun's presentation)

How and Why Models Are Not Experiments – Epistemological Trouble in Economic Science
Olga Koshovets, Philosophy and Methodology of Economics, Russian Academy of Sciences` Institute of Economic, Moscow, RUSSIAN FEDERATION

Philosophical Problems of Information and Network Societies
Naira Danielyan, Philosophy and Sociology, National Research University of Electronic Technol, Moscow, RUSSIAN FEDERATION

 

Chairs
RN

Robert Northcott

Birkbeck College

Speakers
ND

Naira Danielyan

National Research University of Electronic Technol
OK

Olga Koshovets

Russian Academy of Sciences` Institute of Economic



Tuesday August 4, 2015 11:00 - 13:00
Main Building, Room 16

11:00

A3. Invited Session: Computational Logic and Applications of Logic
4 August, 11:00AM – 01:00PM

SPEAKERS AND TITLES

Syntactic Epistemic Logic
Sergei Artemov

A Logical Revolution
Moshe Y. Vardi
, Rice University, USA


Chairs
YM

Yoram Moses

Technion, Israel Institute of Technology

Speakers
SA

Sergei Artemov

City University of New York
avatar for Moshe Vardi

Moshe Vardi

George Distinguished Service Professor in Computational Engineering, Rice University



Tuesday August 4, 2015 11:00 - 13:00
Main Building, Small Hall

11:00

B4. Invited Session: Ethical and Political Issues in the Philosophy of Science
4 August, 11:00AM – 01:00PM

SPEAKERS AND TITLES


Rationality at the science-policy interface
Sven Ove Hansson, KTH Royal Institute of Technology, Stockholm, SWEDEN

Biodiversity and Bio-patenting:
Constructive Challenges of Scientific Research
Sang-Wook Yi, Department of Philosophy, Hanyang University, Seoul,  SOUTH KOREA

Chairs
TI

Tetsuji Iseda

Kyoto University

Speakers
SO

Sven Ove Hansson

KTH Royal Institute of Technology, Stockholm
SY

Sang-Wook Yi

Hanyang University, Seoul



Tuesday August 4, 2015 11:00 - 13:00
Main Building, Room 1

11:00

Truth and Paradox: wither the future?
4 August 11:00 AM – 01:00 PM


SPEAKERS AND TITLES

Necessities and Necessary Truths Revisited
Volker Halbach, University of Oxford

Definability of Truth and Intensional Context
Dora Achourioti, University of Amsterdam

Disquotation and Deflationism
Thomas Schindler, MCMP and Lavinia Picollo, University of Buenos Aires

Reflection, Truth, Entitlement
Leon Horsten, University of Bristol

Speakers
TA

Theodora Achourioti

University of Amsterdam
VH

Volker Halbach

University of Oxford
LH

Leon Horsten

University of Bristol
LP

Lavinia Picollo

University of Buenos Aires



Tuesday August 4, 2015 11:00 - 13:00
Main Building, Auditorium II Fabianinkatu 33

13:00

Lunch
Lunch at the Main Building Unicafe (Fabianinkatu 33, co-located with LC 2015) for participants who have purchased the additional lunch package (60,60 €).

Tuesday August 4, 2015 13:00 - 14:30
Main Building Unicafe Fabianinkatu 33

14:30

Let’s act! - Formal models of collective agency, intention, and responsibility III
4 August 2:30AM – 4:30PM

Organized by
Frederik Van De Putte, Ghent University

SPEAKERS AND TITLES

14:30 – 15:30
Objectivity versus subjectivity and contribution versus avoidance in a formal theory of shared responsibility
Jan Broersen, University of Utrecht

15:30 – 16:30
Knowledge based oughts for groups and individuals
Eric Pacuit, University of Maryland



Chairs
FV

Frederik Van De Putte

Ghent University

Speakers
JB

Jan Broersen

University of Utrecht
EL

Emiliano Lorini

Centre National de la Recherche Scientifique



Tuesday August 4, 2015 14:30 - 16:30
Main Building, Room 5

14:30

Logical, Modelling and Philosophical Foundations of Science - Historical Development, Current Investigations and Perspectives III
4 August 2:30PM – 4:30PM

Organized by
Boris Chendov, independent scholar
Peeter Müürsepp, Tallinn University of Technology
Arto Mutanen, Finnish National Defence University

SPEAKERS AND TITLES

14:30 – 16:30

Which Empiricism – Standard or Aim-Oriented?
Peeter Müürsepp, Tallinn University of Technology

On the Limits of Knowledge
Enn Kasak, University of Tartu

A Contextual View of Science
Sumei Cheng, Shanghai Academy of Social Sciences

Is the Third Wave of Science Studies Coming? : Comment on Harry Collins’ Philosophy of Expertise
Zhang Fan, Shanghai Academy of Social Sciences




Chairs
AM

Arto Mutanen

Finnish National Defence University

Speakers
ZF

Zhang Fan

Shanghai Academy of Social Sciences
EK

Enn Kasak

University of Tartu
PM

Peeter Müürsepp

Tallinn University of Technology
CS

Cheng Sumei

Shanghai Academy of Social Sciences



Tuesday August 4, 2015 14:30 - 16:30
Main Building, Auditorium IV

14:30

The Legacy of Joachim Lambek (FoLLI affiliated meeting) III
4 August 2:30 PM – 4:30 PM

Organized by:

Michael Moortgat, Utrecht University
Philip Scott, University of Ottawa


SPEAKERS AND TITLES

Quantum theory ∧ grammar = Lambek
Bob Coecke, University of Oxford

Quantifiers and scope in pregroup grammar
Claudia Casadio, University of Chieti

Linear algebraic semantics for natural language through Lambek’s pregroups
Mehrnoosh Sadrzadeh, Queen Mary University of London


Chairs
MM

Michael Moortgat

Utrecht University
PS

Philip Scott

University of Ottawa

Speakers
avatar for Claudia Casadio

Claudia Casadio

Professor Logic and Philosophy of Science, University of Chieti
Logic, Languages and Linguistics, Cognitive Science, Neuroscience, Philosophy of Mind, Knowledge Management, Philosophy of Language, Computational Linguistics, Metaphor, Logic and Language, Philosophy of logic, philosophy of mathematics, and philosophy of science, Cognitive Psychology
BC

Bob Coecke

University of Oxford
MS

Mehrnoosh Sadrzadeh

Queen Mary University of London



Tuesday August 4, 2015 14:30 - 16:30
Main Building, Room 3 Fabianinkatu 33

14:30

Session of IASCUD - Science and Cultural Diversity: Integrating Historical and Philosophical Aspects II
04 August, 02:30PM – 04:30PM

ORGANIZER
Kenji Ito, President IASCUD


SPEAKERS AND TITLES

Science and cultural diversity: the problem of Orientalism
Kenji Ito, The Graduate University for Advanced Studies, Hayama, JAPAN; President of IASCUD

Same ascriptions, different methods?
Smita Sirker, Jadavpur University, Kolkata, INDIA




Tuesday August 4, 2015 14:30 - 16:30
Main Building, Room 7 Fabianinkatu 33

14:30

A2.2 Philosophical Logic
4 August 02:30PM – 04:30PM

SPEAKERS AND TITLES

Towards a Non-Fregean Axiomatic Theory of Truth
Joanna Golinska-Pilarek, Institute of Philosophy, University of Warsaw, Warsaw, POLAND
Taneli Huuskonen, University of Helsinki, Department of Mathematics , Helsinki, FINLAND

Homotopy Model Theory
Brice Halimi, Philosophy, University Paris Ouest, Nanterre, FRANCE

Epistemic Truth-Values
Fabien Schang, Philosophy, National Research University, HSE, Moscow, Moscow, RUSSIAN FEDERATION

An assumption-based logic for the analysis of inconsistent premises
Jesse Heyninck, Institute for Philosophy II, Ruhr-University Bochum, Bochum, GERMANY
Christian Straßer, Institute for Philosophy II, Ruhr-University Bochum, Bochum, GERMANY

Chairs
avatar for Brice Halimi

Brice Halimi

Associate Professor, University Paris Ouest

Speakers
JG

Joanna Golinska-Pilarek

University of Warsaw
JH

Jesse Heyninck

Ruhr-University Bochum
avatar for Fabien Schang

Fabien Schang

National Research University, HSE, Moscow
CS

Christian Straßer

Ruhr-University Bochum



Tuesday August 4, 2015 14:30 - 16:30
Main Building, Room 8 Fabianinkatu 33

14:30

A2.3 Philosophical Logic
4 August 02:30PM– 04:30PM


SPEAKERS AND TITLES

A Lattice of Fundamental Four-Valued Modal Logics
Alexander Karpenko, Logic, Institute of Philosophy of RAS, Moscow, RUSSIAN FEDERATION



Reflexive insensitive modal logics
David Gilbert, Philosophy, State University of Campinas, Campinas, BRAZIL
Giorgio Venturi, State University of Campinas, Campinas, BRAZIL


Causal Models, Conditional Logic, and Cycles of Counterfactual Dependence
Jiji Zhang, Philosophy, Lingnan University, Hong Kong, HONGKONG
Wai-Yin Lam, HKU SPACE Community College, Hong Kong, HONGKONG

The Curious Status of the Principle of Conditional Non-Contradiction
Matthias Unterhuber, Department of Philosophy, University of Bern, Bern, SWITZERLAND

Chairs
JZ

Jiji Zhang

Lingnan University

Speakers
DG

David Gilbert

State University of Campinas
AK

Alexander Karpenko

Institute of Philosophy of RAS
MU

Matthias Unterhuber

University of Bern



Tuesday August 4, 2015 14:30 - 16:30
Main Building, Room 13 Fabianinkatu 33

14:30

B1.2 Methodology
4 August 02:30PM– 04:30PM

SPEAKERS AND TITLES

The Challenges of Incommensurability to Comparative Philosophy
Xinli Wang, Philosophy, Juniata College, HUNTINGDON, USA



Kuhnian Turn in Scientific Rationality
In-Rae Cho, Philosophy, Seoul National University, Seoul, SOUTH KOREA



Progress across revolutionary change in science
Collier John, Philosophy, University of KwaZulu-Natal, Durban, SOUTH AFRICA

Why the Function of Concepts Matters
Hyundeuk Cheon, Institute for the Humanities, Ewha Womans University, Seoul, SOUTH KOREA

Chairs
avatar for John Collier

John Collier

Senior Research Associate, University of KwaZulu-Natal

Speakers
avatar for Hyundeuk Cheon

Hyundeuk Cheon

Ewha Womans University
IC

In-Rae Cho

Seoul National University
XW

Xinli Wang

Juniata College



Tuesday August 4, 2015 14:30 - 16:30
Main Building, Room 17

14:30

B2.2 Formal Philosophy of Science and Formal Epistemology
4 August 02:30PM– 04:30PM

SPEAKERS AND TITLES

Intervention and Decision
Christopher Hitchcock, Division of Humanities and Social Sciences, California Institute of Technology, Pasadena, USA

Causality as a theoretical concept, intervention assumptions, and empirical content
Alexander Gebharter, DCLPS, University of Duesseldorf, Duesseldorf, GERMANY
Gerhard Schurz, DCLPS, University of Duesseldorf, Duesseldorf, GERMANY

Constructing Causal Variables
Frederick Eberhardt, Humanities, Caltech, Pasadena, USA



A Principled Approach to Defining Actual Causation
Sander Beckers, Computer Science, KULeuven, Leuven, BELGIUM
Joost Vennekens, KULeuven, Leuven, BELGIUM

Chairs
avatar for Christopher Hitchcock

Christopher Hitchcock

Koepfli Professor of Philosophy, California Institute of Technology

Speakers


Tuesday August 4, 2015 14:30 - 16:30
Main Building, Room 14 Fabianinkatu 33

14:30

B3.1 Metaphysical Issues in the Philosophy of Science
4 August 02:30PM– 04:30PM

SPEAKERS AND TITLES

Omissions as Causes
Gerald Vision, Philosophy, Temple University, Philadelphia, USA



The Inference to the Most Invariant Cause
Xavi Lanao, Philosophy, University of Notre Dame, Notre Dame, IN, USA

Causation and Time Reversal
Matt Farr, Philosophy, University of Queensland, Brisbane, AUSTRALIA



Reichenbachian Common Cause Systems Compared
Chrysovalantis Stergiou, Department of Humanities, Social Sciences, and Law, National Technical University of Athens, Zografou-Athens, GREECE






Chairs
avatar for Matt Farr

Matt Farr

Postdoctoral Research Fellow, University of Queensland
I work on conceptual issues concerning time, causation and explanation, particularly what it means for time to 'have a direction' and what this has to do with various time symmetries and asymmetries in philosophy and physics.

Speakers
XL

Xavi Lanao

University of Notre Dame
CS

Chrysovalantis Stergiou

National Technical University of Athens
GV

Gerald Vision

Professor of Philosophy, Temple University



Tuesday August 4, 2015 14:30 - 16:30
Main Building, Room 12

14:30

B5.3 Historical Aspects in the Philosophy of Science
4 August 02:30PM– 04:30PM

SPEAKERS AND TITLES

On Pierre Duhem’s Two Epistemologies, “high” & “low”
Horia-Roman Patapievici, Philosophy, University of Bucharest, Bucharest, ROMANIA



Thomas Kuhn’s Changing Conception of the External World
Erkan Bozkurt, Philosophy, Ege University, Izmir, TURKEY



The Dynamic, Relative or Pragmatic A Priori: How philosophers of science have used constitutive elements of science to model conceptual change
David Stump, Philosophy, University of San Francisco, San Francisco, USA



PRAGMATIC REALISM, IDEALISM, AND PLURALISM: A RESCHERIAN BALANCE?
Sami Pihlström, Helsinki Collegium for Advanced Studies, University of Helsinki, University of Helsinki, FINLAND 

 

 

Chairs
SP

Sami Pihlström

University of Helsinki

Speakers
EB

Erkan Bozkurt

Ege University
HP

Horia-Roman Patapievici

University of Bucharest
avatar for David Stump

David Stump

Professor, University of San Francisco
Just now publishing a book: Conceptual Change and the Philosophy of Science on Routledge.



Tuesday August 4, 2015 14:30 - 16:30
Main Building, auditorium I

14:30

C2.2 Philosophy of the Physical Sciences
 4 August 02:30PM– 04:30PM

SPEAKERS AND TITLES

A Defense of Non-causal Explanations in Relativity.
Corey Sawkins, Philosophy, University of Guelph, Guelph, CANADA

Hawking and Penrose: The Reality Debate
Wojciech Grygiel, Philosophy, The Pontifical University of John Paul II, Kraków, POLAND

Interpretation and Ontology in Special Relativity
Kevin Coffey, Philosophy, NYU Abu Dhabi, New York, USA

30 min break (due to the cancellation of Marco Giovanelli's presentation)


Chairs
avatar for Corey Sawkins

Corey Sawkins

PhD Candidate, University of Guelph

Speakers
KC

Kevin Coffey

NYU Abu Dhabi
WG

Wojciech Grygiel

The Pontifical University of John Paul II



Tuesday August 4, 2015 14:30 - 16:30
Main Building, Room 6

14:30

C7.2 Philosophy of Medicine
4 August 02:30PM– 04:30PM

SPEAKERS AND TITLES

30 min break (due to the cancellation of Tomasz Zuradzki's presentation)

30 min break (due to the cancellation of Stéphanie Van Droogenbroeck's presentation)

Evidence Based Practice and Expert Judgement in Nursing
Gulen Addis, Faculty of Society and Health, Buckinghamshire New University, London, UNITED KINGDOM

An Alternative to the Placebo Concept in Psychotherapy
Sydney Katherine Green, Center for Logic and Analytical Philosophy, KU Leuven, Leuven, BELGIUM

Chairs
GA

Gulen Addis

Buckinghamshire New University

Speakers


Tuesday August 4, 2015 14:30 - 16:30
Main Building, Room 4

14:30

International Council for Science (ICSU) special session: Health and Wellbeing in the Changing Urban Environment
04 August 02:30PM – 04:30PM



SPEAKERS AND TITLES


Health and Well Being in the Changing Urban Environment –
An interdisciplinary program of the International Council for Science (ICSU)
Dov Jaron
Drexel University, USA
ICSU, FRANCE

Well-being and Health: A Perspective from Philosophy of Science
Anna Alexandrova
University of Cambridge, UNITED KINGDOM 

Chairs
PS

Peter Schoeder-Heister

University of Tuebingen

Speakers
AA

Anna Alexandrova

University of Cambridge
Position at Company ABC.
DJ

Dov Jaron

Drexel University / ICSU



Tuesday August 4, 2015 14:30 - 16:30
Main Building, Small Hall

14:30

Ratio ad contrarium: the logical and philosophical importance of reasoning under contradictions
4 August 02:30 PM – 04:30 PM


SPEAKERS AND TITLES

Probability measures of the inconsistent– and of the contradictory
Walter Carnielli, State University of Campinas –UNICAMP

Paraconsistency as evidence preservation: a natural deduction approach
Abilio Rodrigues, Federal University of Minas Gerais

Der Läufer darf gerade ziehen und der Läufer darf nicht gerade
ziehen? Sketches for an anthropological philosophy of paraconsistency,
based on the notion of rules
Marcos Silva, University of Ceara

On Paraconsistent Belief Revision: the AGM rationality criteria revisited
Rafael Testa, State University if Campinas-UNICAMP

Speakers
WC

Walter Carnielli

State University of Campinas-UNICAMP
AR

Abilio Rodrigues

Federal University of Minas Gerais- UFMG
MS

Marcos Silva

Federal University of Ceara- UfC
RT

Rafael Testa

State University if Campinas-UNICAMP



Tuesday August 4, 2015 14:30 - 16:30
Main Building, Room 10 Fabianinkatu 33

14:30

Social Epistemology: Research Teams and Scientific Communities
4 August 02:30 PM – 04:30 PM

SPEAKERS AND TITLES

Joint Commitments and the Distribution of Labor in Research Groups

Hanne Andersen, Aarhus University, Aarhus, DENMARK
Line E. Andersen, Aarhus University, Aarhus, DENMARK

The Matthew Effect and Trustworthiness in Research Teams
Karen Frost-Arnold, Hobart and William Smith Colleges

The Distribution of Epistemic Responsibilities in Scientific Communities and Research Groups
Kristina Rolin, University of Helsinki

Two Senses of Social in Social Epistemologies of Science
K. Brad Wray, SUNY Oswego


Speakers
avatar for Hanne Andersen

Hanne Andersen

Head of Department, University of Copenhagen
KF

Karen Frost-Arnold

Hobart and William Smith Colleges
KR

Kristina Rolin

University of Helsinki



Tuesday August 4, 2015 14:30 - 16:30
Main Building, Auditorium II Fabianinkatu 33

14:30

The Role of Abstractions and Generalizations in Systems and Synthetic Biology
04 August 02:30 PM – 04:30 PM

SPEAKERS AND TITLES

How to understand abstraction in modeling complex systems?

Tarja Knuuttila (University of South Carolina and University of Helsinki) and Andrea Loettgers (University of Geneva and University of Bern)

Constraint-based reasoning and mechanistic explanation
Sara Green (University of Copenhagen)

Synthetic Biology and the Search for Potential Biological Systems: Taking How-Possibly Models Seriously
Rami Koskinen (University of Helsinki)

Reevaluating the Goals of Systems Biology: Abstraction and Uncertainty
Miles MacLeod (University of Helsinki)

Speakers
SG

Sara Green

University of Geneva
TK

Tarja Knuuttila

University of South Carolina
RK

Rami Koskinen

University of Helsinki
AL

Andrea Loettgers

University of Geneva
MM

Miles MacLeod

University of Helsinki



Tuesday August 4, 2015 14:30 - 16:30
Main Building, Room 15 Fabianinkatu 33

16:30

Coffee
Tuesday August 4, 2015 16:30 - 17:00
Main Building, new side Fabianinkatu 33

17:00

Let’s act! - Formal models of collective agency, intention, and responsibility IV
4 August 5:00PM – 7:00PM

Organized by
Frederik Van De Putte, Ghent University

SPEAKERS AND TITLES

17:00 – 18:00
Knowledge and Agency of Groups under Uncertainty
Roberto Ciuni, Rein-Ruhr Universität Bochum




Chairs
FV

Frederik Van De Putte

Ghent University

Speakers
avatar for Roberto Ciuni

Roberto Ciuni

Marie-Curie Postdoctoral Researcher, ILLC, University of Amsterdam
JH

John Horty

University of Groningen



Tuesday August 4, 2015 17:00 - 18:00
Main Building, Room 5

17:00

Teaching Commission: Innovative and Effective Teaching in Undergraduate Philosophy of Science and Logic
August 4 05:00 PM – 06:00 PM

Organizer:
Michael R. Matthews, University of New South Wales

SPEAKERS AND TITLES

Teaching with Argument Maps
Zeynep Soysal, Philosophy Department, Harvard University, USA

Teaching Philosophy of Cognitive Science
Anna-Mari Rusanen, Philosophy Department, University of Helsinki, FINLAND

Linking Philosophy and History in a Unified Story: How Epistemology of Science Emerges from Scientists' Biographies.
Marta Bertolaso, Faculty of Medicine, Università di Roma, ITALY

Elements of Critical and Computational Thinking in Education of Pre-school Children 
Hubert Bożek, Department of Logic and Methodology of Sciences, Institute of Philosophy and Sociology, Pedagogical University of Cracow, POLAND

Speakers
MB

Marta Bertolaso

University Campus Bio-Medico
HB

Hubert Bozek

Pedagogical University of Cracow
avatar for Anna-Mari Rusanen

Anna-Mari Rusanen

University of Helsinki
ZS

Zeynep Soysal

Harvard University



Tuesday August 4, 2015 17:00 - 18:00
Main Building, Room 13 Fabianinkatu 33

17:00

Logical, Modelling and Philosophical Foundations of Science - Historical Development, Current Investigations and Perspectives IV
4 August 5:00PM – 7:00PM

Organized by
Boris Chendov, independent scholar
Peeter Müürsepp, Tallinn University of Technology
Arto Mutanen, Finnish National Defence University

SPEAKERS AND TITLES

17:00 – 19:00
To what extent I. Prigogine’s non-linear thermodynamics is responsible for the philosophical talks about self-organization
Alexander Pechenkin, Russian Academy of Sciences & Lomonosov Moscow State University

Strong and weak influences in practice of modern western medicine and in philosophy of Chinese (Orient) medicine
Yulija P. Chukova, The Moscow Society of Researchers of Nature

New times for scientific communication
Fátima Masot-Conde, University of Seville

Two methodological theses concerning application of the modelling and logic to foundations of psycho-somatic medicine
Toshka Mikhajlova, independent scholar
Boris Chendov, independent scholar




Chairs
AM

Arto Mutanen

Finnish National Defence University

Speakers
BC

Boris Chendov

(independent scholar)
YP

Yulija P. Chukova

The Moscow Society of Researchers of Nature
FM

Fátima Masot-Conde

University of Seville
TM

Toshka Mikhajlova

(independent scholar)
AP

Alexander Pechenkin

Russian Academy of Sciences & Lomonosov Moscow State University



Tuesday August 4, 2015 17:00 - 19:00
Main Building, Auditorium IV

17:00

The Legacy of Joachim Lambek (FoLLI affiliated meeting) IV
4 August 5:00 PM – 7:00 PM

Organized by:

Michael Moortgat, Utrecht University
Philip Scott, University of Ottawa


SPEAKERS AND TITLES

From Lambek Calculus to Placement Calculus (40 min)
Glyn Morrill, Universitat Politecnica de Catalunya

Calibrating grammatical composition (40 min)
Michael Moortgat, Utrecht University

+ Closing discussion




Chairs
MM

Michael Moortgat

Utrecht University
PS

Philip Scott

University of Ottawa

Speakers
GM

Glyn Morrill

Universitat Politecnica de Catalunya



Tuesday August 4, 2015 17:00 - 19:00
Main Building, Room 3 Fabianinkatu 33

17:00

A1.4 Mathematical Logic + C3.6 Philosophy of the Life Sciences
4 August 05:00PM– 07:00PM

SPEAKERS AND TITLES

Combining relational and algebraic semantics
Puncochár Vít, Department of Logic, Institute of Philosophy, Czech Academy of Sciences, Prague, CZECH REPUBLIC

The modal logic of symmetric forcing
Alexander Carstensen Block, Department of Mathematics, University of Hamburg, Hamburg, GERMANY

The proof-theoretic approach to evolutionary biology - can we work out a logic of evolution?
Andreea Esanu, Theoretical Philosophy and Logic, University of Bucharest, Bucharest, ROMANIA

Quantified intuitionistic and modal logic over metrizable spaces
Philip Kremer, Philosophy, University of Toronto Scarborough, Toronto, CANADA

Chairs
PV

Puncochár Vít

Institute of Philosophy, Czech Academy of Sciences

Speakers
AC

Alexander Carstensen Block

University of Hamburg
AE

Andreea Esanu

University of Bucharest
PK

Philip Kremer

University of Toronto Scarborough



Tuesday August 4, 2015 17:00 - 19:00
Main Building, Room 17

17:00

A2.4 Philosophical Logic
4 August 05:00PM– 07:00PM

SPEAKERS AND TITLES

The Logic of Vagueness and Modality
Juhani Yli-Vakkuri, CSMN, University of Oslo, Oslo, NORWAY
Jon Litland, Department of Philosophy, University of Texas at Houston, Austin, TX, USA

30 min break (due to the cancellation of John Cantwell's presentation)

Implicational Logics and iterated Modus Ponens
Jui-Lin Lee, Center for General Education, National Formosa University, Yunlin County, TAIWAN

Logic and the Sense of Necessity
David Graves, General Studies, Academic College of Tel Aviv, Tel Aviv, ISRAEL


Chairs
avatar for Juhani Yli-Vakkuri

Juhani Yli-Vakkuri

Postdoctoral Research Fellow, University of Oslo

Speakers
avatar for David Graves

David Graves

Academic College of Tel Aviv
I teach primarily critical thinking and philosophy of art. I am an ex-professional rock bassist, and a fanatic amateur painter.
JL

Jui-Lin Lee

National Formosa University



Tuesday August 4, 2015 17:00 - 19:00
Main Building, Room 7 Fabianinkatu 33

17:00

A2.6 Philosophical Logic
4 August 05:00PM– 07:00PM

SPEAKERS AND TITLES

Gödel's Claim that Intuitionistic Logic is a Renaming of Classical Logic and Davidsonian Radical Interpretation: Some Considerations
Fabrice Pataut, FRE 3593, CNRS, Paris, FRANCE



Two perspectives towards many-valued logic: philosophical and mathematical one
Mateusz Radzki, Department of Philosophy, The M. Grzegorzewska Academy of Special Education, Warsaw, POLAND



Classical many-valued logic and the bottom-line preservation notion of logical consequence
Ken Akiba, Philosophy, Virginia Commonwealth University, Richmond, USA

Belnap's logic as a logic of experts
Jose Martinez Fernandez , Logic, History and Philosophy of Science, University of Barcelona, Barcelona, SPAIN

Chairs
JM

Jose Martinez Fernandez

University of Barcelona

Speakers
KA

Ken Akiba

Virginia Commonwealth University
MR

Mateusz Radzki

The M. Grzegorzewska Academy of Special Education



Tuesday August 4, 2015 17:00 - 19:00
Main Building, Room 8 Fabianinkatu 33

17:00

B1.11 Methodology
4 August 05:00PM– 07:00PM

SPEAKERS AND TITLES

On Science and Humanism
Menashe Schwed, Philosophy, Ashkelon Academic College, Ashkelon, ISRAEL 

Causal Pluralism in Political Science: Integration or Incommensurability?
Sharon Crasnow, Arts, Humanities, and World Languages, Norco College, Norco California, USA

Analytic Method
Miloš Kosterec , Department of Logic and Methodology of Science, Comenius University in Bratislava, Bratislava, SLOVAKIA

Can Scientific Rationality be Subsumed under Instrumental Rationality?
Dunja Seselja, Institute for Philosophy II, Ruhr-University Bochum, Bochum, GERMANY

Chairs
DS

Dunja Seselja

Ruhr-University Bochum

Speakers
avatar for Sharon Crasnow

Sharon Crasnow

Norco College
MK

Miloš Kosterec

Comenius University in Bratislava
MS

Menashe Schwed

Ashkelon Academic College



Tuesday August 4, 2015 17:00 - 19:00
Main Building, Room 6

17:00

B2.3 Formal Philosophy of Science and Formal Epistemology
4 August 05:00PM– 07:00PM

SPEAKERS AND TITLES

Expediting the Flow of Knowledge versus Rushing into Print
Remco Heesen, Philosophy, Carnegie Mellon University, Pittsburgh, PA, USA

Decision Theoretic Analysis of the Productivity Puzzle
Liam Bright, Philosophy, Carnegie Mellon, Pittsburgh, USA Carole Lee, Washington, Seattle, USA

Defending the Semantic View of Theories. A Computer Science Perspective
Nicola Angius, History, Human Science, and Education, University of Sassari, Sassari, ITALY
Petros Stefaneas, Department of Mathematics, National Technical University of Athens, Athens, GREECE
 
  

Chairs
NA

Nicola Angius

University of Sassari

Speakers
LB

Liam Bright

Carnegie Mellon
RH

Remco Heesen

Carnegie Mellon University
avatar for Petros Stefaneas

Petros Stefaneas

Lecturer, NTUA



Tuesday August 4, 2015 17:00 - 19:00
Main Building, Room 14 Fabianinkatu 33

17:00

B4.2 Ethical and Political Issues in the Philosophy of Science
4 August 05:00PM– 07:00PM

SPEAKERS AND TITLES

Characteristics of TA institutions by the Difference of Governance
Seung Ryong Lee, Office of Strategic Foresight, Korea Institute of S&T Evaluation and Planning, SEOUL, SOUTH KOREA

How can Bayesians help communications on climate change?
Tetsuji Iseda, Philosophy and History of Science, Kyoto University, Kyoto, JAPAN

Think Tank Research as Scientific Expertise
Anita Välikangas, Department of Political and Economic Studies, University of Helsinki, Helsinki, FINLAND

A New Problem of Demarcation: Extra-academic knowledge in academic research and the challenge of objectivity
Inkeri Koskinen, Department of Philosophy, History, Culture and Art, University of Helsinki, Helsinki, FINLAND
 
  

Chairs
IK

Inkeri Koskinen

University of Helsinki

Speakers
TI

Tetsuji Iseda

Kyoto University
SR

Seung Ryong Lee

Korea Institute of S&T Evaluation and Planning
AV

Anita Välikangas

University of Helsinki



Tuesday August 4, 2015 17:00 - 19:00
Main Building, Room 4

17:00

C1.2 Philosophy of the Formal Sciences
4 August 05:00PM– 07:00PM

SPEAKERS AND TITLES

30 min break (due to the cancellation of Valentin Bazhanov's presentation)

Goodman and Mathematics
Caroline Jullien, LHSP-Archives Henri Poincaré, University of Lorraine, Nancy, FRANCE

Realism and instrumentalism in mathematics
Raffaele Mascella, Science Communication, University of Teramo, Teramo, ITALY

A naturalized approach to indispensability
Henri Galinon, Philosophie, Université Blaise Pascal, Clermont Ferrand, FRANCE

Chairs
RM

Raffaele Mascella

University of Teramo

Speakers
HG

Henri Galinon

Université Blaise Pascal
CJ

Caroline Jullien

University of Lorraine



Tuesday August 4, 2015 17:00 - 19:00
Main Building, Room 10 Fabianinkatu 33

17:00

C2.3 Philosophy of the Physical Sciences
4 August 05:00PM– 07:00PM

MOVED TO ROOM 21!

SPEAKERS AND TITLES

The conceptual foundations of Symmetry Breaking and the origin of physics
Joseph Kouneiher, Sciences and technologies, Universite de Nice-Sophia Antipolis, Nice, FRANCE

Quotidian, scientific and fictitious objects under a Russell-Schrödingerian approach: the case of light
Caroline Elisa Murr, GLFC, UFSC, Florianópolis, BRAZIL

Prediction in General Relativity
Casey McCoy, Philosophy, University of California San Diego, La Jolla, USA



On two arguments for the non-renormalizability of gravity
Juliusz Doboszewski, Epistemology, Jagiellonian University, Krakow, POLAND

Chairs
avatar for Casey McCoy

Casey McCoy

University of California San Diego

Speakers
JD

Juliusz Doboszewski

Jagiellonian University
avatar for Joseph Kouneiher

Joseph Kouneiher

Director of Sciences and Tchnologies Department, Universite de Nice-Sophia Antipolis
I'm working in Mathematical Physics and Epistemology and History of Sciences see my last three papers (2015) : | 1) http://link.springer.com/article/10.1007%2Fs10773-015-2542-1, Int. J. Theo. Phys | 2) http://www.worldscientific.com/doi/abs/10.1142/S0219887815500899 , Int. J. Geo. Meth. Theo. Phys. | 3) with Prof. N. da Costa (pub. Foundations of Physics) : http://arxiv.org/abs/1505.00756



Tuesday August 4, 2015 17:00 - 19:00
Room 21, Main Building

17:00

C7.1 Philosophy of Medicine
4 August 05:00PM– 07:00PM

SPEAKERS AND TITLES

Towards a theory of scientific understanding in psychiatry.
Leen De Vreese, Centre for Logic and Philosophy of Science, Ghent University, Gent, BELGIUM



The Semantics of Mental Disorders
Vesterinen Tuomas, Theoretical Philosophy, University of Helsinki, Helsinki, FINLAND


Remodeling Psychopathology: The Limits of Latent Variable Approaches
Georg Repnikov, Unit for History and Philosophy of Science, University of Sydney, Sydney, AUSTRALIA

Chairs
LD

Leen De Vreese

Ghent University

Speakers
avatar for Georg Repnikov

Georg Repnikov

University of Sydney
avatar for Tuomas Vesterinen

Tuomas Vesterinen

University of Helsinki



Tuesday August 4, 2015 17:00 - 19:00
Main Building, Room 15 Fabianinkatu 33

17:00

C3. Invited Session: Philosophy of the Life Sciences
4 August 5:00PM – 7:00PM

SPEAKERS AND TITLES

The Transnational Turn in the History of Science
Ana Barahona, National Autonomous Univeristy of Mexico UNAM, México, MEXICO

Information and Causation in Biology
Paul E. Griffiths, University of Sydney, Sydney, AUSTRALIA


Chairs
TK

Tarja Knuuttila

University of South Carolina

Speakers
avatar for Ana Barahona

Ana Barahona

Full Professor, Science and Technology Studies, Department of Evolutionary Biology, National University of Mexico, UNAM
avatar for Paul Griffiths

Paul Griffiths

University of Sydney



Tuesday August 4, 2015 17:00 - 19:00
Main Building, Small Hall

17:00

Epidemiological Practices? An Integrative Approach to Epidemiological Causal Reasoning
4 August 05:00 PM – 7:00 PM


SPEAKERS AND TITLES

Medicine as design science
Anna Estany, Universidad Autónoma Barcelona and Andreu Ballús, Universidad Autónoma Barcelona

Clinical Reasoning: How to go about it?
Atocha Aliseda, Universidad Nacional Autónoma México

Data visualization as a form of graphic medical reasoning to find causal correlations David Casacuberta, Universidad Autónoma Barcelona

Statistics or Web of Statistical Procedures in Epidemiological Practices? An Integrative Approach to Epidemiological Causal Reasoning 
Jordi Vallverdú, Universidad Autónoma Barcelona

Speakers
AA

Atocha Aliseda

Instituto de Investigaciones Filosóficas
DC

David Casacuberta

Universidad Autónoma Barcelona
AE

Anna Estany

Universidad Autónoma Barcelona
avatar for Jordi Vallverdú

Jordi Vallverdú

Tenure Professor, Universidad Autónoma Barcelona
I started as a classic philosopher of science until I devoted entirely myself to the challenges of computer technologies. My main academic interests are epistemology and cognition. I have made and still make research on emotions and cognition, computational epistemologies, statistical thinking, electronic art, artificial emotional architectures, and human-robot interaction.



Tuesday August 4, 2015 17:00 - 19:00
Main Building, Auditorium II Fabianinkatu 33

17:00

Symposium on Danielle Macbeth's Realizing Reason: A Narrative of Truth and Knowing (Oxford UP 2014)
4 August 05:00 PM – 7:00 PM


SPEAKERS AND TITLES

Author Meets Critics: Danielle Macbeth, Realizing Reason: A Narrative of Truth and Knowing
Chair:   Erich Reck (University of California, Riverside)
Critic 1: Juliette Kennedy (University of Helsinki)
Critic 2: José Ferreirós (University of Seville)
Author: Danielle Macbeth (Haverford College)

Speakers
JF

Jose Ferreiros

University of Seville
avatar for Juliette Kennedy

Juliette Kennedy

University of Helsinki
DM

Danielle Macbeth

Haverford College



Tuesday August 4, 2015 17:00 - 19:00
Main Building, Room 12

18:00

Teaching Commission: Philosophy of Science and Science Teaching: Contributions from the Springer International Handbook of Research in HPS and Science Teaching
August 4 06:00 PM – 07:00 PM

Organized by:
Michael Matthews, University of New South Wales

SPEAKERS AND TITLES

Introduction and Overview of Handbook
Michael Matthews, School  of Education, University of New South Wales, Australia

Generative Modelling in Physics and in Physics Education
Ismo T. Koponen and Suvi Tala, Physics Department, University of Helsinki, Finland

CANCELLED: The History and Philosophy of Science and Science Teaching in Mexico
Ana Barahona, Biology Department, Autonomous University Mexico, Mexico

HPS and Challenges of Multiculturalism in Science Education
Kai Horsthemke, School of Education, University of the Witwatersrand, South Africa
 





 

Speakers
avatar for Ana Barahona

Ana Barahona

Full Professor, Science and Technology Studies, Department of Evolutionary Biology, National University of Mexico, UNAM
avatar for Michael Matthews

Michael Matthews

Honorary A/Professor, University of New South Wales
Contribution of history and philosophy of science to resolution of theoretical, curricular and pedagogical issues in science teaching.



Tuesday August 4, 2015 18:00 - 19:00
Main Building, Room 13 Fabianinkatu 33

19:30

City Visit
Price: 15 €, FULL BOOKED. Ask for last minute cancellations at the registration desk.

Starting point: Senate Square

Choose either Helsinki City Walk or Helsinki Bus Tour

Helsinki City Walk
Explore the city center of Helsinki on a Guided City Walk. The guide will take you on a tour through the streets of Helsinki and tell you fascinating stories behind it. See the historical quarters around the Senate Square and feel the sea breeze while walking along the colourful Market Square. During the tour you will get suggestions on what to do and where to go in Helsinki.

Helsinki Bus Tour
During the tour you will see the beautiful Helsinki Cathedral at the Senate Square, the famous church built inside a rock, the Temppeliaukio church and the Sibelius Monument. Your guide will tell you about living in Helsinki in the past and at the present day. Enjoy a tailored tour to the sights that interest you the most.

Tuesday August 4, 2015 19:30 - 21:30
Senate Square, next to Main Building Unioninkatu
 
Wednesday, August 5
 

09:00

Plenary Lecture: Harold Kincaid
5 August 09:00AM – 10:30AM

SPEAKER AND TITLE

Scientific Realism, Models and the Social and Behavioral Sciences
Harold Kincaid
, University of Cape Town, SOUTH AFRICA

Chairs
HL

Hannes Leitgeb

LMU Munich

Speakers
HK

Harold Kincaid

University of Cape Town



Wednesday August 5, 2015 09:00 - 10:30
Main Building Great Hall Fabianinkatu 33

09:00

The Logical Structure of Correlated Information Change (LogiCIC) I
5 August 9:00 AM – 10:50 AM

Organized by:
Sonja Smets, University of Amsterdam

Schedule:

- 09:00-09:30 lecture by Eric Pacuit

- 09:30-09:40 Commentator 1 : Olivier Roy

- 09:40-09:50 Commentator 2 : Chenwei Shi

- 09:50-09:55 Discussion

- 09:55-10:25 lecture by Branden Fitelson

- 10:25-10:35 Commentator 1 : Kevin T. Kelly

- 10:35-10:45 Commentator 2 : Zoe Christoff

- 10:45-10:50 Discussion

Chairs
SS

Sonja Smets

University of Amsterdam

Speakers
avatar for Zoe Christoff

Zoe Christoff

University of Amsterdam
BF

Branden Fitelson

Rutgers University
KT

Kevin T. Kelly

Carnegie Mellon University
avatar for Eric Pacuit

Eric Pacuit

University of Maryland
CS

Chenwei Shi

University of Amsterdam



Wednesday August 5, 2015 09:00 - 10:50
Main Building, Room 7 Fabianinkatu 33

10:30

Coffee
Wednesday August 5, 2015 10:30 - 11:00
Main Building, new side Fabianinkatu 33

11:00

Models and pluralism in the health sciences
5 August 11:00 AM – 12:30 PM

SPEAKERS AND TITLES

Representing and explaining: On modeling disorders
Raffaella Campaner
Marta Bertolaso

Questioning the usefulness of mechanistic models for predicting which medical treatments will benefit humans
Jeremy Howick

DAGgers at dawn? Understanding the potential outcomes “revolution” in epidemiology
Alex Broadbent

(Robyn Bluhm's presentation is cancelled)

Speakers
MB

Marta Bertolaso

University Campus Bio-Medico
AB

Alex Broadbent

University of Johannesburg
RC

Raffaella Campaner

University of Bologna
JH

Jeremy Howick

University of Oxford



Wednesday August 5, 2015 11:00 - 12:30
Main Building, Auditorium IV

11:00

A2.11 Philosophical Logic
4 August 11:00 AM - 13:00 PM

SPEAKERS AND TITLES
 
Assertion and the logic of common knowledge
Syraya Chin-mu Yang, Department of Philosophy, National Taiwan University, Taipei, TAIWAN

 Dynamic justification logic
Alessandro Giordani, Philosophy, Catholic University of Milan, Saronno, ITALY

Intentional identity in epistemic logic
Tuukka Tanninen, Philosophy, History, Culture and Art Studies, University of Helsinki, Helsinki, FINLAND    

An analysis of the problem of logical omniscience of epistemic logic
Ren-June Wang, Philosophy, National Chung Cheng University, Chiayi County, TAIWAN

Chairs
TT

Tuukka Tanninen

University of Helsinki

Speakers
AG

Alessandro Giordani

Catholic University of Milan
RW

Ren-June Wang

assistant professor, National Chung Cheng University
SC

Syraya Chin-mu Yang

National Taiwan University



Wednesday August 5, 2015 11:00 - 13:00
Main Building, auditorium I

11:00

A2.8 Philosophical Logic
5 August 11:00 AM - 01:00 PM

SPEAKERS AND TITLES
  
The predicate approach to de re modalities
Volker Halbach, Philosophy, Oxford University, Oxford, UNITED KINGDOM

On the Decidability of Atomic Mereological Theories
Hsing-chien Tsai, Philosophy, National Chung-Cheng University, Chia-yi, TAIWAN

A Hypersequent Calculus for Contingent Existence
Rohan French, Theoretical Philosophy, University of Groningen, Groningen, NETHERLANDS

Illocutionary Acts and Arguments
John Kearns, philosophy, university at buffalo, suny, buffalo, NY, USA
 

Chairs
JK

John Kearns

university at buffalo, suny
I am concerned to explore the connection between logic and speech acts, or language acts, and to develop systems of illocutionary logic.

Speakers
avatar for Rohan French

Rohan French

Post-Doctoral Researcher, University of Groningen
VH

Volker Halbach

University of Oxford
HT

Hsing-chien Tsai

National Chung-Cheng University



Wednesday August 5, 2015 11:00 - 13:00
Main Building, Room 15 Fabianinkatu 33

11:00

A4.2 Historical Aspects of Logic
5 AUGUST 11:00 AM - 01:00 PM

SPEAKERS AND TITLES

The Logic of Avicenna between al-Qiyas and Mantiq al-Mashriqiyin
Saloua Chatti, Philosophy, University of Tunis, Tunis, TUNISIA  

30 min break (due to the cancellation of Luca Gili's presentation)

Richard Kilvington and the Theory of Obligations
Stephen Read, Arché Research Centre, University of St Andrews, St Andrews, UNITED KINGDOM

Aristotelian Diagrams for Multi-Operator Formulas in Avicenna and Buridan
Hans Smessaert, Department of Linguistics, KU Leuven, Leuven, BELGIUM

Lorenz Demey, Center for Logic and Analytic Philosophy, KU Leuven, Leuven, BELGIUM


Chairs
SR

Stephen Read

University of St Andrews

Speakers
SC

Saloua Chatti

University of Tunis
LD

Lorenz Demey

KU Leuven



Wednesday August 5, 2015 11:00 - 13:00
Main Building, Room 14 Fabianinkatu 33

11:00

B1.3 Methodology
5 August 11:00 AM - 01:00 PM

SPEAKERS AND TITLES

Philosophy and Methodology of Change: Systems of Change as an Object of General Change Methodology
Oleksandr Melnychenko, Department of Information Technology, Kherson National Technical University, Kherson, UKRAINE

Scientific Thought Experiments and their Context: Einstein's Magnet-Conducto
Jan Potters, Philosophy and Moral Sciences, Ghent University, Ghent, BELGIUM

Comprehensive Epistemology and the Philosophy of Science
Nicholas Ray, Philosophy, University of Waterloo, Guelph, CANADA   

Inconsistency Handling in the Sciences: Where and How Do We Need Paraconsistency?
Joke Meheus, Centre for Logic and Philosophy of Science, Ghent University, Ghent, BELGIUM

   


   

    

Chairs
JM

Joke Meheus

Ghent University

Speakers
OM

Oleksandr Melnychenko

Kherson National Technical University
JP

Jan Potters

Ghent University
NR

Nicholas Ray

University of Waterloo



Wednesday August 5, 2015 11:00 - 13:00
Main Building, Room 13 Fabianinkatu 33

11:00

B1.4 Methodology
5 AUGUST 11:00 AM - 01:00 PM

SPEAKERS AND TITLES
 
30 min break

How trading zones may help solving communication problems in the sciences
João Mendes, Philosophy, University of Minho, Braga, PORTUGAL

Considering the Quantum Hypothesis in the Context of Pursuit
 
Molly Kao, Philosophy, University of Western Ontario, London, CANADA
 
  

Chairs
CL

Chiara Lisciandra

University of Helsinki

Speakers
MK

Molly Kao

University of Western Ontario
avatar for João Mendes

João Mendes

Professor, University of Minho
João Ribeiro Mendes is currently Assistant Professor in the Department of Philosophy at the University of Minho (Braga, Portugal), teaching and researching in the domains of Philosophy of Science and Philosophy of Technology. He received his Ph.D. in Philosophy of Science from University of Santiago de Compostela (Spain). He is coordinator of the Philosophy and Culture Research Line of the Centre for Humanistic Studies, at the Institute of... Read More →



Wednesday August 5, 2015 11:00 - 13:00
Main Building, Room 3 Fabianinkatu 33

11:00

B3.2 Metaphysical Issues in the Philosophy of Science
5 August 11:00 AM - 01:00 PM

SPEAKERS AND TITLES

30 min break (due to the cancellation of Joshua Kelleher's presentation)

Nested Hierarchies and the Structure of Ecology
David McElhoes, Philosophy, Arizona State University, Phoenix, USA

30 min break (due to the cancellation of Totte Harinen's presentation)

Scientific Realism, Historical Essences, and Species
Marion Godman, HPS, Cambridge, Cambridge, UNITED KINGDOM


Chairs
avatar for Marion Godman

Marion Godman

Researcher, Helsinki University and Cambridge University

Speakers
DM

David McElhoes

Arizona State University



Wednesday August 5, 2015 11:00 - 13:00
Main Building, Room 12

11:00

C1.3 Philosophy of the Formal Sciences
5 August 11:00 AM - 01:00 PM

SPEAKERS AND TITLES

30 min break (due to the cancellation of Claudio Calosi's presentation)

On the significance of categoricity arguments
Adrian Ludusan, G. Zane Institute for Economic and Social Research, Romanian Academy, Ia?i branch, Ia?i, ROMANIA

Proper Classes, Forcing Extensions, and Universism; Understanding the role of simulation in
mathematics
Neil Barton, Philosophy, Birkbeck College, London, UNITED KINGDOM

Fixed Point Models for Theories of Properties and Classes
Greg Restall, School of Historical and Philosophical Studies, University of Melbourne, Parkville, AUSTRALIA
 

Chairs
avatar for Greg Restall

Greg Restall

Professor of Philosophy, University of Melbourne

Speakers
avatar for Neil Barton

Neil Barton

Birkbeck College
AL

Adrian Ludusan

Romanian Academy, Ia?i branch



Wednesday August 5, 2015 11:00 - 13:00
Main Building, Room 10 Fabianinkatu 33

11:00

C2.4 Philosophy of the Physical Sciences
5 August 11:00 AM - 01:00 PM

SPEAKERS AND TITLES

Typicality in Statistical Mechanics: An Epistemological Approach
Massimiliano Badino, Philosophy, Universitat Autònoma de Barcelona / MIT, Bellaterra (Barcelona), SPAIN   

On the probabilistic approach to renormalization
Jeremy Butterfield, Philosophy, Trinity College, Cambridge, Cambridge, UNITED KINGDOM   

On How to Approach the Approach to Equilibrium
Joshua Luczak, Philosophy, University of Western Ontario, London, CANADA
  

     

Chairs
avatar for Massimiliano Badino

Massimiliano Badino

Post Doc Fellow, Universitat Autònoma de Barcelona / MIT

Speakers
JB

Jeremy Butterfield

Trinity College, Cambridge
avatar for Joshua Luczak

Joshua Luczak

University of Western Ontario



Wednesday August 5, 2015 11:00 - 13:00
Main Building, Room 6

11:00

C3.2 Philosophy of the Life Sciences
5 AUGUST 11:00 AM - 01:00 PM

SPEAKERS AND TITLES

Evolutionary and Molecular Genes: The Case of Cystic Fibrosis
Matsumoto Shunkichi, Liberal Arts Education Center, Tokai University, Kanagawa, JAPAN  

On the Concept of Genetic Distance: the perils of misinterpretation
Omri Tal, Theoretical and Mathematical Biology, Max Planck Inst. for Mathematics in the Sciences, Leipzig, GERMANY     

Fitness and Variance
Brad Weslake, Philosophy, NYU Shanghai, Shanghai, CHINA  

On the relation between biological information and biological inheritance
María José Ferreira Ruiz, Department of Philosophy, University of Buenos Aires - CONICET, Ciudad Autónoma de Buenos Aire, ARGENTINA   

  

Chairs
MS

Matsumoto Shunkich

Tokai University

Speakers
avatar for María José Ferreira Ruiz

María José Ferreira Ruiz

PhD student, University of Buenos Aires - CONICET
I am a PhD student devoted to the philosophy of biology. CONICET Doctoral fellow.
avatar for Omri Tal

Omri Tal

Max Planck Inst. for Mathematics in the Sciences
avatar for Brad Weslake

Brad Weslake

Associate Professor of Philosophy, NYU Shanghai



Wednesday August 5, 2015 11:00 - 13:00
Main Building, Room 17

11:00

C4.2 Philosophy of the Cognitive and Behavioural Sciences
5 AUGUST 11:00 AM - 01:00 PM

SPEAKERS AND TITLES

Cognition and Rationality: Writing Straight with Crooked Lines?
António Zilhão, Philosophy, University of Lisbon, Lisboa, PORTUGAL

30 min break (due to the cancellation of Andrea Polonioli's presentation)

Unrevisability as the mark of delusions
Patrice Soom, Philosophy, Heinrich-Heine Universität, Düsseldorf, GERMANY
Gottfried Vosgerau, Philosophy, Heinrich-Heine Universität, Düsseldorf, GERMANY


Chairs
AZ

António Zilhão

University of Lisbon

Speakers
PS

Patrice Soom

Heinrich-Heine Universität



Wednesday August 5, 2015 11:00 - 13:00
Main Building, Room 4

11:00

C5.2 Philosophy of the Humanities and the Social Sciences
5 AUGUST 11:00 AM - 01:00 PM

SPEAKERS AND TITLES

The future – and present – of work and its rules facing technological transformations
Tomaso Greco, Diritto, Economia e Culture (DEC), Università degli Studi dell'Insubria, Como,
ITALY    

To what extent economic explanations are distinctively mathematical?
Lukasz Hardt, Department of Economics, University of Warsaw, Warsaw, POLAND  

Appreciation Problems of Neuroeconomics
Paul Hoyningen-Huene, Philosophy, Leibniz Universität Hannover, Hannover, GERMANY

Dealing with plurality in scientific practice: The case of International Political Economy
Jeroen Van Bouwel, Philosophy and Moral Science, Ghent University, Gent, BELGIUM

Chairs
avatar for Paul Hoyningen-Huene

Paul Hoyningen-Huene

Leibniz Universität Hannover, Universität Zürich

Speakers
JV

Jeroen Van Bouwel

Ghent University
TG

Tomaso Greco

Università degli Studi dell'Insubria
avatar for Lukasz Hardt

Lukasz Hardt

Professor, University of Warsaw
A philosopher of economics based at the Faculty of Economic Science, University of Warsaw, Poland



Wednesday August 5, 2015 11:00 - 13:00
Main Building, Room 16

11:00

B2. Invited Session: Formal Philosophy of Science and Formal Epistemology
August 5, 11:00AM – 01:00PM

SPEAKERS AND TITLES

Bayesian Philosophy of Science
Stephan Hartmann, LMU Munich, GERMANY

The credit economy and the economic rationality of science
Kevin Zollman, Carnegie Mellon University, USA

Chairs
AG

Adam Grobler

Opole University

Speakers
KZ

Kevin Zollman

Carnegie Mellon University



Wednesday August 5, 2015 11:00 - 13:00
Main Building, Small Hall

11:00

B5. Invited Session: Historical Aspects in the Philosophy of Science
5 August, 11:00AM – 01:00PM


SPEAKERS AND TITLES

On theories
William Demopoulos, 
The University of Western Ontario London, CANADA
(to be presented by Thomas Uebel)

At the Roots of Probabilistic Epistemology
Maria Carla Galavotti
, Department of Philosophy and Communication, University of Bologna, ITALY

Chairs
TU

Thomas Uebel

University of Manchester

Speakers
WD

William Demopoulos

Professor, University of Western Ontario
avatar for Maria Carla Galavotti

Maria Carla Galavotti

Professor of Philosophy of Science, University of Bologna
Philosophy, cooking, gardening.



Wednesday August 5, 2015 11:00 - 13:00
Main Building, Room 5

11:00

Mathematical Objectivity by Representation I
5 June 11:00 AM – 1:30 PM

Organized by
Florian Steinberger, CMP, LMU, Munich
Marco Panza , CNRS, IHPST, Paris


SPEAKERS AND TITLES

11:00 – 11:45 
The Role of Representation in Explanatory Proofs
Gerhard Heinzmann Laboratoire d’Histoire des Sciences et de Philosophie — Archives Henri-Poincaré, Université de Lorraine/CNRS, Nancy

11:45 – 12:30
Representing inferences and proofs: the case of harmony and conservativity
Alberto Naibo IHPST, Univ. of Paris 1 Panthéon Sorbonne

12:30 – 13:15
What are Structural Properties?
Johannes Korbmacher MCMP

Chairs
Speakers
GH

Gerhard Heinzmann

Université de Lorraine
AN

Alberto Naibo

Université Paris 1 Panthéon-Sorbonne



Wednesday August 5, 2015 11:00 - 13:30
Main Building, Room 8 Fabianinkatu 33

13:00

Lunch
Lunch at the Main Building Unicafe (Fabianinkatu 33, co-located with LC 2015) for participants who have purchased the additional lunch package (60,60 €).

Wednesday August 5, 2015 13:00 - 14:30
Main Building Unicafe Fabianinkatu 33

14:30

B1.10 Methodology
5 AUGUST 02:30 PM - 04:00 PM

SPEAKERS AND TITLES

Why is Representation Communal Rather than Private?
Brandon Boesch, Philosophy, University of South Carolina, Columbia, USA

The Role of Subjective Models in Proto-Scientific Measurement
Alistair Isaac, Philosophy, University of Edinburgh, Edinburgh, UNITED KINGDOM

Scientific understanding as guidance of and for cognitive activity
Arturo R. Argott, Philosophy, UNAM, Estado de Mexico, MEXICO

The Session Ends at 4:00 pm
(due to the cancellation of Thomas Sturm's presentation)


Chairs
Speakers
avatar for Brandon Boesch

Brandon Boesch

University of South Carolina
I am particularly interested in the role of the agent within philosophical accounts of scientific representation. I am also interested in general questions about scientific practice, related to the strategies employed in the uses of models, simulations, and representations.
AI

Alistair Isaac

University of Edinburgh



Wednesday August 5, 2015 14:30 - 16:00
Main Building, Room 12

14:30

The Logical Structure of Correlated Information Change (LogiCIC) II
5 August 2:30 PM – 4:20 PM

Organized by:
Sonja Smets, University of Amsterdam

Schedule:

- 14:30-15:25  Short Presentations Session:
     - 14:30-14:45 : Soroush Rafiee Rad: 'Forming Rational Belief on Quantified Evidence'
     - 14:50-15:05 : Paolo Galeazzi: 'Smart Transformations: or, The Evolution of Choice  Principles'
     - 15:10-15:25 : Chenwei Shi: 'Stable belief and Sensitive belief -- a comparative study'

- 15:25-15:55 lecture by Kevin T. Kelly

- 15:55-16:05 Commentator 1: Alexandru Baltag

- 16:05-16:15 Commentator 2: Soroush R. Rad

- 16:15-16:20 Discussion
 

Chairs
SS

Sonja Smets

University of Amsterdam

Speakers
AB

Alexandru Baltag

University of Amsterdam
PG

Paolo Galeazzi

University of Amsterdam
KT

Kevin T. Kelly

Carnegie Mellon University
SR

Soroush R. Rad

University of Amsterdam
OR

Olivier Roy

University of Bayreuth
CS

Chenwei Shi

University of Amsterdam



Wednesday August 5, 2015 14:30 - 16:20
Main Building, Room 7 Fabianinkatu 33

14:30

Session of the Commission on Technology and Engineering Sciences: Complex Socio-Technical Systems: Frames and Values I
5 August 2:30PM – 4:30PM

Organized by
Sjoerd Zwart, Delft University of Technology

SPEAKERS AND TITLES

14:30 – 16:30
The Crucial Role of Stakeholders in CST- Systems
Nicola Guarino, ISTC-CNR

Context as a modelling device for CST systems
Stefano Borgo, CNR (National Council of Research)

The Socio-Technical Stance
Daniele Porello, CNR (National Council of Research)
Roberta Ferrario, Italian National Research Council

Sociotechnical systems and their users
Maarten Franssen, Delft University of Technology


Chairs
Speakers
SB

Stefano Borgo

CNR (National Council of Research)
RF

Roberta Ferrario

Italian National Research Council
MF

Maarten Franssen

Delft University of Technology
avatar for Nicola Guarino

Nicola Guarino

Nicola Guarino is research director at the Institute for Cognitive Sciences and Technologies of the Italian National Research Council (ISTC-CNR), where he leads the Laboratory for Applied Ontology (LOA), a section of the Institute located in Trento. Since 1991 he has been playing a leading role in the ontology field, developing a strongly interdisciplinary approach that combines together Computer Science, Philosophy, and Linguistics, and... Read More →
avatar for Daniele Porello

Daniele Porello

CNR (National Council of Research)



Wednesday August 5, 2015 14:30 - 16:30
Main Building, Auditorium II Fabianinkatu 33

14:30

A2.10 Philosophical Logic
5 AUGUST 02:30 PM - 04:30 PM

SPEAKERS AND TITLES

Justification Logics and Quasi-Truth
Alexandre Costa-Leite, Philosophy, University of Brasilia, Brasilia, BRAZIL

Beyond knowing that: non-standard epistemic logics
Yanjing Wang, Department of Philosophy, Peking University, Beijing, CHINA

Propositional Logics of Dependence and Relativised Knowledge
Valentin Goranko, Department of Philosophy, Stockholm University, Stockholm, SWEDEN
Antti Kuusisto, Stockholm University, Stockholm, SWEDEN

30 min break (due to the cancellation of Ekaterina Kubyshkina's presentation)


Chairs
VG

Valentin Goranko

Stockholm University

Speakers
AC

Alexandre Costa-Leite

University of Brasilia
avatar for Yanjing Wang

Yanjing Wang

Associate Professor, Peking University
Epistemic Logic, Dynamic Logic, and philosophical logic in general



Wednesday August 5, 2015 14:30 - 16:30
Main Building, Room 15 Fabianinkatu 33

14:30

A2.9 Philosophical Logic
5 AUGUST 02:30 PM - 04:30 PM

SPEAKERS AND TITLES

Dependence of quantifiers: Arbitrary objects versus generalised Tarski-type semantics
Gabriel Sandu, Philosophy, History, Culture and Art Studies, University of Helsinki, Helsinki, FINLAND

Words or Things: Aristotelian Categories
Esra Cagri Mutlu, Philosophy, VAN YYU, Van, TURKEY

Logical Spaces
Ulrich Meyer, Philosophy, Colgate University, Hamilton, USA

Heterodox Models of Peano Arithmetic
Taishi Kurahashi, Natural Sciences, Kisarazu National College of Technology, Kisarazu, Chiba, JAPAN
Makoto Kikuchi, System Informatics, Kobe University, Kobe, JAPAN

    

Chairs
UM

Ulrich Meyer

Colgate University

Speakers
TK

Taishi Kurahashi

Kisarazu National College of Technology
GS

Gabriel Sandu

University of Helsinki



Wednesday August 5, 2015 14:30 - 16:30
Main Building, Room 13 Fabianinkatu 33

14:30

B3.12 Metaphysical Issues in the Philosophy of Science
5 August 02:30 PM - 04:30 PM

SPEAKERS AND TITLES

1 hour break (due to the cancellation of Hugo Fraguito's and Pandora Hadzidaki's presentations)

The logical form of laws of nature
Toby Friend, Science and Technology Studies, UCL, London, UNITED KINGDOM

Natural vs. Artificial Distinction
Vladimir Havlik, Department of Analytical Philosophy, Institute of Philosophy, Prague 1, CZECH REPUBLIC


Chairs
VH

Vladimir Havlik

Institute of Philosophy

Speakers


Wednesday August 5, 2015 14:30 - 16:30
Main Building, Room 17

14:30

B4.3 Ethical and Political Issues in the Philosophy of Science
5 AUGUST 02:30 PM - 04:30 PM

SPEAKERS AND TITLES


Inductive Risk, Epistemic Risk, and Overdiagnosis of Disease
Justin Biddle, Philosophy Program, School of Public Policy, Georgia Institute of Technology,Atlanta, USA

Value free or not, in terms of whether qua science or qua scientists
Masahiro Matsuo, Science, Hokkaido University, Sapporo, JAPAN



  

Chairs
JB

Justin Biddle

Georgia Institute of Technology

Speakers
MM

Masahiro Matsuo

Hokkaido University



Wednesday August 5, 2015 14:30 - 16:30
Main Building, Room 16

14:30

C1.4 Philosophy of the Formal Sciences
5 AUGUST 02:30 PM - 04:30 PM

SPEAKERS AND TITLES
 

Mathematics in Structural Explanations
Min Tang, Philosophy, University of North Carolina Chapel Hill, Chapel Hill, USA

State constraint system applicable to judgement adjusting
Susumu Yamasaki, Computer Science, Okayama University, Okayama, JAPAN

Keeping Pure and Applied Mathematics Together: the Role of Frege’s Constraint.
Andrea Sereni, Humanities, Institute of Advanced Studies IUSS, Pavia, ITALY

Indiscernibility in mathematics
Brice Halimi, Philosophy, University Paris Ouest, Nanterre, FRANCE

Chairs
AS

Andrea Sereni

Institute of Advanced Studies IUSS

Speakers
avatar for Brice Halimi

Brice Halimi

Associate Professor, University Paris Ouest
MT

Min Tang

University of North Carolina Chapel Hill
SY

Susumu Yamasaki

Okayama University



Wednesday August 5, 2015 14:30 - 16:30
Main Building, Room 10 Fabianinkatu 33

14:30

C2.5 Philosophy of the Physical Sciences
5 AUGUST 02:30 PM - 04:30 PM

SPEAKERS AND TITLES


Causal Sets and Discrete Linear Structures
Laurenz Hudetz, Department of Philosophy (KGW), University of Salzburg, Salzburg, AUSTRIA

Testing typicality in multiverse cosmology
Feraz Azhar, Department of History and Philosophy of Science, University of Cambridge, Cambridge, UNITED KINGDOM

Measure, Topology and Probabilistic Reasoning in Cosmology
Erik Curiel, Munich Center for Mathematical Philosophy, Ludwig-Maximilians-Universitat, Munich, GERMANY

Bayesian Perspectives on the Discovery of the Higgs Particle
Richard Dawid, Philosophy, LMU Munich, Munich, GERMANY
 

 

Chairs
avatar for Erik Curiel

Erik Curiel

Munich Center for Mathematical Philosophy, LMU

Speakers
FA

Feraz Azhar

University of Cambridge
RD

Richard Dawid

LMU Munich
LH

Laurenz Hudetz

University of Salzburg



Wednesday August 5, 2015 14:30 - 16:30
Main Building, Room 6

14:30

C7.4 Philosophy of Medicine
5 AUGUST 02:30 PM - 04:30 PM

SPEAKERS AND TITLES


Disease definitions and the case of Morgellons
Harry Quinn Schone, Science and Technology Studies, UCL, London, UNITED KINGDOM

Individuating Pathologies
James Krueger, Philosophy, University of Redlands, Redlands, USA

Animal Predictions of Human Responses
Nina Atanasova, Philosophy and Religious Studies, The University of Toledo, Toledo, USA

The concept of animal in husbandry and impact on therapeutical choices
Jacques Cabaret, Animal health, INRA, Nouzilly, FRANCE
Ludivine Fortin, Animal health, INRA, Nouzilly, FRANCE


  

Chairs
JK

James Krueger

University of Redlands

Speakers
avatar for Nina Atanasova

Nina Atanasova

Lecturer, The University of Toledo
avatar for Harry Quinn Schone

Harry Quinn Schone

PhD Student, UCL
Hello, | My background is history and philosophy of science, specifically medicine. Of particular interest to me are 'contested' illnesses, disease definition and the consequences of biomedicine's implicitly reductionist philosophy. I would love to hear from anyone who has ideas about how we should define disease, whether we can define disease at all and how we should conceptualise (with an eye to treatment) those conditions that fall on the... Read More →



Wednesday August 5, 2015 14:30 - 16:30
Main Building, auditorium I

14:30

C7.5 Philosophy of Medicine + C8.4 Metaphilosophy
5 AUGUST 02:30 PM - 04:30 PM

SPEAKERS AND TITLES

Making Better People through Technologies and Without Norms - Disciplinary Transfers from Medicine
to Enhancement
Johanna Ahola-Launonen, Political and Economic Studies , University of Helsinki, Helsinki, FINLAND
Judith Favereau, Political and Economic Studies, University of Helsinki, Helsinki, FINLAND

1 hour break (due to the cancellation of Sheng-Ying Lu's and Margot Strohminger's presentations)

A formal definition of ontological categories
Pawel Garbacz, Department of Philosophy, The John Paul II Catholic
University of Lublin, Radawiec Duzy, POLAND


Chairs
JF

Judith Favereau

University of Helsinki

Speakers
JA

Johanna Ahola-Launonen

University of Helsinki
PG

Pawel Garbacz

The John Paul II Catholic University of Lublin



Wednesday August 5, 2015 14:30 - 16:30
Main Building, Room 14 Fabianinkatu 33

14:30

A1. Invited Session: Mathematical Logic
5 August, 02:30PM – 04:30PM


SPEAKERS AND TITLES

Constructing normal numbers
Verónica Becher
University of Buenos Aires, ARGENTINA
CONICET, ARGENTINA

Entanglement and Formalism Freeness: Templates from Logic and Set Theory
Juliette Kennedy, University of Helsinki, FINLAND   

Chairs
SH

Åsa Hirvonen

University of Helsinki

Speakers
VB

Veronica Becher

University of Buenos Aires
avatar for Juliette Kennedy

Juliette Kennedy

University of Helsinki



Wednesday August 5, 2015 14:30 - 16:30
Main Building, Small Hall

14:30

B3. Invited Session: Metaphysical Issues in the Philosophy of Science
05 August, 02:30PM – 04:30PM


SPEAKERS AND TITLES

What gives Direction to Time? 
Loewer Barry
Rutgers University, USA

On the Prospects of an Effective Metaphysics
Kerry McKenzie, UC San Diego, USA

Chairs
JK

Jaakko Kuorikoski

University of Helsinki

Speakers
BL

Barry Loewer

Rutgers University
KM

Kerry McKenzie

UC San Diego



Wednesday August 5, 2015 14:30 - 16:30
Main Building, Room 5

14:30

Naming Logic(s)
5 August 02:30 PM – 04:30 PM

Organized by
Jean-Yves Beziau, Federal University of Rio de Janeiro


SPEAKERS AND TITLES

What makes symbolic logic “symbolic”?
Amirouhe Moktefi, Tallinn University of Technology

Formal and transcendental logic
Srecko Kovac, Institute of Philosophy, Zagreb

What is pure in Husserl’s idea of pure logic?
Manuel Gustavo Isaac, Paris Diderot University

On the minimality of minimal logic
Sergei Odintsov, Sobolev Institute of Mathematics




Chairs
avatar for Jean-Yves Beziau

Jean-Yves Beziau

Professor / Visiting Scholar, University of Brazil / University of California, San Diego
Universal Logic, Square of Opposition, History and Philosophy of Logic, Paraconsistent Logic, Many-Valued Logic, Modal Logic, Semiotics

Speakers
avatar for Manuel Gustavo Isaac

Manuel Gustavo Isaac

Paris Diderot University, isaac.manuelgustavo@gmail.com
SK

Srecko Kovac

Institute of Philosophy, Zagreb
avatar for Amirouche Moktefi

Amirouche Moktefi

Research fellow, Tallinn University of Technology
SO

Sergei Odintsov

Sobolev Institute of Mathematics



Wednesday August 5, 2015 14:30 - 16:30
Main Building, Room 3 Fabianinkatu 33

14:30

Suppositiones and Consequentiae in Medieval Logic: Historical and Philosophical Inquiries
5 August 02:30 PM – 04:30 PM

SPEAKERS AND TITLES

ConsequentiaIe and Expositiones in Marsilius of Inghen's Treatise on Consequences
Graziana Ciola, Scuola Normale Superiore / UCLA

Collective Nouns and Plural Quantification in William of Ockham
Magali Roques, Freie Universität Berlin

Two medieval traditions in the meaning of ‘formally valid’
Mikko Yrjönsuuri, University of Jyväskylä
 

Speakers
GC

Graziana Ciola

Scuola Normale Superiore / UCLA
MR

Magali Roques

Freie Universität Berlin
MY

Mikko Yrjönsuuri

University of Jyväskylä



Wednesday August 5, 2015 14:30 - 16:30
Main Building, Room 4

14:30

Mathematical Objectivity by Representation II
5 June 2:30 PM – 4:45 PM

Organized by
Florian Steinberger, CMP, LMU, Munich
Marco Panza , CNRS, IHPST, Paris


SPEAKERS AND TITLES

14:30 – 15:15
Structuralism Based on a Computable Infinitary Logic
Catrin Campbell-Moore, MCMP

15:15 – 16:00
Reference graphs, games for truth, and semantic paradox
Thomas Schindler, MCMP

16:00 – 16:45
Dummett and “Kresiel Dictum”
Göran Sundholm, University of Leiden




Wednesday August 5, 2015 14:30 - 16:45
Main Building, Room 8 Fabianinkatu 33

14:45

A Social Philosophy of Science: An Affiliated Meeting
5 August, 02:45PM – 05:45PM


Organizers:

Ilya Kasavin, Institute of Philosophy

 

SPEAKERS AND TITLES

How an affordance based on philosophy of chemistry makes room for social and personal factors in the research process?
Rom Harré, Georgetown University, USA

Social Philosophy of Science: A New Turn in STS
Ilya Kasavin, Institute of Philosophy, RAS, Russia





Chairs
IK

Ilya Kasavin

Institute of Philosophy

Speakers
VL

Vladislav Lektorsky

Institute of Philosophy RAS
TR

Tom Rockmore

Peking University
avatar for Alexander Ruser

Alexander Ruser

PostDoc, Zeppelin Universität



Wednesday August 5, 2015 14:45 - 17:45
Main Building, Auditorium IV

16:30

Coffee
Wednesday August 5, 2015 16:30 - 17:00
Main Building, new side Fabianinkatu 33

16:40

The Logical Structure of Correlated Information Change (LogiCIC) III
5 August 4:40 PM – 6:30 PM

Organized by:
Sonja Smets, University of Amsterdam

Schedule:

-16:40-17:10 lecture by Alexandru Baltag, University of Amsterdam

-17:10-17:20 Commentator 1: Branden Fitelson, Rutgers University

-17:20-17:30 Commentator 2: Paolo Galeazzi, University of Amsterdam

-17:30-17:35 Discussion

-17:35-18:05 lecture by Olivier Roy, University of Bayreuth

-18:05-18:15 Commentator 1: Eric Pacuit, University of Maryland

-18:15-18:25 Commentator 2: Sonja Smets, University of Amsterdam

-18:25-18:30 Discussion

- Closing words : Sonja Smets

 

 

Chairs
SS

Sonja Smets

University of Amsterdam

Speakers
AB

Alexandru Baltag

University of Amsterdam
BF

Branden Fitelson

Rutgers University
PG

Paolo Galeazzi

University of Amsterdam
avatar for Eric Pacuit

Eric Pacuit

University of Maryland
OR

Olivier Roy

University of Bayreuth



Wednesday August 5, 2015 16:40 - 18:30
Main Building, Room 7 Fabianinkatu 33

16:45

Book launch: The Road to Universal Logic
The two volumes of 

The Road to Universal Logic. Festschrift for 50th birthday of Jean-Yves Beziau
[edited by Arnold Koslow & Arthur Buchsbaum] 

have recently been published by Springer

Volume 1
http://www.springer.com/gp/book/9783319101927

Volume 2
http://www.springer.com/gp/book/9783319153674

The launching of these books will be organized during the 15th CLMPS in Helsinki at 16h45 on August 5 at Springer stand (main lobby first floor) with the participation among others of Arnon Avron, Jean-Yves Beziau, Luis Estrada Gonzalez, Srecko Kovac, Décio Krause, Sergei Odintsov,  Amirouche Moktefi, Stephen Read, Hans Smessaert, Jan Wolenski, Wilfrid Hodges, Francesco Paoli, Aldo Antonelli, Juin-Lin Lee, Ofra Rechter, Fabrice Pataut, David Rey, Marc Champagne, Gerhard Heinzmann,  and Anne Fagot-Largeault.

Everybody is welcome to join!

Wednesday August 5, 2015 16:45 - 17:15
Book Exhibition Area (1st floor) Fabianikatu 33

17:00

A1. Invited Session: Mathematical Logic
05 August, 05:00PM – 06:00PM

SPEAKERS AND TITLES

Global Reflection Principles
P.D. Welch, 
School of Mathematics, University of Bristol, UNITED KINGDOM

Chairs
SH

Åsa Hirvonen

University of Helsinki

Speakers
avatar for Philip Welch

Philip Welch

Bristol University
Set Theory, reflection principles, philosophy of set theory and foundations; theories of truth, transfinite computational models. | | See | http://www.maths.bris.ac.uk/~mapdw/ |



Wednesday August 5, 2015 17:00 - 18:00
Main Building, Small Hall

17:00

Session of the Commission on Technology and Engineering Sciences: Complex Socio-Technical Systems: Frames and Values II
5 August 5:00PM – 6:30PM

Organized by
Sjoerd Zwart, Delft University of Technology

SPEAKERS AND TITLES

17:00 – 18:30
Design for Values and CST–Systems. The Role of Procedural Values and Institutional Design
Rafaela Hillebrand, RWTH Aachen University

Participation in Autonomous Systems
Sabine Thürmel, Technical University Munich




Wednesday August 5, 2015 17:00 - 18:30
Main Building, Auditorium II Fabianinkatu 33

17:00

A3.4 Computational Logic and Applications of Logic
5 AUGUST 05:00 PM - 06:30 PM

SPEAKERS AND TITLES
 

Hybrid Logic for Qualitative Reasoning about Location
Michal Zawidzki, Institute of Philosophy, University of Lodz/University of Warsaw, Warszawa, POLAND
Tomasz Lechowski, Institute of Philosophy, University of Warsaw, Warszawa, POLAND ,
Przemyslaw Walega, University of Warsaw, Warszawa, POLAND

Contrary-to-Duty Imperatives: A Paraconsistent Deontic Approach
Can Baskent, Semagramme, INRIA, Vandoeuvre-lès-Nancy Cedex, FRANCE

Generalized Quantifiers and Higher-order Logic Programming
Peter Gabrovsky, Computer Science, California State University, Northridge, USA   

Chairs
MZ

Michal Zawidzki

University of Lodz/University of Warsaw

Speakers
CB

Can Baskent

University of Bath
PG

Peter Gabrovsky

California State University
TL

Tomasz Lechowski

University of Warsaw



Wednesday August 5, 2015 17:00 - 18:30
Main Building, Room 3 Fabianinkatu 33

17:00

B2.5 Formal Philosophy of Science and Formal Epistemology
5 AUGUST 05:00 PM - 06:30 PM

SPEAKERS AND TITLES


An Economic Interpretation of Contrapositive Probability
David Miller, Philosophy, University of Warwick, COVENTRY, UNITED KINGDOM

Betting odds and sincere degrees of belief
Colin Elliot, Department of Philosophy, University of Tilburg, Tilburg, NETHERLANDS

Making Fit Fit
Michael Hicks, Philosophy, Rutgers University, Brooklyn, USA

  

Chairs
DM

David Miller

University of Warwick

Speakers
CE

Colin Elliot

University of Tilburg
MH

Michael Hicks

Rutgers University



Wednesday August 5, 2015 17:00 - 18:30
Main Building, Room 12

17:00

B2.7 Formal Philosophy of Science and Formal Epistemology
5 AUGUST 05:00 PM - 06:30 PM

SPEAKERS AND TITLES


The logical form of physical statements
Thomas Benda, Institute of Philosophy of Mind, National Yang Ming University, Taipei, TAIWAN

Counterfactuals within Scientific Theories
Samuel C. Fletcher, Munich Center for Mathematical Philosophy, Ludwig-Maximilians-Universität München, Munich, GERMANY

Iterated Belief Revision and Nested Conditionals
Hao-Cheng Fu, Philosophy, Chinese Culture University, Taipei, TAIWAN

  

Chairs
SC

Samuel C. Fletcher

Ludwig-Maximilians-Universität München

Speakers
TB

Thomas Benda

National Yang Ming University
HF

Hao-Cheng Fu

Chinese Culture University



Wednesday August 5, 2015 17:00 - 18:30
Main Building, Room 4

17:00

B3.13 Metaphysical Issues in the Philosophy of Science
5 AUGUST 05:00 PM - 06:30 PM

SPEAKERS AND TITLES


Hooking On and Biting Back: A Defense of Longino's Account of Objectivity
Jennifer Fellows, Philosophy, Douglas College, New Westminster, B.C., CANADA

Extended Agents and Development of Science and Technology
Yasuo Nakayama, Graduate School of Human Sciences, Osaka University, Suita, Osaka, JAPAN

   

Chairs
JF

Jennifer Fellows

Douglas College

Speakers
YN

Yasuo Nakayama

Osaka University



Wednesday August 5, 2015 17:00 - 18:30
Main Building, Room 14 Fabianinkatu 33

17:00

B5.5 Historical Aspects in the Philosophy of Science
5 AUGUST 05:00 PM - 06:30 PM

SPEAKERS AND TITLES

Which Intuition for Intuitionism?
Julien Grupp, Philosophy, Université Montpellier III, Lodève, FRANCE

Operationalism and realism in Soviet theoretical physics
Alexander Fursov, Department of Philosophy, M.V. Lomonosov Moscow State University, Moscow, RUSSIAN FEDERATION 

Chairs
JG

Julien Grupp

Université Montpellier III

Speakers
AF

Alexander Fursov

M.V. Lomonosov Moscow State University



Wednesday August 5, 2015 17:00 - 18:30
Main Building, Room 5

17:00

C2.13 Philosophy of the Physical Sciences + A2 Philosophical Logic
5 AUGUST 05:00 PM - 06:30 PM

SPEAKERS AND TITLES

Likelihood and Confidence in the IPCC's Uncertainty Framework
Casey Helgeson, Philosophy, London School of Economics, London, USA   

Epistemic and institutional challenges posed by the provision of climate services
Cecilia Hidalgo, School of Philosophy&Literature, University of Buenos Aires, Buenos Aires, ARGENTINA

A pragmatic logic for denial (LPD)
Massimiliano Carrara, FISPPA DEPARTMENT, UNIVERSITY OF PADUA, padova, ITALY
Daniele Chiffi, UNIVERSITY OF PADUA, ITALY
Ciro De Florio, CATHOLIC UNIVERSITY OF MILAN, MILAN, ITALY

Chairs
DC

Daniele Chiffi

University of Padua

Speakers
MC

Massimiliano Carrara

UNIVERSITY OF PADUA
avatar for Casey Helgeson

Casey Helgeson

London School of Economics
CH

Cecilia Hidalgo

University of Buenos Aires



Wednesday August 5, 2015 17:00 - 18:30
Main Building, Room 16

17:00

C4.8 Philosophy of the Cognitive and Behavioural Sciences
5 AUGUST 05:00 PM - 06:30 PM

SPEAKERS AND TITLES


Learning Natural Language Semantics Through Coordination
Dariusz Kalocinski, Department of Logic, Institute of Philosophy, University of Warsaw, Warsaw, POLAND
Nina Gierasimczuk, Institute for Logic, Language and Computation, Amsterdam, NETHERLANDS
Marcin Mostowski, Institute of Philosophy, University of Warsaw, Warsaw, POLAND  

Analogical Thinking in Formal Semantics
David Rey, Logic, History, and Philosophy of Science, University of Barcelona - LOGOS group, Barcelona, SPAIN
 


  

Chairs
MM

Marcin Mostowski

University of Warsaw

Speakers
avatar for Dariusz Kalociński

Dariusz Kalociński

PhD student, Institute of Philosophy, University of Warsaw
DR

David Rey

University of Barcelona - LOGOS group



Wednesday August 5, 2015 17:00 - 18:30
Main Building, Room 10 Fabianinkatu 33

17:00

C4.9 Philosophy of the Cognitive and Behavioural Science
5 August 05:00 PM – 06:30 PM

SPEAKERS AND TITLES

Cognitive neuroscience as a research tradition and a social practice: the case of episodic memory
Denis Forest, philosophy, University of Paris Ouest Nanterre La Défense, Nanterre, FRANCE
Loraine Gérardin-Laverge, philosophy, University of Paris Ouest Nanterre La Défense, Lyon, FRANCE

30 min break (due to the cancellation of Mika Kiikeri's presentation)

Cognitive Neuroscience and the Mechanist Thesis
Gordon Steenbergen, Philosophy, Duke University, Durham, NC, USA


Chairs
DF

Denis Forest

University of Paris Ouest Nanterre La Défense

Speakers


Wednesday August 5, 2015 17:00 - 18:30
Main Building, Room 17

17:00

C5.8 Philosophy of the Humanities and the Social Sciences
5 AUGUST 05:00 PM - 06:30 PM

SPEAKERS AND TITLES

Rejection of conceptual scheme relativism: A defense of Donald Davidson
Yuliya Fadeeva, Philosophy, Duisburg-Essen University, Essen, GERMANY

THE MEANING OF PEJORATIVES: Dependent and Independent Semantics
Pasi Valtonen, Department of Philosophy, King's College London, London, UNITED KINGDOM

Sense and reversed (retrograde) semiosis in the Humanities
Konstantin Skripnik, Institute of Philosophy and Social Studies, Southern federal university, Rostov-on-Don, RUSSIAN FEDERATION   
  

Chairs
YF

Yuliya Fadeeva

Duisburg-Essen University

Speakers
avatar for Konstantin Skripnik

Konstantin Skripnik

Professor, Southern federal university
PV

Pasi Valtonen

King's College London



Wednesday August 5, 2015 17:00 - 18:30
Main Building, Room 6

17:00

C5.9 Philosophy of the Humanities and the Social Sciences
5 AUGUST 05:00 PM - 06:30 PM

SPEAKERS AND TITLES

Memory, Reification and Methodology
Eugenia Allier-Montaño, Instituto de Investigaciones Sociales, Universidad Nacional Autonoma de Mexico, Mexico, D.F., MEXICO

The 'looping effect' and the specificity of the social sciences
Olivier Ouzilou, Lorraine, Université de Lorraine, Nancy, FRANCE

Utopia and Scientism: Neurath and Social Planning
Ivan F. da Cunha, Philosophy, Universidade Estadual de Maringá, Maringá - PR, BRAZIL


Chairs
OO

Olivier Ouzilou

Université de Lorraine

Speakers
EA

Eugenia Allier-Montaño

Universidad Nacional Autonoma de Mexico
avatar for Ivan F. da Cunha

Ivan F. da Cunha

Universidade Estadual de Maringá



Wednesday August 5, 2015 17:00 - 18:30
Main Building, Room 13 Fabianinkatu 33

17:00

C6.3 Philosophy of the Applied Sciences and Technology
5 AUGUST 05:00 PM - 06:30 PM

SPEAKERS AND TITLES


Health claims: regulation and scientific controversy
Oliver Todt, Philosophy, University of the Balearic Islands, Palma, SPAIN
José Luis Luján, Philosophy, University of the Balearic Islands, Palma, SPAIN
Juan Bautista Bengoetxea, Philosophy, University of the Balearic Islands, Palma, SPAIN  

Measuring Risk by Subjective Indicators
Carlo Martini, Department of Political and Economic Studies, University of Helsinki, Helsinki, FINLAND  

Philosophical notion of responsibility as a foundation for Value Sensitive Design and for Responsible Innovation
Rafal Wodzisz, Philosophy, John Paul II Catholic University of Lublin, Ropczyce, POLAND  

Chairs
avatar for Carlo Martini

Carlo Martini

Researcher, University of Helsinki

Speakers
OT

Oliver Todt

University of the Balearic Islands
RW

Rafal Wodzisz

John Paul II Catholic University of Lublin



Wednesday August 5, 2015 17:00 - 18:30
Main Building, Room 15 Fabianinkatu 33

17:15

Mathematical Objectivity by Representation III
5 June 5:15 PM – 6:45 PM

Organized by
Florian Steinberger, CMP, LMU, Munich
Marco Panza , CNRS, IHPST, Paris


SPEAKERS AND TITLES

17h15-18h00
A New Norm for Truth
Johannes Stern, MCMP


18h00-18h45
Reductive and hermeneutic Nominalism
Kai Büttner,  University of Zurich


Chairs
Speakers
KB

Kai Büttner

University of Zurich



Wednesday August 5, 2015 17:15 - 18:45
Main Building, Room 8 Fabianinkatu 33

18:30

City Hall Reception
The City of Helsinki hosts a welcome reception for the congress quests at the heart of the historic centre next to the sea-side Market Square. After a welcome speech by a city representative, the guests have a chance to enjoy a light buffet dinner and the architecture of the City Hall.

The reception is also open for avecs! 

Wednesday August 5, 2015 18:30 - 20:00
Helsinki City Hall Pohjoisesplanadi 11-13
 
Thursday, August 6
 

09:00

Plenary Lecture: Steve Awodey
6 August, 09:00pm – 10:30am


 

SPEAKER AND TITLE


Cubical homotopy type theory and univalence
Steve Awodey, Carnegie Mellon University, Pittsburgh, UNITED STATES

Chairs
JV

Jouko Väänänen

University of Helsinki

Speakers
SA

Steve Awodey

Carnegie Mellon University



Thursday August 6, 2015 09:00 - 10:30
Porthania I Yliopistonkatu 3

10:30

Coffee
Thursday August 6, 2015 10:30 - 11:00
Main Building, new side Fabianinkatu 33

11:00

C6. Invited Session: Philosophy of the Applied Sciences and Technology
6 August 11:00AM – 12:00PM

SPEAKER AND TITLE

How to bring philosophy back into science – Epistemological constructivism as a viable picture of science?
Mieke Boon, University of Twente, Enschede, The Netherlands


Chairs
avatar for Hanne Andersen

Hanne Andersen

Head of Department, University of Copenhagen

Speakers
avatar for Mieke Boon

Mieke Boon

Full professor Philosophy of Science, University of Twente
Mieke Boon is full professor in Philosophy of Science in Practice in the Philosophy Department at the University of Twente (The Netherlands). Boon holds an MSc in Chemical Engineering at Twente University of Technology (1987, cum laude), and a PhD in Biotechnology at Technical University Delft (1996, cum laude). Her current research in philosophy of science focuses on developing “a philosophy of science for the engineering sciences.”



Thursday August 6, 2015 11:00 - 12:00
Main Building, Room 5

11:00

Philosophy of Mathematical Practice I
6 August 11:00 AM – 1:00 PM

Sponsored by the Association for the Philosophy of Mathematical Practice (APMP). 


Organized by:
Andrew Arana, University of Illinois
Emily Grosholz, Penn State University
Dirk Schlimm, McGill University

PLEASE NOTE THAT THE SESSION HAS BEEN MOVED TO AUDITORIUM XII (OLD SIDE, ONE FLOORS UP FROM THE AUDITORIUM II)

SPEAKERS AND TITLES

11:00 – 11:30 
Dedekind, Frege, and the foundational quest
Erich Reck, University of California, Riverside

11:30 – 12:00
Frege on acquaintance
Sorin Costreie, Romanian Academy, Iasi Branch

12:00 – 12:30
Formalization as a mathematical and philosophical tool
John Baldwin, University of Illinois, Chicago

12:30 – 13:00
Pluralist mathematical practice
Michele Friend, George Washington University

Chairs
AA

Andrew Arana

University of Illinois
EG

Emily Grosholz

Penn State University
DS

Dirk Schlimm

McGill University

Speakers
JB

John Baldwin

University of Illinois
SC

Sorin Costreie

Romanian Academy, Iasi Branch
MF

Michele Friend

George Washington University
ER

Erich Reck

University of California



Thursday August 6, 2015 11:00 - 13:00
Auditorium XII

11:00

A1.1 Mathematical Logic
6 August 11:00-13:00

SPEAKERS AND TITLES

On Implicational Connectives of Quantum Logics for Non-commutative
Substructural Logics formulated Gentzen-style Natural Deduction
Takeshi Ueno, Food Science and Human Wellnes, Rakuno-Gakuen University, Ebetsu, JAPAN 

A theory for systems of propositions referring to each other
Denis Saveliev, Institute for Information Transmission Problems, Russian Academy of Sciences, Moscow, RUSSIAN FEDERATION

Logic and philosophy of trial and error mathematics: Dialectical and quasi-dialectical systems
Luca San Mauro, Faculty of Humanities, Scuola Normale Superiore, Pisa, ITALY
Jacopo Amidei, Faculty of Humanities, Scuola Normale Superiore, Pisa, ITALY
Duccio Pianigiani, Mathematics, University of Siena, Siena, ITALY
Andrea Sorbi, Mathematics, University of Siena, Siena, ITALY 

Some general results on the translations between logics and theories
Luiz Carlos Pereira, Philosophy, PUC-Rio/UERJ, Rio de Janeiro, BRAZIL
Edward Hermann Haeusler, Computer Science, PUC-Rio, Rio de Janeiro, BRAZIL 

Chairs
Speakers
avatar for Luca San Mauro

Luca San Mauro

Scuola Normale Superiore
DS

Denis Saveliev

Russian Academy of Sciences
TU

Takeshi Ueno

Rakuno-Gakuen University



Thursday August 6, 2015 11:00 - 13:00
Main Building, Room 16

11:00

A3.1 Computational Logic and Applications of Logic
6 August 11:00-13:00

SPEAKERS AND TITLES

Procedural specification of beta-conversion
Marie Duzi, Computer Science, VSB-Technical University Ostrava, Ostrava, CZECH REPUBLIC 

30 min break (due to the cancellation of Luigi Sauro, Fabio Mogavero, and Aniello Murano's presentation)

Logics for Collective Reasoning
Daniele Porello, Institute of Cognitive Science and Technology, CNR (National Council of Research), Trento, ITALY

Modeling decision-making under ignorance and uncertainty 
Tomasz Lechowski, Philosophy, University of Warsaw, Warsaw, POLAND
Michal Zawidzki, Philosophy, University of Lodz / University of Warsaw, Lódz, POLAND
Przemyslaw Walega, Philosophy, University of Warsaw, Warsaw, POLAND 

Chairs
avatar for Marie Duzi

Marie Duzi

Prof., VSB-Technical University Ostrava

Speakers
TL

Tomasz Lechowski

University of Warsaw
avatar for Daniele Porello

Daniele Porello

CNR (National Council of Research)
MZ

Michal Zawidzki

University of Lodz/University of Warsaw



Thursday August 6, 2015 11:00 - 13:00
Main Building, Room 15 Fabianinkatu 33

11:00

B1.12 Methodology
6 August 11:00-13:00

SPEAKERS AND TITLES


Causal inference and public policy: problems and (some) solutions
Daniel Malinsky, Philosophy, Carnegie Mellon University, Pittsburgh, PA, USA 

Gender index for the academia : how to translate the real world into numbers?
Anne-Sophie Godfroy, Sciences Normes Decision, Université Paris-Sorbonne & CNRS, Paris, FRANCE 

Automated large scale evidence aggregation in the context of policy making
Nicolas Wüthrich, Philosophy, Logic, and Scientific Method, London School of Economics and Political Science, London , UNITED KINGDOM
Katie Steele, Philosophy, Logic, and Scientific Method, London School of Economics and Political Science, London, UNITED KINGDOM 

The methodology of the logical and cultural dominant in cross – science communication
Galina Sorina , Faculty of Philosophy, Lomonosov Moscow State University, Moscow, RUSSIAN FEDERATION
Irina Griftsova , Department of Philosophy, Moscow State Pedagogical University, Moscow, RUSSIAN FEDERATION 

Chairs
avatar for Anne-Sophie Godfroy

Anne-Sophie Godfroy

associate professor, Université Paris-Sorbonne & CNRS

Speakers
DM

Daniel Malinsky

Carnegie Mellon University
GS

Galina Sorina

Lomonosov Moscow State University
avatar for Nicolas Wüthrich

Nicolas Wüthrich

London School of Economics and Political Science



Thursday August 6, 2015 11:00 - 13:00
Main Building, Room 7 Fabianinkatu 33

11:00

B3.10 Metaphysical Issues in the Philosophy of Science
6 August 11:00-13:00

SPEAKERS AND TITLES

Pan-Perspectival Realism
Paul Teller, Philosophy, UC Davis, Davis, USA

Defining a Cumulative and Comprehensive Scientific Realism
Priyedarshi Jetli, Philosophy, University of Delhi, Delhi, INDIA

Reconstructed Empiricism
Finnur Dellsen, Philosophy, University of Iceland, Reykjavik, ICELAND

Abstraction, ideality and scientific representation
Kilakos Dimitris, Department of Philosophy and History of Science, University of Athens, Athens, GREECE


Chairs
PT

Paul Teller

UC Davis

Speakers
avatar for Finnur Dellsen

Finnur Dellsen

Lecturer, University of Iceland
I am a philosopher specializing in philosophy of science and epistemology. I live in Iceland, where I am currently teaching at the University of Iceland. I completed a Ph.D. in philosophy at UNC Chapel Hill in 2014. Most of my research is in epistemology and philosophy of science, specifically on issues concerning Inference to the Best Explanation and Scientific Realism.
KD

Kilakos Dimitris

University of Athens
avatar for Priyedarshi Jetli

Priyedarshi Jetli

University of Delhi
General philosophy of science, history of philosophy of science, history of logic, Poincare, philosophy of mathematics



Thursday August 6, 2015 11:00 - 13:00
Main Building, Room 13 Fabianinkatu 33

11:00

B3.4 Metaphysical Issues in the Philosophy of Science
6 August 11:00-13:00

SPEAKERS AND TITLES 

Against Structural and Counterfactual Explanations of Highly-Idealized Models in Physics
Martin King, Philosophy, University of Guelph, Guelph, CANADA 

30 min break (due to the cancellation of Laura Felline's presentation)

Scientific Understanding and Explanatory Interest
Zhu Xu, Philosophy, University of Chinese Academy of Sciences, Beijing, CHINA

On Characterizing Relevance
Anna-Mari Rusanen, Philosophy, history, culture and art studies, University of Helsinki, Helsinki, FINLAND


Chairs
avatar for Anna-Mari Rusanen

Anna-Mari Rusanen

University of Helsinki

Speakers
avatar for Martin King

Martin King

PhD Candidate, University of Guelph
ZX

Zhu Xu

University of Chinese Academy of Sciences



Thursday August 6, 2015 11:00 - 13:00
Main Building, Room 8 Fabianinkatu 33

11:00

B5.4 Historical Aspects in the Philosophy of Science
6 August 11:00-13:00

SPEAKERS AND TITLES

 
The reception of Ludwik Fleck's theory of thought styles and thought collectives in English
Pawel Jarnicki, Collegium Helveticum, ETHZ, Zuerich, SWITZERLAND

Reinvigorating Hanson’s patterns of discovery
Sami Paavola, Institute of Behavioural Sciences, University of Helsinki, Helsinki, FINLAND

Lakatos, Rational Reconstruction and Comparative Historiography
Jouni-Matti Kuukkanen, Philosophy, University of Oulu, Oulu , FINLAND

Thomas Kuhn and the rationality of theory choice
Eros Carvalho, Philosophy, UFRGS, Porto Alegre, BRAZIL 

Chairs
avatar for Jouni-Matti Kuukkanen

Jouni-Matti Kuukkanen

Associate Professor, University of Oulu
Jouni-Matti Kuukkanen is Associate Professor in Philosophy at the University of Oulu in Finland. He received a PhD from the University of Edinburgh and has held academic positions in the Universities of Durham and Hull in the UK and Leiden in the Netherlands. Kuukkanen has been awarded Fulbright and EURIAS fellowships. | His current research focuses on the narrativist philosophy of historiography, Imre Lakatos's philosophy of... Read More →

Speakers
avatar for Eros Carvalho

Eros Carvalho

Adjunct Professor, UFRGS (Federal University of Rio Grande do Sul)
avatar for Sami Paavola

Sami Paavola

University of Helsinki



Thursday August 6, 2015 11:00 - 13:00
Main Building, Room 17

11:00

C1.6 Philosophy of the Formal Sciences
6 August 11:00AM– 01:00PM

SPEAKERS AND TITLES

Why Post did not have Turing's Thesis
Wilfried Sieg, Philosophy, Carnegie Mellon University, Pittsburgh, USA
Mate Szabo, Philosophy, Carnegie Mellon University, Pittsburgh, USA
Dawn McLaughlin, Philosophy, Carnegie Mellon University, Pittsburgh, USA

Squeezing feasibility
Walter Dean, Philosophy, University of Warwick, Coventry, UNITED KINGDOM



Justifying proof-theoretic reflection
Marianna Antonutti Marfori, IHPST, Université Paris 1 - Panthéon Sorbonne, Paris, FRANCE





 

Chairs
MA

Marianna Antonutti Marfori

Université Paris 1 - Panthéon Sorbonne

Speakers
WD

Walter Dean

University of Warwick
MS

Mate Szabo

Carnegie Mellon University



Thursday August 6, 2015 11:00 - 13:00
Main Building, Room 10 Fabianinkatu 33

11:00

C2.7 Philosophy of the Physical Sciences
6 August 11:00AM– 01:00PM

SPEAKERS AND TITLES

A diachronic perspective on the structure of quantum lattices
Sebastian Fortin, Facultad de Ciencias Exactas y Naturales, CONICET-Universidad de Buenos Aires, Ciudad de Buenos Aires, ARGENTINA
Leonardo Vanni, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, Ciudad de Buenos Aires, ARGENTINA

Common cause closedness in orthomodular lattices
Yuichiro Kitajima, College of Industrial Technology, Nihon University, Narashino, JAPAN

Popper School Methodological Disproof of Quantum Logic
Steven Meyer, R&D, Tachyon Design Automation, San Francisco, USA

30 min Break (due to cancellation of the presentation: Generalized Implication in Quantum Logic, Tsuyoshi Yokoo, Philosophy, Keio University, Tokyo, JAPAN. CANCELLED 5.8.2015)


Chairs
YK

Yuichiro Kitajima

Nihon University

Speakers
SF

Sebastian Fortin

CONICET-Universidad de Buenos Aires
SM

Steven Meyer

Tachyon Design Automation
TY

Tsuyoshi Yokoo

Keio University
Something personal came up and I have to cancel my presentation ``Generalized Implication in Quantum Logic'' on Thursday, August 6, 11:00am-01:00pm (C2.7 Philosophy of the Physical Sciences). I’m really sorry.



Thursday August 6, 2015 11:00 - 13:00
Main Building, Room 6

11:00

C4.3 Philosophy of the Cognitive and Behavioural Sciences
6 August 11:00AM– 01:00PM

SPEAKERS AND TITLES

What, when, and how do rational analysis models explain?
Samuli Pöyhönen, Social and Moral Philosophy, University of Helsinki, University of Helsinki, FINLAND



The Predictive Coding Model of Dreaming
Sina Fazelpour, Philosophy, University of British Columbia, Vancouver, CANADA



The computer-scientists. About some models of creativity.
Monika Chylinska, Department of Theory of Knowledge, John Paul II Catholic University of Lublin, Lublin, POLAND

A general set-theoretical model for the notion of “systemic change” in systemic-relational epistemology and psychology
Salvatore Roberto Arpaia, Human and social sciences, University of Bergamo, Bergamo, ITALY

Chairs
SP

Samuli Pöyhönen

University of Helsinki

Speakers
SR

Salvatore Roberto Arpaia

University of Bergamo
MC

Monika Chylinska

John Paul II Catholic University of Lublin
SF

Sina Fazelpour

University of British Columbia



Thursday August 6, 2015 11:00 - 13:00
Main Building, Room 4

11:00

C8.2 Metaphilosophy
6 August 11:00AM – 01:00PM

SPEAKERS AND TITLES

The Normative Aspect of Naturalistic Philosophy of Science
Leena Tulkki, Philosophy, History, Culture and Art, University of Helsinki, Helsinki, FINLAND

Philosophy is Alive and Well: Who’s Afraid of Intertheoretic Reduction?
Dennis Apolega, Philosophy, De La Salle University Manila, Manila, PHILIPPINES

Philosophy as "anything goes": A Critical Analysis of the Problem
Blazej Gebura, Department of Philosophy, John Paul II Catholic University of Lublin, Lublin, POLAND

30 min break (due to the cancellation of Søren Brier's presentation)


Chairs
LT

Leena Tulkki

University of Helsinki

Speakers
DA

Dennis Apolega

De La Salle University Manila
avatar for Blazej Gebura

Blazej Gebura

PHD student, John Paul II Catholic University of Lublin
humor, jazz, philosophy



Thursday August 6, 2015 11:00 - 13:00
Main Building, Auditorium IV

11:00

A2. Invited Session: Philosophical Logic
06 August, 11:00AM – 01:00PM


SPEAKERS AND TITLES

Could there be no logic?
Gillian Russell, Department of Philosophy, Washington University St Louis, UNITED STATES

Logic Revision: Some Formal and Semi-Formal Techniques for Logic Choice
Edwin Mares, Victoria University of Wellington, NEW ZELAND
 

Chairs
avatar for Greg Restall

Greg Restall

Professor of Philosophy, University of Melbourne

Speakers
avatar for Edwin Mares

Edwin Mares

Victoria University of Wellington
GR

Gillian Russell

Washinghton University St Louis



Thursday August 6, 2015 11:00 - 13:00
Main Building, Small Hall

11:00

The Foundational Significance of Abstract Model Theory
6 August 11:00 AM – 01:00 PM


SPEAKERS AND TITLES

On the Theory of Institutions and The Philosophical Significance of Categorical Thinking

Maria Dimarogkona and Petros Stefaneas, National Technical University of Athens

Categorical Representation of Discrete Dynamical Systems Computability
Mark Addis, Birmingham City University

Syntactic Generic Constructions and their Applications
Sergey Sudoplatov, Sobolev Institute of Mathematics, Novosibirsk State Technical University, Novosibirsk State University

Chairs
avatar for Mark Addis

Mark Addis

Professor of Philosophy, Birmingham City University
I have a range of interests in the philosophy of mathematics and science. Current research includes methodological issues raised by interdisciplinary research involving psychology and neuroscience, philosophical questions related to computational modelling and machine learning, and the significance of algebraic approaches (particularly category theory) for questions about the foundations of mathematics.

Speakers
MD

Maria Dimarogkona

National Technical University of Athens
avatar for Petros Stefaneas

Petros Stefaneas

Lecturer, NTUA
SS

Sergey Sudoplatov

Sobolev Institute of Mathematics



Thursday August 6, 2015 11:00 - 13:00
Main Building, Room 12

12:00

C7. Invited Session: Philosophy of Medicine
6 August 12:00PM – 1:00PM

SPEAKER AND TITLE

Molecular medicine: the clinical method enters the lab
What primary tumor culture teaches us
Giovanni Boniolo, University of Milan & IEO, Milano, ITALY


Chairs
Speakers
GB

Giovanni Boniolo

University of Milan



Thursday August 6, 2015 12:00 - 13:00
Main Building, Room 5

13:00

Lunch
Lunch at the Main Building Unicafe (Fabianinkatu 33, co-located with LC 2015) for participants who have purchased the additional lunch package (60,60 €).

Thursday August 6, 2015 13:00 - 14:30
Main Building Unicafe Fabianinkatu 33

14:30

Philosophy of Mathematical Practice II
6 August 2:00 PM – 4:30 PM

Sponsored by the Association for the Philosophy of Mathematical Practice (APMP). 

Organized by:
Andrew Arana, University of Illinois
Emily Grosholz, Penn State University
Dirk Schlimm, McGill University

PLEASE NOTE THAT THE SESSION HAS BEEN MOVED TO AUDITORIUM XII (OLD SIDE, ONE FLOORS UP FROM THE AUDITORIUM II)

SPEAKERS AND TITLES

14:30 – 15:00
Why 'scaffolding' is the wrong metaphor
Brendan Larvor, University of Hertfordshire

15:00 – 15:30 
Mathematical practice and human cognition. A critical
assessment of Quinn’s "Science of Mathematics”
Bernd Buldt, University of Indiana-Purdue University, Fort Wayne

15:30 – 16:00
Innate Abilities & Algebraic Reasoning
Madeline Muntersbjorn, Ugoethniversity of Toledo

16:00 – 16:30 
The research mathematician’s working tools, cognitive strategies and the training of the mind
Norma B. Goethe, National University of Cordoba


Chairs
AA

Andrew Arana

University of Illinois
EG

Emily Grosholz

Penn State University
DS

Dirk Schlimm

McGill University

Speakers
BB

Bernd Buldt

University of Indiana-Purdue University
NG

Norma Goethe

National University of Cordoba
BL

Brendan Larvor

University of Hertfordshire



Thursday August 6, 2015 14:30 - 16:30
Auditorium XII

14:30

A1.2 Mathematical Logic + C1.12 Philosophy of the Formal Sciences
6 August 02:30PM - 04:30PM

SPEAKERS AND TITLES

On Gödel numbering
Abraham Lim Ken Zhi, Institute of Philosophy of Mind and Cognition,
National Yang-Ming University, Taipei, TAIWAN

On the problem of preserving finite axiomatizability of a finite matrix
under term-equivalence
Aleksandra Samonek, Logic, Jagiellonian University, Krakow, POLAND

Do infinitely often equal trees add Cohen reals?
Yurii Khomskii, Kurt Gödel Research Center (KGRC), University of Vienna,
Vienna, AUSTRIA
Giorgio Laguzzi, University of Freiburg, Freiburg, GERMANY

Justifying Deductive Inference
Mathieu Beirlaen, Institute for Philosophy II, Ruhr University Bochum, Waregem, BELGIUM

Chairs
avatar for Yurii Khomskii

Yurii Khomskii

Postdoc, Hamburg University

Speakers
avatar for Aleksandra Samonek

Aleksandra Samonek

Jagiellonian University
AL

Abraham Lim Ken Zhi

National Yang-Ming University



Thursday August 6, 2015 14:30 - 16:30
Main Building, Room 16

14:30

A2.13 Philosophical Logic
6 August 02:30PM - 04:30PM

SPEAKERS AND TITLES

The Liar-like paradoxes
Jan Wolenski, Social Sciences, WSIZ, Rzeszow, POLAND

Fuzzy Logic and Sorites Paradox: The Problem of Missing Input
Jan Štepánek, Department of Philosophy, Masaryk University, Brno, CZECH
REPUBLIC

A Conditional for Vagueness and
the Liar
Sergi Oms, Lògica, Història i
Filosofia de la Ciència, Logos, University of Barcelona, Barcelona, SPAIN

Some Remarks on the Cassationist Approach to the Liar Paradox
Jordi Valor Abad, Lògica i Filosofia de la Ciència, Universitat de
València, Valencia, SPAIN

Chairs
SO

Sergi Oms

Logos, University of Barcelona

Speakers
JV

Jordi Valor Abad

Universitat de València
avatar for Jan Štepánek

Jan Štepánek

Masaryk University
JW

Jan Wolenski

professor, WSIZ



Thursday August 6, 2015 14:30 - 16:30
Main Building, Room 14 Fabianinkatu 33

14:30

A2.14 Philosophical Logic
6 August 02:30PM - 04:30PM

SPEAKERS AND TITLES

Modal Logics of Abstract Explanation Frameworks
Igor Sedlar, Dept. of Logic and Methodology of Science, Comenius
University in Bratislava, Bratislava, SLOVAKIA
Juraj Halas, Dept. of Logic and Methodology of Science, Comenius
University in Bratislava, Bratislava, SLOVAKIA

The Import of Formal Logic with Respect to Knowledge – The Fundamental
Question of the “Critique of Pure Reason”
Max Gottschlich, Department of Philosophy, University of Warwick,
Coventry, UNITED KINGDOM

The Rules of Definition: a Logical and Pragmatic Perspective
Michel Paquette, Philosophy, Collège de Maisonneuve, Montreal, CANADA

First steps towards non-classical logic of
informal provability
Pawel Pawlowski, Department of Philosophy, University of Gent, Gent,
BELGIUM Rafal Urbaniak, Gent, BELGIUM

Chairs
avatar for Igor Sedlar

Igor Sedlar

Assistant Professor, Comenius University in Bratislava
My research concentrates on epistemic and substructural logics, their combinations and applications in philosophy and computer science.

Speakers
MG

Max Gottschlich

University of Warwick
avatar for Michel Paquette

Michel Paquette

Professor, Collège de Maisonneuve
I am interested in formal pragmatics and philosophical logic . My PhD dissertation's title is "La délibération dans les théories axiomatiques de la décision". Earlier, I was interested in the logical aspects of rational choice. In recent years, my research has been focused on extending speech act theory to the logic of dialogues. In my talk, I will present a systematic formulation of the rules of definition and discuss the motivation of... Read More →
PP

Pawel Pawlowski

University of Gent



Thursday August 6, 2015 14:30 - 16:30
Main Building, Room 15 Fabianinkatu 33

14:30

A2.5 Philosophical Logic
6 August 02:30PM - 04:30PM

SPEAKERS AND TITLES

The establishment of mutually inverse implication proposition
Xunwei Zhou, Institute of Information Technology, Beijing Union University,
Beijing, CHINA

Dialectic Logic: Mathematical Archeology or Mathematical Technology?
Antonio Vincenzi, Altosner
Stiftung für philosophische Grundkagenfor, Altosner Stiftung für philosophische
Grundkagenfor, Albissola Mare, ITALY

Type-Theoretical Approaches to Problems and Solutions
Ivo Pezlar, Department of Philosophy, Masaryk University, Brno, CZECH
REPUBLIC

Chairs
XZ

Xunwei Zhou

Beijing Union University

Speakers
IP

Ivo Pezlar

Masaryk University
AV

Antonio Vincenzi

Altosner Stiftung für philosophische Grundkagenfor



Thursday August 6, 2015 14:30 - 16:30
Main Building, Room 8 Fabianinkatu 33

14:30

A4.4 Historical Aspects of Logic
6 August 02:30PM - 04:30PM

SPEAKERS AND TITLES

Philosophical and Mathematical Correspondence between Gottlob Frege and
Bertrand Russell in the Years 1902-1904. Some Uninvestigated Topics
Gabriela Besler, Institute of Philosophy, University of Silesia,
Katowice, POLAND

A Puzzle About Frege’s Singular Senses
Marco Ruffino, Philosophy, State University of Campinas (Unicamp),
Campinas, Brazil

1 hour break (due to the cancellation of Yury Chernoskutov's and Tamara Dobler's presentations)


Chairs
MR

Marco Ruffino

STATE UNIVERSITY OF CAMPINAS (UNICAMP)

Speakers
GB

Gabriela Besler

University of Silesia



Thursday August 6, 2015 14:30 - 16:30
Main Building, Room 17

14:30

B1.5 Methodology
6 August 02:30PM - 04:30PM

SPEAKERS AND TITLES

Re-discovery of the Nature and Logic of Scientific Discovery
Liang Lei, Dept. of Philosophy, Central South University University,
Chang Sha, CHINA

30 min break
 (due to the cancellation of Tim De Mey's presentation)

Natural kinds and automated scientific discovery
Benjamin Jantzen, Philosophy, Virginia Tech, Blacksburg, USA


Chairs
BJ

Benjamin Jantzen

Virginia Tech

Speakers
LL

Liang Lei

Central South University University



Thursday August 6, 2015 14:30 - 16:30
Main Building, Room 13 Fabianinkatu 33

14:30

B3.5 Metaphysical Issues in the Philosophy of Science
6 August 02:30PM - 04:30PM

SPEAKERS AND TITLES

30 min break (due to the cancellation of Aldo Filomeno's presentation)

A behavioral analysis of group knowledge and group behavior
Rohit Parikh, CS, Math, Philosophy, CUNY, New York, NY, USA

Summarizing the Quantum World: The Universal Wave Function as a Humean
Law
Eddy Keming Chen, Philosophy, Rutgers University, New Brunswick, USA

Chairs
Speakers
EK

Eddy Keming Chen

Rutgers University
RP

Rohit Parikh

Distinguished Professor, The City University of New York
Game theory, logic, probability, social software, epistemic reasoning



Thursday August 6, 2015 14:30 - 16:30
Main Building, Room 6

14:30

C2.8 Philosophy of the Physical Sciences
6 August 02:30PM - 04:30PM

SPEAKERS AND TITLES

A PBR-like argument for psi-ontology in terms of protective measurements
Shan Gao, Institute for the History of Natural Sciences, Chinese Academy of Sciences,
Beijing, CHINA

Relationalism and Background Independence in Quantum Gravity
Kamil Lacina, Philosophy of Science, Jagiellonian University, Krakow,
POLAND

Reconstruction of The Concept of Physical Quantity: An Epistemological
Approach to Understand Weak Value
Hajime Sugio, Philosophy (GCARLS), Keio University, Tokyo, JAPAN

The Probability Problem in Everettian Quantum Mechanics Persists
Foad Dizadji-Bahmani, Philosophy, California State University Los
Angeles, Los Angeles, USA

Chairs
KL

Kamil Lacina

Jagiellonian University

Speakers
FD

Foad Dizadji-Bahmani

California State University Los Angeles
SG

Shan Gao

Chinese Academy of Sciences
HS

Hajime Sugio

Keio University



Thursday August 6, 2015 14:30 - 16:30
Main Building, Room 5

14:30

C4.6 Philosophy of the Cognitive and Behavioural Sciences
6 August 02:30PM - 04:30PM

SPEAKERS AND TITLES

Can Non-Cognitive Values Have a Beneficial Role in the Assessment of
Scientific Theories? A case Study of Evolutionary Psychology
Silvia Ivani, Department of Philosophy, Tilburg University, Tilburg,
NETHERLANDS

Methodological and philosophical problems of using thought experiments
in moral psychology and behavioural sciences
Robin Kopecký, Department of philosophy and history of science , Charles
University in Prague, Faculty of Science, Prague, CZECH REPUBLIC



Chairs
SI

Silvia Ivani

Tilburg University

Speakers
RK

Robin Kopecký

Charles University in Prague, Faculty of Science



Thursday August 6, 2015 14:30 - 16:30
Main Building, Auditorium IV

14:30

C5.4 Philosophy of the Humanities and the Social Sciences
6 August 02:30PM - 04:30PM

SPEAKERS AND TITLES

Austrian methodological individualism: from Carl Menger to Friedrich
Hayek
Juliana Tigre, Economic Sciences, UFVJM, Teófilo Otoni, BRAZIL

Mises’ and Rothbard’s Defenses of Praxeology – A
Critical Analysis
Alexander Linsbichler, DK The Sciences in Contexts, University of
Vienna, Wien, AUSTRIA

Do we need a universalizing paradigm for rational decision-making?
David Teira, Logic, History and Philosophy of Science, UNED, Madrid,
SPAIN
Rasmus G. Winther, U. California Santa Cruz, San Francisco, USA

30 min break
 (due to the cancellation of Raj Patel's presentation)


Chairs
Speakers


Thursday August 6, 2015 14:30 - 16:30
Main Building, Room 4

14:30

C6.2 Philosophy of the Applied Sciences and Technology
6 August 02:30PM - 04:30PM

SPEAKERS AND TITLES

Galilean technoscience
Vitaly Gorokhov, Philosophy of Technology, Institute of Philosophy of
the RAS, Moscow, RUSSIAN FEDERATION

Mode 2 of Knowledge Production and Mixed Techno-Scientific Roots of
Computer Science
Vladimir Fedorov, Philosophy, MIPT, Moscow, RUSSIAN FEDERATION

Confucianism and architectural technology in traditional Chinese society
Shanshan Liu, School of Architecture, Tsinghua University, Beijing, CHINA

A Re-Examination of the Relationship Between Science and Technology
Manjari Chakrabarty, Philosophy and Religion, Visva Bharati University,
Santiniketan, India

Chairs
VG

Vitaly Gorokhov

Institute of Philosophy of the RAS

Speakers
MC

Manjari Chakrabarty

VISVA BHARATI UNIVERSITY
avatar for Vladimir Fedorov

Vladimir Fedorov

PhD Student, Moscow Institute of Physics and Technology
Computer Science and Information Technology; | Mode 2 of Knowledge Production; | Responsible Innovation; | Software development; | Post-normal science;
SL

Shanshan Liu

Tsinghua University



Thursday August 6, 2015 14:30 - 16:30
Main Building, Room 7 Fabianinkatu 33

14:30

International Council for Science (ICSU) special session: Future Earth


SPEAKERS AND TITLES

Transformative Research for a Sustainable Future Earth
Gordon McBean, President, International Council for Science / Professor, Western University, London, ON, CANADA

Biodiversity and Triage

Mark Colyvan
University of Sydney, AUSTRALIA





Chairs
avatar for Elliott Sober

Elliott Sober

professor, university of wisconsin - madison

Speakers
MC

Mark Colyvan

University of Sydney
avatar for Gordon McBean

Gordon McBean

President / Co-Chair, International Council for Science / Governing Council, Future Earth: Research for Global Sustainability
Gordon McBean is President of the International Council for Science (ICSU), Co-Chair of the Governing Council for Future Earth: Research for Global Sustainability and Professor Emeritus of Geography at Western University, London, Canada.   He was Professor of Geography at Western (2000-2015) with joint appointments in Political Science and Physics.  From 1994 to 2000 he was Assistant Deputy Minister at Environment Canada with... Read More →



Thursday August 6, 2015 14:30 - 16:30
Main Building, Small Hall

14:45

A Social Philosophy of Science: An Affiliated Meeting
6 August, 02:45PM – 05:45PM

 

Organizers:
Ilya Kasavin, Institute of Philosophy


SPEAKERS AND TITLES

Hegel, Newton and epistemic constructivism
Tom Rockmore, Duquesne University, USA

The Role of Social Scientists: The Diverse Virtues of Social Knowledge
Alexander Ruser, Zeppelin University, Germany

Chairs
IK

Ilya Kasavin

Institute of Philosophy

Speakers
VL

Vladislav Lektorsky

Institute of Philosophy RAS
TR

Tom Rockmore

Peking University
avatar for Alexander Ruser

Alexander Ruser

PostDoc, Zeppelin Universität



Thursday August 6, 2015 14:45 - 17:45
Main Building, Room 3 Fabianinkatu 33

16:30

Coffee
Thursday August 6, 2015 16:30 - 17:00
Main Building, new side Fabianinkatu 33

17:00

International Council for Science (ICSU) special session: Future Earth

Climate Models and Calibration and Confirmation: The Need for a More Nuanced Picture of Use-Novelty and Double-Counting
Charlotte Werndl, London School of Economics, UNITED KINGDOM


Chairs
avatar for Elliott Sober

Elliott Sober

professor, university of wisconsin - madison

Speakers
CW

Charlotte Werndl

London School of Economics



Thursday August 6, 2015 17:00 - 18:00
Main Building, Small Hall

17:00

Philosophy of Mathematical Practice III
6 August 5:00 PM – 7:00 PM

Sponsored by the Association for the Philosophy of Mathematical Practice (APMP). 


Organized by:
Andrew Arana, University of Illinois
Emily Grosholz, Penn State University
Dirk Schlimm, McGill University

PLEASE NOTE THAT THE SESSION HAS BEEN MOVED TO AUDITORIUM XII (OLD SIDE, ONE FLOORS UP FROM THE AUDITORIUM II)

 
SPEAKERS AND TITLES


17:00 – 17:30
From proto-arithmetical to arithmetical
Markus Pantsar, University of Helsinki

17:30 – 18:00
Philosophy of arithmetic and number cognition: re-assessing the basis of interdisciplinarity
Paula Quinon, Lund University

18:00 – 18:30
No talk due to the cancellations

18:30 – 19:00
No talk due to the cancellations

Chairs
AA

Andrew Arana

University of Illinois
EG

Emily Grosholz

Penn State University
DS

Dirk Schlimm

McGill University

Speakers
MP

Markus Pantsar

University of Helsinki
avatar for Paula Quinon

Paula Quinon

Lund University



Thursday August 6, 2015 17:00 - 19:00
Auditorium XII

17:00

A2.12 Philosophical Logic
6 August 5:00pm ­- 7:00pm

SPEAKERS AND TITLES

Generalized Dialetheism and Curry's Paradox
Colin Caret, Underwood International College, Yonsei University,
Incheon, SOUTH KOREA

Graphs, naive truth, and well-behaved conditionals
Lorenzo Rossi, Philosophy, University of Oxford, Oxford, UNITED KINGDOM

Saving tolerance from paradox; a game semantics for tolerance
Ali Abasnezhad, philosophy, University of British Coloumbia , Vancouver,
CANADA

A Revision-Theoretic Supervaluational Theory of Truth
Edoardo Rivello, Department of Mathematics, University of Torino,
Torino, ITALY

Chairs
avatar for Edoardo Rivello

Edoardo Rivello

University of Torino

Speakers
AA

Ali Abasnezhad

University of British Coloumbia
CC

Colin Caret

Yonsei University
LR

Lorenzo Rossi

University of Oxford



Thursday August 6, 2015 17:00 - 19:00
Main Building, Room 15 Fabianinkatu 33

17:00

A2.15 Philosophical Logic
6 August 5:00pm ­- 7:00pm

SPEAKERS AND TITLES

Elementary deductive step and Church’s Thesis
Vitali Tselishchev, logic and epistemology, Institute of philosophy and law of Siberian branch, Novosibirsk, RUSSIAN FEDERATION

The Iterated Prisoner’s Dilemma as an Interrogative Game
Levis Zerpa, Social Sciences, Social Sciences, Yachay Tech, San Miguel de Urcuqui, Ecuador

A qualitative perspective on vagueness and degrees of truth
Rossella Marrano, Philosophy, Scuola Normale Superiore, Pisa, Pisa, ITALY

The inapplicability of (selected) paraconsistent logics
Rafal Urbaniak, Department of Philosophy, Ghent University (and Gdansk
University), Ghent, BELGIUM

Chairs
avatar for Rossella Marrano

Rossella Marrano

Scuola Normale Superiore, Pisa

Speakers
VT

Vitali Tselishchev

Institute of philosophy and law of Siberian branch
avatar for Rafal Urbaniak

Rafal Urbaniak

Ghent University (and Gdansk University)
avatar for Levis Zerpa

Levis Zerpa

Yachay Tech
I am interested in erotetic or interrogative logic and the interrogative model of inquiry; I am focused in applications to both philosophy of science and philosophy of education.



Thursday August 6, 2015 17:00 - 19:00
Main Building, Room 12

17:00

A3.3 Computational Logic and Applications of Logic
6 August 5:00PM ­– 7:00PM


SPEAKERS AND TITLES

Granular Mining of Logical Rules from Relational Structures
Churn-Jung Liau, Institute of Information Science, Academia Sinica,
Taipei, TAIWAN

Finitely Unstable Theories and Computational Complexity
Tuomo Kauranne, Mathematics and Physics, Lappeenranta University of
Technology, Lappeenranta, FINLAND

Bi-Logic Via Infinite Singletons
Giulia Battilotti, Dept. of Mathematics, University of Padova,
Selvazzano Dentro (Pd), ITALY

Level system of formulas for decreasing the number of proof steps of
formulas simulating some Artificial Intelligence problems
Tatiana Kosovskaya, Faculty of Mathematics and Mechanics, St. Petersburg
State University, St. Petersburg, RUSSIAN FEDERATION

Chairs
avatar for Tuomo Kauranne

Tuomo Kauranne

Associate professor, Lappeenranta University of Technology
Anything goes, quite literally :) I am an applied mathematician with a keen interest in descriptive complexity, model theory and theory of computation in general. My 'official' professional interests cover application areas of maths such as weather and climate modelling, computational market dynamics and forest measurement from remote sensing data. Twenty years ago I set up a company called Arbonaut Ltd. that I still manage and that conducts... Read More →

Speakers
GB

Giulia Battilotti

University of Padova
TK

Tatiana Kosovskaya

St. Petersburg State University
CL

Churn-Jung Liau

Academia Sinica



Thursday August 6, 2015 17:00 - 19:00
Main Building, Room 17

17:00

B1.6 Methodology
6  August 5:00pm ­- 7:00pm

SPEAKERS AND TITLES

Explanation by idealized theories
Ilkka Niiniluoto, Philosophy, History, Culture and Art Studies,
University of Helsinki, UNIVERSITY OF HELSINKI, FINLAND 

An Interactive Criterion for Realism
Emma Ruttkamp-Bloem, Philosophy, University of Pretoria & CAIR, Pretoria, SOUTH AFRICA

Theory-Progressivism: Between Realism and Anti-Realism
Juha Saatsi, School of PRHS, University of Leeds, Leeds, UNITED KINGDOM

Why Psillos’ Purportedly Scientific Argument for Scientific Realism Fails
Reto Gubelmann, Department of Philosophy, University of Zurich, Zürich, SWITZERLAND


Chairs
avatar for Emma Ruttkamp-Bloem

Emma Ruttkamp-Bloem

Professor, Department of Philosophy, University of Pretoria & Centre for Artificial Intelligence Research, CSIR
Scientific realism | Truth and reference | Applications of non-classical logics such as belief revision to problems in philosophy of science such as progress | Intersections of issues in knowledge representation and philosophy of science | Intersection of virtue epistemology and issues of justice

Speakers
avatar for Reto Gubelmann

Reto Gubelmann

PhD Student, University of Zurich
IN

Ilkka Niiniluoto

University of Helsinki
JS

Juha Saatsi

University of Leeds



Thursday August 6, 2015 17:00 - 19:00
Main Building, Room 13 Fabianinkatu 33

17:00

C1.7 Philosophy of the Formal Sciences
6 August 5:00pm ­- 7:00pm


SPEAKERS AND TITLES

Reference and Invariance in Abstraction Principles
Francesca Boccuni, Philosophy, University Vita-Salute San Raffaele, Milano, ITALY

Characterization of the style of mathematical proving by means of Roman
Jakobson’s communication model
Petros Stefaneas, Mathematics, NTUA, Athina, GREECE
Ioannis Vandoulakis,
 Greek Open University, Athina, GREECE

Ampliative Reasoning: The Specificity of Mathematical Language and the
Uses of Ambiguity
Emily Grosholz, Department of Philosophy, The Pennsylvania State University, University Park, USA

Polyadic and Higher-Order Abstraction Principles
Beau Madison Mount, Philosophy , Oxford University , Oxford , UNITED KINGDOM

Chairs
avatar for Petros Stefaneas

Petros Stefaneas

Lecturer, NTUA

Speakers
FB

Francesca Boccuni

University Vita-Salute San Raffaele
EG

Emily Grosholz

Penn State University
avatar for Beau Madison Mount

Beau Madison Mount

Oxford University



Thursday August 6, 2015 17:00 - 19:00
Main Building, Room 6

17:00

C2.9 Philosophy of the Physical Sciences
6 August 5:00pm ­- 7:00pm

SPEAKERS AND TITLES

¿Is Bose Einstein Condensation of Trapped Gases a Phase Transition?
Marco Corgini, Mathematics, Universidad de la Serena, La Serena, Chile

Are Unitarily Inequivalent Representations in Quantum Field Theory
Incommensurable Physical Theories?
Tracy Lupher, Philosophy and Religion, James Madison University,
Harrisonburg, USA

Do renormalization group methods explain continuous phase transitions?
Patricia Palacios, Munich Center for Mathematical Philosophy, Ludwig-Maximilians-Universität München, Munich, GERMANY

30 min break (due to the cancellation of Emanuele Rossanese's presentation)

Chairs
avatar for Tracy Lupher

Tracy Lupher

Associate Professor, James Madison University
Tracy Lupher is the co-founder and co-director of the Logic and Reasoning Institute. His work focuses on the philosophy of physics along with related issues in the philosophy of science and metaphysics. He is also interested in logic, the philosophy of language, and analytical philosophy. He has published articles on the philosophy and history of quantum field theory, causation, and the implications of different logical frameworks. He was the... Read More →

Speakers
MC

Marco Corgini

UNIVERSIDAD DE LA SERENA
PP

Patricia Palacios

Ludwig-Maximilians-Universität München



Thursday August 6, 2015 17:00 - 19:00
Main Building, Room 5

17:00

C3.3 Philosophy of the Life Sciences
6 August 5:00pm ­- 7:00pm

SPEAKERS AND TITLES

Discovering Mechanisms, Investigating Phenomena, and Experimental
Discovery-A New Account of Experimental Practice
Hsiao-Fan Yeh, General Education Center, National Formosa University,
New Taipei City, TAIWAN

 

Chairs
avatar for Ilkka Pättiniemi

Ilkka Pättiniemi

University of Helsinki

Speakers
HY

Hsiao-Fan Yeh

National Formosa University



Thursday August 6, 2015 17:00 - 19:00
Main Building, Room 7 Fabianinkatu 33

17:00

C4.7 Philosophy of the Cognitive and Behavioural Sciences
6 August 5:00pm ­- 7:00pm

SPEAKERS AND TITLES

Mental Imagery as a sign system?
Jelena Issajeva, Ragnar Nurkse School of Governance and Innovation,
Tallinn Universsity of Technology, Tallinn, ESTONIA

A Naturalistic Theory of Perceptual Representations
Marc Artiga, Departament de Filosofia, Universitat de Barcelona, Barcelona,
SPAIN

Transitivity of visual sameness
Blazej Skrzypulec, Institute of Philosophy, Jagiellonian University,
Kraków, POLAND

False Belief Attribution in Early Infancy and Its Neural Correlates
Ayca Mazman, Philosophy, University of Cincinnati, CINCINNATI, USA

Chairs
JI

Jelena Issajeva

Tallinn Universsity of Technology

Speakers
MA

Marc Artiga

Universitat de Barcelona
AM

Ayca Mazman

University of Cincinnati
BS

Blazej Skrzypulec

Jagiellonian University



Thursday August 6, 2015 17:00 - 19:00
Main Building, Room 16

17:00

C5.3 Philosophy of the Humanities and the Social Sciences
6 August 5:00pm ­- 7:00pm

SPEAKERS AND TITLES

A Decision-Theoretic Approach to Norms and Values
Vihren Bouzov, Philosophy, St. Cyril and St. Methodius University, Veliko Turnovo, BULGARIA

Reasons and ''Ought''
Anthony Gambrell, Social and Moral Philosophy, University of Helsinki,
Reykjavik, ICELAND

Klein's Geometry and Ethical Theories: Invariances in Equality Spaces
Giulia Pagliani, Department of Social and Economic Sciences , Sapienza
University of Rome, Rome, ITALY

Definitory and strategic rules in ethics
Ahti-Veikko Pietarinen, Chair of Philosophy, Tallinn University of Technology, Tallinn,
ESTONIA
Juuso-Ville Gustafsson, -, -, Tampere, FINLAND

Chairs
avatar for Vihren Bouzov

Vihren Bouzov

Faculty of Philosophy, Vice Dean, St. Cyril and St. Methodius University of Veliko Turnovo
VIHREN BOUZOV is Professor of Legal Philosophy and Logic of Social Sciences at St. Cyril and St. Methodius University in Veliko Turnovo, Bulgaria. He is the author of "Rationality , Decisions and Norms in the Globalization Era (Essays in Practical Logic)" (IVIS, 2011) and co-author of "A Treatise of Legal Philosophy and General Jurisprudence" V.12, "A History of the Philosophy of Law in Europe XX Century. The World of Civil Law", Bologna, E... Read More →

Speakers
avatar for Anthony Gambrell

Anthony Gambrell

University of Helsinki
JG

Juuso-Ville Gustafsson

University of Turku
GP

Giulia Pagliani

Sapienza University of Rome
AP

Ahti-Veikko Pietarinen

University of Helsinki



Thursday August 6, 2015 17:00 - 19:00
Main Building, Room 4

17:00

C8.1 Metaphilosophy
6  August 5:00pm ­- 7:00pm

SPEAKERS AND TITLE

The Epistemology of Modality and the Method(s) of Philosophy
Mihai Rusu, G.Zane Institute for Economic and Social Research, Romanian
Academy, Iasi Branch, Iasi, ROMANIA

Philosophy Disputes, Defectiveness and Responsiveness to Reasons
Delia Belleri, Dept. de Lògica, Història i Filosofia de la Ciènci, University of Barcelona, Barcelona, SPAIN

On the difficulties of saying 'what is an inference'
Akos Gyarmathy, Philosophy and History of Science, Budapest University
of Technology and Economics, Budapest, HUNGARY
Gabor Forgács, Budapest University of Technology and Economics,
Budapest, HUNGARY

Chairs
avatar for Delia Belleri

Delia Belleri

University of Barcelona
I am a post-doc at the University of Barcelona and member of the LOGOS Research Group. I am currently working ontological disputes and their verbal/substantive status, and on intractable disputes in philosophy.

Speakers
avatar for Akos Gyarmathy

Akos Gyarmathy

Budapest University of Technology and Economics
avatar for Mihai Rusu

Mihai Rusu

Postdoctoral fellow, Romanian Academy, Iasi Branch



Thursday August 6, 2015 17:00 - 19:00
Main Building, Auditorium IV

17:00

Must Every Thing Go?
06 August 05:00 PM – 07:00 PM

SPEAKERS AND TITLES

Some skeptical remarks about ontic structuralism
Matteo Morganti

Structuralism and fundamentality
Tuomas Tahko

Dynamical information structures in quantum theory?
Paavo Pylkkänen

DISCUSSION

(Note: Due to the cancellation of Mariam Thalos' presentation, the session will start at 5:00mp with Matteo Morganti's presentation.)

Speakers
MM

Matteo Morganti

University of Rome
avatar for Paavo Pylkkänen

Paavo Pylkkänen

University lecturer in Theoretical Philosophy, Universities of Helsinki and Skövde
Chair of TSC2015 Local Organizing Committee and Program Committee
avatar for Tuomas Tahko

Tuomas Tahko

University Lecturer & Academy Research Fellow, University of Helsinki
Co-Chair of TSC2015 Local Organizing Committee and Program Committee.



Thursday August 6, 2015 17:00 - 19:00
Main Building, Room 10 Fabianinkatu 33

17:00

Social mistakes
6 August 05:00 PM – 7:00 PM


SPEAKERS AND TITLES

Introduction
Carlo Proietti, Lund University

Virtuous and vicious consensus.
Stefan Schubert, London School of Economics

Cascades: Macro and Micro Perspectives.
Rasmus Rensdsvig, Lund University

Reflecting on social influence and pluralistic ignorance.
Zoé Christoff, University of Amsterdam and Jens Ulrik Hansen, Lund University

Speakers
avatar for Zoe Christoff

Zoe Christoff

University of Amsterdam
JU

Jens Ulrik Hansen

Lund University
CP

Carlo Proietti

Lund University
RR

Rasmus Rendsvig

Lund University
SS

Stefan Schubert

London School of Economics



Thursday August 6, 2015 17:00 - 19:00
Main Building, Room 14 Fabianinkatu 33

17:00

Tracking the Diagrammatic Turn in Recent Philosophy of Notation
Speakers
avatar for Francesco Bellucci

Francesco Bellucci

Research Fellow, Tallinn University of Technology
JB

James Burton

University of Brighton
MC

Marc Champagne

University of Helsinki
AP

Ahti-Veikko Pietarinen

University of Helsinki
FS

Frederik Stjernfelt

University of Copenhagen



Thursday August 6, 2015 17:00 - 19:00
Main Building, Room 8 Fabianinkatu 33

18:00

DLMPS General Assembly
The Assembly takes place at the congress venue in the Consistory’s Hall (the first floor).

The Assembly is open to all congress participants.

For voting rights and further regulations, please consult the DLMPS
statutes: http://www.dlmpst.org/pages/statutes.php 

 

Thursday August 6, 2015 18:00 - 20:00
Main Building Consistory's Hall Fabianinkatu 33
 
Friday, August 7
 

09:00

Plenary Lecture: Eleanor Knox
7 August 09:00AM – 10:30AM


Spacetime Functionalism

Eleanor Knox
King's College, London, UNITED KINGDOM

Chairs
avatar for Maria Carla Galavotti

Maria Carla Galavotti

Professor of Philosophy of Science, University of Bologna
Philosophy, cooking, gardening.

Speakers
EK

Eleanor Knox

King's College, London



Friday August 7, 2015 09:00 - 10:30
Main Building Great Hall Fabianinkatu 33

10:30

Coffee
Friday August 7, 2015 10:30 - 11:00
Main Building, new side Fabianinkatu 33

11:00

C2.6 Philosophy of the Physical Sciences
7 August 11:00AM – 12:00PM

SPEAKERS AND TITLES

Information, entanglement and causation
Olimpia Lombardi, Facultad de Ciencias Exactas y Naturales, CONICET-Universidad de Buenos Aires, Ciudad de Buenos Aires, ARGENTINA
Cristian Lopez, Facultad de Filosofia y Letras, Universidad de Buenos Aires, Ciudad de Buenos Aires, ARGENTINA

The Session Ends at 12 pm (due to the cancellation of Vassilios Karakostas and Elias Zafiris' presentation)


Chairs
avatar for Cristian Lopez

Cristian Lopez

PhD Student, University of Buenos Aires/ CONICET
I am PhD student of University of Buenos Aires and doctoral fellow of CONICET. I am working in philosophy of physics (philosophy of information and philosophy of time)

Speakers
avatar for Olimpia Lombardi

Olimpia Lombardi

Researcher-Professor, CONICET-Universidad de Buenos Aires
I am a philosopher of physics interested in the interpretation of quantum mechanics and the meaning of quantum decoherence. During the last years my interest focused on information theory, both classical and quantum. In the field of the relations between physics and chemistry, I advocate the ontological autonomy of the chemical world from a pluralist perspective. | | In Buenos Aires I am the director of an interdisciplinary group devoted... Read More →



Friday August 7, 2015 11:00 - 12:00
Main Building, Room 8 Fabianinkatu 33

11:00

Proof theory of modal and non-classical logics I
07 August 11:00 AM – 01:00 PM

SESSION MOVED to ROOM 1!


ORGANIZERS

Giovanna Corsi, University of Bologna
Sara Negri, University of Helsinki

SPEAKERS AND TITLES

11.00–11.30 Using Assumptions in Gentzen-type Systems, Arnon Avron, Tel-Aviv University

11.30–12.00 Uniform interpolation and proof systems, Rosalie Iemhoff, Utrecht University

12.00–12.30 Natural deduction for bi-connexive logic, Heinrich Wansing, Ruhr-University Bochum

12.30–13.00 Mimamsa deontic logic: proof theory and applications, Agata Ciabattoni, Elisa Freschi, Francesco A. Genco, and Bjorn Lellmann, Vienna University of Technology, AUSTRIA

Chairs
GC

Giovanna Corsi

University of Bologna
avatar for Sara Negri

Sara Negri

University of Helsinki

Speakers


Friday August 7, 2015 11:00 - 13:00
Main Building, Room 1

11:00

Arabic Logic Commission
7 August 11:00AM – 01:00PM

Organizer:
Wilfrid Hodges

SPEAKERS AND TITLES

Could Ibn Sina's logic be undecidable?

Maarefi Mohammad 
IPM, Tehran, IRAN

11.00


Al-ʿAllāma al-Ḥillī and the early reception of the Shamsiyya
Tony Street
Faculty of Divinity, University of Cambridge, UNITED KINGDOM
11.40

Taḥrīf in Medieval Arabic and Persian Logic Texts: A threat to Compositionality?
 Joep Lameer
Membre Associé, Laboratoire SPHERE, Université Paris Diderot - Paris 7, FRANCE

12.20



Friday August 7, 2015 11:00 - 13:00
Main Building, Room 7 Fabianinkatu 33

11:00

A1.3 Mathematical Logic
7 August 11:00AM– 01:00PM

SPEAKERS AND TITLES

Extending the set of variables in propositional logics
Carles Noguera, Decision Making Theory, Institute of Information Theory and Automation, Prague, CZECH REPUBLIC
Petr Cintula, Theoretical Computer Science, Institute of Computer Science, Prague, CZECH REPUBLIC

Residuated lattices with Galois connections as monadic operators
Michiro Kondo, Information Environment , School of Information Environment , Inzai, JAPAN

The Librationist Domination of Second Order Arithmetic
Frode Bjørdal, Philosophy, Classics and History of Art and Ideas, University of Oslo, Oslo, NORWAY

A Constructive Justification of Brouwer’s Bar Induction
Ryota Akiyoshi, Faculty of Letters , Kyoto University, Kanagawaken, JAPAN


Chairs
avatar for Carles Noguera

Carles Noguera

Institute of Information Theory and Automation
Interested in (abstract) algebraic logic, many-valued logics and non-classical logics in general

Speakers
RA

Ryota Akiyoshi

Kyoto University
FB

Frode Bjørdal

University of Oslo
MK

Michiro Kondo

School of Information Environment



Friday August 7, 2015 11:00 - 13:00
Main Building, Room 17

11:00

A2.17 Philosophical Logic
7 August 11:00 – 13:00

SPEAKERS AND TITLES

Anderson and Belnap's Confusion
Hartley Slater, Philosophy, University of Western Australia, Perth, AUSTRALIA

Metalogical Decorations of Logical Diagrams
Lorenz Demey, Center for Logic and Analytic Philosophy, KU Leuven, Leuven, BELGIUM
Hans Smessaert, Department of Linguistics, KU Leuven, Leuven, BELGIUM

Notions of relevance for classical logic.
Raymundo Morado, Instituto de Investigaciones Filosóficas, UNAM, Mexico City, MEXICO

On the Multiple Advantages of a Certain Uniform Framework for Consequence
João Marcos, DIMAp, UFRN, Natal/RN, BRAZIL
Carolina Blasio, Philosophy, UNICAMP, Campinas/SP, BRAZIL

Chairs
avatar for Hartley Slater

Hartley Slater

Honorary Senior Research Fellow, University of Western Australia
Some of my recent, or about to be published papers, available on my academia.edu page, such as 'Consistent Truth', 'Non-Analytic Logic', and 'Gödel’s and other Paradoxes'.

Speakers


Friday August 7, 2015 11:00 - 13:00
Main Building, Room 10 Fabianinkatu 33

11:00

A2.18 Philosophical Logic
7 August 11:00 – 13:00

SPEAKERS AND TITLES




Two Faces of Logical Truths --- Between Ordinary Language and Formal Language
Yang HU, Philosophy, Ecole Normale Superieure de Lyon, Lyon, FRANCE

Which arguments are logically incorrect?
Vladimir Svoboda, Department of Logic, Institute of Philosophy, Prague, CZECH REPUBLIC
Jaroslav Peregrin, Department of Logic, Institute of Philosophy, Prague, CZECH REPUBLIC

'Complete Sets of Logical Functions' Revisited: an examination and reinterpretation of early Functional Completeness proofs of Propositional Logic.
John Serembus, Humanities, Widener University, Chester, PA, USA

The Epistemic Significance of Valid Inference – A Model-Theoretic Approach
Constantin Brîncus, Faculty of Philosophy, University of Bucharest, Bucharest, ROMANIA

Chairs
avatar for John Serembus

John Serembus

Widener University

Speakers
CB

Constantin Brîncus

University of Bucharest
YH

Yang Hu

Ecole Normale Superieure de Lyon
VS

Vladimir Svoboda

Institute of Philosophy



Friday August 7, 2015 11:00 - 13:00
Main Building, Room 15 Fabianinkatu 33

11:00

B3.11 Metaphysical Issues in the Philosophy of Science
7 August 11:00AM– 01:00PM

SPEAKERS AND TITLES

Realism about quantities?
Johanna Wolff, Philosophy, The University of Hong Kong, Hong Kong, HONGKONG

Robustness and Reality: How Science Justifies Ontological Commitments
Markus Eronen, Institute of Philosophy, KU Leuven, Leuven, BELGIUM



Is there a third path: can a scientific realist be a mathematical antirealist?
Laszlo Kocsis, Department of Philosophy, University of Pecs, Pecs, HUNGARY



Towards a counterfactual account of extra-mathematical explanation
John Heron, Philosophy, King's College London, London, UNITED KINGDOM

Chairs
ME

Markus Eronen

KU Leuven

Speakers
JH

John Heron

King's College London
LK

Laszlo Kocsis

University of Pecs
avatar for Jo Wolff

Jo Wolff

Assistant Professor, The University of Hong Kong
I work on the metaphysics of science, especially on the metaphysics of quantities. I'm also interested in the philosophy of physics.



Friday August 7, 2015 11:00 - 13:00
Main Building, Room 13 Fabianinkatu 33

11:00

C1.8 Philosophy of the Formal Sciences
7 August 11:00AM– 01:00PM

SPEAKERS AND TITLES

Dispensability of Higher-Order in Mathematics
Besim Karakadilar, Philosophy, University of Helsinki, Helsinki, FINLAND

Constructive Axiomatic Method in Euclid, Hilbert and Voevodsky
Andrei Rodin, Institute of Philosophy, Russian Academy of Sciences, Moscow, RUSSIAN FEDERATION

Geometric reasoning and geometric content
Dirk Schlimm, Philosophy, McGill University, Montreal, CANADA

Gödel's Second Incompleteness Theorem Is Predicate Dependent
Alexandr Bessonov, Logic and epistemology, Institute of Philosophy and Law, Novosibirsk, RUSSIAN FEDERATION

Chairs
DS

Dirk Schlimm

McGill University

Speakers
AB

Alexandr Bessonov

Institute of Philosophy and Law
BK

Besim Karakadilar

University of Helsinki
AR

Andrei Rodin

Russian Academy of Sciences



Friday August 7, 2015 11:00 - 13:00
Main Building, Room 6

11:00

C2.10 Philosophy of the Physical Sciences
7 August 11:00AM– 01:00PM

SPEAKERS AND TITLES

Entanglement and Probability
Jaakko Hintikka, Philosophy, Helsinki Collegium for Advanced Studies, Helsinki, FINLAND

A discussion about the ontological commitments of quantum information theory
Federico Holik, Facultad de Ciencias Exactas, CONICET-Universidad Nacional de La Plata, La Plata, ARGENTINA
Olimpia Lombardi, Facultad de Ciencias Exactas y Naturales, CONICET-Universidad de Buenos Aires, Buenos Aires, ARGENTINA



A Path Integral Treatment of an EPR Experiment: Insights into the Nature of Quantum Nonlocality?
Brian Padden, Philosophy of Science, LMU Munich, Munich, GERMANY



Separate common causes explanations for EPR-correlations - an almost-no-go result.
Michal Tomasz Godziszewski, Department of Logic, University of Warsaw, Warszawa, POLAND
Tomasz Placek, Department of Epistemology, Jagiellonian University, Krakow, POLAND
Leszek Wronski, Department of Epistemology, Jagiellonian University, Krakow, POLAND

Chairs
JH

Jaakko Hintikka

Helsinki Collegium for Advanced Studies

Speakers
MT

Michal Tomasz Godziszewski

University of Warsaw
avatar for Federico Holik

Federico Holik

Research Assistant, CONICET-Universidad Nacional de La Plata
avatar for Olimpia Lombardi

Olimpia Lombardi

Researcher-Professor, CONICET-Universidad de Buenos Aires
I am a philosopher of physics interested in the interpretation of quantum mechanics and the meaning of quantum decoherence. During the last years my interest focused on information theory, both classical and quantum. In the field of the relations between physics and chemistry, I advocate the ontological autonomy of the chemical world from a pluralist perspective. | | In Buenos Aires I am the director of an interdisciplinary group devoted... Read More →
BP

Brian Padden

LMU Munich



Friday August 7, 2015 11:00 - 13:00
Main Building, Room 12

11:00

C6.1 Philosophy of the Applied Sciences and Technology
7 August 11:00AM – 01:00PM

 

SPEAKERS AND TITLES



The necessary revision of a topic: the homo faber is not the only animal faber
Ana Cuevas-Badallo, Philosophy, Logic and Aesthetic, University of Salamanca, Salamanca, SPAIN



Analysing Framing in Design Reasoning
Pieter Vermaas, Philosophy, Delft University of Technology, Delft, NETHERLANDS



Projective Simulation and the Taxonomy of Agency
Léon Homeyer, Philosophy, University of Stuttgart, Stuttgart, GERMANY
Giacomo Lini, Institu für Philosophie, University of Stuttgart, Stuttgart, GERMANY



A semantics for technical norms and practical inferences
Peter Kroes, Technology, Policy and Management, Delft University of Technology, Delft, NETHERLANDS
Sjoerd Zwart, Delft University of Technology, Delft, NETHERLANDS, Maarten Franssen, Delft University of Technology, Delft, NETHERLANDS

Chairs
Speakers
AC

Ana Cuevas Badallo

University of Salamanca
LH

Léon Homeyer

University of Stuttgart
PK

Peter Kroes

Delft University of Technology
PV

Pieter Vermaas

Delft University of Technology



Friday August 7, 2015 11:00 - 13:00
Main Building, Room 16

11:00

C7.3 Philosophy of Medicine
7 August 11:30AM – 01:00PM

SPEAKERS AND TITLES

The Session Starts at 11:30am (due to the cancellation of Jacob Stegenga's presentation)

EBM - a paradigm ready to be challenged
Marie-Caroline Schulte, Philosophy, University of Hamburg, Hamburg, GERMANY

30 min break (due to the cancellation of Jonathan Fuller's presentation)

Mechanism-based extrapolation reconsidered
Veli-Pekka Parkkinen, IFIKK, University of Oslo, Oslo, NORWAY


Chairs
VP

Veli-Pekka Parkkinen

University of Oslo


Friday August 7, 2015 11:00 - 13:00
Main Building, Room 3 Fabianinkatu 33

11:00

B1. Invited Session: Methodology
7 August, 11:00AM – 01:00PM

SPEAKERS AND TITLES

From nowhere, from here now, or from there then.
A tale of success-to-truth inferences along perspectivalist lines.
Michela Massimi, University of Edinburgh, UNITED KINGDOM

Fact, Fiction, and Finance: Methodological Aspects of Econophysics
Dean Rickles, University of Sydney, AUSTRALIA

Chairs
CM

Caterina Marchionni

University of Helsinki

Speakers
MM

Michela Massimi

University of Edinburgh
DR

Dean Rickles

University of Sydney



Friday August 7, 2015 11:00 - 13:00
Main Building, Room 5

11:00

C4. Invited Session: Philosophy of the Cognitive and Behavioural Sciences
07 August, 11:00AM – 01:00PM


SPEAKERS AND TITLES

The Rewards of Associative Modeling
Cameron Buckner
University of Houston, USA

What is action-oriented perception?
Zoe Drayson
University of Stirling, UNITED KINGDOM

Chairs
avatar for Petri Ylikoski

Petri Ylikoski

University of Helsinki

Speakers
avatar for Cameron Buckner

Cameron Buckner

Assistant Professor, University of Houston
I began my career in computer science--specifically, in non-monotonic logic-based approaches to artificial intelligence. This research inspired an interest into the relationship between the simple models of reasoning we were developing and the (usually very different) ways that humans and animals actually solve problems. Pursuing this research, I studied to receive a PhD in Philosophy at Indiana University from 2004-2011. | | In my... Read More →
ZD

Zoe Drayson

University of Stirling



Friday August 7, 2015 11:00 - 13:00
Main Building, Small Hall

11:00

11:00

Session of HaPoC (History and Philosophy of Computing) I
7 August 11:00 AM – 01:30 PM

Organizers
Liesbeth De Mol (CNRS, UMR 8163 STL, UNiversité de Lille 3, France)
Giuseppe Primiero (Middlesex University, UK)

SPEAKERS AND TITLES

Session 1:


Putting Mathematics into the Computer: Implementation and Epistemology in Early Automated Logic
Stephanie Dick, Harvard University

Defining the semantics of proof evidence
Dale Miller, Inria/Saclay and Lix

Formalism and Computations
Peter Koepke, University of Bonn




Friday August 7, 2015 11:00 - 13:30
Main Building, Auditorium IV

13:00

Lunch

Lunch at the Main Building Unicafe (Fabianinkatu 33, co-located with LC 2015) for participants who have purchased the additional lunch package (60,60 €).



Friday August 7, 2015 13:00 - 14:30
Main Building Unicafe Fabianinkatu 33

14:30

Proof theory of modal and non-classical logics II
07 August 02:30 PM – 04:30 PM

SESSION MOVED to ROOM 1!

ORGANIZERS

Giovanna Corsi, University of Bologna
Sara Negri, University of Helsinki

SPEAKERS AND TITLES

14.30–15.00 Unified Correspondence as a Proof-Theoretic Tool, Alessandra Palmigiano, Delft University of Technology

15.00–15.30 30 min break (Due to cancellation of Proof theory for non-classical Euclid’s geometrical logic, Pierluigi Graziani, University of Chieti-Pescara)

15.30–16.00 Proof theory for first-order logic of social choice, Paolo Maffezioli, University of Bologna

16.00–16.30 Proof theory of non-normal modal logics, Eugenio Orlandelli, University of Bologna

Chairs
GC

Giovanna Corsi

University of Bologna
avatar for Sara Negri

Sara Negri

University of Helsinki

Speakers


Friday August 7, 2015 14:30 - 16:30
Main Building, Room 1

14:30

Joint Commission: Contributed Papers 1
7 AUGUST 02:30 PM - 04:30 PM


SPEAKERS AND TITLES

Descartes and mathesis universalis - the rise of the modern algebra

Jaakko Joutsi, Department of Social Sciences and Philosophy, University of Jyväskylä, Palokka, SUOMI

A note on the role of physical reasoning in Ptolemy's mathematical astronomy
Anastasia Itokazu, Centro de Ciências Naturais e Humanas, Universidade Federal do ABC, Santo André, BRAZIL

Lyons, Kepler, and the commitments of deployment realism
Mario Alai, Department of Basic Sciences and Foundations, University of Urbino Carlo Bo, Cesena, ITALY

D’Alembert’s doubts
ARNAUD MAYRARGUE, HISTORY OF SCIENCE, CNRS/SPHERE, PARIS, FRANCE      

Chairs
AM

Arnaud Mayrargue

CNRS/SPHERE

Speakers
avatar for Mario Alai

Mario Alai

Associate Professor, University of Urbino Carlo Bo
My main topic is scientific realism. My working hypothesis is that some form of deployment realism can offer the best account of the status of theories, and can be defended against criticsms based on the history of science and others. Novel predictions have a key role in this, so their nature and the reasons for their advantage is also one of my interests
AI

Anastasia Itokazu

Universidade Federal do ABC
JJ

Jaakko Joutsi

University of Jyväskylä



Friday August 7, 2015 14:30 - 16:30
Main Building, Room 8 Fabianinkatu 33

14:30

Session of HaPoC (History and Philosophy of Computing) II
7 August 02:30 – 04:30 PM

Organizers
Liesbeth De Mol (CNRS, UMR 8163 STL, UNiversité de Lille 3, France)
Giuseppe Primiero (Middlesex University, UK)

SPEAKERS AND TITLES

Session 2:


PLEASE NOTE: Matti Tedre's talk has been moved up one slot due to the cancellation of John Symons talk

The Church-Turing Theses
Oron Shagrir, University of Jerusalem

Competing Claims to Computing as a Discipline
Matti Tedre, Stockholm University 

CANCELLED: TBA
John Symons, University of Kansas





Friday August 7, 2015 14:30 - 16:30
Main Building, Auditorium IV

14:30

A2.19 Philosophical Logic
7 August 02:30PM - 04:30PM

SPEAKERS AND TITLES

(PLEASE NOTE: Sanz's presentation moved to first. 5.8.2015)

Hypo: A Deduction-Theoretical Semantics for Heyting’s Propositional Logic (HPL)

Wagner Sanz, Philosophy, UFG/CNPq, Goiania, BRAZIL

Applied ontology, logical pluralism, and the logical constants

Oliver Kutz, Institute for Knowledge and Language Engineering, University of Magdeburg, Magdeburg, GERMANY

Stefano Borgo, Laboratory for Applied Ontology, CNR, Povo (TN), ITALY

Sharpening Logical Independence

Alberto Mura, Dipartimento di Storia e Scienze dell'Uomo, Università degli studi di Sassari, Sassari, ITAL

Designated Operator Theory and Domain of Symbol Expressions

Sergey Pavlov , Epistemology and Logic , Institute of Philosophy , Moscow, RUSSIAN FEDERATION




Chairs
avatar for Alberto Mura

Alberto Mura

Professor, Università degli studi di Sassari

Speakers
SB

Stefano Borgo

CNR (National Council of Research)
OK

Oliver Kutz

University of Magdeburg
SA

Sergey A. Pavlov

Institute of Philosophy at the RAS
WS

Wagner Sanz

UFG/CNPq



Friday August 7, 2015 14:30 - 16:30
Main Building, Room 6

14:30

A2.20 Philosophical Logic
7 August 02:30PM - 04:30PM

SPEAKERS AND TITLES

 

Product Update for Dynamified Deontic Logic of Speech Acts

Tomoyuki Yamada, Philosophy, Hokkaido University, Sapporo, JAPAN




Justice-Based Responsibility

Andrzej Malec, Department of Law, S.Staszic College of Public Administration, Bialystok, POLAND




Temporal Enclosure Structures

Claudio Mazzola, School of HPRC, The University of Queensland, Brisbane St Lucia, AUSTRALIA




Future contingents, partial models and the flow of time

Guillaume Massas, Philosophy, Ecole Normale Supérieure / ILLC, Paris, FRANCE

Chairs
CM

Claudio Mazzola

The University of Queensland

Speakers
AM

Andrzej Malec

S.Staszic College of Public Administration
GM

Guillaume Massas

Ecole Normale Superieure / University of Amsterdam
avatar for Tomoyuki Yamada

Tomoyuki Yamada

Professor, Hokkaido University



Friday August 7, 2015 14:30 - 16:30
Main Building, Room 7 Fabianinkatu 33

14:30

A2.7 Philosophical Logic
7 August 02:30PM - 04:30PM

SPEAKERS AND TITLES




Grades of specifiability

Costas Dimitracopoulos, History and Philosophy of Science, University of Athens, Athens, GREECE




A Free Logic for Fictionalism

Mircea Dumitru, Philosophy, University of Bucharest, Bucharest, ROMANIA




Why Is There Something Rather Than Nothing? A Logical Investigation.

Jan Heylen, Institute of Philosophy, KU Leuven, Leuven, BELGIUM




Speaking of Essence

Alessandro Torza, Instituto de Investigaciones Filosóficas, UNAM, México DF, MEXICO

Chairs
MD

Mircea Dumitru

University of Bucharest

Speakers
CD

Costas Dimitracopoulos

University of Athens
JH

Jan Heylen

Assistant Professor, KU Leuven



Friday August 7, 2015 14:30 - 16:30
Main Building, Room 3 Fabianinkatu 33

14:30

A4.3 Historical Aspects of Logic
7 August 02:30PM - 04:30PM

SPEAKERS AND TITLES

 

Individual Names and Identification in Late Medieval Epistemic Logic

Simo Knuuttila, Helsinki Collegium for Advanced Studies, University of Helsinki, Helsinki, FINLAND

 

John Foxholes's Tractatus de propositione per se nota. Reconstructing the scotistic debate on the status of axioms.

Benno van Croesdijk, Philosophy, University of Notre Dame, South Bend, USA

 

Descartes' Logic and the Paradox of Deduction

Alan Nelson, Philosophy, University of North Carolina, Chapel Hill, USA

 

Kant's Influence on the Herbartian Conception of Logic

Risto Vilkko, Philosophy, University of Helsinki, Helsinki, FINLAND

Chairs
SK

Simo Knuuttila

University of Helsinki

Speakers
BV

Benno van Croesdijk

University of Notre Dame
AN

Alan Nelson

University of North Carolina
avatar for Risto Vilkko

Risto Vilkko

Docent, University of Helsinki



Friday August 7, 2015 14:30 - 16:30
Main Building, Room 17

14:30

B1.7 Methodology
7 August 02:30PM - 04:30PM

SPEAKERS AND TITLES

The No Alternative Argument and the Problem of Establishing Non-empirical Evidence
Radin Dardashti, Philosophy of Science, Munich Center for Mathematical Philosophy, LMU, Munich, GERMANY

Induction and ceteris paribus clause
Adam Grobler, Philosophy, Opole University, Opole, POLAND

Unconceived alternatives and expected unification: a limitation of Stanford’s “new induction”
Ioan Muntean, The Reilly Center, University of Notre Dame, Notre Dame, USA

The New Riddle of Induction and the New Riddle of Deduction
Gal Yehezkel, Department of Liberal Arts and Sciences, The Sapir Academic College, D.N. Hof Ashkelon, ISRAEL


Chairs
avatar for Radin Dardashti

Radin Dardashti

Munich Center for Mathematical Philosophy, LMU

Speakers
AG

Adam Grobler

Opole University
IM

Ioan Muntean

University of Notre Dame
GY

Gal Yehezkel

The Sapir Academic College



Friday August 7, 2015 14:30 - 16:30
Main Building, Room 13 Fabianinkatu 33

14:30

B3.7 Metaphysical Issues in the Philosophy of Science
7 August 02:30PM - 04:30PM

SPEAKERS AND TITLES

The Multi-Storey Humean Mosaic and the Emergence of Objective Probability
Alexander Franklin, Philosophy, King's College London, London, UNITED KINGDOM

Randomness and coincidences: a strong overlap between them
Alessandra Melas, Storia, Scienze dell'Uomo e della Formazione, University of Sassari, Sassari, ITALY

Intelligent Design, Methodological Naturalism and Scientific Reasoning
Juuso Loikkanen, School of Theology, University of Eastern Finland, Joensuu, FINLAND

Against a monistic view of information – Information in biological and physical contexts
Cristian Ariel López, Philosophy, University of Buenos Aires, Ciudad Autónoma de Buenos Aire, ARGENTINA
María José Ferreira Ruiz, Philosophy, University of Buenos Aires - CONICET, Ciudad Autónoma de Buenos Aire, ARGENTINA

Chairs
avatar for Alessandra Melas

Alessandra Melas

Postdoctoral fellow, University of Sassari, Sardinia, Italy.
My research interests focus on Metaphysics of Science and Philosophy of Physics, with particular interest in causation, causal models, and chance. My most recent publication “Absolute Coincidences and Salmon's Interactive Fork Model” appeared in 2015 in "New Advances in Causation, Agency and Moral Responsibility". I am currently working on coincidences and their relationship with causation and other notions of chance.

Speakers
AF

Alexander Franklin

Graduate Student, King's College London
avatar for Juuso Loikkanen

Juuso Loikkanen

Junior Researcher, University of Eastern Finland
avatar for Cristian Lopez

Cristian Lopez

PhD Student, University of Buenos Aires/ CONICET
I am PhD student of University of Buenos Aires and doctoral fellow of CONICET. I am working in philosophy of physics (philosophy of information and philosophy of time)
avatar for María José Ferreira Ruiz

María José Ferreira Ruiz

PhD student, University of Buenos Aires - CONICET
I am a PhD student devoted to the philosophy of biology. CONICET Doctoral fellow.



Friday August 7, 2015 14:30 - 16:30
Main Building, Room 12

14:30

C1.9 Philosophy of the Formal Sciences
7 August 02:30PM - 04:30PM

SPEAKERS AND TITLES




Philosophy of logical practice: a case study in formal semantics

 Nikhil Maddirala, Strategy and Operations, Deloitte, Hyderabad, INDIA




Philosophy of Operator Algebra: Understanding of Infinite through Algebraic Structure and Dynamics

Masaki Harada, Literature, Seisen University, Tokyo, JAPAN



Set existence principles in reverse mathematics 

 Benedict Eastaugh, Philosophy, University of Bristol, Bristol, UNITED KINGDOM




Circularity and meaning: a version of logical pluralism

Pilar Terrés Villalonga, Lògica, història i filosofia de la ciència, Universitat de Barcelona - LOGOS, Barcelona, SPAIN

Chairs
MH

Masaki Harada

Seisen University

Speakers


Friday August 7, 2015 14:30 - 16:30
Main Building, Room 10 Fabianinkatu 33

14:30

C2.11 Philosophy of the Physical Sciences
7 August 02:30PM - 04:30PM

SPEAKERS AND TITLES




Irreversibility and Teleology in Physics 

Erez Firt, Philosophy, Haifa University, Tel Aviv, ISRAEL




Quantum mechanics (QM) and the troubles with identity 

Décio Krause, Philosophy, Federal University of Santa Catarina, Florianópolis, BRAZIL




Can analogies make us understand quantum mechanics – finally ?

Louis Vervoort, CIRST , University of Quebec at Montreal (UQAM), Montréal, Québec, CANADA




The Equivalence Principle is a Criterion of Identity 

Ryan Samaroo, Department of Philosophy, University of Bristol, Bristol, UNITED KINGDOM

Chairs
EF

Erez Firt

Haifa University

Speakers
avatar for Décio Krause

Décio Krause

Federal University of Santa Catarina
avatar for Ryan Samaroo

Ryan Samaroo

University of Bristol
LV

Louis Vervoort

University of Quebec at Montreal (UQAM)



Friday August 7, 2015 14:30 - 16:30
Main Building, Room 5

14:30

C5.5 Philosophy of the Humanities and the Social Sciences
7 August 02:30PM - 04:30PM
SPEAKERS AND TITLES

Applying Confirmation Theory to the Case Against Neurolaw
Anton Donchev, Philosophy and Sociology, New Bulgarian University, Sofia, BULGARIA

Scientific Criteria of Humanitarian Knowledge and Structure of Theory of Law
Igor Nevvazhay, Philosophy, Saratov State Law Academy, Saratov, RUSSIAN FEDERATION

Economy and the Comparative Method: Justifying Phylogenetic Inferences in Historical Linguistics
Emi Okayasu, Philosophy, University of Wisconsin-Madison, Madison, USA

30 min break (due to the cancellation of Erich Kummerfeld's presentation)

Chairs
avatar for Anton Donchev

Anton Donchev

PhD Student, New Bulgarian University

Speakers
IN

Igor Nevvazhay

Saratov State Law Academy
EO

Emi Okayasu

University of Wisconsin-Madison



Friday August 7, 2015 14:30 - 16:30
Main Building, Room 16

14:30

Special session on CLMPS 2015 conference theme: Models and Modelling
7 August 02:30PM – 04:30PM


SPEAKERS AND TITLES

Models and Modelling in Formal Epistemology: Some Thoughts on Probability Aggregation

Eleonora Cresto
University of Buenos Aires, ARGENTINA
The National Scientific and Technical Research Council, ARGENTINA

Modelling failure
Uskali Mäki
University of Helsinki, FINLAND


Chairs
IN

Ilkka Niiniluoto

University of Helsinki

Speakers
avatar for Eleonora Cresto

Eleonora Cresto

University of Buenos Aires/ CONICET
avatar for Uskali Mäki

Uskali Mäki

University of Helsinki
Academy of Finland Centre of Excellence in the Philosophy of the Social Sciences [TINT] - see http://www.helsinki.fi/tint | AOI: philosophy of economics and other social sciences; scientific realism; models; interdisciplinarity; scientific imperialism; social dimensions of science



Friday August 7, 2015 14:30 - 16:30
Main Building, Small Hall

14:30

Feyerabend’s Theoretical Pluralism vs. Popper’s Critical Rationalism Continuities and Ruptures
07 August 02:30 PM – 04:30 PM

SPEAKERS AND TITLES

Feyerabend and Popper on Theory Proliferation and
Anomaly Import
Karim Bschir, ETH Zürich

A Sorcerer's Apprentice or How Feyerabend
Transmuted Critical Rationalism into Theoretical Pluralism and Got
Cursed with Incommensurability
Matteo Collodel, Humboldt-Universität zu Berlin

Feyerabend and Popper on Progress and the Aim of Science
Luca Tambolo, Università di Trieste

How Feyerabend's Theoretical Pluralism Is
Incompatible with Popper's Critical Rationalism
Eric Oberheim, Bielefeld Universität

Speakers
KB

Karim Bschir

ETH Zürich
avatar for Matteo Collodel

Matteo Collodel

Symposium Organizer, Independent Scholar
EO

Eric Oberheim

Bielefeld Universität
LT

Luca Tambolo

Università di Trieste



Friday August 7, 2015 14:30 - 16:30
Main Building, Room 15 Fabianinkatu 33

14:30

Mathematical beauty: A challenge for empirically informed philosophy of mathematics
6 August 02:30 PM – 04:30 PM


SPEAKERS AND TITLES

Diversity in proof appraisal
Matthew Inglis and Andrew Aberdein

Beauty in the eyes of the beholder? Approaching mathematical beauty in an empirically–informed way
Catarina Dutilh Novaes

Approaches to mathematical aesthetic
Marcus Giaquinto

There is no beauty there
Manya Raman-­Sundström

Chairs
DS

Dirk Schlimm

McGill University

Speakers
AA

Andrew Aberdein

Florida Institute of Technology
MG

Marcus Giaquinto

University College London
MI

Matthew Inglis

Loughborough University
avatar for Catarina Dutilh Novaes

Catarina Dutilh Novaes

University of Groningen
MR

Manya Raman-Sundström

Umeå University



Friday August 7, 2015 14:30 - 16:30
Main Building, Auditorium II Fabianinkatu 33

16:30

Coffee
Friday August 7, 2015 16:30 - 17:00
Main Building, new side Fabianinkatu 33

17:00

A4. Invited Session: Historical Aspects of Logic
7 August, 05:00PM – 06:00PM


SPEAKERS AND TITLES

Intensional logic before Leibniz

Paul Thom
The University of Sydney, AUSTRALIA

Chairs
avatar for Catarina Dutilh Novaes

Catarina Dutilh Novaes

University of Groningen

Speakers
PT

Paul Thom

University of Sydney



Friday August 7, 2015 17:00 - 18:00
Main Building, Room 5

17:00

C2. Invited Session: Philosophy of the Physical Sciences
7 August, 05:00PM – 06:00PM


SPEAKERS AND TITLES

The quantum origin of statistical-mechanical probability
David Wallace, University of Oxford, UNITED KINGDOM

Chairs
DD

Dennis Dieks

Professor, Utrecht University

Speakers
DW

David Wallace

University of Oxford



Friday August 7, 2015 17:00 - 18:00
Main Building, Small Hall

17:00

Proof theory of modal and non-classical logics III
07 August 05:00 PM – 06:30 PM

SESSION MOVED to ROOM 1!


ORGANIZERS

Giovanna Corsi, University of Bologna
Sara Negri, University of Helsinki

SPEAKERS AND TITLES

PLEASE NOTE: the presentations of Olivetti and Kurokawa have been interchanged (4 August 2015)

17.00–17.30 Proof theory for neighborhood semantics, Sara Negri, University of Helsinki

17.30–18.00 Internal and External Calculi for conditional logicsNicola Olivetti, Aix-Marseille University

18.00–18.30 Labelled sequent calculi for substructural logics I: Relevant logics, Hidenori Kurokawa, University of Helsinki




Chairs
GC

Giovanna Corsi

University of Bologna
avatar for Sara Negri

Sara Negri

University of Helsinki

Speakers
HK

Hidenori Kurokawa

University of Helsinki



Friday August 7, 2015 17:00 - 18:30
Main Building, Room 1

17:00

Joint Commission: Contributed Papers 2
7 August 7 05:00PM - 07:00PM

SPEAKERS AND TITLES

 

The (non-Newtonian) conception of time in Hume and Einstein: Similarities and Differences

Matias Slavov, Social Sciences and Philosophy, University of Jyväskylä, Jyväskylä, FINLAND




What happened to phlogiston? Reconsidering the Chemical Revolution

Wayne Myrvold, Philosophy, The University of Western Ontario, London, ON, CANADA




On Richard Cantillon, Or How the Economic Science Has Acquired Its Method and Methodology

Oleg Ananyin, Department of Theoretical Economics, Higher School of Economics,Nat.Research University, Moscow, RUSSIAN FEDERATION




Charles Darwin and Sir John F. W. Herschel: Nineteenth-Century Science and its Methodology

Charles Pence, Philosophy and Religious Studies, Louisiana State University, Baton Rouge, LA, USA

Chairs
Speakers
OA

Oleg Ananyin

Higher School of Economics,Nat.Research University
avatar for Wayne Myrvold

Wayne Myrvold

The University of Western Ontario
avatar for Charles Pence

Charles Pence

Assistant Professor, Department of Philosophy and Religious Studies, Louisiana State University
Historian and philosopher of biology and technology
avatar for Matias Slavov

Matias Slavov

University of Jyväskylä
Preparing PhD on Hume's natural philosophy. Interest in history and PoS.



Friday August 7, 2015 17:00 - 19:00
Main Building, Room 8 Fabianinkatu 33

17:00

Session of HaPoC (History and Philosophy of Computing) III
7 August 05:00 PM – 07:00 PM

Organizers
Liesbeth De Mol (CNRS, UMR 8163 STL, UNiversité de Lille 3, France)
Giuseppe Primiero (Middlesex University, UK)

SPEAKERS AND TITLES

Session 3:

Using History to Make Software More Tangible
Edgar Daylight, Universiteit Utrecht

How do we know that a statement true in Computer Science?
Gilles Dowek, Inria/Deducteam and Mooc Lab

Discussion



Friday August 7, 2015 17:00 - 19:00
Main Building, Auditorium IV

17:00

A2.21 Philosophical Logic
7 August 05:00PM – 07:00PM

 

SPEAKERS AND TITLES



The Quantified Argument Calculus and Natural Language
Hanoch Ben-Yami, Philosophy, Central European University, Budapest, HUNGARY



Games and the pragmatics of quantifier scope disambiguation
Mihai Hîncu, G. Zane Institut for Economics and Social Research, Romanian Academy, Iasi Branch, Iasi, ROMANIA



An explication of the concept EXPLICATION in the framework of hyperintensional logic
Jiri Raclavsky, Philosophy, Masaryk University Brno, Brno, CZECH REPUBLIC

 





Chairs
JR

Jiri Raclavsky

assoc prof, Masaryk University Brno

Speakers
HB

Hanoch Ben-Yami

Central European University
MH

Mihai Hîncu

Romanian Academy, Iasi Branch



Friday August 7, 2015 17:00 - 19:00
Main Building, Room 6

17:00

B1.8 Methodology
7 August 05:00PM – 07:00PM

SPEAKERS AND TITLES

Truth re-nomination and the Lotka-Volterra-model
Tim Räz, Philosophy, University of Konstanz, Konstanz, GERMANY
Raphael Scholl, Pittsburgh Center for Philosophy of Science, Pittsburgh, USA

Philosophical Models - Their Structure and Function
Lukáš Bielik, Department of Logic and Methodology of Sciences, Comenius University in Bratislava, Bratislava, SLOVAKIA

Manipulationist Account and Unificationist Model
Wei Wang, Institute of Science, Technology and Society, Tsinghua University, Beijing, CHINA
Chuang Liu, Department of Philosophy, Shanxi University & University of Florida, Gainesville, USA

Scientific Modeling and Fictionalism
Chuang Liu, Philosophy, Shanxi University & University of Florida, Gainesville, USA
Wei Wang, Institute of Science, Technology, and Society, Tsinghua University, Beijing, CHINA
(Will be presented by Wei Wang)



Chairs
RS

Raphael Scholl

University of Pittsburgh

Speakers
LB

Lukáš Bielik

Comenius University in Bratislava
TR

Tim Räz

University of Konstanz
WW

Wei Wang

Tsinghua University



Friday August 7, 2015 17:00 - 19:00
Main Building, Room 13 Fabianinkatu 33

17:00

B2.6 Formal Philosophy of Science and Formal Epistemology
7 August 05:00PM – 07:00PM

SPEAKERS AND TITLES

I believe successfully ergo I know: A quest for lasting and successful belief
Rohit Parikh, Computer Science, The City University of New York, New York, USA
Aránzazu San Ginés Ruiz, Filosofía 1, Universidad de Granada, Granada, SPAIN

Learning Credences and Betting Credences
Olav Vassend, Philosophy, University of Wisconsin -- Madison, Madison, USA

30 min break (due to the cancellation of Balazs Gyenis' presentation)


Chairs
RP

Rohit Parikh

Distinguished Professor, The City University of New York
Game theory, logic, probability, social software, epistemic reasoning

Speakers
OV

Olav Vassend

University of Wisconsin -- Madison



Friday August 7, 2015 17:00 - 19:00
Main Building, Room 15 Fabianinkatu 33

17:00

B3.6 Metaphysical Issues in the Philosophy of Science
7 August 05:00PM – 07:00PM

SPEAKERS AND TITLES

Ontic Structural Realism and Natural Necessity
William Kallfelz, Philosophy and Religion, Nississippi State University, Mississippi State, USA

Scientific Structuralism Does Not Necessitate Modal Realism
Ilmari Hirvonen, Department of Philosophy, History, Culture and Art, University of Helsinki, Helsinki, FINLAND
Ilkka Pättiniemi, Department of Philosophy, History, Culture and Art, University of Helsinki, Helsinki, FINLAND

Structural Realism without Metaphysics; Notes on Carnap's reinvention of Ramsey-sentence approach
Majid Davoody Beni, philosophy of science , AmirKabir University of technology, SPER, Tehran, IRAN

An essentialist interpretation of Ontic Structural Realism
Tomasz Bigaj, Philosophy, University of Warsaw, Warsaw, POLAND


Chairs
avatar for Ilkka Pättiniemi

Ilkka Pättiniemi

University of Helsinki

Speakers
MD

Majid Davoody Beni

AmirKabir University of technology, SPER
TB

Tomasz Bigaj

University of Warsaw
avatar for Ilmari Hirvonen

Ilmari Hirvonen

University of Helsinki
avatar for William Kallfelz

William Kallfelz

Instructor of Philosophy and Religion, Mississippi State University
I am a Ph.D. (2008) in the CPaS (Committee for Philosophy and the Sciences ) program, in the Department of Philosophy at the University of Maryland, in which I enrolled for graduate studies in September, 2003. My areas of specialization are in the philosophy of science, as well as in the philosophy of physics. My other areas of specialization include mathematical physics, and mathematics. My areas of competence include philosophy of language... Read More →



Friday August 7, 2015 17:00 - 19:00
Main Building, Room 12

17:00

B4.4 Ethical and Political Issues in the Philosophy of Science
7 August 05:00PM – 07:00PM

 

SPEAKERS AND TITLES



Can Dissent in Science be Epistemically Detrimental? Notes on a Recent Debate
Anna Leuschner, Inst. f. Technology Assessment & Systems Analysis, Karlsruhe Institute of Technology, Karlsruhe, GERMANY



How (not) to make philosophical proposals about social organisation of science
Jaana Eigi, Philosophy, University of Tartu, Tartu, ESTONIA



Defining, quantifying, and assessing diversity in science
Rico Hauswald, Philosophy, Dresden University of Technology, Dresden, GERMANY



The epistemology-metaphysics relationship in Helen Longino’s philosophy of science and its consequences for social criticism
Ágnes Kovács, Department of Gender Studies, Central European University, Budapest, HUNGARY

Chairs
AL

Anna Leuschner

Karlsruhe Institute of Technology

Speakers
JE

Jaana Eigi

University of Tartu
RH

Rico Hauswald

Dresden University of Technology
GK

Ágnes Kovács

Central European University



Friday August 7, 2015 17:00 - 19:00
Main Building, Room 3 Fabianinkatu 33

17:00

B5.2 Historical Aspects in the Philosophy of Science
7 August 05:00PM – 07:00PM

 

SPEAKERS AND TITLES



Franz Roh as the missing link between Rudolf Carnap and Otto Neurath
Christian Damboeck, Institute Vienna Circle, University of Vienna, Vienna, AUSTRIA



Schlick and Wittgenstein: The Theory of Affirmations Revisited
Thomas Uebel, Philosophy, University of Manchester, Manchester, UNITED KINGDOM



Cassirer, Kaila, and "Helsinki Realism"
Matthias Neuber, Philosophy, University of Tübingen, Tübingen, GERMANY



Revisiting Lakatos's Criticism of Carnapian Inductive Logic
Teddy Groves, Philosophy, University of Kent, Rochester, UNITED KINGDOM

Chairs
TU

Thomas Uebel

University of Manchester

Speakers
CD

Christian Damboeck

University of Vienna
TG

Teddy Groves

University of Kent
MN

Matthias Neuber

University of Tübingen



Friday August 7, 2015 17:00 - 19:00
Main Building, Auditorium II Fabianinkatu 33

17:00

C1.10 Philosophy of the Formal Sciences
7 August 05:00PM – 07:00PM

SPEAKERS AND TITLES

Jerzy Neyman on Sampling and Experimentation - Parallels to Bayesian Rationale.
Adam Kubiak, Department of Theory of Knowledge, The John Paul II Catholic University of Lublin, Lublin, POLAND

Varieties of Frequentism
Fedde Benedictus, Beta department, Utrecht University, Utrecht, NETHERLANDS

On the explanation of linkedness of Kolmogorov’s requirements to probabilities
Vladimir Reznikov, Department Logic and Epistemology, Institute of Philosophy and Law of the SB RAS, Novosibirsk, RUSSIAN FEDERATION


Chairs
FB

Fedde Benedictus

Utrecht University

Speakers
AK

Adam Kubiak

The John Paul II Catholic University of Lublin
VR

Vladimir Reznikov

Institute of Philosophy and Law of the SB RAS



Friday August 7, 2015 17:00 - 19:00
Main Building, Room 10 Fabianinkatu 33

17:00

C3.4 Philosophy of the Life Sciences
7 August 05:00PM – 07:00PM

SPEAKERS AND TITLES



The natural origins of value
Cristian Saborido, Dpt. Logic, History and Philosophy of Science, UNED, Madrid, SPAIN
Javier Gonzalez de Prado, UNED, Madrid, SPAIN



Did Machiavellian Thinking Shape the Reflective Mind?
Yuichi Amitani, Business Sciences and Regional Development, Tokyo University of Agriculture, Abashiri, JAPAN



Endless Forms in Endless Environments: Multi-Level Selection in Light of Darwin‘s Ecological Ideas
Tilmann Massey, Logic and Philosophy of Science, LMU Munich, Munich, GERMANY



Two Kinds of Group Level Interactions in Trait Group Selection
Tomi Kokkonen, Philosophy, University of Helsinki, Helsingin yliopisto, FINLAND

Chairs
TM

Tilmann Massey

LMU Munich

Speakers
YA

Yuichi Amitani

Tokyo University of Agriculture
TK

Tomi Kokkonen

University of Helsinki



Friday August 7, 2015 17:00 - 19:00
Main Building, Room 17

17:00

C5.6 Philosophy of the Humanities and the Social Sciences
7 August 05:00PM – 07:00PM

SPEAKERS AND TITLES

Karl Popper on Science of Society: A Refutation of Historicism
Oseni Afisi, Philosophy, Lagos State University, Lagos, NIGERIA

On Isaiah Berlin's Methodological Dualism Between the Natural Sciences and the Humanities
Luca Demontis, Philosophy, Scuola Internazionale di Alti Studi, Modena, ITALY

30 min break (due to the rescheduling of Ivan F. da Cunha's presentation)
 

Chairs
JK

Jaakko Kuorikoski

University of Helsinki

Speakers
OA

Oseni Afisi

Lagos State University
Position at Company ABC.
LD

Luca Demontis

Scuola Internazionale di Alti Studi



Friday August 7, 2015 17:00 - 19:00
Main Building, Room 16

17:00

Computational Finitism and Concrete Foundations of Mathematics
7 August 05:00 PM – 7:00 PM

Organized by Marek Czarnecki, Warsaw University and Marcin Mostowski, Warsaw University

SPEAKERS AND TITLES

Concrete mathematics -- finitistic approach to foundations of mathematics
Marek Czarnecki, Warsaw University and Marcin Mostowski, Warsaw University, Warszawa and Jagiellonian University
To be presented by Marcin Mostowski

Concrete model theory. Model-theoretic constructions without actual infinity
Marek Czarnecki, Warsaw University
To be presented by Michał Tomasz Godziszewski

An infinite liar in a potentially infinite world
Michał Tomasz Godziszewski, Warsaw University

Learnability thesis, FM--representability and low models of WKL_0
Marek Czarnecki Michał Tomasz Godziszewski, Dariusz Kalociński, Warsaw University

Chairs
MC

Marek Czarnecki

University of Warsaw
MM

Marcin Mostowski

University of Warsaw

Speakers
MT

Michal Tomasz Godziszewski

University of Warsaw
avatar for Dariusz Kalociński

Dariusz Kalociński

PhD student, Institute of Philosophy, University of Warsaw



Friday August 7, 2015 17:00 - 19:00
Main Building, Room 7 Fabianinkatu 33

19:30

Congress Dinner
The congress dinner is served at the Restaurant Bank, conveniently located a few blocks away from the congress venue the Main Building of the University of Helsinki. The dinner quests a treated to a three course meal in the functionalist-style old bank building with unique wall paintings and ornaments. Restaurant Bank focuses on modern Finnish cuisine prepared from the best seasonal ingredients.

The Congress Dinner requires online preregistration. The price of the dinner is 50 € (incl. three courses and accompanying wines). There might be some extra dinner tickets for sale at the Congress Office during the first congress days.

Friday August 7, 2015 19:30 - 23:30
Event Arena Bank Unioninkatu 20
 
Saturday, August 8
 

10:00

Joint Commision Invited Lecture: International Union of History and Philosophy of Science (IUHPS)
8 August 10:00AM – 11:00PM

Prospects for an Integrated History and Philosophy of Composition
Chang Hasok
University of Cambridge, UNITED KINGDOM

Chairs
PL

Pablo Lorenzano

National University of Quilmes/CONICET

Speakers
HC

Hasok Chang

University of Cambridge



Saturday August 8, 2015 10:00 - 11:00
Main Building, Room 5

10:00

C4.5 Philosophy of the Cognitive and Behavioural Sciences
8 AUGUST 10:00 AM - 11:00 AM

SPEAKERS AND TITLES

The Session Starts at 10:30am 
(due to the cancellation of Eric Arnau's presentation and other reorganizations)

The explanatory payoffs of the thesis of multiple realization in cognitive neuroscience
Maria Serban, Center for Philosophy of Science , University of Pittsburgh , Pittsburgh, USA


Chairs
JV

Jeroen Van Bouwel

Ghent University

Speakers
MS

Maria Serban

University of Pittsburgh



Saturday August 8, 2015 10:00 - 11:00
Main Building, Room 14 Fabianinkatu 33

10:00

A2.22 Philosophical Logic
8 August 10:00 – 12:00

 

SPEAKERS AND TITLES


Constructive Validity and Admissibility
Inkyo Chung, Philosophy, Korea University, Seoul, SOUTH KOREA

Untyped validity: from interaction to rules
Mattia Petrolo, Philosophy, IHPST - Université Paris 1, Paris, FRANCE
Paolo Pistone, Università Roma Tre/Université Aix-Marseille, Roma, ITALY

On Dummett's Verificationist Justification Procedure
Hermógenes Oliveira, Faculdade de Filosofia, Universidade Federal de Goiás, Goiânia, BRAZIL
Wagner Sanz, Faculdade de Filosofia, Universidade Federal de Goiás, Goiânia, BRAZIL

Completeness results in proof-theoretic semantics and the treatment of negation
Thomas Piecha, Department of Computer Science, University of Tübingen, Tübingen, GERMANY

Chairs
PP

Paolo Pistone

Università Roma Tre

Speakers
IC

Inkyo Chung

Korea University
avatar for Hermógenes Oliveira

Hermógenes Oliveira

University of Tübingen
MP

Mattia Petrolo

IHPST - Université Paris 1
TP

Thomas Piecha

University of Tübingen
WS

Wagner Sanz

UFG/CNPq



Saturday August 8, 2015 10:00 - 12:00
Main Building, Room 6

10:00

A4.5 Historical Aspects of Logic
8 AUGUST 10:00 AM - 12:00 PM

SPEAKERS AND TITLES


Anton Marty and the semantics of names
Tuomo Aho, Department of Philosophy, University of Helsinki, University of Helsinki, FINLAND

Leon Chwistek (1884-1944) and his Constructive Type Theory
Hubert Bozek, Institute of Philosophy and Sociology, Pedagogical University of Cracow, Kraków, POLAND

On some unknown ideas by Sobocinski: comments on philosophical applications of Lesniewski’s
systems
Kordula Swietorzecka, Logic, Cardinal Stefan Wyszynski University, Warsaw, POLAND
Marek Porwolik, Methodology of Science, Cardinal Stefan Wyszynski University, Warsaw, POLAND

Gentzen's 'Finitist' Interpretation in the Context of the Formalism-Intuitionism Controversy
Yuta Takahashi, Faculty of Letters, Keio University, Tokyo, JAPAN

Chairs
KS

Kordula Swietorzecka

Cardinal Stefan Wyszynski University

Speakers
TA

Tuomo Aho

University of Helsinki
HB

Hubert Bozek

Pedagogical University of Cracow
YT

Yuta Takahashi

Keio University



Saturday August 8, 2015 10:00 - 12:00
Main Building, Room 17

10:00

B2.4 Formal Philosophy of Science and Formal Epistemology
8 AUGUST 10:00 AM - 12:00 PM

SPEAKERS AND TITLES


The Inference to the Best Explanation: The Problem of the Description of Evidence to be Explained
Marcos Rodrigues da Silva, PHILOSOPHY, UEL, Londrina, FINLAND

A dialogic approach to abduction
Antonio Duarte Calvo, Logic and Philosophy of Science, Universidad Complutense de Madrid, Madrid, SPAIN

Representation and reconceptualization: the role of structures
Francesca Pero, Philosophy, University of Florence, Florence, ITALY
Tarja Knuuttila, Philosophy, University of South Carolina, Columbia, USA
Elena Castellani, Philosophy, University of Florence, Florence, ITALY

30 min break
(due to the cancellation of
"Varieties of Misrepresentation and Homomorphism"
Mauricio Suárez, Institute of Philosophy, School of Advanced Study, London, UNITED KINGDOM
Francesca Pero, University of Florence, Florence, ITALY)

Chairs
FP

Francesca Pero

University of Florence

Speakers
AD

Antonio Duarte Calvo

Universidad Complutense de Madrid
TK

Tarja Knuuttila

University of South Carolina
MS

Mauricio Suárez

School of Advanced Study



Saturday August 8, 2015 10:00 - 12:00
Main Building, Room 8 Fabianinkatu 33

10:00

B3.8 Metaphysical Issues in the Philosophy of Science
8 AUGUST 10:00 AM - 12:00 PM

SPEAKERS AND TITLES

Pragmatic realism and truth as correspondence
Pentti Määttänen, Department of Philosophy, History, Culture and Art, University of Helsinki, Helsinki, FINLAND

Alethic Pluralism and Scientific Truth
Marco Marletta, Humanities, University of Palermo, Palermo, ITALY

Does Hacking get the most out of his microscopes?
Alexander Aylward, History and Philosophy of Science, University of Cambridge, Cambridge, UNITED KINGDOM    

30 minute break (due to the cancellation of Iulian Toader's presentation)


Chairs
avatar for Pentti Määttänen

Pentti Määttänen

University of Helsinki

Speakers
avatar for Alexander Aylward

Alexander Aylward

Undergraduate, University of Cambridge
MM

Marco Marletta

University of Palermo



Saturday August 8, 2015 10:00 - 12:00
Main Building, Room 12

10:00

B4.1 Ethical and Political Issues in the Philosophy of Science
8 AUGUST 10:00 AM - 12:00 PM

SPEAKERS AND TITLES

Peirce on belief and explanatory hypotheses
Benoit Gaultier, Department of Philosophy, History, Culture and Art,
University of Helsinki, Helsinki, FINLAND

Science and Wishful thinking
Ondrácek Tomáš, Philosophy, Masaryk University, Brno, CZECH REPUBLIC


Chairs
BG

Benoit Gaultier

University of Helsinki

Speakers
avatar for Mehdi Damaliamiri

Mehdi Damaliamiri

Lecturer, farhangian university
avatar for Tomáš  Ondráček

Tomáš Ondráček

Masaryk University



Saturday August 8, 2015 10:00 - 12:00
Main Building, Room 3 Fabianinkatu 33

10:00

C1.5 Philosophy of the Formal Sciences
8 AUGUST 10:00 AM - 12:00 PM
 
SPEAKERS AND TITLES

“Visualisations in Mathematical Practice and Formation of New Concepts”
Irina Starikova, Philosophy, University of San Paulo, São Paulo, BRAZIL

Can alethic arguments for consistency transmit justification?
Daniel Waxman, Philosophy, New York University, New York, USA


Chairs
GS

Gabriel Sandu

University of Helsinki

Speakers
avatar for Irina Starikova

Irina Starikova

Postdoctoral researcher, UNIVERSITY OF SAN PAULO
DW

Daniel Waxman

New York University



Saturday August 8, 2015 10:00 - 12:00
Main Building, Room 7 Fabianinkatu 33

10:00

C5.10 Philosophy of the Humanities and the Social Sciences
8 August 10:00AM - 12:00PM

SPEAKERS AND TITLES

The Diffusion of Scientific Theories: Network Topologies and the Role of the Translator
Catherine Herfeld, Philosophy, Munich Center for Mathematical Philosophy, Munich, GERMANY
Malte Döhne, Sociology, Zeppelin University Friedrichshafen, Friedrichshafen, GERMANY

A Model-Based Approach to Shared Agency
Matti Heinonen, Dept of Political and Economic Studies, University of Helsinki, FINLAND

Team reasoning, framing and Frege cases
Olle Blomberg, Center for Subjectivity Research, University of Copenhagen, Copenhagen S, DENMARK


Chairs
MH

Matti Heinonen

University of Helsinki

Speakers
OB

Olle Blomberg

University of Copenhagen
CH

Catherine Herfeld

Munich Center for Mathematical Philosophy



Saturday August 8, 2015 10:00 - 12:00
Main Building, Room 15 Fabianinkatu 33

10:00

C5.7 Philosophy of the Humanities and the Social Sciences
8 August 10:00AM - 12:00PM

SPEAKERS AND TITLES

On the Relevance of Doing Ontology in the Philosophy of the Social Sciences
Simon Lohse, Institute of Philosophy, Leibniz Universitaet Hannover, Hannover, GERMANY

Phenomenological Constructivism in the Social Sciences and Vyacheslav Stepin’s Concept of Civilization Development
Natalia Smirnova, Institute of Philosophy, Russian Academy of sci , Moscow, RUSSIAN FEDERATION

Ontologies of the natural and human sciences
Peter Caws, Philosophy, George Washington U., Washington, DC, USA

Husserl's Idea of Rigorous Science and its Relevance for the Human and Social Sciences
Victor Eugen Gelan, Philosophy, Academia Romana Iasi, Iasi, ROMANIA
Will be presented by: Mircea Dumitru

Chairs
PC

Peter Caws

George Washington U.
First degree in Physics (London), doctorate in Philosophy (Yale), interests first in philosophy of the natural sciences (definition,, explanation ) second in Continental philosophy, (Sartre, structuralism), more recently in philosophy of the human sciences (intentionality, evolution). Also side interests in ethics, political philosophy, and religion.

Speakers
avatar for Simon Lohse

Simon Lohse

Research Fellow, Leibniz Universitaet Hannover
NS

Natalia Smirnova

Russian Academy of sci



Saturday August 8, 2015 10:00 - 12:00
Main Building, Room 16

10:00

C8.3 Metaphilosophy
8 August 10:00AM - 12:00PM

SPEAKERS AND TITLES

Carnap's Radical Way Out
Richard Creath, School of Life Sciences, Arizona State University, Tempe, Arizona, USA

Carnap's Metaphilosophy
André Carus, Philosophy, Hegeler Institute, Chicago, USA

Carnap, Cassirer, Schrödinger and the Hypothesis P
Sirkku Ikonen, Department of Philosophy, History, Culture and Art, University of Helsinki, Helsinki, FINLAND

Wittgenstein on the Impossibility of Illogical Thought
Hanne Appelqvist, CoE Reason and Religious Recognition, University of Helsinki, University of Helsinki, FINLAND
 
  

Chairs
avatar for Hanne Appelqvist

Hanne Appelqvist

Researcher, University of Helsinki

Speakers
AC

André Carus

Hegeler Institute
RC

Richard Creath

Arizona State University
avatar for Sirkku Ikonen

Sirkku Ikonen

University of Helsinki



Saturday August 8, 2015 10:00 - 12:00
Main Building, Auditorium II Fabianinkatu 33

10:00

Foundations of Defeasible Reasoning
8 August 10:00 PM – 12:00 PM

 

Organized by Mathieu Beirlaen and Christian Straßer

SPEAKERS AND TITLES


Cognitive foundations of defeasible reasoning
Niki Pfeifer, LMU Munich

Formal Properties of Default-Based Inference
G. Aldo Antonelli, University of California

Argumentation as an alternative approach for defeasible reasoning
Leila Amgoud, IRIT, Université Paul Sabatier

Chairs
CS

Christian Straßer

Ruhr-University Bochum

Speakers
avatar for G. Aldo Antonelli

G. Aldo Antonelli

Professor, University of California, Davis



Saturday August 8, 2015 10:00 - 12:00
Main Building, Auditorium IV

10:00

Investigations into the Meaning of Logical Connectives
8 August 10:00 AM – 12:00 PM

SPEAKERS AND TITLES

Reassessing the Quinean challenge
Patrick Allo, Free University of Brussels

Displaying model theory
Luis Estrada-González, National Autonomous University of Mexico

Structuralism vs intra-theoretic pluralism
Francesco Paoli, University of Cagliari


Speakers
PA

Patrick Allo

Vreije Universiteit Brussels
avatar for Luis Estrada-González

Luis Estrada-González

National University of Mexico UNAM)
FP

Francesco Paoli

Universitá de Cagliari



Saturday August 8, 2015 10:00 - 12:00
Main Building, Room 13 Fabianinkatu 33

11:00

C1.11 Philosophy of the Formal Sciences
8 AUGUST 11:00 AM - 12:00 PM

The Session Starts at 11:00am 
(due to the cancellation of Sofia Xanthopoulou's presentation and other reorganizations)

SPEAKER AND TITLE

Analyticity in Formal Systems
Zeynep Soysal, Philosophy, Harvard University, Cambridge, USA


Speakers
ZS

Zeynep Soysal

Harvard University



Saturday August 8, 2015 11:00 - 12:00
Main Building, Room 10 Fabianinkatu 33

11:00

Models and Empirical Philosophy: A Session in Honor of Patrick Suppes
8 August 11:00AM – 12:00PM

This session pays homage to the memory of Patrick Suppes (March 17, 1922 - November 17, 2014) who made substantial contributions not only to logic and philosophy of science, but to many other fields including physics, psychology, the social sciences, linguistics, probability and statistics. Thanks to his dual militancy as philosopher and applied scientist working in meteorology, learning theory and neuroscience, Suppes forged a novel way of doing philosophy of science that combines sophisticated formalism and careful attention to the details characterizing research within specific disciplines. A pioneer of the semantic view of theories, Suppes embraced a model-centred approach which is a unique blend of empiricism and pragmatism, revolving around the idea that scientific knowledge has an irreducibly tentative and local character, and is to be analysed from a genuinely pluralistic perspective. 

The Session Starts at 11:00am (due to the cancellation of Colleen Crangle's presentation)

SPEAKER AND TITLE

Pat Suppes : from logic to probabilistic metaphysics
Anne Fagot-Largeault, The Collège de France, FRANCE


Chairs
avatar for Maria Carla Galavotti

Maria Carla Galavotti

Professor of Philosophy of Science, University of Bologna
Philosophy, cooking, gardening.

Speakers
AF

Anne Fagot

Collège de France



Saturday August 8, 2015 11:00 - 12:00
Main Building, Small Hall

12:00

Lunch
Lunch at the Main Building Unicafe (Fabianinkatu 33, co-located with LC 2015) for participants who have purchased the additional lunch package (60,60 €).

Saturday August 8, 2015 12:00 - 13:30
Main Building Unicafe Fabianinkatu 33

13:30

C5. Invited Session: Philosophy of the Humanities and the Social Sciences
8 August, 01:30PM – 02:30PM

SPEAKERS AND TITLES

Scaffolding and Bootstrapping: How Archaeological Evidence Bites Back
Alison Wylie, Departments of Philosophy and Anthropology, University of Washington, UNITED STATES, Department of Philosophy, Durham University, UNITED KINGDOM
 

Chairs
KR

Kristina Rolin

University of Helsinki

Speakers
AW

Alison Wylie

University of Washington



Saturday August 8, 2015 13:30 - 14:30
Main Building, Room 5

13:30

Joint Commission: Contributed Papers 3
8 AUGUST 01:30 PM - 03:30 PM


SPEAKERS AND TITLES  



Models of Data, Theoretical Models and Structural Relationships in the History of Genetics
Pablo Lorenzano, Department of Social Sciences, National University of Quilmes/CONICET, Bernal, Prov. Buenos Aires, ARGENTINA

What did the "Rediscoverers" discover in 1900? A New Analysis of the Birth of Genetics
Yafeng Shan, Science and Technology Studies, University College London, London, UNITED KINGDOM

What do Wound Repair, Chimeras, and Embryonic Stem Cells Have in Common?
Jane Maienschein, School of Life Sciences, Arizona State University, Tempe, AZ, and Marine Biological Laboratory, Woods Hole, MA

Karl Pearson’s phenomenalism : Its impact on the theories of heredity and evolution in the early 1900s
Jean Gayon: Université Paris 1   

Chairs
JG

Jean Gayon

Université Paris 1 Panthéon-Sorbonne

Speakers
PL

Pablo Lorenzano

National University of Quilmes/CONICET
JM

Jane Maienschein

Arizona State University
YS

Yafeng Shan

University College London



Saturday August 8, 2015 13:30 - 15:30
Main Building, Room 14 Fabianinkatu 33

13:30

A2.16 Philosophical Logic
8 August 13:30-15:30


SPEAKERS AND TITLES

PLEASE NOTE :  Frederik Van De Putte and Mariusz Urbanski have changed the order of their presentations (3 August 2015)

An adaptive logic for the abduction of minimal explanations
Frederik Van De Putte, Philosophy and Moral Science, Ghent University, Gent, BELGIUM 

On Search for Law-Like Statements as Abductive Hypotheses by Socratic Transformations
Mariusz Urbanski, Department of Logic and Cognitive Science, Adam Mickiewicz University, Poznan, POLAND
Andrzej Wisniewski, Department of Logic and Cognitive Science, Adam Mickiewicz University, Poznan, POLAND 



An Adaptive Approach to Frege's Set Theory
Diderik Batens, Philosophy, Ghent University, Gent, BELGIUM 

Chairs
FV

Frederik Van De Putte

Ghent University