Логика как наука о мышлении. Предмет и объект логики.

1.Слово «логика» происходит от греческого logos, что означает «мысль», «слово», «разум», «закономерность». В современном языке это слово используется, как правило, в трех значениях:

1)для обозначения закономерностей и взаимосвязей между событиями или поступками людей в объективном мире; в этом смысле довольно часто говорят о «логике фактов», «логике вещей», «логике событий», «логике международных отношений», «логике политической борьбы» и т.д.;

2)для обозначения строгости, последовательности, закономерности процесса мышления; при этом употребляются выражения: «логика мышления», «логика рассуждения», «железная логика рассуждений», «в выводе отсутствует логика» и др.

3)для обозначения особой науки, которая изучает логические формы, операции с ними и законы мышления.

Объектом логики как науки является мышление человека. Предметом логики являются логические формы, операции с ними и законы мышления.

2. Понятие логического закона. Законы и формы мышления.

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

Закон тождества. Всякое высказывание тождественно са­момусебе:А = А

Закон непротиворечия. Высказывание не может быть од­новременно истинным и ложным. Если высказывание А - истинно, то его отрицание не А должно быть ложным. Сле­довательно, логическое произведение высказывания и его отрицания должнобыть ложно: A & A = 0

Закон исключенного третьего. Высказывание может быть либо истинным, либо ложным, третьего не дано. Это означа­ет, что результат логического сложения высказывания и его отрицания всегда принимает значение истина: A v A = 1

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

Различают три основные формы мышления: понятие, сужде­ние и умозаключение.

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

Суждение -это форма мышления, содержа­щая утверждение или отрицание какого-либо положения относи­тельно предметов, явлений или их свойств.

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

Становление науки логики, этапы ее развития.

1 этап - Аристотель. Он пытался найти ответ на вопрос: "Как мы рассуждаем". Он подверг анализу человеческое мышление, его формы – понятие, суждения, умозаключения. Так возникла формальная логика – наука о законах и формах мышления.	АРИСТОТЕЛЬ (лат. Aristotle) (384-322г. до н. э.), древнегреческий ученый, философ
2 этап – появление математической или символической логики. Основы ее заложил немецкий ученый Готфрид Вильгельм Лейбниц.Он сделал попытку заменить простые рассуждения действиями со знаками.	Готфрид Вильгельм Лейбниц (1646-1716) немецкий философ, математик, физик, языковед.
3 этап - окончательно развил эту идею англичанин Джордж Буль, он явился основоположником математической логики. В его работах логика пиобрела свой алфавит, орфографию и грамматику. Начальный раздел математической логики назвали алгеброй логики или Булевой алгеброй.	Джордж Буль (1815-1864). Английский математик и логик.
Джордж фон Нейман в основу работы компьютера заложил математематический аппарат, использующий законы математической логики.

Пример расширения объёма понятия с одновременным уменьшением содержания

МГУ → Государственный университет → Университет → ВУЗ → Учебное (образовательное) заведение → Учреждение образования → Учреждение → Организация → Субъект публичного права → Субъект права

Закон применим только при вхождении объёма одного понятия в объём другого, например: «животное» - «собака». Закон не работает для несовпадающих понятий, например: «книга» - «кукла».

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

Виды понятий.

Понятия принято делить на следующие виды: 1) единичные и общие, 2) собирательные и несобирательные, 3) конкретные и абстрактные, 4) положительные и отрицательные, 5) безотносительные и соотносительные.

1. Понятия делятся на единичные и общие в зависимости от того, мыслится в них один элемент или множество элементов. Понятие, в котором мыслится один элемент, называется единичным (например, «Москва», «Л.Н. Толстой», «Российская Федерация»). Понятие, в котором мыслится множество элементов, называется общим (например, «столица», «писатель», «федерация»).

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

2. Понятия делятся на собирательные и несобирательные.

Понятия, в которых мыслятся признаки некоторой совокупности элементов, составляющих единое целое, называются собирательными. Например, «коллектив», «полк», «созвездие». Эти понятия отражают множество элементов (членов коллектива, солдат и командиров полка, звезд), однако это множество мыслится как единое целое. Содержание собирательного понятия нельзя отнести к каждому отдельному элементу, входящему в его объем, оно относится ко всей совокупности элементов. Например, существенные признаки коллектива (группа лиц, объединенных общей работой, общими интересами) неприложимы к каждому отдельному члену коллектива.

Понятие, в котором мыслятся признаки, относящиеся к каждому его элементу, называется несобирательным. Таковы, например, понятия «звезда», «командир полка», «государство».

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

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

4. Понятия делятся на положительные и отрицательные в зависимости от того, составляют ли их содержание свойства, присущие предмету, или свойства, отсутствующие у него.

5. Понятия делятся на безотносительные и соотносительные в зависимости от того, мыслятся ли в них предметы, существующие раздельно или в отношении с другими предметами.

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

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

6. Отношения между понятиями. +++++++++++

Сравнимые понятия. По содержанию могут быть два основных вида отношений между понятиями - сравнимость и несравнимость. При этом сами понятия соответственно называются сравнимыми и несравнимыми.

Сравнимые понятия имеют разделение на совместимые и несовместимые.

Отношения совместимости могут быть трех видов. Сюда входят равнозначность, перекрещивание и подчинение.

