Е.Б. Кузина
К вопросу о логических отношениях между высказываниями в классической и индуктивной логике
В статье устанавливается корреляция отношений между логическими формами высказываний в классической логике и отношений подтверждения, иррелевантности и опровержения, используемых в современной индуктивной логике. В то время как классическим отношениям эквивалентности и подчинения соответствует отношение подтверждения, а отношениям субконтрарности, противоречия и противоположности - отношение опровержения, отношение независимости не коррелирует с иррелевантностью. Независимые в классическом смысле формулы, (при наличии в их совместной истинностной таблице более четырех строк) могут взаимно подтверждать одна другую, опровергать или быть иррелевантными друг для друга. Это зависит от сочетаний значений в тех строках, которые дополняют независимость. Особый интерес представляют пары формул, в которых отношение независимости дополняется строками {и, и}, {и, л} или строками {л, и}, {л, л}. Они также могут подтверждать, опровергать друг друга или быть иррелевантными. Это наводит на мысль о возможности истолкования сочетаний значений {и, и}, {и, л} не только как "вырожденного" подчинения, но и как "вырожденной" субконтрарности или независимости, а сочетаний {л, и}, {л, л} - как "вырожденного" подчинения, "вырожденной" противоположности или независимости.
![]()
по-русски