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