Шпаргалка по "Логике"

Суждение о связи предмета и его признака состоит из 2х п-й — 2х терминов сужд-я: су-бъекта, отражающего предмет сужд-я, и пре-диката, отражающего признак предмета. Су-бъект и предикат обозначаются латинскими буквами S и Р. Кроме субъекта и предиката суждение включает в свой состав связку — элемент сужд-я, к-ый соединяет оба термина сужд-я, утверждая или отрицая принадлеж-ность предмету некоторого признака. Лог-кая же стр-ра сужд-я одинакова независимо от его выражения в том или ином языке.ТО сужд-е и предлож-е образуют неразрывное ед-во, но это ед-во включает в себя опред-ые различия, к-ые необ-мо учитывать, тк отож-дествление сужд-я как формы мышления и предлож-я как его языко-вого выражения порождает ошибки в их анализе.

В-10 Простые суждения и  сложные Суждения / на простые и сложные.Простым называется сужд-е, не включающее др сужд-я. Сужд-е, состоящее из нескольких простых сужд-й, наз-ся сложным. Виды и состав про-стых суждений: 1.Атрибутивным наз-ся сужд-е о признаке предмета. В нем отражае-тся связь м/у предметом и его признаком, эта связь утверждается или отрицается. Атр-ибутивные суждения наз-ют также катего-рическими. Атриб-ное, или катег-кое, сужд-е состоит из субъекта, предиката и связки; его логическая схема S—Р, где S — субъект сужд-я, Р — предикат сужд-я, «—»связка. Субъектом сужд-я наз-ся понятие о предме-те сужд-я. Связка выражает отн-ние м/у су-бъектом и предикатом. Субъект и предикат наз-ся терминами сужд-я. 2. Суж-ем с отно-ш-ем наз-ся сужд-е об отн-нии м/у предмета-ми. Это могут быть отн-ния равенства, неравенства, родства, пространственные, вре-менные, и др отн-ния. Запись сужд-я с отн-ми: хRу, где х и у — члены отношения, они обозначают понятия о предметах, R — отн-ние м/у ними. 3. В сужд-ях сущ-ния выр-тся сам факт сущ-ния или несущ-ния предмета сужд-я. Сложные сужд-я - это сужд-я, к-ые состоят из 2х или большего числа простых сужд-й, т.е. элементарных утверждений или отрица-ний, соединенных особыми лог-ми союзами  М/у пр и слож сужд-ми сущ-ет промежуточ-ная форма сужд-я – прос. сужд-я со слож. предикатами или слож. суб-ми.К числу осн-х лог-их союзов, с помощью к-ых из прос. сужд-й образ-ся слож., а из одних слож суж-й образ-ся более слож, относятся сою-зы, к-ые выражаются в обычном языке след-ми словами:"И" и его языковые экв-нты - конъюнкция, или соедин-ый союз, "ИЛИ" и его экв-нты - дизъюнкция или сла-бый разделительный союз,"ЛИБО" и его эквив-ты, в частности "ИЛИ... ИЛИ", - стро-гая дизъюнкция, или строго разделительный союз,"ЕСЛИ..., ТО..." - импликация, услов-ный союз,"...ЕСЛИ И ТОЛЬКО ЕСЛИ...", или "...ТОГДА И ТОЛЬКО ТОГДА, КОГДА..." - эквивалентность

В-11 Классиф-ция категорических суж-й

