Logo GenDocs.ru

Поиск по сайту:  

Загрузка...

Конспекты лекций по логике - файл Конспекты лекций по логике (лектор-Романов П.А.).doc


Конспекты лекций по логике
скачать (170.1 kb.)

Доступные файлы (2):

Конспекты лекций по логике (лектор-Романов П.А.).doc368kb.15.01.2007 13:31скачать
определения по логике.doc70kb.29.12.2007 22:48скачать

содержание

Конспекты лекций по логике (лектор-Романов П.А.).doc

Логика (греч. logos – мысль) – наука о мышлении.

Аристотель (384-322) – создатель науки. I аналитика, II аналитика.

Органон – средство познания. Аристотельская, традиционная логика. XIXв. – матем. Логики.

Логика – наука о формах и законах мышления.

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

3 ф. чувств. познания:

Ощущение – элем. образ предм., одна стор. предм.

Восприятие – целост. чувств. образ предм., сочетание разнокач-х ощущений.

Представление – целост. чувств. образ предм., несвяз-й с непосред-м возд. предмета на наши органы чувств. 1) репродукт. – просто воспин-ся; 2) продукт-е связано с нашей фантазией.

Чувств-е позн-е связано с абстрагированием.

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

^ Абстрак. мышление – опосред-е, обощ-е отраж-е действит-ти.

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

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

  3. умозаключение – ф. мысли, в кот-й из 1 или неск. сужд-й, наз-х посылкой, вывод-ся новое суждеине, наз-е заключ-м или следствием. S – P

Закон – необх. связь м\ду нашими мыслями в процессе рассужд-я ( законы тождества, непротивор-я, исключ-го 3-го, достаточ-го основ-я).

Ни ощущ-е ни пон-е мы не можем расценить как сужд-е.

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

^ Истин-ть и прав-ть не тожд-ны: пример: все звезды – спутники Земли, Марс звезда => Марс – спутник земли.

Логика и язык.

Наше мышление не сущ-т без языка => понятия не сущ-т без слова. Сужд-я не сущ-т без предлож-я. Умозакл-я нельзя построить без сужд-й.

^ Естеств-е и искусств-е языки: естеств-е языки – система знаков, искусств-е языки– языки науки.

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

^ Семантич-е категории естеств. языка – слова и словосоч-я, имеющие самост. знач-е.

  1. предлож-я – повест., побудит., вопросит.

  2. дескриптив-е и логич. термины.

дескриптив-е – имена предметов: прост. и слож., единич. и общие.

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

предикаторы – имена призн. и отношений: 1-местные, 2-х, 3-х и n-местные. (Отец подарил книгу сыну – 3-х мест.)

Логич. термины: логич. переменные и постоянные:

  1. символы единич. имен предм.: A, B, С

2)символы общ. имен предм-в: х, у, z

3) предикаторы P1, Q1, R1, P2, Q2, R2

4)p,q,r-пропозициональные переменные

5),  - кванторы : - сущ-т: квантор сущ-я,  - квантор общности

6) ^ - конъюнкция (и), v, w – дизъюнкция(или), → импликация(если…, то…), Ξ эквиваленция (если и только если …, то…)

7) технич. знаки (;)

Правильно построенные формулы (ППФ)

  1. всякая пропозиц-я переменная есть правильно постр-я формула p,q,r

  2. всякая предик-я переменная есть прав. постр-я форм.

  3. p1(x), p2(xy), p3(xyz) всякая предик. переем-я, взятая с послед-ю перемен-х илиconst, число. кот-е соответ-т мест-ти, есть прав. постр-я форм.

  4. если какая-то переем-я связ-на квантором, то выр-е xP(x), xP(x) есть прав. постр-е форм.

  5. если p,q – прав. постр-е формулы, то выр-е p^q, pvq, pwq, p→q, p Ξq,  p,  q есть прав-но постр-я формула

  6. ничто другое не явл-ся прав. постр-й форм.


ПОНЯТИЕ

Понятие есть ф. мысли, отраж-я существ. призн. предм. или множ-во однор-х предм-в.

Признак – то. в чем предм. сходны или друг от друга отлич-ся

единич. – присущи одному предм.

сущест. – связаны с необх. бытия предм.

несущест. опред-ся случайн-ю

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

неотлич. указ-т на сходство

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

  1. в различ. языках понятие звучит неодинаково

  2. в одном и том же языке не сущ-т тожд-ва слова и понятия (омонимы и синонимы)

  3. полисемия – многозноач-ть слов

Логич. приемы образ-я понятий:

Анализ – мысл. расчлен-е предм. на состав. часть

Абстрагиров-е – отделение существ. от несуществ.

Сравнение – логич. прием, устанав-й сходство и различие предм.

^ Синтез – объедин-е частей предм. в единое целое

Обобщение – распростр-е на весь класс предм-в

Содерж-е и объем понятия

Под содерж-м понимают совокуп-ть существ. призн-в предм. и множ-ва однород-х предм., отраж-х в понятии.

^ Объем – совокуп-ть предм-в, отраж-х в понятии.

Закон обратного отнош-я м\ду объемом и содерж-м понятия: чем шире объем понятия, тем уже его содерж-е, чем шире содерж. понятия, тем уже его объем.

^ Круги Эллера

A - учащийся, Б – студент, С – студент Иванов



Класс (множ-во) – совокуп-ть предметов, облад-х каким-либо общим призн., или удовлет-х какому-либо общему условию. Класс может состоять: подкласс (подмножество), элем. класса (множ-ва).

Множ-во В явл-ся подмнож. множ-ва А тогда и только тогда. когда кажд. элем. В явл-ся элем. А, но не наоборот. ВсА. Элемент множ-ва есть компон. множ-ва, неделимый при дан. способе его рассм-я. Элем. множ-ва есть компон. множ-ва, кот-му присущи все сущест. призн. множ-ва. Элем. множ-ва есть компон. множ-ва, к кот-му относят имя множ-ва. С А.

Множ-во:

универс. 1, единич. , пустые 

универс. мн. – мн-ва, кот-е охват. все предм. данной обл.

