Logica onderzoekt de structuur van geldige argumenten. De vraag die gesteld wordt is: als de premissen waar zijn, volgt de conclusie dan noodzakelijkerwijs? Formele logica gebruikt symbolen om beweringen weer te geven en regels om conclusies af te leiden. De syllogismen van Aristoteles waren een vroeg systeem; de moderne logica, ontwikkeld door Frege, Russell en anderen, vormt de basis van de wiskunde en de informatica.

Propositionele logica behandelt beweringen die waar of onwaar zijn en verbindingswoorden zoals EN, OF en NIET. Predicaatlogica voegt kwantoren toe: "voor alle" en "er bestaat". Deze systemen formaliseren redeneringen en onthullen drogredenen.

Logica vormt de basis van wiskundige bewijzen. Elke stelling berust op logische deductie vanuit axioma's. In de informatica implementeren logische poorten Booleaanse bewerkingen en gebruiken programmeertalen logische voorwaarden. Het vakgebied raakt ook aan filosofie, taalkunde en kunstmatige intelligentie. Helder nadenken over redeneren is nuttig ver buiten de wiskunde.

• Studie van geldig redeneren
• Maakt gebruik van symbolen en formele regels.
• Propositionele en predicaatlogica
• Grondslagen van bewijsvoering en computerwetenschappen