Катег-кие суж-я /на 1) по кач-ву и 2) по кол-ву. ТК любое суж-е имеет и количественную и качественную характеристику, их принято / по объединенной классификации. 1. / суж-ий по кач-ву. По кач-ву суж-ия / на утверд-ые и отриц-ые. Утверд-ным наз-ся суж-е, выражающее принадлежность предмету не-которого признака. Суж-е, выражающее отсутствие у предмета некоторого признака, наз-тся отриц-ным. Утверд-ное и отриц-ное суж-я различаются хар-ром связки, ее кач-вом. Утверд-ная связка «есть»указывает на принадлежность признака предмету. Суж-ие с отриц-ным предикатом, но с утверд-ной связкой «S есть не-Р» рассмат-тся как утвер-ное. 2. Деление суж-й по кол-ву. Утверждать или отрицать что-л можно об одном предме-те, о части предметов некоторого класса и обо всех предметах класса. В соот-вии с этим суж-я по кол-ву /на единичные, част-ные и общие. Ед-чным наз-ся суж-е, в к-ом что-л утверж-ся или отриц-ся об одном пре-дмете. Частным наз-ся суж-е, в к-ом что-л утвер-тся или отриц-ся о части предметов некоторого класса. Частные суж-я выр-тся в предложениях, имеющих в своем составе слова: «некоторые», «многие», «немногие», «большинство», «меньшинство», «часть». В неопределенном частном суждении слово «некоторые» употребляется в значении «Не-которые, а может быть, и все», «по крайней мере, некоторые». В определенном частном суж-и слово «некоторые» употребляется в значении «только некоторые». Общим наз-ся суж-е, в к-ом что-л утвер-ся или отриц-ся обо всех предметах некоторого класса. В от-личие от единичных суж-й частные суж-я содержат обобщенные знания. В неопр-ном частном суж-и эти знания хар-ются незавер-шенностью. Знания, содержащиеся в общих суж-ях, хар-тся общностью и завершеннос-тью. В общих суж-ях выр-ся законы науки, з-ны, устанавливаемые гос-вом, правовые нормы и т.д.. 3. Объединенная класс-ция суж-й. Объединяя количественную и качес-твенную хар-ки, суж-я /на общеутверд-ные, общеотриц-ные, частноутверд-ные, частно-отриц-ные.Общеутверд-ное суж-е — это суж-е, общее по кол-ву и утверд-ное по кач-ву. Общеотриц-ное суж. — суж, общее по кол-ву и отриц-ное по кач-ву. Частноутвер-ное суж — суж, частное по кол-ву и утверд-ное по кач-ву. Частноотрц-ное суж— сужд, частное по кол-ву и отриц-ное по кач-ву.

В-12 Суждения делятся на сравнительные и не сравнительные. Сравнительные / на совместимые и не совместимые. В логике 2 высказывания наз-ся не совместимыми если из истинности одного из них необходимо следует ложность другого. Совместимость выражает одну и туже мысль полностью или лишь часть. Отношения совместимости: эквивалентность, лог подчинение, частичное совпадение. Совместимые эквивалентные суждения выражают одну и туже мысль в различной форме. (Юрий Гагарин – первый космонавт и Ю. Гагарин первый полетел в космос) субъект один а предикат разный по форме, но одинаковый по смыслу. Совмес-тимые суждения находятся в относительных лог подчинения имеют общий предикат. Подчинения выражают субъект двух сужде-ний также находящихся в лог подчинение. Отношения между суждениями изображают-ся в виде лог квадрата.Частичное совпадение находящихся в 2-х совместимых суждений ЧУ и ЧО по различному качеству ЧУ – нектр свидетели дают истинные показания. ЧО – нектр свидетели не дают истинные показа-ния. Оба они могут быть истинные, но не могут быть ложные. Закономерн.выражающ отношения между суждениями по истинности имеют  Большое познавательное значение.

В-13 Умозаключение как  форма мысли. Умозаключение форма мышления в ктр из одного или нескольких суждений на основе определенных правил вывода получаем новое суждение с необходимой или определенной степенью вероятности следования из них. Как любая форма мышления, умозаключение имеет объективную основу и связана с окружающим миром. Умозаключение бывает непосредственным и опосредствованные. В непосредственном вывод строится и по первому суждению путем его преобразования или но основе правил соотношения истинности и ложности подчинения и несовместимых суждений. В опосредствованных вывод делается из двух или нескольких суждений лог связанных между собой. Также умозаключения различают 3 составных компонента: исходное значение (посылка), обосновывающее значение (лог основа вывода), выводное значение (заключение).

Умозаключение и виды:

1. Дедуктивное - умозаключение у ктр между посылками и заключением имеется отношения лог следования (все рыбы дышат жабрами. Все окуни – рыбы. Все окуни дышат жабрами.)
2. Индуктивное – умозаключение в ходе ктр используемое значение частного порядка мы получаем возможность делать общее заключения.
3. По аналогии – рассуждение в ходе ктр сопоставляя различные явления мы обнаруживаем в них новые св-ва на основе сходства между объектами, по ранее изученным признакам.

