Карпенко А.С.: Развитие многозначной логики
Скачать книгу (размер 2 278 Kb , формат fb2, страниц 448)
Жанр : Логика
Издательство : ЛКИ
Год издания : 2014
Аннотация:
В настоящей книге рассматривается развитие многозначной логики начиная от Аристотеля и до наших дней. В силу той особой роли, которую играет многозначная логика в компьютерных науках и в различных приложениях, большое внимание в работе уделяется ее теории функциональных свойств. Автор особо выделяет также сложнейшую философскую проблему интерпретации истинностных значений, которая в итоге приводит к идее их структурализации. Книга может служить справочником по многозначной логике, поскольку в ней тщательно соблюдается хронология развития многозначной логики, содержится большой список использованной литературы; к тому же она не предполагает наличия у читателя каких-либо предварительных знаний. Книга рассчитана на самый широкий круг читателей, в том числе философов, логиков, математиков и студентов соответствующих специальностей.