Intensionality in Mathematics

May 11, 2013
Lund University

Lund
Sweden

View the Call For Papers

Organisers:

Maria Antonutti
University of Bristol
Carlo Proietti
Lund University
Paula Quinon
Lund University
Frank Zenker
Lund University

Topic areas

Talks at this conference

Add a talk

Details

SPEAKERS
Francesca Boccuni (University Vita-Salute San Raffaele at Milan)
A Theory of Fregean Abstract Objects
 
Walter Dean (University of Warwick)
Soundness, reflection, and intensionality
 
Fredrik Engström (University of Gothenburg)
On logicality, invariance, and definability
 
Janet Folina (Macalester College)
Mathematical intensions and intensionality in mathematics
 
Leon Horsten (Bristol University)
Models for absolute provability
 
Martin Kåsa (University of Gothenburg)
Consistency statements in semi-euclidean systems
 
Øystein Linnebo (University of Oslo)
Modality in Mathematics
 
Sara Negri (University of Helsinki)
The intensional side of algebraic-topological representation theorems
 
Barbara Sarnecka (University of California at Irvine)
The First Few Numbers: How Children Learn Them and Why It Matters
 
Gila Sher (University of California at San Diego)
Mathematics & Logic: Between Theory & Reality

Staffan Angere (Bristol University)
On the logic of up to Isomorphism
 
Michael Gabbay (King's College London)
Making sense of maths: a formalist theory of mathematical intension
 
Jan Heylen (University of Leuven)
Peano numerals as buck-stoppers


REGISTRATION
Participation is free and registration not required. However, please see our website on how to register for meals.
 

Contact: [email protected]

Supporting material

Add supporting material (slides, programs, etc.)

Reminders

Registration

No

Who is attending?

No one has said they will attend yet.

Will you attend this event?


Let us know so we can notify you of any change of plan.