Logisk kvadrat, eller Undantag av den tredje

En logisk torg är ett diagram klartDet visar hur sanna och falska domar interagerar med varandra när den bredare innehåller en smalare. Om en bredare dom är sant, så är den smalare domen som ingår i det ju ju mer sant. Till exempel: om alla grekerna är smala, så är grekerna som bor i Aten smala också. Om en smalare dom är falsk, kommer en bred bedömning, som innehåller en smalare eller mer konkret, att inte vara mindre falsk. Uttalandet att alla människor som väger högst 70 kilo bor i Aten är falska, vilket innebär att den bredare som alla smala människor bor i Grekland inte är tillförlitliga.

Lagen om uteslutning

Reglerna för en logisk torg är lätt att komma ihågoch bygger på en viktig logisk lag - lagen om uteslutning av den tredje: om domen är sant på den ena sidan, då är det å andra sidan falskt och vice versa. Ett uttalande kan vara antingen sant eller falskt, och följaktligen är dess avslag sant eller felaktigt. Det finns inga andra, tredje alternativ. Uttrycket "Alla bilar är röda" är falska. Därför säger sig "inte alla bilar är röda" sant. Och här kommer det magiska ordet "några", som nästan alltid blir ett falskt uttalande till ett sant: "Vissa maskiner är röda."

Kvadrat och kors

För att assimilera reglerna för en logisk torg vid örat, bör det också komma ihåg att maskinens logik från ovanstående uttalande kallas ett ämne, och rött är ett predikat.
Predikatet som tillskrivning av ämnet kan varaverb eller kvalitet. Eller annan kvalitet, som är kopplad till ämnet med hjälp av verb-bunten "essens". Det ser ut som en logisk torg, som en torg. Detta är inte förvånande. Torgets hörn är märkta med bokstäverna A, E, I, O. Och motsatsen till E, I är delvis kompatibel med O, jag är underordnad A och E dominerar O. Torget är korsat av två motsägelser. Med torgets mekanik kan du arbeta med domar. Detta verktyg är viktigare för lyriker än fysiker, fysiker och så är allt strikt och lyrikerna behöver ständigt mekanismer för att de ska kunna ifrågasätta och verifiera sanningen i sina domar. Naturligtvis, i ljugets och tvetydighetsvärlden, är sanningens skönhet och viljan att uppnå det till viss del något förlorad, men i vissa fall (i domstol, i trafik, vid beräkningen av plåstret) har objektiv sanning ett eget värde.

Square i historien

Logik som en vetenskap grundades av de gamla grekerna. De älskade att argumentera, och tvisterna är alltid irriterande om motståndaren är fel. Lagarna av logik skapades av grekerna för att visuellt förklara motståndaren att han är felaktig.

Logisk rutan uppfunnits och tas i brukDen grekiska filosofen Michael Pcellus på 11-talet, mycket senare än den tid då Sokrates uppfann skolastik. Uppenbarligen, för en tid hade grekerna inte begreppet absolut sanning, och endast i tider med universell klarhet uppfanns en logisk torg. Exemplen, som vanligtvis ges i beskrivningen av hans schema, är nästan alla baserade på aristotelisk logik, men innehåller eleganta bysantinska generaliseringar.