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 138
- Downloads 0
Anthropologic Matrix of Human Education Completeness
The article attempts to concretize the idea of complete education in the form of an anthropologic matrix’s educational goals and results. The basis of theoretical construction caused ontological foundations of human’s me...
Retrospection on Philosophy of Education of Gandhi, Vivekananda and Tagore for Futuristic Indian Education System: A Possibility!
This article is a search for, if not ideal, at least a decent pedagogy in India. India is at the threshold of modernity and post-modern conflict. From Kindergarten to Post-Graduation (that is from KG to PG) a student is...
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...
Spiritual Crisis as a Sign of Time: the Projection of the Problem in the Fiction of the Slavic World
The article discusses the phenomenon of spiritual crisis as a typical attribute for each transitional era. Fiction is always sensitive to all the changes in the spiritual, ethical and philosophical components of society....
Specificity of Being and “Different Modernities” of a Person in the Contextual Range of Anthropological Conflict of Postmodernism
Specificity studies of human nature in the context of postmodern anthropological impacts on the necessity for use as philosophical and sociocultural approaches. By focusing on the fact that since the status of a person i...