Мышление как объект изучения логики

1Мышление как  объект изучения логики. Роль  мышления в познании. 
Мышление – высшая по отношению к чувственной форма отражения бытия, состоящая в целенаправленном о обобщенном познании человека, существенной связи и отношений действительности  
Логика - это наука об общезначимых формах и средствахмысли, необходимых для рационального познания в любой области.  
Мышление — процесс опосредствованного отражения действительности. При помощи органов чувств можно познать лишь то, что непосредственно воздействует или воздействовало на органы чувств.  
Мышление — процесс активного отражения действительности. Активность характеризует весь процесс познания в целом, но прежде всего — мышление. Применяя обобщение, абстрагирование и другие мыслительные приемы, человек преобразует знания о предметах действительности. 
Как ни велико значение мышления, оно основывается на данных, полученных с помощью органов чувств. С помощью мышления человек познает такие недоступные чувственному познанию явления, как движение элементарных частиц, законы природы и общества, но источником всех наших знаний о действительности являются в конечном счете ощущения, восприятия, представления. 
Итак, логика (в наиболее широком понимании ее предмета) исследует структуру мышления, раскрывает лежащие в его основе закономерности. При этом абстрактное мышление, обобщенно, опосредствованно и активно отражая действительность, неразрывно связано с языком. Языковые выражения являются той реальностью, строение и способ употребления которой дает нам знание не только о содержании мыслей, но и об их формах, о законах мышления.  
2 Формальная логика: ее  предмет, место и роль в системе научного знания. 
Логику принято называтьформальной, так как она возникла и развивалась как наука о формах мышления. Ее называют также традиционной, или аристотелевской логикой. Формальная логика изучает объективно сложившуюся структуру мыслительного процесса, установившиеся связи понятий и суждений при выведении нового знания в умозаключениях. Вполне естественно, что устойчивые связи элементов правильной мысли приобретают характер законов. Анализ таких связей наряду с описанием структурных форм мышления составляет предмет изучения формальной логики. Следовательно, предмет логики составляют:  
 
