Логіка, як наука, а також головні критерії і основні завдання формальної логіки - логіка - є
Логіка, як наука, а також головні критерії і основні завдання формальної логіки
Логіка - це наука про закономірності правильного мислення. Часто термін ми застосовуємо, також говорячи про закономірності об'єктивного світу (логіка речей) і коли характеризуємо особливості послідовного поведінки, властивого певній людині і відповідного його характеру, психологічним особливостям, типу нервової системи і т.д. (Логіка поведінки). Про логіку також говорять стосовно до самого мислення, його послідовності, несуперечності, доказовості. Як видно навіть з вищевикладеного термін «логіка» є багатозначним. Це не випадково. У перекладі з давньогрецької logos означає слово, думка, мова, розум, закономірність.
З логікою мислення інтуїтивно знаком кожен. Гумор багатьох ситуацій пов'язаний саме з тим, що люди відчувають багатозначне або неправильно вжите слово і готові посміятися над цим, якщо, звичайно, мова не йде про серйозні речі і не зачіпає їх інтересів і не має далекосяжних наслідків (У приймальному покої медсестра, записуючи дані, запитує жертву аварії:
- Ні, ні, - здригається він, - я просто потрапив під автомобіль).
Але одна справа відчувати, а інше знати і розуміти. До речі, часто саме парадоксальна нелогічність думки приводить людину до нових, нестандартних рішень і навіть відкриттів. Але ще частіше нелогічність призводить до помилок і помилок, причини яких люди бувають не в змозі виявити, хоча нерідко смутно відчувають, що щось не так. Наприклад, твердження «я брешу» має означати, що саме воно помилкове, але тоді цілком очевидно, що і саме це твердження помилкове, значить, я говорю правду? Далі може послідувати нескінченне міркування на тему «у попа була собака ...». Значить, однією лише інтуїтивної логікою можна обійтися не завжди. Потрібно чітке уявлення про те, як можна і як не можна мислити. Для цього і існує наука логіка як наука про закономірності правильного мислення.
Може виникнути питання, звідки у людей беруться уявлення про правильне мислення? Що таке «правильний» стосовно до мислення? Очевидно, що наша думка про світі повинна відповідати цьому світу. Саме в цьому випадку вона відображає світ таким, яким він є насправді, допомагає пристосуватися до світу і навіть отримати з цього відчутну користь. Таке відповідність думок людей об'єктивної дійсності називають істиною.
Слід звернути увагу на те, що «істинний» і «правильний» - поняття далеко не завжди тотожні. Не вдаючись в подробиці різних варіантів розуміння істини, можна відзначити, що наведене визначення істини є найбільш поширеним і відповідним нашому повсякденному досвіду і навіть, в певних межах, наукового пізнання. В даному випадку мова йде про зміст наших думок, тобто про те, про що ми говоримо.
Людині мало зрозуміти суть речей, йому треба ще вміти висловити цю суть. Спосіб вираження буде ставитися до форми думок людей. Форма - це в даному випадку стійкі способи вираження відносин, що існують в світі. Це може бути форма жестів, міміки, танцю, граматична форма якогось мови, логічна форма, в якій зафіксовані найбільш загальні закономірності навколишнього світу і т.д. Наприклад, відомо, що причина завжди передує слідству, а слідства без причини не буває. Про що б не розмірковував людина, про фізичні явища, ринкових відносинах, особливості погоди або обставини злочину, ця закономірність буде діяти обов'язково. Саме до форми вираження змісту думок, почуттів відноситься поняття «правильний». Воно означає відповідність правилам, а правила встановлюються людьми. Звичайно, вони відображають, як було показано на прикладі з причинністю, закономірності світу. Але відображають в узагальненому вигляді. Більш того, форма може відірватися від змісту, і тоді можна зіткнутися з демагогією, наприклад, з зовні правильним сполученням слів за законами граматики і навіть з послідовним з'єднанням слів в пропозиції (в логіці - судження), які не мають сенсу, а значить і не відповідає дійсності.
ВсеS (люди) естьP (володіють такою особливістю - вмирати)
А (Сократ) - естьS (людина)
Отже А є Р.
Все правильно і логічно. Але якщо підставити в отриману форму інші значення:
Все лямзікі хрюмкают
Отже, зюслік хрюмкает.
Розглянемо ще приклади:
Взимку розквітають фіалки
Отже, зараз розквітають фіалки.
Всі люди пишуть вірші
Отже, Сергій пише вірші
Сенс в цих висловлюваннях є. І фіалки, і зима, і хлопчик, який складає вірші - це реальності нашого життя. Форма міркувань теж по видимості правильна. А висновок помилковий, оскільки спочатку, на вході, відштовхуються від невірної, що не відповідає дійсності інформації.
Формальна логіка є вчення про правильні способи міркування. З цього випливає що вона, в першу чергу, з'ясовує, як повинна бути побудована думка, і яким чином необхідно пов'язувати думки між собою, щоб ця процедура привела людини не до омани, а до істини,
Завданням формальної логіки є вираз одержуваної нами інформації в правильній формі і витяг з неї нових знань за допомогою законів мислення. Для цього формальна логіка вивчає абстрактне мислення і його основні форми: поняття, судження, умовивід.
До завдань логіки входить і дослідження особливостей логічних операцій: класифікації, визначення, докази, спростування і т.д.
Крім того, формальна логіка виявляє типові помилки в наших міркуваннях, розглядає їх причини і пропонує способи їх усунення.