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
Saturday, August 8 • 10:00 - 12:00
A4.5 Historical Aspects of Logic

Sign up or log in to save this to your schedule and see who's attending!

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

Attendees (4)