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.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

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