Trends in Logic IX - Studia Logica International Conference




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 connected with:


(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
  • status of CT


(B) Church's Thesis and Logic

  • definition 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
  • theory of definition


(C) Church's Thesis and the Mind

  • cognitivist approaches to the mind
  • quantum theories of the mind
  • theories of concepts
  • mind and computability


(D) Church's Thesis and Nature

  • analog computations
  • computations by physical systems
  • biological models of computability
  • hypercomputation and hypercomputers

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