Үчтөн логикалык чарчы же өзгөчө

Логикалык аянты - дагы бир тар кирет бир диаграмма сунушталган чыныгы жана жалган өкүмдөрүн кенен өз ара кантип көрсөтүү. кененирээк сунуш чын болсо, анда ал бир топ тар сот кошуу дагы чындык экенин билдирет. Мисалы, бардык гректер ичке болсо, гректер Athens жашаган, өтө ичке. тар сот туура эмес болсо, анда бир тар же конкреттүү камтыган кенен карагат, аз туура эмес болуп калат. 70 кг дан көп эмес таразага тартып, ар түрдүү адамдар, Athens жашап коргоо - ар бир сымбаттуу адам Гуам жашап жатканын, андан кененирээк, туура эмес, бир кыйла ар түрдүү болгон эмес.

алынып ортосунда мыйзамы

эрежелер эстеп жөнөкөй логикалык чарчы болуп саналат жана бир маанилүү логикалык мыйзамдар негизделген - алынып ортосунда мыйзам: карагат бир жагынан туура болсо, анда башка болсо - жалган жана тескерисинче. дейт чын же жалган болушу мүмкүн, ошондуктан чын же жалган экенин, анын көрүнүп турат. Болбосо, үчүнчү жол жок. "Бардык транспорт - кызыл", - деп, жалган болуп саналат. Ошентип, "баары эле машиналар - кызыл", - деп айтууга болот. Ал эми бул жерде дээрлик дайыма чыныгы ", - кызыл Кээ бир машиналар" жалган билдирүү буруп жатат сыйкырдуу сөздү "кээ бир", келет.

төрт чарчы жана кайчылаш

кулак логикалык сетка эрежелерди үйрөнүп да жогоруда айтылгандардын машинанын логика экенин унутпашыбыз керек теманы деп аталат, жана кызаруусу - предикаты.
Шилтеменин предикаты субъект этиш же сапатын болушу мүмкүн эле. Же этиш-муундар жөнүндө "өзөгүн" колдонуп, темага тиркелет башка сапат. Бул аянтта катары логикалык чарчы көрүнөт. Бул бекеринен эмес. бир аянтта бурчтары тамгалар менен белгиленген, E, I, O. жана тескери E, I O менен жарым-жартылай туура, мен аты А, Е жана G. эки катарга үстүнөн төрт бурчтук кылып карама-кесилишет мааниге ээ болуп саналат. аянттын механизмерди колдонуп, сот менен иштей алат. Бул курал заттык, заттык жана катуу баарынан маанилүү лирикалык акындарынын жана аларды суракка алуу, анын өкүмдөрүн чындыгын текшерүү үчүн мүмкүндүк берүүчү механизмдерди үчүн текст дайыма муктаж. Албетте, жалган жана айрым так эместиктер дүйнөдө чындык, кандай баа менен болсо ага жетүү каалоосу көркүн жоготуп, ал эми кээ бир учурларда (соттун, ташууда, тактардын эсептөөдө) объективдүү чындык өз мааниге ээ.

тарыхындагы чарчы

тарабынан негизделген илим катары логика байыркы гректер. Алар талашып-сүйүп, жана атаандашы качан талашып дайыма кыжырды туура эмес. логика мыйзамдары , ал туура эмес оппоненти болгон, так-айкын түшүндүрүп берүү үчүн гректер тарабынан жаратылган.

XI кылымда логикалык чарчы грек ойчул тарабынан ойлоп тапкан Михаил Psell, көп убакыт өткөндөн кийин убакыт болгондо Socrates Scholasticism ойлоп тапкан. Ал бир нече убакыт гректер түшүнүк үчүн ачык болуп саналат , абсолюттук чындык керек жана бир гана логикалык чарчы эмес, жалпы Тактоо учурунда табылган. адатта, эгерде, бардык Аристотелдин логиканын негизинде схемотехникасын сүрөттөмөсү келтирилген мисалдар, бирок жасаган Грек караштар бар.