Формальная и диалектическая логика

Автор работы: Пользователь скрыл имя, 13 Апреля 2014 в 18:57, контрольная работа

Краткое описание

Логика – наука о закономерностях правильного мышления. Однако этот термин мы применяем и тогда, когда говорим о закономерностях объективного мира (логика вещей), и когда характеризуем особенности последовательного поведения, свойственного определенному человеку и соответствующего его характеру, психологическим особенностям, типу нервной системы и т.д. (логика поведения). Наконец, о логике говорят применительно к самому мышлению, его последовательности, непротиворечивости, доказательности. Как видим, термин «логика» многозначен. Это не случайно. В переводе с древнегреческого logos означает слово, мысль, речь, разум, закономерность (проверить).

Вложенные файлы: 1 файл

логика 2 вариант.docx

— 83.55 Кб (Скачать файл)

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

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

 

 

 

ЗАКОНЫ МЫШЛЕНИЯ (ЗАКОНЫ ЛОГИКИ) - объективные принципы или правила мышления, соблюдение которых всегда приводит рассуждение (независимо от его содержания) к истинным выводам при условии истинности исходных суждений.

 

ИМПЛИКАЦИЯ - бинарная логическая связка, по своему применению приближенная к союзам «если... то...». Импликация записывается как посылка следствие; применяются также стрелки другой формы и направленные в другую сторону (остриё всегда указывает на следствие). Суждение, выражаемое импликацией, выражается также следующими способами:

Посылка является условием, достаточным для выполнения следствия;

Следствие является условием, необходимым для истинности посылки.

 

ИНДУКЦИЯ - это схема рассуждения, в которой мысль движется от частного к общему, от знания, меньшей степени общности к знанию большей степени общности, от фактов к теории. Выводы из такого хода рассуждений носят вероятностный характер. В истории логики было разное отношение к индукции: от полного отрицания ее значимости до провозглашения основным средством познания. Истина как всегда посередине, и в конце концов индукция прочно заняла свою нишу среди схем нашего мышления, достоинства и недостатки которого необходимо знать каждому.

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

 

КВАДРАТ ЛОГИЧЕСКИЙ - Квадрат логический (квадрат противоположностей) был предложен Михаилом Пселлом (11 в.). Служит в качестве мнемонического приема для запоминания отношений между четырьмя основными  видами суждений аристотелевской логики. Имеет вид диаграммы, на которой наглядно показаны эти отношения. Буквы А, В, I, О символизируют соответственно общеутвердительное, общеотрицательное, частноутвердительное и частноотрицательное суждения.

 

КВАНТОР- указывает, относится ли суждение ко всему объему понятия, выражающего субъект, или к его части.

 

КОНТРАДИКТОРНОСТЬ - 1. Логическое отношение между понятиями, одно из которых является отрицанием другого и между которыми не может быть третьего, среднего варианта. 2. Логическое отношение между двумя простыми сравнимыми суждениями, которые не могут быть одновременно истинными и не могут быть одновременно ложными: истинность одного из них с необходимостью означает ложность другого, и наоборот

 

 КОНТРАРНОСТЬ (противоположность) —логическое  отношение  между двумя простыми сравнимыми суждениями, которое исключает их одновременную истинность, но не исключает одновременную ложность. Также может употребляться по отношению к взаимоисключающим понятиям, которые, однако, обладают общим гиперонимом.

 

КОНЪЮНКЦИЯ  —  (от лат. cojuctio союз, связь), в широком смысле сложное высказывание, образованное с помощью союза и

 

ЛОГИКА АРИСТОТЕЛЯ (АРИСТОТЕЛЕВСКАЯ, ФОРМАЛЬНАЯ, ТРАДИЦИОННАЯ, ДВУЗНАЧНАЯ) - это наука о формах и законах правильного мышления. Появилась приблизительно в V в. до н. э. в Древней Греции и до сих пор сохраняет свое практическое значение, как и геометрия Евклида.

 МОДУС ПРОСТОГО СИЛЛОГИЗМА - набор простых суждений, входящих в силлогизм. Модус простого силлогизма составляет три суждения. Например, в силлогизме:

