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

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