Історія логіки

зміст

Вступ.

1.Вознікновеніе і етапи розвитку традиційної формальної логіки.

2. Створення символічної логіки.

3.Становление діалектичної логіки.

Висновок.

Список використаної літератури.

Логіка - одна з найдавніших наук. Точно встановити, хто, коли і де вперше звернувся до тих аспектів мислення, які складають предмет логіки, в даний час не представляється можливим. Окремі витоки логічного навчання можна виявити ще в Індії, в кінці II тисячоліття до н. е. Однак якщо говорити про виникнення логіки як науки, тобто про більш-менш систематизованої сукупності знань, то справедливим вважатиме батьківщиною логіки велику цивілізацію Стародавньої Греції. Саме тут в V-IV століттях до н. е. в період бурхливого розвитку демократії і пов'язаного з ним небувалого пожвавлення суспільно-політичного життя працями Демокріта, Сократа і Платона були закладені основи цієї науки. Родоначальником ж, «батьком» логіки, по праву вважається найбільший мислитель давнини, учень Платона - Арістотель (384-322 рр. До н. Е.). Саме він в своїх працях, об'єднаних загальною назвою «Органон» (знаряддя пізнання), вперше докладно проаналізував і описав основні логічні форми і правила міркувань, а саме: форми висновків з так званих категоричних суджень - категоричний силогізм ( «Перша аналітика»), сформулював основні принципи наукових доказів ( «Друга аналітика»), дав аналіз сенсу деяких видів висловлювань ( «про тлумачення»), окреслив основні підходи до розробки вчення про поняття ( «Категорії»). Серйозну увагу Аристотель приділяв також викриттю різного роду логічних помилок і софістичних прийомів в суперечках ( «Про софістичних спростування").

Метою даної роботи є вивчення основних етапів історії логіки. Завданнями роботи є:

- вивчення виникнення і етапів розвитку традиційної логіки,

- вивчення історії створення символічної і діалектичної логіки.

Логіка має довгу і багату історію, нерозривно пов'язану з історією розвитку суспільства в цілому.

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

Історія свідчить, що окремі логічні проблеми виникають перед уявним поглядом людини вже понад 2,5 тис. Років тому - спочатку в Стародавній Індії та Стародавньому Китаї. Потім вони отримують більш повну розробку в Стародавній Греції і Римі. Лише поступово складається більш-менш струнка система логічних знань, оформляється самостійна наука.

Які причини виникнення логіки? Основними є дві. Одна з них - зародження і первісний розвиток наук, перш за все математики. Цей процес відноситься до VI ст. до н. е. і отримує найбільш повний розвиток у Стародавній Греції. Народжуючись в боротьбі з міфологією і релігією, наука ґрунтувалася на теоретичному мисленні, який передбачає умовиводи і докази. Звідси - необхідність дослідження природи самого мислення як засобу пізнання [1].

Логіка і виникла, перш за все, як спроба виявити і обгрунтувати ті вимоги, яким має задовольняти наукове мислення, щоб його результати відповідали дійсності [2].

Інша, мабуть, ще більш важлива причина, що особливо корисно знати юристам, - це розвиток ораторського мистецтва, в тому числі судового, яке розцвіло в умовах старогрецької демократії. Найбільший римський оратор і вчений Цицерон (106-43 рр. До н. Е.), Говорячи про могутність оратора, володаря «божественного дару» - красномовства, підкреслював: «Він може безпечно перебувати навіть серед озброєних ворогів, огороджений не так своїм жезлом, скільки своїм званням оратора; він може своїм словом викликати обурення співгромадян і скинути кару на винного в злочині і обмані, а невинного силою свого обдарування врятувати від суду і покарання; він здатний спонукати боязкий і нерішучий народ до подвигу, здатний вивести його з омани, здатний запалити проти негідників і угамувати гомін проти гідних мужів; він вміє, нарешті, одним своїм словом і схвилювати і заспокоїти будь-які людські пристрасті, коли цього вимагають обставини справи »[3].

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

Логіка і виникла теж як спроба розкрити «таємницю» цієї примусової сили промов, зрозуміти, в чому ж саме полягає її джерело, на чому вона ґрунтується, і, нарешті, показати, якими властивостями повинна володіти мова, щоб переконувати слухачів і разом з тим змушувати їх з чим-небудь погоджуватися або не погоджуватися, визнавати щось істинним або хибним.

За словами Цицерона, Греція «воістину палала пристрастю до красномовства і довгий час їм славилася ...». Не випадково, що саме Стародавня Греція стала батьківщиною логіки як науки. Природно також, що сам термін «логіка» - давньогрецького походження.

Засновником логіки - чи, як іноді кажуть, «батьком логіки» - прийнято вважати найбільшого давньогрецького філософа і вченого-енциклопедиста Арістотеля (384-322 рр. До н. Е. Слід, однак, враховувати, що перше досить розгорнуте і систематичний виклад логічних проблем фактично дав більш ранній давньогрецький філософ і натураліст Демокріт (460 - приблизно 370 м. до н.е..). Серед його численних праць був і великий трактат в трьох книгах «Про логічне, або Про канони» (від грец. kanon - припис, правило) [4]. Тут не тільки були розкриті сутність пізнання, його основні форми та критерії істини, але і показана величезна роль логічних міркувань в пізнанні, дана класифікація суджень, піддані рішучій критиці деякі види вивідного знання і зроблена спроба розробити індуктивну логіку - логіку досвідченого знання.

На жаль, цей трактат Демокріта, як і всі інші, до нас не дійшов. Однак він був широко використаний Аристотелем в його розробці грандіозної системи логіки. А від неї безпосередньо бере початок сучасна логіка.

Аристотеля належить ряд трактатів по логіці, об'єднаних пізніше під назвою «Органон» від грец. organon - знаряддя, інструмент).

B фокусі всіх його логічних роздумів - теорія вивідного знання - дедуктивних умовиводів і докази. Вона розроблена з такою глибиною і ретельністю, що пройшла крізь товщу століть і в основному зберегла своє значення до наших днів Арістотель дав також класифікацію категорій - найбільш загальних понять і близьку до демокрітовской класифікацію суджень, сформулював три фундаментальні закони мислення - закон тотожності, закон суперечності і закон виключеного третього. Логічне вчення Аристотеля чудово тим, що в зародку воно містить, по суті, всі пізніші розділи, напрямки і типи логіки - індуктивної, символічної, діалектичної. Правда, сам Арістотель називав створену їм науку не логікою, а перш за все аналітикою, хоча і вживав термін «логічне». Сам же термін «логіка» увійшов у науковий обіг декілька пізніше, в III в. до н. е. Причому відповідно до двоєдиним сенсом давньогрецького слова «logos» (і «слово», і «думка») він об'єднав і мистецтво мислити - діалектику, і мистецтво міркувати - риторику. Лише з прогресом наукових знань цим терміном стала позначатися власне логічна проблематика, а діалектика і риторика виділилися в самостійні галузі знання.

Будучи гігантським узагальненням попередньої практики мислення, логіка Аристотеля мало дуже великий вплив на її подальший розвиток, і перш за все на наукове пізнання. Так, під сильним враженням від цієї науки написані знамениті «Начала» Евкліда (близько 323-283 рр. До н. Е.). У них підведений величний підсумок розвитку грецької математики за попередні три століття і вперше з такою силою проявився на практиці дедуктивний метод побудови наукової теорії. Оцінюючи історичне значення праці Евкліда як практичного застосування логіки, А. Ейнштейн підкреслював, що це дивовижний витвір дало людському розуму ту упевненість в собі, яка була так необхідна для його подальшої діяльності.

Логіка Аристотеля значно вплинула також на розвиток ораторського мистецтва, особливо судових промов. Так, один з теоретиків риторики Гермагор десь у середині II ст. до н. е. розробив знамениту «систему знаходження», яка з'явилася вищим досягненням риторичної теорії епохи еллінізму. Все різноманіття судових «казусів» (випадків) зведено в ній до єдиної схеми видів і різновидів ( «статутів»), якою користувалися оратори в промовах [5].

У свою чергу, сама логіка отримала подальший розвиток, як в Греції, так і в інших країнах, причому і на Заході і на Сході. Це розвиток викликалося, з одного боку, безперервним вдосконаленням і збагаченням практики мислення (в якому все більшу питому вагу займало наукове пізнання), а з іншого - все більш глибоким проникненням в сутність розумових процесів. А виявлялося воно не тільки в усі більш повному та точному тлумаченні сформованого кола проблем, але і в послідовному розширенні предмета логіки за рахунок висунення і аналізу все нових її проблем. Спочатку це виразилося, наприклад, в деталізації і узагальненні арістотелівської теорії дедукції. Поряд з посиленою розробкою теорії умовиводів з простих суджень досліджувалися і нові форми дедуктивного виведення - з складних суджень. Така, наприклад, логіка стоїків (3енон, Хрисипп - III ст. До н. Е.).

У середні століття великий суспільний резонанс отримала проблема загальних понять - «універсалій». Суперечка про них розтягнувся на століття.

В епоху Відродження логіка переживала справжню кризу. Вона розцінювалася як логіка «штучного мислення», заснованого на вірі, якому протиставлялося природне мислення, що базується на інтуїції і уяві.

Новий, більш високий етап у розвитку логіки починається з XVII в. Цей етап органічно пов'язаний зі створенням в її рамках поряд з дедуктивної логікою логіки індуктивної. У ній знайшли відображення різноманітні процеси отримання загальних знань на основі все більш накапливавшегося емпіричного матеріалу. Потреба в отриманні таких знань найбільш повно усвідомив і висловив в своїх працях видатний англійський філософ і натураліст Ф. Бекон (1561-1626). Він і став родоначальником індуктивної логіки. «... Логіка, яка тепер є, марна для відкриття знань», - виніс він свій суворий вирок. Тому як би на противагу старому «Органону» Аристотеля Бекон написав «Новий Органон ...», де і виклав індуктивну логіку. Головну увагу в ній він звернув на розробку індуктивних методів визначення причинного залежності явищ. У цьому величезна заслуга Бекона. Однак створене ним вчення про індукції за іронією долі виявилося не запереченням попередньої логіки, а її подальшим збагаченням і розвитком. Воно сприяло створенню узагальненої теорії умовиводів. І це природно, бо, як буде показано нижче, індукція і дедукція не виключають, а припускають один одного і знаходяться в органічній єдності.

Індуктивна логіка була пізніше систематизована і розвинена англійським філософом і вченим Дж.Ст. Миллем (1806-1873) в його двотомній праці «Система логіки силогістичної і індуктивної» [6]. Вона істотно вплинула на подальший розвиток наукового пізнання, сприяла досягненню їм нових висот.

Потреби наукового пізнання не тільки в індуктивному, але і в дедуктивний метод в XVII в. найбільш повно втілив французький філософ і вчений Рене Декарт (1596-1650). У своїй головній праці «Міркування про метод ...», ґрунтуючись на даних, перш за все математики, він підкреслював значення раціональної дедукції як основного методу наукового пізнання.

Послідовники Декарта з монастиря в Пор-Роялі А. Арно і П. Ніколь створили працю «Логіка, або Мистецтво мислити». Він здобув популярність як «Логіка Пор-Рояля» і довгий час використовувався як підручник по цій науці. У ньому автори вийшли далеко за межі традиційної логіки і приділили головну увагу методології наукового пізнання, логіці відкриттів [7]. Логіка розглядалася ними як пізнавальне знаряддя всіх наук. Створення подібних «розширених логік» стало характерним в XIX-XX ст.

Відомий внесок в розвиток традиційної формальної логіки внесли російські вчені. Так, вже в перших трактатах по логіці починаючи приблизно з X ст. робилися спроби самостійного коментування праць Арістотеля та інших вчених. Оригінальні логічні концепції в Росії розроблялися в XVIII в. і були пов'язані насамперед з іменами М. Ломоносова (1711-1765) і А. Радищева (1749-1802). Розквіт логічних досліджень в нашій країні належить до кінця XIX ст. Так, М. Каринська (1840-1917) створив оригінальну загальну теорію висновків - як дедуктивних, так і індуктивних. Праці його учня Л. Рутківського (1859-1920) були присвячені, перш за все, основним типам умовиводів, їх подальшій розробці, і представляли собою, по суті, окремий випадок більш загальної теорії логічних відносин. С. Поварнин (1870-1952) прагнув розробити загальну теорію відносин в логіці. Подальший розвиток традиційна логіка отримала в роки Радянської влади. Вона успішно розробляється і в наші дні.

Справжню революцію в логічних дослідженнях викликало створення в другій половині XIX ст. математичної логіки, яка отримала ще назву символічної і позначила новий, сучасний етап в розвитку логіки

Зачатки цієї логіки простежуються вже у Арістотеля, а також у його послідовників, стоїків у вигляді елементів логіки предикатів і теорії модальних висновків, а також логіки висловлювань Проте систематична розробка її проблем відноситься до набагато більш пізнього часу. [8]

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

Ідеї ​​Лейбніца отримали деяку розробку в XVIII в. і першій половині XIX ст. Однак найбільш сприятливі умови для потужного розвитку символічної логіки склалися лише з другої половини XIX В.К цього часу математизація наук досягла особливо значного прогресу, а в самій математиці виникли нові фундаментальні проблеми її обґрунтування. Англійський учений, математик і логік Дж. Буль (1815-1864) в своїх роботах, перш за все, застосовував математику до логіки. Він дав математичний аналіз теорії умовиводів, виробив логічне числення ( «Булева алгебра»). Німецький логік і математик Г. Фреге (1848-1925) застосував логіку для дослідження математики. За допомогою розширеного числення предикатів він побудував формалізовану систему арифметики. Англійський філософ, логік і математик Б. Рассел (1872-1970) спільно з А. Уайтхед (18б 1-1947) в тритомне фундаментальній праці «Принципи математики» в цілях її логічного обґрунтування спробував здійснити в систематичній формі дедуктивно-аксіоматична побудова логіки.

Так відкрився новий, сучасний етап у розвитку логічних досліджень. Мабуть, найважливіша відмітна особливість цього етапу полягає в розробці та використанні нових методів вирішення традиційних логічних проблем. Це розробка і застосування штучного, так званого формалізованої мови - мови символів, тобто буквених і інших знаків (звідси і найбільш загальне найменування сучасної логіки - «символічна»).

Розрізняють два види логічних обчислень: обчислення висловлювань і числення предикатів. При першому допускається відволікання від внутрішньої, понятійної структури суджень, а при другому ця структура враховується і відповідно символічна мова збагачується, доповнюється новими знаками.

Значення символічних мов в логіці важко переоцінити. Г. Фреге порівнював його зі значенням телескопа і мікроскопа. А німецький філософ Г. Клаус (1912-1974) вважав, що створення формалізованої мови мало для техніки логічного висновку таке ж значення, яке в сфері виробництва мав перехід від ручної праці до машинного. З'являючись на основі традиційної формальної логіки, символічна логіка, з одного боку, уточнює, поглиблює та узагальнює колишні уявлення про логічні закони і форми, особливо в теорії висновків, а з іншого - все більш значно розширює і збагачує логічну проблематику. Сучасна логіка - дуже складна і високорозвинена система знань [9]. Вона включає в себе безліч напрямків, окремих, відносно самостійних «логік», все більш повно виражають запити практики і в кінцевому рахунку відображають різноманіття і складність навколишнього світу, єдність і різноманіття самого мислення про цей світ.

Символічна логіка знаходить все більш широке застосування в інших науках - не тільки в математиці, але і у фізиці, біології, кібернетиці, економіці, лінгвістиці. Вона призводить до виникнення нових галузей знань (метаматематика). Особливо вражаюча і наочна роль сучасної логіки в сфері виробництва. Відкриваючи можливість як би автоматизувати процес міркувань, вона дозволяє передати деякі функції мислення технічних пристроїв. Її результати знаходять все більш широке застосування в техніці: при створенні релейно-контактних схем, обчислювальних машин, інформаційно-логічних систем і т. Д. За образним висловом одного з учених, сучасна логіка - це не тільки «інструмент» точної думки, а й «думка» точного інструменту, електронного автомата. Спеціально відзначимо, що досягнення сучасної логіки використовуються і в правовій сфері. Так, в криміналістиці на різних етапах дослідження проводиться логіко-математична обробка зібраної інформації.

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

Залишається сказати, що в розробку систем символічної логіки внесли важливий внесок російські вчені. Серед них особливо виділяється П. Порицький (1846-1907). Так, він першим в Росії почав читання лекцій з математичної логіки. Його власні праці в цій галузі не тільки були на рівні праць сучасних йому західноєвропейських вчених, але і в ряді випадків перевершували їх.

Якщо і традиційна (аристотелевская) і символічна (математична) логіка - це якісно різні ступені в розвитку однієї і тієї ж формальної логіки, то діалектична логіка - інша найважливіша складова частина сучасної логіки як науки про мислення. Звертаючись знову до історії логіки, ми знаходимо, що вже Арістотель поставив і спробував вирішити ряд фундаментальних проблем діалектичної логіки - проблему відображення реальних протиріч в поняттях, проблему співвідношення окремого і загального, речі і поняття про неї і т. Д. Елементи діалектичної логіки поступово накопичувалися в працях наступних мислителів і особливо виразно проявилися в роботах Бекона, Гоббса, Декарта, Лейбніца. Однак як відносно самостійна логічна наука, якісно відмінна від формальної логіки своїм підходом до мислення, діалектична логіка стала оформлятися лише в кінці XVIII - початку XIX ст. І це також пов'язано, перш за все, з прогресом наук. У їхньому розвитку все більш чітко обозначівался новий етап: з наук про сформовані, «готових» предметах вони все більше перетворювалися в науки про процеси, про походження і розвиток цих предметів, а також про ту зв'язку, яка об'єднувала їх в одне велике ціле.

Панував до цього метафізичний метод дослідження і мислення, пов'язаний з ізольованим розглядом предметів і явищ дійсності, поза їх зв'язку, зміни і розвитку, вступав у все більш глибоку суперечність з досягненнями наук. Велінням часу ставав новий, більш високий, діалектичний метод, заснований на принципах загального зв'язку, зміни і розвитку. Цьому сприяло також все більш динамічний розвиток суспільства, все більш рельєфно демонстрував взаємозв'язок і взаємодія всіх сторін суспільного життя, реальні суперечності між ними (згадаємо в зв'язку з цим, що насувалася Велику французьку буржуазну революцію 1789 г.).

В таких умовах на повний зріст постало питання про закономірності діалектичного мислення. Першим, хто спробував свідомо ввести діалектику в логіку, був німецький філософ І. Кант (1724 1804). Оглядаючи багатовікову історію розвитку логіки, починаючи з Аристотеля, він перш за все підвів підсумки цього розвитку. На відміну від деяких своїх попередників Кант не заперечив її досягнень. Навпаки, вважав філософ, логіка добилася певних успіхів, і цими успіхами вона зобов'язана «визначеності своїх кордонів», а самі її межі обумовлені тим, що вона є «наука, докладно викладає і строго доводить одні тільки формальні правила всякого мислення ...» [ 10].

Але в цьому безперечне достоїнство логіки Кант знайшов і її основний недолік - обмежені можливості як засоби дійсного пізнання і перевірки його результатів. Тому поряд з «загальною логікою», яку Кант вперше в її історії назвав також «формальною логікою» (і ця назва закріпилася за нею аж до теперішнього часу), необхідна спеціальна, або «трансцендентальна» логіка (від лат. Transcendens - виходить за межі чого-небудь, в даному випадку за межі досвіду). Головне завдання цієї логіки він вбачав в дослідженнях таких, на його думку, дійсно основних форм мислення, як категорії, т. Е. Гранично загальні поняття. «Ми не можемо мислити жодного предмета інакше як за допомогою категорій ...» [11]. Вони служать умовою будь-якого досвіду, тому носять апріорний, додосвідний характер. Такі категорії простору і часу, кількості і якості, причини і наслідки, необхідності та випадковості і інші діалектичні категорії, застосування яких нібито не підкоряється вимогам законів тотожності і протиріччя. Кант вперше оголив дійсно суперечливий, глибоко діалектичний характер людського мислення. У зв'язку з цим він прагнув виробити відповідні рекомендації вченим. Заклавши, таким чином, принципи нової логіки, центральною проблемою якої ставала проблема діалектичного протиріччя, Кант, однак, не дав її систематичного викладу. Він не розкрив також її дійсного співвідношення з формальною логікою, більш того, спробував протиставити одну інший.

Грандіозну спробу виробити цілісну систему нової, діалектичної логіки зробив інший німецький філософ - Г.Гегель (1770-1831). У своєму основному праці «Наука логіки» він, перш за все, розкрив фундаментальне протиріччя між готівкою логічними теоріями і дійсною практикою мислення, яке на той час досягло значних висот. Засобом вирішення цієї суперечності і стало створення ним - правда, в своєрідною, релігійно-містичній формі - системи нової логіки. У фокусі її - діалектика мислення у всій його складності і суперечливості. Гегель заново піддав дослідженню природу мислення, його закони і форми. У зв'язку з цим він прийшов до висновку, що «діалектика складає природу самого мислення, що в, як розуму воно повинне впадати в заперечення самого себе, в суперечність». Своє завдання мислитель бачив у тому, щоб знайти спосіб вирішення цих протиріч. Гегель піддав жорстокій критиці колишню, звичайну логіку за її зв'язок з метафізичним методом пізнання. Але в цій своїй критиці зайшов так далеко, що відкинув її принципи, засновані на законі тотожності і закон суперечності. Перекрутивши дійсне співвідношення формальної логіки і логіки діалектичної, він тим самим завдав першої важкий удар, істотно загальмував її подальший розвиток.

Проблеми діалектичної логіки, її співвідношення з формальної знайшли подальшу конкретизацію і розвиток в працях філософів і вчених Німеччини К. Маркса (1818-1883) і Ф. Енгельса (1820-1895). Використовуючи багатющий розумовий матеріал, накопичений філософією, природними і суспільними науками, вони створили якісно нову, діалектико-матеріалістичну систему, яка знайшла втілення в таких творах, як «Капітал» К. Маркса «Анти-Дюрінг» і «Діалектика природи» Ф. Енгельса і ін. З цих філософських позицій Маркс і Енгельс і оцінювали спеціальне «вчення про мислення і його закони» - логіку і діалектику. Вони не заперечували значення формальної логіки, не вважали за її «нісенітницею», але підкреслювали її історичний характер. Так, Енгельс відзначав, що теоретичне мислення кожної епохи - це історичний продукт, який приймає в різні часи дуже різні форми і разом з тим дуже різний зміст. «Отже, наука про мисленні, як і будь-яка інша наука, є історична наука, наука про історичний розвиток людського мислення».

Теорія законів мислення, по Енгельсу, аж ніяк не є якась раз і назавжди встановлена ​​істина, як це пов'язує зі словом «логіка» обивательська думка: «Сама формальна логіка залишається, починаючи з Аристотеля і до наших днів, ареною запеклих суперечок».

Що ж стосується діалектичної логіки, то вже Аристотель «досліджував найістотніші форми діалектичного мислення» ^3. Говорячи про новітню німецьку філософії, яка знайшла своє завершення в Гегеля, Енгельс вважав її «найбільшою заслугою» повернення до діалектики як вищій формі мислення. У той же час Маркс і Енгельс показали глибока якісна відмінність своєї діалектики від гегелівської: гегелівська була ідеалістичною, а марксистська - матеріалістичної, що розглядає мислення, його форми і закони як відображення зовнішнього світу.

Розкриваючи дійсне співвідношення між формальної і діалектичної логіки, Енгельс показав, що вони не виключають один одного. Формальна логіка необхідна, але недостатня. Тому необхідна також діалектична логіка. Заперечуючи проти того, щоб вважати формальну логіку і тим більше діалектику інструментом простого доведення, він підкреслював: «Навіть формальна логіка є перш за все метод для відшукання нових результатів, для переходу від відомого до невідомого; і те ж саме, тільки в набагато більш високому сенсі, являє собою діалектика, яка до того ж, прориваючи вузький горизонт формальної логіки, містить в собі зародок більш широкого світогляду ». Енгельс порівнював співвідношення формальної і діалектичної логіки з співвідношенням елементарної і вищої математики - математики постійних величин і математики змінних величин.

К. Маркс в «Капіталі» спробував застосувати діалектичну логіку до аналізу сучасного йому суспільства. Однак спеціальних робіт по діалектичної логіки у Маркса і Енгельса немає.

Становлення діалектичної логіки як науки тривало в різних країнах і в кінці XIX ст., А також протягом усього XX ст. У Росії розробку окремих проблем діалектичної логіки, її співвідношення з логікою формальної здійснили Г. Плеханов (1856-1918) і В. Ленін (1870-1924). Так, Плеханов, виступаючи проти тих, хто відкидав діалектичну логіку, в такий спосіб розкривав її співвідношення з формальною логікою: «Як спокій є окремий випадок руху, так і мислення за правилами формальної логіки (згідно« основним законам »думки) є окремий випадок діалектичного мислення ». Діалектика, вважав він, «не скасовує формальної логіки, а тільки позбавляє її закони приписуваного їм метафізиками абсолютного значення».

Ленін в роботі «Ще раз про профспілки ...» показав насамперед принципову відмінність між формальною логікою і логікою діалектичної. Логіка формальна бере формальні визначення, керуючись тим, що найбільш зазвичай або що частіше за все впадає в очі, і обмежується цим. Логіка діалектична вимагає, щоб ми йшли далі. У зв'язку з цим Ленін сформулював основні вимоги діалектичної логіки:

1) всебічність аналізу ( «щоб дійсно знати предмет, треба охопити, вивчити всі його сторони, всі зв'язки і" опосередкування "»);

2) облік розвитку ( «брати предмет в його розвитку, самодвижении ... зміні»);

3) зв'язок з практикою ( «вся людська практика повинна увійти в повне« визначення »предмета і як критерій істини, і як практичний визначник зв'язку предмета з тим, що потрібно людині»);

