Есипова Л. В. Логика



Скачать 413.83 Kb.
страница1/3
Дата01.02.2013
Размер413.83 Kb.
ТипДокументы
  1   2   3
Есипова Л.В. Логика

http://studentam-esipova.narod.ru/index.html

Предмет и цель логики
Предметом формальной (традиционной) логики являются законы и формы правильного мышления.

Предмет формальной логики составляют:

1. Формы мыслительного процесса - понятие, суждение, умозаключение, гипотеза, доказательство и др.;

2. Формально-логические законы, которым подчиняется абстрактное мышление в процессе познания объективного мира и самого мышления;

3. Методы получения нового выводного знания - сходства, различия, сопутствующих изменении, остатков и др.;

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

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

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

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

3. Логическая форма и логическое содержание мысли.

В различных по содержанию мыслях можно обнаружить нечто существенно общее. Оно характеризуется не только конкретным содержанием этих мыслей, но и типичностью, способом построения. При этом все содержательное многообразие укладывается в сравнительно небольшое число мыслительных форм. Дело в том, что логический строй мышления человека обладает очень важным свойством - какую бы словесную оболочку ни принимали наши мысли, на каком бы языке ни излагались, они обязательно должны принять общечеловеческие формы. Без этого невозможно осуществить обмен мыслями людей разных поколений и профессий, а также взаимное понимание представителей стран и народов.

Исследование логических форм безотносительно к их конкретному содержанию и составляет важнейшую задачу науки логики. Отсюда и ее название - формальная.

Выделяют три логические формы или формы мышления:

1. Понятие.

2. Суждение

3. Умозаключение

Формы мышления (логические формы) – это строение мысли, т.е. способ связи её составных частей.
В понятии – это связь существенных признаков, в суждении – связь понятий, в умозаключении – связь суждений; а так же способ связи содержательных частей рассуждения (доказательства, вывода и т. п.). В соответствии с основным принципом логики, правильность рассуждения зависит только от его формы и не зависит от его конкретного содержания. Само название "формальная логика" подчеркивает, что эта логика интересуется только формой рассуждения. В реальном процессе мышления содержание и форма мысли существуют в неразрывном единстве. Нет «чистого», лишенного формы содержания, нет «чистых», бессодержательных логических форм.

Принципы формальной логики

Мышление человека подчинено логическим законам, или законам мышления.

Любой закон – это связь. Логически закон – это связь между мыслями. Но не всякая связь закономерна, а только такая, которая имеет:


    1. вытекающие из природы объекта
      необходимость

    2. существенность

Отсюда следует: Закон мышления (логический закон) - это существенные необходимые связи между мыслями.

Выделяют четыре закона мышления, которые иногда называются принципами формальной логик, это:

1. Закон тождества

2. Закон не противоречия

3. Закон исключённого третьего

4. Закон достаточного основания.

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

1. Закон тождества – делает мышление определённым.

«Всякая мысль в процессе рассуждения должна быть тождественна самой себе». Это означает, что любое понятие, суждение, мысль должны иметь одно содержание на всём протяжении мысли.

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

3. Закон исключённого третьего. Он уточняет закон непротиворечия и действует в противоречивых суждениях.

«Из двух противоречивых суждений одно истинно, другое ложно. А третьего не дано». Т.е. из двух отрицающих суждений одно непременно истинно.

4. Закон достаточного основания запрещает что-либо принимать не веру.

«Всякая мысль истина, если имеет достаточное основание». Мысль признаётся истинной, если она достаточно обоснована. Только истинную мысль можно обосновать.

В качестве обоснования используют:

А) Личный опыт человека;

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

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

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

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

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

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

ЛОГИЧЕСКАЯ ГРАММАТИКА

Формализованный язык логики существует в двух вариантах:

  • язык логики предикатов

  • язык логики высказываний.

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

Логику предикатов рассматривают через теорию семантических категорий.

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

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

Примеры: Возьмём высказывания: ``Сократ - человек'', ``Платон - человек''. Оба эти высказывания выражают свойство ``быть человеком''. Таким образом, мы можем рассматривать предикат ``быть человеком'' и говорить, что он выполняется для Сократа и Платона.

Выражения (слова и словосочетания) естественного языка, имеющие какой-либо самостоятельный смысл, можно разбить на так называемые семантические категории. Семантические категории – класс выражений с однотипными предметными значениями, при этом включающий все выражения с предметными значениями данного типа.
К семантическим категориям относятся:

1) предложения: повествовательные, побудительные, вопросительные;

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

К дескриптивным (описательным) семантическим категориям языка относятся: имена (знаки предметов), nредикаторы (знаки свойств и отношений), функциональные знаки.

