Логика (греч. logik ) - наука о приемлемых способах рассуждения или наука о правильном мышлении. Слово "Логика" в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л. связываются три основных аспекта: онтологический — " Логика вещей", т. е. необходимая связь явлений объективного мира (Демокрит); гносеологический — "Логика знания", т. е. необходимая связь понятий, посредством которой познаётся "сущность и истина" (Платон), и демонстративный (доказательный), или собственно логический, — " Логика доказательств и опровержений", т. е. необходимая связь суждений (высказываний) в рассуждениях (умозаключениях), принудительная убедительность ("общезначимость") которых вытекает только из формы этой связи безотносительно к тому, выражают эти суждения "сущность и истину" или нет (Аристотель). Первые два аспекта относятся к философии и диалектической логике, последний же аспект составляет собственно логику, или современную Логику (которую вслед за И. Кантом иногда называют формальной Логикой).