К. А. Михайлов, В. В. Горбатов. Краткий глоссарий по логике




Скачать 391,04 Kb.
НазваниеК. А. Михайлов, В. В. Горбатов. Краткий глоссарий по логике
страница1/4
Дата конвертации12.12.2012
Размер391,04 Kb.
ТипДокументы
  1   2   3   4
К.А. Михайлов, В.В. Горбатов.

Краткий глоссарий по логике.


Абстракция актуальной бесконечности



философско-методологическая позиция, состоящая в постулировании актуального существования бесконечных множеств (например, числовых) – сразу, всеми своими элементами. Лежит в основании классической математики и логики (см. Классическая логика), отвергается в интуиционистской логике.


Автонимия



использование языковых выражений для обозначения их самих, представляющее собой нарушение принципа предметности (см. Предметности принцип).


Аксиома



утверждение, которое принимается в данной теории как исходное, без доказательства.


Аналогия



рассуждение, в котором из сходства двух предметов (систем предметов) в некоторых признаках делается вывод об их сходстве и в других признаках.


свойств



аналогия, в которой переносимым признаком является наличие или отсутствие некоторого свойства.


отношений



аналогия, в которой переносимым признаком является наличие или отсутствие некоторого отношения.


Антецедент



высказывание, входящее в состав импликативного суждения и выражающее собой условие (высказывание А в конструкции «Если (когда) А, то В»).


Антиномия отношения

именования



Ситуация несохранения значения контекста при применении правила эквивалентной замены (см. Взаимозаменимости принцип), свидетельствующая о том, что данный контекст является интенсиональным.











Бивалентности принцип



метатеоретический принцип, согласно которому высказывание принимает одно и только одно значение из набора {истина, ложь}


Бэкона – Милля таблицы (каноны)



сокращенные схемы методов обнаружения причинно-следственных связей между явлениями; изобретены Ф. Бэконом, дополнены Дж. Ст. Миллем.


Взаимозаменимости

принцип




Семантический принцип, гласящий, что при замене в контексте выражений с одним и тем же значением друг на друга, предложение, в котором замена осуществляется, не должно изменять свое истинностное значение, а значение (сложных) имен не должно меняться.



Вопрос



мысль о необходимости восполнения недостающей информации.


Выборка



множество специально отобранных для исследования образцов из генеральной совокупности.


Высказывание




языковая конструкция, выражающая суждение.


логически истинное



высказывание, логическая форма которого есть логический закон.

логически ложное



высказывание, логическая форма которого есть противоречие.


логически случайное (недетерминированное)



высказывание, логическая форма которого не есть ни логический закон, ни противоречие.


атрибутивное



высказывание о наличии или отсутствии некоторого свойства (атрибута) у предметов определенного класса (всех или некоторых).


реляционное



высказывание о наличии или отсутствии некоторого отношения между предметами.


ассерторическое



высказывание, не содержащее модальностей.


модализированное



высказывание с модальностями – терминами, характеризующими наличие (отсутствие) ситуации (признака у предмета) с определенного угла зрения.


категорическое



атрибутивное ассерторическое высказывание.

простое



высказывание, в составе которого нельзя выделить других высказываний.


сложное



высказывание, в составе которого можно выделить другие высказывания.


Вычитание



теоретико-множественная (двухместная) операция (некоммутативная), результат которой представляет собой множество, состоящее из тех и только тех объектов, которые входят в первый из двух исходных классов и не входят во второй.


Генеральная совокупность



множество всех предметов, относительно которых делается некоторое индуктивное обобщение.


Гетерологичности

парадокс




то же, что парадокс Греллинга – Нельсона.

Гёделя теоремы



ограничительные теоремы, доказывающие невозможность осуществления «проекта Лейбница», то есть программы полной формализации математического (и любого, основанного на нем) знания: в любой системе, содержащей элементарную арифметику, всегда найдется истинное предложение, не доказуемое средствами этой системы; непротиворечивость самой математики не может быть доказана средствами, формализуемыми в ней самой.


Гипостазирование



приписывание свойствам, отношениям и функциям (элементам объемов абстрактных понятий) статуса самостоятельно существующих сущностей.


Греллинга – Нельсона Парадокс





(парадокс гетерологичности) неразрешимое семантическое противоречие, сводящееся к тому, что прилагательное обладает неким свойством тогда и только тогда, когда оно им не обладает; пример – свойство «не обладать свойством, на которое указывает» (свойство гетерологичности).


Двойного отрицания

закон




двойное отрицание высказывания равнозначно его утверждению.

Дедукция



тип умозаключения, в котором между посылками и заключением существует отношение логического следования.


Деление







мереологическое



мысленное членение предмета на части.


таксономическое



переход от данного понятия к некоторой системе непустых понятий, каждое из которых является видовым по отношению к исходному.


дихотомическое



по наличию/отсутствию некоторого фиксированного признака.


по видоизменению

основания




на основании варьируемых характеристик элементов объема делимого понятия.

Де Моргана законы




отрицание конъюнкции равнозначно дизъюнкции двух отрицаний (и наоборот).


Дефиниендум



определяемая часть в определении.


Дефиниенс



определяющая часть в определении.