1. Имена - это слова или словосочетания, обозначающие какой-либо предмет.

Различают простые имена, состоящие из одного слова, например: «книга», «воробей», «песня»; сложные имена, которые состоят из двух слов, например: «город-герой», И описательные имена, состоящие из частей, имеющих самостоятельный смысл, например: «самая высокая горная вершина». Единичное имя обозначает один предмет и представлено в языке именем собственным, например: «А.П. Чехов», или представлено описательно. Общее имя обозначает класс однородных предметов и в языке представлено именем нарицательным, например «закон», или дается описательно, например«действующий вулкан».

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

А) Знаки свойств – характеристики отдельных предметов ( синий, горький, пьяный, шумный).

Б) Знаки отношений - связь между двумя и более предметами (больше чем, брат, красивее чем)

В) Знаки признаки - указывают на наличие или отсутствие характеристик предмета (являться больным, не являться умным).

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

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

Двухместными предикаторами являются, например, «больше», «любить», «мать» и т. д., «Диаметр Венеры больше диаметра Меркурия».

Трехместный предикатор: «Город Волгоград находится между городами Саратов и Астрахань».

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

К примеру "Солнце" – это имя, "Солнце греет" – предложение. Слово "есть" – функтор, образующий предложение из двух других предложений и т.д.

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

Логические термины - это термины, относящиеся к логической форме мысли и не имеющие самостоятельного содержания. Они ничего не обозначают и ничего не описывают. В русском языке имеются слова и словосочетания, которые являются такими терминами: «есть», «суть». «не», «неверно, что», «все», «если и только если», «некоторые», «ни один», «или» И т. п.
ЯЗЫК ЛОГИКИ ПРЕДИКАТОВ.

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

Этот алфавит отражает семантические категории естественного языка и включает следующие виды знаков (символов):

1) a, b, c, … - символы для единичных имен предметов; их называют предметными постоянными (константами);

2) x, y, z, ... - символы общих имен предметов; их называют предметными переменными;

3) P1 , Q1 , R1 , ...; P2 , Q2 , R2 , ...; Pn , Qn , Rn - символы для предикаторов,

  • верхние индексы указывают на местность предикатора, 1 - одноместный, 2 - двухместный, n - n-местный. Их называют предикатными переменными;

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

4) p , q , r - символы для высказываний, которые называют высказывательными, или пропозиционными переменными (от лат. propositio - 'высказывание');

5)  - символы для кванторов, " - квантор общности, он символизирует выражения: все, каждый, всякий, всегда и т.п.  - квантор существования, он символизирует выражения: некоторый, иногда, бывает, встречается, существует и т. п.;

6) Знаки предметных функций (предметные функторы): f1, f2, …

7) логические связки:

 - конъюнкция (соединительное "и");

V - дизъюнкция (разделительное "или");

 - импликация ("если..., то...");

 - эквивалентность (если и только если..., то...");

 - отрицание ("неверно, что...");

7) технические знаки: (;) - левая и правая скобки.

Других знаков, кроме перечисленных, алфавит языка логики предикатов не включает.

Для буквенных обозначений видов суждений берутся гласные из латинских слов AffIrmo - 'утверждаю' и nEgO - 'отрицаю', сами суждения иногда записывают так: SaP, SiP, SeP, SoP.

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

«Некто красив» можно записать х.

«Каждый знает кого нибудь.» хyR (R- предикатор «знает»)
Логика высказываний - это логика повествовательных предложений, т. е. прежде всего суждений, позволяющая с помощью искусственного языка выразить их логическую структуру. В данном разделе исследуется формальное употребление логических связок "и", "или", "не", "если, то" и т. п., служащих для образования сложных высказываний из простых.

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

В основе алфавита языка логики высказываний лежит множество формул, выражающие элементарные высказывания.

Язык логики высказываний включает бесконечное множество переменных: р, q, r,..., p1, q1, r1, ..., представляющих высказывания, и особые символы для логических связок :  — конъюнкция («и»), v - дизъюнкция («или»), ~ - отрицание («не» или «неверно, что»), -> — импликация («если, то»). Роль знаков препинания обычного языка играют скобки.

В логике высказываний фразы естественного языка переводятся на язык логики высказываний. Выглядит это следующим образом: Во фразе выделяют части, соединенные логическими союзами, эти части обозначают буквами и соединяют этими союзами. Формулам логики высказываний, образованным из переменных и связок, в естественном языке соответствуют предложения.

Пример.

Если завтра будет выходной и занятия постановлением ректора не будут перенесены на воскресенье, то студенты ОрёлГТУ завтра не будут учиться.