единич. мн. – соотв. понятию, в объем кот-го входит только один элемент.

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

^ Виды понятий: понятия подраз-ся по объему и по содерж.

по объему: 1) единич. – соотв. единич. множ-ву (1 элем.), 2) общие – более1 элем. – регистрир-е(закрытые) – элем. поддаются учету (регист.), нерегистрир-е(открытые) – элем. объема учету не поддаются(не регист-ся).

По содерж.:

  1. конкрет\абстрак.- о конкрет. пон-х и соб-х (преступление), о св-вах и отнош-х (любить, ненавидеть)

  2. соотносит. – пон-я, отраж-е предмет или явл-я, друг без друга не существ-е (добро, зло, мужской, женский)

  3. безотносит. – пон-е, отраж-е предм. или явл-е, существ-е самост. (человек, Земля, Вселенная).

  4. положит. – пон-е, в содерж. кот-го представ-н к.-либо призн.

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

^ Собир. пон-я – пон-я, в содерж. кот-х нельзя отнести к кажд. отдельн. элем. объема пон-й, а можно отнести к совокуп-ти элем-в объема. Могут быть единич. и общими. (сервиз, созвездие «Большая медведица»).

Одно и то же пон-е мож. иметь собир. или разделит. смысл: если в содерж. пон-я относ-ся к кажд. отдельн. элем. объема, то смысл разделит-й, а если не относ-ся, то собират-й.

^ Полная логич. харак-ка пон-я:

- опред-ть, какое пон-е:единич. или общее.

- если общее, то регист.\нерегист-е

- конкрет.\абстрак-е

- соотносит.\безотносит.

-положит.\отриц.

- собират.\разделит.

Отношения м\ду пон-ми:

сравним-е\несравним-е

Сравним-е имеют ближ. общ. род, несравним-е не им. ближ. общ. рода.

Отнош-я: 1) отнош-е совмест-ти, 2) отнош-е несовмест-ти.

^ 3 вида отнош-й совмест-ти:

1


. отнош-е тожд-ва, равнообъем-ти: пон-я тожд-ны, если их объемы полн. совпад.

2. отнош-е пересеч-я\перекрещ-я: в отнош-ии пересеч-я наход-ся пон-я, объемы кот-х частич. пересек-ся.



3. Отнош-е подчин-я\суборд-ии: наход-ся пон-я, объем одного из кот-х полн. включен в об. другого, но не исчерп-т его: большее пооб. пон-е – подчиняющее, меньш. по. об. - подчиненное



Несовместимость:

1. отнош-е корд-ии\соподчин-я: в отнош-ии корд-ии не менее 3-х понятий: А-соподчиняющ. пон-е, В,С-соподчинен. пон-я



2. отнош-е противополож-ти\контрарности: в отнош-ии противополож-ти нах-ся соподчин. пон-я, в одном из них отраж. признак, а в другом он отриц-ся, заменяясь на противополож-й.



3. пон-я противореч-е\контрадикторные: А-щедрый, А,- нещедрый (т.е. просто наличие\отсутствие признаков)



Общие:

1. и противопол-е и противореч-е пон-я наход-ся в отнош-ии взаимоотриц-я

2. и противопол-е и противореч-е пон-я соподчин-е

3. в языке выраж-ся словами-антонимами

Отличные:

1. противопол-е пон-я - положит. пон-я

2. противореч-е почти всегда 1-положит., 2.-отриц.

3. м\ду противопол-ми пон-ми всегда есть еще пон-е

4. противореч-е

Логич. операции с пон-ми:

Обобщить пон-е – значит прийти от п. с больш. об. но меньш. содерж-м к пон-ю с больш. об. но меньш. содерж-м.

Ограничить п. – совершить обрат. опер-ю.

Сущ-т границы обобщ-я (предел обобщ-я пон-й – категории) и огранич-я пон-й (единч. пон-я).

^ Определение пон-й

Логич. опер-я, раскрыв-я содерж-е пон-я, наз-ся определ-м пон-я или дефиницией.

2 ч. пон-я: определяемое пон-е ( Definiendum – Dfd ), определяющее пон-е (Definience –Dfn).

Определения: реальные – определ-я предм., номин-е (nomen – имя )-определ-я имени (слово-наз-ся). Реальное опред-е можно переделать в номин-е.

Реальные опред-я: Явные – в них содерж-ся прям. указ-я на существ-е призн. предм. или множ-ва предм.

2 вида: 1. определ-е ч\з род и видовое отличие, 2. генетич. определ-е: А=ВС, А-определяем п. , В,С -Definience, В-род пон-е, С-либо вид. отличие, указывает на способ образ-я предм. Если С указ-т на вид. отличие, то это опред-е ч\з род и вид. отличие., если же С указ-т на способ образ-я предм., то это генетич. определ-е.

1. должно быть истин-м, 2. долж. быть правильным.

1. опред-е д.б. соразмерным (объемы определяемого и определяющ. предм. д. совпадать).

- ошибка слишком широкого определ-я- определ-е пон-е > определяющ. A<BC

- слишком узкое определ-е: определ. п. < определяющ. A>BC

