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

3.) Обьед классиф. сужд. обьеденяя калич. и кач. характерист. сужд., последние можна разделить на (эта классиф не для еденич. сужд.):

а.)  A общеутв.- общ. по колич. и утв. по кач., «Каждый прест. подлеж. наказ.» (Все- квантарное слово, указ. на колич. S суть- связка, указ. на кач. A).

б.) E общеотрец.- общ. по колич. и отрец. по кач., «Ни один прест. не должен уйти от ответств.» (Ни одно S не есть P)

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

г.) O частноотрец.- частн. по колич. и отрец. по кач., «Некотор приг. суда не яв. обвин.» (Некотор S не суть P)

 

15. Распределённость терминов в суждениях.

Суждение- ф.м., в кот. утвержд. или отр. связь межджу предметом и его признаком, отнош. между предметами, или факт существ. предм., связь понятий, (S-P), субьет-предмет, и предикат-признак, связука, квантор (колич.),, связь выраж. посредством утв. или отр. свойства предм, простым или сложным. (Кони –«есть» адвокат, Жаба- «не есть» мышь), сужд. может быть либо ист. либо ложным, соотв. действит., либо нет. «Иванов- сотрудник милиции».Повеств. предлож или ретор. вопр.Лог. опер. над сужд.- действие над этой формой мышления, в некоторой степени измен. её, с целью достижения какой-либо цели, результата.

В лог. опер с сужд. возникает необход. уст., распред. или нераспред. его термины- S и P. Термин счит. распред., если он взят в полном V. Термин счит. нераспред., если он взят в части V. Рассмотрм как распред. термины в сужд. A, E, I, O.

A Общеутв.- Все S суть P, «все студ. нашей гр.⁺ сдали экз.^-», все студ. наш. гр.- полный v S, но не все кто вообще когда-либо здал экз.- неполн.v P. Поглащение v S, круги. Но в общевыд. сужд. распред и S, и P- Все преступ., и только преступ,- предусмотр. зак. общественноопасн. деян..

E Общеотр.- Ниодно S не есть P, «ниодин студ. нашей гр.⁺ не сдал экз.⁺», S и P взяты в полном V. vS полностью искл. из vP, ни один студ. наш. гр. не входит в числ. неуспев. и ниодин неуспев. не яв. студ. нашей гр.. Круги не пересек..

I Частноутв.- Некотор. S суть P, «Некотор. студ. нашей гр.^- - отличники^-», не все студ. наш. гр. отл. и не все отл.- стед. наш. гр., ни S, ни P распред., частич включ. одного V в другой. Пересичение кругов. Искл.: частновыд. сужд., P кот. полностью входит. в vS. «Некотор. родит., и только они, яв. многодет.».

O Частноотрец.- Некотор. S не суть P. «Некотор. студ. нашей. гр.^-- не отл.⁺», S сужд. непраспред., т.к. мыслится лишь часть студ. нашей гр., P же взят в полном V, т.к. мыслятся весь массив отличников, следовательно S распред, а P нет.

Итак: S⁺ в общих A и E, S^-  в частн. I и O, P⁺ в отрец. E и O, P^- в утв. A и I. В общеутв. и частновыдел. сужд. P⁺.

 

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

Суждение- ф.м., в кот. утвержд. или отр. связь межджу предметом и его признаком, отнош. между предметами, или факт существ. предм., связь понятий, (S-P), субьет-предмет, и предикат-признак связка, квантор (колич.), связь выраж. посредством утв. или отр. свойства предм. (Кони –«есть» адвокат, Жаба- «не есть» мышь), сужд. может быть либо ист. либо ложным, соотв. действит., либо нет, простым или сложным. «Иванов- сотрудник милиции».Повеств. предлож или ретор. вопр.

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

Четыре вида:

1.) соеденительные(коньюктивные)- сужд, сост. из нескольких простых. сужд. (коньюнктов) связан. связ. «и»: а, но, а также, как и, хотя, однако и др.. «p^q^r…». (Кража и мошеничество относ. к умыш. прест.= кр. относ. к умыш. прест.(1 посыл.) и мошен. относ. к умыш. прест. (2 посыл.), лог. умнож.). В яз. соед. сужд. может быть выраж. одной из трёх лог.-граммат. структур:

а.) S₁ и S₂ есть P: Конфиск. имущ. и лишен. звания яв. пр. санкц..

