Il-loġika hi l-istudju tal-prinċipji ta' konklużjonijiet (inferenzi) validi u ta' raġunament korrett. Illum is-suġġett tal-loġika għandu żewġ oqsma vasti: il-loġika matematika (loġika simbolika formali) u dik imsejħa l-loġika filosofika. F'raġunament deduttiv, argument jinbena billi jiġi muri li xi konklużjoni loġika tiżvolġi b'mod naturali minn sett ta' ċerti premessi. Argument bħal dan jissejjaħ silloġiżmu. Argument jissejjaħ validu jekk il-konklużjoni tiegħu tassew titwassal mill-premessi tiegħu, kemm jekk il-premessi huma veri jew le, filwaqt li argument jagħmel sens jekk il-premessi li minnu ħareġ huma veri. Konklużjonijiet minn premessi jirrikjedu r-regoli tal-inferenza, bħal, eżempju, l-iktar metodu popolari, il-modus ponens. Loġika propożizzjonali sempliċi tinvolvi konklużjonijiet minn prepożizzjonijiet, li huma dikjarazzjonijiet li jistgħu ikunu kemm veri jew foloz. Il-Loġika tal-predikat tittratta konklużjonijiet minn varjabbli li jridu jiġu kkwalifikati minn ikkwantifikaturi meta huma veri u meta huma foloz. Raġunament induttiv iwassal għal konklużjonijiet u ġeneralizzazzjonijiet ibbażati fuq raġunament probabilistiku.