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

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

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

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

Выполнил:

Студент группы 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 лет спустя, комментируя труды философа, хотя уже при жизни Стагирита логика практически достигла совершенства. Вплоть до тринадцатого века влияние Аристотеля в области метафизики было утеряно, но его авторитет в логике остался. Интересно то, что и в наши дни многие преподаватели логики как науки часто отвергают открытия современной логики и придерживаются со странным постоянством системы, которая устарела примерно так же, как и Птолемеева астрономия. Хотя нельзя отвергать тот факт, что основы логики уже долгое время остаются неизменными, и созданы они именно Аристотелем.

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

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

Введение

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

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

Определение логики

Слово «логика» употребляется нами довольно часто, но в разных значениях. Нередко говорят о логике событий, логике характера и т.д. В этих случаях имеется в виду определенная последовательность и взаимозависимость событий или поступков. «Быть может, он безумец, – говорит один из героев рассказа английского писателя Г.К. Честертона, – но в его безумии есть логика. Почти всегда в безумии есть логика. Именно это и сводит человека с ума». Здесь «логика» как раз означает наличие в мыслях определенной общей линии, от которой человек не в силах отойти.

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

Кроме того, логика – особая наука о мышлении. Она возникла еще в IV в. до н.э. Позднее она стала называться также формальной логикой.

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

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

Традиционный период развития логики

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

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

В своих научных трудах, посвященных логике, Аристотель впервые дал ее систематическое изложение и назвал “традиционной” формальной логикой. Традиционная формальная логика включала в то время такие разделы, как понятие, суждение, законы (принципы) правильного мышления, умозаключения (дедуктивные, индуктивные, по аналогии), логические основы теории аргументации, гипотеза. Основными работами Аристотеля по логике являются: “Первая аналитика” и “Вторая аналитика”, в которых дана теория силлогизмов, определение и деление понятий, теория доказательства; “Топика” –содержит учение о вероятных “диалектических” доказательствах; “Категории”, “Об опровержении софистических аргументов”, “Об истолковании”. Позже византийские логики объединили все перечисленные работы Аристотеля под общим названием “Органон” (орудие познания). Законы правильного мышления: закон тождества, закон непротиворечия, закон исключенного третьего – Аристотель изложил в своем главном произведении “Метафизика”. Законы мышления Аристотель рассматривал первоначально как законы бытия, а логические формы истинного мышления считал отображением реальных отношений. Для Аристотеля истина есть соответствие мысли действительности. Истинным он считал суждение, в котором понятия соединены между собой так, как связаны между собой вещи в природе. А ложным – суждение, которое соединяет то, что разъединено в природе, или разъединяет то, что связано в ней. Аристотель, опираясь на эту концепцию истинны, создал свою логику. В “Аналитиках” Аристотель довольно основательно разработал модальную логику . Аристотель видел в логике орудие, или метод исследования. Основным содержанием аристотелевской логики является теория дедукции . В логике Аристотеля содержаться элементы математической (символической) логики , в его работах прослеживаются начала исчисления высказываний, а его учение о силлогизме составило основу логики предикатов – одного из направлений современной математической логики.

Важным этапом в развитии учения Аристотеля явилась логика античных стоиков (Зенон, Хрисип и др.), именно она дополнила аристотелевскую теорию силлогизма описанием сложных умозаключений. Логика стоиков считается основой другого направления математической логики – логике высказываний. Среди других античных мыслителей, развивавших и комментирующих логическое учение Аристотеля, следует назвать Галена , именем которого названа 4-я фигура категорического силлогизма; Порфирия , известного разработанной им наглядной схемой, отображающей отношения подчинения между понятиями (“дерево Порфирия”); Боэция , сочинения которого дли- тельное время служили основными логическими пособиями.

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

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

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