б.) S есть P₁ и P₂: Прест.- это общественноопасн. и противоправ. деян..

в.) S₁ и S₂ есть P₁ и P₂: С газом и электр. надо быть внимат. и осторож..

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

2.) разделительные(дизьюнкт.)- сужд., сост. из нескольких прост. сужд. (дизьюнктов), связ. лог. связ. «или»: или, либо, или-или, либо-либо. (число может быть чёт. или нечёт.= ч.м. чёт. или ч.м. нечёт.) «pvqvr…», «или», «+». В ях. разделю. сужд. может быть выраж. одной из трёх лог.-граммат. структур:

а.) S₁ или S₂ есть P: Хищение в крупн. разм. или соверш. гр. лиц имеет повыш. обществ. опесн..

б.) S есть P₁ или P₂: Хищ. наказ. исправ. работ или тюрем. заключ.

в.) S₁ или S₂ есть P₁ или P₂: Ссылка или высалка могут примен. в чак. основ. или дополн. наказ..

Связка «или» употреб. в яз. в соед.-раздел. и искл.-раздел. знач., всязи с этим след. различ. нестрогую(слабаю)- соед.-раздел. знач., «v» (холодн. оруж. может быть колющ. или реж., т.е. кол. или реж, или и тем и другим) сужд. будет ист. при ист. хотя бы одного дизьюнкта и лож. при лож. всех дизьюнктов, (отл. друг от друга по смыслу)  и строгую(сильную) дизьюнкц- искл.-раздел. знач., дизьюнкты- альтернативы не могут быть одновремен. ист., «vv» (Рука может быть правой или левой, т.е. не какой друго больше и не той не другой одновремен.), выраж. будет. ист. при ист. одного и лож. другогог, ложно при ист./лож. обоих дизьюнктов.

Полн.(закрыт.) <pvqvr>- перичисл. все виды или признаки опред. рода, и неполн.(открыт.) дизьюнкц. pvqvr «т.д., т.м., др. и иные»- перечисл. не все признаки или виды рода.

3.) условные (импликат.)- наз. сужд., сост. из двух прост сужд., связ. лог. связ. «если…, то…»: там, где; тогда, когда; постольку, поскольку. (Если встанет солнце(предшеств., антецендент), то станет светло(последующие, консеквент)) «p→q», «=».

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

ИИИ- если вз. сол., то с  уверенностью можно заяв., что стало  светло.

ИЛЛ- если вз. с., а светло не ст., то это ложн. высказ..

ЛИИ- если с. невст., а светло стало, то это тоже верно, т.к. св. может ст. и от лампочки.

ЛЛИ- если с. невз., св. не ст, то это выраж. ист., т.к. без появ. св. солнце не бывает.

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

4.) эквивалентные (двойная импликация)- сужд. включ. в кач. сост. два прост. сужд., связ двойной (прямой и обратной) условной завис. ,выраж. лог. связ. «если, и только если…, то…»: лишь при условие что…, то…; в то и только том случае когда…, тогда…; тогда и тольк тогда…, когда… (Если и только если солнце взойдёт, то наступит утро) «↔» Сужд. ист., когда оба ист/лож., и лож., когда одно ист.,  а др. лож.. Ист. одного достаточна для признания ист. другого, отнош. между ними характ. как необходимое.

 

17. Соединительные суждения, его строение и условие истинности.

Суждение- ф.м., в кот. утвержд. или отр. связь межджу предметом и его признаком, отнош. между предметами, или факт существ. предм., связь понятий, (S-P), субьет-предмет, и предикат-признак,связка  квантор (колич.),, связь выраж. посредством утв. или отр. свойства предм. (Кони –«есть» адвокат, Жаба- «не есть» мышь), сужд. может быть либо ист. либо ложным, соотв. действит., либо нет, простым или сложным. «Иванов- сотрудник милиции».Повеств. предлож или ретор. вопр.

Сложным наз. сужд., сост. из нескольких простых сужд., связ. лог. связ., ист. сл. сужд. опред. ист. простых. Коньюнкт, дизьюнкт.(строг/нестрог) импликат, эквивол..

