Везде
On the logics of empirical modalities
Table of contents
Annotation Estimate Publication content
References Comments
Share
QR
Metrics
On the logics of empirical modalities
Annotation
PII
S2074-14720000616-8-1
Publication type
Article
Status
Published
Authors
Viktor Finn 
Edition
Volume 26 Issue 1
Pages
124-143
Abstract
The article considers a class of ERA-logics with the empirical modalities □◻ (necessity) and ◊◊ (possibility), which characterize, respectively, statements representing empirical laws and empirical tendencies, i.e., empirical regularities. Empirical regularities are the result of JSM reasoning, which is formed by the interaction of the inductive inference rules and inference rules by analogy, as well as the procedures for abductive acceptance of hypotheses.The ERA-logics under consideration are propositional imitation of JSM reasoning applicable to sequences of extensible fact bases of intelligent systems. A characteristic feature of ERA-logics is the application of two concepts of truth – coherent and correspondent. The application of the coherent concept of truth is due to the generation of hypotheses through the rules of inductive inference and inference by analogy. The application of the correspondent concept of truth is due to the use of an abductive inference, the acceptance of the results of which uses verification of predictions hypotheses. For this purpose, ERA-logics use the operator T: it is true that... ''.In the conclusion of the article, non-finite extensions of ERA-logics are discussed, as well as their differences as logics of empirical modalities from G.H. von Wright’ M-logic of logical modalities.
Keywords
JSM-reasoning, inductive inference rules, inference rules by analogy,, abduction, empirical regularities,, empirical law, empirical tendency, empirical tendency, empirical modalities, logical modalities, operator “it is true that. . . ”, nomological statements
Date of publication
01.06.2020
Number of purchasers
22
Views
611
Readers community rating
0.0 (0 votes)
Cite Download pdf

References



Additional sources and materials

    

  1. Anshakov, 2009 – DSM-metod avtomaticheskogo porozhdeniya gipotez. Logicheskie i ehpistemologicheskie osnovaniya / Pod obsch. red. O.M. Anshakova. M.: Knizh- nyj dom «Librokom», 2009.
    2. 

  2. Bochvar, 1938 – Bochvar D.A. Ob odnom trekhznachnom ischislenii i ego primenenii k analizu paradoksov klassicheskogo rasshirennogo funktsional'nogo ischis- leniya // Matematicheskij sbornik. 1938. T. 4. Vyp. 46. No 2. C. 287–308.
    3. 

  3. fon Vrigt, 1971 – Vrigt fon G.Kh. Logiko-filosofskie issledovaniya. M.: Pro- gress, 1986. (Von Wright G.H. Explanation and Understanding. London, 1971.)
    4. 

  4. Fejs, 1965 – Fejs R. Modal'naya logika. M.: Nauka, 1974; (Feys R. Modal Logics. Louvain / Paris: E. Nauwelaerts / Gauthier – Villars Publishers, 1965.)
    5. 

  5. Finn, 2006 – Finn V.K. Standartnye i nestandartnye logiki argumentatsii // Logicheskie issledovaniya. Vyp. 13. M.: Nauka, 2006. S. 158–189.
    6. 

  6. Finn, 2014 – Finn V.K. Distributivnye reshetki induktivnykh DSM- protsedur // Nauchno-tekhnicheskaya informatsiya. 2014. Ser. 2. No 11. C. 1–30. (Finn V.K. Distributive Lattices of Inductive JSM Procedures. Automatic Documentation and Mathematical Linguistics, Vol. 48, pp. 265–295.)
    7. 

  7. Finn, 2016 – Finn V.K. O klasse DSM-rassuzhdenij, ispol'zuyuschikh izomor- fizm pravil induktivnogo vyvoda // Iskusstvennyj intellekt i prinyatie reshenij. 2016. No 3. C. 95–108.
    8. 

  8. Finn, 2018 – Finn V.K. Iskusstvennyj intellekt: metodologiya, primeneniya, filosofiya. M.: KRASAND, 2018.
    9. 

  9. Finn, Shesternikova, 2018 – Finn V.K., Shesternikova O.P. Ehvristika obna- ruzheniya ehmpiricheskikh zakonomernostej posredstvom DSM-rassuzhdenij // Nauchno-tekhnicheskaya informatsiya. 2018. Seriya 2. No 9. C. 7–42.
    10. 

  10. Finn, 2019 – Finn V.K. Ob ehvristikakh DSM-issledovanij (dopolneniya k sta- t'yam) // Nauchno-tekhnicheskaya informatsiya. 2019. Seriya 2. No 19. C. 1–34. Finn, 2020a – Finn V.K. Tochnaya ehpistemologiya i iskusstvennyj intellekt // Nauchno-tekhnicheskaya informatsiya. 2020. Seriya 2. (V pechati)
    11. 

  11. Finn, 2020b – Avtomaticheskoe porozhdenie gipotez v intellektual'nykh sistemakh / Pod obsch. red. V.K. Finna. M.: Knizhnyj dom «Librokom», 2020. Chellas, 1980 – Chellas B.F. Modal Logic. An Introduction. Cambridge: Cambridge University Press, 1980.
    12. 

  12. Hughes, Cresswell, 1972 – Hughes G.E., Cresswell M.J. An Introduction to Modal Logic. London EC4: Methuen and Co. LTD. 11 New Fetter Lanc, 1972.
    13. 

  13. Vejngarten, 2000 – Vejngarten P. Fundamental'nye problemy istiny. M.: Ros- spehn, 2005. (Weingartner P. Basic question on truth. Dordrecht / Boston / London: Kluwer Academic Publishers, 2000.)
    14. 

  14. 

    

    

    Von Wright, 1971 – Von Wright, G.H. Explanation and Understanding. London, 1971.
    

    15.  Rescher, 1973 – Rescher, N. The coherence theory of truth. Oxford: The Clarendon Press, 1973.
    

    16. Тarski, 1956 – Tarski, A. “The concept of truth in formalized languages”, in: A Tarski Logic, Semantics, Metamathematics, Oxford: At the Clarendon Press, 1956, pp. 152–278.
    

     
    

    

    

    

     
    

     
    

    

    15.

Comments

No posts found

Write a review
Translate