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 133
- Downloads 0
The Next Paradigm
In order to perceive the world, we need more than just raw sensory input: a subliminal paradigm of thought is required to interpret raw sensory data and, thereby, create the objects and events we perceive around ourselve...
Environmental Education for Sustainable Development
The authors believes that by continuing the further roll-out of education for sustainable development (ESD), however, need to start implementing a new strategy for global educational process to accelerate and expand the...
Philosophical ideas of Roger Williams in the treatise “A Key into the Language of America”
Philosophical views of the American thinker Roger Williams on the nature of man, his rights and obligations are described in the article. Thinker’s philosophical views were determined by a number of strong political idea...
Evil as a Subject of Sociological Cognition: Methodological Reflections
In this article, the question of opportunities and boundaries of scientific research of the evil is considered. It is emphasized that the notion “evil” is widely used in politics and journalism for the description of the...
The Professional Training of Law and History Teachers as a Research Subject
This paper studies the issues of professional training of law and history teachers. The author concluded that teachers’ professional training is mainly considered in the context of the formation of teachers’ professional...