Cтраница 2
Диодор Крон выделял условные высказывания вида Если Солнце зашло, то темно, к-рые естественно выразить с помощью формальной И. Филон из Мегары рассматривал условные высказывания в смысле таблично определенной материальной И. В работах стоиков анализировались высказывания, считавшиеся истинными, если антецедент был логически несовместимым с отрицанием консеквента ( Льюис считает это антич. Боэцайъ книге О гипотетическом силлогизме различает случайное следование и следование по закону; это различение в известном смысле предвосхищало совр. Изучение различных видов и сторон условных высказываний было продолжено схоластич. [16]
Важно изучить еще один тип логического оператора, результатом которого является условное высказывание. Примером такого высказывания является следующее: если завтра будет суббота, то сегодня - пятница. При определении истинностного значения условного высказывания, необходимо различать фактическую истину и логическую. [17]
Условное высказывание в содержат, мышлении отличается тем, что ( I) предполагает связь но смыслу ( содержанию) между антецедентом ( посылкой, основанием условного высказывания) и коисеквентом ( его следствием, заключением) и ( 1) не может быть истинным, если при истинности антецедента конссквент является ложным. В др. случаях приходится анализировать также ( и прежде всего) смысловую сторону условных высказываний, учитывая, что последняя может быть различной ( условно-сослагат. Для формализации различных сторон и видов условных высказываний построен ряд логич. [18]
Диодор Крон выделял условные высказывания вида Если Солнце зашло, то темно, к-рые естественно выразить с помощью формальной И. Филон из Мегары рассматривал условные высказывания в смысле таблично определенной материальной И. В работах стоиков анализировались высказывания, считавшиеся истинными, если антецедент был логически несовместимым с отрицанием консеквента ( Льюис считает это антич. Боэцайъ книге О гипотетическом силлогизме различает случайное следование и следование по закону; это различение в известном смысле предвосхищало совр. Изучение различных видов и сторон условных высказываний было продолжено схоластич. [19]
Условное высказывание в содержат, мышлении отличается тем, что ( I) предполагает связь но смыслу ( содержанию) между антецедентом ( посылкой, основанием условного высказывания) и коисеквентом ( его следствием, заключением) и ( 1) не может быть истинным, если при истинности антецедента конссквент является ложным. В др. случаях приходится анализировать также ( и прежде всего) смысловую сторону условных высказываний, учитывая, что последняя может быть различной ( условно-сослагат. Для формализации различных сторон и видов условных высказываний построен ряд логич. [20]
Диодор Крон выделял условные высказывания вида Если Солнце зашло, то темно, к-рые естественно выразить с помощью формальной И. Филон из Мегары рассматривал условные высказывания в смысле таблично определенной материальной И. В работах стоиков анализировались высказывания, считавшиеся истинными, если антецедент был логически несовместимым с отрицанием консеквента ( Льюис считает это антич. Боэцайъ книге О гипотетическом силлогизме различает случайное следование и следование по закону; это различение в известном смысле предвосхищало совр. Изучение различных видов и сторон условных высказываний было продолжено схоластич. [21]
Условное высказывание в содержат, мышлении отличается тем, что ( I) предполагает связь но смыслу ( содержанию) между антецедентом ( посылкой, основанием условного высказывания) и коисеквентом ( его следствием, заключением) и ( 1) не может быть истинным, если при истинности антецедента конссквент является ложным. В др. случаях приходится анализировать также ( и прежде всего) смысловую сторону условных высказываний, учитывая, что последняя может быть различной ( условно-сослагат. Для формализации различных сторон и видов условных высказываний построен ряд логич. I ]) или нек-рой достаточно естественной его модификации. Существуют др. виды И. Нельсона), разработанные с целью отражения в логике нек-рых сторон связи но смыслу между антецедентом и консеквентом. Для формализации причинной связи, выражаемой условным высказыванием, были предприняты попытки построения каузальной И. Берко), а для формализации условно-сослагат. В логику, получающуюся при конструктивном истолковании высказывании математики, вводится конструктивная И. Имеются и др. виды И. [22]