Слово "логика" для обозначения науки о мышлении, о формах и законах его, ввел в самом начале III в. до н.э. основатель стоического направления в философии - Зенон из г. Китиона, что на Кипре (ок. 336- 264 гг. до н.э.) Как известно, Аристотель (384--322 гг. до н. э.), подлинный создатель логики как науки, пользовался для ее обозначения словом «аналитика». Скорее всего, слово «логика» происходит от древнегреческого «логос», которое еще тогда представляло собой крайне многозначное выражение, являющееся основополагающим для философских взглядов многих античных философов. Многозначность логоса отразилась и на значении слова «логика». «Логос» - это и понятие, слово, мысль, разум, идея, принцип, закон, порядок и пр.

В русском языке слово «логика» используется для обозначения:

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

б) столь же закономерно взаимосвязанного, последовательного рассужде­ния, размышления (логика рассуждения Иванова, Петрова или Сидорова, «железная логика», субъективная логика и т. п.);

в) науки о формах и законах мысли.

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

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

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

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

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

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

Если теория познания (гносеология ), да и диалектика (диалектическая логика), как раздел философии, конечно же, включает в свой предмет и логическую проблематику, то только как уже данное, формальной логикой подготовленное: ибо и гносеология, и диалектика одинаково пользуются формами и законами мысли для исследования процесса мышления, его исторического формирования, его развития; они затрагивают формы мысли, рассматривая их роль, динамику и диалектику в процессе познания и деятельности. Формальная же логика отвлекается от истории развития форм мысли и изучает лишь законы их внутреннего строения, законы связи их между собой. И хотя эти формы (прежде всего понятия) исторически могут существенно менять свое содержание, для логики они, как определенным образом структурированные формы, остаются неизменными, постоянными, ставшими на все времена. Так, и для периода античности, и для нашего времени понятие есть жестко определенная, структурированная на объем и содержание, неизменная по этому показателю форма мысли. Неизменная не по содержанию, а по своей конструкции, строению, структуре. Содержание понятий исторически менялось и менялось в зависимости от уровня развития науки и культуры зачастую до противоположности, например, понятие «схоласт», «софист», «метафизик» и пр.

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

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

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

Что же такое мысль, форма мысли, что такое мышление?

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

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

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

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

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

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

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

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

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

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

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

В большинстве учебников и учебных пособий по логике анализ, синтез, сравнение, обобщение и абстрагирование обычно рассматриваются как приемы образования понятий. Представляется, что это несколько упрощенное, одностороннее толкование. Нет спора, что как приемы они могут участвовать и в образовании понятий, но эти же мысленные процедуры участвуют во всей интеллектуальной деятельности человека. Они участвуют и в исследовании самих понятий, в исследовании других форм мысли, в исследовании вообще, даже в практической деятельности. «Уже раз­бивание ореха есть начало анализа». (Маркс К., Энгельс Ф. Соч. 2-е изд. Т. 20. С. 537.) Поэтому мы и рассматриваем их как простейшие мыслительные процедуры, как простейшие методы, которые выступают основой более сложных методов интеллектуальной и теоретической деятельности человека.

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

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

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

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

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

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

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

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

 3. МЕТОДОЛОГИЯ ЛОГИКИ

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

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

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

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

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

II. Формулы:

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

§ 11. Язык, логика и исчисление предикатов язык логики предикатов

I. Исходные символы языка.

Глава IV

§ 12. Возможные объекты познания (предметы мысли)

§ 13. Понятие признака. Виды признаков

§ 14. Деление признаков по месту и роли в системе признаков. Сущность предметов

Глава V

§15. Понятие как форма мышления. Общая характеристика

§ 16. Логическая структура и основные характеристики понятия

§ 17. Слово и понятие. Понятие и представление

§ 18. Основные приемы образования понятий. Значение понятий в познании

§ 19. Закон обратного отношения между объемами и содержаниями понятий. Логические и фактические объемы и содержания понятий

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

