Ғылым ретіндегі логикадан логикалық дұрыс ойдың байланысы мен динамикасын (''ойлау логикасы'') айыра білу қажет. Ғылыми логика саласына белгілік құрылымдарды жасау мен зерттеу (''[[есептеу]], формальдік жүйеле''р), жалпы касиеттері логикалық оймен көрінетін және белгілік құрылымда белгіленетін шындықтың белгілі бір үзінділерін қарастыру (''[[Модель|модельдер]]'') енеді.
==Логикалық форма==
Логикалық форма — бұл мазмұнды тұжырымдардың байланыс өдісіәдісі. Мысалы, пікірдің екі түрлі нақты мазмұнын қарастырайық:
# Барлық ағаш — өсімдік.
# Барлық өзендер теңізге қүядықұяды.
Екеуінің мазм9ндарымазмұндары жағыңанжағынан айырмашылығын аңгаруаңғару қиын емес, сонымен бірге бірішпі пікір ақиқат та, екішпісіекіншісі — жалған пікір. Осы пікірдің мазмүнынмазмұнын шетке шығарып тастайық та, оларды S және Р ауыспалы бөлшектерімен алмастырайық. Нәтижесінде осы пікірлер "Барлық SP-нің негізі" деген логикалык формада күрыладыкұрылады. Әр түрлі мазмүндымазмұнды пікірлер "Егер от болса, түтін де болады" және "Егер тарих ғылымы болса, оның өз зандары да болады" деген пікірлер де бірдей логикальщлогикалық формада "Егер А болса, В да болады" деген пікірді білдіреді. Сонымен, белгілі бір ойдың логикалық формасы сол ойдың қүрылымы, оның нақты мазмүнымазмұны бөліктерінің байланыс төсілітәсілі болып табылады.
Жоғарыда айтылғандарға сүйене отырып, логика ғылымына нақты аньщтамаанықтама беруге болады.
Логика—адам ойының логикалық формалары жагынанжағынан және кіріспе білім алу удерісіүдерісі кезінде, ақиқатқа жетуийнжетуін оның заңдары мен пәнін қалыптастырушы қажетті іиарттарды реттейтін ғылым.
Логика жалпы логикалық тәсілдерді (әдістерді) зерттейді. Логикалық әдістер адамның накты емірді тануында ете қажетті кұрал болмақ.