В-14 Виды умазаключений. По составу все умозаключения делятся на простые и сложные. Простыми называются умозаключения, элементы которых не являются умозаключениями. Сложными называют умозаключения, состоящие из двух или более простых умозаключений.По количеству посылок умозаключения делятся на непосредственные (из одной посылки) и опосредованные (из двух и более посылок).По характеру логического следования все умозаключения делятся на необходимые (демонстративные) и правдоподобные  (недемонстративные, вероятные). Необходимые умозаключения - такие, в которых истинное заключение обязательно следует из истинных посылок Правдоподобные умозаключения - такие, в которых заключение следует из посылок с большей или меньшей степенью вероятности. Дедуктивное умозаключение (от лат. deductio - выведение) - такое умозаключение, в котором переход от общего знания к частному является логически необходимым.Путем дедукции получаются достоверные выводы: если истинны посылки, то будут истинны и заключения.Пример:Если человек совершил преступление, то он должен быть наказан.Петров совершил преступление.Петров должен быть наказан.Индуктивное умозаключение (от лат. inductio - наведение) - такое умозаключение, в котором переход от частного знания к общему осуществляется с большей или меньшей степенью правдоподобности (вероятности).Например:Кража - уголовное преступление.Грабеж - уголовное преступление.Разбой — уголовное преступление.Мошенничество - уголовное преступление.Кража, грабеж, разбой, мошенничество - преступления против собственности.Следовательно, все преступления против собственности – уголовные преступления.Поскольку в основу данного заключения положен принцип рассмотрения не всех, а лишь некоторых предметов данного класса, то умозаключение называется неполной индукцией. В полной индукции обобщение происходит на основе знаний всех предметов исследуемого класса.

В-15  Выводы по аналогии. По хар-ру уподобляемых объектов различают 2вида аналогии: 1) аналогию предметов; 2) анало-гию отн-ний.(1) Аналогия предметов-умоза-ключение, в к-ом объектом уподобления вы-ступают 2 сходных единичных предмета, а переносимым признаком — св-ва этих предметов.(2) Ан-гия отн-ний — умозаклю-чение, в к-ом объектом уподобления высту-пают сходные отн-ния м/у 2 парами предме-тов, а переносимым признаком — сво-ва этих отн-ний. Условия состоятельности в-дов по а-гии. Заключения, полученные в в-дах по а-гии, бывают неодинаковыми по своей обоснованности: в одних случаях они носят проблематичный хар-р, в др — могут претендовать на достоверность. Эпистеми-ческая ценность заключений опред-тся хар-м исходного знания о сравниваемых объек-тах: зависимости м/у признаками сходства и переносимым признаком.(1) Сходство уподобляемых объектов. Вывод будет состо-ятельным в том случае, если выявлено и зафиксировано действ-ное сх-во, к-ое долж-но быть не приблизительным, в общих чер-тах и не случайным, а строго опред-ным и конкретным сх-вом в существенных приз-наках. Отсутствие такого сходства делает умозаключение по а-гии несостоятельным. (2) Учет различий м/у уподобляемыми объе-ктами. В природе не бывает абсолютно схо-дных явлений: самая высокая степень сх-ва всегда предполагает различия. Значит, в люб случае уподобления имеют место и различия м/у сравниваемыми предметами. Различия эти по-разному влияют на процесс вывода по а-гии.Св-ва, препятствующие переносу признака с одного предмета на другой, яв-ся существенными различиями.Они несовм-мы с переносимым св-ом или отн-ем. (3) Знание о наличии связи м/у сходными и переноси-мым признаком. В завис-сти от хар-ра этой связи различают:1) строгую а-гию, дающую достоверное заключение, и 2) а-гию нестро-гую, зак-ие к-ой носит проблем-ый хар-р.

В-16 Энтимема(силлогизм)Силлогизм, в котором выражены все его части — обе по-сылки и заключение, наз-ся полным. Однако на практике чаще используются силлогизмы, в к-ых одна из посылок или закл-ие явно не выражаются, а подразумеваются.Силлогизм с пропущенной посылкой или закл-ем наз-ся сокращенным силлогизмом, или энтимемой. Эн-ма в пер. с греч буквально означает «в уме» Широко используются эн-мы простого катег-го силлогизма, особенно выводы по первой фигуре. Нап-р: «Н. совершил престу-пление и поэтому подлежит уголовной отве-тственности». Здесь пропущена большая по-сылка: «Лицо, совершившее преступление, подлежит уголовной ответственности». Она предс-ет собой общеизвестное положение, формулировать к-ое необязательно.В завис-ти от того, какая часть силлогизма пропуще-на, различают 3 вида э-мы: с пропущенной большей посылкой, с пропущенной меньшей посылкой и с пропущенным заключением. Умозаключение в форме э-мы может быть построено и по 2-й фигуре; по 3-й фигуре оно строится редко. Форму э-мы принимают также умозаключения, посылками к-ых яв-ся условные и разделительные суждения. Условно-категорический силлогизм с пропу-щенной большей посылкой: «Уголовное де-ло не может быть возбуждено, тк событие преступления не имело места». Здесь пропу-щена большая посылка — условное сужде-ние «Если событие преступления не имело места, то уголовное дело не может быть воз-буждено». Она содержит известное положе-ние Уголовно-процессуального кодекса, к-ое подразум-тся.Разделительно-категорический силлогизм с опущенной большей посылкой: «По данному делу не может быть вынесен оправдательный приговор, он должен быть обвинительным». Большая посылка-раздели-тельное суждение «По данному делу может быть вынесен либо оправд-ный, либо обвин-ный приговор» не формулируется. Раздели-тельно-категорический силлогизм с опущен-ным заключением: «Смерть произошла либо в рез-те убийства, либо в рез-те самоуб-ва, либо в рез-те несчастного случая, либо в си-лу естественных причин. Смерть произошла в рез-те несчастного случая». Заключение, отрицающее все другие альтернативы, обыч-но не формул-ся.В эн-ме выражены не все части умозаключения, скрывающуюся в ней ошибку обнаружить труднее, чем в полном умозаключении.

