Процедуры обоснования научного знания. Моисеев В.И. - 4 стр.

UptoLike

ВУЗ: 

ВГУ | Воронеж

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

Рубрика: 

4
дедукции обеспечивается определенной логической формой
суждений . Например , тот же вывод можно было бы представить с
иным содержанием :
Все преподаватели – зануды
Сидоров – преподаватель
Сидоров – зануда
Очищая логическую форму от конкретного содержания, мы
получим такую абстрактную форму вывода:
Все Х обладают свойством Р
У – один из Х
У обладает свойством Р
В логической форме дедуктивного умозаключения заключена
особенность именно этого вывода, отличающего его от других
выводов . Например , еще одним распространенным примером
дедукции являеся вывод такого вида:
Если идет дождь, то крыши мокрые
Идет дождь
Крыши мокрые
Или:
Если система изолирована, то энтропия в ней возрастает
Система изолирована
Энтропия в ней возрастает
Выделяя логическую форму в этих двух выводах , получим :
Если А, то В
А
В
Здесь А и В – те или иные утверждения. Посылками в этом выводе
являются первые два суждения – «Если А, то В» и «А», заключением
– суждение «В».
Обобщая эти примеры, можно утверждать , что дедуктивный вывод
имеет вид
А
1
, А
2
, … , А
n
В
1
, В
2
, … , В
m
где А
1
, А
2
, … , А
n
– утверждения, являющиеся посылками дедукции,
В
1
, В
2
, … , В
m
– утверждения, играющие роль заключений дедукции (в
наших примерах m равнялось 1). Сама дедукция есть переход от 
                                    4


дедукц ии обеспечивается опр едел енной            л огической    ф ор м ой
суж дений . Н апр им ер , тот ж е вы вод м ож но бы л о бы пр едставить с
ины м содер ж анием :
           В сепр еподавател и–зануды
           Сидор ов –пр еподавател ь

           Сидор ов –зануда
  О чищ ая л огическую ф ор м у от конкр етного содер ж ания, м ы
пол учим такую абстр актную ф ор м увы вода:
          В сеХ обл адаю тсвой ством Р
          У –один из Х

         У обл адаетсвой ством Р
  В л огической ф ор м е дедуктивного ум озакл ю чения закл ю чена
особенность им енно э того вы вода, отл ичаю щ его его от др угих
вы водов. Н апр им ер , ещ е одним р аспр остр аненны м пр им ер ом
дедукц ииявл яесявы вод такого вида:
            Е сл иидетдож дь, то кр ы ш им окр ы е
            И детдож дь

             К р ы ш им окр ы е
  И л и:
             Е сл исистем а изол ир ована, то э нтр опияв ней возр астает
             Систем а изол ир ована

             Э нтр опияв ней возр астает
  В ы дел яял огическую ф ор м ув э тих двух вы водах, пол учим :
             Е сл иА , то В
             А

             В
  Здесь А иВ –теил иины еутвер ж дения. Посы л кам ив э том вы воде
явл яю тся пер вы е два суж дения – «Е сл иА , то В » и«А » , закл ю чением
–суж дение«В » .
  О бобщ ая э типр им ер ы , м ож но утвер ж дать, что дедуктивны й вы вод
им еетвид
            А 1, А 2, … , А n

               В 1, В 2, … , В m
   гдеА 1, А 2, … , А n –утвер ж дения, явл яю щ иесяпосы л кам идедукц ии,
В 1, В 2, … , В m –утвер ж дения, игр аю щ иер ол ь закл ю чений дедукц ии(в
наш их пр им ер ах m р авнял ось 1). Сам а дедукц ия есть пер еход от

Страницы