2023/02/17 by М.В. Патракеев, Patrakeev, Mikhail
Arts and Humanities · Computer Science · #03A99 #03B60 #Classical Philosophy and Thought #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
paper · pdf · doi:10.48550/arxiv.2302.09077
openalex publication_date 2023/02/17 · openalex created_date 2023/02/22 · openalex updated_date 2026/07/28
We construct a formal theory, which we call reflectica, whose language possesses the following properties of natural language: it is a self-reflecting language and an intensional language. By a self-reflecting language we understand an interpreted language that is a meta-language in relation to itself. By an intensional language we understand a language that has expressive means sufficient to represent intensional features of a natural language, such as statements containing propositional attitude reports, various kinds of quotation, and other types of expressions with an intensional context. At the same time, we present a new method for constructing an intensional logic that allows us to make reflectica an intensional system much simpler than other well-known intensional logics.