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 124
- Downloads 0
Divided Universities: The Postcolonial Experience of Contemporary Ukrainian Higher Education
The paper considers the problem of Ukrainian divided universities, which appear at the result of Revolution of Dignity, annexation of Crimea by Russia as well as formation of quasi-republics of the East of Ukraine. Most...
Philosophy and Post-Totalitarian Practices
This writing aims to outline the principles of researches on philosophy in Central and Eastern European countries, preferably USSR, in the latest soviet and post-soviet periods. In author’s opinion, the crucial points fo...
Family Policy of the State as a Response to Social Security Threats
Today, national security is widely understood, and its definition goes beyond the absence of military action. The broad sense of security includes not only a lack of risk or a direct threat to war, but also a sense of se...
Pre-University Training in Ukraine: History and Contemporary Condition
The article is devoted to the analysis of historical stages of formation, critical problems, perspectives and features of the development of pre-university education in Ukraine at the preparatory departments of universit...
Pedagogy of Peace and Philosophy of War: the Search for Truth
Peace pedagogy (German: Friedenspedagogik) and the Peace education are identified as relevant educational paradigm and set of educational projects aimed at solving problems of teaching non-violence and the capacity for p...