Фармальная логіка — канструяванне і даследаванне правілаў пераўтварэння выказванняў, якія захоўваюць сваё сапраўднае значэнне безадносна да зместу, уваходныя ў гэтыя выказванні паняццяў. У гісторыі філасофіі — асобны раздзел або кірунак логікі канца XIX — пачатку XX стагоддзя. У сучасным ужыванні — сінонім сімвалічнай або матэматычнай логікі. Арыстоцель - стваральнік фармальнай логікі. Пазней, у сярэднія стагоддзі, фармальна-лагічная частка вучэння Арыстоцеля была адарваная ад змястоўнай і кананізаваная, выкарыстоўвалася як метадалагічная аснова сярэднявечнай схаластыкі.