Логіка як наука

Размещено на http://www.allbest.ru/

Размещено на http://www.allbest.ru/

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

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

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

Арістотелеві належить заслуга створення логіки як засобу захисту істини і викриття софістики. Саме в цих якостях вона є незамінною ось уже понад два тисячоліття. У період середньовіччя схоласти продовжили розробку проблем логіки. Вони ввели в логіку латинську термінологію. Ф. Бекон дослідив основи індуктивних умовиводів. Дослідження видатного німецького філософа і математика Г.В. Лейбніца поклали початок другому етапові логіки - символічній логіці (середина Х1Х ст.).

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

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

І все ж таки як поєднати в одному курсі матеріал традиційної і символічної логік? Зрозуміло, що це дві різні логічні системи, два різних етапи однієї науки, але йдеться про логіку як навчальну дисципліну і тут це поєднання необхідне.

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

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

Усе це було взято до уваги при написанні даного підручника.

Створюючи підручник автор врахував результати праць В. Асмуса, В. Брюшинкіна, В. Бочарова, Є. Войшвілла, К. Жоля, О. Івіна, Ю. Івлєва, В. Маркіна, О. Нікіфорова, М. Поповича, О. Смирнової, А. Уйомова.

Логіка як самостійна наука має багатовікову історію. Саме слово «логіка» походить від грецького слова «logos», що в перекладі означає: слово, смисл, думка, мова.

Існує декілька значень слова «логіка». Назвемо найбільш вживані і вкажемо на ті, які будуть використані в даному підручнику.

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

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

По-третє, словом «логіка» вказують на здатність людини відображати навколишній світ за допомогою мислення. За цих умов доречно вживати такі звороти: «людині притаманна логіка», «людині властива логіка» і т. п. Дані звороти підкреслюють особливий характер відношення людини до світу. На відміну від усього живого, людина опосередковує своє відношення до світу мисленням, або ставить між собою і світом мислення. Це й пояснює ту ситуацію, що людина, на відміну від представників тваринного світу, оцінює предмети і явища навколишнього світу не як об'єкти, що існують навколо неї, а спочатку - як предмети, а потім - результати її власної перетворюючої діяльності. Якщо для тварини, наприклад, дерево - це об'єкт, який потрібно обійти, або зламати, коли воно заважає рухатися у відповідному напрямку, то для людини дерево - це предмет діяльності, із якого вона може побудувати дім, човен, отримати папір і т.д.; вітер - це стихія, яка надуває вітрила корабля, обертає турбіну вітряної електростанції і т. п.

По-четверте, словом «логіка» називають навчальну дисципліну, яка протягом багатьох віків була обов'язковим елементом Європейської системи освіти. Мається на увазі, що з давніх давен в закладах освіти Європи обов'язково викладалася логіка.

Нарешті, по-п'яте, словом «логіка» позначають особливу науку про мислення.

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

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

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

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

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

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

Щоб обґрунтувати зазначене звернемося до прикладу. Візьмемо два міркування:

логіка науковий загальнокультурний

У кожному з цих міркувань двома думками обґрунтовується третя. За змістом, як видно, ці міркування різні. Одне належить до астрономії, а друге - до права. Але спосіб зв'язку складових частин змісту в обох міркуваннях той самий: «Якщо предмет має певну властивість і якщо все, чому притаманна ця властивість, має деяку другу властивість, то предмет, про який йдеться, також має і цю другу властивість».

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

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

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

Проілюструємо це на прикладах. Візьмемо навмисно помилкове міркування, відоме ще з давніх часів:

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

Розглянемо ще одне міркування про яке повідомляє давньогрецький філософ Протагор (481 - 411 рр. до н.е.).

«Між учнем, якого звали Еватл, і вчителем мудрості та красномовства Протагором була укладена угода, відповідно до якої платню за навчання, Протагор одержить після того як Еватл закінчить навчання. Нею буде гонорар Еватла за перший виграний судовий процес.

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

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

На це Еватл відповів так:

- Ні в першому, ні в другому випадку я не заплачу. Якщо мене засудять до сплати, то я не заплачу, оскільки програв свій перший судовий процес. Якщо ж мене не засудять до сплати гонорару, то я не заплачу згідно з вироком суду».

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

