[kisoron-ml] Trends in Logic IX Conference - first announcement

[Suzuki, Nobu-Yuki]

皆さま

静岡大学理学部数学科の鈴木信行と申します。
以下のような案内が来ましたので、お知らせします。

重複して受け取られた方には、ご寛恕をお願いいたします。

----------------------------------------------------------------

Studia Logica International Conference
Church's Thesis: Logic, Mind and Nature
Krakow, Poland, June 3-5,  2010
http://StudiaLogica.org/TrendsIX
contact: trendsIX at 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 at 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