Logika
Logika minangka ilmu formal sing nyinaoni prinsip-prinsip bukti lan kesimpulan sing bener. Tembung asal saka λογική Yunani kuna, ingkang tegesipun "endowed karo alesan, intelektual, dialektika, argumentative," kang siji asalé saka λόγος, "tembung, pamikiran, idea, pitakonan, alesan utawa prinsip." Uga perkara tradisional kimia prakara, biologi lan urip, logika iku kesimpulan. Kesimpulane yaiku proses ing ngendi kesimpulane ditemokake saka premis. Logika nylidhiki prinsip-prinsip kang bisa ditampa sawetara, lan liyane ora. Nalika kesimpulan ditrima, iku dening struktur logis, lan ora isi tartamtu saka pitakonan utawa basa. Menawi mekaten logika dianggep ilmu formal, kaya matematika, tinimbang lan ilmu empiris. Logika sacara tradisional dianggep minangka cabang filsafat. Nanging wiwit pungkasan abad kaping, formalization simbolis sawijining wis ditampilake sesambetan intim karo matématika, lan ngasilaken logika matématika.