Logik
Logik adalah sains formal yang mengkaji prinsip-prinsip bukti dan kesimpulan yang sah. Perkataan berasal dari λογική Yunani purba, yang bermaksud "mempunyai pemikiran, intelektual, dialektik, bertengkar," yang seterusnya datang dari λόγος, "dengan perkataan, pemikiran, idea, hujah, alasan atau prinsip." Sama seperti objek kajian tradisional kimia adalah perkara, dan biologi kehidupan, logik itu adalah kesimpulan. Inferensi adalah proses yang mana kesimpulan diperoleh dari premis. Logik menyiasat prinsip di mana beberapa kesimpulan dapat diterima, dan yang lain tidak. Apabila inferens boleh diterima, ia adalah dengan struktur yang logik, dan bukan kandungan tertentu daripada hujah atau bahasa yang digunakan. Untuk alasan ini logik dianggap sebagai sains formal, seperti matematik, dan bukan sains empirikal. Logik secara tradisinya dianggap sebagai cabang falsafah. Tetapi sejak abad kesembilan belas lewat, perasmian simbolik telah menunjukkan hubungan intim dengan matematik, dan menyebabkan logik matematik.