[FOM] 2nd World Congress on Logic and Religion

[jean-yves beziau]

This kind of work is indeed very relevant for our event Harvey.
I launched this new series of event in 2014 with my colleague Ricardo
Silvestre (also a logician).
The first edition took place in João Pessoa, Brazil, April 1-5, 2014
http://www.uni-log.org/logos
Our idea was not to have one more event on philosophy of religion but to
develop real interaction between logic and religion, logic having the first
place.
The idea of our event is not to have only applications of logic to
religious issues such as the proof of the existence of God (or
non-existence, or impossibility of such a proof, etc.), but to have
developments in mathematical logic inspired by religious themes.
This is the spirit of your proposal and you are most welcome to join us,
Our main partner for the second edition of this event in Warsaw next June is
Stanislaw Krajewski who has a strong interest both for logic and religion:
https://en.wikipedia.org/wiki/Stanis%C5%82aw_Krajewski
The event will take place in the main building of the University of Warsaw,
which is right downtown and has excellent facilities.
We expect a wide audience.
Everybody is welcome to submit an abstract by January 15.
Jean-Yves

2017-01-05 18:50 GMT+01:00 Harvey Friedman <hmflogic at gmail.com>:

> Of relevance to this topic is
>
> A Divine Consistency Proof for Mathematics. December 25, 2012, 70
> pages. https://u.osu.edu/friedman.8/foundational-adventures/
> downloadable-manuscripts/
> #74
>
> Abstract. We present familiar principles involving objects
> and classes (of objects), pairing (on objects), choice
> (selecting elements from classes), positive classes
> (elements of an ultrafilter), and definable classes
> (definable using the preceding notions). We also postulate
> the existence of a divine object in the formalized sense
> that it lies in every definable positive class. ZFC (even
> extended with certain hypotheses just shy of the existence
> of a measurable cardinal) is interpretable in the resulting
> system. This establishes the consistency of mathematics
> relative to the consistency of these systems. Measurable
> cardinals are used to interpret and prove the consistency
> of the system. Positive classes and various kinds of divine
> objects have played significant roles in theology.
>
> ##########
>
> Also in the same general spirit, but obviously not so overtly
> religious, is: Expanding Mind Theory, November 18, 2016, 17 pages,
> https://u.osu.edu/friedman.8/foundational-adventures/
> downloadable-manuscripts/
> #91
>
> Harvey Friedman
>
> On Thu, Jan 5, 2017 at 5:14 AM, jean-yves beziau <beziau100 at gmail.com>
> wrote:
> > 2nd World Congress on Logic and Religion
> > University of Warsaw, Poland, June 18-22, 2017
> >
> > Invited Speakers:
> > Dov Gabbay (London/Jerusalem)
> > Michael Heller (Templeton Prize, Kraków)
> > Laurent Lafforgue (Fields medal, IHES, Paris)
> > John Searle (UC Berkeley)
> > Yuhan Sohrab-Dinshaw Vevaina (U. Toronto)
> > Jan Wolenski (Kraków)
> >
> > Deadline approaching:
> > send an abstract by January 15
> > http://www.uni-log.org/logos
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20170111/618f889d/attachment.html>