Logica of de redeneerkunst is wetenschap die zich met de formele regels van het denken bezighoudt. Traditioneel wordt logica door de filosofie bestudeerd, maar het wordt ook tot de wiskunde gerekend. De logicus (meervoud: logici) is gespecialiseerd in deze tak van de wetenschap, en ook door wetenschappers binnen zeer veel andere takken en subdisciplines van de wetenschap wordt veel gebruik gemaakt van de logica.
Er zijn veel logica's ontwikkeld, zoals de propositielogica, predikatenlogica, modale logica's, tijdslogica's en fuzzy logica's.
In onder andere de Boolese logica kent elke uitspraak maar twee mogelijke antwoorden: waar, wat we aanduiden met 1 en onwaar (of vals), wat we aanduiden met 0. Er bestaan verschillende andere logica's waarbij dit principe is losgelaten en waarbij een uitspraak bijvoorbeeld drie of zelfs oneindig veel mogelijke antwoorden kan hebben.
Propositielogica
De propositielogica houdt zich bezig met geldige redenaties die proposities betreffen. Proposities zijn eenvoudige beweringen die al dan niet waar kunnen zijn.
Predikatenlogica
De predikatenlogica houdt zich bezig met de regels van geldige redenaties omtrent predikaten.
Typenlogica's
Typenlogica's staan het toe, over predikaten van een willekeurige orde te prediceren.
Modale logica's
Zie voor modale logica's het artikel hierover
Tijdslogica's
Tijdslogica's zijn logica's waarbij temporele informatie wordt geformaliseerd. Zie het artikel over Tijdslogica.
Fuzzy logica's
Zie voor fuzzy logica's het artikel hierover