1. Законы, которым подчиняется мышление в процессе познания объективного мира.  
2. Формы мыслительного процесса – понятия, суждения и умозаключения.  
3. Методы получения нового выводного знания –сходства, различия сопутствующих изменений, остатков и другие.  
4. Способы доказательства истинности полученных знаний 
Задача формальной логики – установить правила обеспечения стройности и последовательности истинного мышления. Не охватывая всех сторон познавательного процесса, формальная логика не представляет собой всеобщего метода познания. Законы этой науки остаются специфическими законами мышления, они не распространяются на всю окружающую действительность. Особенностью предмета формальной логики служит также анализ форм и законов мышления вне их возникновения и развития.  
Следует подчеркнуть, что логика берет уже сложившуюся форму, рассматривая ее как нечто устоявшееся, без всякой собственной истории. 
3  Основные исторические этапы развития логики 
4  Понятие как форма мышления 
Окружающий нас мир предстает перед человеком не как скопление одинаковых предметов, а как множество предметов, явлений, процессов, наделенных различными свойствами. Любые свойства, черты, состояния, отношения предмета, которые характеризуют предмет, выделяют его, помогают распознать среди других, составляют его признаки. Признаком предмета называется то, чем предметы сходны друг с другом или чем они друг от друга отличаются. Признаками могут быть не только свойства, принадлежащие предмету; отсутствующее свойство также рассматривается как его признак. Любой предмет имеет множество разнообразных признаков. Признаки, которые необходимо принадлежат предмету, выражают его внутреннюю природу, его сущность, называются существенными. Признаки, которые могут принадлежать, но могут и не принадлежать предмету и которые не выражают сущности, называются несущественными. Каждый  из существенных признаков необходим, а в своей совокупности они достаточны для выделения предмета мысли из общей предметной среды. Понятие – логическая мысль о предмете, отражение предмета в его одном или нескольких существенных признаках 
5  Логические приемы образования понятий (анализ, синтез, сравнение, абстрагирование, обобщение) 
Для образования понятия необходимо найти и обосновать существенные признаки предмета. Анализ – мысленное расчленение предметов на их составные части, мысленное выделение в них признаков. Синтез -  мысленное соединение в единое целое частей предмета или его признаков, полученных в процессе анализа. Сравнение – мысленное установление сходства и различия предметов по существенным или несущественным признакам. Абстрагирование – мысленное выделение одних признаков предмета и временное отвлечение от других. Обобщение – мысленное объединение отдельных предметов в некотором понятии. В процессе обобщения человек как бы отходит от конкретного многообразия предметов, отвлекается от множества деталей, чтобы глубже познать основное, наиболее важное. Данные логические приемы взаимосвязаны и образуют единый процесс. Его результатом является мысль, содержание которой бесконечно разнообразно, но форма неизменно одна – понятие. 
6  Содержание и объем понятия 
Содержание – совокупность существенных признаков предмета, отраженных в данном понятии. Объем понятия – совокупность предметов, которые мыслятся в данном понятии. Логика оперирует такими понятиями как класс, подкласс, элемент класса. Классом или множеством, называется определенная  совокупность предметов, имеющих некоторые общие признаки. Класс включает в себя подкласс, или подмножество, элемент класса – предмет, входящий в данный класс. Класс состоящий из всех элементов исследуемой области, называется универсальным классом, если класс состоит из 1 элемента – единичный класс, класс не содержащий ни одного элемента – нулевой(вечный двигатель) 
7    Закон обратного отношения между содержанием и объемом понятия 
Содержание и объем понятия тесно взаимосвязаны, эта связь выражается в законе обратного отношения между объемом и содержанием понятия. Сущность: при увеличении содержания понятия  его объем уменьшается и наоборот. 
8    Виды понятий 
1) по объему: единичные – понятие, в котором мыслится 1 предмет, общие – мыслится множество предметов, бывают регистрирующими (множество мыслимых в нем предметов поддается учету) и нерегистрирующими (неопределенное число предметов), нулевые – объем которых представляет собой классы предметов, которые реально не существуют, и существование которых невозможно. 
2) по содержанию: конкретные – мыслится предмет или совокупность предметов как нечто самостоятельно существующее, абстрактные – мыслится не предмет, а какой-либо из признаков предмета, взятый  отдельно от самого предмета(белизна, честность),  относительные – мыслятся предметы, существование одного из которых предполагает существование другого(родители – дети), безотносительные – мыслятся предмет, существующие самостоятельно, вне зависимости от др предмета(правило, инвестиция), положительные – содержание которых составляют свойства, присущие предмету ( грамотный), отрицательные – в содержании которых указывается на отсутствие у предмета определенных свойств, собирательные – в которых группа однородных предметов мыслится как единое целое(лес, созвездие), несобирательные – содержание которых можно отнести к каждому предмету данного класса, который охватывает понятие 
9    Отношения между понятиями 
Конкретные виды отношений устанавливаются в зависимости от содержания и объема понятий, которые сравниваются. Если понятия не имеют общих признаков, далеки друг от друга по своему содержанию, то они называются несравнимыми. Сравнимыми называются понятия, отражающие некоторые общие существенные признаки предмета или класса однородных предметов. В логических отношениях могут находиться только сравнимые понятия. В зависимости от того, как соотносятся их объемы, понятия делятся на 2 группы: совместимые – понятия, объемы которых совпадают полностью или частично, и несовместимые – понятия, объемы которых не совпадают не в одном элементе, но которые могут быть включены частично или полностью в объем общего для них понятия. 
 
Совместимость: равнозначность – находятся совместимые понятия, объемы которых полностью совпадают; пересечение – совместимые понятия, у которых объемы частично совпадают; подчинение – совместимые понятия, объем одного из которых полностью входит в объем другого, составляя его часть. 
 
