Eroare la distribuirea pe termen mediu

Eroarea în distribuția termenului mediu este un tip de eroare formală care apare atunci când termenul mediu într-un silogism categoric nu este distribuit nici în premisa majoră, nici în cea minoră. Este un caz de invaliditate a silogismului .

Formă canonică

În silogismul clasic, toate propozițiile sunt compuse din doi termeni (Subiect și Predicat) care apar sub forma „A” (toate), „E” (niciuna), „I” (unele) sau „O” (unele nu) . Termenii primului tip sunt distribuiți în propozițiile de tip "A" și "E"; termenul celui de-al doilea tip în propozițiile de tip "O" și "E"; niciunul nu este distribuit în propoziții de tip „I”.

Eroarea în distribuția termenului mediu apare atunci când termenul care leagă cele două premise nu este distribuit .

În exemplul următor, distribuția este evidențiată cu caractere aldine:

1. Fiecare Z este B (Toți iepurii sunt alergători rapizi)
2. Unele Y sunt B (Unii cai sunt alergători rapizi)
3. Deci, Some Y este Z ((Unii cai sunt iepuri)

B este termenul comun celor două premise (termen mediu) și nu este distribuit în niciuna dintre ele, motiv pentru care silogismul nu este valid.
Nici Z, nici Y nu sunt termeni care includ toate elementele lui B.

O regulă logică este că orice este distribuit în concluzie trebuie distribuit în cel puțin una dintre premise. Exemplu:

1. Fiecare Z este B
2. Unele Y sunt Z
3. Prin urmare, fiecare Y este B

Termenul mediu - Z - este distribuit, dar Y este distribuit în concluzie și nu în premise, motiv pentru care silogismul este invalid.

Șablon

Eroarea unui termen mediu nedistribuit ia următoarea formă:

1. Fiecare Z este B
2. Y este B
3. Prin urmare, Y este Z

și poate fi reprezentat grafic, după cum urmează:

în care premisele apar în caseta verde, iar concluzia este raportată la nivelul superior. În această schemă, B este termenul mediu și nu este distribuit în premisa majoră „Fiecare Z este B”.

Pentru starea de adevăr a concluziei, nimic nu se schimbă dacă propoziția „Tot Z este B” este adevărată sau falsă. Dacă concluzia este adevărată sau falsă depinde de propoziția „Fiecare B este Z”, care nu este luată în considerare aici. Eroarea este similară cu cea a afirmării propoziției consecvente a unui silogism ipotetic și a negării celei antecedente. Din punctul de vedere al unei logici de ordinul întâi, eroarea în distribuția termenului mediu se încadrează întotdeauna într-unul din cele două cazuri numite acum: afirmarea consecinței sau negarea antecedentului.