Навигация
Чехия | Япония
  Новости    Статьи  
  Энциклопедия  
  Страны     Защита картера     Горячие новости  

Энциклопедия

Выбор по первым буквам
 А   Б   В   Г   Д 
 Е   Ж   З   И   Й 
 К   Л   М   Н   О 
 П   Р   С   Т   У 
 Ф   Х   Ц   Ч   Ш 
 Щ   Ъ   Ы   Ь   Э 
 Ю   Я 


Услуги
фирменные конфеты с логотипом доставка
защита картера
 
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я
 
 

ЛОГИКА


ЛОГИКА (греческое logike), наука о способах доказательств и опровержений; совокупность научных теорий, в которых рассматриваются определенные способы доказательств и опровержений. Основателем логики считается Аристотель. Различают индуктивную и дедуктивную логику, а в последней - классическую, интуиционистскую, конструктивную, модальную и др. Все эти теории объединяет стремление к систематизации таких способов суждений, которые от истинных суждений-посылок приводят к истинным суждениям - следствиям. Особую роль играют приложения логики в вычислительной математике, теории автоматов, лингвистике, информатике и др. Смотри также Математическая логика.