From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9083 Path: news.gmane.org!.POSTED!not-for-mail From: michael.heather@trinity.cantab.net Newsgroups: gmane.science.mathematics.categories Subject: CfP for 11th IWC 2017 Date: Mon, 23 Jan 2017 12:28:39 -0000 (UTC) Message-ID: Reply-To: michael.heather@trinity.cantab.net NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain;charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: blaine.gmane.org 1485223591 27437 195.159.176.226 (24 Jan 2017 02:06:31 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Tue, 24 Jan 2017 02:06:31 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Tue Jan 24 03:06:25 2017 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.40]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cVqUd-00047v-FU for gsmc-categories@m.gmane.org; Tue, 24 Jan 2017 03:05:55 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:46917) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1cVqT0-0007Jd-0v; Mon, 23 Jan 2017 22:04:14 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1cVqSa-0004M4-1a for categories-list@mlist.mta.ca; Mon, 23 Jan 2017 22:03:48 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9083 Archived-At: Call for Papers for the 11th International Whitehead Conference 2017 http://whitehead2017.com/ You are invited to the 11th IWC under the topic =93Nature in Process. Nov= el Approaches to Science and Metaphysics" 25th-28th July 2017 at the University of the Azores and to submit an abstract for presentation in an= y of its 16 sections by 31 JANUARY 2017 or as soon as possible. Reproduced below are the details for Section 8 on Whitehead, Mathematics and Logic where Category Theory can assist with his 'loose ends'. Current Category Theory is still founded on Whitehead's early Principia Mathematica (1912) that he soon repudiated in favour of the metaphysics o= f his Process & Reality (PR,1929). Today's real world problems of globalisation and higher order processes need an applicable Category Theory with a comparable shift from modelling 'up to the natural isomorphism' as in the Eilenberg-Mac Lane style of early Whitehead to the exactness of 'down from the natural isomorphism' in the metaphysics of th= e later Whitehead. Whitehead's search to represent our perceptions of nature as an extension of abstract space in logic was achieved only informally in his life time. Formally Alexandre Grothendieck picked up on Aristotle's metonym of the Topos for abstract space as a category but by satisfying Weil's conjectures (as appears from the R=E9coltes et Semailles) the Grothendiec= k topos was still confined to the limitations of Whitehead's early work. On the contrary the Topos in impredicative mathematics has neither the natural number object nor an initial object. For Whitehead rejects as beyond first order in abstract space the following constructs of the mind= : =95 arithmetic (including zero and infinity) =95 Euclidean geometry =95 predication =95 ex absurdo reasoning =95 paradox (as error in antecedent reasoning) =95 'vacuous actuality' (PR:xiii) Galileo's work took nearly a century to be integrated into mainstream science so we should perhaps not be too surprised with the same for Whitehead. This conference is an opportunity to contribute to these developments where they really matter -- in applicable Category Theory. ***************************************************************** 11th IWC 2017 section 8: Whitehead, Mathematics and Logic Head: Vesselin Petrov Abstract Until the end of his life Alfred North Whitehead maintained that symbolic logic was his first love. Logic dominated the mathematics of his early intellectual development at Cambridge. It was the driving force in his quest to understand process in nature and underpinned the novel approach to science and metaphysics in his subsequent influence on contemporary science and philosophy. Study of his logic and mathematics can therefore provide us with further understanding of his speculative metaphysics of nature. He would not as some sever logic from mathematics and much of hi= s early work on mathematics was at its foundation level. Topics of interest include, but are not limited to: His initial work subsuming Grassmann=92s notion of logic and number into Universal Algebra and the study of axiomatics in projective and descriptive geometry with applications to the material world arising out of its own natural logic. The collaboration with Russell on the Principia Mathematica as the foundations of mainstream 20th Century mathematics, their influence on Kurt G=F6del, the technical details behind why the fourth volume was abandoned and behind why they parted. Outstanding issues in Whitehead's writings particularly relating to the nature of space and time. Logical distinctions with the approaches of Kant, Poincar=E9, Bergson, Einstein, etc and comparison with alternative theories of extension and process. His identification of Desargues theorem as the logic behind three dimensional Euclidean space. Whitehead=92s theory of extension in Process and Reality as a transformat= ion of mathematical ideas into metaphysical ones. The logic of parthood with part-whole and part-part relations as relevant today in mathematics applied to globalisation, theoretical computer science, artificial intelligence and studies in consciousness and evolutionary biology. Whitehead=92s informal descriptions in Process & Reality have helped spawn new subjects like mereology and contemporary mereotopology. The work of Whitehead=92s mature period has promoted advances on a wide front for postmodernism in the arts and humanities but these have yet to procreate postmodernism in mathematics or logic. Current topics in Whitehead=92s loose ends include a formal language for his cosmology of process and the clarification of his =91blind spot=92 for intuitionistic = logic both of which are now possible to represent =91naturally=92 in the mathem= atics of Category Theory. Whitehead=92s last writings: Mathematics and the Good =96 a connection be= tween modern mathematics and metaphysics is of importance in the philosophy of mathematics and is Whitehead=92s own =91footnote=92 on Plato=92s notion o= f Mathematics and the Good. . [For admin and other information see: http://www.mta.ca/~cat-dist/ ]