Ключові поняття і терміни
Теорія множин. Множина. Підмножина. Елементи множини. Відношення належності. Скінчена множина. Нескінчена множина. Порожня множина. Нечітка множина. Синтаксис природної мови. Речення.
Розповідне речення. Твердження. Розповідне двоскладне речення. Підмет. Присудок. Група підмета. Група присудка. Запитальне речення. Спонукальне речення. Судження. Суб’єкт. Обсяг суб’єкта. Предикат у традиційній логіці. Обсяг предиката у традиційній логіці. Однозначний предикат. Двозначний предикат. Багатозначний предикат. Зв’язка. Стверджувальна зв’язка. Заперечна зв’язка. Квантор у традиційній логіці. Квантор спільності у традиційній логіці. Квантор існування у традиційній логіці. Нормальна форма судження. Просте судження. Складне судження. Предикативне судження. Просте предикативне судження. Складне предикативне судження. Висловлювання. Описове висловлювання. Предметне значення описового висловлювання. Смислове значення описового висловлювання. Просте описове висловлювання. Складне описове висловлювання. Логічний сполучник як логічна операція. Запитальне висловлювання. Оператор запитання. Передумова запитання. Контекст запитання. Просте запитання. Складне запитання. Логічно коректне запитання. Логічно некоректне запитання. Нормативне висловлювання. Висловлювання про право. Висловлювання про обов’язок. Функціональний аналіз мовних виразів. Функція. Аргумент функції. Значення функції. Місткість функції. Області можливих аргументів функції. Область визначення функції. Область значення функції. Предметно-предметна функція. Предметно-істиннісна функція. Істиннісно-істиннісна функція. Іменна функція. Ім’я. Власне ім’я. Загальне ім’я. Просте ім’я. Складне ім’я. Пропозиційна функція. Інтерпретативна функція. Предикат в логіці предикатів. Одномісний предикат. Багатомісний предикат. Квантор в логіці предикатів. Квантор спільності в логіці предикатів. Квантор існування в логіці предикатів. Логічний сполучник в логіці висловлювань. Висловлювання в логіці висловлювань. Припущення бівалентності в логіці висловлювань. Припущення функціональності в логіці висловлювань. Кон’юнкція. Слабка диз’юнкція. Сильна диз’юнкція. Імплікація. Матеріальна імплікація. Формальна імплікація. Еквіваленція. Заперечення. Логічне випливання. Логічна рівно- сильність. Складне описове висловлювання у традиційній логіці. Сполучне судження. Розділове судження. Сполучно-розділове судження. Виключаючо-розділове судження. Умовне судження. Рівнозначне судження. Заперечне судження. Просте описове висловлювання у традиційній логіці. Припущення непорожнечі універсуму міркування у традиційній логіці. Припущення об’ємності у традиційній логіці. Припущення двозначності у традиційній логіці. Якість судження. Кількість судження. Загальностверджувальне судження. За- гальнозаперечне судження. Частковостверджувальне судження. Част- ковозаперечне судження. Розподілений термін. Нерозподілений термін. Логічний квадрат. Еквіваленті судження. Односторонньо підпорядковані судження. Частково сумісні судження. Суперечні судження. Протилежні судження. Просте предикативне судження в логіці предикатів. Припущення непорожнечні універсуму міркування в логіці предикатів. Припущення екстенсіональності в логіці предикатів. Припущення бівалентності в логіці предикатів. Припущення функціональності в логіці предикатів. Тлумачення простих предикативних суджень мовою традиційної логіки. Тлумачення складних предикативних суджень мовою традиційної логіки. Табличні методи в сучасній логіці. Метод таблиць істинності. Метод аналітичних таблиць в логіці висловлювань. Метод аналітичних таблиць в логіці предикатів.
Еще по теме Ключові поняття і терміни:
-
Основы логики -