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

Глава I. Предмет логики 1. Специфика логики как науки Свое название логика получила от древнегреческого слова logos, означавшего, с одной стороны, слово, речь, а с другой - мысль, смысл, разум.Возникая в рамках античной философии как единой, не расчлененной еще на отдельные

Глава II. Соотношение законов формальной логики и логики диалектической Диалектика «не отменяет формальной логики, а только лишает ее законы приписываемого им метафизиками абсолютного значения». Г. Плеханов 1. Определите, какие из следующих высказываний представляют

ГЛАВА I ПРЕДМЕТ ЛОГИКИ “Логика” (от древнегреческого слова “логос”) означает “понятие”, “разум”, “рассуждение”. В современном языке это слово употребляется в следующих основных значениях.Во-первых, логикой называют закономерности в изменении и развитии вещей и

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

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} .

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

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

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

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

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

Московская государственная академия коммунального хозяйства и строительства

(наименование кафедры)

________________________________________________________________

(фамилия, имя, отчество студента)

Факультет______________ курс____________ группа_____________

КОНТРОЛЬНАЯ РАБОТА

По дисциплине _________________________________________________

На тему __________________________________________________

(наименование темы) ________________________________________________________________

Отметка о зачёте _________________________ __________

(зачтено/не зачтено) (дата)

Руководитель __________________________________ __________________

(ф.и.о., должность, ученая степень, ученое звание) (подпись)

Москва 20__ г.

ТЕКСТЫ ЛЕКЦИЙ

К КУРСУ УЧЕБНОЙ ДИСЦИПЛИНЫ «ЛОГИКА»

Тема 1. ПРЕДМЕТ И ЗНАЧЕНИЕ ЛОГИКИ

1.1.Понятие «логика», его основные значения. Место логики в системе наук о мышлении.

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

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

Философия - изучает соотношение материи и мышления.

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

Кибернетика - изучает мышление как информационный процесс.

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

Роль мышления в познании.

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

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

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

Ощущение - субъективный образ объективного мира, превращение энергии внешнего раздражения в факт сознания.

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

Восприятие - это отражение в сознании человека целостных комплексов свойств предметов и явлений объективного мира при их непосредственном воздействии в данный момент на органы чувств.

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

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

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

Суждение - форма мышления, отражающая связи между предметами и явлениями; утверждение или отрицание чего-либо. Суждения могут быть истинными и ложными.

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

Пример: Все присутствующие на лекции - студенты. Оля присутствует на лекции (2 суждения). Оля - студентка (умозаключение).

Различают умозаключения индуктивные, дедуктивные и по аналогии .

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

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

1.3. Основные этапы развития логики

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

История свидетельствует, что отдельные логические проблемы возникают перед мысленным взором человека уже свыше 2,5 тыс. лет назад - сначала в Древней Индии и Древнем Китае. Затем они получают более полную разработку в Древней Греции и Риме. Лишь постепенно они складываются в более или менее стройную систему, оформляются в самостоятельную науку.

Причины возникновения логики . Во-первых, зарождение и первоначальное развитие в Древней Греции наук (VI в. до н.э.), прежде всего, математики. Рождаясь в борьбе с мифологией и религией, наука основывалась на теоретическом мышлении, предполагающем умозаклю­чения и доказательства. Отсюда - необходимость исследования природы самого мышления как формы познания. Логика возникла, прежде всего, как попытка выявить и объяснить требования, которым должно удовлетворять научное мышление, чтобы его результаты соответствовали действительности. Другая причина - это развитие ораторского искусства, в том числе судебного, которое расцвело в условиях древнегреческой полюсной демократии.

Формальная логика в своем развитии прошла два основных этапа.

Первый этап связан с работами древнегреческого философа и ученого Аристотеля (384-322 до н.э.), который впервые дал систематическое изложение логики. Логику Аристотеля и всю доматематическую логику обычно называют "традиционной" формальной логикой.Традиционная формальная логика включала и включает такие разделы, как понятие, суждение, умозаключение (в том числе и индуктивное), законы логики, доказательство и опровержение, гипотеза. Аристотель дал классификацию наиболее общих понятий - классификацию суждений, фундаментальных законов мышления - закон тождества, закон исключенного третьего. Сама логика получила дальнейшее развитие как в Греции, и других странах.

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

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

