Rasmiy xato - Formal fallacy

Yilda falsafa, a rasmiy xato, deduktiv xato, mantiqiy xato yoki sekvestor bo'lmagan^[1] (Lotin chunki "u ergashmaydi") - ning namunasi mulohaza yuritish ko'rsatilgan yaroqsiz uning mantiqiy tuzilishidagi nuqson bilan, masalan, standart mantiqiy tizimda aniq ifoda etilishi mumkin taklif mantig'i.^[2] U sifatida belgilanadi deduktiv dalil bu yaroqsiz. Dalilning o'zi to'g'ri bo'lishi mumkin binolar, lekin baribir yolg'onga ega xulosa.^[3] Shunday qilib, rasmiy xatolik a xato bu erda chegirib tashlash noto'g'ri bo'lib, endi u emas mantiqiy jarayon. Bu xulosa haqiqatiga ta'sir qilmasligi mumkin, chunki amal qilish muddati va rasmiy mantiqda haqiqat alohida.

Mantiqiy dalil, agar u yaroqsiz bo'lsa va faqatgina "noaniq" bo'lsa, "sekvitur" atamasi odatda ma'lum atamalar bilan qamrab olinadigan rasmiy xatolarni tashkil etmaydigan noto'g'ri argumentlarning turlarini anglatadi (masalan.). natijasini tasdiqlash ). Boshqacha qilib aytganda, amalda "sekvestor bo'lmagan"noma'lum rasmiy xatoga ishora qilmoqda.

Maxsus holat a matematik xato, qasddan yaroqsiz matematik dalil, ko'pincha xato bilan yashirin va qandaydir tarzda yashiringan. Matematik xatolar, odatda, aniq maqsadlar uchun soxta dalillar shaklida olib boriladigan o'quv maqsadlari uchun yaratilgan va namoyish etiladi. qarama-qarshiliklar.

Rasmiy xatolik an bilan farqlanadi norasmiy xato, tegishli bo'lishi mumkin mantiqiy shakl va shunga qaramay asossiz chunki bir yoki bir nechtasi binolar yolg'ondir. Biroq, rasmiy xatolik haqiqiy asosga ega bo'lishi mumkin, ammo yolg'on xulosa.

Taksonomiya

Standart Aristotelian mantiqiy xatolar ular:

• To'rt davrning qulashi (Quaternio terminorum);
• Tarqatilmagan o'rtaning qulashi;
• Ning noqonuniy jarayonining qulashi katta yoki voyaga etmagan muddat;
• Salbiy taxmindan ijobiy xulosa.

Boshqa mantiqiy xatolarga quyidagilar kiradi:

• The o'ziga ishonadigan xato

Yilda falsafa, atama mantiqiy xato rasmiy ravishda xatoga yo'l qo'yishni anglatadi - tuzilishdagi nuqson deduktiv dalil, bu argumentni keltirib chiqaradi yaroqsiz.

Odatda norasmiy nutqda odatda biron bir sababga ko'ra muammoli bo'lgan bahsni anglatadi va o'z ichiga oladi. norasmiy xatolar rasmiy xatolar bilan bir qatorda haqiqiydir asossiz da'volar yoki kam bo'lmagan deduktiv argumentlar.

Deduktiv argumentda rasmiy xatolikning mavjudligi dalilning asoslari yoki uning xulosasi haqida hech qanday ma'lumot bermaydi (qarang. xatolik ). Ikkalasi ham haqiqat bo'lishi mumkin, yoki argument natijasida ehtimol ko'proq bo'lishi mumkin (masalan.) hokimiyatga murojaat qilish ), ammo deduktiv argument hanuzgacha yaroqsiz, chunki xulosa tavsiflangan tartibda binolardan kelib chiqmaydi. Kengaytirilgan holda, argument deduktiv bo'lmasa ham, rasmiy xatolikni o'z ichiga olishi mumkin; masalan, printsiplarini noto'g'ri qo'llaydigan induktiv argument ehtimollik yoki nedensellik rasmiy xatoga yo'l qo'ygan deb aytish mumkin.