Все небесные тела движутся.

Все планеты — это небесные тела.

Все планеты движутся.

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

Силлогизм: 

Все журналы периодические издания.

Все книги не являются периодическими изданиями.

Все книги не являются журналами, имеет модус АЕЕ.

 Силлогизм:

Все углероды простые тела.

Все углероды электропроводны.

Некоторые электропроводники — простые тела, имеет модус AAI. Всего модусов во всех четырех фигурах, то есть возможных комбинаций простых суждений в силлогизме, — 256. В каждой фигуре 64 модуса. Однако из всех этих 256 модусов только 19 дают  достоверные выводы, остальные приводят к вероятностным выводам. Если принять во внимание, что одним из главных признаков дедукции (а значит, и силлогизма) является достоверность ее выводов, то становится понятным, почему эти 19 модусов называются правильными, а остальные — неправильными

 

 

 

 ОПРЕДЕЛЕНИЕ ПОНЯТИЯ  - это логическая операция раскрытия его содержания. Определение связано с указанием на существенные признаки понятия. Они никогда не лежат на поверхности, поэтому дать полное определение - задача довольно сложная, хотя и не невозможная. В любом случае эта операция крайне необходима. Фактически с нее начинается наша попытка изучить какое-то явление на рациональном уровне. И заканчивается тоже определением, но уже более глубоким и точным.

 

ПОЛИСИЛЛОГИЗМ - умозаключение (рассуждение), представляющее собой конечную последовательность («цепочку») Силлогизмов, которая удовлетворяет некоторым определённым условиям. Важнейшее из этих условий состоит в том, что заключения предшествующих силлогизмов последовательности (т. н. просиллогизмов) служат посылками последующих силлогизмов (эписиллогизмов). П., каждому эписиллогизму которого предшествует лишь один просиллогизм, называют линейным, а «разветвленный» П., эписиллогизмам которого предшествуют по два просиллогизма, называется каскадным

 

ПОНЯТИЕ- форма мышления, отражающая предметы в их существенных признаках. Именно существенные признаки дают представление о природе предмета, раскрытие сущности - задача познания. Помимо существенных, у любого предмета (явления) есть множество других признаков, в том числе и чисто внешних, случайных, не выражающих и даже затемняющих сущность.

 

ПОСЫЛКА - в логике - суждения, из которых в умозаключении следует новое суждение (заключение). В зависимости от вида умозаключения П. могут быть самые различные суждения и их сочетания. Для того чтобы вывод умозаключения был истинным, необходимо, чтобы истинными были П. и чтобы они были логически правильно соединены в умозаключении.

 

ПРЕДИКАТ (лат. praedicatum — заявленное, упомянутое, сказанное) — любое математическое высказывание, в котором есть, по меньшей мере одна переменная. Предикат является основным объектом изучения логики первого порядка.

 

СИЛЛОГИЗМ- одна из форм дедуктивного умозаключения в формальной логике, когда из двух данных суждений (посылок) вытекает третье (заключение), например, все люди (М) - существа, обладающие разумом (Р), Иван (S) - человек (М), следовательно, Иван (S) - обладает разумом (Р). Суждения, содержащие термин, который не входит в заключение (средний термин, в нашем примере обозначенный М), являются посылками силлогизма. Посылка, содержащая в себе предикат заключения (больший термин, Р), называется большей посылкой и посылка, которая содержит субъект заключения (меньший термин, S), называется меньшей посылкой.

 

СОРИТ - (греч., от - куча), вид сложносокращённого силлогизма, представляющий собой цепь силлогизмов, в которой опущены определённые посылки. Существуют два вида С.: (1) когда опускаются меныше посылки силлогизмов и умозаключение идёт от подчиненного понятия к подчиняющему (аристотелевский С.); (2) когда опускаются большее посылки и умозаключение идёт от подчиняющего понятия к подчинённому (гоклениевский С.).

 