Равнозначность. Отношение равнозначности иначе называется тождеством понятий. Оно возникает между понятиями, содержащими один и тот же предмет. Объемы этих понятий совпадают полностью при разном содержании. В этих понятиях мыслится либо один предмет, либо класс предметов, содержащий более чем один элемент. Говоря более просто, в отношении равнозначности находятся понятия, в которых мыслится один и тот же предмет. В качестве примера, иллюстрирующего отношения равнозначности, можно привести понятия «равносторонний прямоугольник» и «квадрат».

Пересечение (перекрещивание). Понятиями, находящимися в отношении пересечения, признаются те, объемы которых совпадают частично. Объем одного, таким образом, частично входит в объем другого и наоборот. Содержание таких понятий будет разным. Схематичное отражение отношение пересечения находит в виде двух частично совмещенных кругов (рис. 2). Место пересечения на схеме для удобства штрихуется. Примером могут служить понятия «селянин» и «тракторист»; «математик» и «репетитор».

Подчинение (субординация). Отношение субординации характерно тем, что объем одного понятия полностью входит в объем другого, но не исчерпывает его, а составляет лишь часть.

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

Соподчинение. Отношение соподчинения возникает в случае, когда рассматриваются несколько понятий, исключающих друг друга, но при этом имеющих подчинение другому, общему для них, более широкому (родовому) понятию.

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

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

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

Несравнимые понятия. Несравнимые - понятия, не имеющие сколько-нибудь существенных в том или ином отношении общих признаков: например, «право» и «всемирное тяготение», «право» и «диагональ», «право» и «любовь».

Правда, и такое деление носит в известной мере условный, относительный характер, ибо степень несравнимости тоже может быть различной. Например, что общего между столь, казалось бы, различными понятиями, как «космический корабль» и «авторуч­ка», кроме некоторого, чисто внешнего сходства в форме строе­ния? А между тем и то и другое - творения человеческого гения. Что общего между понятиями «шпион» и «буква Ъ»? Как будто ничего. Но вот какую неожиданную ассоциацию они вызвали у А. Пушкина: «Шпионы подобны букве Ъ. Они нужны в некоторых только случаях, но и тут можно без них обойтиться, а они привык­ли всюду соваться». Значит, общим признаком является «необхо­димые иногда».

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

Классификация суждений.

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

Атрибутивные суждения (от лат. altributum – свойство, признак), или суждения о свойствах чего-либо, раскрывают наличие или отсутствие у предмета мысли тех или иных свойств (или признаков). Например: «Все республики бывшего СССР объявили о своей независимости»; «Содружество Независимых Государств (СНГ) непрочно». Поскольку понятие, выражающее предикат, имеет содержание и объем, атрибутивные суждения могут рассматриваться в двух планах: содержательном и объемном.

Реляционные суждения (от лат. relatio – отношение), или суждения об отношениях чего-либо к чему-то, раскрывают наличие или отсутствие у предмета мысли того или иного отношения к другому предмету (или нескольким предметам). Поэтому они обычно выражаются специальной формулой: х R у, где х и у – предметы мысли, a R (от relatio) – отношение между ними. Например: «СНГ не равно СССР», «Москва больше Санкт-Петербурга».

Примеры. Суждение «Все металлы электропроводны» можно превратить в суждение «Все металлы подобны электропроводным телам». В свою очередь, суждение «Рязань меньше Москвы» можно превратить в суждение «Рязань принадлежит к городам, которые меньше Москвы». Или: «Знания есть то, что подобно деньгам». В современной логике есть тенденция свести реляционные суждения к атрибутивным.

Экзистенциальные суждения (от лат. existentia – существование), или суждения о существовании чего-либо, это такие, в которых раскрывается наличие или отсутствие самого предмета мысли. Предикат здесь выражается словами «существует» («не существует»), «есть» («нет»), «был» («не был»), «будет» («не будет») и др. Например: «Дыма без огня не бывает», «СНГ существует», «Советского Союза нет». В процессе судопроизводства решается прежде всего вопрос, имело ли место событие: «Преступление есть» («Доказательств нет»).

По качеству связки

Качество суждения – одна из важнейших его логических характеристик. Под ним разумеется не фактическое содержание суждения, а его самая общая логическая форма – утвердительная, отрицательная или отрицающая. В этом проявляется наиболее глубокая сущность всякого суждения вообще – его способность раскрывать наличие или отсутствие тех или иных связей и отношений между мыслимыми предметами. А определяется это качество характером связки – «есть» или «не есть». В зависимости от этого простые суждения делятся по характеру связки (или ее качеству) на утвердительные, отрицательные и отрицающие.

В утвердительных суждениях раскрывается наличие какой-либо связи между субъектом и предикатом. Выражается это посредством утвердительной связки «есть» или соответствующими ей словами, тире, согласованием слов. Общая формула утвердительного суждения - «S есть Р». Например: «Киты – млекопитающие».

В отрицательных суждениях, наоборот, раскрывается отсутствие той или иной связи между субъектом и предикатом. И достигается это с помощью отрицательной связки «не есть» или соответствующими ей словами, а также просто частицей «не». Общая формула - «S не есть Р». Например: «Киты не рыбы». Важно при этом подчеркнуть, что частица «не» в отрицательных суждениях стоит непременно перед связкой или подразумевается. Если же она находится после связки и входит в состав самого предиката (или субъекта), то такое суждение все равно будет утвердительным. Например: «Мои стихи живит не ложная свобода».

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

По объему субъекта

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

Количество суждения – это его другая важнейшая логическая характеристика. Под количеством здесь разумеется отнюдь не какое-нибудь конкретное число мыслимых в нем объектов (например, число дней недели, месяцев или времен года, планет Солнечной системы и т.д.), а характер субъекта, т.е. его логический объем. В зависимости от этого выделяются общие, частные и единичные суждения.