Buning natijasini tasdiqlash

Quyidagi shaklni olgan har qanday argument ketma-ket emas

1. Agar A to'g'ri bo'lsa, unda B to'g'ri.
2. B to'g'ri.
3. Shuning uchun, A to'g'ri.

Oldindan va xulosadan barchasi to'g'ri bo'lsa ham, xulosa dastlabki shartning natijasi emas. Ushbu turdagi sekvitur ham deyiladi natijasini tasdiqlash.

Buning natijasini tasdiqlash uchun misol bo'lishi mumkin:

1. Agar Jekson odam bo'lsa (A), demak Jekson sutemizuvchidir. (B)
2. Jekson sutemizuvchidir. (B)
3. Shuning uchun, Jekson insondir. (A)

Xulosa haqiqat bo'lishi mumkin bo'lsa-da, u avvalgi shartdan kelib chiqmaydi:

1. Odamlar sutemizuvchilardir.
2. Jekson sutemizuvchidir.
3. Shuning uchun, Jekson insondir.

Xulosa haqiqati uning asosidagi haqiqatga bog'liq emas - bu "sekvitur", chunki Jekson odamsiz sutemizuvchi bo'lishi mumkin. U fil bo'lishi mumkin.

Natijada kelib chiqishini tasdiqlash, asosan, taqsimlanmagan o'rtaning xatoligi bilan bir xil, ammo a'zolikni belgilash o'rniga takliflardan foydalanish.

Oldingi narsani inkor etish

Boshqa keng tarqalgan bo'lmagan sekvitur bu:

1. Agar A to'g'ri bo'lsa, unda B to'g'ri.
2. A yolg'on.
3. Shuning uchun, B noto'g'ri.

B haqiqatan ham yolg'on bo'lishi mumkin bo'lsa-da, buni oldingi shart bilan bog'lash mumkin emas, chunki bayonot sekvitur emas. Bu deyiladi oldingi holatni inkor etish.

Oldingi narsani inkor etishning misoli quyidagicha bo'lishi mumkin:

1. Agar men yapon bo'lsam, demak men osiyolikman.
2. Men yapon emasman.
3. Shuning uchun, men osiyolik emasman.

Xulosa haqiqat bo'lishi mumkin bo'lsa-da, u dastlabki shartlardan kelib chiqmaydi. Bayonot deklaranti Osiyoning boshqa bir millati bo'lishi mumkin, masalan, xitoyliklar, bu holda bu taxmin to'g'ri, ammo xulosa yolg'ondir. Xulosa to'g'ri bo'lsa ham, bu dalil hali ham noto'g'ri.

Disjunktni tasdiqlash

Disjunktni tasdiqlash quyidagi shaklda xato hisoblanadi:

1. A to'g'ri yoki B to'g'ri.
2. B to'g'ri.
3. Shuning uchun, A to'g'ri emas *.

Xulosa dastlabki shartdan kelib chiqmaydi, chunki A va B ikkalasi ham haqiqat bo'lishi mumkin. Ushbu xatolik ta'rifidan kelib chiqadi yoki inklyuziv bo'lishi uchun taklif mantig'ida.

Disjunktni tasdiqlashning misoli:

1. Men uydaman yoki shahardaman.
2. Men uydaman.
3. Shuning uchun men shaharda emasman.

Xulosa haqiqat bo'lishi mumkin bo'lsa-da, u dastlabki shartlardan kelib chiqmaydi. Hamma o'quvchilar biladiki, bayonot e'lon qiluvchisi shaharda ham, ularning uyida ham bo'lishi mumkin, bu holda bino to'g'ri bo'lar edi, ammo xulosa yolg'on edi. Xulosa to'g'ri bo'lsa ham, bu dalil hali ham noto'g'ri.