§ 21. Виды отношений между понятиями

Виды несовместимости

Глава VI

§ 22. Обобщение и ограничение понятий

§ 23. Деление понятий. Классификация

Глава VII

§ 24. Общая характеристика определения

§ 25. Виды определений

Виды неявных определений

§ 26. Правила и возможные ошибки в определении

§ 27. Приемы, сходные с определением

Глава VIII

§ 28. Общая характеристика и роль суждения в познании

§ 29. Простые и сложные суждения. Виды простых суждений

§ 30. Виды сложных суждений

§ 31. Понятие необходимого и достаточного условия

§ 32. Связь между простыми суждениями

§ 33. Суждения ассерторические и модальные

§ 34. Отрицание суждений. Виды отношений между суждениями

Глава IX Выводы (умозаключения)

Часть I

§ 35. Выводы из сложных высказываний (выводы на основе свойств логических связок)

§ 36. Выводы из категорических суждений. Непосредственные умозаключения

Выводы на основе свойств отношений между категорическими суждениями (выводы по «логическому квадрату»)

§ 37. Выводы из категорических суждении. Простой категорический силлогизм

Общие правила простого категорического силлогизма и специальные правила фигур категорического силлогизма

§ 38. Энтимема (сокращенный силлогизм)

Часть II

Индуктивное следование

§ 39. Основные виды правдоподобных выводов (умозаключений)

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

Все гуси - двуноги Все курицы тоже двуноги

Глава X

Часть I

Эмпирические методы

Обоснования индуктивных

Обобщений

§ 40. Понятие причины и основные свойства причинных связей

§ 41. Метода установления причинной зависимости явлений

В., в2, ..., -1 в-, ..., Вп - -I а,

Метод остатков

Часть II

§ 42. Теория как форма и система знания

§ 43. Научное объяснение

§ 44. Вопрос и гипотеза как формы познания. Их методологическое значение вопрос

Глава XI

Логико-эпистемические

И социально-психологические

Аспекты аргументации

Часть I

§ 45. Аргументация как прием познавательной деятельности. Виды аргументаций

§ 46. Доказательство и опровержение

§ 47. Виды доказательств

§ 48. Подтверждение и критика (тезиса)

Вопрос об основании теории

§ 49. Правила и возможные ошибки в процедурах обоснования

Часть II

§ 50. Спор и дискуссия как разновидности аргументации. Виды споров

§ 51. Научный спор как форма познавательной деятельности. Эпистемически-эвристическое и социально-педагогическое значение научных споров

§ 52. Уловки споров и способы их нейтрализации

§ 53. Рационализация споров: понятие о стратегии и тактике спора

Содержание

§ 2. Логика как наука

Логика как наука возникла в IV веке до н. э. Ее создате­лем был древнегреческий философ Аристотель (384-322 гг. до н. э.), который систематизировал и развил логические изыскания своих предшественников в трудах, объединенных общим названием «Органон» («Категории», «Об истолкова­нии», «Первая аналитика», «Вторая аналитика», «Топика», «О софистических опровержениях» 1). Нелишне заметить, что логика была первой из оформившихся в самостоятельную науку отраслей знания.

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

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

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

1 Аристотель. Соч.: В 4 т. - М: Мысль, 1978. - Т. 2.

2 Термин «формальное» трактуют иногда как бессодержательное, фор­ малистическое и т. п. Но к формальной логике это не имеет никакого отно­ шения! Дело просто в том, что задачей этого раздела логики как науки яв­ ляется выявление определенных форм (структур) рассуждений, но при этом учитывается как раз, что сами формы, например, высказываний, по­ нятий, имеют содержание, а именно логическое содержание. Оно играет очень важную роль для понимания многих познавательных процессов.

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

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

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

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

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

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

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

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

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

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

ЛОГИЧЕСКАЯ ФОРМА И ЛОГИЧЕСКОЕ СОДЕРЖАНИЕ МЫСЛИ. ЛОГИЧЕСКИЕ ЗАКОНЫ

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

формализованные языки. Здесь возможно лишь предвари­тельное знакомство с ними.

Рассмотрим понятия логической формы и содержания мысли на примере такого наиболее знакомого читателю вида знания, как высказывания (суждения 1), в которых утвержда­ется наличие иди отсутствие какой-либо ситуации в познава­емой области действительности. Мы имеем, например, такие простые высказывания как «2 - простое число», «Волга впа­дает в Каспийское море», «Все жидкости упруги», «Некото­рые кислоты не содержат кислорода», и сложные: «Луна вращается вокруг Земли, а Земля - вокруг Солнца» «Все кислоты содержат кислород или некоторые не содержат его».

Про высказывания (суждения), как и про понятия, тео­рии говорят (и мы будем говорить), что они являются -бы ми формами знания. «Формы» здесь означают виды знания, то есть речь идет об особых видах знания. Но каждое конкретное суждение (как и понятие), будучи вы­раженным в некотором языке и при этом достаточно точ­ным образом, наряду с определенной знаковой (языковой) формой, имеет также логическую форму, а наряду с опреде­ленным конкретным содержанием, - логическое содержа­ние (здесь, поскольку речь идет о суждении с определенной знаковой формой, естественнее говорить о логической фор­ме и о логическом содержании высказывания). Рассмотрим эти понятия на примере следующих высказываний: «Все ме­таллы суть химически простые вещества» и «Если вода (при нормальном давлении) нагрета до 100°С, то она закипает».

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

1 Одно и то же суждение может быть выражено в разных языках и даже в разных знаковых формах в пределах одного языка. Когда суждение рассматривается в связи с какой-то конкретной формой его языкового вы­ражения, оно называется «высказыванием». Термин же «суждение» для него мы употребляем, когда отвлекаемся от того, какова именно его знако­вая форма.

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

Все 5 суть Р.

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

Читатель теперь сам, очевидно, установит, что для того чтобы выявить логическую форму второго из взятых нами высказываний, надо отвлечься от конкретного предмета, а в данном случае воды. Результатом отвлечения будет введение некоторой переменной для его обозначения, например, а. Вместе с тем отвлекаемся от того, о каких именно свойствах этого предмета идет речь, заменяя опять их знаковые формы переменными: «нагретость до 100°С» обозначим P v а «заки­пает» - Р 2 . В итоге получим:

Если а есть Р,то а есть Р 2 .