Дальнейшее развитие логики связано с именами таких выдающихся западно-европейских мыслителей, как Р. Декарт, Г. Лейбниц, И. Кант и др. Французский философ Р. Декарт (1569–1650гг.) выступил с критикой средневековой схоластики, он развил идеи дедуктивной логики , сформулировал правила научного исследования, изложенные в сочинении “Правила для руководства ума”. В 1662 г. в Париже вышла книга “Логика, или Искусство мыслить”, написанная последователями Декарта А. Арно и П. Николем , известная также под названием “Логика Пор-Рояля” (так как авторы были членами религиозной корпорации, обосновавшейся в монастыре Пор-Рояль). Эта книга оказала заметное влияние на всю последующую историю развития логики. Крупный вклад в исследование логических проблем внесли немецкий философ Г.Лейбниц (1646–1716 гг.), сформулировавший закон достаточного основания, выдвинувший идею математической логики, которая получила развитие лишь в XIX-XX вв.; немецкий философ И. Кант (1724– гг.) и др. западно-европейские философы и ученые.

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

Значительны заслуги в развитии логики русских философов и ученых. Ряд оригинальных идей выдвинули М.В. Ломоносов (1711–1765 гг.), А.Н. Радищев (1749–1802 гг.), Н.Г. Чернышевский (1828–1889 гг.). Известны своими новаторскими идеями в теории умозаключений русские логики М.И. Каринский (1804–1917 гг.) и Л.В. Рутковский (1859–1920 гг.). Одним из первых начал развивать логику отношений философ и логик С.И.Поварнин (1807–1852 гг.). Во второй половине XIX в. подлинную революцию в логике совершило широкое применение разработанных в математике методов: алгебраических, аксиоматического метода, метода формализованных языков, исчислений и формальных семантик. Это направление разрабатывается в трудах Дж. Буля, У.С. Джевонса, П.С. Порецкого, Г. Фреге, Ч. Пирса, Б. Рассела, Я. Лукасевича и других математиков и логиков. Теоретический анализ-дедуктивных рассуждений методами исчисления с использованием формализованных языков получил название математической (или символической ) логики . Однако при всех новациях предмет логического анализа в основном оставался прежним.

Символическая логика – интенсивно развивающаяся область логических исследований, включающая множество разделов, или, как их принято называть, “логик” (например, логика высказываний, логика предикатов, вероятностная логика и так далее). Большое внимание уделяется разработке многозначной логики , в которой помимо принятых в традиционной логике двух значений истинности – “истинно” и “ложно” – допускается много значений истинности. Отметим, что в связи с двузначностью традиционной логики ее еще называют пропозициональной логикой. В разработанной польским логиком Я. Лукасевичем (1878– гг.) трехзначной логике вводится третье значение – “возможно” (“нейтрально”). Им же построена система модальной логики со значениями “возможно”, “невозможно”, “необходимо”и т.п., а также четырехзначная и бесконечнозначная логики . Перспективными являются такие разделы, как вероятностная логика , исследующая высказывания, принимающие множество степеней правдоподобия – от 0 до 1, временная логика и другие. Особое значение для правоведения имеет раздел модальной логики, получивший название деонтической логики , исследующий структуры языка предписаний, т.е. высказываний со значением “обязательно”, “разрешено”, “запрещено”, “безразлично”, которые широко используются в правотворческой и правоохранительной деятельности.

Исследование процессов рассуждения в системах символической логики оказало заметное влияние на дальнейшее развитие формальной логики в целом. Вместе с тем символическая логика не охватывает всех проблем традиционной формальной логики и не может полностью заменить ее. Это два направления, две ступени в развитии формальной логики. Особенность формальной логики состоит в том, что она рассматривает формы мышления, отвлекаясь от их возникновения, изменения, развития. Эту сторону мышления изучает диалектическая логика , впервые в развернутом виде представленная в объективно-идеалистической философской системе Гегеля (1770–1831) и с материалистических позиций переработанная в философии марксизма.

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

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

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

Развитие логики в Древнем Китае, Индии и Греции.

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

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

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

логика буддистов.

Логика в Индом можно проследить еще в грамматических текстах конца V века до н.э. Здесь, как и в Китае и Греции логика выделилась из философии. Две из 6 ведийских школ индийской философии начали разрабатывать проблематику методологического познание – именно тогда и выделилась логика, как отдельная наука. Позже это течение получила название ньяя что и переводится как «логика». Главным достижением этой

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

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

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

из него. Позже из этих теорий возникнет школа навья-ньяя.