Общие суждения имеют свои разновидности. Прежде всего, они могут быть выделяющими и невыделяющими.

Частные суждения – те, в которых что-либо высказывается о части какой-то группы предметов. В русском языке они выражаются такими словами, как «некоторые», «не все», «большинство», «часть», «отдельные» и др. В современной логике они носят наименование «квантор существования» и обозначаются символом «$» (от англ. exist – существовать). Формула $ х Р(х) читается так: «Существует х такой, что имеет место свойство Р(х)». В традиционной логике принята следующая формула частных суждений «Некоторые S есть (не есть) Р».

Примеры: «Некоторые войны справедливы», «Некоторые войны несправедливы» или «Некоторые свидетели правдивы», «Некоторые свидетели не правдивы». Кванторное слово здесь тоже может опускаться. Поэтому, чтобы определить, имеется ли налицо частное или общее суждение, надо мысленно подставить соответствующее слово. Например, пословица «Людям свойственно ошибаться» не означает, что это относится к каждому человеку. Здесь понятие «люди» взято в собирательном смысле.

По модальности

Основной информативной функцией суждения как формы мышления является отражение в виде утверждения или отрицания связей между предметами и их признаками. Это относится как к простым, так и к сложным суждениям, в которых наличие или отсутствие связи усложняется за счет связок.

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

Сложные суждения и их виды.

Сложные суждeния образуются из нескольких простых суждений. Таково, например, высказывание Цицерона: «Ведь если бы даже ознакомление с правом представляло огромную трудность, то и тогда сознание его великой пользы должно было бы побуждать людей к преодолению этой трудности».

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

Логическая структура сложных суждений также отличается от структуры простых суждений. Основными структурообразующими элементами здесь являются уже не понятия, а простые суждения, составляющие сложное суждение. При этом связь между ними осуществляется не с помощью связок «есть», «не есть» и т. п., а посредством логических союзов «и», «или», «либо», «если [...], то» и др. Юридическая практика особенно богата такого рода суждениями.

В соответствии с функциями логических связок сложные суждения делятся на следующие виды.

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

2 Разделительные (дизъюнктивные) суждения - включают в качестве составных частей суждения - дизъюнкты, объединяемые связкой «или». Например, «Истец вправе увеличить или уменьшить размер исковых требований».

Различают слабую дизъюнкцию, когда союз «или» имеет соединительно-разделительное значение, то есть входящие в сложное суждение составляющие не исключают друг друга. Например, «Договор купли-продажи может быть заключен в устной или письменной форме». Сильная дизъюнкция возникает, как правило, тогда, когда логические союзы «или», «либо» употребляются в исключающе-разделяющем смысле, то есть ее составляющие исключают друг друга. Например, «Клевета, соединенная с обвинением лица в совершении тяжкого или особо тяжкого преступления, наказывается ограничением свободы на срок до трех лет, либо арестом на срок от четырех до шести месяцев, либо лишением свободы на срок до трех лет».

Условные (импликативные) суждения образованы из двух простых суждений посредствам логического союза «если [...], то». Например, «Если по истечении срока временной работы с работником не был расторгнут договор, то он считается принятым на постоянную работу». Аргумент, начинающийся в импликативных суждениях словом «если», называется основанием, а составляющая, начинающаяся со слова «то» - следствием.

В условных суждениях отражаются прежде всего объективные причинно-следственные, пространственно-временные, функциональные и другие связи между предметами и явлениями действительности. Однако в практике применения законодательства в форме импликации могут также выражаться права и обязанности людей, связанные с теми или иными условиями. Например, «Военнослужащие воинских частей Российской Федерации, дислоцирующихся за пределами Российской Федерации, за преступления, совершенные на территории иностранного государства, несут уголовную ответственность по настоящему Кодексу, если иное не предусмотрено международным договором Российской Федерации» (п. 2 ст. 12 УК РФ).

При этом необходимо иметь в виду, что грамматическая форма «если [...], то» не является исключительным признаком условного суждения, она может выражать простую последовательность. Например, «Если исполнителем признается лицо, непосредственно совершившее преступление, то подстрекатель - это лицо, склонившее другое лицо к совершению

Виды вопросов.

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

1. По степени выраженности в тексте вопросы могут быть явными и скрытыми. Явный вопрос выражается в языке полностью вместе со своими предпосылками и требованием установить неизвестное. Скрытый вопрос выражается лишь своими предпосылками, а требование устранить неизвестное восстанавливается после осмысления предпосылок вопроса. Например, прочитав текст: «Все больше рядовых граждан становятся собственниками акций, и рано или поздно приходит день, когда появляется желание их продать», мы не обнаружим здесь явно сформулированных вопросов. Однако при осмыслении прочитанного может возникнуть желание спросить: «Что такое акция?», «Почему их надо продавать?», «Как правильно продать акции?» и т.д. Текст, таким образом, содержит скрытые вопросы.