Логическое содержание состоит здесь в указании на связь между наличием у предмета одного свойства Р { и нали­чием другого - Р 2 .

Тут же логическую форму имеет высказывание: «Если сумма цифр числа 353 делится на 3, то само это число делит­ся на 3».

Читатель, наверное, усмотрел уже, что при выявлении ло­гических форм высказываний в приведенных случаях мы до­пускали определенные огрубления: игнорировали, например, различие между структурами таких свойств, как «нагреть до 100°С» и «закипает». В первом случае налицо некоторое от­ношение между водой и температурой 100°С. Есть суще­ственная разница между свойствами «делимость суммы

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

Если р, то q,

где р и q - переменные для высказываний (пропозицио­нальные переменные).

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

Если а есть Р,то а есть Р 2

Если же учтем структуру второго свойства «Всякий чело­век, если он живет в нашем мире, то он счастлив», будем иметь: «если а есть Р,то все 5 суть Р 2 (если SRa , то 5 есть О)», где R - отношение «живет». Читателю предлагается теперь самому выявить логическую структуру также первого из ука­занных свойств и соответственно форму всего высказывания с учетом структуры этого свойства.

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

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

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

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

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

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

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

2 Точная и полная формулировка мысли нужным образом достигается в специальных, формализованных, определенным образом стандартизиро­ ванных языках (см. гл. III), в чем и состоит их важное значение для логики.

волы переменных X, Y , ..., употребляя выражения «человек X», «че­ловек У», как это и делается в формализованных языках.

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

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

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

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

Если все S суть Р, то ни одно не-Рне есть S ;

Если все S суть Р, то некоторые Р суть S ;

Если неверно, что некоторые S есть Р, то ни одно S не есть Р.

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

щество не есть металл» и «Некоторые электропроводящие ве­щества есть металлы».

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

ЗАКОНЫ ЛОГИКИ И ПРИНЦИПЫ ПРАВИЛЬНОГО МЫШЛЕНИЯ

Современное понятие закона логики возникло в рамках символической логики; при этом было выяснено, что сущес­твует бесконечное множество законов этого типа. Мы под­черкиваем это в противовес распространенному - идущему от традиционной логики - представлению о том, что в фор­мальной логике есть три, а по другому мнению, четыре зако­на, которые называют при этом «основными» законами (ос­новными и единственными!). Имеются в виду три закона - закон тождества, закон противоречия, закон исключенного третьего, - сформулированные еще Аристотелем, и закон достаточного основания, введенный в логику Г. Лейбницем.

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

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

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

Другая крайность, которую представляли ф и л о с о ф ы -софисты (Протагор, Горгий и др.), состояла в утвержде­нии, что, наоборот, все, что бы мы ни утверждали или отрица­ли, является истинным: «И как кому кажется, так оно и есть!» На это Аристотель отвечал, что из двух указанных типов вы­сказываний А и не-А, по крайней мере, одно является лож­ным или, иначе говоря, противоречащие друг другу высказы­вания не могут быть оба истинными. Это - тоже закон логи­ки. Он получил название з а к о н п р о т и в о р е ч и я.

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

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

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

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

Итак, Аристотель формулирует здесь важное требование к мышлению, необходимое условие его логической правильно­сти: рассуждая о тех или иных предметах и явлениях, необхо­димо выделять в них нечто качественно определенное, устой­чивое, относительно тождественное, придавая таким образом словам, в которых выражаются мысли, определенное пред­метное значение (см. § 5). Это требование относится, в част­ности, и к нашим понятиям, которые должны иметь опреде­ленное содержание и сохранять свою определенность в про­цессах рассуждения (не допускать подмены одних понятий другими и смешения слов с различными значениями). Это требование получило в логике название закона тожде­ства 2 .

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

1 Аристотель. Метафизика. - С. 64.

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

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

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

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

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

Из перечисленных нами так называемых основных зако­нов логики два первых - исключенного третьего и противо­речия - действительно являются законами логики. Что каса­ется законов тождества и достаточного основания - это лишь более или менее определенные требования. Впрочем, в современной логике действительно есть закон тождества. Он - насколько возможно выявить его смысл на данном этапе изложения материала - представляет собой так же, как и другие законы, определенную, хотя в данном случае и тривиальную связь между высказываниями: «Если какое-то высказывание А истинно, то оно истинно».

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

Из закона противоречия вытекает, очевидно, принцип не­противоречия:

«Утверждая (принимая) некоторое утверждение А, не от­вергай (не отрицай) того же самого (если, конечно, не хо­чешь говорить ложного)».

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

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

1 Другим условием определенности мышления естественно считать так­же и принцип тождества.

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

Хороший пример того, как легко впасть в противоречие даже весьма умному человеку, показывает И. С. Тургенев в романе «Рудин». Герой романа Пегасов, как вы помните, бу­дучи человеком оригинального склада ума и особого склада характера, возмущается, что люди претендуют на наличие у них каких-то убеждений, носятся с ними, уважения к ним требуют. К нему обращается Рудин:

Что же, по-вашему, убеждений не существует?

Нет и быть не может!

Это ваше убеждение? -Да!

Вот вам одно на первый случай!

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

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

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

ний, точность формулировок в соответствии с принципом ис­ключенного третьего.

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

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

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

ПО ДИСЦИПЛИНЕ

ЛОГИКА

«ИСТОРИЯ НАУКИ ЛОГИКИ»

Вариант № 1

Выполнила: Лобанкова Я. Н.

Студентка гр. ЗСП-15, 1 курса

Преподаватель: Сидорова И. М.

Подпись преподавателя: __________

Дата: __________

Рыбинск 20___

План

1. Причины возникновения науки логики ……………………………………………….. 3

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

3. Аристотель – основоположник формальной логики …………………………… 8

4. Ф.Бэкон – основоположник индуктивной логики ……………………………… 10

5. Дедуктивный метод Р.Декарта …………………………………………………………… 13

6. Ф.Гегель – создатель наиболее развитой системы дидактической логики.…………………………………………………………………………………………………. 15

7. Развитие символической (математической) логики………………………….. 17

2-ая часть. Задачи и упражнения ……………………………………………………… 19

Список литературы ……………………………………………………………………………… 26

Причины возникновения науки логики

Основными причинами возникновения логики как науки являются:

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

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

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

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

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

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

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

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

Выделению логики как особой ветви знания способствовали два обстоятельства:

1) еще в древности люди знали, что достоверность выводных знаний зависит не только от истинности

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

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

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

