Logikai rendszer

A logikai rendszer az érvelésnek és a logikai dedukcióknak szentelt formális rendszer . Ez a következőket tartalmazza:

• képletkészlet, amely magában foglalja az igaznak adott axiómák halmazát és az érvelés kiindulópontját;
• levonási szabályok összessége, amely lehetővé teszi az ebben a rendszerben alkalmazandó érvelés típusának meghatározását;
• Egy értelmezése a képletek, így adja meg a jelentését a képleteket. A lista első két eleme egy logikai rendszert formális rendszerré tesz, ez a harmadik elem a logikai rendszerekre jellemző.

Számos logikai rendszer létezik, nevezetesen a természetes dedukció rendszere . A klasszikus logika szerint az értelmezés olyan függvény, amely az igazságértékek bináris halmazából, például {Igaz, Hamis} értékekből veszi át az értékeit a képletek változóinak igazságértékeinek függvényében.