Несовместимость: в отношении соподчинения находятся 2 или более неперекрещивающихся понятия, входящих в общее родовое понятие; противоположность – понятия, которые являются видами одного и того же рода, и притом одно из них содержит, какие-то признаки, а другое эти признаки отрицает и заменяет противоположными признаками; противоречия - находятся такие 2 понятия, которые являются видами одного и того же рода, при этом одно понятие указывает на некоторые признаки, а другое эти признаки отрицает, исключает, не заменяя их никакими другими признаками 
10   Логическая операция обобщения понятия 
Обобщением называется логическая операция перехода от видового понятия  к родовому путем исключения из содержания данного видового понятия его видообразующего признака. Для соблюдения правильности обобщения необходимо последовательно переходить от вида к роду, включающему в себя данный вид. Пределом обобщения являются категории – наиболее общие фундаментальные понятия, отражающие существенные, закономерные связи объективной действительности и познания.  Изменяя объем исходного понятия, изменяется и его содержание, осуществляя тем самым переход к новому понятию – с большим объемом и меньшим содержанием. Логическая операция обобщения имеет большое значение в процессе мышления: переходя от понятий одного объема к понятиям другого объема, уточняем предмет нашей мысли, делаем наше мышление более определенным и последовательным. 
11   Логическая операция ограничения понятия 
Ограничением называется логическая операция перехода от родового понятия  к видовому путем прибавления к содержанию родового понятия видообразующего признака. Широко применяется в правовой деятельности, в частности при квалификации конкретного преступления. В этом случае осуществляется последовательный переход от понятия с большим объемом к понятию с меньшим объемом. При ограничении понятий важно соблюдать правило последовательного перехода от рода  к виду. Пределом ограничения является единичное понятие, потому что объем такого понятия уменьшить уже невозможно. Изменяя объем исходного понятия, изменяется и его содержание, осуществляя тем самым переход к новому понятию с меньшим объемом и большим содержанием. Логическая операция ограничения имеет большое значение в процессе мышления: переходя от понятий одного объема к понятиям другого объема, уточняем предмет нашей мысли, делаем наше мышление более определенным и последовательным.                                                                                                                     12   Логическая операция определения понятия. Виды определения 
Логическая операция, раскрывающая содержание понятия, называется определением. Суждение, раскрывающее содержание понятие – дефиницией. Понятие, содержанием которого требуется раскрыть, называется определяемым; понятие, раскрывающее содержаниеопределяемого понятия – определяющим. 
 
Определения делятся на 1) номинальные и реальные, 2) явные и неявные 
 
Номинальные – определение, посредством которого взамен описания какого-либо предмета вводится новый термин, объясняется значение термина, его происхождение; Реальные – определения, раскрывающие существенные признаки предмета. 
 
Явные определения раскрывают существенные признаки предмета; к неявным относятся определение через отношение предмета к своей противоположности, контексуальное, остенсивное и некоторые другие виды определений. Наиболее распространенным видом явных определений является определение через род и видовое отличие, и генетическое определение 
 
13 Определение через ближайший  род и видовое отличие 
Определение через род и видовое отличие, называемое классическим, - наиболее распространенный вид определения. Определение через род и видовое отличие состоит из двух понятий: определяемого и определяющего, а сама операция включает в себя 2 приема: 1) подведение определяемого понятия под более широкое по объему родовое понятие; 2) указание видового отличия, т.е. признака, отличающего определяемый предмет от других видов, входящих в данный род.  
 
Генетическим называется определение, указывающее на происхождение предмета, на способ его образования 
 
