Свободная логика

СВОБОДНАЯ ЛОГИКА – раздел современной логики, в котором анализируются свойства высказываний с пустыми (необозначающими) терминами. Свободной называют также логику, свободную от экзистенциальных (от лат. экзистенция – существование) допущений.

Классические логики (стандартная логика предикатов, традиционная силлогистика) являются экзистенциальными логиками. Это обусловлено двумя моментами, проявляющимися при интерпретации указанных исчислений: 1) универсум рассуждения, на котором осуществляется интерпретация, не должен быть пустым; 2) все термы (аналоги имен) в обязательном порядке должны иметь значения, свои референты в универсуме рассуждения. Нарушение этих условий приводит к несоблюдению целого ряда дедуктивных принципов классической логики...

СВОБОДНАЯ ЛОГИКА - раздел современной логики, в котором анализируются свойства высказываний с пустыми (необозначающими) терминами. Свободной логикой называют также логику, свободную от экзистенциальных (от лат. exsistentia — существование) допущений. Классическая логика является экзистенциальной логикой. Это обусловлено двумя моментами: а) универсум рассуждения, на котором осуществляется интерпретация этой логики, обязательно должно быть непустым множеством; б) все термы (аналоги имен) в обязательном порядке должны иметь значения в универсуме рассуждения. Нарушение этих условий приводит к несоблюдению целого ряда дедуктивных принципов классической логики...