4) конкретність підходу ( «абстрактної істини немає, істина завжди конкретна») [12]. Значний матеріал по діалектичної (і формальної) логіці міститься в «Філософських зошитах» Леніна.

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

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

У своєму розвитку логіка пройшла тривалий період розвитку. Найважливіше обставина, що сприяло виділенню логіки в самостійну галузь знання, носило яскраво виражений практичний характер, оскільки логіка в той час розроблялася в тісному зв'язку із запитами ораторського мистецтва, тобто як частина практичної риторики. Мистецтво публічного мовлення, вміння вести полеміку, переконувати людей цінувалося у стародавніх греків виключно високо і стало предметом спеціального аналізу в школах так званих софістів. Спочатку до них відносили мудрих, авторитетних в різних питаннях людей. Потім так стали називати людей, за плату виробляли навчання мистецтву красномовства; вони повинні були навчити вмінню переконливо захищати свою точку зору і спростовувати думку своїх опонентів. Такого роду навички припускають не тільки вміння красиво говорити, але і володіння складними механізмами мислення і, перш за все, різними способами побудови умовиводів, доказів, спростувань, тобто того, що і складає основний зміст логіки. Фундаментальний характер логічних досліджень Аристотеля проявляється в тому, що його логічне вчення, вдосконалене в деяких аспектах, а іноді і спотворене, проіснувало без особливих принципових змін до середини XIX століття і отримало назву традиційної логіки.

