Логиканың негізгі заңдары

І. КІРІСПЕ
ІІ. НЕГІЗГІ БӨЛІМ
а) Логика ұғымы. Негізгі мақсаты
б) Логиканың функциялары
в) Логиканың негізгі заңдары
ІІІ. ҚОРЫТЫНДЫ .

Логика — пікірлер жөне олардың байланыстары туралы ғылым. Ойлау, пайымдау әдістері туралы алғашқы ілімдер Ежелгі Шығыс елдерінде пайда болды, бірақ оның негізіне грек ойшылы Аристотель құрған ілім жатады. Неміс ғалымы Г.В. Лейбниц (1666 жылы) алғаш рет ойлау, пайымдау заңдарындағы анықталмағандықтың ауызша төрелік етуін және пікірлер арасындағы байланысты математикалық қатынас түрінде анықталатын математика тіліне аударуға тырысты. Жүз жылдан соң ағылшын математигі Джордж Буль математикалық зандылықтарға бағынатын логикалық әмбебап тілді құру туралы Лейбниц идеясын дамытты. Ол өз алдына ерекше алгебраны — барлық объектілерге, атап айтканда, сандар, әріптерден бастап сөйлемдерге дейін колдануға болатын белгілеулер мен ережелердін жүйесін ойлап тапты. Джордж Буль логикалык алгебраның атасы болып табылады.
XX ғасырдын басына дейін логика іс жүзінде дамыған жок, ол тек ЭЕМ теориясының пайда болуынан бастап қана өзінің қаркынды дамуын бастады.
Әрбір ғылым сияқты логика да бірнеше пәндерді қамтиды. Мысалы, формалды логика, математикалык логика, ыктималдық логика, диалектикалық логика және т.с,с. пәндерді атауға болады.
Формалды логика сөйлесу тілімен берілген ігікірлерді талдаумен байланысты.
Ыктималдык логика кездейсок параметрлермен жасалатын сынактың бірнеше серияларын қолдануға негізделген. Алынған нәтиженің дәлдігі жасалынған тәжірибелер санына тәуелді. Мысалы, тиынды лақтырғанда «елтаңба» немесе «жазу» жағының түсу ыктималдығы 1/2-ге тең, яғни тиынды лақтыру саны артқан сайын осы ыктималдық нақтылана түседі.
Математикалык логика дөлелдеулер техникасын зерттейді. Компьютерлер математика пәні сиякты аныктамалар мен дәлелдеулерде нақтылықты және қатаң реттілікті талап етеді. Пікірлер алгебрасы математикалық логика аймағы болып табылады.
Пікірлер алгебрасы—идеал пікірлерге қатысты ақкикат немесе жал¬ган пікір деп тұжырымдауға болатын пікірлерді зерттейтін логикалар алгебрасы. Логикалар алгебрасы пікірдің мағынасына назар аударып, терең қарастырмайды.
Сондықтан логикалар алгебрасы тек екі мағынаға ие болады, яғни пі кірлердің кез келгені «акикат» немесе «жалған» пікірлерінің біреуін ғана сипаттайды.
Қарапайым пікірлер логикалар алгебрасында латынның бас әріптерімен таңбаланады: А = {Абай — қазақ халқының ұлы ақыны}. В = {А.С. Пушкин — ұлы математик}. Акикат пікірге 1 саны, жалғанға 0 саны сейкес қойылады. Сондықтан А=1, В=0.
Құрмалас пікірлер табиғи тілде пікірлер алгебрасында логикалык амалдармен алмастырылатын «және», «немесе», «теріске шығару» сөздері арқылы құрылады. Логикалық амалдар ақиқаттық кестесімен беріледі және графикалық түрде Эйлер-Венн диаграммасы көмегімен бейнеленеді