Loading…
CLMPS 2015 has ended

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

Contributed Papers [clear filter]
Tuesday, August 4
 

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

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
 
Wednesday, August 5
 

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

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
 
Thursday, August 6
 

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

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
avatar for Petros Stefaneas

Petros Stefaneas

Lecturer, NTUA



Thursday August 6, 2015 17:00 - 19:00
Main Building, Room 6
 
Friday, August 7
 

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

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

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
 
Saturday, August 8
 

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

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