Визначною подією в історії логіки в Новий час стала поява праці англійського філософа Ф. Бекона «Новий органон», який, на його думку, повинен був замінити арістотелівський «Органон» як знаряддя пізнання. Критично оцінюючи значимість форм висновків, в яких використовується вже потовое знання, Ф. Бекон прагнув розробити прийоми дослідження самої природи. Він поклав початок розробці методів встановлення причинно-наслідкових зв'язків в об'єктивній дійсності. Його вчення про ці методи придбало відносно завершений характер в роботах Дж. Фр. Гершеля і Дж. Ст. Мілля. Результати цих розробок увійшли в історію логіки під назвою «Індуктивні методи встановлення причинних зв'язків». Питаннями логіки займалися і внесли певний вклад в її розвиток багато видних учених Нового часу: Р. Декарт, Г. Лейбніц, І. Кант та інші. Примітно, що Г. Лейбніц висунув ряд ідей фундаментального характеру, які отримали інтенсивний розвиток в сучасній логіці. Початок нового етапу в розвитку логіки було покладено працями Дж. Буля, О. де Моргана, російського логіка П.С. Порецкого. Принципова відмінність цього етапу полягала в застосуванні методів математики до дослідження логічних зв'язків, що призвело до створення спеціального розділу логіки - алгебри логіки, яка отримала завершення в працях Е. Шредера. Надалі зусиллями Г. Фреге, Б. Рассела - А. Вайтхед склався особливий метод дослідження логічних відносин і форм висновків - метод формалізації. Суть цього методу полягає у вживанні для опису структур висловів, законів логіки і правил виведення спеціально створеного в рамках логіки формалізованої мови. Застосування цього методу відкрило нові можливості цієї науки і поклало початок її інтенсивного розвитку під назвою «символічна логіка».

