Tieteen termipankki
fi kategorinen arvostelma; kategorinen propositio
en categorical proposition
määritelmä
propositio, joka esittää väitteen kahden olioluokan välisestä sisältymissuhteesta
propositio, joka esittää väitteen kahden olioluokan välisestä sisältymissuhteesta
selite
Traditionaalissa logiikassa tunnettiin kolme propositio- tai arvostelmatyyppiä, nk. kategoriset, hypoteettiset ja disjunktiiviset arvostelmat. Aristoteleen termilogiikka käsitteli pelkästään kategoristen arvostelmien syllogismeja. Kategorisen arvostelman perusmuoto on "A on B", jossa A ja B ovat oliolajeihin tai -luokkiin viittaavia termejä. Kategoriset arvostelmat voivat olla universaalisia tai partikulaarisia sekä myöntäviä tai kieltäviä jakaantuen näin neljään luokkaan nk. vastakohtaisuuksien neliön mukaan:
A. Jokainen A on B
E. Mikään A ei ole B
I. Jokin A on B
O. Jokin A ei ole B.
Traditionaalissa logiikassa tunnettiin kolme propositio- tai arvostelmatyyppiä, nk. kategoriset, hypoteettiset ja disjunktiiviset arvostelmat. Aristoteleen termilogiikka käsitteli pelkästään kategoristen arvostelmien syllogismeja. Kategorisen arvostelman perusmuoto on "A on B", jossa A ja B ovat oliolajeihin tai -luokkiin viittaavia termejä. Kategoriset arvostelmat voivat olla universaalisia tai partikulaarisia sekä myöntäviä tai kieltäviä jakaantuen näin neljään luokkaan nk. vastakohtaisuuksien neliön mukaan:
A. Jokainen A on B
E. Mikään A ei ole B
I. Jokin A on B
O. Jokin A ei ole B.
Luokitus: |
| |||
Lähde: |
|
Käsitteet samalla hierarkiatasolla: disjunktiivinen arvostelma ja ehtolause
Koostumussuhteiset vieruskäsitteet: johtopäätös, kontraarinen vastakohta, kontradiktorinen vastakohta, premissi, subkontraarinen vastakohta, syllogismi ja termi
Koostumussuhteinen alakäsite: termi