Preprint
Article

Functional Language Logic

This version is not peer-reviewed.

Submitted:

27 December 2024

Posted:

30 December 2024

You are already at the latest version

Abstract
The formalism of Functional Language Logic (FLL) is presented, which is an extension of the logical formalism introduced in "Information MDPI" (15, 1, 64, 2024) for representing sentences in natural languages. In the FLL framework, a sentence is represented by aggregating primitive predicates corresponding to words of a fixed language (English in the given examples). The FLL formalism constitutes a bridge between mathematical logic (high-order predicate logic) and classical logical analysis of discourse, rooted in the Western linguistic tradition. Namely, FLL representations reformulate on a rigorous logical basis many fundamental classical concepts (complementation, modification, determination, distribution, \ldots), becoming, at the same time, a natural way of introducing mathematical logic through natural language representations, where the logic of linguistic phenomena is analyzed independently from the single syntactical and semantical choices of particular languages. In FLL, twenty logical operators express the mechanisms of logical aggregation underlying meaning constructions. The relevance of FLL in Chatbot interaction is considered, and the relationship between embedding vectors of LLM (Large Language Models) transformers and FLL representations is outlined.
Keywords: 
Subject: 
Computer Science and Mathematics  -   Artificial Intelligence and Machine Learning
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Alerts
Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

© 2025 MDPI (Basel, Switzerland) unless otherwise stated