* E'tibor bering, bu faqat "yoki" so'zi o'z ichiga olgan holda mantiqiy xato. Agar ko'rib chiqilayotgan ikkita imkoniyat bir-birini istisno qiladigan bo'lsa, bu mantiqiy xato emas. Masalan,

1. Men yo uydaman, yoki shahardaman.
2. Men uydaman.
3. Shuning uchun men shaharda emasman.

Uyushiqlikni inkor qilish

Birlashtiruvchini inkor qilish quyidagi shaklda xato bo'ladi:

1. Ikkala A ham to'g'ri, B ham haqiqat emas.
2. B to'g'ri emas.
3. Shuning uchun, A to'g'ri.

Xulosa dastlabki shartdan kelib chiqmaydi, chunki A va B ikkalasi ham yolg'on bo'lishi mumkin.

Bog'lanishni inkor etishning misoli quyidagicha bo'lishi mumkin:

1. Men uyda ham, shaharda ham bo'la olmayman.
2. Men uyda emasman.
3. Shuning uchun men shahardaman.

Xulosa haqiqat bo'lishi mumkin bo'lsa-da, u dastlabki shartlardan kelib chiqmaydi. Hamma o'quvchilarga ma'lumki, bayonot e'lon qiluvchisi na uyda va na shaharda bo'lishi mumkin edi, bu holda bu taxmin to'g'ri, ammo xulosa yolg'ondir. Xulosa to'g'ri bo'lsa ham, bu dalil hali ham noto'g'ri.

Tarqatilmagan o'rtaning qulashi

The taqsimlanmagan o'rtaning xatoligi a xato qachon sodir bo'ladi o'rta muddatli a kategorik sillogizm emas tarqatildi. Bu sillogistik xato. Aniqrog'i, bu sekviturning bir shakli.

Tarqatilmagan o'rtaning xatoligi quyidagi shaklga ega:

1. Hamma Zlar Blardir.
2. Y - bu B.
3. Shuning uchun Y - Z.

"Hamma Zlar Bs" bo'lishi mumkin yoki bo'lmasligi mumkin, ammo har ikkala holatda ham xulosa uchun ahamiyatsiz. Xulosa bilan bog'liq bo'lgan narsa, "barcha Blar Zlar" ekanligi to'g'rimi yoki yo'qmi, bu argumentda e'tiborga olinmaydi.

B = sutemizuvchilar, Y = Meri va Z = odamlar:

1. Barcha odamlar sutemizuvchilardir.
2. Meri sutemizuvchidir.
3. Shuning uchun, Maryam insondir.

E'tibor bering, agar (Z va B) atamalari birinchisida almashtirilgan bo'lsa qo'shma shart unda endi bu xato emas va to'g'ri bo'ladi.

Norasmiy xatolardan farqli o'laroq

Rasmiy mantiq argumentning rost yoki yo'qligini aniqlash uchun ishlatilmaydi. Rasmiy dalillar haqiqiy yoki bekor bo'lishi mumkin. Haqiqiy dalil ham bo'lishi mumkin tovushli yoki noaniq:

• A yaroqli argument to'g'ri rasmiy tuzilishga ega. Haqiqiy dalil bu erda agar binolar haqiqat, xulosa kerak rost bo'ling.
• A tovush argument bu rasmiy ravishda to'g'ri dalil shuningdek haqiqiy binolarni o'z ichiga oladi.

Ideal holda, rasmiy argumentlarning eng yaxshi turi bu ishonchli, dalil.

