мала назву математичної логіки - логіки з предмета, математикою за методом. Логіка стала використовуватися для правильної постановки і вирішення логічних проблем математики, особливо проблем, пов'язаних з доказовою і на недоведеність тих чи інших положень, математичних теорій.
Роль логіки в сильнішому процесі комп'ютеризації багатьох сфер діяльності людини, і пов'язаним з цим зростанням потоку інформації зростає, це вимагає відповідного програмного, теоретичного і логіко-лінгвістичного забезпечення комп'ютерної науки і техніки.
І все ж нині виникає і безліч питань до логіки: чи буде збережена логікою функція Органона (знаряддя пізнання), елемента культури в широкому сенсі, яка була їй властива протягом всієї історії її розвитку в 21-м столітті? Чи буде логіка брати участь у повсякденному житті, і чи може вона реально впливати на рівень практичної раціональності членів суспільства.
Список використаної літератури
1. Бажанов В.А. Історія логіки в Росії і СРСР.- М.: Канон +, 2007. - 336 с.
2. Войшвилло Є.К., Дегтярьов М.Г. Логіка.- М.: ВЛАДОС-ПРЕСС, 2005. - 528 с
. Демидов І.В. Логіка. Навчальний посібник для юр. ВУЗів.- М.: Юриспруденція, 2007
. Чуєшов В.І. Основи сучасної логіки.- М.: Видавництво: Нове знання, 2006.с. 123.
5. #«justify»>6#«justify»>#«justify»>.#«justify»>. tolkslovars8840.html
