1. Тест____________________________________________________________________

2. Література_______________________________________________________________

1. Мова класичної логіки висловлень___________________________________________

   1. Питання для самоконтролю_________________________________________________

   2. Підсумкові вправи та завдання______________________________________________

   3. Тест____________________________________________________________________

   4. Література_______________________________________________________________

2. Мова класичної логіки предикатів___________________________________________

   1. Питання для самоконтролю_________________________________________________

   2. Підсумкові вправи та завдання______________________________________________

   3. Тест____________________________________________________________________

   4. Література_______________________________________________________________

1. Логічний аналіз поняття______________________________________________________

   1. Мовні форми вираження поняття____________________________________________

   2. Логічна характеристика поняття_____________________________________________

   3. Логічний аналіз відношень між поняттями____________________________________

   4. Логічна дія над змістом понять______________________________________________

   5. Логічні дії над обсягами понять_____________________________________________

      1. Операції обмеження і узагальнення понять____________________________________

      2. Операція поділу понять____________________________________________________

      3. Логічні операції над класами (множинами) понять_____________________________

      4. Питання для самоконтролю_________________________________________________

      5. Підсумкові вправи та завдання______________________________________________

      6. Тест____________________________________________________________________

      7. Література_______________________________________________________________

2. Логічний аналіз суджень (висловлень)__________________________________________

   1. Логічний аналіз простих суджень____________________________________________

   2. Логічний аналіз складних суджень___________________________________________

      1. Метод таблиць істинності або метод семантичних таблиць______________________

      2. Метод аналітичних таблиць________________________________________________

      3. Логічний аналіз відношень між складними судженнями_________________________

   3. Питання для самоконтролю_________________________________________________

   4. Підсумкові вправи та завдання______________________________________________

   5. Тест____________________________________________________________________

   6. Література_______________________________________________________________

3. Логічні закони _______________________________________________________________

   1. Закони традиційної логіки__________________________________________________

      1. Закон тотожності_________________________________________________________

      2. Закон суперечності________________________________________________________

      3. Закон виключеного третього________________________________________________

      4. Закон достатньої підстави__________________________________________________

   2. Закони нетрадиційних логічних систем_______________________________________

      1. Закони логіки класів_______________________________________________________

      2. Закони логіки висловлень _______________

      3. Закони логіки предикатів_____________________________ _________

   3. Питання для самоконтролю____________________________ _________

   4. Підсумкові вправи та завдання____________ ___________________________

      1. Закон тотожності_________________________________________________________

      2. Закон суперечності________________________________________________________

      3. Закон виключеного третього________________________________________________

      4. Закон достатньої підстави__________________________________________________

   5. Тест____________________________________________________________________

   6. Література_______________________________________________________________

4. Логічний аналіз умовиводів___________________________________________________

   1. Дедуктивні умовиводи_____________________________________________________

      1. Безпосередні умовиводи___________________________________________________

      2. Опосередковані умовиводи_________________________________________________

      3. Складні, скорочені та складноскорочені умовиводи____________________________

      4. Виводи із складних суджень________________________________________________

   2. Індуктивні умовиводи_____________________________________________________

   3. Аналогія як традуктивний умовивід__________________________________________

   4. Питання для самоконтролю_________________________________________________

   5. Підсумкові вправи та завдання______________________________________________

   6. Тест____________________________________________________________________

   7. Література_______________________________________________________________

5. Логічні основи аргументації___________________________________________________

   1. Доведення і спростування засобами традиційної логіки_________________________

      1. Доведення та його види____________________________________________________

      2. Спростування та його види_________________________________________________

   2. Доведення і спростування засобами сучасної логіки____________________________

      1. Доведення і спростування засобами логіки висловлень__________________________

         1. Обґрунтування вивідності тези з аргументів методом таблиць істинності_________

         2. Обґрунтування вивідності тези з аргументів методом аналітичних таблиць_______

         3. З’ясування коректності (некоректності) доведення за допомоги числення у системі натурального виводу (СНВ) логіки висловлень за кратною імплікацією___

         4. Розв’язкові процедури з’ясування коректності доведення чи спростування методом зведення формул, що їх репрезентують, до нормальних форм та їхніх модусів – КНФ, ДНФ, ДКНФ, ДДНФ, СКНФ та СДНФ_________________________________________________________________

      2. Доведення і спростування засобами логіки предикатів__________________________

         1. Розв’язкова процедура для дедуктивних форм обґрунтування вивідності тези з аргументів_____________________________________________________________

         2. Розв’язкова процедура обґрунтування вивідності тези з аргументів у системі натурального виводу (НВ)__________________________________________________

         3. Розв’язкова процедура визначення коректності форм доведення (спростування) методом аналітичних таблиць_______________________________________________

Доведення і спростування за допомоги законів і правил логіки висловлень і логіки предикатів_______________________________________________________

4. _

5. Інтерпретація як засіб обґрунтування коректності доведення і спростування _____

1. Питання для самоконтролю_________________________________________________

2. Підсумкові вправи та завдання______________________________________________

3. Тест____________________________________________________________________

4. Література_______________________________________________________________

1. Підсумковий тест_____________________________________________________________

2. Додатки_____________________________________________________________________

Розум без розсудку – ніщо, а розсудок без розуму – щось.

Гегель

Передмова

Цивілізованість суспільства визначається духовністю. Духовність – вищий прояв самосвідомості. Самоусвідомлення людиною своєї сутності проявляється у дискурсивному мисленні. Розумність постає у розсудкових формах буття розуму – поняттях, судженнях, умовиводах, які репрезентують міркування. Завдяки розсудку людина робить результати міркування доступними розумінню, тому розсудкове мислення є практичним критерієм духовності. Якість дискурсивного мислення залежить не тільки від інтелектуальних потенцій людини, а й від рівня розвитку культури загалом і логічної зокрема: яка культура – така й логіка і, навпаки, яка логіка – така й культура. Щоб долучитися до логічної культури епохи, треба не тільки засвоїти відповідний теоретичний матеріал, а й набути навичок і умінь оперувати розсудковими формами за певними логічними правилами і законами, які своєрідно подають загальні закономірності інтенцій мисленнєвої діяльності, що веде до істини.

Структура посібника охоплює тільки ті навчальні елементи (питання) змістовних модулів (тем) курсу логіки, продуктивне засвоєння яких неможливе без виконання вправ і розв’язування завдань, а саме: «Мова логіки», «Поняття», «Судження», «Логічні закони», «Умовивід», «Логічні основи аргументації». У посібнику представлено як традиційні, так і сучасні методи і прийоми аналізу міркування та його структурних елементів, що передбачені навчальною програмою дисципліни. Основне дидактичне завдання посібника зводиться до набуття студентами гуманітарних факультетів навичок і умінь творчого логічного аналізу міркувань на основі добре засвоєного теоретичного матеріалу.

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

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

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

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

Навчальний посібник написаний на базі рекомендованої літератури та на основі власного досвіду викладання логіки студентам гуманітарникам різнопрофільних вищих навчальних закладів. У посібнику враховано здобутки провідних українських та зарубіжних учених-педагогів у галузі логіки. Автор щиро вдячний їм за оригінальні ідеї стосовно методологічного потенціалу формальнологічних розв’язкових процедур, що актуалізували проблему діапазону їх практичного застосування.