14   Правила определения понятий 
1) Определение должно быть соразмерным. Понятия соразмерности требует, чтобы объем определяемого понятия был равен объему определяющего, т.е. должны находиться в отношении равнообъемности. 
2) Определение не должно заключать в себе круга. Если при определении мы прибегаем к другому понятию, которое, в свою очередь, определяется при помощи первого, то такое определение содержит в себе круг. Разновидностью круга в определении является тавтология – ошибочное определение, в котором определяющее понятие повторяет определяемое 
3) Определение не должно быть ясным. Оно должно указывать на известные признаки, не нуждающиеся в определении и не содержащие двусмысленности. Если же понятие определяется через другое понятие, признаки которого неизвестны и которое само нуждается в определении, то это ведет к ошибке, называемой определением неизвестного через неизвестное, или определением х через у. 
4) Определение не должно быть отрицательным. Отрицательное определение не раскрывает определяемого понятия. Оно указывает, чем не является предмет, не указывая, чем он является. 
15   Логическая операция деления понятия. Виды деления 
Логическая операция, раскрывающая объем понятия, называется делением. В операции деления следует различать делимое понятие – объем которого следует раскрыть, члены деления -  соподчиненные виды, на которые делится понятие, основание деления – признак, по которому производится деление. Сущность деления в том, что предметы, входящие в объем  делимого понятия, распределяются по группам. Делимое понятие рассматривается при этом как родовое, и его объем разделяется на соподчиненные виды. Операция деления позволяет правильно распределить предметы по группам, изучить их, а, следовательно, глубже познать весь класс в целом. Виды: 1) Деление по видоизменению признака, основанием деления является признак, при изменении которого образуются видовые понятия, входящие в объем делимого 9родового) понятия. Основанием деления могут быть различные признаки делимого понятия. Выбор признака зависит от цели деления, от практических задач. 2)Дихотомическое деление, представляет собой деление объема делимого понятия на 2 противоречащих понятия. Д.Д. не всегда заканчивается установлением 2 противоречащих понятий. Иногда отрицательное понятие вновь делится на 2 понятия, что помогает выделить из большого круга предметов группу предметов 
16   Правила деления понятия 
1)Деление должно быть соразмерным. Объем членов деления должен быть равен в своей сумме объему делимого понятия 
2)Деление должно производиться только по одному основанию. В процессе деления избранный нами признак должен оставаться одним и тем же и не подменяться другим признаком 
3)Члены деления должны исключать друг друга. Если выбрано не одно основание, то члены деления – видовые понятия – будут находиться в отношении частичного совпадения. 
4)Деление должно быть непрерывным. В процессе деления родового понятия нужно переходить к ближайшим видам, не пропуская их. Нельзя переходить от деления на виды одного порядка к делению на виды другого порядка, такое деление лишено последовательности, оно называется скачком в делении 
17    Суждение: сущность и логическая структура 
Суждение – такая форма мышления,  в которой что-либо отрицается или утверждается о существовании предметов и явлений, о их связи между предметами и их свойствами или об отношениях между предметами. Языковой формой выражения суждения является  повествовательное предложение, в котором содержится какое-то сообщение, информация. Вопросительные и побудительные предложения, суждений не выражают, в них ничего не утверждается и не отрицается, они не истины, не ложны. Суждение, как и понятие, являясь структурой мышления, имеет свою внутреннюю структуру, Элементами логической структуры суждения являются субъект, предикат, связка и квантор. Субъект – понятие, отражающее предмет мысли, то, о чем мыслится в данном суждении(S). Предикат – понятие, отражающее признак предмета мысли, то, что мыслится о субъекте суждения(P). Связка выражает отношение, которое существует в суждении между субъектом и предикатом. Она характеризует принадлежность предмету мысли какого-либо свойства, отраженного в предикате, или его отсутствие (есть, не являются, имеется). Квантор указывает относится ли признак, выраженный в предикате суждения, ко всему объему понятия, выражающего субъект, или к части этого объема (все, некоторые, многие) 
18  Виды простых категорических суждений 
Простым называется суждение, выражающее связь 2 понятий или выраженное одним понятием, когда второе подразумевается. Простые суждения классифицируются по следующим основаниям: 1) по объему субъекта: единичные – суждения, включающие утверждение или отрицание об одном предмете субъекта  рассуждения (Это S есть/не есть P). Частные – суждения, в которых что –либо утверждается или отрицается о части предметов некоторого класса. Эта часть может быть определенной и неопределенной. Определенное частное суждение содержит знание и о той, и о другой части субъекта суждения (только некоторые S есть/не есть P). Неопределенное некоторые S есть/не есть P). Общие – суждения, в которых что- либо утверждается или отрицается о каждом предмете данного класса (все S есть P/ни одно S не есть P). 2)  по кач-ву связки: утвердительное суждение выражает принадлежность предмету некоторого признака. Отрицательное суждение выражает отсутствие у предмета некоторого признака. 3) по содержанию предиката: суждение свойства (атрибутивное) отражает принадлежность или непринадлежность предмету мысли того или иного свойства, состояния. Суждение существования (экзистенциальное) указывает на факт наличия или отсутствия того или иного предмета мысли. Суждение отношения (релятивное) выражает различные связи между предметами мысли по месту, времени, причинной зависимости. В классической логике выделяют также категорическое суждение, в котором утверждение или отрицание выражается без формулировки каких-либо условий и без каких-либо вариантов.Обычно к категорическим относят все атрибутивные суждения  
19. Объединенная классификация простых суждений 
Любое суждение имеет количественную и качественную определённость.  Поэтому в логике применяется объединённая классификация суждений по количеству и качеству. В результате получаем 4 вида суждений: 1)общеутвердительные; 2)общеотрицательные; 3)частноутвердительные; 4)частноотрицательные. Общеутвердительное суждение – общее по объёму субъекта и утвердительное по качеству связки. Его логическая структура: все S есть P, а символом служит латинская A. Все адвокаты – юристы. 
 