Аристотель (дедуктивная логика, «Органон», 4 век до н. э., основный законы правильного мышления);

Ф.Бэкон (1561 - 1626) («Новый органон» - манифест индуктивной логики, время экспериментов);

Гегель (1770-1831) (диалектическая логика, познание мира с точки зрения динамики, текучести, позднее ее применение было расширенно);

Дж. Буль (1815-1864) – (математическая логика, логика по предмету и математика по методу, обсуждение проблем о возможной формализации мышлений и его практического приложения).

Последний этап развития логики - неклассическая логика.

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

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

Именем Галена названа 4-я фигуре категорического силлогизма.

Сочинения Боэция которого длительное время служили основными логическими пособиями.

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

Важнейшим этапом в ее развитии явилась теорий индукции, разработанная английским философом Ф. Бэконам (1561- 1626). Бэкон подверг критике извращенную средневековой схоластикой дедуктивную логику Аристотеля. Разработка индуктивного метода - огромная заслуга Бэкона, однако он неправомерно противопоставил его методу дедукции; в действительности эти методы не 1 исключают, а дополняют друг друга. Бэкон разработал методы научной индукции, систематизированные впоследствии английским философом и логиком Дж.Ст. Миллем (1806-1873)

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

Дальнейшее развитие логики связано с именами таких выдающихся западно-европейских мыслителей, как Р. Декарт, Г. Лейбниц, И. Кант и др.

Французский философ Р. Декарт (1569-1650) выступил с критикой средневековой схоластики, ей развил идеи дедуктивной логики, сформулировал правил а научного исследования, изложенные в сочинении «Правила для руководства ума»

Г. Лейбниц (1646 - 1716), сформулировал закон достаточного основания, -выдвинувший идею математической логики, которая получила развитие лишь в XIX- XX вв.; немецкий философ И. Кант (1724- 1804) и многие другие западно-европейские философы.и ученые.

Ряд оригинальных идей выдвинул М. В. Ломоносов (1711-1765), А. Н. Радищев (1749-1802), Н. Г. Чернышевский (1828- 1889). Известны своими новаторскими идеями в теории умозаключений русские логики М. И. Карийский (1804- 1917) и Л. В. Рутковский (1859-1920). Одним ид первых начал развивать логику отношений философ и логик С. И. Поварнин (1807- 1952).

Во второй половине XIX века в логике начинают широко применяться разработанные в математике методы исчисления. Это направление разрабатывается в трудах Д. Буля, У.С. Джевонса, П.С. Порецкого, Г. Фреге, Ч. Пирса. Теоретический анализ дедуктивных рассуждений методами исчисления с использованием формализованных языков получил название математической, или символической логики.