Новый этап в развитии логики начинается с XVII в. Это связано с созданием в ее рамках наряду с дедуктивной логикой логики индуктивной.Потребность в получении таких знаний наиболее полно осознал и выразил в своих трудах выдающийся английский философ и естествоиспытатель Френсис Бэкон (1561-1626). Он стал родоначальником индуктивной логики, написав в противовес старому "Органону" Аристотеля "Новый Органон...".

Индуктивная логика была позднее систематизирована и развита английским философом и ученым Джоном Стюартом Миллем (1806-1873) в его двухтомном труде "Система логики силлогистической и индуктивной".

Потребности научного познания не только в индуктивном, но и в дедуктивном методе в XVII в. наиболее полно воплотил французский философ и ученый Рене Декарт (1596-1650). В своем главном труде "Рассуждение о методе...", основываясь на данных, прежде всего математики, он подчеркивает значение рациональной дедукции.

Последователи Декарта из монастыря в Пор-Рояле А. Арно и П. Николь создали труд "Логика, или Искусство мыслить". Он получил известность как "Логика Пор-Рояля" и долгое время использовался в качестве учебника по этой науке.

Второй этап - это появление математической (или символической) логики.

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

Крупнейший немецкий философ и математик Г. Лейбниц (1646-1716) по праву считается основоположником математической (символической) логики, так как именно он использовал в качестве метода исследования метод формализации. Однако наиболее благоприятные условия для мощного развития математическая (символическая) логика получила в работах Д. Буля, Э. Шредера, П. С. Порецкого, Г. Фреге и других логиков. К этому времени математизация наук достигла значительного прогресса, а в самой математике возникли новые фундаментальные проблемы ее обоснования.

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

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

Становление диалектической логики . В свое время еще Аристотель поставил и попытался решить ряд фундаментальных проблем диалектической логики - проблему отражения реальных противоречий в понятиях, проблему соотношения отдельного и общего, вещи и понятия о ней и т. д. Элементы диалектической логики постепенно накапливались в трудах последующих мыслителей и особенно отчетливо проявились в работах Бэкона, Гоббса, Декарта, Лейбница . Однако как самостоятельная логическая наука, качественно отличная от формальной логики своим подходом к мышлению, диалектичес­кая логика начала оформляться лишь в конце XVIII - начале XIX вв.

Первым, кто попытался ввести диалектику в логику, был немецкий фило­соф И.Кант (1724-1804). Кант считал, что логика есть "наука, обстоятельно излагающая и строго доказывающая одни только формальные правила всякого мышления...".

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

Грандиозную попытку выработать целостную систему новой, диалектической логики предпринял другой немецкий философ - Г.Гегель (1770-1831). В своем основополагающем труде "Наука логики" он раскрыл фундаментальное противоречие между наличными логическими теориями и действительной практикой мышления, которое к тому времени достигло значительных высот. Средством разрешения этого противоречия и стало создание им в своеобразной, религиозно-мистической форме системы новой логики. В фокусе ее - диалектика мышления во всей его сложности и противоречивости.

Растущие потребности научно-технического прогресса обусловливают дальнейшее интенсивное развитие современной логики.

Тема 2. Язык логики

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

2.1.Соотношение языка и мышления. Понятие о знаковых системах .

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

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

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

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

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

Язык служит для выражения мыслей. Имена не только обозначают те или иные объекты, но выра­жают также ту или иную мысль. Эта мысль (точнее, форма мысли) называется понятием.

Понятие есть форма мысли, выражаемая именем.Наши бытовые и профессиональные разговоры, ре­чи, споры состоят из слов и предложений.

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

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

