Логика: краткий теоретический курс. Веревичев И.И. - 78 стр.

UptoLike

ВУЗ: 

УлГТУ | Ульяновск

Составители: 

Рубрика: 

77
достаточно, чтобы из пустого множества посылок вывести любую
тождественно-истинностную формулу.
В СНВ понятие логического следствия определяется без использования
понятия истинности. Заключение в рассуждении логически следует из посылок
тогда и только тогда, когда оно выводимо из заданных посылок по
определенным выше правилам. Выводом в натуральной системе называют
последовательность формул языка логики высказываний, каждая из которой
является либо посылкой, либо формулой, полученной из предшествующих в
последовательности формул по правилам прямого вывода. Последняя формула
последовательности называется выводимой формулой или заключением
вывода
5
.
Кроме прямых правил, в СНВ используют и непрямые правила,
определяющие стратегию вывода. К числу непрямых правил относят:
Г, А ├В Г, А├ (В ۸┐В) и другие.
Г├ А→В Г├ ┐ А
Здесь Г – множество гипотез (посылок, допущений); В – последняя
формула последовательности формул, являющейся выводом. Факт наличия
вывода формулы В из множества гипотез Г обозначается так: Г├ В. Последнее
выражение называется выводимостью формулы В из множества гипотез Г.
Логика высказываний, по сути, является составной частью логики
предикатов. Логика высказываний более эффективна в анализе структур
формализованных языков, тогда как логика предикатов служит эффективным
логическим средством для анализа рассуждений в естественном языке
6
.
ГИПОТЕЗА
В научном познании термин “гипотеза” используется в двух значениях:
1) для обозначения особой формы знания и 2) для обозначения особого способа
его развития. Гипотеза как форма знания представляет собой научно
обоснованное предположение, выдвигаемое для объяснения еще не изученных
или недостаточно изученных объектов, явлений или процессов. Как способ
развития знания гипотеза представляет собой процесс обоснования,
предположения, формулирования, выдвижения следствий, их проверки,
подтверждения достоверности либо опровержения, создания новой научной
теории.
Изучение специфики процесса построения гипотезы неотделимо от
анализа другой важной составляющей познания – научной проблемы. Научная
проблема – это тот сложный вопрос, необходимость решения которого во
многом обусловлена его актуальностью. Наука, как правило, ставит перед
собой те задачи, которые способна решить. Сложность решения проблемы во
5
Солодухин О.А. Логика: экзаменационные ответы. М., 2002. – С. 111.
6
Более подробно см. напр.: Кириллов В.И., Старченко А.А. Логика. М., 2002. – С. 157 –160.

Страницы