САНКТ-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНОЛОГИЧЕСКИЙ ИНСТИТУТ (ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ)

Кафедра философии

РЕФЕРАТ НА ТЕМУ:

“АРИСТОТЕЛЬ - основатель науки Логики”

Выполнил:

Студент группы 226

Родин Д.И.

Руководитель:

Кутыкова И.В.

Санкт-Петербург

Введение…………………………………………………………………………………..3

Краткая биография Аристотеля…………………………................................................4

Что такое логика?..…………….………………………………………………………….6

Логика Аристотеля……………………………………………………………………….6

Логические произведения Аристотеля………………………………………………….9

Заключение………………………………………………………………………………13

Список литературы……………………………………………………………………...14

ВВЕДЕНИЕ

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

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

Логика как наука зародилась в древней Греции. Самое раннее упоминание логической проблематики можно найти в сочинениях Парменида Элейского, родившегося около 540г. до н.э. и Гераклита Эфесского, жившего приблизительно между 530 и 470 гг. до н.э. О логике в смысле науки можно говорить лишь со времен Аристотеля (IV в. до н.э.). Логику, основанную Аристотелем, принято называть формальной. Это название закрепилось за ней потому, что она возникла и развилась как наука о формах мышления.

КРАТКАЯ БИОГРАФИЯ АРИСТОТЕЛЯ

Аристотель родился в 384 г. до н. э. в городе Стагире на северо-западном побережье Эгейского моря. Отцом Аристотеля был Никомах - придворный медик Аминты III, царя Македонии. Аристотель рано остался без родителей. Воспитывался он в Атарнее у Проксена, своего родственника. В восемнадцать лет он отправился в Афины и поступил в Академию Платона, где оставался вплоть до смерти Платона около 347 до н.э. За время пребывания в Академии Аристотель изучил философию Платона, а также ее сократические и досократические источники и многие другие дисциплины. По-видимому, Аристотель преподавал в Академии риторику и другие предметы. Возможно, что именно в этот период его творчества и были созданы работы по логике.

Около 348–347 до н.э. преемником Платона в Академии стал Спевсипп, с которым у Аристотеля были напряженный отношения, поэтому ему пришлось покинуть Академию, хотя и после этого Аристотель продолжал считать себя платоником. С 355 г. он живет сначала в Ассосе, в Малой Азии, под покровительством тирана города Атарнея Гермия. Последний предоставил ему прекрасные условия для работы. Аристотель женился здесь на некоей Пифиаде - не то дочери, не то приемной дочери, не то племяннице Гермия, а по некоторым сведениям - его наложнице. Через три года философ уезжает в Митилену на остров Лесбос. Это произошло незадолго до или же сразу после смерти Гермия, предательски захваченного персами и распятого.

Гермий был союзником македонского царя Филиппа II, отца Александра, так что, возможно, именно благодаря Гермию Аристотель в 343 или 342 до н.э. получил приглашение занять должность наставника юного наследника престола, которому было тогда 13 лет. Аристотель принял предложение и переехал в столицу Македонии Пеллу. О личных отношениях двух великих людей известно мало. Судя по сообщениям, которыми мы располагаем, Аристотель понимал необходимость политического объединения мелких греческих полисов, но стремление Александра к мировому господству ему не нравилось. Когда в 336 до н.э. Александр взошел на престол, Аристотель возвратился на родину, в Стагиру, а год спустя вернулся в Афины.

За это время характер мышления Аристотеля, его идеи претерпели некоторые изменения. Часто его идеи вступали в прямое противоречие со взглядами преемников Платона в Академии и некоторыми положениями учения самого Платона. Этот критический подход выразился в диалоге “О философии”, а также в ранних разделах работ, которые дошли до нас под условными названиями “Метафизика”, “Этика” и “Политика”. Чувствуя свое идейное расхождение с господствующим в Академии учением, Аристотель предпочел основать в северо-восточном предместье Афин новую школу – Ликей. Целью Ликея, как и целью Академии, было не только преподавание, но и самостоятельные исследования. Здесь Аристотель собрал вокруг себя группу одаренных учеников и помощников.

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

