Предмет і завдання логіки як науки
Логіка - наука про форми і методи правильних міркувань.
Засновником логіки вважається Аристотель (IV ст. до н.е.). Але це не означає, що Аристотель винайшов логіку, - він систематизував наявне на той час логічне знання, звів його в єдину систему і побудував першу дедуктивну систему, яка дозволяла отримувати істинні висновки з істинних посилок.
Науку, метою якої стало дослідження способів отримання вивідного знання, Аристотель називав «аналітикою». Слово «логіка» для позначення науки про форми і методи правильних міркувань ввели стоїки на початку III ст. до н.е. Вважається, що слово «логіка» походить від багатозначного давньогрецького слова «логос», що може означати розум, ідею, закон, порядок, принцип, слово, думка, поняття.Зараз термін «логіка» також використовується у декількох смислах:
• необхідний та закономірний зв’язок явищ, зв’язку наступного і попереднього (логіка речей, логіка подій тощо);
• закономірність, послідовність у міркуваннях («залізна логіка», «переконлива логіка» тощо);
• наука про форми і методи правильних міркувань (некласи- чна логіка, модальна логіка, традиційна логіка).
Часто кажуть, що логіка вивчає мислення, - це не зовсім так; логіка звичайно має відношення до мислення, але опосередковане. Предметом логіки є виражені у мові результати інтелектуальної діяльності людини. При цьому логіка не займається з’ясуванням фізіологічних чи психологічних особливостей мислення, а розглядає лише його результати, що можуть будти представлені у мові. Отже, логіка тісно пов’язана з мовою і цей зв’язок проявляється у двох аспектах:
• логіка досліджує лише ті результати мислення, що мають вираження у мові;
• логіка досліджує способи представлення результатів мислення у мові та їх властивості.
На початку свого виникнення, та й певним чином зараз логіка отримала тісний зв’язок з риторикою - мистецтвом красномовства й еристикою - мистецтвом суперечки, тому може здатися, що логіка являє собою щось на зразок мистецтва переконувати.
Здається, щоб підтвердити свою думку, або погодитись з думкою іншого, нам достатньо визнати її логічною. Та, разом з тим, людина так само часто відмовляється вірити у неприємні або неприйнятні для неї речі, навіть визнаючи їх логічними. Методи переконань, в основі яких лежать логічні прийоми, досліджуються спеціальним напрямком логіки - теорією аргументації. У межах теорії аргументації розглядаються й психологічні аспекти переконаності, що тісно пов’язані зі змістом міркування, на відміну від такого підходу, логіка - це наука, що досліджує формальні особливості міркувань, незалежно від їх змістовної наповненості.Інтелектуальна діяльність людини неможлива без оперування абстракціями. Логіка виявляє загальні закономірності, форми і прийоми інтелектуальної діяльності, тим самим створюючи основний інструментарій абстрактного мислення. Якщо на чуттєвому рівні людське сприйняття дійсності організується у вигляді почуттів, сприйняттів та уявлень, то на раціональному рівні знання про дійсніть представлені у вигляді понять, висловлювань, теорій. Свого часу І. Кант назвав логіку «цензурою думки», маючи на увазі, що логіка забезпечує впорядкованість, структурованість та узгодженість інтелектуальної діяльності. Дійсно, впорядкувати відчуття та емоції дуже важко й, можливо, не варто, але раціональні форми пізнання повинні мати особливу «логічну» структуру. Адже не маючи чітких понять, впорядкованих висловлювань та струнких теорій, людина не тільки втрачає здатність до раціонального пізнання та пояснення світу, а й лишається можливості звичайного спілкування. Можливо, якби людство володіло телепатичними здібностями й могло безпосередньо обмінюватись образами та емоціями, логіка не набула б такого широкого розвитку, та необхідність оформляти знання про світ за допомогою мови, приводить людство до логічного аналізу, що безпосередньо стосується форми викладення знань і обгрунтування отриманого результату.
Логіка вивчає структуру і зв’язки раціональних форм знання, відношення між ними, способи отримання істинного знання з уже наявних знань.
До раціональних форм пізнання відносять поняття, висловлювання та теорії.Поняття - абстрактна конструкція, що є результатом узагальнення предметів чи явищ деякого класу і виокремлення цього класу за певною сукупністю ознак.
Наприклад: «дощ» - це поняття, яке не відсилає нас до конкретного дощу, що був учора, чи випав у Африці, зливи чи сліпого дощу, у понятті йдеться про дощ «взагалі», кожен дощ, що мав місцє будь-де i найрiзноманiтнiшi характеристики (силу, кислотність, місце та час випадіння). У понятті дощу узагальнюються всі дощі і вібдувається виокремлення певного класу «дощ», до якого потрапляє будь-яке природне явище, що має сукупність ознак, за допомогою якого може бути віднесене до дощу (сильний дощ, літній дощ, сліпий дощ тощо). Поняття - це форма узагальнення знань про явище та його властивості.
Висловлювання - це осмислений вираз звичайної мови, в якому йдеться про наявність або відсутність певних властивостей та зв’язків у явищ чи предметів.
Наприклад: Сьогодні вранці пройщов дощ. Ластівки літають низько, отже увечері буде дощ. У висловлюванні описується деяка ситуація і стверджується наявність або відсутність зв’язку між досліджуваними явищами, вираженими за допомогою понять.
Теорія - набір понять та висловлювань, логічно зв’язаних між собою.
Теорія - це система знань, що стосується певної області досліджень. Поняття і висловлювання теорії підпорядкувані й зв’язані між собою як формально, так і змістовно. Функції теорії полягають у систематизації, поясненні та виявленні закономірностей досліджуваних явищ. Кожна наука передбачає наявність певної теорії: логіка, фізика, соціологія тощо.
На відміну від чуттєвого пізнання, раціональна його ступінь передбачає вольову та цілеспрямовану діяльність, що визначається питаннями: що спільного у предметів того чи іншого класу? чому і як здійснюється те чи інше явище? як взаємодіють предмети? які закономірності їх розвитку? та подібні питання [Вой- швилло, Дегтярев, с. 11].
Інтелектуальна діяльність передбачає застосування специфічних методів: аналіз, синтез, абстрагування, порівняння, узагальнення, пояснення тощо, за допомогою яких формуються поняття, висловлювання та теорії. До прийомів інтелектуальної діяльності також відносять і операції над поняттями та висловлюваннями: означення, поділ, класифікація, узагальнення, обмеження, доведення, спростування, виведення одного висловлювання з інших.
Метою раціонального пізнання у будь-якому його прояві є досягнення істинного знання про предмет дослідження. Істина є полісемантичним поняттям і може трактуватися по-різному. Істинним може називатися: знання, яке відповідає дійсності; знання, що отримало емпіричне підтвердження; знання, істинне за домовленістю (аксіома); несуперечливе, узгоджене знання, очевидне знання тощо. Логіка оперує поняттям істини, не опираючись на теорії істини, а приймаючи істинне знання (істинні висловлювання) як данність. Г. Фреге визначає логіку як науку про найзагаль- ніші форми буття істини, тобто в рамках логіки досліджуються властивості істини, незалежно від того, як вона була отримана.
У процесі наукового пізнання та при вирішенні практичних задач ми не завжди опираємось безпосередньо на досвід, часто доводиться звертатися до знання, що було отримане раніше. Спів- ставляючи між собою істинні положення, ми можемо отримувати нові знання, обгрунтовувати положення істинність яких ще не встановлена, спростовувати чи доводити припущення та гіпотези [Горский Таванец, с. 13]. Фактично, логічні теорії представляють собою механізм отримання нового істинного знання з вже відомого істинного знання. Процес виведення нового знання з вже відомого займає чільне місце у діяльності вчителя: кожне невідоме учням знання вчитель має обгрунтувати та вивести з відомих дітям положень.
Вивідним знанням називається знання, отримане шляхом застосування законів логіки до істинних, доведених положень,без задіяння досвіду та практики безпосередньо.
Логіка вивчає способи отримання вивідного знання.
Основним завданням логіки є вивчення способу отримання з одних висловлювань інших, незалежно від змістовної наповненості цих висловлювань. При цьому передбачається, що не потрібно брати до уваги конкретний зміст посилок, чи безпосередньо перевіряти висновок. Вивідне знання, отримане шляхом виведення з посилок, має бути істинним уже в силу логічного зв’язку, що має місце між посилками та висновком у міркуванні.Логіка - це наука про такі способи міркувань, у яких з істинних вихідних положень отримуються істинні результати [Марков, с. 5].
Таким чином, логіка вивчає збереження (пронесення) істини від вихідних положень до результуючих. Процес пронесення істинності від вихідних висловлювань до вивідних, називається міркуванням, а наявність зв’язку, що забезпечує пронесення істинності - називається логічним слідуванням, що є центральним відношенням логіки. Тому логіку часто називають наукою про логічне слідування.
Логічне слідування дає можливість отримувати істинне знання з істинних вихідних положень й, таким чином, має місце у кожному правильному міркуванні. За рахунок логічного слідування здійснюється зв’язок положень теорії, реалізується пояснення та передбачення. Слідування лежить в основі операцій означення, підведення під поняття тощо, дозволяє будувати доведення та спростування, встановлювати причнний зв’язок.