Понятие логической теории. Логически истинные, логически ложные и логически недетерминируемые высказывания.

Логическая теория

Строится в рамках формализованного языка

Определяет в множестве всех формул класс логических законов

Определяет критерии правильного рассуждения

Схема построения логической теории:

Задается формализованный язык

Задаются правила интерпретации нелогических символов

Задаются точные значения логических символов

Определяются правила вычисления значений сложных высказываний исходя из

значений простых

Закон логической теории – формула ее формализованного языка, принимающая значение ИСТИНА при всех допустимых в рамках данной теории интерпретациях нелогических символов

Виды высказываний:

Логически истинные высказывания - высказывания, которые формализуются общезначимыми формулами.

Общезначимая (тождественно истинная) формула – формула, принимающая значение ИСТИНА при любой интерпретации входящих в нее переменных.

Логически ложные высказывания - высказывания, которые формализуются невыполнимыми формулами.

Невыполнимая (тождественно ложная) формула – формула, принимающая значение ЛОЖЬ при любой интерпретации входящих переменных.

Логически недетерминируемые высказывания – высказывания, истинность или ложность которых не определяется их формой и зависит от семантики и прагматики

Выполнимая формула – формула, принимающая значение ИСТИНА хоть при одной из допустимых в данной теории интерпретаций нелогических символов

Опровержимая формула – формула, принимающая значение ЛОЖЬ хоть при одной из допустимых в данной теории интерпретаций нелогических символов

Не нашли, что искали? Воспользуйтесь поиском: