Մակածություն
Մակածություն (Ինդուկցիա ), տրամաբանության մեջ՝ մտահանգման այնպիսի եղանակ է, երբ մասնավոր դատողությունների հիման վրա եզրահանգում է կատարվում ընդհանուրի վերաբերյալ։ Օրինակ, ուսումնասիրելով տվյալ սենյակում գտնվող բոլոր գնդակները, և բացահայտելով, որ նրանցից յուրաքանչյուրը սև է՝ սուբյեկտը կարող է կատարել հետևյալ եզրահանգումը՝ «Տվյալ սենյակի բոլոր գնդակները սև են»։ Մակածությունը՝ մակածությունն, այս դեպքում կունենա հետևյալ տեսքը։
1-ին գնդակը սև է։ 
2-րդ գնդակը սև է։ 
3-րդ գնդակը սև է։
......
10-րդ գնդակը սև է։
15-րդ գնդակը սև է։
......
n-րդ գնդակը սև է։
Տվյալ սենյակում բացի ուսումնասիրված գնդակներից ուրիշ գնդակներ չկան։

Հետևաբար տվյալ սենյակի բոլոր գնդակները սև են։

Այս օրինակում մասնավոր դատողություններն են «1-ին գնդակը սև է»։ «2-րդ գնդակը սև է»։ «n-րդ գնդակը սև է։» և այլն։ Ընդհանուր դատողությունը մտահանգման եզրակացությունն է՝ «Տվյալ սենյակի բոլոր գնդակները սև են»։

Վերը ներկայացվածը լրիվ մակածության օրինակ է։

Զևական տրամաբանական կառուցվածքի տեսակետից մակածությունը այնպիսի մտահանգում է, որի մեջ դասի առանձին անդամների նկատմամբ նախադրյալներում հաստատված հատկանիշը եզրակացության մեջ հաստատվում է որպես դասի հատկանիշ։ Տարատեսակներն են լրիվ կամ կատարյալ մակածություն, որի նախադրյալները սպառում են ամբողջ դասը, և ոչ լրիվ մակածություն, որի նախադրյալներում հատկանիշը հաստատվում է դասի անդամների որոշ մասի նկատմամբ, իսկ եզրակացության մեջ՝ փոխադրվում դասի վրա։

Ոչ լրիվ մակածություն 
Մակածությունը, կարող է լինել նաև ոչ լրիվ։ Ոչ լրիվ մակածության տարատեսակներն են՝ պարզ թվարկման ինդոիկցիա և գիտական մակածություն (ընտրության և բեկոնմիլյան)։ Ոչ լրիվ մակածությունի եզրակացության ճշմարիտ լինելու հավանականությունը կախված է այն բանից, թե ինչ հիմունքով է կատարվում անցումն ընդհանուրին։ Դասական էմպիրիստական փիլիսոփայության և տրամաբանության մեջ մակածությունը գնահատվել է որպես փորձնական տվյալներն ընդհանրացնելու, օրենքներ ձևակերպելու միջոց, ինդուկտիվ մտահանգումներն ու մեթոդները դիտվել են որպես հայտնագործության ալգորիթմներ։ Սակայն այդ մեթոդներով հնարավոր է ձևակերպել միայն փորձնական առնչություններ, բայց ոչ տեսական լայն ընդհանրացումներ։ Ժամանակակից ինդուկտիվ տրամաբանությունն ուշադրությունը փոխադրել է ընդհանուր դրույթների (հիպոթեզների) հիմնավորման խնդրի վրա. ուսումնասիրվում է հիպոթեզի հավանականության կախումը դրա հետ առնչվող դրույթների և, հատկապես, փորձով ստուգելի մասնավոր պընդումների հավանականությունից։ Հիշյալ խնդրին հաջողությամբ կարող է ծառայել մաթեմատիկական հավանականությունների տեսության ձևական աքսիոմատիկայի տրամաբանական մեկնաբանությունը։

Այս իմաստով ժամանակակից ինդուկտիվ տրամաբանությունը ներկայանում է որպես հավանականային տրամաբանություն։ Գոյություն ունեն մակածության մի քանի տեսակներ (օրինակ՝ Մաթեմատիկական ինդուկցիա)։

Գիտական մակածություն 
Գիտական ինդուկցիան այնպիսի ինդուկտիվ մտահան­գում է, որի դեպքում, ուսումնասիրելով քննարկվող խմբի որոշ առարկաների առաջացման պատճառները և հանգելով որոշակի եզրակացության, վերջինս տարածում ենք առար­կաների ամբողջ խմբի վրա։ Գիտական ինդուկցիայի հիմնական առավելությունը պարզ թվարկման միջոցով ինդուկցիայի նկատմամբ այն է, որ հիմնված Է պատճառակցական կապի բացահայտման վրա, որն էլ ավելի է բարձրացնում եզրակացության ճշմար­տության հավանականության աստիճանը։ Այս ինդուկցիայի դեպքում ևս հնարավոր են տրամաբա­նական սխալներ, մասնավորապես սրանից հետո, նշանա­կում է սրա պատճառով սխալը։ Դա տեղի է ունենում այն դեպքում, երբ դիտարկվող երևույթին նախորդող ամեն մի եր­ևույթ ընդունվում Է որպես պատճառ։ Թեև պատճառն իրոք պետք է նախորդի հետևանքին, սակայն ոչ ամեն նախորդող երևույթ հաջորդող երևույթի պատճառն է։ Օրինակ, երկրաշարժից առաջ օձերը փախչում են այն տարածքից, որտեղ երկրաշարժ է տեղի ունենալու։ Դա, իհարկե, չի նշանակում, թե երկրաշարժի պատճառը օձերի փախուստն է։

Ծանոթագրություններ 

Տրամաբանություն