Формальна логіка як наука
1. Формальна логіка як наука 4
2. Основні закони логіки 7
Закон тотожності 12
Список використаної литературы 16
Наука логіка – одна з найдавніших наук. Її сліди проглядаються у давньоіндійській та давньокитайській філософії, а також у філософії античної Греції. Найбільшою фігурою тут був Аристотель, якого по праву вважають засновником формальної логіки. У його творах ми знаходимо основи теоретичного знання про форми та прийоми мислення. Надалі логіка розвивалася іншими філософами, які бачили в ній необхідну науку про мислення, без якої неможливий успішний розвиток пізнавального процесу. Виникнувши в рамках філософії, логіка вийшла за її межі і стала необхідним інструментом мислення в науці, політиці, економіці, у сфері суспільного та культурного життя, у повсякденних справах найширших верств населення. Сьогодні логіка служить політику та юристу, вченому та студенту, бізнесмену та громадському діячеві, керівнику та виконавцю, домогосподарці та педагогу тощо. Формально-логічне мислення має загальну обов'язковість, у цьому полягає його сила. Чому? Що таке логіка, як наука?
1. Формальна логіка як наука
Назва науки логіки походить від грецького слова logos, що означає мова, думка, розум. Сферою логіки є інтелектуальна пізнавальна діяльність чи процес мислення. З урахуванням цього можна дати таке визначення науки логіки: логіка є наука про закони, форми та прийоми мислення, що здійснюється за допомогою мови.
Мислення не може існувати без мови. Мова надає нашим думкам визначеності, з її допомогою думка набуває форми слова, речення, і таким чином вона стає доступною іншим людям. Мова постає як безпосереднядійсність думки; завдяки мові думка постає як інформація, що накопичується з покоління до покоління і передається ними з метою подальшого використання. Мова, таким чином, виступає найважливішою сполучною ланкою історичних поколінь. Що ж до мислення (міркування), то кожен з нас знає з власного досвіду, як важко буває часом висловити свої думки, якщо ми не володіємо мовою. Мова може бути перешкодою мислення і може бути її стимулом. Особливо це видно, коли ми опановуємо іноземну мову. Критерієм оволодіння іноземною мовою є наша здатність мислити (думати) іноземною мовою.
Обмірковуючи те чи інше питання, вирішуючи завдання тощо, ми можемо не вимовляти вголос перебіг міркувань, але це отже, що ми використовуємо мову; просто наша мова в цьому випадку стає внутрішньою. Отже, у всіх актах мислення воно безпосередньо з мовою.
Крім того, мова має ту властивість, що вона дозволяє нам висловити думки про предмети в узагальненій, абстрактній формі. Ми подумки відволікаємось від конкретних форм та властивостей реальних предметів і таким чином надаємо нашим словам узагальнену форму. Однак, зв'язок з реальними предметами зберігається; у цьому можна переконатися хоча б тому, що у різних іноземних мовах різні слова позначають одні й самі предмети чи явища. Здатність людини до абстрактного мислення закладена у ньому від народження, але з його дорослішання, і навіть навчання, виховання, спілкування коїться з іншими людьми, оволодіння культурними цінностями, вона розвивається і потім реалізується у його життєдіяльності.
Незважаючи на такий тісний зв'язок мови та мислення, вони є різними явищами і досліджуються різними науками: мова є предметом мовознавства, мисленнявивчається формальною логікою. Кожна наука використовує природну мову, але водночас неспроможна уникнути штучної мови. Особливо це стосується математики, фізики та інших наук, а й логіки теж. Так звана формалізована мова тут використовується дуже широко. Але ця мова виступає лише засобом вивчення мислення. У мисленні формальна логіка вивчає логічні форми та формально-логічні закони.
Зазначені відмінності між логікою та психологією не перешкоджають їм у сприянні у процесі вирішення пізнавальних завдань. І та, й інша, але кожна по-своєму, сприяють вивченню пізнавальної діяльності; психологія формулює положення про те, які риси психіки необхідні для оволодіння різними способами мислення; логіка розкриває арсенал тих засобів, знання яких посилює пізнавальну функцію мислення. Крім того, психологія як наука не може обійтися без логіки, бо вона неминуче оперує поняттями, вдається до міркувань та висновків; логіка ж, зі свого боку, використовує дані психології з'ясування деяких закономірностей формування мислення, що дозволяє їй глибше зрозуміти сутність логічних форм.
2. Основні закони логіки
Поняття про тотожність речей, явищ, процесів, ідей тощо. є ідеалізація, що у результаті відволікання від несуттєвих нині властивостей і сторін предмета міркування. Для того, щоб здійснити логічну операцію, ми повинні привести судження до одного з двох логічних значень: або істинно, або хибно. Це проводиться при уточненні обсягу та змісту понять, що використовуються.
Умовою істинного пізнання є вимога несуперечності мислення. Суть його розкривається у формально-логічному законі протиріччя, який можнасформулювати наступним чином: у процесі міркування про якийсь певний предмет не можна одночасно стверджувати і заперечувати що-небудь в тому самому відношенні, в іншому випадку обидва судження не можуть бути разом істинними.
Закон протиріччя справедливий щодо будь-яких видів протилежних суджень у буденному та науковому мисленні. Він відіграє важливу роль у теорії дедуктивного висновку та побудові доказу, оскільки виступає визначальним моментом у розумінні та обґрунтуванні логічної необхідності слідування висновків із посилок. Наслідування укладання з посилок є логічно необхідним лише в тому випадку, коли при запереченні ув'язнення ми не вступаємо в протиріччя з посилками висновку.
Закон протиріччя відіграє у наукової теорії. Поява формально-логічних протиріч у складі наукової теорії ставить під сумнів можливість її обґрунтування та застосування цілком усієї цієї теорії на практиці. У логіці справедливо таке правило: з логічного протиріччя (логічно суперечливого виразу) випливає будь-яке судження. Інакше висловлюючись, якщо наукова теорія, використовує класичну дедуктивну логіку, містить логічне протиріччя, то справжні і хибні становища виведені у цій теорії однаково. Використовувати для практичних цілей таку теорію недоцільно.
Закон виключеного третього
Закон виключеного третього слід розглядати як подальше уточнення вимог несуперечності, послідовності та визначеності, що висуваються до мислення. Він має сприяти усуненню з наших міркувань невизначених, двозначних висловів, вживання певних питань та відповідей у дискусіях тощо.
Закон виключеного третього має чинність лише за умови дотриманнявимог раніше викладених законів тотожності і суперечності і може бути сформульований наступним чином: у процесі міркування необхідно доводити справу до певного затвердження або заперечення, в цьому випадку істинним виявляється одне з двох суджень, що заперечують один одного.
Цим законом виключається істинність будь-якого третього судження, крім того судження, до якого ми прийшли, або його заперечення. Тут пропонується зробити вибір з двох суджень, що суперечать один одному. Одне має бути обов'язково істинним. При цьому закон не вказує, яке саме з суджень є істинним, але вказує, що істина лежить лише в межах цих двох суджень, а не якогось третього. Закон виключеного третього має чинність щодо будь-яких пар суджень, у яких одне стверджує те, що заперечується в іншому.
Незважаючи на обмеженість свого застосування, закон виключеного третього відіграє все ж таки значну роль як у практиці пізнання, так і у вирішенні багатьох суто логічних питань. Він лежить в основі багатьох умов та доказів від протилежного (непрямих доказів). У непрямих доказах встановлюється помилковість положення, що суперечить доведеному судженню, що на підставі закону виключеного третього дозволяє укладати про істинність судження, що доводиться.
Закон виключеного третього не містить вказівки на те, яке саме з двох суджень, що суперечать один одному, істинно. Вирішення цього питання виходить за межі логіки і вимагає звернення до практики як критерію істини.
Закон достатньої основи
Важливою умовою правильного мислення є властивість доказовості. Ця властивість думки виражається в законі достатньої підстави, який формулюється так: у процесі міркуваннядостовірними слід вважати ті міркування, щодо істинності яких можуть бути наведені достатні підстави.
Міркування, у якому істинність деякого становища непросто стверджується, але вказуються підстави, з яких ми можемо не визнати його істинним, слід вважати доказовим. У цьому під достатніми підставами істинності деякого судження розуміється сукупність обов'язково істинних інших суджень, у тому числі перше випливає з логічною необхідністю. До складу цих справжніх суджень можуть входити аксіоми, визначення, судження безпосереднього сприйняття, істинність яких встановлена досвідченим шляхом; судження, істинність яких доведена за допомогою інших справжніх суджень.
У формулюванні закону міститься вираз «можуть бути наведені», воно означає, що підстави – справжні судження – не обов'язково повинні формулюватися явним чином, але можуть лише матися на увазі, хоча і можуть бути завжди виявлені при уточненні форми доказу (основного) положення. Проходження основного становища зі своїх «достатніх підстав» - обов'язково істинних суджень – має бути логічно необхідним, тобто. таким, що за заперечення основного становища ми вступаємо у протиріччя з його достатніми підставами.
Доказове міркування як стверджує істинність деякого становища, а й обгрунтовує його істинність. Закон достатньої підстави вимагає виводити нові положення вже твердо встановлених, перевірених, доведених істин.