В-17 Язык,логистика и  исчисление выс-казываний.Исчис-е выск-ний и исчис-е пре-дикатов – это прежде всего языки. Исп-зуя их слова, фразы и предложении, мы можем представлять св-ва и отн-ния в окруж.мире и рассуждать о них.Символы исчис-я высказ-й 
-Символы исчисления высказываний – это символы высказываний P, Q, R, S, …, 
-Значения истинности: true (истина), false (ложь) 
-Логические связки  
Символы высказ-ий сост-ют высказ-ия или утверждения относительно некоторого мира. Они могут быть как истинны, так и ложны, нап-р, «автомобиль красный» или «вода мо-края». В исчис-ии высказ-ий предложения форм-тся из элем-ных символов согласно следующим правилам. В выражениях вида P Q эл-ты P и Q наз-ся конъюнктами. В выражениях вида P Q эл-ты P и Q наз-ся дизъюнктами. В импликации P Q, P – предпосылка,а Q – закл-ние.В предложениях исчисления высказываний скобки () и [] ис-пользуют для группировки символов в под-выражения и, ТО, дают возможность управ-лять порядком их оценки и присваивания значений. Нап-р, (P Q) R отличается от P (Q R).Выражение яв-ся предло-ж-ем, когда оно может быть сформул-но в виде некоторой последов-сти допустимых символов,например:((P Q) R) P Q R 
яв-ся правильно построенным предл-ем, поскольку: P, Q, и R – высказывания и поэтому предложения; 
P Q – конъюнкция двух предложений, поэтому является предложением; 
(P Q) R – импликация одного предложения в другое, т.е. предложение; 
P и  Q – отрицания предложений, являющиеся предложениями; 
P Q – дизъюнкция двух предложений, поэтому является предложением; 
P Q R – дизъюнкция двух предложений, т.е. предложение; 
((P Q) R) P Q R – эквивалентность 2х предл-ний, явля-ющаяся предл-ем.Получили пред-ние, к-ое построено путём применения ряда правил.

В-18 типы объектов познания и их возможные характеристики

Предметами познания могут быть не только вещи, явления, процессы реал. мира, но и их св-ва, отн-ния, а также воображаемые объек-ты, продукты мыслительной деят-сти и т. д. Предм-м яв-ся все, что обозначено именем. Давая чему-л имя мы превращаем его в пре-дмет мысли. Именем можно обозначить все, что обладает некоторой кач-ной опред-стью, т.е. имеет какие-то хар-ки или их совокуп-ности, отличающие это нечто от всякого другого и позволяющие мысленно или чув-ственным образом выделить его и рассуж-дать о нем. Разнообразие объектов, как воз-можных предметов мысли, можно, по-види-мому, свести к след. осн-м видам:делим их на эмпирические и теорет-кие в завис-сти от того, каким образом, за счет какого источни-ка познания (орган чувств или мысленно-ин-теллектуальная деят-сть) они вводятся в сос-тав нашего знания. Эмпирические объекты познания — это реальные, чувственно-восп-ринимаемые, наблюдаемые предметы дейст-сти. Как объекты теории — это рез-ты наб-людения и вообще чувственной деят-сти, при хар-ке эмпирического уровня познания они могут быть уже в той или иной степени «обработаны» нашим мышлением Источ-м появления теорет-их объектов познания яв-ся наша мыслительная деят-сть. К теорет-ким объектам познания относятся:1. Реал-е объекты , т.е объекты, к-ые вводятся мышле-нием при построении объяснительных тео-рий. 2. Абстрактные объекты — 2 осн-х вида: а) объекты, возникающие в познании при интенсиональном употреблении имен; б) объекты, предст-щие собой некоторые св-ва или отн-ния предметов дейст-сти, превра-щенные в самост-ые предметы мысли.