2. По своей структуре вопросы подразделяются на простые и сложные. Простой вопрос структурно предполагает только одно суждение. Он не может быть расчленен на элементарные вопросы. Сложный вопрос образуется из простых с помощью логических союзов «и», «или», «если, то» и др. Например, «Кто из присутствующих опознал преступника, и как он на это отреагировал?». Отвечая на сложный вопрос, предпочтительно разбить его на простые вопросы. Вопрос типа: «Если будет хорошая погода, то мы поедем на экскурсию?» - не относится к сложным вопросам, так как его нельзя разбить на два самостоятельных простых вопроса. Это пример простого вопроса. Смысл союзов, образующих сложные вопросы, таким образом, не тождественен смыслу соответствующих логических союзов, при помощи которых образуются сложные истинные или ложные суждения из простых истинных или ложных суждений. Вопросы не бывают истинными или ложными. Они могут быть правильными или неправильными.

3. По способу запроса неизвестного различают уточняющие и восполняющие вопросы. Уточняющие вопросы (или «ли» - вопросы) направлены на выявление истинности выраженных в них суждений. Во всех этих вопросах присутствует частица «ли», включенная в словосочетания «верно ли», «действительно ли», «надо ли» и т.д. Например, «Верно ли, что Семенов успешно защитил дипломную работу?», «Действительно ли в Москве больше жителей, чем в Париже?», «Верно ли, что если он сдаст все экзамены на «отлично», то получит повышенную стипендию?» и др. Восполняющие вопросы (или «к» - вопросы) предназначены для выявления новых свойств у исследуемого объекта, для получения новой информации.Грамматический признак - вопросительное слово типа «Кто?», «Что?», «Почему?», «Когда?», «Где?» и т.п. Например, «Как заключить договор на оказание брокерских услуг?», «Когда было совершено это дорожно-транспортное происшествие?», «Что означает слово «спонсор»?» и др

4. По количеству возможных на них ответов вопросы бывают открытые и закрытые. Открытый вопрос - это вопрос, на который существует неопределенное множество ответов. Закрытым называется вопрос, на который имеется конечное, чаще всего достаточно ограниченное количество ответов. Эти вопросы широко используются в судебной и следственной практике, в социологических исследованиях. Например, вопрос «Как читает лекции этот преподаватель?» - открытый вопрос, так как на него можно дать множество ответов. Его можно перестроить с тем, чтобы «закрыть»: «Как читает лекции этот преподаватель (хорошо, удовлетворительно, плохо)?».

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

6. По правильности постановки вопросы делятся на корректные и некорректные. Корректный (от лат. correctus - вежливый, тактичный, учтивый) вопрос - это вопрос, предпосылкой которого является истинное и непротиворечивое знание. Некорректный вопрос основан на предпосылке ложного или противоречащего суждений или суждения, смысл которого не определен. Различают два вида логически некорректных вопросов: тривиально некорректные и нетривиально некорректные (от лат. trivialis - избитый, пошлый, лишенный свежести и оригинальности). Вопрос является тривиально некорректным, или бессмысленным, если он выражается предложениями, содержащими неясные (неопределенные) слова или словосочетания. Примером может служить следующий вопрос: «Приводят ли критическоеметафизирование абстракциями и дискредитация тенденции церебрального субъективизма к игнорированию системы парадоксальных иллюзий?».

Виды ответов.

Среди ответов различают: 1) истинные и ложные; 2) прямые и косвенные; 3) краткие и развернутые; 4) полные и неполные; 5) точные (определенные) и неточные (неопределенные).

1. Истинные и ложные ответы. По семантическому статусу, т.е. по отношению к действительности, ответы могут быть истинными либо ложными. Ответ расценивается как истинный, если выражен­ное в нем суждение правильно, или адекватно отражает действительность. Ответ расценивается как ложный, если выраженное в нем суждение неверно, или неадекватно отражает положение дел в действительности.

2. Ответы прямые и косвенные. Это два вида ответов, различающихся областью их поиска.

Прямым называется ответ, взятый непосредственно из области поиска ответов, при конструировании которого не прибегают к дополнительным сведениям и рассуждениям. Например, прямым ответом на что-вопрос «В каком году закончилась русско-японская война?» будет суждение: «Русско-японская война закончилась в 1904 году». Прямым ответом на ли-вопрос «Является ли кит рыбой?» будет суждение: «Нет, кит не является рыбой».

Косвенным называется ответ, который получают из более широкой области, нежели область поиска ответа, и из которого лишь выводным путем можно получить нужную информацию. Так, для вопроса «В каком году закончилась русско-японская война?» кос­венным будет следующий ответ: «Русско-японская война закончилась за один год до Первой русской революции». На вопрос «Является ли кит рыбой?» косвенным будет ответ: «Кит относится к млекопитающим животным».

3. Краткие и развернутые ответы. По грамматической форме ответы могут быть краткими и развернутыми.

Краткие - это односложные утвердительные или отрицательные ответы: «да» или «нет».

Развернутые - это ответы, в каждом из которых повторяются все элементы вопроса. Например, на вопрос «Был ли Дж. Кеннеди католиком?» могут быть получены утвердительные ответы: краткий - «Да»; развернутый - «Да, Дж. Кеннеди был католиком». Отрицательные ответы будут такими: краткий - «Нет»; развернутый - «Нет, Дж. Кеннеди не был католиком».

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

4. Полные и неполные ответы. По объему представленной в ответе информации ответы могут быть полными или неполными. Проблема полноты чаще всего возникает при ответах на сложные вопросы.

Полный ответ включает информацию по всем элементам или составным частям вопроса. Например, на сложный ли-вопрос «Верно ли, что Иванов, Петров и Сидоров являются соучастниками преступления?» полным будет следующий ответ: «Иванов и Сидо­ров - соучастники преступления, а Петров - исполнитель». На сложный что-вопрос «Кем, когда и в связи с чем было написано стихотворение «На смерть поэта»?» полным будет следующий ответ:

