Шпора по Логике
21. Логические отношения между суждениями, логический квадрат
Суждение- ф.м., в кот. утвержд. или отр. связь межджу предметом и его признаком, отнош. между предметами, или факт существ. предм., связь понятий, (S-P), субьет-предмет, и предикат-признак,связка, квантор (колич.), связь выраж. посредством утв. или отр. свойства предм. (Кони –«есть» адвокат, Жаба- «не есть» мышь), сужд. может быть либо ист. либо ложным, соотв. действит., либо нет, простым или сложным. «Иванов- сотрудник милиции».Повеств. предлож или ретор. вопр.
Сложным наз. сужд., сост. из нескольких простых сужд., связ. лог. связ., ист. сл. сужд. опред. ист. простых. Коньюнкт, дизьюнкт.(строг/нестрог) импликат, эквивол
Основу отнош. между сужд. сост. их сходство по смыслу и лог. знач. (истинности и лож.). В силу этого отнош. уст. лишь между сравнимыми (имеющ. общ. смысл.) сужд
Отнош. между прост. сужд.
Несравнимыми среди прост. сужд. яв. сужд., имеющие различные S и P. «Среди космонавтов есть военные» и «Среди космонавтов есть собаки»
Сравнимыми яв. сужд. с одинак. S и P и различ. связкой или квантаром
Отнош. между сужд. обычно рассматр. с помощью лог. квадрата (мнемонической схемы). Его верш. сиволиз. прост. категор. сужд.- A, E, I, O, стороны и диоганали- отнош. между сужд
Так среди сравнимых различ.
1.) отнош. совместимости- сужд., кот. одновремен. могут быть ист.:
а.) эвивалентными яв. сужд, имеющие одинак. лексич. характ.: S и P, однатипную утв. или отрец. связку, одну и тужу колич. характ., выраж. квантаром, различие лишь в словах, языке или др., смысл один и тот же. С помощью лог. кв. отнош. между эквивал. сужд. не регестрир
б.) частич. совмесит. характ. дял сужд. I и O, кот .могут быть одновремен. ист., но не могут быть одновремен. лож Приложности одного из них др. будет лож. (Некотор. звери яв. хищ.=Некотр. звери не яв. хищь.) .
в.) подчинение имеет место между A и I, E и O. При ист. общего сужд. частное всегда будет ист.: A→I, E→O(Все пр.-о. рег. пр.= Некотор. пр.-о. рег. пр., Ни один. студ. не яв. двоеш.= Некотор. студ. неяв. двоеш.), но при лож. общ. сужд., част. сужд. может быть как ист., так и лож При лож. частн. сужд., общ. суж. также будет лож., а при ист. частн. сужд., общ. сужд. может быить и ист. и лож. (Берите придыбущие примеры!!!)
2.) отнош. несовместимости- несовместимыми яв. сужд. A и E, Aи O, E и I, кот. одновремен. не могет быть ист Различ. два вида несовмест.6
а.) противоположными (контрасностыми) яв. A и E кот. не могут быть одновремен. ист., но могут быть одновремен. лож Ист. одного опред. лож. другого. (Все гр. яв. людьми= ни один гр. не яв. чел.)
б.) противоречещеми (котрадикторностными)- яв. сужд. Aи O, E и I, кот. одновремен. не огут быть ни ист., ни лож (альтернативная несовместимость) (Все людям свойств. ошибатся= Некотор людям не свойствено ошиб.)
Еденич.сужд. могут наход. только в отнош. противореч., т к отдел. предм. либо присущ, либо неприсущ. опред. признак. (См. примеры выше!!!)
Отнош. между сложн. сужд.
Сложн. сужд. также могут быть сравним. и несравин.
Несравн.- те, кот. не имеют общих пропазиционных переменых (p^q и m^n)
Сравнимые- те, кот. имеют одинак. пропазиц. перемен. (составляющие) и различ. лог. связками, включ. отрец (РФ и Норвег. имеют выхода в море=Ни РФ, Норвег. не имеют выжода к морю). Сравнимые сужд. могут быть:
1.) совместимыми наз. такие сужд., кот. одновремен. могут быть ист
а.) Эквивал.- сужд, кот. принем. одни и теже знач., т.е. одновремен. яв. либо ист., либо лож (↔)
б.) Частично совмест.- сужд., кот могут быть однавремен ист., но не могут быть одновремен лож (v)
в.) подчинение- если ист. подчиняющ., то ист. и подчинён (→)
2.) несовместиными- сужд., кот. одновремен. не могут быть ист
а.) противоположность- сужд. не могут быть одновремен. ист., но могут быть одновремен лож
б.) противоречие- сужд. не могут быть одновремен ни ист., ни ложн., если 1 ист, то 2 лож, и наоборот
(Все примеры см. выше!!!)
22. Выделяющие и искл. сужд.
Суждение- ф.м., в кот. утвержд. или отр. связь межджу предметом и его признаком, отнош. между предметами, или факт существ. предм., связь понятий, (S-P), субьет-предмет, и предикат-признак, связка, квантор (колич.),, связь выраж. посредством утв. или отр. свойства предм. (Кони –«есть» адвокат, Жаба- «не есть» мышь), сужд. может быть либо ист. либо ложным, соотв. действит., либо нет. «Иванов- сотрудник милиции».провеств. предлож. или ретор. вопр.
Выдел. и искл. сужд. занем. особое место в классиф. сужд колич. характ. сужд. уст. обьём S, а обьём P остаётся неопред «Иванов- свид. происшеств.», единственный или были ещё?
1.) Выдел. сужд. устран. эту неопределённость, они отраж. тот факт, что признак, выраженный P, принадлежит/не принадлеж. только данному, и никакому другому, предмету. Выдел. сужд. могут быть:
а.) един. (Иванов, и только Ив. яв. свидет. прест., S, и только S,. есть P, vS=vP),
б.) частн. (Столдицами могут быть только гор., и притом только некотор их часть, некотор. прест. рецедевисты, Некотор. S, и только S, суть P, vP€vS), Частные вадел. сужд. (уточн. v P)- некотор прест., и только прест.-рецедивистами, не следует смешивать с опред. частн. сужд. (уточн. v S)- только некотор. свид. дали показ.= некотор свид. есть давшие показ
в.) общ. ( Все прест., и только прест.,- предусмотр. зак. общестенноопасн. деяния, Все S, и только S, суть P, vS и vP полностью совпад.)
2.) Искл. наз. сужд., в кот. отраж. принадлежность (или непринвдлеж.) признака всем предм., за искл. некотор. части. (Все студ. нашей группы, кроме Петрова, сдали экз., кромк, заискл., помимо, не считая, Все S, за искл. S1, суть P)
Выдел. и иск. сужд. характ. точностью и определённостью что носит свою лепту в становление рационального мышления.
23. Логика вопроса, виды вопросов и ответов, их роль в судопроизводстве.
Чел. в ходен своеё жизнедеят. свойствено получать ноывую иформ Часто он это делает посредством вопросов и ответов. Граммат формой вопр. яв. вопрос. предлож
Вопрос- это это выраж. в вопрос. предлож. мысль, направ. на уточнение или дополн. исходного, или базисного знания. В проц. познан. любой вопр. опир. на какое-либо исход. знание, выступ. его базисом и яв. предпосылкой вопр
Ответ- новое сужд., уточн. или дополн. в соотв. с постав. вопр. исходное знание, задача: восполнить пробел в знаниях.
Рассмотрим основ. виды вопр. с учётом сумантики, функций, структуры и отнош. к обсужд. теме.
1.) семантика вопросов: т.к. вопр. не чего не утв. его нельзя оцен. как ист. или лож Можно лишь оценить лишь ист. или лож. базиса, знаний, на основание кот. задаётся вопр.: вопр. бывают корректные (ист. базиса не оспаривается) и некорректные (ист. базиса неустановлена, На каком топливе летают НЛО?, но есть ли НЛО вообще?, сознательно задатый так. вопр. наз. провакационным).