2. определ-е не д. содерж. в себе круга (круг возникает тогда, когда определ. объясн-т ч\з определяющ., а определяющ. ч\з определяем. Тафталогия – разновид-ть круга (tauto – повтор)-когда определяющ. пон-е повтор. определяемое.

3. Определ-е д.б. ясным: определ-е д.б. сформ. в однознач. поним-х терминах. Пример: движение есть атрибут материи (не ясное пон-е)

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

- в опред-ии возможна ошибка в опред-ии неизвестного ч\з неизвестное. (Детерминизм есть диалек. противопол-ть индетерминизму.)

4. определ-е положит-х пон-й не д.б. отрицат-м.

Исключ-я:

1. Определ-е отрицат-х пон-й м.б. только отрицат-м.

2. Иногда сущ-м для предм. явл-ся не наличие признака, а его отсут-е и тогда вполне подх. отрицат. опред-е. Пример: параллельные прямые есть прямые, кот-е не пересек-ся.

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

1. Дать явное определ-е невозможно, если мы имеем дело с категориями (опред-е посредством указания на отнош-е предм. к своей противополож-ти).

Контекстуальное определ-е:

^ Индуктивное определение (движ-е мысли от общего к частному)

-1 есть натуральное число

- 1-нат. число  1+n – натур. число.

- ничто другое не явл-ся натур. числом.

^ Приемы, заменяющие определ-я:

Описание - верб. воспроизвед-е чувств. конкрет. образа предм.

Харак-ка – фикс-ся только существ-е признаки предм.

Разъяснение посредством примера

^ Остенсивное определ-е – разъясн-е посред. примера, но уже с демонстр-й

Сравн-е – прием, позволяющий объясн. неизвест-е на основе известного.

Различение – вариант отриц-го определ-я – позвол. объясн. к.-либо предм. на основе его отличия от др. предметов.

Значение опред-й: от истин-ти и прв-ти наших опред-й напрямую зависит адекватность науч. знания.

Деление понятий

Логич. опер-я, раскрыв-я объем пон-я наз-ся делением пон-я.

1. делимое пон-е, 2. члены дел-я, 3. основ-е или принцип дел-я

2 вида дел-я:

1. по видообраз-му призн.

2. дихотомич-е (dicha-два, tome-резать) – отличие в принципе деления, принцип деления – признак, измен-я которого приводят к выдел-ю видов.

А

А, - не А.

При дихотомич. делении основ-м дел-я явл-ся простое наличие\отсут-е признака.


^ Правила деления:
1. Деление д.б. соразмерным, т.е. объем дел-го пон-я = сумме об. членов дел-я А=а+в+с.

- ошибка неполного дел-я: А>а+в

- ошибка дел-я с лишними членами: А<a+b+c+d

2. дел-е следует произв-ть только по одному основ-ю, если это прав. наруш-ся, возник. ошибкасмешения основ-й дел-я.

3. члены дел-я д. исключ. друг друга, т.е. быть соподч-ми пон-ми.

4. дел-е д.б. непрерыв.: в процессе дел-я мы долж. перех. к ближ. видам, а затем к отдал-м.

- ошибка: скачок делений.Пример: удобр-я бывают органич-ми, азотными, фосф., калийными.

Операции с классами

А,В,С-символы классов.

1-универс. класс

 - пустой класс

 - объедин-е классов

 - умнож-е, пересеч-е классов

А,-дополн. к классу (не А)

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

1) АВ=А=В


2) АВ, пересечение



3) АВ=А-подчинеине

Несовместимость:

1) соподчинение: АВС = А

2)контрарность: АВ


3) контрадикторность: АА, =1

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

1) АВ=А=В



2) АВ



3) АВ=В



Дополнением к кл. А явл. кл. А,, кот-й при слож-ии с кл. А образ-т универс. класс: АА,=1. Чтобы образ-ть доп. к кл. необ. из универс. кл. вычесть доп. класс и получим допол-е к кл. 1-А=А,

СУЖДЕНИЕ

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

^ Истин-ть и лож-ть – логич. знач-я сужд-я. В 2 знач. логике сужд-е либо истинно, либо ложно.

Сужд-е бывает прост. или сложн. : прост. сужд-е не включ. в свой состав др. сужд-й, а сложн. включает.

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

,  - квантор общности и существ-я (все, всякий, существ-т). Квантор указ-т на об. пон-я, вход-го в субъект: отн-е м\ду суб. и предик. можно выр. как отнош-е объемов понятий.

Структура прост. сужд-я (традиц. логика).

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

1) сужд-е в традиц. логике выр-ся либо повест. предлож-м, либо ритор. ? Побуд. и ? предл-я не выр-т сужд-я.

2) макс. кол-во ч. сужд-я – не более 4-х, а кол-во частей предл-я неогранич.  суб. и предик. могут совпад. с подлеж. и сказ., а могут и не совпадать. Пр.: Телевидение (суб.) России уделяет(предик.) большое внимание проблеме терроризма.

3) в отличие от частей предл-я, имеющих пост. грам. формы суб. и предикат пост. грам. форм не имеют и опредся логич ударен-м. ^ Сестра подарила мне эту книгу.  S-P

Простое сужд-е и его виды.

Видами прост. сужд-я явл-ся атриб. сужд-е (или сужд-е свойства). В атриб. сужд-ии утв. знач-е к.-либо свойства. ^ Сужд-е существ-я: S-P Отличие: в сужд-ии существ-я утвер-ся или отриц-ся факт существ-я предм. или явл-я.

сужд-е с соотнош-ми: xRy, R-любое отнош-е. Логика сужд-я с соотнош-ми выходит за границы традиц. логики.

Отношения:

1. рефлексивности: xRx – отнош-е предм. как к самому себе (отнош-е рав-ва) xRyxRx^yRy; xRy(xRx^yRy) - антирефлексивность

2. симметричности xRyyRx (Иван – брат Петра); антисимметричности: xRy(yRx) (Мы знаем Ф. Киркорова)

3. транзитивность: (xRy^yRz)xRz; антитранзитивность: (xRy^yRz)(xRz)

В каком отношении наход-ся суж-я с соотнош-ми и атриб. сужд-е: атриб. сужд-е м. рассм. в качестве част. случая сужд-я с соотнош-ми. (Олег-отец Петра).

Категор.-атриб. сужд-е

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

Общ.: все S есть P, ни одно S не есть P

Част.: Некот. S есть P, Некот. S не есть P

Единич.: это S есть P, это S не есть P

В единич. сужд-х речь идет о всем об. суб. един. с тожд-ны общим.

Выдел-ся опред.-част., выделяющие и исключ-е сужд-я.

Опред.-част. предст. квантор. слово «только»: только нек. S есть P (усилив. опред-ть сужд-я).

Выдел. сужд-я: все S ( и только S) есть P, нек. S (и только S) есть P, это S (и только S) есть P (уточн-ся объем предикатов)

Исключ. сужд-я: все S ( S1^S2) есть P, все S за исключ. S1иS2, есть P

