Anselm of Cantorbery wrote Proslogion, where is formulated the famous ‘Unum argumentum’ about the existence of God. This argument was been disputed and criticized by numerous logicians from an extensional view point. The classical predicate logic is not able to give a formal frame to develop an adequate analysis of this argument. According to us, this argument is not an ontological proof; it analyses the meaning of the “quo nihil maius cogitari posit”, a characterization of God, and establish, by absurd, (...) that “quod non posit cogitare non esse” by using the hypothesis: “to think in re” is taller than “to think in solo intelectu”. We discuss this relation and the difference between the meanings of the elementary predicates ‘to be in re’, ‘to be in intellectu’ and ‘to be in solo intellectu’. We propose a new logical approach of this ‘Unum argumentum’ of Anselm by using Curry’s Combinatory Logic. Indeed, Combinatory Logic is an abstract applicative formalism of operators applied to operands; in this formalism, the predicates, viewed as specific operators, can be composed and can be transformed, by an intrinsic way, into more complex predicates, by means of abstract operators, called “combinators”, studied by Combinatory Logic. We show that this formalism is a logical frame where it becomes possible to discuss and to formulate cognitive representations of the meanings of predicates used inside of the ‘Unum argumentum’ and to explain how the argument runs. (shrink)

A number of different kinds of negation and negation of negation are developed in Indian thought, from ancient religious texts to classical philosophy. The paper explores the Mīmāṃsā, Nyāya, Jaina and Buddhist theorizing on the various forms and permutations of negation, denial, nullity, nothing and nothingness, or emptiness. The main thesis argued for is that in the broad Indic tradition, negation cannot be viewed as a mere classical operator turning the true into the false, nor reduced to the mainstream Boolean (...) dichotomy: 1 versus 0. Special attention is given to how contradiction is handled in Jaina and Buddhist logic. (shrink)

A consequence relation \ is monotonic iff for premise sets \ and conclusion \, if \, \, then \; and non-monotonic if this fails in some instance. More plainly, a consequence relation is monotonic when whatever is entailed by a premise set remains entailed by any of its supersets. From the High Middle Ages through the Early Modern period, consequence in theology is assumed to be monotonic. Concomitantly, to the degree the argument formulated by Anselm at Proslogion 2–4 is taken (...) up by later commentators, it is accepted or rejected in accordance with a monotonic notion of consequence. Examining Anselm’s use of parallelism in the Proslogion, I show Anselm embeds his famous argument in Proslogion 2–4 in a non-monotonic context. The results here presented challenge some deeply ingrained ideas governing the historiography of the long twelfth century, particularly concerning how the theology of the later eleventh through the twelfth century relates to the scholasticism of the thirteenth. (shrink)

How does a computer scientist understand infinity? What can probability theory teach us about free will? Can mathematical notions be used to enhance one's personal understanding of the Bible? Perhaps no one is more qualified to address these questions than Donald E. Knuth, whose massive contributions to computing have led others to nickname him "The Father of Computer Science"—and whose religious faith led him to understand a fascinating analysis of the Bible called the 3:16 project. In this series of six (...) spirited, informal lectures, Knuth explores the relationships between his vocation and his faith, revealing the unique perspective that his work with computing has lent to his understanding of God. His starting point is the 3:16 project, an application of mathematical "random sampling" to the books of the Bible. The first lectures tell the story of the project's conception and execution, exploring its many dimensions of language translation, aesthetics, and theological history. Along the way, Knuth explains the many insights he gained from such interdisciplinary work. These theological musings culminate in a surprising final lecture tackling the ideas of infinity, free will, and some of the other big questions that lie at the juncture of theology and computation. Things a Computer Scientist Rarely Talks About, with its charming and user-friendly format—each lecture ends with a question and answer exchange, and the book itself contains more than 100 illustrations—is a readable and intriguing approach to a crucial topic, certain to edify both those who are serious and curious about their faiths and those who look at the science of computation and wonder what it might teach them about their spiritual world. Includes "Creativity, Spirituality, and Computer Science," a panel discussion featuring Harry Lewis, Guy L. Steele, Jr., Manuela Veloso, Donald E. Knuth, and Mitch Kapor. (shrink)

In this paper we discuss the difference between (...) proliferations of logic systems, the questions of relativity and universality of logic and the position and interaction of logic with regards to other sciences such as physics, biology, mathematics and computer science. (shrink)