National University of Lesotho
Institutional
Repository (NULIR)
Library and
Information Services

Leibniz's characteristica universalis and calculus ratrocinator

Show simple item record

dc.contributor.supervisor
dc.contributor.author Moletsane, Nthabeleng
dc.date
dc.date.accessioned 2024-02-05T07:46:46Z
dc.date.available 2024-02-05T07:46:46Z
dc.date.issued 2023-07
dc.identifier.uri https://hdl.handle.net/20.500.14155/1887
dc.description.abstract This study investigates the philosophical, linguistic and computational dimensions of Leibniz’s ambitious scheme of mathematizing natural language and automating reasoning for the purposes of developing what he referred to as the ‘Encyclopaedia of human knowledge.’ Leibniz envisioned a universal language capable of perfectly mirroring reality and representing human knowledge through symbolism; and he referred to such a language as the characteristica universalis. In a complementary manner, he sought to develop an automated framework for logical inferences through what he referred to as the calculus ratiocinator. This study appraises the feasibility of Leibniz’s ideas in natural discourse. It provides an in-depth analysis of the historical perspectives about natural language from which Leibniz ideas emerged. It also demonstrates attempts made towards developing his universal language and the reasoning calculus. The study discusses the extent to which Leibniz’s project has been successfully implemented in the advancement of artificial intelligence research and automated reasoning in computer science and mathematics, respectively. It also evaluates the capability of Leibniz’s formalism in eliminating ambiguity, or in more general terms, semantic indeterminacy. In addition to that, the study explores certain linguistic models of ambiguity resolution which enable natural language users to use language efficiently. And in light of which, the study concludes by indicating the limitations of Leibniz’s characteristica universalis and calculus ratiocinator in natural discourse. The study also highlights the significance of natural language, despite its complexities, in natural discourse settings. en
dc.description.sponsorship National Manpower Development Secretariat en
dc.language.iso en en
dc.publisher National University of Lesotho en
dc.subject Characteristica universalis, calculus ratrocinator, natural language en
dc.title Leibniz's characteristica universalis and calculus ratrocinator en
dc.title.alternative A critical appraisal en
dc.type Master's Thesis en


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search NULIR


Browse

My Account