On logical pluralism and alternative pragmatic theories
Abstract.This article analyzes the forms of logical analysis in the pragmatic theory and the requirements necessary for structuring the authoritative pragmatic theory. The author compares the various logical schemes and their use pragmatic theories. The article examines the origins and peculiarities of institutional mathematical logics and discusses the specificities of logical calculus structured by L. I. Rosonoer (1983); PCont equivoluminar paraconsistent calculus PI s built by A. Arruda; and LPCont and LP1Cont in which the classical logic plays a role of formal metalanguage for the paraconsistent calculus PCont. The author analyses the three distinctions of para-tautology from institutional tautology; discusses refusal from the principle ECQ (ex contradictione quodlibet) and execution of the “principle of unprovability from the extraneous thoughts” in the (non-trivializing) paraconsistent logic; as well as applicability of logical pluralism for various pragmatic theories. The article carries out a comparative analysis of the various logical systems and their potential application in pragmatic theories, in creating an artificial intelligence and regulation of discussions. The author analyzes the theoretical-plural motivation of para-compatibility suggested by K. Mortensen. In accordance with Mortensen’s position, is proposed an approach for verification of fundamental ideas and conceptual logical schemes, which is called the principle of mathematical tolerance. The work also analyzes the cases of use of the paraconsistent logic in pragmatic theories and crucial causes for the inconsistent pragmatic positions and the alternative theories of real pragmatics.
Keywords: consistency, non-predicative descriptor, paraconsitent logics, trivialisable logical system, 3-tautology, intuitionist predicate calculus, pragmatic theory, pragmatic analysis, alternative pragmatic theories, unsolvable problems
Article was received:10-04-2018
This article written in Russian. You can find full text of article in Russian here .
The journal allows the author(s) to hold the copyright without restrictions. All authors automatically own full copyright in their work as soon as they create it, and current Russian Federal legislation protects them.
Licence type: Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)
The journal is an open access journal which means that everybody can read, download, copy, distribute, print, search, or link to the full texts of these articles in accordance with Creative Commons Attribution- NonCommercial 4.0 International License.
You are free to:
Share — copy and redistribute the material in any medium or format.
Adapt — remix, transform, and build upon the material The licensor cannot revoke these freedoms as long as you follow the license terms.
Under the following terms:
Attribution — You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
NonCommercial — You may not use the material for commercial purposes.
No additional restrictions — You may not apply legal terms or technological measures that legally restrict others from doing anything the license permits.