Формальні та змістовні правила міркування

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

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

Формальні правила логіки застосовують до окремих думок, тобто, до формул, що виражають ці думки. Думка, в якій фіксується відображення предмета через сукупність його суттєвих ознак, називається поняттям (наприклад, держава, злочин, книга), а думка, в якій фіксується зв'язок предмета та його ознаки - судженням (наприклад, «Крадіжка - злочин», «Шахрайство не є посадовим злочином»). Тобто, застосовуючи формальні правила логіки, ми звертаємося до форми понять і суджень.

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

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

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

Розглянемо на прикладі відмінність формальних правил від змістовних. Звернемося до правил, що перетворюють форму складних суджень (тобто суджень, що складаються з простих, поєднаних сполучниками «і», «або», «якщо,… то» тощо).

Візьмемо два судження:

1. Варшава - столиця Франції.

2. Якщо Варшава - столиця Франції, то 2x2=4.

До цих суджень можна застосувати одне з формальних правил логіки, яке допоможе одержати нове судження або висновок. Це правило має вигляд:

«2x2=4» - у. При цьому не має значення чи істинні 1-ше і 2-ге судження, чи мають вони взагалі який-небудь смисл. Так, очевидно, що перше судження хибне, а друге навряд чи хто прийме за таке, що має смисл у звичайному розумінні цього слова. У цьому судженні немає смислу між простими судженнями, пов'язаними сполучником «якщо…, то». Наведений приклад показує, що для застосування формального правила істинність суджень та їхній зв'язок за смислом не суттєві. Це характерно для будь-якого формального правила логіки.

Отже, смисл суджень (те, що і про що говориться в ньому) та його значення (істинність та хибність) можна залишити поза увагою як таке, що не є суттєвим для застосування формальних правил логіки. А якщо це так, то, позначивши судження «Варшава - столиця Франції» буквою А, а судження «2x2=4» буквою В отримаємо формулу складного судження: «Якщо Варшава столиця Франції, то 2x2=4» у вигляді

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

Отже, головною властивістю формальних правил є можливість їх застосування на основі знання тільки форми понять, суджень.

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

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

Отже, одних формальних правил для повноцінного процесу мислення замало.

Окрім формальних правил, у процесі міркування використовуються і змістовні правила, які враховують зміст понять і суджень. До змістовних правил належать правила неповної індукції, правила аналогії, пояснення, передбачення тощо.

Особливістю змістовних правил є те, що ми їх не можемо застосовувати до суджень і понять, зміст яких нам невідомий. Запис змістовних правил за допомогою символів не повинен вводити в оману відносно їх змістовного характеру.

Таким чином, якщо схема (набір формул) застосовується у будь-яких випадках без звертання до змісту, то вона виражає формальне правило. А якщо існує хоча б один випадок, коли схема не може бути застосована без посилання на зміст, то вона виражає змістовне правило.

Візьмемо для прикладу правило неповної індукції, яке має вигляд послідовності формул:

логіка науковий загальнокультурний

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

Наприклад, про людей, яких ми зустріли на вулиці, ми цілком слушно стверджуємо, що перший зустрічний має здатність до мислення, другий - має здатність до мислення, п - на людина здатна мислити. За правилом неповної індукції робимо висновок: «Для будь-якої-людини властива здатність мислити». Але, припустимо, що перша людина знає, як пройти до Києво-Печерської Лаври, друга - теж і теж знає дорогу до Києво-Печерської Лаври. Чи можемо ми в цьому випадку застосувати правило неповної індукції? Звичайно, ні. Оскільки отримаємо хибний висновок: «Будь-яка людина знає дорогу до Києво-Печерської Лаври».

Тільки враховуючи зміст суджень, можна ефективно використовувати це правило.

Таким чином, знання та доречне застосування формальних і змістовних правил є фундаментом культури мислення. А саме у формуванні культури мислення полягає один з аспектів практичного значення логіки, крім того, що логіка є теоретичним підґрунтям ряду галузей сучасної техніки.

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

Размещено на Allbest.ru