Теперь стоит обстоятельно рассмотреть логику Давней Греции. Ее основателем считают древнегреческого философа, вченного-энциклопедиста Аристотеля, который выделял логику из между других наук, считал ее наукой, которая позволяет каждому получить определенные исследование любой проблемы, поскольку именно логика дает возможность определить что есть доведение, выделить его виды и степени. Метод этот широко известен нам как дедуктивный, хотя Аристотель называл его не иначе как «силогичним методом» поскольку доводил возможность построения любого доведения в виде рассуждения(то есть силлогизму). Именно исследованию силогизмив Аристотель посвятил свои логические труды. Аристотелевские учения о силогизми, собственно говоря, и составило основу для одного из направлений современной математической логики – логики предикатов. Наряду с Аристотилем проблемами логики интересовались также представители стоицизма и софистика. Среди стоиков стоит отдельно вспомнить Хрисиппа, которому принадлежит стоическая концепция логики. Основное внимание он уделял исследованию таких схем рассуждения благодаря которым высказывания связываются между собой. Это, например, такие слова естественного языка: “если. то”, “.и.”, “.або.” и тому подобное. В современных логических исследованиях они получили название “логические союзы”. Также среди ученых, которые продолжали разрабатывать идеи Аристотеля, стоит вспомнить такого философа и логика как Порфирий. Его одним достижением в отрасли логики можно считать разработки так называемого дерева Порфирия – схемы, которая демонстрировала отношение подчинения между понятиями. Но он известен не только этим, но и своим «Введением к учению Аристотеля о категории», которое и доныне предпосылают «Категориям» Аристотеля.

Достаточно интересно развитие логики можно найти в логике еще одного выдающегося греческого философа Платона. Да, именно им было подмечено, что «критерий основы» Протагора, который заключается в том, что суждение человека является мерой истины, является неверным поскольку основа суждения не имеет базироваться на субъективной воле человека, поскольку тогда придется признать верность явных противоречий, а потому любые суждения имеют быть обоснованными. Такие мнения философа стали одновременно и критикой софизма и базисом для «принципа не противоречия » Аристотеля. Школа софистов была первой, которая увлеклась воплощением возможностей реализовать идеи логики как науки. Эти философы были первыми, кто дифференцировал сферу природы и общества - “ф’юзис” и “номос”, определили общее поле логического мышления. Они также были первыми адвокатами, которые использовали логику на практике. Один из представителей софизма Стагирит определил понятие формальной логики, ее структуру, базовые законы, последующий вектор развития, которое определяет судьбу и место этой науки доныне. Невзирая на то, что после смерти мыслителя минуло много столетий, формальная логика хранит основные его идеи. Основное внимание софисты уделяли анализу логических ошибок в рассуждениях людей. Была даже распространена практика того, что они учили за деньги «искусству обмишуливать людей» - издания неправильной схемы рассуждения с нарушенными законами логики за правильную. Также софисты умело пользовались своими знаниями для того, чтобы выставить во время спора своего оппонента в невыгодном свете путем вопросов, ответ на которых все равно загонял бы человека в ловушку. Сегодня же софизмом называют такие логические ошибки, которые допускаются преднамеренно, для введения оппонента в заблуждение или для обоснования неверного утверждения.

Большое внимание уделяли софисты семиотическому анализу. Один из представителей школы софистики Продик считал «учение о языке» и правильном употреблении имен и названий достаточно важным.