Дефиниция



конструкция вида «А равнозначно В», при помощи которого производятся явные определения.


Дизъюнкт



одно из двух суждений, входящих в состав дизъюнктивного суждения.

Дизъюнкция








слабая



пропозициональная связка, соединяющая два высказывания таким образом, что полученное в результате сложное высказывание будет истинным, если и только если истинно хотя бы одно из исходных высказываний.


строгая



пропозициональная связка, соединяющая два высказывания таким образом, что полученное в результате сложное высказывание будет истинным, если и только если истинно ровно одно из исходных высказываний.


Дилемма



умозаключение, состоящее из двух импликативных и одной дизъюнктивной посылки, дизъюнкты которой совпадают с антецедентами или с отрицаниями консеквентов этих двух импликаций.


простая



дилемма, заключение которой не содержит дизъюнкции


сложная



дилемма, заключение которой представляет собой дизъюнктивное высказывание.


конструктивная



дилемма, заключение которой не содержит отрицания.


деструктивная



дилемма, заключение которой содержит отрицание.


Дополнение



теоретико-множественная (одноместная) операция, результат которой представляет собой множество предметов, не входящих в исходный класс. Аналог пропозиционального отрицания.


Дополнительность



отношение между двумя непустыми понятиями, при котором они имеют общие элементы объема, в сумме исчерпывают универсум, но не включаются друг в друга.


Достаточное условие




Событие А называется достаточным условием для события В, если В наступает всегда, когда происходит А.



Достаточного основания принцип



методологическое требование, согласно которому всякое принимаемое утверждение должно быть чем-то обосновано с логической точки зрения.


Дунса Скота закон




из заведомо ложного высказывания вытекает любое высказывание.


Единственного сходства

метод




способ установления причинной зависимости, основанный на выявлении единственного достаточного условия исследуемого явления.


Единственного различия

метод




способ установления причинной зависимости, основанный на выявлении единственного необходимого условия исследуемого явления.


Заключение



(умозаключения) высказывание, представляющее собой результат процедуры рассуждения (вывод).


Замкнутость

семантическая



свойство языка, позволяющее описывать семантические свойства его выражений (истинность, осмысленность, определимость и т.п.) в нем же самом, делающее его метаязыком по отношению к самому себе.

  1   2   3   4

Похожие:

К. А. Михайлов, В. В. Горбатов. Краткий глоссарий по логике iconК. А. Михайлов. К вопросу о соотношении логики и психологии, психологизма и антипсихологизма в логике
В таких дисциплинах, как языкознание (грамматика, орфография, пунктуация и т д.), юриспруденция, этика некоторые положения носят...
К. А. Михайлов, В. В. Горбатов. Краткий глоссарий по логике iconК. А. Михайлов к вопросу о границах применимости закона исключенного третьего
Таким образом, на этом примере можно проследить важнейшую связь логики и онтологии и указать важный «философский выход» логической...
К. А. Михайлов, В. В. Горбатов. Краткий глоссарий по логике icon          Коррупция  глоссарий международных стандартов  
Коррупция: глоссарий международных стандартов В области уголовного права - isbn 9789264032491 - © oecd 2007 
К. А. Михайлов, В. В. Горбатов. Краткий глоссарий по логике iconА. С. Пушкина Кафедра философии тематический глоссарий по философии для студентов всех специальностей университета дневной и заочной форм обучения Брест 2010
Тематический глоссарий по философии: для студентов всех специальностей университета / сост. А. В. Климович, Л. В. Перевалова, В....
К. А. Михайлов, В. В. Горбатов. Краткий глоссарий по логике iconКонтрольная работа по Классической логике  1 курс з/о  ст. викл., к. філос н., Готинян В. В. 
Особенности  формы абстрактного мышления. Логическая форма суждений: А, I, Е, О. 
К. А. Михайлов, В. В. Горбатов. Краткий глоссарий по логике iconПояснительная записка к курсовому проекту на тему «Нормальные формы в математической логике»
Сценарий имитационного или мультимедиа-компонента учебного назначения
К. А. Михайлов, В. В. Горбатов. Краткий глоссарий по логике iconФактори експериментальної еволюції організмів: 
Нану; Михайлов В. Г.— д-р с г. наук, чл кор. Наану; Моргун В. В.— д-р біол. наук
К. А. Михайлов, В. В. Горбатов. Краткий глоссарий по логике iconКонспект лекций для студентов физико-технического факультета                                                        Харьков-2005      Литература    Зорич  «Математический анализ»
Объектом  и  средством  исследования  в  математической  логике  является  теория 
К. А. Михайлов, В. В. Горбатов. Краткий глоссарий по логике iconПрограмма по Сотрудничеству ебрр 
Эквиваленты иностранной валюты/Измерения/Глоссарий/ Аббревиатуры  iii 
К. А. Михайлов, В. В. Горбатов. Краткий глоссарий по логике iconКраткий обзор кипрского налогообложения  процентов, дивидендов И прибыли ОТ продажи  ценных бумаг 

Разместите кнопку на своём сайте:
zakon.znate.ru


База данных защищена авторским правом ©zakon.znate.ru 2012
обратиться к администрации
Zakon
Главная страница