Имена делятся на: 1) простые, сложные, описательные ; 2) собственные ;3) общие . Каждое имя имеет значение,или смысл.Значением, или смыслом имени, является способ, которым имя обозначает предмет, т. е. информация о предмете, содержащаяся в имени. Разные выражения, обозначающие один и тот же предмет, имеют одно и то же значение, или смысл.

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

При логическом анализе язык рассматривается как знаковая система.

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

Можно выделить знаки следующих трех типов: 1) знаки - индексы; 2) знаки -образцы; 3) знаки - символы.

Знаки-индексы связаны с представляемыми ими объектами или следствия с причинами.

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

Знаки-символы не связаны причинно и не сходны с представление ими объектами. Логика исследует знаки последнего вида.

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

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

S - символ для обозначения субъекта суждения (предмета мысли, логического подлежащего).

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

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

«Есть» - «не есть» (суть - не суть и пр.) - логическая связка между субъектом и предикатом суждения, выражаемая иногда простым тире между «S» и «Р».

R - символ любого отношения.

А (а) - символ общеутвердительного су­ждения («Все студенты - учащиеся»).

Е (е) - символ общеотрицательного сужде­ния («Все студенты этой группы не являются спортсменами», или, что одно и то же, «Ни один студент этой группы не яв­ляется спортсменом»).

I (i) - символ частноутвердительного су­ждения («Некоторые студенты отличники»).

О (о) - символ частноотрицательного су­ждения («Некоторые студенты не есть отличники»).

V - символ квантора общности (всеобщности), в языке выражается словом "все", «для всякого» и т.п.

I - символ квантора существования, в языке выражается словом «некоторые», «существуют такие», "многие" и т.п.

/\ - символ, или знак соединительного логического союза «и» (конъюнкция).

V - символ (знак) разделительного логиче­ского союза «или» (дизъюнкция).

--> - символ условного логического союза «если.., то...» (импликация).

<--> - символ логического союза тождества, эквивалентности: «если и только если», «тогда и только тогда, когда» (эквиваленция).

«Не» - отрицательная частица, может быть выражена и чертой над знаком, например: В, С.

Символ для обозначения необходимости.

Символ для обозначения возможности.

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

Именами являются языковые выражения, подстановка которых в формулу "S есть Р" вместо переменных S и Р дает осмысленное предложение.

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

Предложение (высказывание) - это языковое выражение, являющееся истинным или ложным.

Функтор - это языковое выражение, не являющееся, ни именем, ни высказыванием и служащее для образования новых имен или высказываний из уже имеющихся.

Тема 3. Основные законы логики

3.1. Понятие «логического закона»

Первые три из этих законов были выявлены и сформулированы Аристотелем, а закон достаточного основания был сформулирован Г. Лейбницем.

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

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

Неизменность мысли в ходе рассуждения фиксируется формулой А есть А или А≡А, или не А есть не А. Объективное основание закона находится во временном равновесии, покое какого-либо тела или процесса.

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

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

Требования закона тождества и логические ошибки из-за их нарушения .

Из объективно действующего в нашем мышлении закона тождества вытекают определенные требования.

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

1) Каждое понятие, суждение и т. д. должно употребляться в одном и том же определенном смысле и сохранять его в процессе всего рассуждения.

С этим требованием связано следующее.

2) Нельзя отождествлять различные мысли и нельзя тождественные мысли принимать за различные.

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

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

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

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

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

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

Формула закона гласит: неверно, что А и не А одновременно истинны.

Закон непротиворечия непосредственно связан с законом тождества. Если закон тождества говорит об определенном равенстве объекта мысли самому себе, то закон непротиворечия указывает, что “этот” объект мысли необходимо должен отличаться от всех других объектов. Тем самым закон непротиворечия имеет свое собственное содержание. Оно выражается в следующем: одному и тому же объекту в одно и то же время и в одном и том же смысле нельзя приписывать противоположные признаки. Если одному и тому же объекту приписываются противоположные признаки, то один из них, во всяком случае, приписан ложно.

Так не могут быть одновременно истины суждения: этот человек хороший специалист – этот человек плохой специалист.

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

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

