«Մակածություն»–ի խմբագրումների տարբերություն

չ
oգտվելով ԱՎԲ
No edit summary
չ (oգտվելով ԱՎԲ)
n-րդ գնդակը սև է։</poem>
Տվյալ սենյակում բացի ուսումնասիրված գնդակներից ուրիշ գնդակներ չկան։
Հետևաբար տվյալ սենյակի բոլոր գնդակները սև են։
 
Այս օրինակում մասնավոր դատողություններն են «1-ին գնդակը սև է»։ «2-րդ գնդակը սև է»։ «n-րդ գնդակը սև է։» և այլն։ Ընդհանուր դատողությունը մտահանգման եզրակացությունն է՝ «Տվյալ սենյակի բոլոր գնդակները սև են»։
 
Վերը ներկայացվածը լրիվ մակածության օրինակ է։
 
Զևական տրամաբանական կառուցվածքի տեսակետից մակածությունը այնպիսի մտահանգում է, որի մեջ դասի առանձին անդամների նկատմամբ նախադրյալներում հաստատված հատկանիշը եզրակացության մեջ հաստատվում է որպես դասի հատկանիշ։ Տարատեսակներն են լրիվ կամ կատարյալ մակածություն, որի նախադրյալները սպառում են ամբողջ դասը, և ոչ լրիվ մակածություն, որի նախադրյալներում հատկանիշը հաստատվում է դասի անդամների որոշ մասի նկատմամբ, իսկ եզրակացության մեջ՝ փոխադրվում դասի վրա։
 
=== Ոչ լրիվ մակածություն ===
Մակածությունը, կարող է լինել նաև ոչ լրիվ։ Ոչ լրիվ մակածության տարատեսակներն են՝ պարզ թվարկման ինդոիկցիա և գիտական մակածություն (ընտրության և բեկոնմիլյան)։ Ոչ լրիվ մակածությունի եզրակացության ճշմարիտ լինելու հավանականությունը կախված է այն բանից, թե ինչ հիմունքով է կատարվում անցումն ընդհանուրին։ [[Դասական]] էմպիրիստական [[փիլիսոփայություն|փիլիսոփայության]] և տրամաբանության մեջ մակածությունը գնահատվել է որպես փորձնական տվյալներն ընդհանրացնելու, օրենքներ ձևակերպելու միջոց, ինդուկտիվ մտահանգումներն ու [[մեթոդ]]ները դիտվել են որպես [[հայտնագործություն|հայտնագործության]] ալգորիթմներ։ Սակայն այդ մեթոդներով հնարավոր է ձևակերպել միայն փորձնական առնչություններ, բայց ոչ տեսական լայն ընդհանրացումներ։ Ժամանակակից ինդուկտիվ տրամաբանությունն ուշադրությունը փոխադրել է ընդհանուր դրույթների ([[հիպոթեզների]]) հիմնավորման խնդրի վրա. ուսումնասիրվում է [[հիպոթեզի]] հավանականության կախումը դրա հետ առնչվող դրույթների և, հատկապես, փորձով ստուգելի մասնավոր պընդումների հավանականությունից։ Հիշյալ խնդրին հաջողությամբ կարող է ծառայել մաթեմատիկական հավանականությունների տեսության ձևական աքսիոմատիկայի տրամաբանական մեկնաբանությունը։ Այս իմաստով ժամանակակից [[ինդուկտիվ]] տրամաբանությունը ներկայանում է որպես հավանականային տրամաբանություն։ Գոյություն ունեն մակածության մի քանի տեսակներ (օրինակ՝ [[Մաթեմատիկական ինդուկցիա]])։
 
{{ՀՍՀ}}