«Стихотворение «На смерть поэта» написано М.Ю. Лермонтовым в 1837 году в связи с трагической гибелью А.С. Пушкина».

Неполный ответ включает информацию относительно отдельных элементов или составных частей вопроса. Так, на приведенный выше вопрос «Верно ли, что Иванов, Петров и Сидоров являются соучастниками преступления?» - неполным будет ответ: «Нет, неверно, Петров является исполнителем».

5. Точные (определенные) и неточные (неопределенные) ответы! Логическая зависимость между вопросом и ответом означает, что качество ответа во многом определяется качеством вопроса. Не случайно в полемике и в процессе допроса действует правило: каков вопрос, таков и ответ. Это значит, что на расплывчатый и двусмысленный вопрос трудно получить ясный ответ; если хочешь получить точный и определенный ответ, то сформулируй точный и определен­ный вопрос.

Виды дилемм

Условно-разделительными умозаключениями называются умозаключения, в которых одна из посылок является разделительным высказывание, а остальные – условными высказываниями. Еще одно название условно-разделительных умозаключений – лемматические, происходящее от греческого слова lemma – предложение, предположение. Это название основано на том, что в этих умозаключениях рассматриваются различные предположения и их следствия. В зависимости от числа условных посылок условно-разделительные умозаключения называют дилеммами (две условные посылки), трилеммами (три), полилеммами (четыре и более). В практике рассуждений чаще всего используются дилеммы.

Можно выделить следующие основные виды дилемм:

– простая конструктивная дилемма,

– сложная конструктивная дилемма,

– простая деструктивная дилемма,

– сложная деструктивная дилемма.

Пример простой конструктивной дилеммы (рассуждение Сократа):

«Если смерть – переход в небытие, то она благо. Если смерть – переход в мир иной, то она благо. Смерть – переход в небытие или в мир иной. Следовательно, смерть – благо».

Простая конструктивная (утверждающая) дилемма:

Если А, то С.

Если В, то С.

Пример сложной конструктивной дилеммы:

Молодой афинянин обратился к Сократу за советом: стоит ли ему жениться? Сократ ответил: «Если тебе попадется хорошая жена, то ты будешь счастливым исключением, если плохая, то ты будешь как и я, философом. Но тебе попадется хорошая или плохая жена. Поэтому или быть тебе счастливым исключением, или философом».

Сложная конструктивная дилемма:

Если А, то В.

Если С, то Д.

Пример простой деструктивной дилеммы:

«В современном мире, если вы хотите быть счастливым, нужно иметь много денег. Однако всегда было так, что если вы хотите быть счастливым, то нужно иметь чистую совесть. Но мы знаем, что жизнь устроена так, что невозможно одновременно иметь и деньги, и совесть, т.е. или денег нет, или нет совести. Следовательно, оставьте надежду на счастье».

Простая деструктивная (отрицающая) дилемма:

Если А, то В.

Если А, то С.

Неверно В или неверно С.

Неверно А.

Пример сложной деструктивной дилеммы:

«Если он умен, то он увидит свою ошибку. Если он искренен, то он признается в ней. Но он или не видит своей ошибки, или не признается в ней. Следовательно, он или не умен, или не искренен».

Сложная деструктивная дилемма:

Если А, то В.

Если С, то Д.

Не-В или не-Д.

Не-А или не-С.

Пример полного индуктивного умозаключения.

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

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

Обвинительные приговоры и оправдательные приговоры есть решения суда.

Все решения суда издаются в особом процессуальном порядке.

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

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

Неполная индукция часто применяется в повседневной жизни человека и научной деятельности, так как позволяет делать заключение на основе анализа определенной части данного класса предметов, экономит время и силы человека. При этом нельзя забывать, что в результате неполной индукции получается вероятностное заключение, которое в зависимости от вида неполной индукции будет колебаться от менее вероятного к более вероятному {11} .

Сказанное выше можно проиллюстрировать следующим примером.

Слово «молоко» изменяется по падежам. Слово «библиотека» изменяется по падежам. Слово «врач» изменяется по падежам. Слово «чернила» изменяется по падежам.

Слова «молоко», «библиотека», «врач», «чернила» - существительные.

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

В зависимости от тог

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

Но несмотря на высокую потребность в этом умении мы часто совершаем логические ошибки, сами того не подозревая. Ведь среди многих людей бытует мнение, что правильно мыслить можно на основе жизненного опыта и так называемого здравого смысла, не пользуясь законами и специальными приемами «формальной логики». Для совершения простых логических операций, высказывания элементарных суждений и несложных выводов может подойти и здравый смысл, а если нужно познать или объяснить что-то более сложное, то здравый смысл нередко приводит нас к заблуждениям.

Причины этих заблуждений кроются в принципах развития и формирования основ логического мышления людей, которые закладываются еще в детстве. Обучение логическому мышлению не ведется целенаправленно, а отождествляется с уроками математики (для детей в школе или для студентов в университете), а также с решением и прохождением разнообразных игр, тестов, задач и головоломок. Но подобные действия способствуют развитию только малой доли процессов логического мышления. Кроме того достаточно примитивно объясняют нам принципы поиска решения заданий. Что касается развития словесно-логического мышления (или вербально-логического), умения правильно совершать мыслительные операции, последовательно приходить к умозаключениям, то этому нас почему-то не учат. Именно поэтому уровень развития логического мышления людей недостаточно высок.

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

Что такое логическое мышление?

