Բոլոր ոչ հիմնավորված արգումենտներն անվավեր են: Առողջ փաստարկը պետք է ունենա և՛ վավեր ձև, և՛ ճշմարիտ նախադրյալներ: Վավեր փաստարկները կարող են անհիմն լինել. բայց նրանք կունենան կեղծ տարածքներ: Որոշ վավեր փաստարկներ ունեն ճշմարիտ նախադրյալներ և սխալ եզրակացություն:
Կարո՞ղ է անհիմն փաստարկը վավեր լինել:
Ըստ սահմանման, վավեր փաստարկը չի կարող ունենալ կեղծ եզրակացություն և բոլոր ճշմարիտ նախադրյալները: Այսպիսով, եթե վավեր փաստարկն ունի կեղծ եզրակացություն, այն պետք է ունենա որոշ կեղծ նախադրյալներ: … Որոշ անհիմն փաստարկներ վավեր են: Նրանք անհիմն են, քանի որ չունեն բոլոր իրական նախադրյալները:
Անհնչյունը նույնն է, ինչ անվավեր:
Մենք կարող ենք ստուգել անվավերությունը՝ ենթադրելով, որ բոլոր նախադրյալները ճշմարիտ են և տեսնելով, թե արդյոք դեռևս հնարավոր է, որ եզրակացությունը կեղծ լինի:Եթե դա հնարավոր է, արգումենտն անվավեր է… Ձայն. Անհիմն. փաստարկ, որը հիմնավոր չէ:
Անվավեր արգումենտն ինքնաբերաբար անհիմն է:
Եթե դեդուկտիվ արգումենտն անվավեր է, ապա այն նույնպես պետք է անհիմն լինի: Եթե փաստարկն անվավեր է, ապա այն պետք է ունենա առնվազն մեկ կեղծ նախադրյալ: Եթե փաստարկն ունի եզրակացություն, որն անկասկած սխալ է, ապա փաստարկը պետք է անվավեր լինի: … Որոշ անվավեր փաստարկներ ունեն ճշմարիտ նախադրյալներ և իրական եզրակացություն:
Ի՞նչն է դարձնում արգումենտը անվավեր և անհիմն:
Փաստարկները կարող են վավեր լինել, բայց դեռևս ունեն մեկ կամ մի քանի կեղծ նախադրյալներ: Եթե փաստարկը և՛ վավերական է, և՛ ունի բոլոր ճշմարիտ նախադրյալները, մենք կասենք, որ փաստարկը հիմնավոր է: Փաստարկը անհիմն է, եթե այն կամ ունի կեղծ նախադրյալ, կամ անվավեր է:
