Модални логики
тема: Модални логики. Положителна логика
Логиката е една от най-древните науки, чиито първи учения за формите и методите на разсъждение са възникнали в цивилизациите на Древния Изток. Принципите и методите на логиката навлизат в западната култура главно благодарение на усилията на древните гърци. Развитият политически живот в гръцките градски държави, борбата на различни партии за влияние върху масите на свободните граждани, желанието за разрешаване на възникналото имущество и други конфликти чрез съда - всичко това изискваше способността да убеждава хората, да защитава своите позиция в различни популярни форуми, в държавни институции, в съдебни заседания и т.н.
В края на миналия - началото на настоящия век се случи научна революция в логиката, в резултат на която стилът на разсъждения, методите и науката, като че ли, намериха втори вятър. Сега логиката е една от най-динамичните науки, модел на строгост и точност дори за математическите теории.
Спонтанно формираните умения за логично перфектно мислене и научната теория за такова мислене са съвсем различни неща. Логическата теория е особена. Тя говори за обикновеното - за човешкото мислене - което на пръв поглед изглежда необичайно и ненужно сложно. Оттук и сложността на първото запознаване с логиката: човек трябва да погледне познатото и утвърденото с нови очи и да види дълбочината зад това, което изглеждаше очевидно.
Логиката е наука за мисленето. Но за разлика от други науки, които изучават човешкото мислене, например, физиологията на висшата нервна дейност или психологията, логиката изучава мисленето като средство за познание; неговият предмет са законите и формите, методите и операциите на мислене, с помощта на които човек опознава света около себе си.
Логиката, която изучава когнитивното мислене и се използва като средство за познание, възниква и се развива като философска наука и в момента е сложна система от знания, която включва две относително независими науки: формална логика и диалектическа логика. Това е общото понятие за логика като наука. Но за да се разкрие нейната тема, е необходимо да се разгледат всички въпроси, един от тях е модалността на преценките.
Относно модалността на преценките.
На естествен език съжденията могат да се характеризират не само като верни или неверни, но и от други гледни точки. Такива характеристики съдържат допълнителна информация, която в някои случаи изразява отношението на говорещия към изразената мисъл, в други - валидността на знанията, съдържащи се в съждения, в трети - предписание, норма или правило, които трябва да се спазват. Такива допълнителни характеристики изразяват различни гледни точки на преценката, в зависимост от целите и задачите, които човек си поставя.
В процеса на аргументация и практически разсъждения ние се интересуваме не само от истинската оценка на съдебните решения, но в допълнение към това се стремим да разберем колко убедителни и следователно обосновани аргументите на опонента по спора, независимо дали те са логически или действително верни и т.н. В етиката и юриспруденцията те също се интересуват от нормите на поведение на хората в обществото, откриват какво е забранено и позволено от тези норми. Преценката като форма на мислене съдържа два вида информация - основна и допълнителна.
Основната информация е изрично изразена в субекта и предиката на преценката, в логически съединителни елементи и квантори.