3-5 June 2011
Krakow, Poland
Studia Logica International Conference Church's Thesis: Logic, Mind and Nature Krakow, Poland, June 3-5, 2010 http://StudiaLogica.org/TrendsIX contact: trendsIX@upjp2.edu.pl FIRST ANNOUNCEMENT 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 systems. 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 Sciences), 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