Общеотрицательное – общее по объёму субъекта и отрицательное по качеству связки. Логическая структура: ни одно S не есть P. Символ Е.  Ни одни подложный документ не является доказательством. 
 
Частноутвердительное – частное по объёму субъекта и  утвердительное по качеству связки. Некоторые S есть P. Символ I. Некоторые слушатели – юристы. 
 
Частноотрицательное – частное по объёму субъекта и отрицательное по качеству связки. Некоторые S не есть P. Символ O. Некоторые европейские страны не являются членами НАТО.  
Единичные суждения  в объединённой классификации приравниваются к общим.  
20. Распределенность терминов в суждениях. Правила распределенности терминов в основных видах простых категорических суждений: А, Е, I, О. 
С отношениями объёмов  терминов в суждении связана проблема их распределённости. 
Распределённым термин считается тогда, когда он взят в полном объёме. Термин считается нераспределённым, если он взят в части объёма. Исследование распределённости термина – подтверждение правильности связи субъекта и предиката в суждении. 
В общеутвердительном суждении A «все адвокаты – юристы» объём предиката P «юристы» шире объёма  субъекта S «адвокаты» и является его подчинённым понятием. Объём S составляет только часть объёма P, так что кроме S в объём P могут входить объёмы других понятий (прокуроры, следователи), значит, субъект S распределён, а предикат P не распределён. Во многих общеутвердительных суждениях предикат и субъект будут равнозначными понятиями (штраф – сумма, выплачиваемая нарушителем за совершённое правонарушение). Объёмы терминов совпадают, т.к. взяты в полном объёме=распределены. 
В общеотрицательном суждении «Ни один подложный документ не является доказательством» видна полная несовместимость субъекта S «подложный документ» и предиката P «доказательство», их объёмы полностью исключают друг друга, они распределены. 
В частноутвердительном суждении «некоторые студенты – юристы» субъект S «студенты» и предикат P «юристы» - перекрещивающиеся понятия, их объёмы частично совпадают, т.е. каждый термин взят в части объёма, значит, термины не распределены. В некоторых частноутвердительных суждениях объём субъекта шире объёма предиката. Некоторые студенты – отличники. Объём P «отличники» входит в объём S «отличники», поэтому объём субъекта только частично совпадает с объёмом предиката. В данном случае S не распределён, P распределён. 
В частноотрицательном суждении «некоторые студенты не отличники» S студенты не распределён, а Р отличники распределён. 
Правила распределённости 
1)       В общеутвердительных суждениях субъект распределён, предикат не распределён. Распределёнными оба термина будут в случае их равнозначности 
2)       В общеотрицательных суждениях оба термина всегда распределены, полностью исключают друг друга, являются несовместимыми понятиями 
3)       В частноутвердительных суждениях оба термина распределены, если они выражены перекрещивающимися понятиями. Если в частноутвердительном суждении предикат подчинён субъекты, тогда предикат будет распределён. 
4)       В частноотрицательных суждениях субъект не распределён, а предикат всегда расределён. 
5)       В единичных суждениях термины распределены, так же как они распределены в соответствующих общих суждениях.