Чтобы объяснить, что такое «логическое мышление», разделим это понятие на две части: мышление и логику. Теперь дадим определение каждой из этих составляющих.

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

Логика в переводе с греческого имеет несколько значений: «наука о правильном мышлении», «искусство рассуждения», «речь», «рассуждение» и даже «мысль». В нашем случае мы будем исходить из самого популярного определения логики как нормативной науки о формах, методах и законах интеллектуальной мыслительной деятельности человека. Логика изучает способы достижения истины в процессе познания опосредованным путём, не из чувственного опыта, а из знаний, полученных ранее, поэтому её также можно определить как науку о способах получения выводного знания. Одна из главных задач логики - определить, как прийти к выводу из имеющихся предпосылок и получить истинное знание о предмете размышления, чтобы глубже разобраться в нюансах изучаемого предмета мысли и его соотношениях с другими аспектами рассматриваемого явления.

Теперь мы можем дать определение самому логическому мышлению.

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

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

Образно-логическое мышление

Образно-логическое мышление (наглядно-образное мышление ) - различные мыслительные процессы так называемого «образного» решения задач, которое предполагает визуальное представление ситуации и оперирование образами составляющих её предметов. Наглядно-образное мышление, по сути, является синонимом слова «воображение», которое позволяет нам наиболее ярко и четко воссоздавать все многообразие различных фактических характеристик предмета или явления. Данный вид мыслительной деятельности человека формируется в детском возрасте, начиная, примерно, с 1,5 лет.

Чтобы понять, насколько у вас развит этот вид мышления, предлагаем вам пройти Тест на IQ «Прогрессивные матрицы Равена»

Тест Равена - это шкала прогрессивных матриц для оценки коэффициента интеллекта и уровня умственных способностей, а также логичности мышления, разработанная в 1936 году Джоном Равеном в соавторстве с Роджером Пенроузом. Данный тест может дать максимально объективную оценку IQ тестируемых людей, независимо от их уровня образования, социального сословия, рода деятельности, языковых и культурных особенностей. То есть можно с большой вероятностью утверждать, что данные, полученные в результате данного теста у двух людей из разных точек мира будут одинаково оценивать их IQ. Объективность оценки обеспечивается тем фактом, что основу этого теста составляют исключительно изображения фигур, а поскольку матрицы Равена относятся к числу невербальных тестов интеллекта, его задания не содержат текста.

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

Абстрактно-логическое мышление

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

Словесно-логическое мышление

Словесно-логическое мышление (вербально-логическое мышление )— один из видов логического мышления, характеризующийся использованием языковых средств и речевых конструкций. Данный вид мышления предполагает не только умелое использование мыслительных процессов, но и грамотное владение своей речью. Словесно-логическое мышление необходимо нам для публичных выступлений, написания текстов, ведения споров и в других ситуациях, где нам приходится излагать свои мысли при помощи языка.

Применение логики

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

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

• Точнее подобрать нужный способ, который позволит прийти к правильному выводу;
• Мыслить быстрее и качественнее - как следствие из предыдущего пункта;
• Лучше излагать свои мысли;
• Избежать самообмана и логических заблуждений,
• Выявлять и устранять ошибки в умозаключениях других людей, справиться с софистикой и демагогией;
• Применять нужную аргументацию для убеждения собеседников.

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

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

1. Знание теоретических основ логики.
2. Умение правильно совершать такие мыслительные операции, как: классификация, конкретизация, обобщение, сравнение, аналогия и другие.
3. Уверенное использование ключевых форм мышления: понятие, суждение, умозаключение.
4. Способность аргументировать свои мысли в соответствии с законами логики.
5. Навык быстро и эффективно решать сложные логические задачи (как учебные, так и прикладные).

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

Как этому научиться?

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

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

Практическое обучение направлено на применение полученных знаний в жизни. Однако в действительности современное обучение практической логике обычно связано прохождением разных тестов и решением задач на проверку уровня развития интеллекта (IQ) и почему-то не затрагивает применение логики в реальных жизненных ситуациях.

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

По этому принципу и был составлен онлайн-тренинг, который вы сейчас читаете. Цель данного курса - научить вас логически мыслить и применять методы логического мышления. Занятия направлены на ознакомление с основами логического мышления (тезаурус, теории, методы, модели), мыслительными операциями и формами мышления, правилами аргументации и законами логики. Кроме того, каждый урок содержит в себе задания и упражнения для тренировки использования полученных знаний на практике.

Уроки логики

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

Первый урок нашего курса мы посвятим сложной, но очень важной теме - логическому анализу языка. Сразу стоит оговориться, что эта тема многим может показаться абстрактной, нагруженной терминологией, неприменимой на практике. Не пугайтесь! Логический анализ языка - это основа любой логической системы и правильного рассуждения. Те термины, которые мы здесь узнаем, станут нашим логическим алфавитом, без знания которого просто нельзя пойти дальше, но постепенно мы научимся пользоваться им с лёгкостью.

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

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

Логическое суждение - это форма мышления, в которой утверждается или отрицается что-либо об окружающем мире, предметах, явлениях, а также отношениях и связях между ними. Суждения в логике состоят из субъекта (о чем идет речь в суждении), предиката (что говорится о субъекте), связки (что соединяет субъект и предикат) и квантора (объема субъекта). Суждения могут быть различных видов: простые и сложные, категорические, общие, частные, единичные. Также отличаются и формы связок между субъектом и предикатом: равнозначность, пересечение, подчинение и совместимость. Кроме того, в рамках составных (сложных) суждений могут быть свои связки, которые определяют ещё шесть видов сложных суждений. Умение логически мыслить предполагает способность правильно строить различные виды суждений, понимать их структурные элементы, признаки, отношения между суждениями, а также проверять является суждение истинным или ложным.