Объед. классиф-я сужд-й: В объед. классиф-ии сужд-я подразд-ся одноврем-но кач-но и колич-но.

сужд-я А – все S есть P (сужд-е общ. по кол-ву и утв. по кач-ву или общеутверит. )

сужд-е I – нек. S есть P (сужд. част. по кол-ву и утв. по кач-ву – частноутвердит-е).

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

сужд-е О – нек. S не есть P (част. по кол-ву и триц. по кач-ву – частноотриц. )

Распред-ть терминов в сужд-ии: дин. ич. сужд-х речь идет о всем об. диничные. атриб. т существ-я предм.

В сужд-ии терм. м. б. распред-ны или не распред-ны^ . Термин распред-н, если он взят в полном объеме, т.е. если он полн. включен в объем др. термина или полн. исключ. из него. Терм. не распред., если он взят в части объема. Если он част. включ. в объем др. термина или част. исключ-н из него.

S –распред., P – не распред.

А – все S есть P (Все худ-ки – впечатлит. люди.) S –распред., P – не распред

А-выдел. все S и только S есть P (Все квадр. (и только они) равностор. прямоуг-ки)


I – нек. S есть P (Если нек. военные связисты, то нек. связисты-военные)




I-выдел. Нек S (и только S) есть P (Нек. врачи-кардиологи (и только врачи), но кардиологи-все врачи).


Е – ни одно S не есть P (Ни одна трапеция не есть ромб, ни один ромб не есть трапеция).

О – нек. S не есть P (Нек. змеи не ядовиты)
Отнош-е терминов в единич-х сужд-х точно такое же, как и в общих

это S есть P (Сергей Есенин – велик. рус. поэт. )

это S(и только S) есть P (C. Есенин (и только он) автор поэмы «Страна негодяев».)

это S не есть P (С. Есенин не был футуристом.)

^ СЛОЖНОЕ СУЖДЕНИЕ

Слож-е сужд-я – суж-я, сост-е из прост. суж-й, соед-х м\ду собой логич. союзами.

Конъюнкция (прибл. соотв. союзу «и») , дизъюнкцияV, W, импликация , эквиваленция 

^ Логич. союз (не след. смеш-ть с грам. союзом)- 1) грам. союз связ-т слова и предл-я, а логич-й-сужд-я, 2) у грам. союза всегда предст. смысл. связь, в логич. союзе смысл. связи может и не быть. Един-я ф-я лог.с. – указ-е на соистин-ть сужд-й.Кажд. логич. союз бинарен, т.е. связ-т 2 и только 2 сужд-я в любых комбин-х.

(pWq) (qz)

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

p

q

и

и

и

л

л

и

л

л

Конъюнкция – такое слож. сужд-е, кот-е будет истин-м тогда и только тогда, когда истин-ны все вход-е в него сужд-я. (Казань – столица Татарстана и расположен на Волге.) Конъюн. сужд-е в реальн. тексте может быть предст. в виде сужд-й со слож. суб., слож. предик. или же со слож. суб. и слож. предикатом. S1^S2 есть P, S есть P1^P2, S1^S2 есть P1^P2

1) закон ассоц-ти: логич. знач-е кон. сужд-я не зависит от сочет-ти конъюнктов: (p^q)^r, p^(q^r)

2) закон коммут-ти: логич. знач-е кон. сужд-я не зависит от перестан-ки конъюнктов. p^q; q^p

Дизъюнкция: 2 вида -строгая и нестрогая. Нестрог. прибл. соответ-т союзам «и», «или» в смысле или то или это: сужд-е нестрог. диз-ии есть такое сужд-е, кот-е будет истин-м тогда и только тогда, когда истинно по крайн. мере одно из вход-х в него сужд-й.

p

q

p^q

pVq

pWq

pq


qp


pq


и

и

и

и

л

и

и

и

и

л

л

и

и

л

и

л

л

и

л

и

и

и

л

л

л

л

л

л

л

и

и

и

^ Строг. диз-я – с. «или» употр-ся в исключ.-разделит. смысле (или то, или это и 3-го не дано). Сужд-е строг. диз-ии есть такое слож. сужд-е, кот-е будет истин-м тогда и только тогда, когда истин. только одно из вход-х в него сужд-й. pWqWz/ На диз-ю (строг. и нестрог. распр-ся те же законы, что и на кон-ю. подобно кон-ии: сужд-е м. б. предст. со слож. суб. либо со слож. предик. либо со слож. суб. и слож. предик-м. S1VS2, P1VP2.

Импликация (если то) 

имплик-м наз-т такое слож. сужд-е, кот-е будет ложн. тогда и только тогда, когда предш. сужд-е p (антецедент) будет истин-м, а послед-е сужд-е q (консеквент) ложным.

^ Достаточные и необх. условия

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

Если по проводнику пропущен электр. ток (p), то проводник нагрев-ся (q).

  1. допустим, что p-истинно, то q-истинно.

  2. p- ложно, q- неопред-но (как ложно, так и истинно)

  3. q-ложно. p-необх. ложно.

  4. q-истинно, p-не определено.

истин-ть q необх. , но не достаточно.

имплик-я отражает самые различные виды завис-ти:

1. причин-я: если асфальт мокрый, то был дождь.

2. семантич-ю: если Мария жена, то она замужем.

3. корелляц-ю: если ласт. летают низко, то будет дождь.

Эквиваленция: если только если, тогда и только тогда. Эквив-ми наз-т такие слож. сужд-я, кот-е будут истин-ми тогда и только тогда, когда вход-е в них сужд-я будут иметь одинак-е логич. знач-я. В эквив-ии истин-ть (лож-ть) p явл-ся условием достаточ. и необх. для призн-я истин-ти (лож-ти) q, истин-ть (лож-ть) q явл-ся условием достаточ. и необх. для призн-я истин-ти (лож-ти) q.

^ Выраж-е одних видов слож. сужд-й ч\з другие.

С пом-ю эквивал-ии мы можем выр-ть одни виды слож. сужд-й ч\з другие. Возник-е здесь явл-я наз-ся синонимией логич. союзов: кон-я явл-ся диз-й и наоборот.

Законы де Моргана:

 (p^q) pV q отриц-е кон-ии эквив-но отриц-ю диз-ии

 (pVq) p^ q отриц-е диз-ии эквивал-но кон-ии отриц-я

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

Отнош-е сужд-й по истин-ти, логич. квадрат.

Все сужд-я подр-ся на сравн. и несравн. (одинак. материи и различ. материи). Сравн-ми среди прост. явл-ся сужд-я имеющ. одинак. суб. и предик., но отлич-ся либо качес-но, либо колич-но, либо кач-но и колич-но.

Все лебеди белые. Ни один лебедь не явл-ся белым.

Все лебеди белые. Нек. лебеди явл-ся белыми.

Все лебеди белые. Нек. лебеди не явл-ся белыми. (и кач-но и колич-но)

Среди слож. сравн-ми явл-ся сужд-я, имеющие одинак. переменные и отлич-ся логич. союзами, а также оператором отриц-я. p^q, pVq,  (p^q).

Различ. отнош-я в логике устан-ся только м\ду сравн. суж-ми, м\ду несравн. никаких отнош-й устан-ть нельзя. Отнош-я м\ду прост. суж-ми модел-ся на фигуре – логич. квадрате.



AЕ- отнош-е контрарности (противополож-ти), IO – субконтрарность (частичная совмест-ть), AО, IE – противоречие (контрадиктор-ть), AI, EO – подчинение.

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

1) отнош-я по совмест-ти (истинности), 2) несовмест-ти по истинности.