Правда, софистов критиковали. Достаточно весомой была критика самого Аристотеля какой называл софизм «надуманным доказательством», в котором обоснованность вывода подчиняется исключительно субъективному впечатлению, которое визване недостаточностью или отсутствием логического си семантического анализа. А абсолютную на первый взгляд логичность софистов Аристотель связывал в первую очередь с хорошо замаскированной ошибкой – семиотической (за счет метафорического языка, омонимии, полисемии слов, которые нарушают однозначность мысли

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

Достаточно оригинальными являются логические учения Востока, которые формировались под значительным влиянием на них религиозных верований. Но среди мыслителей этого региона можно отдельно выделить таких ученых, как Ибн Сена и Ибн Рудш. Они постоянно полемизировали, поскольку Ибн Рудш был сторонником «достоверного аристотелизму». Относительно рассуждений Ибн Сена, то здесь существует несколько трактовок. Да, согласно первой из них Ибн Сена доказывал, что логика была предшествует всем наукам, которые в свою очередь разделяются на теоретические, что должны обеспечить человеческое благосостояние, и науки практического направления. Согласно же второй трактовки его трудов он просто разделяет все науки на практических, но теоретические. Логика Ибн Сена состоит из четырех разделов: учение о понятии, суждение, умозаключение и доведение. Он рассматривал «логическое учение как средство достижения истины, как средство преодоления искривления и ошибок». Про Ибн Сену, «это инструмент какой сравнивает истину и ложь». При чем он был уверен, что «логические категории, но принципы должны отвечать вещам». Ибн Сена сыграл серьезную роль в распространении, но популяризации учения Аристотеля, в развитии рационального мышления. Он разрабатывал такую проблематику, как проблемы единичного и общего, логические ошибки, суждения. Последние он разделял на категорических, условно - объединительные и условно – распределительные. То есть, можно сделать вывод, что логическое учение Востока ничего не уступало в своей развитой ни Греции, ни Индии и Китая.

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

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

Современный этап развития логики

Современная логика сформировалась в конце XIX – началу ХХ века. Но ее основателем все-таки считают немецкого ученого Г.Лейбница. Хотя его деятельность и приходится на ХVІІ век, но можно уверенно сказать, что его идеи настолько опередили свое время, что именно они легли в основу современной логики, хотя они и не воспринимались современниками Лейбница. Именно Лейбниц в своем труде «О комбинаторном искусстве» выдвинул идею о создания специального искусственного языка, которые позволят превратить рассуждение на цепь знаков определенного типа. По этому поводу он написал: «Единственный способ улучшить

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

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

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

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

Начальный на этом этапе логика была сориентирована на анализ исключительно математических рассуждений. Именно этот период развития современной логики называют классическим. В направлении символической (или математической) логики работали такие выдающиеся учения как Д.Буль У.С.Джевонс, П.С.Порецкий, Г.Фреге, Ч.Пирс, Б.Рассел Я.Лукасевич и много других математиков и логикив. Они привнесли в логику те методы, которые приняты применять в математике. В результате были созданы такие разделы логики как логика высказываний и логика предикатов. Первым же трудом классической логика признана «Принципы математики» Рассела и Уайтхеда.

ЛОГИКА

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

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

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

В логической семантике язык и логические теории изучаются с содержательной их стороны; Так как ЯЗЫКОВЫЕ конструкции не только обозначают, но и нечто описывают (имеют ), в логической семантике различают теорию значения и теорию смысла. В первой решается вопрос, какие объекты обозначают знаки и как именно они это делают. Аналогично в теории смысла решается вопрос о том, что является смысловым содержанием языковых выражений и каким образом они описывают это содержание.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Сводная энциклопедия афоризмов

История формирования логики

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

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

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

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

Восприятие не является непосредственно данным нам, а заключает в себе акт «суждение – умозаключение». Иными словами, в основе нашего восприятия мира лежит приобретенный нами опыт.

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

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

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

Вторая причина – это развитие ораторского искусства и искусства спора.

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

Аристотелю принадлежит ряд трактатов по логике, позднее объединенных в единой работе «Органон» (от греческого organon – орудие, инструмент). Эта работа содержала полностью всю систему аристотелевской логики, и от нее непосредственно ведет начало современная логика.

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

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

Логика Аристотеля оказала значительное влияние и на развитие ораторского искусства, особенно судебных речей. Так, один из теоретиков риторики, Гермагор, около середины II в. до н. э. разработал знаменитую «систему нахождения», которая явилась высшим достижением эллинской риторики. Суть данной системы сводилась к тому, что все многообразие судебных «казусов» (случаев) сведено к единой схеме видов и разновидностей («статутов»), которой пользовались ораторы в своих речах.

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

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

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

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

Огромный вклад в развитие формальной логики внесли русские ученые. Оригинальные логические концепции в России разрабатывались в XVIII в., и связаны прежде всего с именами М. В. Ломоносова и А. Н. Радищева. Расцвет же логических исследований в нашей стране относится к концу XIX в. Это прежде всего такие логики как М. Каринский, Л. Рутковский, С. Поварнин.

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

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

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

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