В настоящей книге рассматривается развитие многозначной логики начиная от Аристотеля и до наших дней. В силу той особой роли, которую играет многозначная логика в компьютерных науках и в различных приложениях, большое внимание в работе уделяется ее теории функциональных свойств. Автор особо выделяет также сложнейшую философскую проблему интерпретации истинностных значений, которая в итоге приводит к идее их структурализации. Книга может служить справочником по многозначной логике, поскольку в ней тщательно соблюдается хронология развития многозначной логики, содержится большой список использованной литературы; к тому же она не предполагает наличия у читателя каких-либо предварительных знаний.

Книга рассчитана на самый широкий круг читателей, в том числе философов, логиков, математиков и студентов соответствующих специальностей.

Karpenko Alexander Stepanovich

The Development of Many-Valued Logic. --- M.: LKI Publishers, 2014. --- 448 p.

The book covers the development of many-valued logic from Aristotle up to the present. As many-valued logic play an important role in computer science and other applications, an emphasis is placed on functional properties of many-valued logic. Another important topic covered in the book is the more complicated philosophical problem of interpretation of the truth values in many-valued logic; investigating this problem leads to the idea of structuralization of truth values.

The book can serve as chronologically organized a source of reference on many-valued logic with a substantial bibliography on the subject. The book does not assume any prior knowledge of any area of logic and is aimed at everyone interested in the subject.