| Авторизуйтеся для перегляду анотації та можливості завантаження одним файлом |
Предмет логікиВизначення логіки як наукиФормальні та змістовні правила міркуванняАбстрактне мислення і його характерні особливостіПоняття про форму мисленняОсновні формально-логічні закониЗакон тотожностіЗакон протиріччяЗакон виключеного третього.Закон достатньої підстави.Істинність і формальна правильність в міркуванніMислення і моваВизначення мовиПоняття знака. Види знаківРівні семіотичного аналізу мовиФормалізація як метод логікиПоняття формалізаціїПорівняльна характеристика природної і формалізованої мовСтруктура формалізованої мовиСемантичний аналіз виразів природної мовиПоняття семантичної категоріїХарактеристика дескриптивних термінівВизначення логічних термінів.Елементи теорії іменІм'я, смисл, значенняВиди іменПринципи відношення іменування.Функціональний аналіз у логіціПоняття функціїВиди функційІсторичний характер логіки як наукиЛогіка стародавньої ІндіїПопередники логіки Арістотеля у Стародавній ГреціїЛогічне вчення АрістотеляОсобливості логіки стоїківОсобливості схоластичної логікиНоваторські ідеї логіки Ф. БеконаСучасна формальна логіка - другий етап у розвитку логіки як наукиПоняттяВизначення поняттяХарактеристика предмета думки, відображуваного в поняттіМовні засоби виразу поняттяЗміст поняттяОбсяг поняття. Елементи теорії множинЗакон оберненого відношення між змістом та обсягом поняттяВиди понятьЗміст поняття та склад злочину.Логічні відношення між поняттями.Логічні операції над поняттямиВиди дефініцій.СудженняЗагальна характеристика судженняСудження і реченняВиди суджень. Атрибутивні судженняЛогічні відношення між атрибутивними судженнямиТлумачення атрибутивних суджень мовою логіки предикатівСудження з відношеннямиСудження існуванняМодальні судженняЗапитанняВиди складних суджень.Виклад складних суджень мовою логіки висловлюваньЛогічні відношення між складними судженнямиУмовивідЗагальна характеристика умовиводуУмовиводи логіки судженьТипологія правил висновку.Обґрунтування правил висновку.Метод аналітичних таблиць.Умовиводи логіки висловлювань в традиційній логіці.Висновки із категоричних судженьБезпосередні умовиводи.Простий категоричний силогізм.Перевірка коректності силогізму.Ентимема.Силогістика та метод аналітичних таблиць.Недедуктивні умовиводиАргументаціяПоняття доведення. Структура доведенняВиди доведенняСпростуванняСпростування тези.Спростування тези фактами.Спростування тези шляхом доведення істинності іншої тези. Спростування тези шляхом виведення із неї наслідків, що суперечать дійсності.Спростування аргументів.встановлення хибності аргументів.встановлення недостатності аргументів відносно тези.виявлення сумніву в істинності аргументів.Виявлення сумніву в надійності джерела аргументів.Спростування демонстрації.Правила доведення і спростуванняПравила і помилки стосовно тези.Правила і помилки стосовно аргументів.Правила і помилки стосовно демонстрації.
