Nocione të logjikës

Logjika simbolike (e njohur ndryshe si logjika matematike ose algoritmike) është një degë e logjikës formale, e cila filloi të zhvillohet me të madhe në gjysmën e dytë të shekullit XIX dhe në fillim të shekullit XX. Karakteristikë e logjikës simbolike është përdorimi universal i ideogrameve (simboleve për nocione dhe për gjykime që përdoren në gjuhën artificiale) në vend të fonogrameve (simboleve për tinguj, që përdorën në gjuhën natyrore). Fillimin e përdorimit të ideogrameve e hasim që në logjikën klasike të Aristotelit, por logjika simbolike bashkëkohore krijoi simbole ideografe pakrahasimisht të pasur nga ajo që e përdorte logjika tradicionale