Ян Лукасе́вич — польский логик и математик, член Польской академии наук (1937), один из главных представителей львовско-варшавской школы.
Дескриптиви́зм, дескриптивная лингвистика — направление американской лингвистики 1920—1950-х годов. Основоположником дескриптивизма и его главным теоретиком считается Л. Блумфилд.
Ло́гика (др.-греч. λογική — «наука о правильном мышлении»; «способность к рассуждению»; от λόγος «учение, наука») — философская дисциплина и нормативная наука о законах, формах и приёмах интеллектуальной деятельности.
Модальность в разных предметных областях — категория, характеризующая способ действия или отношение к действию:
- Модальность — термин философии, логики и информатики
- Деонтическая модальность
- Алетическая модальность
- Эпистемологическая модальность
- Временная модальность
- Модальность — семантическая категория, выражающая отношение говорящего к содержанию его высказывания.
- Модальность — принцип музыкального лада.
- Модальность — свойство ощущений в психологии.
- Модальность — метод психотерапии.
- Модальность в математике — число параметров семейства к.-л. объектов.
- Модальность в пользовательском интерфейсе — см. Модальное окно, Режим.
Мода́льная ло́гика — логика, в которой кроме стандартных логических связок, переменных и предикатов есть модальности.
Диодор Крон, также Диодор Диалектик , родился в Иасе, — древнегреческий философ, диалектик, главный представитель т. н. Диалектической школы, возникшей на позднем периоде существования Мегарской школы, в отличие от «мегариков» и «эристиков» — Евбулида и Алексина. Жил и философствовал в Афинах и Александрии, бывал при дворе Птолемея Сотера.
Мода́льность — семантическая категория, выражающая отношение говорящего к содержанию его высказывания, целевую установку речи, отношение содержания высказывания к действительности. Модальность является языковой универсалией, принадлежит к числу основных категорий естественного языка.
Ио́сиф Нусимович Бро́дский — советский и российский логик. Доктор философских наук (1974), профессор кафедры логики философского факультета СПбГУ. Один из основоположников символической логики в России, один из основателей современной петербургской логической школы.
Деонти́ческая ло́гика — раздел логики, исследующий логическую структуру и логические связи нормативных высказываний. Деонтическая логика является также разделом модальной логики и одним из исследовательских направлений неклассической логики.
Евге́ний Казими́рович Войшви́лло — советский и российский философ, логик, доктор философских наук (1967), профессор МГУ имени М. В. Ломоносова (1968). Лауреат Ломоносовской премии I-й степени (1992). Заслуженный профессор МГУ имени М. В. Ломоносова. Ветеран Великой Отечественной войны, фронтовик.
Но́рма — социально апробированная и закрепленная оценка. Санкция превращает позитивную оценку действия в норму. Нормы являются частным случаем оценок: нормы — групповые оценки. В природе, не входящей в область человеческой деятельности, норм нет. Нормы невозможно логически вывести из описательных высказываний.
Темпоральная логика — логика, в высказываниях которой учитывается временной аспект. Используется для описания последовательностей явлений и их взаимосвязи по временной шкале.
История логики изучает развитие науки о формах и законах правильного мышления (логика).
Каарло Яакко Юхани Хинтикка — финский философ и математик. Эксперт в различных областях математической логики, теории игр, философии математики, эпистемологии, философии науки, метафизики, а также в других философских специализациях и сопутствующих исторических вопросах, среди которых теории Аристотеля, Рене Декарта и Людвига Витгенштейна. Иностранный член Российской академии наук (1999). Лауреат Премии Рольфа Шока (2005).
Прескриптивизм — нонкогнитивистское течение в метаэтике, утверждающее, что язык этики преимущественно прескриптивен. Согласно прескриптивизму, моральные термины имеют в основном прескриптивное значение, поэтому моральные высказывания не могут быть проверены на истинность и не являются ни истинными, ни ложными. Однако моральные высказывания подчиняются законами логики, например, закону непротиворечия, и поэтому рациональны. Рациональность моральных высказываний означает, что в оценке своих и чужих поступков человек руководствуется не чувствами, а разумом, и принимает решения о выборе линии поведения, исходя из следствий, логически выводимых из общих, универсальных принципов морали. Главный представитель прескриптивизма — британский философ Ричард Мервин Хэар.
Алекса́ндр Архи́пович И́вин — советский и российский философ, специалист в области логики, философии науки, теории аргументации, философии истории. Доктор философских наук, профессор.
Пропози́ция — смысл утвердительного предложения.
Диспози́ция — элемент правовой нормы, содержащий дозволение, предписание или запрет для субъекта, которому адресована правовая норма. Содержит, таким образом, правило поведения, которому должны следовать участники правоотношений, урегулированных данной нормой . Другие элементы правовой нормы: гипотеза и санкция.
Неклассические логики — группа формальных систем, существенно отличающихся от классических логик путём различных вариаций законов и правил. Благодаря этим вариациям возможно построение различных моделей логических выводов и логической истины.
Нормальная модальная логика — множество формул L, содержащее:
- Все пропозициональные тавтологии;
;
.