Если сужд-я м. б. одноврем. истин-ми, то м\ду ними сущ-т отнош-е по совмест-ти (истинности), если сужд-я не м.б. одноврем. истин-ми, то м\ду ними сущ-т отнош-я несовмест-ти по истин-ти.

Сущ-т 2 вида отнош-я несовм. по истин-ти: контрарность, контрадикторность; 3 в. отнош-й совм-ти по истин-ти: экивален-ть (на квадр. не модел-ся), подчинение, субконтрар-ть.

Контрарность: эти сужд-я не мог. б. одноврем. истин-ми, но м. б. одноврем. ложными. Au Eл, EuАл, АлЕ?, Ел А? (Все студенты учащиеся(А). Не один студ. не явл-ся учащимся(Е).)

Контрадикторность: АиОл,, ЕиIл, 

Совместимость: эквив. прост. сужд-е – с., имеющие ожинак. суб. и предик. , а также квантор и связку.

 AO; АиIи, АлI?, IлАл, Iи А?; ЕиОи, ЕлО?, ОлЕл, ОиЕ?

Субконтрарность: IлОи, ОлIи, IиО?, ОиI? (Нек. книги в нашей биб-ке явл-ся букинистическими.)

^ Отрицание суждений – логич. опер-я, в процессе кот-й сужд-е преобраз-ся в контрадикторное.


p

p


и

л

л

и
p^q,

p^q



p

q

 q


p^q

p^q


и

и

л

и

л

и

л

и

л

и

л

и

л

л

л

л

л

и

л

л



Модальность суждений

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

M(S-P); M(pWq); M(pq); M(pVq); M(pq). Все металлы(S) явл-ся(связка) электропроводниками.(P)

^ Всякая мод-ть предст. всегда 3-мя мод. харак-ми: 1) сильн. положит-й, 2) сильной отриц., 3) слабой.

Квадрат мод-ти



Mp-сильн. полож., Mp- сильн. отриц., Mp, Mp- слабая харак-ка.

^ Алетич. мод-ть есть представ-я в сужд-ии доп. информ-я о логич. или фактич. статусе сужд-я. Все сужд-я м. подразд-тьна логич. истин-е, логич. ложные; фактич. истин-е, фактич. ложные ( класс логич. детерминир-х сужд-й).

pp – всегда истин., (pp) – всегда ложн. Все остальн. сужд-я относ-ся к фактич. детерминир-м сужд-м.

 - оператор необх.  - оператор возм. p-p – сильн. полож. и сильн. отрицат. харак-ки.

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

pp; pp; p^pp^p

^ Эпистемич. мод-ть – содерж-ся в сужд-ии доп. информ-я о ф. принятия сужд-я и степ. его обоснов-ти.

Вр-сужд. веры; Кр-(когнитивное) сужд-е знаний.

След. операторы: Vp-доказано, Fp- опроверг., Pp- проблем. вероятно.

FpVp; PpVp^Fp; 0Pp1

^ Деонтич. мод-ть – это представл-е в сужд-ии доп. информ-я, имеющая ф. совета, предписания, правила повед-я, побужд-х чел-ка к к.-либо действиям.

Od – обязан, Fd-запрещено, Pd-разрешено.

OdFd; FdOd; PdOd^Fd

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

Od^Od; Fd^Fd

Основ. логич. законы:

З. тожд-ва: в проц. рассужд-я наши пон-я и сужд-я д. остав-ся тожд-ми самим себе. Пон-я д. сохран. свое содерж-е и об. в проц. рассужд-я, а сужд-я д. сохран. кач. и колич. харак-ки.

Пр.: Все уч-ки прест. деяния были в сговоре. Больш-во (не все) уч-в прест. деяния были в сговоре. (неправ.)

Человек осваивает космос (человеч-во в целом). Иванов-человек (конкрет. чел-к)

(неправ.) (p^p)

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

Иванов явл-ся хор. спортсменом. Иваонв не явл-ся хор. спортсменом.

З. дейст. в отнош-ии всех несовмест. по истин-ти сужд-й, т.е. он действ. в отнош-ии сужд-й А,Е контрар-х, контрадик-х, единич. сужд-й (на квадр. не модел-ся).

^ З. исключ-го 3-го: из 2-х контрадикт-х сужд-й одно истин., 2-е ложно, 3-го не дано.

рVp (Быть или не быть.) Действ-т в отнош-ии контрадикт-х сужд-й, единич. утвердит.\отрицат-х сужд-й.

З. достаточ. основ-я: истин-ть кажд. сужд-я д. б. доказ-й, обоснован-й.

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

УМОЗАКЛЮЧЕНИЯ.

