Logică

Logica este studiul raționamentului corect. Ea include logica formală și logica informală. Logica formală examinează inferențele deductiv valide și adevărurile logice, analizând modul în care o concluzie este o consecință logică a premiselor în virtutea formei argumentului, nu a conținutului său.

În sens tarskian, o concluzie este consecință logică a unor premise atunci când este imposibil ca premisele să fie adevărate și concluzia falsă. Logica informală se ocupă de erorile informale de raționament, de gândirea critică și de teoria argumentării, investigând argumente formulate în limbaj natural. Spre deosebire de aceasta, logica formală operează cu un limbaj formalizat și cu un sistem de demonstrație.

Ca substantiv numărabil, „o logică” desemnează un sistem logic formal distinct. Logica formală poate fi studiată dintr-o perspectivă sintactică, prin reguli de inferență într-un sistem de demonstrație, sau dintr-o perspectivă semantică, prin evaluarea adevărului în structuri model-teoretice. Logica are un rol fundamental în filosofie, matematică, informatică și lingvistică.