Influences of Frege’s Predicate Logic on Some Computational Models
Journal Title: Future Human Image - Year 2018, Vol 9, Issue
Abstract
The purpose of this paper is to give some insights into the immense role of Frege’s first order logic (FOL) in the development of computer science. We argue that the FOL is fundamental in computer science, and that some computer science subfields could not have existed without their theoretical foundations built on this form of logic. Among these subfields, one can mention the Type Theory, Databases, Descriptive Complexity, Artificial Intelligence, Logic Programming, and Automated Theorem Proving. To illustrate our point, an in-depth attention will in particular be given to the foundational development of the most popular logic programming language, PROLOG, and the Automated Theorem Proving (ATP) systems. Importantly, when studying the interactions between logic and computer science in the literature, we can observe a significant gap in the provision of the appropriate abstraction level. Specifically, we often encounter two different levels of abstraction. The first of these is relatively high even when describing technical notions in computer science, which obviously produces a lack of precision. The second adopts a technical-oriented approach which easily makes the topic and discussion unintuitive or inaccessible to the non-specialist. The paper attempts to remedy these problems by adopting a balanced approach that provides a moderate level of abstraction that targets a deeper understanding of the topic without imposing a very technical presentation on the reader
Authors and Affiliations
Mohamad Awwad
Kant’s Studies in Ukrainian Philosophy of Soviet Period
This writing is devoted to the brief review of Immanuel Kant’s philosophy studies and receptions of his philosophical concepts within the Ukrainian philosophy of Soviet period. Such attempt is actually pertinent because...
Socio-Cultural and Ideological Preconditions of Gender Equality
The article examines the factors that have led to the contradiction between a legislated principle of gender equality and, broadcast from pre-modern by a number of social institutions a social differentiation by gender a...
The Cosmological Potential of Byzantine Ascetic Aesthetics
The study explores the peculiarities of the cosmological senses, which exist in Byzantine ascetic aesthetical doctrine. Underlining the obvious strong connection between theological aesthetics, ontology and cosmology, th...
Artistic Myth and its Interpretations of Cultural Heritage of the Eastern European Countries in the Popular Animated Films of the Post-Soviet Period
The article touches upon the issue of the need to study the myth in artistic practices as special phenomenon in the modern social life of Europe countries. The novelty of the study is as follows. We assert that among the...
Consciousness and Unconsciousness of Artificial Intelligence
This paper presents the author’s attempt to justify the need for understanding the problem of multilevel mind in artificial intelligence systems. Thus, it is assumed that consciousness and the unconscious are not equal i...