Підручник Сергія Антакова «Основні ідеї та завдання класичної логіки» - Сайт Сергія Антакова
Підручник Сергія Антакова «Основні ідеї та завдання класичної логіки»
Підручник доступний у форматі PDF: завантажити PDF, 2,8 MB.
МІНІСТЕРСТВО ОСВІТИ ТА НАУКИ Укаїни
Нижегородський державний університет ім. Н.І. Лобачевського
С.М. Антаков
ОСНОВНІ ІДЕЇ І ЗАВДАННЯ КЛАСИЧНОЇ ЛОГІКИ
Нижній Новгород, 2012
УДК 160 ББК 87.4 А 72
Рецензенти: зав. кафедрою правознавства Нижегородського державного архітектурно-будівельного університету, доктор філософських наук, професор Г.П. Коренів; зав. кафедрою алгебри та математичної логіки Тверського державного університету, доктор фізико-математичних наук, професор О.В. Чагров
А 72Основні ідеї та завдання класичної логіки : Навчальний посібник. - Нижній Новгород: Видавництво Нижегородського держуніверситету, 2012. - 174 с.ISBN 978-5-91326-209-7
Книжка призначена для студентів гуманітарних спеціальностей ПНГУ ім. Н.І. Лобачевського, які вивчають логіку. Вона може бути успішно використана і для самоосвіти.
УДК 160 ББК 87.4 (С) С.М. Антаков, 2012 (С) Нижегородський державний університет ім. Н.І. Лобачевського, 2012
Передмова тим, хто починає вчитися чи вчить логіці
Логіка виникла з потреби людей отримати раціональні (розумні) і демократичні (у даному випадку – без загрози фізичного примусу) засоби переконання в суперечці – політичному, судовому та науковому. Протягом останніх більш ніж двох тисячоліть вона – довгий час під назвою «діалектика» – входила до фундаментальних освітніх дисциплін. В даний часлогіка є підставою теорій раціональних способів мислення та мови, зокрема сучасної теорії аргументації.
Будучи законним знаряддям переконання противника у суперечках (зокрема, наукових) та теоретизації знання, логіка, крім зазначеної практичної та наукової цінності, має ще винятково велику освітню цінність. Вона полягає в тому, що логіка – це вірний засіб дисциплінувати (утворити) сам розум людини, яку, безсумнівно, мають бути різноманітні суперечки і, можливо, наукова діяльність. Призначення даного навчального посібника полягає у тому, щоб допомогти учню логічно дисциплінувати його мислення.
Розумова дисципліна досягається не стільки вивченням логічної теорії, скільки набуттям практичних навичок її застосування у вирішенні найпростіших інтелектуальних завдань. До таких завдань належить і логічне переконання у суперечці. Тому перше, потім повинен звернути увагу учень, – не власне результат рішення, а доказ його правильності, тобто відповідності рішення завдання (умов завдання). Можна вважати, що завдання - головне в посібнику, теорія ж має значення загального засобу, необхідного для їх постановки, рішення та обґрунтування рішення. Подібні і складніші завдання виникають у житті кожної людини, яка здобуває освіту або практично використовує набуті знання і при цьому покликаного переконувати у своїй правоті інших людей.
Особиста логічна дисципліна розуму (логічна культура) проявляється у повсякденному спілкуванні людини як точність і ясність висловлювання їм своїх думок. Даний посібник буде корисно учню і в цьому відношенні, але тільки в тому випадку, якщо він запам'ятає і засвоїть дані в посібнику визначення і правила. Для багатьох це буде гарним способом розвинути своїЗдібності – мова та мислення.
Параграфи (питання) пропонованого курсу логіки розподілені за наступними здебільшого традиційними розділами (темами):
I. Історичне запровадження. II. Підстави класичної логіки. ІІІ. Концепція. IV. Просте судження. V. Основні закони класичної логіки. VI. Просте висновок. VII. Складне судження. VIII. Складний висновок.
Нетрадиційною тут є друга глава, присвячена основам логіки.
Таке поєднання мінімалізму з максималізмом дозволило написати короткий за обсягом, але основний за змістом і настільки ясний за формою посібник, що він може бути використаний для самоосвіти.
Найважче самостійно навчитися мистецтву вирішення завдань, навіть засвоївши теорію. Ось чому велика увага у посібнику приділяється завданням. Відповідно до зазначених принципів мінімалізму та максималізму, відібрано кілька найважливіших типів завдань, вирішення яких представлено вичерпно докладним чином. В результаті, як можна сподіватися, посібник допоможе всім, хто хоче навчитися вирішувати завдання самостійно.
Вибрані шість типів завдань відповідають основним розділам будь-якого курсу логіки. Типи завдань та відповідні найважливіші параграфи, що включають необхідні методичні вказівки щодо вирішення цих завдань, такі:
Для перших п'яти типів завдань кожен попередній тип є основою вирішення завдань наступних типів. Цим і визначався їхній відбір. І лише шостий тип незалежний від попередніх.
Декілька фрагментів основного тексту виділено рамкою, і вони повинні бути засвоєні або завчені учням сумлінним чином. Фрагменти тексту, набрані дрібним шрифтом, можуть бути пропущені під час першого читання.
Частина змісту деякихпараграфів може бути, а в деяких випадках і має бути розвинена учнями самостійно в ході виконання ними відповідних завдань (наприклад, заповнення таблиць). Вкрай бажано, щоб аксіоми діади (§ nbps6) і тріади (§ nbps8) були отримані самими учнями, зрозуміло, під сократическим (за прикладом неперевершеного майстра діалектики Сократа) управлінням викладача. Назви таких параграфів позначені однією зірочкою, і їх рекомендується викладати на практичних заняттях. Дві зірочки вказують на параграфи, що мають підрозділ «Контрольні питання та завдання» – практичну частину із завданнями, вирішувати які необхідно на практичних заняттях.
Наприкінці книги вміщено «Контрольні питання до практичної частини курсу» та «Контрольні питання до теоретичної частини курсу». Перші можуть бути використані на заліку, другі ж – як екзаменаційні питання.
Передмова для тих, хто просунувся у вивченні логіки
Логіка, якій присвячена ця книга, має багато назв, що з'явилися у різний час. Це і арістотельова, і класична, і традиційна, і формальна, і філософська логіка. Деякі з цих назв служили їй для того, щоб відрізнятись від математичної логіки.
Логіку Аристотеля назвали класичною у тому сенсі, у якому вважаються класичними (зразковими) всі його твори. Однак у математичній логіці, що виникла в XIX столітті і почалася зі спроб викласти традиційну логіку мовою математики, встановилося власне розуміння класичної (математичної) логіки. Це пропозиційна логіка і логіка предикатів (з семантикою А. Тарського), що пов'язуються з класичними (двозначними) або булевими таблицями істинності (семантичними таблицями). До некласичної ж логікивідносять інтуїціоністську, модальну, релевантну та багато інших версій математичної логіки.
Справді, досі традиційна логіка перебувала у становищі мистецтва землеміра (геометрії), якою була доти, як Платон та її сподвижники, геніальні грецькі математики, і пізніше Евклид, який завершив їхню справу, стала справжньою наукою. Досі традиційна логіка не була аксіоматизована, якщо не вважати не зовсім вдалих, часткових та непрямих обґрунтувань, зроблених з боку, а саме в рамках математичної логіки. Причому робилися такі спроби аксіоматизації щодо класичної логіки загалом, але її частини, званої силлогистикой. Подібні обґрунтування проводилися виходячи з кількох правильних модусів на кшталт Barbara, які вважаються аксіомами, але є теоремами при прямому обґрунтуванні.
Те, що класична логіка досі залишалася безпідставно, дивно, оскільки сама вона справедливо претендує на роль вчителя всіх інших наукових дисциплін, логічно дисциплінуючи їх. Це означає, що справді наукове знання має викладатися починаючи з простих і ясних аксіом (в математиці) або математично виражених принципів (у науках про природу), інші ж істини мають бути виведені з цих початків, тобто представлені у вигляді теорем. Зразком логічно викладеного знання понад двадцять століть залишалися «Початки» Евкліда. Проте сама логіка викладається, анітрохи не підкоряючись встановленому нею зразку, що ускладнює її розуміння і дозволяє зберігатися тому протиріч, яке було помічено Н.А. Васильєвим.
Додавання до двох названих аксіом третьої (так званої угоди арістотелівської логіки) дозволяє отримати зазначені розділи логіки Аристотеля, але в ній тільки теорія простогоумовиводи виявляється природнішою (більш відповідної практиці переконливих міркувань). Традиційний (історичний) курс логіки адекватний мовній практиці, але виявляється «метасуперечливим» змішанням теорії простого судження логіки Васильєва і теорії простого умовиводу логіки Аристотеля, чим і пояснюється неможливість аксіоматизувати його виходячи з будь-якої однієї системи аксіом.
Понад те, запропоноване визначення протилежностей дозволяє внести повну ясність у співвідношення логік Аристотеля і Васильєва, зокрема законів виключеного третього (Аристотель) і четвертого (Н.А. Васильєв), розвіявши туман міфів і спекуляцій, що оточує останній закон. І це є другим аргументом для прийняття обраних визначень протилежностей.
Метод діаграм грає у прямому обґрунтуванні логіки не меншу роль, ніж метод семантичних таблиць. Так звані протологічні номери 1, 2, 3, 4, 5 (жергонові відносини) у таких таблицях мають інтуїтивно ясне аксіоматичне походження і є фундаментальними логічними значеннями, похідними яких виявляються класичні логічні значення «істина» і «брехня». У традиційних («історичних») курсах логіки останні два значення використовувалися, але залишалися без визначення, що поряд з іншими обставинами також заважало прояснити загальну будову класичної логіки.