Raporturi între termeni și clasificarea acestora
Termenii logici pot avea diverse raporturi între ei: concordanță (identitate sau ordonare) și opoziție (intersectare, contrarietate sau contradicție). Aceste raporturi pot fi reprezentate vizual prin diagrame Venn, care arată relațiile dintre mulțimi.
Din punct de vedere intensional, termenii pot fi absoluți/relativi, vagi/preciși, pozitivi/negativi, colectivi/distributivi sau simpli/compuși. Extensional, putem avea termeni vizi/nevizi, abstracți/concreți sau singulari/generali. Această clasificare te ajută să înțelegi mai bine cu ce lucrezi în propozițiile logice.
Propozițiile categorice se împart în patru tipuri: universale afirmative (a: "Toți S sunt P"), universale negative (e: "Niciun S nu este P"), particulare afirmative (i: "Unii S sunt P") și particulare negative (o: "Unii S nu sunt P"). Pentru a lucra cu acestea, folosim operații precum conversia, obversiunea și relațiile din pătratul logic.
💡 Memorează distribuția termenilor în propozițiile categorice folosind modelul "a+−, e++, i−−, o−+" pentru a ști când poți aplica corect operațiile logice!
Regulile definirii includ: adecvarea (nici prea largă, nici prea îngustă), afirmarea (nu negarea), claritatea (fără metafore sau termeni vagi) și non-circularitatea (evitarea repetării termenilor definiți).