Расмий логика жана анын негизги мыйзамдар

Logic - ыкмалары, мыйзамдар жана ой түрлөрүн илим. Расмий логика көп, байыркы гректер тарабынан иштелип чыккан биздин доорго чейин. Бул биринчи гректерди чечимдер жана мыйзамдар ачык отурумунда кабыл алынган демократиялык коомду курууга болгон. Алар өткөрүүнүн алгачкы илимди жараткан сыноолорго. манаптын жаштар бир жакшы көрүшчү ойчулдар менен баарлашышты. Андыктан теориялык илимди өнүктүрүүнүн жалпы сүйүү. Гректер гана илимий далил кантип окуулары болгон.

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

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

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

Бардык кубулуштар жана объекттер мамиле бар. Links объективдүү же жекече, жалпы же жеке, керектүү же капысынан болот. Бул байланыштар абдан маанилүү мыйзам деп аталат. баары Ошондуктан, бири-бирине карама-каршы эч качан биле албайбыз, бир чындыкты чагылдырат. табият мыйзамдары менен байланышкан адамдын ой бардык мыйзамдары.

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

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

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

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

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

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

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

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

түшүнүктөр, ой жүгүртүү жана сот: ой түрлөрүнө жараша класстарга бөлүнөт. Түшүнүгү - алардын негизги мүнөздөмөлөрдүн негизинде объектилерин жалпылайт идея. Сот - идея, жагдай бар (жоктугу) ырасташты. Inference - билим алууну чагылдырган, ойлогон башка билим мыйзамдарым менен билдирди.