1) если речь идет о разных признаках одного предмета;

2) если речь идет о разных предметах с одним признаком;

3) если речь идет об одном предмете, но рассматривается он в разное время и разных отношениях.

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

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

Этот закон распространяется также на понятия, а именно на отношения между ними. Это отношения несовместимости.

Так, если лес "хвойный", то он не может быть "лиственным" (отношение соподчинения); если человек "щедрый", то он не может быть в то же время "нещедрым" (отношение противоречия) или "скупым" (отношение противоположности).

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

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

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

С нарушением требований закона непротиворечия связаны разнообразные логические ошибки - «логические противоречия».

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

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

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

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

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

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

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

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

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

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

ЛОГИКА КАК НАУКА

1. Предмет логики

2. Возникновение и развитие логики

3. Язык логики

4. Формы и законы мышления

1. Предмет логики

Ключевые слова: логика, мышление, чувственное познание, абстрактное мышление.

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

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

Нам известно, что первым уровнем выступает чувственное познание. Оно осуществляется на основе органов чувств, их осмысления и синтеза. Напомним основные формы чувственного познания:

1) ощущение;

2) восприятие;

3) представление.

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

а) понятие;

б) суждение;

в) умозаключение.

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

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

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

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

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

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

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

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

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

Задачи и упражнения

1. Один и тот же кубик, на гранях которого расположены цифры (0, 1, 4, 5, 6, 8), находится в трёх различных положениях.

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

2. Светлана, Лариса и Ирина изучают в вузе разные иностранные языки: немецкий, английский и испанский. На вопрос, какой язык изучает каждая из них, их подруга Марина робко ответила: «Светлана изучает английский, Лариса не изучает английский, а Ирина не изучает немецкий». Оказалось, что в этом ответе лишь одно утверждение является истинным, а два – ложным. Какой язык изучает каждая девушка?

3. Иванов, Петров, Степанов и Сидоров – жители г.Гродно. Их профессии – кассир, врач, инженер и милиционер. Иванов и Пертов – соседи, они всегда ездят на работу вместе на автомобиле. Петров старше Сидорова. Иванов всегда обыгрывает Степанова в шахматы. Кассир всегда ходит на работу пешком. Милиционер не живёт рядом с врачом. Инженер и милиционер встречались единственный раз, когда первый оштрафовал второго за нарушение правил дорожного движения. Милиционер старше врача и инженера. Кто есть кто?

4. Друзья-мушкетёры Атос, Портос, Арамис и д’Артаньян решили позабавиться перетягиванием каната. Портос с д’Артаньяном легко перетянули Атоса с Арамисом. Но когда Портос стал вместе с Атосом, то они одержали более трудную победу над д’Артаньяном и Арамисом. А когда Портос с Арамисом боролись против Атоса с д’Артаньяном, то никто не смог перетянуть канат. Как по силе распределяются мушкетёры?

Составьте логическую схему взаимосвязи уровней и форм познания.

2. Возникновение и развитие логики

Ключевые слова: дедукция, формальная логика, индуктивная логика, математическая логика, диалектическая логика.

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

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

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

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

Развитие логического знания. Дальнейшим развитием античной логики стало учение философов-стоиков, которые вместе с философско-этической проблематикой логику считают «проистечением мирового логоса», его земной, человеческой формой. Стоики Зенон (333 – 262 гг. до н.э.), Хрисипп (ок.281 – 205 до н.э.) и др. дополняют логику системой высказываний (пропозиций) и выводов из них предложили схемы умозаключений на основе сложных суждений, обогатили категориальный аппарат и язык науки. К этому времени (3 в. До н.э.) относится возникновение самого термина «логика». Логическое знание преподносилось стоиками несколько шире классического воплощения. Оно соединило в себе учение о формах и операциях мышления, искусство ведения дискуссии (диалектика), мастерство публичных выступлений (риторика) и учение о языке.

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

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

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

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

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

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

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

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

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

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

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

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

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