Testul de validitate Venn pentru inferențe categorice imediate

Cele patru forme categorice sunt date mai jos.

Putem folosi diagramele Venn pentru a determina dacă anumite tipuri de argumente sunt valide sau invalide. Un astfel de tip de argument este ceea ce vom numi „inferențe categorice imediate”. O inferență categorică imediată este pur și simplu un argument cu o premisă și o concluzie. De exemplu:

1. Unele mamifere sunt amfibii.
2. Prin urmare, unele lucruri amfibii sunt mamifere.

Dacă construim o diagramă Venn pentru premisă și o altă diagramă Venn pentru concluzie, vom vedea că diagramele Venn sunt identice între ele.

Adică informațiile reprezentate în Venn pentru premisă sunt exact aceleași informații reprezentate în Venn pentru concluzie. Acest argument trece testul de validitate Venn, deoarece concluzia Venn nu conține informații suplimentare care nu sunt deja conținute în premisa Venn. Astfel, acest argument este valid. Să trecem acum la un exemplu de argument invalid.

1. Toate mașinile sunt vehicule.
2. Prin urmare, toate vehiculele sunt mașini.

Iată diagramele Venn pentru premisă și, respectiv, concluzie:

În acest caz, diagramele Venn nu sunt clar aceleași. Mai important, putem vedea că concluzia Venn (în dreapta) conține informații suplimentare care nu sunt deja conținute în premisa Venn. În special, concluzia Venn permite că a) ar putea exista lucruri din categoria „mașină” care nu se află în categoria „vehicul” și b) că nu poate exista nimic din categoria „vehicul” care să nu fie și în categoria „mașină”. Aceasta nu este o informație conținută în premisa Venn, care spune că a) nu există nimic în categoria „mașină” care să nu fie și în categoria „vehicul” și că b) există lucruri în această categorie „vehicul” care nu face parte din categoria „mașină”. Astfel, acest argument nu trece testul de validitate Venn, deoarece există informații conținute în concluzia Venn care nu sunt deja conținute în premisa Venn. Astfel, acest argument este invalid.

Testul de validitate Venn este o metodă formală, deoarece îl putem aplica chiar dacă cunoaștem doar forma afirmațiilor categorice, dar nu știm ce reprezintă categoriile menționate în enunțuri. De exemplu, putem folosi pur și simplu „S” și „P” pentru categorii – și clar nu știm ce reprezintă acestea. De exemplu:

1. Toate S sunt P
2. Niciun P nu este S

Concluzia (în dreapta) conține informații care nu sunt conținute în premisă (în stânga). În special, concluzia Venn exclude în mod explicit că există ceva care este atât în ​​categoria „S”, cât și în categoria „P”, în timp ce premisa Venn permite acest lucru (dar nu o impune). Astfel, putem spune că acest argument nu trece testul de validitate Venn și, prin urmare, este invalid. Știm acest lucru, deși nu avem nicio idee care sunt categoriile „S” și „P”. Acesta este specific unei metode formale de evaluare.

Exercițiul 19

Aplicați testul de validitate Venn pentru a determina dacă următoarele inferențe categorice sunt valide sau nevalide.

1. Toate S sunt P; prin urmare, toate P sunt S
2. Unele S sunt P; prin urmare, unele P sunt S
3. Unele S sunt P; prin urmare, unele P nu sunt S
4. Unele S sunt P; prin urmare, toate P sunt S
5. Niciun S nu este P; prin urmare, niciun P nu este S
6. Niciun P nu esteS; prin urmare, unele S sunt P
7. Unele S nu sunt P; prin urmare, unele P nu sunt S
8. Toate S sunt P; prin urmare, unele P nu sunt S

Sursa: Matthew J. Van Cleave, Introduction to Logic and Critical Thinking, licența CC BY 4.0. Traducere și adaptare de Nicolae Sfetcu

© 2021 MultiMedia Publishing, Logica și gândirea critică în dezvoltarea personală, Volumul 1