В даний час логіка є вельми розгалуженою і багатопланову науку, результати і методи якої активно використовуються в багатьох областях теоретичного пізнання, в тому числі і безпосередньо пов'язаних з низкою сучасних напрямів практичної діяльності. Вона знаходить застосування в філософії, математики, психології, кібернетиці, лінгвістиці і ін. З самої загальної точки зору в сучасній логіці, як ми вже говорили, виділяють три великі розділи: символічну ( «формальну») логіку, логічну семіотику і методологію.

1. Асмус В. Логіка. - 1999. - 362 с.

2. Анісомов А. Сучасна логіка. - М., 2003. - 416 с.

3. Брюшінкіе В. Логіка. - М., Проспект, 2002. - 416 с.

4. Войшвилло Е.К., Дегтяренко М.Г. Логіка. - М .: Владос - Прес, 2001. - 564 с.

5. Іванов Є.І. Логіка. - М .: БЕК, 2001. - 368 с.

6. Ивин А.А. Логіка. - М .: Гардарики, 2003. - 352 с.

7. Івлєв Ю. Логіка для юристів. - М .: БЕК, 2001. - 416 с.

8. Кирилов В.І. Логіка для юристів. - М., 2001. - 374 с.

9. Кирилов В.І., Орлов Г.А., Фокін Н.І. - Логіка. - М .: Проспект, 2004..

