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.
Hesap