Формальды логика және оның негізгі заңдары

Логика - әдістер, заңдар және ойлау нысандары ғылымы. Формальды логика ежелгі гректер біздің дәуірімізге дейін дамыды . Алғаш рет демократиялық қоғамды құрған гректер болды, онда шешімдер мен заңдар халық жиналыстарында қабылданды. Олар қарабайыр деңгейде сот ісін жүргізу ғылымын жасады . Ақсүйектік жастардың сүйікті қызметі философтармен пікірталас болды. Сондықтан теориялық ғылымдарды дамытуға деген әмбебап сүйіспеншілік. Гректер тек ғылыми дәлелдерге қаншалықты шығуға болатыны туралы үйретуге тура келді.

Логика негіздерінің алғашқы курсын Аристотель әзірледі. Ол қандай да бір негіздеу жалпы заңдарға негізделгендігіне назар аударады, оның бұзылуы қате қорытындыға алып келеді. Аристотельдің ресми логикасы мына заңдарға негізделген:

1. Егер пайымдаулар оң болса, олардан шығарылған қорытынды теріс болуы мүмкін емес.
2. Егер сөздердің бірі теріс болса, жалпы қорытынды әрдайым теріс болады.

Демек, ресми логика олардың құрылысының нысанын (жалпы түсіндірулердің жекелеген бөліктерін қосу жолдарын) есепке ала отырып, тиімді, дұрыс негізделген дәлелдеу құрылысы принциптері мен заңдары туралы білу болып табылады.

Барлық құбылыстар мен объектілер өзара байланысты. Сілтемелер объективті немесе субъективті болуы мүмкін, жалпы немесе жеке, қажетті немесе кездейсоқ болуы мүмкін. Осы сілтемелердің ең маңыздысы заңдар деп аталады. Олардың барлығы бірдей шындықты көрсетеді, сондықтан бір-біріне қайшы келмейді. Адам ойының барлық заңдары табиғаттың даму заңдарына байланысты.

Ойлау заңдары ойлар арасындағы тұрақты ішкі байланыс болып табылады. Егер адам өз ойларын жалғастыра алмаса, ол дұрыс тұжырымға келмейді және оны басқаларға жеткізе алмайды.

Формальды логиканың негізгі заңдары - келісімділік, сәйкестік заңдары, үшінші және заң жеткілікті негіздер заңдары. Алғашқылардың үшеуі Аристотель мен Платонға тиесілі, ал екіншісі - Лейбнис. Осы заңдардың бұзылуы (әсіресе алғашқы үш) қайшылықты тудырады, бұл шындық пен жалғанды ажырата алмайды. Соңғы заң неғұрлым нормативтік болып табылады және шектелген қолданылады.

Логиканың негізсіз заңдары - бұл пайымдаулар мен тұжырымдамалардың жұмыс істеу ережелері, силлогизмде шынайы қорытынды алу, индуктивті және трансдуктивтік сипаттағы қорытындылар шығару ықтималдығын арттыру.

Сәйкестік заңы ойлау қайшы келмеуі керек, бірақ заттардың сапалы сенімділігін көрсетуі керек.

Тыйым салынған үшінші заңда екі қарама-қайшы, бірақ шынайы мәлімдемелердің үштен бірін іздемеуі керек, бірақ олардың тек біреуінің шындықты білуі керек. Қарама-қайшылықтардың құрамдас бөліктерінің бірі міндетті.

Өзіндік формальды логика заңы дәлдік туралы ойлаудан талап етеді, яғни кез келген терминге оның анықтамасы мен мағынасын дұрыс түсіну қажет. Тұжырымдамалар мен пайымдардың мәнісі ерік-жігермен бұрмалануы мүмкін емес.

Заңның жеткілікті негізі - кез келген шынайы ойдың басқа шынайы ойлармен негізделуі және жалған ойларды ақтау мүмкін емес. Сот талқылауларының дамуы себептік қатынастарды көрсетуі керек. Тек бұл жағдайда оның сенімділігі дәлелденуі мүмкін.

Ойдың логикалық нысаны және кез-келген ойлардың нысандарын анықтау тәсілдері логикалық терминдер арқылы көрініс табады, оларға кәсіподақтар «және», «немесе», «... егер ...» деген болса, «бұл дұрыс емес» , «Кейбір», «барлығы» («жоқ»), «мәні» (мағынасында «бар») және т.б. Сот шешімінің логикалық түрін анықтау, бұл пікірдің ауызша білдіруіне кіретін, мағынасыз емес терминдердің мағынасынан алшақтатылуы мүмкін. Басқаша айтқанда, ресми логика ой құрылымын білдіреді. Логикалық пішін әрдайым ақпараттылықпен және ақпараттандырады.

Олардың пішініне байланысты ойлар сыныптарға бөлінеді: ұғымдар, тұжырымдар мен қорытындылар. Тұжырымдама - өздерінің негізгі атрибуттары негізінде объектілерді жинақтайтын ой. Сот үкімі - бұл жағдайдың болуын (болмауын) бекітеді. Кіріспе - бұл басқа білімдерден алынған пайымдаулардың білімін көрсететін ой.