Институт Философии
Российской Академии Наук




  Anisov A.M. Certainities in classical logic
Главная страница » » Logical Investigations. Vol. 10. – M.: Nauka Publishers, 2003. – 320 p. ISBN 5-02-006257-X » Anisov A.M. Certainities in classical logic

Anisov A.M. Certainities in classical logic

The article discusses the problem of argumentation modelling in the context of uncertainty by means of the classical first-order logics of predicates. It shows the existence of formulae that exclude the appearance of uncertainty situation.