10. Челпанов Г.І. Підручник логіки. - М., 1996. - 296 с.

[1] Войшвилло Е.К., Дегтяренко М.Г. Логіка. - М .: Владос - Прес, 2001. - С. 33

[2] Асмус В. Логіка. - 1999. - С. 26.

[3] Івлєв Ю. Логіка для юристів. - М .: БЕК, 2001. - С. 22

[4] Івлєв Ю. Логіка для юристів. - М .: БЕК, 2001. - С. 22

[5] Войшвилло Е.К., Дегтяренко М.Г. Логіка. - М .: Владос - Прес, 2001. - С. 33

[6] Іванов Є.І. Логіка. - М .: БЕК, 2001. - С. 19

[7] Асмус В. Логіка. - 1999. - С. 28

[8] Войшвилло Е.К., Дегтяренко М.Г. Логіка. - М .: Владос - Прес, 2001. - С. 35

[9] Іванов Є.І. Логіка. - М .: БЕК, 2001. - С. 21

[10] Іванов Є.І. Логіка. - М .: БЕК, 2001. - С. 23

[11] Войшвилло Е.К., Дегтяренко М.Г. Логіка. - М .: Владос - Прес, 2001. - С. 37

[12] Іванов Є.І. Логіка. - М .: БЕК, 2001. - С. 25.