Open AccessSome Characteristics of the Referential and Inferential Predication in Classical Logic
Author(s) -
Nijaz Ibrulj,
AUTHOR_ID
Publication year - 2021
Publication title -
the logical foresight
Language(s) - English
Resource type - Journals
ISSN - 2744-208X
DOI - 10.54889/issn.2744-208x.2021.1.1.1
Subject(s) - non classical logic , logical connective , categorical variable , terminology , truth function , truth table , computer science , philosophy of logic , set (abstract data type) , predicate logic , epistemology , meaning (existential) , logical consequence , mathematics , truth value , artificial intelligence , description logic , linguistics , algorithm , philosophy , programming language , machine learning
In the article we consider the relationship of traditional provisions of basic logical concepts and confront them with new and modern approaches to the same concepts. Logic is characterized in different ways when it is associated with syllogistics (referential – semantical model of logic) or with symbolic logic (inferential – syntactical model of logic). This is not only a difference in the logical calculation of (1) concepts, (2) statements, and (3) predicates, but this difference also appears in the treatment of the calculative abilities of logical forms, the ontological-referential status of conceptual content and the inferential-categorical status of logical forms. The basic markers or basic ideas that separate ontologically oriented logic from categorically oriented logic are the (1) concept of truth, the (2) concept of meaning, the (3) concept of identity, and the (4) concept of predication. Here, this differences are explicitly demonstrated by the introduction of differential terminology. From this differential methodology follows a new set of characterizations of logic.