Формальна логіка

Теми курсу

Предмет і значення логіки

Висловлювання

Закони логіки

Умовиводи

Аналогія і гіпотеза

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

Логічний практикум

Основні напрямки сучасної логіки

Предмет і значення логіки

Знаннєва складова

Має уявлення про процес пізнання, знає його види

Пояснює особливості чуттєвого і абстрактного пізнання

Пояснює зв'язок логічної форми та логічного закону

Пояснює поняття семантичні категорії

Діяльнісна складова

Визначає форми знань, логічну форму висловлювань

Відрізняє висловлення від логічного закону

Ціннісна складова

Усвідомлює роль логіки в житті людини і в науці, її міждисциплінарність

Зміст навчання

Предмет логіки. Значення логіки для людини.

Пізнання. Форми чуттєвого пізнання.

Абстрактне мислення, його форми і особливості.

Логічна форма і логічний закон. Зв'язок мови і мислення.

Семантичні категорії.

Поняття

Знаннєва складова

Знає що таке поняття і наводить їх приклади

Пояснює види відношень між поняттями, логічні операції та їх символічну запис

Знає способи утворення визначення поняття, правила розподілу понять, види класифікацій

Діяльнісна складова

Визначає обсяг і зміст понять, встановлює відносини між поняттями, в тому числі за допомогою кіл Ейлера

Визначає обмеження і узагальнення понять

Складає різні види визначень понять

Виконує ділення понять та їх класифікацію

Ціннісна складова

Розуміє важливість понять при побудові категорійного апарату науки

Зміст навчання

Поняття. Зміст і обсяг понять. Відношення між поняттями. Кола Ейлера. Логічні операції над обсягами понять.

Основні закони логіки класів. Обмеження і узагальнення понять.

Визначення понять і їх види.

Поділ понять. Класифікації понять.

Висловлювання

Знаннєва складова

Знає основні вимоги до висловлювань, види висловлювань, види логічних операцій над ними і їх властивості.

Діяльнісна складова

Відрізняє висловлення від пропозицій,

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

Будує формулу складних висловлювань, визначає висловлення за формулою,

Застосовує властивості логічних операцій для спрощення висловлювань,

Будує таблиці істинності за формулами.

Ціннісна складова

Критично оцінює висловлювання, знаходить в них помилки

Зміст навчання

Загальна характеристика висловлювань.

Прості висловлювання і їх види.

Складні висловлювання.

Логічні операції над висловлюваннями та їх властивості.

Закони логіки

Знаннєва складова

Формулює закони логіки, наводить приклади їх прояву та значення,

Розуміє можливі помилки в використанні законів логіки

Діяльнісна складова

Застосовує закони для пояснення правильності висловлених думок

Ціннісна складова

Усвідомлює значення законів логіки в пізнанні

Зміст навчання

Загальна характеристика законів логіки.

Закони тотожності, протиріччя, виключеного третього, достатньої підстави.

Значення законів логіки в пізнанні. Помилки у використанні законів логіки.


Умовиводи

Знаннєва складова

Знає види умовиводів.

Пояснює правила побудови дедуктивних умовиводів,

Відрізняє види індукції і методи встановлення причинно-наслідкових зв'язків, встановлення аналогій.

Діяльнісна складова

Вміє робити висновку з дедуктивних, індуктивних і за аналогією умовиводів.

Встановлює причинно-наслідкові зв'язки.

Ціннісна складова

Знаходить помилки в умовиводах та пояснює їх причину

Зміст навчання

Умовивід і його види.

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

Правила висновків.

Силогізми і його види.

Індукція і її види.

Причинно-наслідкові зв'язки і методи їх встановлення.


Аналогія і гіпотеза

Знаннєва складова

Знає аналогії і гіпотези, розрізняє їх види

Розуміє правила побудови гіпотез

Діяльнісна складова

Робить умовиводи за аналогією, висуває гіпотези

Ціннісна складова

Розуміє роль гіпотез та аналогій у дослідницькій роботі та житті

Зміст навчання

Аналогія і її види.

Гіпотеза і її види. Побудова гіпотез.

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

Знаннєва складова

Знає структуру доказів, види аргументів і спростувань.

Наводить приклади софізмів і парадоксів.

Діяльнісна складова

Використовує форми прямого і непрямого доведення і спростування, веде дискусію, вирішує софізми і пояснює парадокси

Ціннісна складова

Усвідомлює роль аргументації і докази в науці

Аргументовано, логічно правильно і змістовно будує усні і письмові висловлювання.

Свідомо використовує навички публічного мовлення, ведення дискусії і полеміки

Зміст навчання

Поняття доказу і його структури. Види аргументів. Пряме і непряме підтвердження.

Поняття спростування та його види. Правила доказового міркування. Логічні помилки в доказах.

Поняття софізму і логічних парадоксів. Мистецтво ведення дискусії.

Логічний практикум

Знаннєва складова

Знає суть досліджуваних методів вирішення логічних задач.

Діяльнісна складова

Вирішує логічні завданнями методом таблиць, графів, рівнянь, вибирає найбільш ефективний з методів.

Ціннісна складова

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

Зміст навчання

Способи вирішення логічних задач: метод графів, метод рівнянь, метод таблиць.

Розв’язування логічних задач.


Основні напрямки сучасної логіки

Знаннєва складова

Описує історичний розвиток логіки від найдавніших часів до сьогоднішніх днів

Має загальне уявлення про різновиди сучасної логіки

Ціннісна складова

Розуміє взаємозв'язок логіки як науки і практики, тенденції її розвитку Історія розвитку логіки.

Зміст навчання

Індукційні логіки. Конструктивні логіки. Модальні, позитивні, багатозначні логіки.