В-19 Понятие признака .Виды признаков.

Признаками в логике наз-ют люб возможные хар-ки предметов, все, что можно высказать о предмете. В объектной действ-сти это все то, в чем одни предметы сходны м/у собой, другие — различны. Сходство и различие предметов в самой дейст-сти служат объект-ным основанием для отождествления и раз-личения их по соотв-щим признакам в про-цессе познания. Признаком может быть на-личие или отсутствие у предмета того или иного кач-ва, св-ва, состояния и т. п. или отн-ния предмета к др предметам. Признака-ми металлов яв-ся их кристалличность (кач-во), хорошая электропроводность (св-во), и что они не яв-ся сложными вещ-ми (отсут-ствие кач-ва); признаком Парижа яв-ся наличие у него такого отн-ния (к Франции как гос-ву) как «быть столицей», а одним из признаков Лиона — отсутствие такого отн-ния. Кач-ная опред-сть вещей позволяет хар-вать их как некоторые системы признаков и мысленно выделять их ТО, отличая от всего остального. Кажд читатель б/труда может указать множество хар-тик своих друзей и известных ему предметов, и при этом он за-метит, иногда хар-ки сводятся к наличию ка-ких-то черт, а иногда — к их отсутствию. В соврем-ой логике все указанные хар-ки, как и все др хар-ки отдельного предмета, обоб-щенно наз-ют свойствами . Св-ва, в данном широком смысле, то же самое, что признак, когда речь идет о хар-ках именно отдельных предметов. Оно отличается от отн-ния, пред-ставляющего собой хар-ку (признак) не от-дельного предмета, а хар-ку некоторых сис-тем — пар, троек, четверок... Таковы отн-ния «брат», «отец», «сын», «находится м/у», «параллельный» и т. п.

В-20 Определение как прием  познания. Операция определения яв-ся одной из наи-более важных в процессе познания. Она свя-зана с осн проблемой, опред-щей роль языка как ср-ва коммуникации познания, а именно, — с проблемой связи выражений языка с объектами, к-ые эти выражения должны представлять как знаки. Операция определе-ния связана с проблемой формир-я предмет-ных значений знаков языка, а вместе с этим и смысловых значений выражений языка. Отсюда возникает связь рассматриваемой операции с тем, что обозначают в педагоги-ке словами «понимание», «уяснение смыс-ла», «сознательное усвоение учебного мате-риала», «механическое запоминание» или злосчастная«зубрежка». Каждый, кто огля-нется на свое школ. прошлое, вспомнит, что ни одно доказ-тво, опровержение не обходи-тся без определений. Наличие опред-ний осн терминов доказ-ва — необходимое условие его осущ-ния. От наличия ясных определе-ний терминов в том или ином изложении материала зависит ясность и точность этого изложения.В логике и эпистемологии до сих пор не было точного и до сих пор нет обще-принятого опред-я самого термина «опреде-ление», а это значит, не ясно, что имеется в виду под данным термином, и все разговоры в таком случае могут превратиться, по сло-вам одного мыслителя, в «шелуху слов» вместо мыслей. Эту операцию хар-ют как операцию, посредством к-ой раскрывается содержание понятия. Однако, понятие всег-да хар-ся наличием какого-то содержания. «Понятие, содержание которого нераскры-то» — это просто не понятие. А если оно уже имеется, то зачем его раскрывать? При более точной трактовке определения, как приема познания, оно скорее есть способ введения понятий в науку, хотя и эта хар-ка не может быть отнесена ко всем опред-ям вообще. Но во всяком случае здесь речь идет уже не об операциях с понятиями. Эта опе-рация со словами, с выражениями языка. Основная цель, которой она подчинена, — обеспечение точных предметных значений слов языка как знаков. Поэтому она имеет большое значение для обеспечения опреде-ленности нашего мышления в той части, к-ая зависит от опред-сти предметных значе-ний языковых знаков. Последние опред-тся как раз для того, чтобы предотвратить такие ситуации, когда знаки отрываются от их предметных значений, мышление лишается предметного содержания и превращается в пустое словотворчество. ТО, от определений зависит точность нашего мышления.