Умозакл-е – есть ф. мысли, в кот-й из одного или неск. сужд-й, назыв-х посылкой или посылками вывод-ся новое сужд-е, назыв-е закл-м или следствием. Все студенты учащ-ся(посылка)нек. учащ-ся студ-ты.

Все студ-ты учащиеся. Иванов-студ-т (из 2-х посылок) Иванов-учащийся.

Все умозакл-я дел-ся на непосред-е(из 1 пос-ки), опосредов-е (из 2-х и более пос-к).

^ Демонстрат-е умозакл-я – заключ-е достоверно, т.е. след-т с необх-ю.

Недемонстрат-е умозакл-я – закл-е явл-ся вероятным, т.е. не следует с необх-ю. Все студ. –уч. Иванов – уч.  Вероятно Иванов студ-т.

По направ-ти логич. след-я все умозакл-я дел-ся на: 1) дедуктивные – от общ. к част., 2) индуктив-е – от частн. к общему, 3) по аналогии-от част. в част. астн. уктив-е - от

^ Непосред. умозакл-я

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

По формуле: двойн. отриц-е равносильно утвержд-ю.

А-Все S есть P,| Е – ни одно S не есть P, Е-ни одно S не есть P,| А-все S естьP, I-нек. S естьP,| O-нек. S не естьP. О-нек S естьP\ I-нек S естьP.

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

Обр-е будет прост. (чистым) если суб. и предик. в сужд-ии либо оба распред., либо оба не распред. Обр-е будет с огранич-м, если суб. распред., а предик. не распред., или наоб. предик. распред., а суб. не распред.

Обр-е подчин-ся прав.: термин, распред-й в пос-ке, д. быть распред. и в заключ-ии. И термин, распред-й в пос-ке, не м. быть распред-м в заключ-ии.

А- Все S есть P\ I-нек S есть P: Все студ –уч-ся, но не уч-ся –студ.




А-Все S (и только S) есть P\ А-Все P есть S



I-нек S есть P\ I-нек P есть S



I-некS ( и только S) есть P\ A-все Pесть S



E-ни одно S не есть P\ У – не одинP не есть S ( оба терм. распред.)



^ Противопост-е предикату: логич. опер-я, в рез-те кот-й на место суб .исход суж-я став-ся пон-е, противореч-епредик. исход. суж-я, на место предик – суб.; связка при этом мен-ся на противоположную. Есть синтез 2-х опер-й: превращение и обращение. Чтобы против-ть предик. необ. в нач. превр-ть суж-е, а затем обратить.

A-все S естьP\ Е-ни одно ни-P есть S: все студ-ты явл-ся учащимися\ не один студ-т не явл-ся учащимся.

Е-ни одно S не есть P\I-нек не-P есть S: Не один красн. мухомор не явл-ся съедобн. грибом\ Все красн. мухоморы явл-ся несъедобными грибами.

О–нек. Sне есть P\I-нек. не-P есть S: Нек. студенты не явл-ся спортсменами.\Нек. студ-ты явл-ся не спортсменами.

сужд-е I не преобраз-ся.

^ Умозакл-я по логич. квадрату:

Аи Ел, АиОл, АиIи

Простой категорический силлогизм.

Прост. категор. силлогизм-опосред-е дедуктив-е умозакл-е, посылками и заключ-м кот-го явл-ся прост. категорич. атриб. сужд-я. А все цветы – растения M – P

А Все розы-цветы S – M

Все розы-растения. S-M-P

^ Структ-ра силлог-ма: 3 термина- меньший термин S(крайн. терм.), сред. терм. M, больш. термин P(край. терм.). Связь м\ду этими терм-ми возм-на только ч\з средн. термин.

^ Меньщий терм. – суб. заключ-я, больш. терм. – предикат закл-я; там, где больший термин, там большая посылка, где меньш. термин, там меньш. посылка. Терм., вход-й в обе пос-ки, но не вход-й в закл-е, наз-т средним. ПКС основан на аксиоме силлог-ма: 2 интерпрет-ии: объемная, атрибутивная. Объем-я: все, что утв-ся (отриц-ся) о всем множ-ве предметов, утвер-ся или отриц-ся о любой части дан. множ-ва или о любом предм. дан. множ-ва.

все S есть P

Ни одно споровое раст-е (М) не разм-ся семенами(Р), Папоротник(S) – споровое раст-е\ Ни один папоротник не разм-ся семенами.



Атрибутивная интерпрет-я-признак признака вещи есть призн. самой вещи; то, что отриц-ся относит. призн. вещи отриц-ся относит-но самой вещи.

Принад-ть к раст-м есть призн. цветов, прин-ть к цветам есть призн. роз  принад-ть к раст-м-признак признака.

Из меньш. пос-ки: принад-ть к споровым есть признак папоротника, из больш. пос-ки: разм-е семенами противоречит признаку дан. вещи.

Правила терминов:

1) в силлог-ме д. быть только 3 терм., наруш-е этого прав. приводит к ошибке: учетвер-е термина-связ. с наруш-м закона тожд-ва. Все металлы-прост. вещ-ва, бронза – металл\ бронза-простое вещ-во (лож. сужд-е). Все секретари заняты полезным делом, нек. птицы-секретари\ все птицы заняты полез. делом (лож. сужд-е).

2) сред. термин д. быть распред. по крайней мере в одной из пос-к, если сред. терм. не распред. ни в одной из сред. пос-к  закл-е не опред-но, не след-т с необх-ю. Нек. млекопит-е – водн. жив-е. Все дельфины – млекопит-е\Все дельфины-водн. жив-е. Сред. терм. не распред. ни в больш. ни в меньш. терм. , в общеутвердит. сужд-ии предикат не распред-н.



3) термин, распред-й в пос-ке, д. быть распред. в закл-ии; терм., не распред-й в пос-ке, не м. быть распред. в закл-ии. Все журн-ты-грам. люди, Сидоров-не журн-т\Сидоров не грамотен.



^ Ошибка незаконного расшир-я терм.: больш. термин в предик. больш. пос-ки не распред., а в закл-ии распред. (предикат единичноотриц. сужд-я).


