Logic List Mailing Archive

Trends in Logic IX: Church's Thesis, Logic, Mind and Nature

3-5 June 2011
Krakow, Poland

Studia Logica International Conference
Church's Thesis: Logic, Mind and Nature
Krakow, Poland, June 3-5, 2010
contact: trendsIX@upjp2.edu.pl


Conference goals:
In 1935 Alonzo Church formulated a thesis called, after Kleene, the Church??s 
Thesis (CT). The acceptance of the CT led to a negative answer to Hilbert??s 
Entscheindungsproblem. Since then, many important logicians and philosophers 
have ventured to solve the numerous problems connected to the CT. The problems 
include attempts at a proof of the CT, analysis of its status and its logical 
value, etc. These various lines of research have shown that the CT has many 
incarnations and constitutes an interdisciplinary problem. The research 
concerning the CT, as well as an analogical thesis developed by Alan Turing, 
has resulted in important insights regarding the concept of computability. 
Georg Kreisel formulated three versions of the CT, pertaining to machine, 
human, and physical computability. With respect to this, the conference??s 
focus will be on three areas connected to the CT: logic, mind and nature.

The main goals of the conference include the discussion over the major results 
concerning the CT, as well as the presentation of contemporary approaches to 
problems connected with the CT.

Call for papers: We invite contributions pertaining to issues which lie in the 
fields for which the CT is an important problem. Especially, but not 
exclusively, we invite contributions related to:

(A)Perspectives on Church??s Thesis: history of the Church??s Thesis; Church??s 
Thesis and Turing??s Thesis; pro and contra: arguments in the discussions 
concerning the CT;

(B)Church??s thesis and logic: definitions of the concept of algorithm, 
attempts at formalizing the CT, CT in constructivism, CT in epistemic 
mathematics, modal logics and the CT, functional programming and the CT, 
logical theory of concepts;

(C)Church??s Thesis and the mind: cognitivist approaches to the mind; theories 
of concepts; mind and computability;

(D) Church??s Thesis and nature: analog computations, computations by physical 

Invited speakers:

Jack Copeland (University of Canterbury),
Marie Duzi (VSB-Technical University of Ostrava),
Yuri Gurevich (University of Michigan),
Petr Hajek (Academy of Sciences of the Czech Republic),
Pavel Materna (Academy of Sciences of the Czech Republic),
David McCarty (Indiana University),
Wilfried Sieg (Carnegie Mellon University),
Oron Shagrir (Hebrew University of Jerusalem),
Stewart Shapiro (Ohio State University),
Jan Wolenski (Jagiellonian University),
Ryszard Wojcicki (Institute of Philosophy and Sociology, Polish Academy of 
Konrad Zdanowski (Paris Diderot University).

Some of the invited speakers have not confirmed their participation yet.

Organizing Committee: Adam Olszewski (Chairman), Bartosz Brozek, Jacek 
Malinowski, Piotr Urbanczyk, Malgorzata Drozdz.

Program Committee: Jacek Malinowski (Chairman), Heinrich Wansing, Hannes 
Leitgeb, Leon Horsten, Adam Olszewski.

Organizers: Studia Logica, Copernicus Center for Interdyscyplinary Studies, 
Pontifical University of John Paul II in Cracow.

Deadline: Please send an abstract not exceeding 2 pages to 
atolszad@cyf-kr.edu.pl not later than March 15. The authors will be notified 
about the acceptance of their papers within 4 weeks after submission.

More details will be provided in the second announcement, which is to be 
distributed in the middle of February, 2011.

On behalf of the Organizing Committee
Adam Olszewski