1.) соеденительные(коньюктивные)- сужд, сост. из нескольких простых. сужд. (коньюнктов) связан. связ. «и»: а, но, а также, как и, хотя, однако и др.. «p^q^r…». (Кража и мошеничество относ. к умыш. прест.= кр. относ. к умыш. прест.(1 посыл.) и мошен. относ. к умыш. прест. (2 посыл.), лог. умнож.). В яз. соед. сужд. может быть выраж. одной из трёх лог.-граммат. структур:

а.) S₁ и S₂ есть P: Конфиск. имущ. и лишен. звания яв. пр. санкц..

б.) S есть P₁ и P₂: Прест.- это общественноопасн. и противоправ. деян..

в.) S₁ и S₂ есть P₁ и P₂: С газом и электр. надо быть внимат. и осторож..

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

 

 

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

Суждение- ф.м., в кот. утвержд. или отр. связь межджу предметом и его признаком, отнош. между предметами, или факт существ. предм., связь понятий, (S-P), субьет-предмет, и предикат-признак, связка, квантрор (колич.), связь выраж. посредством утв. или отр. свойства предм. (Кони –«есть» адвокат, Жаба- «не есть» мышь), сужд. может быть либо ист. либо ложным, соотв. действит., либо нет, простым или сложным. «Иванов- сотрудник милиции».Повеств. предлож или ретор. вопр.

Сложным наз. сужд., сост. из нескольких простых сужд., связ. лог. связ., ист. сл. сужд. опред. ист. простых. Коньюнкт, дизьюнкт.(строг/нестрог) импликат, эквивол..

2.) разделительные(дизьюнкт.)- сужд., сост. из нескольких прост. сужд. (дизьюнктов), связ. лог. связ. «или»: или, либо, или-или, либо-либо.  (число может быть чёт. или нечёт.= ч.м. чёт. или ч.м. нечёт.) «pvqvr…», «или», «+». В ях. разделю. сужд. может быть выраж. одной из трёх лог.-граммат. структур:

а.) S₁ или S₂ есть P: Хищение в крупн. разм. или соверш. гр. лиц имеет повыш. обществ. опесн..

б.) S есть P₁ или P₂: Хищ. наказ. исправ. работ или тюрем. заключ.

в.) S₁ или S₂ есть P₁ или P₂: Ссылка или высалка могут примен. в чак. основ. или дополн. наказ..

Связка «или» употреб. в яз. в соед.-раздел. и искл.-раздел. знач., всязи с этим след. различ. нестрогую(слабаю)- соед.-раздел. знач., «v» (холодн. оруж. может быть колющ. или реж., т.е. кол. или реж, или и тем и другим) сужд. будет ист. при ист. хотя бы одного дизьюнкта и лож. при лож. всех дизьюнктов, (отл. друг от друга по смыслу)  и строгую(сильную) дизьюнкц- искл.-раздел. знач., дизьюнкты- альтернативы не могут быть одновремен. ист., «vv» (Рука может быть правой или левой, т.е. не какой друго больше и не той не другой одновремен.), выраж. будет. ист. при ист. одного и лож. другогог, ложно при ист./лож. обоих дизьюнктов.

Полн.(закрыт.) <pvqvr>- перичисл. все виды или признаки опред. рода, и неполн.(открыт.) дизьюнкц. pvqvr «т.д., т.м., др. и иные»- перечисл. не все признаки или виды рода.

 

 

 

19. Условные сукждения, строение и условие истинности.

Суждение- ф.м., в кот. утвержд. или отр. связь межджу предметом и его признаком, отнош. между предметами, или факт существ. предм., связь понятий, (S-P), субьет-предмет, и предикат-признак ,связка, квантор (колич.), связь выраж. посредством утв. или отр. свойства предм. (Кони –«есть» адвокат, Жаба- «не есть» мышь), сужд. может быть либо ист. либо ложным, соотв. действит., либо нет, простым или сложным. «Иванов- сотрудник милиции».Повеств. предлож или ретор. вопр.

Сложным наз. сужд., сост. из нескольких простых сужд., связ. лог. связ., ист. сл. сужд. опред. ист. простых. Коньюнкт, дизьюнкт.(строг/нестрог) импликат, эквивол..

3.) условные (импликат.)- наз. сужд., сост. из двух прост сужд., связ. лог. связ. «если…, то…»: там, где; тогда, когда; постольку, поскольку. (Если встанет солнце(предшеств., антецендент), то станет светло(последующие, консеквент)) «p→q», «=».

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

