Extended MR with Nesting of Predicate Expressions as a Basic Logic for Social Phenomena
نویسندگان
چکیده
In this article, we present the positional logic that is suitable for formalization of reasoning about social phenomena. It effect extending Minimal Realisation (MR) with new expressions. These expressions allow, inter alia, to consider different points view entities (humanistic coefficient). perform a metalogical analysis logic. Finally, some simple examples its application.
منابع مشابه
A Basic Formal Equational Predicate Logic
We present the details of a formalization of Equational Predicate Logic based on a propositional version of the Leibniz rule (PSL—Propositional Strong Leibniz), EQN (equanimity) and TR (transitivity). All the above rules are “strong”, that is, they are applicable to arbitrary premises (not just to absolute theorems). It is shown that a strong no-capture Leibniz (SLCS—Strong Leibniz with “Contex...
متن کاملTourlakis A BASIC FORMAL EQUATIONAL PREDICATE LOGIC – PART II
We continue our exploration of the “Basic Formal Equational Predicate Logic” of Part I. Section numbering is consecutive to that of Part I. We show that a strong “no-capture” Leibniz, and a weak “full-capture” version are derived rules (both access the interior of quantifier scopes). We derive general rules MON (monotonicity) and AMON (antimonotonicity) that are “as strong as possible” for our ...
متن کاملRegular Expressions and Predicate Logic in Finite-State Language Processing
This paper proposes an extension to the formalism of regular expressions with a form of predicate logic where quantified propositions apply to substrings. The implementation hinges crucially on the manipulation of auxiliary symbols which has been a common, though previously unsystematized practice in finitestate language processing. We also apply the notation to give alternate compilation metho...
متن کاملPredicate Logic with Definitions
Predicate Logic with Definitions (PLD or D-logic) is a modification of first-order logic intended mostly for practical formalization of mathematics. The main syntactic constructs of D-logic are terms, formulas and definitions. A definition is a definition of variables, a definition of constants, or a composite definition (D-logic has also abbreviation definitions called abbreviations). Definiti...
متن کاملa new type-ii fuzzy logic based controller for non-linear dynamical systems with application to 3-psp parallel robot
abstract type-ii fuzzy logic has shown its superiority over traditional fuzzy logic when dealing with uncertainty. type-ii fuzzy logic controllers are however newer and more promising approaches that have been recently applied to various fields due to their significant contribution especially when the noise (as an important instance of uncertainty) emerges. during the design of type- i fuz...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the Section of Logic
سال: 2021
ISSN: ['2449-836X', '0138-0680']
DOI: https://doi.org/10.18778/0138-0680.2021.09