Аннотація | Підручник складається із двох книг: "Традиційна логіка" і "Сучасна логіка". У першій книзі "Традиційна логіка" у систематизованому, дидактично витриманому стилі розкривається метод логіки, аналізуються основні форми і закони мислення.
Значна увага приділяється логічному аналізу природної мови, який підводить до розуміння побудови формалізованої логічної мови, а також забезпечує емпіричну основу для опису висновків і доведень у межах спеціальних формалізованих мов.
У другій книзі "Сучасна логіка" розглядаються передумови виникнення сучасної логіки, обгрунтовується поділ класичної логіки на логіку висловлювань і логіку предикатів, здійснюється типологія і аналіз формально-логічних теорій у межах логіки висловлювань і логіки предикатів.
Ця книга містить також досить ретельний опис витоків некласичної логіки, аналіз канонічних систем багатозначної логіки. На підставі логіко-філософського аналізу в ній характеризуються підрозділи системи модальної логіки.
Запропонований підручник сприятиме прищепленнюе |