Составители:
Рубрика:
97
В. И. Спивак
ПРОГРАММА СПЕЦКУРСА
«ВВЕДЕНИЕ В СИМВОЛИЧЕСКУЮ ЛОГИКУ»
ПОЯСНИТЕЛЬНАЯ ЗАПИСКА
Значение логики в любой сфере человеческой деятель
ности переоценить трудно. Одна из древнейших наук, ло
гика блестяще доказала свое право на высокий статус фун
даментальной науки.
Современная логика является символической логикой,
так как использует точно определенные логические сим
волы, значительно облегчающие многие научные процеду
ры, поскольку каждый введенный символ имеет свой точ
ный смысл, каждое правило – однозначную трактовку.
Такая точность, определенность позволяет применять ап
парат символической логики во многих областях челове
ческого знания (математике, кибернетике, информатике,
лингвистике, психологии/исследованиях по искусствен
ному интеллекту, в современной теории познания и т. д.).
Так, например, понятие логического следования необхо
димо в качестве основы для методологически важных об
щенаучных понятий: понятия научного объяснения и
предсказания, закона науки, контрфактического выска
зывания, явной и неявной определимости терминов в со
ставе теории и др.
Человеческий разум сегодня не может обойтись без
технического инструмента в решении жизненно важных
проблем. К числу таких проблем относятся различные
вопросы планирования, управления сложными производ
ственными и социальными процессами, вопросы приня
Страницы
- « первая
- ‹ предыдущая
- …
- 94
- 95
- 96
- 97
- 98
- …
- следующая ›
- последняя »