(р ^ q) -> r

Если р есть высказывание «Сейчас ночь», q — высказывание «Сейчас темно» и r — высказывание «Сейчас ветрено», то формула (p->(qvr)) представляет высказывание «Если сейчас ночь, то сейчас темно или ветрено».
Понятие как форма мышления.

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

Признаки:

А) СУЩЕСТВЕННЫЕ – такие, которые наиболее присуще предмету, вытекают из его природы, с утратой данных признаков предмет перестает быть собой и становится качественно другим.

Б) НЕСУЩЕСТВЕННЫЕ – которым может обладать или не обладать предмет.

Пример: преступление. Существенные признаки : общественно-опасный характер деяния, противоправность, виновность, наказуемость.

Задание

Найти существенные признаки понятия Дерево, Пальто, Мяч, Аквариум, Крем.
Элементы понятия:

А) содержание – совокупность существенных признаков,

Б) объём – совокупность предметов, которые отражаются в данном понятии.
Объём графически изображается кругом :
Закон обратного отношения между понятием и объёмом: « с увеличением содержания понятия его объём уменьшается и наоборот».

Например : Береза – богаче по содержанию, дерево – по объему.

Операция ограничения или обобщения понятий.

Ограничить понятие - значит уменьшить его объём, т.е. перейти от понятия с большим объёмом к понятию с меньшим объёмом; содержание при этом увеличивается.

Мяч – футбольный мяч.

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

Обобщить понятие – значит увеличить его объём, т.е. перейти от понятия с меньшим объемом к понятию с большим объёмом; содержание уменьшатся.

Орёл – город, октябрь – месяц.

Отношения между понятиями.

Понятия находятся а разном отношении друг к другу.

Понятия

Сравнимые

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

Несравнимы

Понятия не имеют общих признаков поэтому их нельзя сопоставить друг с другом

Совместимые

Понятия и объёмы которых совпадают (частично или полностью)

3 вида совместимости

1. Равнозначность:

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

Пример:

А - лёд

В – замёрзшая вода

2. Пересечение

пересекающиеся понятия – понятия, объёмы которых частично совпадают а содержание различно

Пример:

А - студент

В – водитель

3. Подчинение

Одно из понятий полностью входит в объём другого (это родо-видовые отношения)

Пример:

А - вишня

В – дерево

Несовместимые

Объём понятий не совпадает ни полностью, ни частично.

3 вида отношений

1. Соподчинение:

соподчиненными называются такие понятия, которые в подчинение одному общему понятию

А – дерево

(общее понятие)




В - вишня

С - слива

D - дуб

2. Противоположность

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



3. Противоречие

понятия исключают

друг друга

Пример: А - белый

В – не-белый.






Операция определения понятия.

Определение – логическая операция в которой раскрывается содержание понятия.

Виды определения:

Реальные раскрывают существенные признаки предмета

Номенальные

Раскрывают значение термина

Квадрат ЭТО

Квадратом НАЗЫВАЕТСЯ


Определения

Явные

Указывют присущие признаки предмета

Определение состоит из 2 понятий

А) определяемое, то которое надо определить

Б) определяющее через которое определяют


Неявные

Понятия раскрываются чрез отношения определяемого понятия к другому понятию, часто ему противоположному
Напр. Свобода – осознанная необходимость.


Определение через указание родо-видового отличия.

2 этапа.

1. понятия подводят под другое более широкое по объёму понятие

2. Указывают видовое отличие , т.е. признак отличающий данный предмет от других предметов того же рода
Деление понятия.

Деление – логическая операция, раскрывающая объём понятия.

Части операции деления:

  1. делимое понятие, то понятие, объём которого нужно раскрыть

  2. Элементы деления, те понятия которые получаем в результате деления

  3. Основание – признак по которому делим.



А – делимое понятие: человек

Основание деления – пол.

В.С. Эл. деления Мужчины, женщины.


Правила деления:

  1. Деление должно быть соизмеримым, т.е. объём видовых понятий должен быть равен объёму делимого понятия.

Ошибки:

А) неполное деление:

перечисляются не все виды родового понятия

энергия: механическая и химическая – узко.

Б) деление слишком широкое – добавляются видовые понятия не входящие в данный род.

Химические элементы: металлы, неметаллы, сплавы.

  1. Деление должно производиться по одному основанию.

Рабочий: слесарь, кузнец

Рабочий : слесарь, партийный – не правильно

3. Элементы деления должны исключать друг друга, т.е не должны иметь общих частей, а должны быть соподчинёнными понятиями.






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

Признаки суждения:

1 Что-то утверждается или отрицается,