Правила посылок

1) из 2-х отриц-х посылок никакого заключ-я не следует: Ни один дельфин(М) не явл-ся рыбой(Р), ни одна щука(S) не явл-ся дельфином.



Нек. щуки-рыбы, ни одна щука-не рыба\все щуки рыбы.

2) если одна из пос-к – отриц. сужд-е, то и закл-е всегда будет отриц-м сужд-м.

3) из 2-х част. сужд-й заключение не следует.

II – закл-е не послед-т согласно 2-му прав. терминов. послед. термин не будет распред. ни в одной из пос-к.

ОО – закл-е не послед-т согл. 1 прав. пос-к.

IO, OI – закл-е не послед-т.

I – некот. гвардейцы(М)-орденоносцы.(Р) О- Нек. солдаты(S)-не гвардейцы.

4) если одна из пос-к-част. сужд-е, то и закл-е всегда будет част. сужд-м. Все рыбы(М)-позвоноч. живот-е(Р). Нек.водные живот-е(S)-рыбы.\Нек. водные животные-позвоноч. животные.

Фигуры и модусы.

Фигуры силлог-ма-есть ф. силлог-ма, различ-ся полож-м среди термина.

4 фигуры:

1) M – P

S - M

S – P

2) P – M в предик. обеих посылок

S – M

S – P

3) M – P в субъекте обеих посылок

M – S

S – P

4) P – M

M – S

S – P

правило 1 фигуры: M – P

S - M

S – P

больш. пос-ка-общ. сужд-е, меньш. пос-ка-утвер. сужд-е Все металлы – электропровод-ки, медь-мет.  медь –электропров-к.

Все металлы – электропровод-ки, графит не мет.  графит – не электропров-к. (ошиб. незак. расшир-я термина)

2 фигура: больш. пос-ка-общ. сужд-е, одна из пос-к-отриц. сужд-е. Все студ.-юристы изуч. логику, Иванов не изуч. логику  Иванов не явл-ся студ-юристом.

Все студ-юристы изуч логику, Иванов изуч логику (ошибка)

3 фигура: меньш. пос-ка – утвер. сужд-е, заключение-частное сужд-е : Демокрит был матер-м, Демокрит жил в 4 в. до н.э.  нек. жившие в 4 в. до н.э. были матер-ми.

Он не принадл. к числу моих друзей. Он заходил вчера  нек. из заход-х вчера не принад. к числу моих друзей.

4 фигура: 1) если больш. пос-ка – утвердит. сужд-е, то меньш.пос-ка-общее сужд-е. 2) если одна из пос-к-отриц. сужд-е, то больш. пос-ка-общее сужд-е. 2) если меньш. пос-ка-утвер. сужд-е, то заключ-н\е – част. сужд-е. Все антилопы-стройные жив-е, все строй. жив-е радуют глаз  все радующие глаз жив-е – антилопы.

МОДУСЫ

Модусы – раз-ти фигур, различ-ся колич-й и кач-й харак-й сужд-й в посылках и заключении. Сущ-т 19 прав-х модусов. Прав. модусы – модусы, в кот-х заключ-я след-т с необх-ю. I AIEO, AAA, EAE,EIO,AII, II AEE EAE, EIO, AOO, III AAI AII IAI EAO EIO OAO, IV AEE AAI IAI EIO EAO.

Простой категор. силлог-м с выдел-ми сужд-ми

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

M – P

S - M

S – P

( 1 фиг. силлог-ма)

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

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

P – M

S – M

S – P



Выводы из слож-х сужд-й и другие виды дедуктивных выводов

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

Основ-м для выводов в слож. сужд-х явл-ся не отнош-е м\ду терм-ми, а хар-р логич. связок.

^ Чисто услов. умозакл-я – умозакл-я, посылками и закл-м кот-го явл-ся услов. сужд-я. Стр-ся по принципу: следствие-следствие, следствие – основание. Цепочка услов-х суж-й м.б. любой длины, но в закл-ии всегда соедин-ся 1-е основ-е и последнее следствие.

(pq)^(qz)^(zs)/ps

^ Услов.категор. умозакл-е – умозакл-е, в кот-м больш. пом-ка-услов. сужд-е, меньш. пос-ка – категор.-атриб. сужд-е, заключ-е – категор. атриб. сужд-е. p q,p/p

modus ponens – мысль идет от отриц-я истин-ти след-я к отриц-ю истин-ти основ-я.(утвер-й модус)

отриц. модус(modus tollens) – мысль идет от отриц-я истин-ти след-я к отриц-ю истин-ти основ-я.

разновид-ти прав-х модусов:

1) pq,p/q; pq,p/q; pq,p\q; pp,p/q

разновид-ти отриц-го модуса:

2) pq,q/p; pq,q/p; pq,q/p; pq,q\p

умозакл-я с выдел-й общей посылкой:

pq;p/q, pqq/p, pq,q/p; pq;p/q (если сегодня среда, то завтра четверг)

чисто раздел-е умозакл-я- умозакл-я, в кот-х пос-ки и закл-я явл-ся раздел. сужд-ми.

pVqVz, p1Vp2\ p1Vp2VqVz (все фил-е напр-я дел-ся на идеализм, материализм, дуализм.)

разделит. категор. умозакл-е – умозакл-е, в кот-м больш. пос-ка раздел. сужд-е, а меньш пос-ка – категор. атриб. сужд-е. pWq,p/q

modus ponendo tollens – утвер.-отриц-й модус: больш. пос-ка – суж-е строгой диз-ии, в закл-ии отриц-ся истин-ть другой альтернативы. pWq,p/q

modus tollendo ponens - отриц.-утвер-й модус: абс. все равно, какая диз-я, главное – диз-я д. быть закрытой: все альтерн-вы д. б. перечислены.

<pVq>,p/q

^ Услов.-разделит. умозакл-е – умозакл-е, в кот-м больш. пос-ка-кон-я услов-х сужд-й, а меньш. пос-ка-разделит. сужд-е, причем в завис-ти от кол-ва альтерн-в в раздел. сужд-ии-дилемма, трилемма,…, полилемма.

