Підручник для студентів вищих навчальних закладів. – К.: Центр
учбової літератури, 2008. – 536 с.
Підручник складається із двох книг: «Традиційна логіка» і «Сучасна логіка». У першій книзі «Традиційна логіка» у систематизованому, дидактично витриманому стилі розкривається метод логіки, аналізуються основні форми і закони мислення.
Значна увага приділяється логічному аналізу природної мови, який підводить до розуміння побудови формалізованої логічної мови, а також забезпечує емпіричну основу для опису висновків і доведень у межах спеціальних формалізованих мов.
У другій книзі «Сучасна логіка» розглядаються передумови виникнення сучасної логіки, обгрунтовується поділ класичної логіки на логіку висловлювань і логіку предикатів, здійснюється типологія і аналіз формально-логічних теорій у межах логіки висловлювань і логіки предикатів.
Ця книга містить також досить ретельний опис витоків некласичної логіки, аналіз канонічних систем багатозначної логіки. На підставі логікоGфілософського аналізу в ній характеризуються підрозділи системи модальної логіки.
Запропонований підручник сприятиме прищепленню елементів культури мислення, а також підвищенню інтересу до сучасної логічної науки.
Розрахований на студентів вищих навчальних закладів.
Книга перша. Традиційна логіка
Предмет логіки
Мислення і мова
Формалізація як метод логіки
Семантичний аналіз виразів природної мови
Елементи теорії імен
Функціональний аналіз у логіці
Історичний характер логіки як науки
Поняття
Судження
Умовивід
Аргументація
Книга друга. Сучасна логіка
Алгебра логіки висловлювань
Числення логіки висловлювань
Алгебраїчна система логіки предикатів
Числення предикатів
Багатозначна логіка
Модальна логіка на початку ХХ ст.
Система модальної логіки
Підручник складається із двох книг: «Традиційна логіка» і «Сучасна логіка». У першій книзі «Традиційна логіка» у систематизованому, дидактично витриманому стилі розкривається метод логіки, аналізуються основні форми і закони мислення.
Значна увага приділяється логічному аналізу природної мови, який підводить до розуміння побудови формалізованої логічної мови, а також забезпечує емпіричну основу для опису висновків і доведень у межах спеціальних формалізованих мов.
У другій книзі «Сучасна логіка» розглядаються передумови виникнення сучасної логіки, обгрунтовується поділ класичної логіки на логіку висловлювань і логіку предикатів, здійснюється типологія і аналіз формально-логічних теорій у межах логіки висловлювань і логіки предикатів.
Ця книга містить також досить ретельний опис витоків некласичної логіки, аналіз канонічних систем багатозначної логіки. На підставі логікоGфілософського аналізу в ній характеризуються підрозділи системи модальної логіки.
Запропонований підручник сприятиме прищепленню елементів культури мислення, а також підвищенню інтересу до сучасної логічної науки.
Розрахований на студентів вищих навчальних закладів.
Книга перша. Традиційна логіка
Предмет логіки
Мислення і мова
Формалізація як метод логіки
Семантичний аналіз виразів природної мови
Елементи теорії імен
Функціональний аналіз у логіці
Історичний характер логіки як науки
Поняття
Судження
Умовивід
Аргументація
Книга друга. Сучасна логіка
Алгебра логіки висловлювань
Числення логіки висловлювань
Алгебраїчна система логіки предикатів
Числення предикатів
Багатозначна логіка
Модальна логіка на початку ХХ ст.
Система модальної логіки