Перед тем как перейти к последней третьей форме мышления (умозаключению), важно понять, какие существуют логические законы, или, другими словами, объективно существующие правила построения логического мышления. Их предназначение, с одной стороны, в помощи построения умозаключений и аргументации, а с другой - в предупреждении ошибок и нарушений логичности, связанных с рассуждениями. данном уроке будут рассмотрены следующие законы формальной логики: закон тождества, закон исключённого третьего, закон противоречия, закон достаточного основания, а также законы де Моргана, законы дедуктивных умозаключений, закон Клавия и законы деления. Изучив примеры и выполнив специальные упражнения, вы научитесь целенаправленно использовать каждый из этих законов.

Умозаключение — это третья форма мышления, в которой из одного, двух или нескольких суждений, называемых посылками, вытекает новое суждение, называемое заключением или выводом. Умозаключения делятся на три вида: дедуктивные, индуктивные и умозаключения по аналогии. При дедуктивном умозаключении (дедукции) из общего правила делается вывод для частного случая. Индукция - это умозаключения, в которых из нескольких частных случаев выводится общее правило. В умозаключениях по аналогии на основе сходства предметов в одних признаках делается вывод об их сходстве и в других признаках. На этом занятии вы познакомитесь со всеми видами и подвидами умозаключений, научитесь строить разнообразные причинно-следственные связи.

Этот урок будет посвящён многопосылочным умозаключениям. Так же как и в случае однопосылочных умозаключений, вся необходимая информация в скрытом виде будет присутствовать уже в посылках. Однако, поскольку посылок теперь будет много, то способы её извлечения становятся более сложными, а потому и добытая в заключении информация не будет казаться тривиальной. Кроме того, нужно отметить, что существует много разных видов многопосылочных умозаключений. Мы с вами сосредоточимся только на силлогизмах. Они отличаются тем, что и в посылках и в заключении имеют категорические атрибутивные высказывания и на основании наличия или отсутствия каких-то свойств у объектов позволяют сделать вывод о наличии или отсутствии у них других свойств.

В предыдущих уроках мы поговорили о разных логических операциях, которые составляют важную часть любого рассуждения. Среди них были операции над понятиями, определения, суждения и умозаключения. Значит, на данный момент должно быть ясно, из каких компонентов рассуждения состоят. Однако мы ещё нигде не касались вопросов о том, каким образом может быть организовано рассуждение в целом и какими в принципе бывают типы рассуждений. Это и станет темой последнего урока. Начнём с того, что рассуждения делятся на дедуктивные и правдоподобные. Все виды умозаключений, рассмотренные в предыдущих уроках: умозаключения по логическому квадрату, обращения, силлогизмы, энтимемы, сориты, - представляют собой именно дедуктивные рассуждения. Их отличительный признак состоит в том, что посылки и заключения в них связаны отношением строгого логического следования, в то время как в случае правдоподобных рассуждений подобная связь отсутствует. Сначала поговорим подробнее о дедуктивных рассуждениях.

Как проходить занятия?

Сами уроки со всеми упражнениями можно пройти за 1-3 недели, усвоив теоретический материал и немного попрактиковавшись. Но для развития логического мышления важно заниматься системно, много читать и постоянно тренироваться.

Для максимального эффекта рекомендуем вам сначала просто прочитать весь материал, потратив на это 1-2 вечера. Затем проходите по 1 уроку ежедневно, выполняя необходимые упражнения и следуя предложенным рекомендациям. После того как вы освоите все уроки, займитесь эффективным повторением по , чтобы запомнить материал надолго. Далее старайтесь чаще применять приёмы логического мышления в жизни, при написании статей, писем, при общении, в спорах, в делах и даже на досуге. Подкрепляйте свои знания чтением книг и учебников, а также с помощью дополнительного материала, о котором речь пойдет ниже.

Дополнительный материал

Помимо уроков в данном разделе мы постарались подобрать много полезного материала по рассматриваемой тематике:

• Логические задачи;
• Тесты на логическое мышление;
• Логические игры;
• Самые умные люди России и мира;
• Видеоуроки и мастерклассы.

А также книги и учебники, статьи, цитаты, вспомогательные тренинги.

Книги и учебники по логике

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

• «Прикладная логика». Николай Николаевич Непейвода;
• «Учебник логики». Георгий Иванович Челпанов;
• «Логика: конспект лекций». Дмитрий Шадрин;
• «Логика. Учебный курс» (учебно-методический комплекс). Дмитрий Алексеевич Гусев;
• «Логика для юристов» (сборник задач). А.Д. Гетманова;

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

В отечественной литературе методология понимается двояко.

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

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

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

