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

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

Схема чисто условного  умозаключения:

Вывод в чисто условном умозаключении основывается на правиле: следствие следствия C есть следствие основания А.

Пример условного умозаключения: Если студент хорошо занимается в  течение семестра, то он хорошо сдает  сессию. Если студент хорошо сдает  сессию, то он получает стипендию. Следовательно, если студент хорошо занимается в течение семестра, то он получает стипендию.

Чисто условным называется умозаключение, обе посылки которого являются условными суждениями. Условным называется суждение, имеющее структуру: “Если а, то b”

Схема чисто  условного умозаключения:

(р -» q) ^ (q -> г) р->г

Вывод в чисто  условном умозаключении основывается на правиле: следствие следствия  есть следствие основания.

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

45. Энтимема. Способы образования и проверки энтимем

Энтимема — это  умозаключение, в котором опущена  одна из посылок или заключение сокращенный  силлогизм.

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

Силлогизм: все пороки заслуживают наказания. Курение — это порок. Курение заслуживает наказания 
Опускаем меньшую посылку — все пороки заслуживают наказания, поэтому курение заслуживает наказания 
Опускаем большую посылку — курение заслуживает наказания, потому что оно — порок 
Опускаем заключение — все пороки заслуживают наказания, а курения — это порок

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

46. Язык как знаковая система

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

Основным строительным материалом при конструировании  языка являются используемые в нем  знаки. Знак — это любой чувственно воспринимаемый предмет, выступающий  представителем другого предмета. Разделяют  знаки — образы и знаки — символы. Знаки — образы имеют определенное сходство с обозначаемыми предметами фото, отпечатки, а знаки — символы — нет азбука Морзе, нотные знаки.

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

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