<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Geréby, G.</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Amit Anzelm és Gaunilo mondtak egymásnak</style></title><secondary-title><style face="normal" font="default" size="100%">Magyar Filozófiai Szemle</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1999</style></year><pub-dates><date><style  face="normal" font="default" size="100%">1999//</style></date></pub-dates></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://minerva.elte.hu/mfsz/MFSZ_996/996_GEREBY.html</style></url></web-urls></urls><volume><style face="normal" font="default" size="100%">43</style></volume><pages><style face="normal" font="default" size="100%">651 - 663</style></pages><isbn><style face="normal" font="default" size="100%">00250090</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">What Anselm and Gaunilo said to each otherIn this paper the author proposes a new formal reconstruction of the debate of St. Anselm of Canterbury and Gaunilo of Marmutier on the Proslogion argument for the existence of God. The reconstruction is purely extensional (in second order predicate logic with identity) and proves both that the argument is conclusive, and that at the same time, precisely because it is valid, it leads to an infinite metalogical cycle.</style></abstract><issue><style face="normal" font="default" size="100%">6</style></issue><notes><style face="normal" font="default" size="100%">exported from refbase (http://www.bibliography.ceu.hu/show.php?record=677), last updated on Mon, 01 Jun 2009 20:43:22 +0200</style></notes></record></records></xml>