СОФИЗМ - преднамеренные нарушения логических законов для внешне правильного доказательства ложных мыслей.

 

СУБКОНТРАРНОСТЬ- (частичное совпадение) - логическое отношение между двумя простыми сравнимыми суждениями, в которых объемы субъектов частные, а связки противоположны друг другу.

 

СУБЪЕКТ- подлежащее суждения, предмет, о котором что-либо утверждается или отрицается.

Субъект (философия) — носитель действия, тот, кто (или то, что) познаёт, мыслит или действует, в отличие от объекта (как того, на что направлены мысль или действие субъекта).

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

Субъект (грамматика) — подлежащее, семантическая категория со значением производителя действия или носителя состояния.

Субъект права — лицо, физическое или юридическое, которому принадлежат те или иные права и обязанности. Субъект преступления — лицо, совершившее преступление и способное нести за него ответственность.

Субъект (медицина) — человек как носитель каких-нибудь свойств (например болезненный субъект).

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

 

СУЖДЕНИЕ- форма мышления, в которой что-либо утверждается или отрицается о предмете, его свойствах или отношениях между предметами. Виды суждений и отношения между ними изучаются в философской логике.

УМОЗАКЛЮЧЕНИЕ (лат. conclusio) — процесс рассуждения, в ходе которого осуществляется переход от некоторых исходных суждений (предпосылок) к новым суждениям — заключениям. Правила преобразования исходной системы предпосылок в систему заключений называются правилами вывода или правилами проведения умозаключений. Если вид посылок и заключений указан явно, то вывод называется прямым. Если в посылках и заключении указаны лишь виды выводов, от одного из которых разрешается переходить к другому, то вывод называют косвенным.

 

ФИГУРА ПРОСТОГО СИЛЛОГИЗМА- рассуждение, состоящее из трёх простых атрибутивных высказываний: двух посылок и одного заключения. Посылки силлогизма разделяются на большую (которая содержит предикат заключения) и меньшую (которая содержит субъект заключения). По положению среднего термина силлогизмы делятся на фигуры, а последние по логической форме посылок и заключения — на модусы.

 

ЭКВИВАЛЕНЦИЯ- это логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание, являющееся истинным тогда и только тогда, когда оба исходных высказывания одновременно истинны или одновременно ложны.

 

ЭНТИМЕМА- (от греч. in thymos Ч в уме) аЧ 1) рассуждение, доказательство, в котором некоторые посылки либо заключение не формулируются в явной форме, но подразумеваются; 2) силлогизм, в котором не выражена в явной форме к.-л. его часть: большая или меньшая посылка либо заключение.

 

ЭПИХЕЙРЕМА- (от греч. epiheirema — умозаключение) — сокращенный силлогизм, в котором обе посылки представляют собой энтимемы. Примером Э. может быть следующее рассуждение. Ложь заслуживает презрения, т. к. она безнравственна. Лесть есть ложь, т. к. она есть умышленное  извращение истины. Лесть заслуживает презрения

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Список использованных источников.

 

  1. Гетманова А.Д. Логика. М., 2009.
  2. Гетманова АД. Словарь и задачник по логика. М., 2008.
  3. Гетманова А.Д. Учебник по логике. М., 2001.
  4. Гетманова Л.Д., Панов М.И., Уемов А.И., Никифоров А.Л.,

Логика: Учебное пособие для учащихся 10-11классов. М.,2005.

  1. Ивлев Ю.В. Логика. М., 2002.
  2. Кириллов В.И., Старченко А.А. Логика. М, 2002.
  3. Мельников А.Н. Сборник задач по логике. Киев, 2006.
  4. Светлов В.А. Практическая логика. С.-Петербург, 2005.

 


Информация о работе Формальная и диалектическая логика