В 323 до н.э. внезапно умер Александр, и по Афинам и другим городам Греции прокатилась волна антимакедонских выступлений. Положение Аристотеля было поставлено под угрозу из-за его дружбы с Филиппом и Александром, а также недвусмысленно выражавшихся им политических убеждений, которые приходили в противоречие с патриотическим энтузиазмом городов-государств. Под угрозой преследований Аристотель покинул город, чтобы, как он говорил, не дать афинянам совершить преступление против философии во второй раз (первым была казнь Сократа). Он переехал в Халкиду на острове Эвбея, где находилось доставшееся ему от матери имение, где, после непродолжительной болезни, умер в 322 до н.э.

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

ЧТО ТАКОЕ ЛОГИКА?

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

ЛОГИКА АРИСТОТЕЛЯ

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

Что же такое логика Аристотелю?

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

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

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

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

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

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

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

Софисты, и среди них Протагор, стали трактовать диалектику как искусство вестей беседу, спор. Протагор учил, что о каждом предмете что-то можно утверждать и то же самой можно отрицать. Эти идеи изла­гаются философом в работе "Антилогии", известной нам лишь по преда­ниям. Согласно софистам, в каждом утверждении есть доля истины, и надо лишь уметь это обосновать. Единой абсолютной истины не сущест­вует, а есть лишь совокупность достоверных мнений, любая истина относительна: "Человек есть мера всех вещей". По Протагору в объекте познания в "текучей материи", заключаются противоположные "логосы"; реальность изменчива и противоречива; каждый человек познает то, что соответствует ему как познающему субъекту, поэтому он и выступает в качестве меры, критерия всех вещей, Протагор славился как мастер вести споры, чему даже посвятил одну из своих работ - "Искусство спора". Гноссеологическими предпосылками дискуссий, возникновения различных, иногда противоположных, взглядов Протагор считал различие жизненного опыта субъектов познания, сложность и многообразие объектов познания, противоречивость развития явлений и хода познания, а также субъективные особенности органов чувств и общественную обусловленность процесса познания. Слово "софист", происходящее от древнегреческого "софос" - мудрец, впоследствии, в результате односторонней критики софистов Платоном, приобретает отрицательный смысл. Поэтому необходимо отличать античных софистов от современных. "Характерным отличием софистики античной от софистики современной было применение ею гибкости понятий и субъективно, и объективно".

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

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

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

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

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

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

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

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

Развитие математики и проникновение математических методов в другие науки уже во второй половине XVII в. настоятельно выдвигали применение логики, для разработки теоретических оснований математики, и математизацию самой логики как науки. Наиболее глубокую и плодотворную попытку решить вставшие проблемы предпринял крупнейший немецкий философ и математик Г. Лейбниц (1646-1716).

Идеи Лейбница получили некоторую разработку в XVIII в. и первой половине XIXв. Немецкий философ по праву считается основоположником математической (символической) логики. Начиная с Лейбница, в логике используется в качестве метода исследования метод формализации. В XIX в. математическая логика получила интенсивное развитие в работах Д. Буля, Э. Шредера, П. С. Порецкого, Г. Фреге и других логиков.

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

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

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

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

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

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

Контрольные вопросы

1. Каковы причины возникновения науки логики.

2. Кто считается основоположником формальной логики?

3. Какой логический метод исследования Ф.Бэкон считал наиболее универсальным для науки?

4. Какой ученый ХVII в. внес значительный вклад в развитие дедуктивного метода?

5. Что изучает символическая (математическая) логика?

6. Кто ввел в науку понятие «формальной логики»?

7. Кто создал в ХIХ в. наиболее развитую систему диалектической логики?