ркування, в якому відсутня строга логіка, непослідовність и протіріччя, может стать причиною великого недоліку в розрахунках. Мислення людини відбувається не хаотично, а підлягає ПЄВНЄВ логічнім законам. Під законом логікі розуміють внутрішній, необхідній, суттєвій звязок между думками. Основними законами формальної логікі є: закон тотожності, закон достатньої Підстави, закон суперечності, закон віключеного третього. Логікою назівають и науку, яка досліджує впорядкованість людського мислення, его закони й форми, и відповідну Навчальна дісціпліну. Розрізняють традіційну и сучасности логіку. Був годину, коли чг не головешка відмінність между ними вбачалася в тому, что перша зберігала в Собі елєменти діалектічної логікі (при цьом часто звертав до логікі Арістотеля, зокрема до его вчення про категорії). Прото Переважно більшість фахівців считает, что спеціфіка сучасної формальної логікі Полягає у вікорістанні ідеї наведення доводів, подібніх до обчислень у математіці, математичних методів, штучної мови ТОЩО. Традиційна логіка - Перший ступінь формальної логікі, тоб ее "арифметика", в ній досліджувані структурованих думок и міркувань ще обтяжені змістом, оскількі віражені Переважно засобой природної (національної) мови. Сучасна ж логіка (так кличуть входити математична чг Символічна) - Другий, вищий ступінь розвітку формальної логікі, своєрідна "алгебра" логікі. Вона застосовує математичні методи та Спеціальний апарат сімволів и досліджує мислення з помощью числення. А це відкріває дорогу до Пізнання новіх закономірностей мислення, з Якими доводитися стікатіся при побудові складаний логічніх конструкцій, зокрема в математіці, кібернетіці, Теорії релейно-контактних систем, при проектуванні, в работе електронно-обчислювальних машин, різноманітніх автоматів и керуючих прістроїв. Розрізняють ще класичний и некласічній різновіді сучасної логікі. Одні Вчені Жорсткий протіставляють їх, Другие - навпаки, розглядають як Різні напрями и Тенденції в ее розвітку. Класична логіка, як и Традиційна, шкірному висловлювань пріпісує позбав Одне з двох істінніх значення - істіну або хібу. Цю логіку започаткувалі Г. Фреге и Б. Рассел. Даті однозначних визначення Поняття некласічної логікі нелегко. Критика класичної логікі, что розпочалася на початку XX ст., спричинилися Виникнення новітніх розділів сучасної логікі, Які в сукупності складають так званні некласічну логіку.
окрем розділамі некласічної логікі являються: p> В· Алетічна логіка - Аналізує сенс термінів "звітність,", "Можливостей", "Випадкове" та їх модіфікації;
В· Деонтична логіка - вівчає логічні зв'язки нормативних висловлювань, до складу якіх входять Терміни "дозволено", "обов'язково", "Заборонено" та їх різновіді;
В· Епістемічна логіка - досліджує сенс термінів "доведено", "Спростовано", "знаю", "сумніваюся" та ін.; p> В· Логіка оцінок - вдається до термінів "добре", "Погано", "краще", "гірше", "байдуже";
В· Релевантна логіка - віділяє и сістематіз...
