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
Keywords
Related Articles
- EP ID EP278946
- DOI 10.29202/fhi/9/1
- Views 126
- Downloads 0
Mythologeme-Related Crisis of Identity: Reality and Fictional Markers of Alienation
The paper observes some myth-triggered communicative distortions caused by mass-media distribution of common stereotypes of the Other. Another focal point of the article is the variety of possible mechanisms for overcomi...
The Ideal Image of a Man: the Main Characteristics and Ways of Achieving
Key aspects of the problem concerning culture and arts implementation in the context of an ideal personality creation are described in the article. The focus is on the crucial necessity to overcome the upbringing crisis...
Relationship between Emotional Intelligence and Aggression on Boxers
Emotional Quotient is defined as the ability to perceive, use, manage and understand the emotions, which is associated with the better psychological adjustment. Analyzing studies in the literature, an inverse relationshi...
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...
Philosophical Reflection Smart-Society as a New Model of the Information Society and its Impact on the Education of the 21st Century
This article presents philosophical and educational reflection of smart-society as a new model of the information society and presents its impact on human (intellectual) capital. It reveals timeliness of this topic, whic...