ИИИ- если вз. сол., то с уверенностью можно заяв., что стало светло.

ИЛЛ- если вз. с., а светло не ст., то это ложн. высказ..

ЛИИ- если с. невст., а светло стало, то это тоже верно, т.к. св. может ст. и от лампочки.

ЛЛИ- если с. невз., св. не ст, то это выраж. ист., т.к. без появ. св. солнце не бывает.

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

 

 

 

20. Эквивалентные суждения, строение и условие истинности.

Суждение- ф.м., в кот. утвержд. или отр. связь межджу предметом и его признаком, отнош. между предметами, или факт существ. предм., связь понятий, (S-P), субьет-предмет, и предикат-признак,связка, квантор (колич.), связь выраж. посредством утв. или отр. свойства предм. (Кони –«есть» адвокат, Жаба- «не есть» мышь), сужд. может быть либо ист. либо ложным, соотв. действит., либо нет, простым или сложным. «Иванов- сотрудник милиции».Повеств. предлож или ретор. вопр.

Сложным наз. сужд., сост. из нескольких простых сужд., связ. лог. связ., ист. сл. сужд. опред. ист. простых. Коньюнкт, дизьюнкт.(строг/нестрог) импликат, эквивол..

4.) эквивалентные (двойная импликация)- сужд. включ. в кач. сост. два прост. сужд., связ двойной (прямой и обратной) условной завис. ,выраж. лог. связ. «если, и только если…, то…»: лишь при условие что…, то…; в то и только том случае когда…, тогда…; тогда и тольк тогда…, когда… (Если и только если солнце взойдёт, то наступит утро) «↔» Сужд. ист., когда оба ист/лож., и лож., когда одно ист.,  а др. лож.. Ист. одного достаточна для признания ист. другого, отнош. между ними характ. как необходимое.

 

21. Логические отношения между суждениями, логический квадрат

Суждение- ф.м., в кот. утвержд. или отр. связь межджу предметом и его признаком, отнош. между предметами, или факт существ. предм., связь понятий, (S-P), субьет-предмет, и предикат-признак,связка, квантор (колич.), связь выраж. посредством утв. или отр. свойства предм. (Кони –«есть» адвокат, Жаба- «не есть» мышь), сужд. может быть либо ист. либо ложным, соотв. действит., либо нет, простым или сложным. «Иванов- сотрудник милиции».Повеств. предлож или ретор. вопр.

Сложным наз. сужд., сост. из нескольких простых сужд., связ. лог. связ., ист. сл. сужд. опред. ист. простых. Коньюнкт, дизьюнкт.(строг/нестрог) импликат, эквивол..

Основу отнош. между сужд. сост. их сходство по смыслу и лог. знач. (истинности и лож.). В силу этого отнош. уст. лишь между сравнимыми (имеющ. общ. смысл.) сужд..

Отнош. между прост. сужд.

Несравнимыми среди прост. сужд. яв. сужд., имеющие различные S и P. «Среди космонавтов есть военные» и «Среди космонавтов есть собаки»

Сравнимыми яв. сужд. с одинак. S и P и различ. связкой или квантаром

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

Так среди сравнимых различ.

1.) отнош. совместимости- сужд., кот. одновремен. могут быть ист.:

а.) эвивалентными яв. сужд, имеющие одинак. лексич. характ.: S и P, однатипную утв. или отрец. связку, одну и тужу колич. характ., выраж. квантаром, различие лишь в словах, языке или др., смысл один и тот же. С помощью лог. кв. отнош. между эквивал. сужд. не регестрир..

б.) частич. совмесит. характ. дял сужд. I и O, кот .могут быть одновремен. ист., но не могут быть одновремен. лож.. Приложности одного из них др. будет лож. (Некотор. звери яв. хищ.=Некотр. звери не яв. хищь.) .

в.) подчинение имеет место между A и I, E и O. При ист. общего сужд. частное всегда будет ист.: A→I, E→O (Все пр.-о. рег. пр.= Некотор. пр.-о. рег. пр., Ни один. студ. не яв. двоеш.= Некотор. студ. неяв. двоеш.), но при лож. общ. сужд., част. сужд. может быть как ист., так и лож.. При лож. частн. сужд., общ. суж. также будет лож., а при ист. частн. сужд., общ. сужд. может быить и ист. и лож. (Берите придыбущие примеры!!!)