Табличный метод - одна из наиболее простых и эффективных процедур поиска доказательств, широко применяется в различных областях математической логики, теории аргументации и искусственного интеллекта. В монографии воссоздана история развития табличного метода. Рассмотрены предпосылки его возникновения. Автором проанализированы и систематизированы основные логические исчисления, к которым применяется данный метод. Указаны философские и логические перспективы дальнейшего развития и усовершенствования метода таблиц. Для специалистов в области логики и философии, может быть полезна также студентам и аспирантам философских факультетов университетов.
Tablichnyj metod - odna iz naibolee prostykh i effektivnykh protsedur poiska dokazatelstv, shiroko primenjaetsja v razlichnykh oblastjakh matematicheskoj logiki, teorii argumentatsii i iskusstvennogo intellekta. V monografii vossozdana istorija razvitija tablichnogo metoda. Rassmotreny predposylki ego vozniknovenija. Avtorom proanalizirovany i sistematizirovany osnovnye logicheskie ischislenija, k kotorym primenjaetsja dannyj metod. Ukazany filosofskie i logicheskie perspektivy dalnejshego razvitija i usovershenstvovanija metoda tablits. Dlja spetsialistov v oblasti logiki i filosofii, mozhet byt polezna takzhe studentam i aspirantam filosofskikh fakultetov universitetov.
