Open AccessRelating Logic and Relating Semantics. History, Philosophical Applications and Some of Technical Problems
Author(s) -
Tomasz Jarmużek,
Francesco Paoli
Publication year - 2021
Publication title -
logic and logical philosophy
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.416
H-Index - 10
eISSN - 2300-9802
pISSN - 1425-3305
DOI - 10.12775/llp.2021.025
Subject(s) - semantics (computer science) , computer science , relation (database) , philosophical logic , programming language , epistemology , well founded semantics , denotational semantics , operational semantics , philosophy , database
Here, we discuss historical, philosophical and technical problems associated with relating logic and relating semantics. To do so, we proceed in three steps. First, Section 1 is devoted to providing an introduction to both relating logic and relating semantics. Second, we address the history of relating semantics and some of the main research directions and their philosophical applications. Third, we discuss some technical problems related to relating semantics, particularly whether the direct incorporation of the relation into the language of relating logic is needed. The starting point for our considerations presented here is the 1st Workshop On Relating Logic and the selected papers for this issue.