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 145
- Downloads 0
Counterfactuality of the Ethical Norms of Higher Education
Usage of the counterfactuality as a term for marking the modality to some event becomes a new trend in social sciences. Recently this term was popular almost exclusively in psychology — especially in study of cognitive p...
The Cosmic Sources of Religious Feeling (a possible hypothesis)
The article is devoted to the relationship between science and religion, as an important component of human culture and human mentality. The science is considered to have become closely connected with consciousness and i...
Culture of National Philosophical Communities: the Project Dedicated to the Research of Modern Ukrainian Philosophical Traditions
The article introduces a new Ukrainian research project related to the preparation of a collective monograph. This monograph will highlight the activities of modern Ukrainian philosophical communities. Such communities i...
An Analysis of Polish Teachers Attitudes towards Inclusive Education
The purpose of the study was to determine the relation to inclusive education involving teachers of both public and special schools. The study was conducted on a sample of 224 teachers. In the study, a diagnostic survey...
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...