2. суждение истинно или ложно.

Суждением называется форма мышления в которой что-либо отрицается или утверждается и которая выражает истину или ложь.

Структура суждения:

  1. Субъект Суждения (S) – это понятие о предмете суждения

  2. предикат суждения (P) – понятие о признаках предмета

  3. связка «-»( обозначается как тире) – элемент суждения, соединяющий субъект и предикат. В рус. Языке это слова есть, является в утвердительном; не есть не является в отрицательном.

Виды простых суждений в зависимости от того, что утверждается или отрицается:

1. Суждения свойства (атрибутивные)

2. суждения отношения (релятивные).

3. Суждения существования (или экзистенциальные), в них утверждается, что что-либо существует или не существует.

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

Человек не бессмертен.

Яблоко красное.

Формула: S есть Р. : S не есть Р.

  1. В релятивном суждении отражаются связи между предметами: пространственные, временные, родственные, следственно-причиные.

Г.Орёл южнее Москвы.

Гоголь – современник Пушкина.

Нет дыма без огня.

Формула: aRb.

  1. Суждения существования – отрицается или утверждается существование действительности.

Атомы существуют.

В мире нет беспричинных явлений.

Разновидностью атрибутивных суждений являются категорические суждения– в них речь идёт о принадлежности или непринадлежности признаков предмета в абсолютной форме. Кит не есть рыба.

Виды категорических суждений.

Категорические суждения делятся по качеству и количеству.

1. По качеству.А) утвердительные – в которых отображается связь предмета и его признаков.

Ю. Гагарин – первый космонавт.

Б) Отрицательное – выражает отсутствие у предмета некоторого признака.

Вселенная не имеет границ.

2. По количеству.

А) единичные суждения – в которых что-либо утверждается или отрицается об одном предмете.

Этот человек – рабочий.

Этот гриб не съедобен.

Формула:

Это S есть Р.

Это S не есть Р.

Б) частные - в которых что-либо утверждается или отрицается о части предметов данного вида. Употребляются слова: часть, существуют, большинство, некоторые, многие….

Формула:

Некоторые S есть Р.

НекоторыеS не есть Р.

Некоторые школьники – спортсмены.

В) общие - в которых что-либо утверждается или отрицается обо всех предметах данного класса

Все люди – братья.

Все S есть Р.

Ни одно S не есть Р.
Объединённая классификация.

1 тип – А – Общеутвердительные (общее по количеству и утвердительное по качеству).

Все рыбы живут в воде.

Все S есть Р.

2 тип – I – частноутвердительные (частное по количеству и утвердительное по качеству)

Некоторые S есть Р.

Некоторые кошки – чёрные.

3 тип – Е - общеотрицательные (общие по количеству и отрицательные по качеству).

Ни одно S не есть Р.

Ни один мужчина не может родить ребёнка.

4 тип – О – частно-отрицательные (частные по количеству и отрицательные по качеству)

Некоторые S не есть Р.

Некоторые люди не умеют петь
Логические отношения между суждениями.

Отношения между суждениями – это мысленное отображение отношений между предметами.

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

Суждения делятся на:

Сравнимые с общим содержанием, общим субъектом и предикатом.

Несравнимые не совпадают по смыслу, у них разные субъект и предикат.

Сравнимые

Совместимые

Суждения одновременно могут быть истинными:

  1. Полная совместимость (эквивалентность)

  2. Частичная совместимость (субконтрарность)

  3. Подчинение

Несовместимые

Суждения одновременно не могут быть истинными

  1. Противоположность

  2. противоречие

Эти отношения принято изображать в виде схемы – так называемого «логического квадрата». Буквы «А», «Е», «I», «О», помещенные в углах квадрата, обозначают виды суждений, а стороны и диагонали – возможные отношения между суждениями.



Совместимые отношения.

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

Юрий Гагарин – первый космонавт.

Юрий Гагарин полетел в космос.

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

Некоторые грибы ядовиты.

Некоторые грибы не ядовиты.

3. Отношения подчинения возникает, когда при истинности одного суждения подчиняющее другое, подчинённое всегда будет истинным. В таких отношениях находятся общеутвердительные и частноотрицательные (A – I), частноутвердительные и общеотрицательные (E - O) .

Для них характерно:

А) При истинности общего суждения – частное истинно;

В) если частное ложно, то и общее ложно;

С) при ложности общего частное неопределено и наоборот;

D) при истинности частного общее неопределено.
Несовместимые отношения.

1. Противоположные (контрарные) суждения – это суждения, которые не могут быть одновременно истинными, но могут быть одновременно ложными. В отношении противоположности находятся А и Е.

