Логика как наука. Сущность, задачи, категории логики

Данное пособие содержит введение в язык современной математики и методы современной логики, основные важнейшие для приложений и методологии результаты логики ХХ века, советы по применению методов и методологии логики в информатике и информационном анализе сложных задач, методологический и философский анализ следствий приведённых результатов и методов. Впервые в мировой литературе оно содержит систематическое изложение конструктивной математики с точки зрения как современной информатики, так и многоуровневого анализа её успехов и уроков. Его можно использовать совместно с обучающими программами высокого уровня и программами проверки рассуждений, подобными AGDA. Предыдущие версии книги выпущены издательствами УдГУ, 1997 (1-е издание); НГУПресс, 2000 г. (2-е издание, исправленное и дополненное).

Логические законы отражают общие закономерности связи явлений и предметов, развития материи. Поскольку на всем земном шаре общие законы материального мира одинаковы, логические законы едины для всех людей независимо от классовой, национальной и иной принадлежности. Законы логики объективны, не зависят от воли людей. Логические законы связи мыслей в рассуждении нельзя отождествлять с законами возникновения, изменения и развития человеческого мышления. Процесс возникновения чувственных образов и образование на их базе абстракций, наиболее общие законы развития мышления изучает не логика, а теория познания. Для познания окружающего мира знание о них лишь законов связи мыслей в рассуждении недостаточно. Но логические законы являются одним из важнейших условий познания мира. Они обеспечивают получение верного вывода в результате рассуждения. Отступление от них немедленно нарушает процесс мышления, а вне мышления и без мышления невозможно познание закономерностей при роды и общества.

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