pVqVr,p,q/вероят.-r

1) прост. конструк-я дилемма:

(pr)^(qr), pVq/r

из 2-х различ. основ-й вывод-ся одно и то же следствие; если p, то q, если q, то r. В меньш. пос-ке утв-ся истин-ть того или иного основ-я и в закл-ии утв-ся истин-ть единств. след-я. (если у вас болит голова, то следует принять обезболив-е).

2) слож. конструк-я дилемма

(pq)^(rs), pVr / qVs из 2-х различ-х основ-й вывод-ся 2 различ. следств-я: в меньш. пос-ке утв-ся истин-ть основ-й, в закл-ии утв-ся следствие.

Деструктив-е дилеммы

1) прост. деструк-я дилемма: (pq)^(pr),qVz /p

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

если мы хотим попасть в Москву, мы д. купить билет на поезд, если мы хотим попасть в Москву, мы д. купить билет на автобус. Если мы не купили билет на поезд и на автобус  мы не попадем в Москву.

2) слож. деструк-я дилемма (pq)^(rs),qVs / pVz. в меньш. пос-ке отриц-ся истин-ть того или иного след-я, в закл-ии отриц-ся истин-ть того или иного основ-я.

Энтимема

энтимема(греч.«в уме») – силлог-м, с опущ-й пос-й или заключ-м. Его м. построить на основе прост. категор. силлог-ма, услов.-катег. силлог-ма или разделит.-категор-го силлог-ма.

все гражд. России им. право на образ-е, мы-гражд. России| мы имеем право на образ-е.

сокращ. б. пос.: мы-гражд. России мы имеем пр. на образ-е. сокращ м. пос.: все гражд.Р. им. право на образ-е  мы им. право на образ-е. сокращ. заключ-е: все гр. Р. им. право на образ-е, мы-гражд. России. этот физ. процесс(S) не явл-ся испарением(P)(закл.), т.к. не происх. перех. вещ-ва из жидк-ти в пар.(пос-ка).

Особен-ти: 1) pq,p / q; 2) pWq,p / q сокращ. м. либо пос-ку, либо закл-е, нельзя сокращать меньш. пос-ку. 1) если внука долго нет дома, баб. бесп-ся, 2) если внука длого нет дома, баб. бесп-ся, а внука долгл нет дома.

Полисиллогизмы («поли»-много) – предст. собой цепочки силлог-в, м.б. постр-ны на основании прост. категор. силлог-ма или на основе др. форм силлог-в.

прогрессив-й \ регрессив-й полисиллог-м

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

Всякий полосил-м сост. по крайн. мере из 2-х силлог-в: 1-й сил.-просиллог-м., 2-й-эписиллог-м. В прогресс-м п-ме заключ-е просиллог-ма стан-ся больш. пос-й эписиллог-ма, ав регресс. п-ме закл-е просиллог-ма стан-ся меньш. пос-й эписиллог-ма. прогр. полисил-м: 1) жив-е есть субтс-я, четвероногое-жив-е | четвероног-е – субст-я. 2) четв-е – субст-я, лошадб-четвероног-е | лошадь-субст-я.3) лошадь – субст-я, буцефал – лошадь | буцефал – субст-я. регрессив-й полисилл-м: 1) лошадь-четвероногое, буцефал-лошаль | буцефал-четвероног-е.2) четвероног-е-живот-е, буцефал-четвероног-е | буцеф. – живот-е 3) жив-е есть субст-я, буцефал есть живот-е | буцефал есть субст-я.

Сорит – сокращ-й полисиллог-м.

Аристотелев-й\ гоклениевский сорит

аристот-й сорит образ-ся на основе регрессив. п-ма посредством искл-я заключ-й просиллог-в и меньш. пос-к эписиллог-в. Перестав-м местами больш. и меньш. пос-ки: буцеф.-лошадь, лошадь-четвероног-е, четвер-е есть живот-е, живот-е есть субст-я | буцефал есть субст-я.

Эпихейремы-силлог-м, посылками кот-го явл-ся энтимемы. Напр.: ложь вызыв. недоверие, т.к. она явл-ся сужд-м, не соответ-м истине. Лесть есть ложь, т.к. она явл-ся умышл. искаж-м истины | Лесть вызыв. недоверие.

Индуктивные умозакл-я

закл-е носит вероят-й харак-р, если это не полн. индукция.

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

схема: p(x1) p(x2) … p(xn) x1, x2 … xn  K |  x; p(x1) p(x2) … p(xn) x1, x2 … xn  K |  x((x  R) p(x)).

Всяк. индукция основана на философ-х категориях: единич., отдельн. и общее. Диалектика единич., отдельн. и общего: отдельн. – любой самост. предм. или явл-е; единич.-неповтор-е в отдельном, общее-призн. сходства отдельн. предм. или явлений. Индук-я: общее не сущ-т без отдельного, а отдельн. всегда содерж. в себе общее. Зная о наличии призн. предм., можно умозакл-ть, что дан. призн. присущи этому множ-ву. Полн. индук-я – инд-я, когда вывод о принад-ти к.-либо призн. всему множ-ву элем-в делается на основании знания, о наличии дан. призн. у кажд. элем. множ-ва. Если у нас есть закр. множ-во и знание о множ-ве, то вывод всегда достоверен. Если множ-во открытое и неисчисл., то невозм. вывести заключ-е. Неполн. индукция.- инд-я, когда знание о наличии к.-либо призн. у всего множ-ва элем-в, дел-ся на основе знания о наличии дан. призн. у нек-х элем-в множ-ва. Попул-я индук-я – обощ-е, в кот-м путем перечисл-я устан-т принад-ть призн. некотор-м предм-м или частям класса и на этой основе проблемат-но заключ-т о его принад-ти всему классу. Науч. индук-я-умозакл-е, в кот-м обощ-е строится путем отбора необх-х и исключ-я случайн. обстоят-в.


Скачать файл (170.1 kb.)

Поиск по сайту:  

© gendocs.ru
При копировании укажите ссылку.
обратиться к администрации