модалностите първото третиране правило са били формулирани от Аристотел, който, заедно с настоятелни силогизми, въведени в обращение модалните силогизми. където най-малко едно от помещенията е изявление от типа «A нужда да принадлежат към Б», «А може да принадлежат към Б». Необходимо е да се Аристотел, че е възможно. Позволете реда и условията на проблема чрез изграждане на два ценен логика теория на Аристотел силогизъм не успя. Като цяло, модален силогистична Аристотел двусмислено тълкува от изследователите и има само историческо значение и днес.
Следващата стъпка в развитието на модална логика на Аристотел Теофраст учил, които са лекувани модалност изявленията като цяло, а не на отделни понятия. В допълнение, той получава тезата, че всички необходими функции, които проправиха пътя за да се определи доколко е осъществимо чрез необходимост: "Възможно» е еквивалентно на "не трябва да не-А».
През Средновековието, много интуитивно очевидно за древната представа за логиката на модалности са забравени. Независимо от това, в средата на XIII век Б. Шерууд разграничат шест вида модалности: истински, фалшиви, може би невъзможно, за щастие, не е необходимо. Впоследствие те са били намалени до три форми: неизбежно, може би невъзможно, а след това - верни, неверни и неразтворими. В средновековна логика е разделена условията на модалност де dicto (на словото), във връзка с изявлението като цяло, и модалност де ре (на нещата), отнасящи се до свойствата и изразяване на определен тип комуникация обект (предмет на мисълта) с предикат (знак, присъщи на темата мисли).
В логиката на XII-XIII век е прието разграничение между двете условия трябва: necessarium сам по себе си (необходимостта себе си) и necessarium на accidens (случайно необходимостта). Приемане с реда и условията на първия вид са безразлични по отношение на времето, т.е. те винаги са истински; одобрение с реда и условията на втория тип са верни само в определен период от време.
В XVIII век, Имануел Кант, класифицирани въз основа на условията на решението на три групи:
- асертивни решения;
- apodictic решения;
- проблематично преценка.
Конвенционална (класически) логика (вж. Logic) като запазват само елементарни условия класификация преценка. Това отличава три групи модален изрази:
- apodictic изказване с условията необходимо (S трябва да бъде Р);
- изказване с модалности проблематични възможности (S може да бъде Р);
- настоятелни отчети с реда и условията на реалността (S разполага с P), в зависимост от необходимостта, възможността и реалността на събития.
Създателите на математическата логика. включително Фреге, иска да сложи край да се идентифицират и да проучи всички възможности за екстензионна логика (обем логика), напълно игнорирайки модална стойност за логика. Модалните понятия са почти напълно изключени от логиката, докато изследването KI Люис 1912-1918 година, която аксиоматично формулиран системата на модална логика, която той нарича системата на оценки на S1 - S6. Интензивен модалност започва да се изучава само след разработването на модел на теорията семантика.
В съвременните условия логически се считат за "metalogical" изявления за оценка (вж. Металогика) и учи в модален логика (вж. Прехвърляне Logic), който на различните възможни видове модални оценки избере няколко, най-интересното.
В модална логика изследва следните групи модалните предложения и техните логически връзки:
- Alethic условия, които са разделени в логически (трансцендентално), характеризиращ се със способността и силата на интелигентност, и физическото (онтологични или метафизичното), характеризиращи точността на връзката между език и действителност, както е посочено в този език:
- логичен модалност (модалност на абсолютна: "Логично е необходимо", "логично злополука", "логично е възможно", "логически невъзможно"; сравнителен модалност: "логично предполага", "е логична последица");
- физическата (онтологична, причинно-следствена) модалност (абсолютен модалност "физически необходимо", "физически злополука", "физически невъзможно", "това е физически възможно"; сравнителен модалност: "има причина", "е следствие от", "не е нито причината, всяко разследване ").
Всички условия са разделени в абсолютен, не са свързани с всички условия и по отношение свързан с всички условия. Условия на различни видове имат общи формални свойства. Независимо от коя група са модалността са определени по отношение на всяка друга в един и същи модел (например, всичко е възможно, ако обратното не е необходимо, е разрешено, ако обратното не е задължително, е валидна, ако обратното не е забранена, случайно, то не е нито необходимо, нито невъзможно, нерешим, че е недоказуема и неопровержимо, и така нататък).
В съвременната логика спрямо условията включват най-логически оператори, с които успява да вземе предвид степента на истината на твърденията, въпреки че като се вземат предвид техните специфични и изолирани секции Logic, да ги учат, в модален логика. Примери за такива теми са временни логически (оператори "винаги ще бъде", "винаги е бил" и "никога няма да бъде", "някога е бил"), познаване на логиката ( "агент н знае"), доказуемост логика ( "тази теория доказуема "), динамична логика (" след програма л ") и много други. Такова проучване за разширението в модален поле логика обект се дължи на факта, че подобни идеи и методи, използвани в тези конкретни секции, първоначално се прилагат по принцип към класическия модалните оператори "необходимо" и "възможно". В същото време, тези конкретни участъци от модален логика имат множество приложения в специфични области на знанието, например, в областта на философията, в основите на математиката, теоретични основи на компютърните науки и неговите приложения в когнитивните науки, лингвистика и др.
Свързани статии