* Если одно ложно, то другое неопределено.

2. Противоречащими (контрадикторными) суждениями являются суждения, которые не могут быть одноврененно ни истинными, ни ложными. Если одно ложно, то другое истинное.

В этих отношениях находятся А и О, Е и I.
Распределённость терминов в суждении.

Термины суждения – это S и Р, и каждый из них является понятием. Поэтому термины можно рассматривать со стороны их объёма. Отношения между объёмами терминов называются распределением терминов в суждении.

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

Распределённость показывается знаком +: распределённые S и Р, записываются как S+ и Р+. Нераспределённость показывается знаком -: нераспределённые S и Р, записываются как S- и Р-.

Например: Все студенты нашей группы – спортсмены.

S «студенты нашей группы» распределён, т.к. в суждении говорится обо всех студентах нашей группы.

Р «спортсмены» - не распределено, т.к. кроме спортсменов нашей группы есть много других спортсменов, в другой группе, в стране вообще.

Термин распределён, если его объём полностью входит в объем другого термина или полностью исключается из него, то есть в суждении говорится обо всех предметах, охватываемых данным термином.

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

А (общеутвердительное) - Все S есть P два случая:

1. S подчинён P: S+ P-

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

«Карась – рыба: все караси – рыбы, но не все рыбы – караси».

2. S и P равнозначны: S+ P+

В выделяющих суждениях, в которых объем субъекта и предиката совпадают. Например, «Все люди суть разумные существа» или «Александр Сергеевич Пушкин – автор романа “Евгений Онегин”».

I (частноутвердительное) - Некоторые S есть P два случая:

1. S и P перекрещивающиеся понятия, S- P-

В этом случае ни субъект, ни предикат не распределены, так как они мыслятся не в полном объеме. Например, «Некоторые юристы являются депутатами Гос. Думы».

2. P починяется S: S- P+

Такое подчинение характерно для частновыделяющих суждений, в которых предикат мыслится в полном объеме и, следовательно, он распределен. Например, «Некоторые прямоугольники являются квадратами».

Е (общеотрицательное) - Ни одно S не есть P. Объём S и объём P полностью исключают друг друга: S+ P+. И субъект, и предикат являются распределенными, поскольку их объемы полностью исключают друг друга.

Например, «Ни один крокодил не летает».

О (частноотрицательное) - Некоторые S не есть P.

  1   2   3

Похожие:

Есипова Л. В. Логика iconПрограмма вступительного экзамена по специальности для поступающих в магистратуру по специальности
Логическое учение Античности. Логика Аристотеля. Учение о суждениях. Теория силлогизма. Логика стоиков, эпикурейцев и скептиков....
Есипова Л. В. Логика iconМатематическая логика
Основными разделами математической логики является: логика высказываний, логика предикатов, металогика
Есипова Л. В. Логика iconРабочей программы «Математическая логика» Дисциплина ( В. Од. 1) «Математическая логика»
В. од. 1 «Математическая логика» является вариативной частью Математического и естественнонаучного цикла подготовки студентов направления...
Есипова Л. В. Логика iconМетодическое пособие по дисциплине "Математическая логика " Екатеринбург 2011 о главление
Слово «Логика» означает систематический метод рассуждений, но обычно под логикой понимают анализ методов рассуждений. Логика – наука...
Есипова Л. В. Логика iconПрограмма по логике. Тема Теоретическая логика: круг проблем
Логика как область философского знания. Логическая практика и теоретическая логика. Основная цель и задачи логического теоретизирования....
Есипова Л. В. Логика iconХхi век и логика: кризис формальной логики и логика неформальная
Ведь вопрос уже стоит о сохранении культурного наследия человечества как такового, раз его фундамент – логика (де-факто культура...
Есипова Л. В. Логика iconЛогика – как наука. История развития логики. Формы человеческого мышления Слово логика
Логика – это наука правильно рассуждать, наука о законах и формах человеческого мышления. Логика, как наука о законах и формах мышления...
Есипова Л. В. Логика iconВопросы А. И. Мигунова к зачету или экзамену по курсу «Логика [Часть Формальная логика]»

Есипова Л. В. Логика iconЛогика речи Логика – наука о мышлении (логос по-гречески – ‘понятие’). Логика речи, зародившись в Древней Греции и в Древнем Риме
Логика – наука о мышлении (логос по-гречески – ‘понятие’). Логика речи, зародившись в Древней Греции и в Древнем Риме, как самостоятельная...
Есипова Л. В. Логика iconЛогика «Капитала»
С этим и связано то положение, что логика «Капитала» и есть диалектика как самое полное и глубокое учение о развитии, а диалектика...
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org