Модалният оператор е
МОДАЛНА ЛОГИКА е раздел от логиката, който изследва логическите връзки на модалните изрази, т.е. изявления, които включват модалности. мл. се състои от няколко направления, всяко от които се занимава с модални изявления от определен тип. В съвременната М ... Философска енциклопедия
епистемична логика — ЕПИСТЕМНАТА ЛОГИКА е клон на модалната логика. В широк смисъл неговата задача (както и доксастичната логика със същото разбиране) е да анализира сложно подчинени изречения с подчинени изречения, въведени от съюза "какво" и глаголи на главния ... ... Енциклопедия на епистемологията и философията на науката
ЕПИСТЕМНА ЛОГИКА — (от гръцки episteme знание) раздел от модалната логика, който изследва логическите връзки на твърдения, включително такива понятия като „вярва“ („убеден“), „съмнява се“, „отхвърля“, „знае“, „доказуемо“, „неразрешимо“, „опровержимо“ и т.н. Познание ... ... Философска енциклопедия
ЛОГИКАТА В БЪЛГАРИЯ е еволюцията на съвременната (математическа) логика в България. Con. 19 век и рано 20-ти век бележат излизането на логиката от рамките на силогистиката и появата на новаторски логики, като P.S. Порецки, М.В. Карински, Л.В. Рутковски, С.И. Поварнин и др. Казански ... ... Философска енциклопедия
ЛУИС Кларънс Ървинг - (Луис) (1883 1964) амер. логик и философ. проф. философия в Харвардския университет. През 1912 г. той изрази идеята, че класическата логика, използвайки понятието за материална импликация, трябва да бъде заменена с по-съвършено описание на логическото следствие. ... ... Философска енциклопедия
ДИСПОЗИЦИОНЕН ПРЕДИКАТ - (от лат. dispositio - местоположение) - предикат, който изразява предразположението (разположението) на даден обект да реагира на конкретно. начин в дефиницията ситуации, напр. разтворим (разтваря се, когато се постави във вода)еластичен (приема след деформация ... ... Философска енциклопедия
МОДАЛНА ЛОГИКА е областта на логиката, в която, наред с обикновените изявления, се разглеждат и модални изявления, тоест изявления от вида, който е необходим. , може би това. и др. В математическите. логиката разглежда различни формални системи на M. l., ... ... Математическа енциклопедия
Семантиката на Kripke е обща семантика за некласически логики като интуиционистка логика и модална логика. Създаден е от Саул Крипке в края на 50-те и началото на 60-те години на миналия век. Това беше голямо постижение за развитието на теорията на моделите за ... ... Уикипедия
СЕМАНТИКА НА ВЪЗМОЖНИТЕ СВЕТОВЕ — СЕМАНТИКА НА ВЪЗМОЖНИТЕ СВЕТОВЕ метод за логически анализ на модални и интензивни понятия, който се основава на разглеждането на възможни състояния на нещата (идеални алтернативи, описания на състояния, точки на корелация). Дънс Скот (1265 1308) ... ... Философска енциклопедия