Правомерность вывода, т.е. логического перехода от посылок к заключению, в категорическом силлогизме основывается на положе­нии (аксиоме силлогизма): все, что утверждается или отрицает­ся относительно всех предметов некоторого класса, утверждает­ся или отрицается относительно каждого предмета и любой части предметов этого класса.

Понятия и естественный язык.

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

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

Неполная индукция.

Неполной индукцией называется вид индуктивного умозаключения, в процессе которого получается вывод о всем классе предметов на основании исследования лишь некоторых однородных предметов данного класса. Напри­мер, анализируя случаи дорожно-транспортных происшес­твий, работники ГАИ констатируют и в одном, и в другом, и в третьем случаях связь аварии с употреблением водите­лем спиртных напитков. Это дает им основание делать вы­вод о том, что употребление спиртных напитков в боль­шинстве случаев является причиной, порождающей проис­шествия на дорогах.

Формула неполной индукции:

S1 есть Р

S2 есть Р

Sn есть Р

Но S1 S2, ., Sn принадлежит к классу K

В ы в о д: Классу K , присущ признак P

Неполная индукция делится на популярную и научную.

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

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

Полная логическая характеристика понятия.

Понятие — это форма мышления, отражающая предметы в их существенных признаках.

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

Понятие — одна из основных форм научного познания. Форми­руя понятия, наука отражает в них изучаемые ею предметы, явления, процессы.

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

Множество предметов, которое мыслится в понятии, называ­ется объемом понятия. Объем понятия «преступление» охватывает все преступления, поскольку они имеют общие существенные при­знаки.

Логика оперирует также понятиями «класс» («множество»), «подкласс» («подмножество») и «элемент класса».

Классом, или множеством, называется определенная совокуп­ность предметов, имеющих некоторые общие признаки. Класс (множество) может включать в себя подкласс, или подмно­жество. Например, класс студентов включает в себя подкласс сту­дентов юридических вузов, класс преступлений — подкласс эконо­мических преступлений.

Отношение элемента к классу выражается при помощи знака е:

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

Содержание и объем понятия тесно связаны друг с другом. Эта связь выражается в законе обратного отношения между объемом и содержанием понятия, который устанавливает, что увеличение со­держания понятия ведет к образованию понятия с меньшим объ­емом, и наоборот.

Мышление, закон мышления.

1 . Мышление отражает действительность в обобщенных обра­зах. В отличие от чувственного познания мышление абстрагируется от единичного, выделяет в предметах общее, повторяющееся, суще­ственное

2. Мышление — процесс опосредствованного отражения дей­ствительности. При помощи органов чувств можно познать лишь то, что непосредственно воздействует или воздействовало на ор­ганы чувств. Знание, полученное из уже имеющихся знаний, без обращения в каждом конкретном случае к опыту, к практике, называется вывод­ным, а сам процесс его получения — выведением.

3. Мышление неразрывно связано с языком. Какая бы мысль ни возникла в голове человека, она может возникнуть и существовать лишь на базе языкового материала, в словах и предложениях.

4. Мышление — процесс активного отражения действитель­ности. Активность характеризует весь процесс познания в целом, но прежде всего — мышление. Применяя обобщение, абстрагирование и другие мыслительные приемы, человек преобразует знания о пред­метах действительности, выражая их не только средствами естест­венного языка, но и в символах языка формализованного, играюще­го важную роль в современной науке.

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

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

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

Дедуктивные умозаключения.

Дедуктивными называ­ется умозаключение, в котором переход от общего знания к част­ному является логически необходимым.

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

Виды простых суждений.

1. Атрибутивным называется суждение о признаке предмета. В нем отражает­ся связь между предметом и его признаком, эта связь утверждается или отрицается.

Атрибутивные суждения называют также категорическими. Атрибутивное, или категорическое, суждение состоит из субъек­та, предиката и связки; его логическая схема S—Р, где S — субъект суждения, Р — предикат суждения, «—» — связка.

Субъектом суждения называется понятие о предмете суждения. Понятие о признаке предмета называется предикатом суждения. Связка выражает отношение между субъектом и предикатом.

Субъект и предикат называются терминами суждения.

Субъект и предикат образуют суждение посредством связки. Ус­танавливая принадлежность или не принадлежность признака пред­мету, связка объединяет термины суждения в единое целое. Благо­даря этой функции связка является необходимым элементом суж­дения.