Den logiska offentlig undantag för den tredje

Logisk kvadrat - ett diagram som grafiskt visar hur samverkar sanna och falska domar bredare när man inkluderar smalare. Om bredare påstående är sant, betyder det att införandet av en snävare bedömning är desto mer sant. Till exempel, om allt grekerna är smal, grekerna bor i Aten, alltför smal. Om smalare dom är falskt, det breda proposition, som inkluderar en smalare eller betong, inte kommer att vara mindre falskt. Påståendet att alla människor som väger högst 70 kg, bor i Aten - är falsk, då en bredare att alla smala människor lever i Grekland, och var inte signifikant.

Lagen om uteslutna

Reglerna är enkla logiska torget i att minnas och baseras på en viktig logiska lagar - lagen i den uteslutna: om påståendet är sant, å ena sidan, sedan den andra - är falskt och vice versa. Yttrandet kan antingen vara sanna eller falska, och därför sant eller falskt är dess negation. Annars finns inte det tredje alternativet. Att säga "Alla fordon - röda" - är falskt. Så att säga "Inte alla maskiner - röda" - är sant. Och här kommer det magiska ordet "någon", som nästan alltid vända ett falskt uttalande i en sann "Vissa maskiner - röd".

Kvadraten och tvär

För att lära sig genom örat logiska regler grid bör också komma ihåg att logiken i maskinen av ovanstående påståenden kallas ämnet, och rodnad - predikatet.
Som skrivning predikatet ämnet kan vara ett verb eller kvalitet. Eller annan kvalitet, som är fäst till ämnet med hjälp av "kärnan" av verbet-ligament. Det ser logisk kvadrat som kvadrat. Detta är inte förvånande. Hörnen av en kvadrat markerade med bokstäverna A, E, I, O. Och motsatt E, jag delvis kompatibel med O, I är föremål A, E och G. har företräde framför de två linjerna är korsade kvadrerade motsägelser. Med hjälp av mekanik torget, kan du arbeta med domarna. Detta verktyg är viktigare textförfattare än fysiker, fysiker och så allt strikt, och texterna är i ständigt behov av mekanismer som tillåter dem att ifrågasätta och kontrollera sanningshalten i sina domar. Naturligtvis i en värld av lögner och tvetydigheter på några förlorade skönhet sanning och önskan att uppnå det till varje pris, men i vissa fall (i domstol, i trafiken, vid beräkning av plåstret) objektiv sanning har sitt eget värde.

Torget i historien

Logik som en vetenskap som grundades av de gamla grekerna. De älskade att argumentera, och de tvist alltid irriterande när din motståndare är fel. Logikens lagar och skapades av grekerna för att tydligt förklara för motståndaren att han är fel.

Den logiska square uppfanns och myntades av den grekiske filosofen Mihail Psell i XI-talet, mycket senare än den tidpunkt då Socrates uppfann stik. Det är uppenbart att grek begreppet under en tid av absolut sanning inte var nödvändigt och bara logiskt torg uppfanns under den allmänna klarhet. Exempel, vilka vanligtvis är givna i beskrivningen av dess kretsar väsentligen alla baserade på Aristoteles logik, men innehåller graciös bysantinska generalisering.