Doğru ve
yanlışı sistematik biçimde ele alan bir disiplindir. Örneğin insan düşünebilir ve ben insanım. Bu iki bilgi, herhangi derinlemesine bir araştırma yapmamıza gerek kalmadan bize, benim düşünebildiğimi söyler.
Daha önceleri
felsefenin bir konusu olsa da günümüzde
bilgisayar bilimleri de
mantıksal işlemlerden oldukça yoğun biçimde faydalanmaktadır.