Между тем, основная масса молодых людей формируется у нас, все-таки, не как теоретики, не как мыслители, а скорее как практики, экспериментаторы; в теории они в большинстве своем выступают начетниками, умеющими находить из известных источников ответы на заранее сформулированные вопросы. Такая учебная практика мыслителей не формирует. Они появляются в этих условиях лишь в виде исключения, как случайность, иногда же в силу индивидуальных черт характера, заставляющих индивида противопоставлять себя распространенной практике. Большинство боится науки, ибо крепок "гранит" ее для усвоения. Другие, наоборот, не боятся ее, ибо не знают ее и поэтому пренебрежительно относятся к ней, полагая, что стоит только за нее взяться, так она и поддастся. С наукой такого не бывает. За нее следует браться в свое время и не порывать с ней всю жизнь, потому что только в этом случае динамичные ее внутренние изменения не пройдут незамеченными. Иного способа овладения наукой, как только в процессе многолетнего, постоянного, настойчивого и интенсивного интеллектуального труда, нет. Вот поэтому, «школьное» прохождение университетского или вузовского образования дает более значимые, заметные результаты по овладению логикой, чем спонтанные, (наскоковые или атаковые) самодеятельные попытки овладения ею. Поскольку логика есть наука, то дилетантского отношения к себе вряд ли простит. Своим учением об основных формах и методах мышления она методологична как по отношению к другим наукам, так и по отношению ко всем мыслящим.

Еще по теме § 3. МЕТОДОЛОГИЯ ЛОГИКИ:

1. 2. 3. МЕСТО ЛОГИКИ СТОИКОВ В ИСТОРИИ ЛОГИЧЕСКИХ УЧЕНИЙ: ОТНОШЕНИЕ К ЛОГИКЕ МЕГАРЦЕВ, АРИСТОТЕЛЯ И К СОВРЕМЕННОЙ ФОРМАЛЬНОЙ ЛОГИКЕ

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

В отличие от философии, которая часто определяется как «наука об общих принципах природы, общества и мышления», логика, во-первых, не изучает непосредственно ни природу, ни общество. Знание общих принципов природы и общества может быть получено в логике лишь опосредованно, через изучение логоса, форм и методов рацио­нального мышления. Во-вторых, логика в отличие от философии не изучает чисто субъективные, иррациональные аспекты человеческого мышления. Правомерно говорить о различных видах иррациональной (философии (например, об экзистенциализме, ницшеанстве и т. п.), но бессмысленно говорить об иррациональной логике в силу самого определения логики. Наконец, в-третьих, в отличие от философии современная символическая логика в процессе изучения рационального мышления использует не только естественный язык, но и различные формальные языки, различные методы дедуктивной формализации знании. В этом смысле можно сказать, что логика есть не что иное, как формализованная философия рационального мышления.

В отличие от логики психология непосредственно изучает не абстрактные объекты, не собственно рациональное мышление, а те специфические эмпирические объекты, в которых первоначально прояв­ляется (воплощается) мышление человека. Такими специфическими объектами являются перцепции (сенсорные образы), образующие в своей совокупности то, что принято называть сознанием, внутренним миром конкретного человека (см. гл. 12). Различие между перцепциями, воз­никающими в сознании конкретного человека, и абстрактными объ­ектами, доступными пониманию многих людей, носит весьма тонкий характер и часто не принимается во внимание. В конечном счете что приводит к психологизму - представлению о том, что логика есть якобы часть психологии. Еще в начале XX в. немецким философом Эдмундом Гуссерлем (1859-1938) психологизм в логике был подверг­нут обстоятельной критике. Впоследствии несостоятель­ность психологизма была подтверждена всем опытом развития логики как точной науки.

Что касается математики, то ее предметная область является частью предметной области логики. Математика (во всяком случае, классичес­кая) изучает универсальные взаимосвязи между числами и абстракт­ными объектами, производными от чисел. Поэтому ее можно считать своеобразной логикой чисел, или числовой логикой. В пользу того свидетельствует опыт развития как логики, так и математики. В силу ряда причин (в частности, в силу практических потребностей в эффективных методах счета) ма­тематика, или числовая логика, длительное время развивалась незави­симо от логики в целом и как точная наука сложилась задолго до того, как логика окончательно отделилась от философии в качестве самостоятельной науки. Несмотря на это, еще Г. В. Лейбницем (1646- 1716) был выдвинут тезис о том, что математика есть часть логики. Впоследствии Г. Фреге (1848-1925) показал, что основные понятия арифметики и классической теории множеств могут быть сведены к логическим понятиям. В начале XX в., в связи с обнаруженными парадоксами в основаниях классической теории множеств, работы по сведению математики к логике были прекращены и затем снова про­должены лишь в 80-е годы, после того, как было найдено объяснение парадоксов, согласующееся с основополагающими логическими прин­ципами. Помимо попыток логически обосновать матема­тику, происходит интенсивное проникновение математики в логику, совершенствуется формальный язык логики, разрабатываются точные алгоритмические методы логического вывода и доказательства, иссле­дуются проблемы применения логики в информатике.

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

1. Исчисление высказываний

Предмет нашего изучения - логика, или, говоря более точно - формальная логика.

Обычно формальная логика занимается анализом предложений или суждений и доказательств; при этом основное внимание обращается на форму в отвлечении от содержания.

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

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

Второй ступенью ФЛ является математическая логика , применяющая математические методы и специальный аппарат символов и исследующая мышление с помощью исчислений.

Введем понятие формальной системы логики .

Первой частью формальной системы является ее язык. Язык должен быть выбран так, чтобы структура предложений по возможности отображала их смысл. Чтобы определить язык, нужно, прежде всего, определить его символы. В случае русского языка символами являются буквы, цифры и знаки препинания. Большинство наших искусственных языков будет иметь бесконечное множество символов. Любая конечная последовательность символов языка называется выражением этого языка. Мы будем требовать, чтобы в языке некоторые выражения выделялись какформулы этого языка, под ними мы будем понимать такие выражения, которые утверждают некоторый факт.