Rasmiy xatolar argumentning asosliligini hisobga olmaydi, aksincha uning amal qilish muddati. Rasmiy mantiqdagi binolar odatda harflar bilan ifodalanadi (ko'pincha p va q). Xatolar, binolarning haqiqatiga qaramay, argumentning tuzilishi noto'g'ri bo'lsa paydo bo'ladi.

Sifatida modus ponens, quyidagi argument rasmiy xatolarni o'z ichiga olmaydi:

1. Agar P bo'lsa, u holda Q
2. P
3. Shuning uchun Q

Ushbu argument formati bilan bog'liq bo'lgan mantiqiy xato deb ataladi natijasini tasdiqlash quyidagicha ko'rinadi:

1. Agar P bo'lsa, u holda Q
2. Q
3. Shuning uchun P

Bu xato, chunki u boshqa imkoniyatlarni hisobga olmaydi. Buni aniqroq ko'rsatish uchun harflarni bino bilan almashtiring:

1. Yomg'ir yog'sa, ko'cha nam bo'ladi.
2. Ko'cha nam.
3. Shuning uchun, yomg'ir yog'di.

Garchi bu xulosa haqiqat bo'lishi mumkin bo'lsa-da, bu uni anglatishi shart emas kerak rost bo'ling. Ushbu dalil hisobga olinmagan boshqa turli sabablarga ko'ra ko'cha nam bo'lishi mumkin. Agar dalilning haqiqiy shaklini ko'rib chiqsak, xulosa haqiqat bo'lishi kerakligini ko'ramiz:

1. Yomg'ir yog'sa, ko'cha nam bo'ladi.
2. Yomg'ir yog'di.
3. Shuning uchun, ko'cha nam.

Ushbu dalil haqiqiydir va agar yomg'ir yog'sa, u ham yaxshi bo'lar edi.

Agar 1 va 2-gaplar to'g'ri bo'lsa, demak, 3-bayon haqiqatdir. Biroq, 1 yoki 2-sonli so'zlar haqiqatga to'g'ri kelmasligi mumkin. Masalan:

1. Agar Albert Eynshteyn fan haqida bayonot bergan bo'lsa, bu to'g'ri.
2. Albert Eynshteyn hamma ta'kidlaydi kvant mexanikasi deterministik xususiyatga ega.
3. Shuning uchun kvant mexanikasi deterministik ekanligi haqiqatdir.

Bunday holda, 1-so'z noto'g'ri. Ushbu da'voga asosan norasmiy xatolar kiradi hokimiyatdan tortishuv. Aksincha, rasmiy xato bilan tortishuv hali ham barcha haqiqiy binolarni o'z ichiga olishi mumkin:

1. Agar hayvon it bo'lsa, unda uning to'rt oyog'i bor.
2. Mushukimning to'rt oyog'i bor.
3. Shuning uchun, mening mushukim it.

1 va 2 to'g'ri bayonotlar bo'lishiga qaramay, 3 amal qilmaydi, chunki argument rasmiy xatolarni keltirib chiqaradi natijasini tasdiqlash.

Dalil norasmiy va rasmiy xatolarni ham o'z ichiga olishi mumkin, ammo natijada haqiqatga to'g'ri keladigan xulosaga olib kelishi mumkin, masalan, natijani yana bir bor tasdiqlash, hozir ham haqiqatga mos kelmaydigan asos:

1. Agar olim ilm haqida bayonot bergan bo'lsa, bu to'g'ri.
2. To'g'ri, kvant mexanikasi deterministik.
3. Shuning uchun bir olim bu haqda bayonot berdi.

Umumiy misollar

"Sizning ba'zi bir muhim dalillaringiz yo'qolgan, to'liqsiz yoki hatto soxta! Bu mening haqligimni isbotlaydi!"^[4]

"Veterinariya itim nega o'lgani haqida hech qanday asosli izoh topolmayapti. Qarang! Qarang! Bu sizni zaharlaganingizni isbotlaydi! Boshqa mantiqiy izoh yo'q!"^[5]

"Adolf Gitler itlarni yaxshi ko'rar edi. U yovuz edi. Shuning uchun itlarga yoqish yomonlikdir."^[6]

Ushbu bo'lim uchun qo'shimcha iqtiboslar kerak tekshirish. Iltimos yordam bering ushbu maqolani yaxshilang tomonidan ishonchli manbalarga iqtiboslarni qo'shish. Ma'lumot manbasi bo'lmagan material shubha ostiga olinishi va olib tashlanishi mumkin. (2010 yil may) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling)

A Venn diagrammasi noto'g'ri fikrni tasvirlash:
1-bayonot: Yashil ranglarning aksariyati qizil rangga tegib turadi.
Izoh 2: Qizil rangning aksariyati ko'k rangga tegib turadi.
Mantiqiy noto'g'ri: Yashil ranglarning aksariyati qizil rangga, qizil ranglarning aksariyati ko'k rangga tegishliligi sababli, yashil ranglarning aksariyati ko'k rangga tegishi kerak. Ammo bu yolg'on gap.

Qattiq ma'noda, mantiqiy xatolik - bu mantiqiy printsipning noto'g'ri qo'llanilishi yoki mavjud bo'lmagan printsipning qo'llanilishi:

1. Rimnarlarning aksariyati jornarlar.
2. Jornarlarning aksariyati Dimnarlardir.
3. Shuning uchun, Rimnarlarning aksariyati Dimnarlardir.

Bu noto'g'ri. Va shunday:

1. Kentukki aholisi chegara devorini qo'llab-quvvatlamoqda.
2. Nyu-York aholisi chegara devorini qo'llab-quvvatlamaydi.
3. Shuning uchun, Nyu-Yorkdagi odamlar Kentukki shahridagi odamlarni qo'llab-quvvatlamaydilar.

Darhaqiqat, quyidagi mantiqiy printsip mavjud emas:

1. Ba'zi x, P (x) uchun.
2. Ba'zi x, Q (x) uchun.
3. Shuning uchun, ba'zi bir x, P (x) va Q (x) uchun.

Yuqoridagi xulosani yaroqsiz deb ko'rsatishning oson usuli bu foydalanish Venn diagrammalari. Mantiqiy so'z bilan aytganda, xulosa yaroqsiz, chunki predikatlarning kamida bitta talqini ostida u haqiqiylikni saqlab qolmaydi.

Odamlar ko'pincha mantiq qoidalarini qo'llashda qiynalishadi. Masalan, bir kishi quyidagilarni aytishi mumkin sillogizm amal qiladi, aslida u bunday emas:

1. Hammasi qushlar tumshuqlari bor.
2. Bu jonzotning tumshug'i bor.
3. Shuning uchun, bu jonzot qushdir.

"U jonzot" qush bo'lishi mumkin, ammo xulosa binolardan kuzatilmaydi. Boshqa ba'zi hayvonlarning tumshug'i ham bor, masalan: an sakkizoyoq va a Kalmar ikkalasining ham tumshug'i bor, ba'zilari toshbaqalar va turfa tumshuqlari bor. Ushbu turdagi xatolar yuzaga keladi, chunki odamlar oldindan taxminni bekor qilishadi.^[7] Bunday holda, "Hamma qushlarning tumshug'i bor" "Barcha tumshug'li hayvonlar qushlar" ga aylantiriladi. Orqaga qaytarilgan taxmin ishonarli, chunki kam sonli odamlar har qanday holatlardan xabardor tumshug'i mavjudotlar qushlardan tashqari - lekin bu shart berilgan emas. Shu tarzda, deduktiv xatolik individual ravishda mantiqiy ko'rinishi mumkin bo'lgan nuqtalar tomonidan shakllanadi, lekin birlashtirilganda noto'g'ri ekanligi ko'rsatiladi.

Kundalik nutqda sekvitur

Kundalik nutqda sekvitur - bu yakuniy qism birinchi qism bilan umuman bog'liq bo'lmagan bayonot, masalan:

Hayot bu hayot va ko'ngilxushlik qiziqarli, ammo oltin baliq o'lganida hammasi shunchalik jim.

— Tun bilan G'arb, Beril Markxem^[8]

Shuningdek qarang

Adabiyotlar

Izohlar

Bibliografiya

Tashqi havolalar