A logikai tér
Közötti kapcsolat egyszerű sematikus hasonló ítéletek logikája által a tér, amely által kifejlesztett középkori logikusok.
A tetején a tér képviseli négyféle egyszerű ítéletek, és a kezét, és az átlós - a köztük lévő kapcsolatot. Így a megítélése az A forma és a formája, és az ítélete formájában E és G forma vannak alárendelve kapcsolatban. Ítéletek alkotnak A és E formájának ellentétes kapcsolatban, és a megítélésétől I. forma és O - átfedés. Ítéletek A forma és a forma D, és E forma ítélete és az I. típusú vannak a kapcsolatban ellentmondás. Nem meglepő, hogy a logikai tér nem képviseli ekvivaienciaarány mert ugyanolyan megítélés e tekintetben, azaz a egyenértékűség - közötti arány javaslatok az A és A, I, I, E, E, G és O. Annak érdekében, hogy hozzon létre kapcsolatot a két ítélet közötti elegendő meghatározni, hogy mi faj tartozik mindegyik. Például, meg kell, hogy megtudja, az ítéletek semmilyen tekintetben: Minden ember tanult logikát, és néhány ember még nem vizsgálták logika. Tekintettel arra, hogy az első állítás univerzális igenlő (A) és a második chastnootritsatelnym (O), akkor könnyen létre a köztük lévő kapcsolat segítségével logikai tér - ellentmondás. Szintén értékelések: · Minden ember tanult logika (A) Egyesek tanulmányozták logika (I) viszonyában az alárendeltség és ítélet tekintetében: Minden ember tanult logikát (A) és az egész nép nem tanult logika (E) tekintetében az ellenzék.
Mint már említettük, fontos jellemzője ítélet (szemben a fogalom, hogy lehet igaz vagy hamis. Ami a hasonló megítélés, az igazság értékét mindegyikük egy bizonyos módon kapcsolódik az érvényességét a megmaradt értékeket.
Minden esetben közötti kapcsolat az igazság értékei egyszerű értékelések összehasonlíthatók:
1. Ha az ítéletet a forma, igaz, az ítéletet a forma azt is igaz, és az ítélet az űrlap E és G hamis.
2. Ha az ítéletet a forma hamis, akkor az I. típusú ítélet érvényességének bizonytalan (azaz lehet igaz vagy hamis, attól függően, hogy mit fog belemenni), az ítéletet a forma E is bizonytalan az igazság, és az ítélet az űrlap igaz. (További csökkentéseket alkalmazni, például ahelyett, hogy „megítélése A forma” azt mondja: „A”, és ahelyett, hogy „igaz” # 8209; egy „igazi”).
3. Ha E igaz, akkor egy hamis, én hamisan O igaz.
4. Ha E hamis, akkor egy ideig érvényességét, azt igaz, O korlátlan ideig érvényes.
5. Ha ez igaz, és a bizonytalanság érvényességéről, E hamis O korlátlan ideig érvényes.
6. Ha hamis, akkor egy hamis, igaz E, G igaz.
7. Ha D igaz, akkor egy hamis, E végtelenségig az igazság, azt határozatlan időre érvényes.
8. Ha O hamis, akkor egy igaz, hamis E, I igaz.
Segítségével felül a szabályokat, akkor lehet, hogy következtetéseket az igazság egyszerű értékelések hasonló logikai tér (vagy ahogy gyakran mondják, a logika, # 8209; A logikai tér).