Wikipedia:Isi/Matematika dan logika/Intro

Matematika adalah studi tentang topik-topik yang meliputi kuantitas (bilangan), struktur, ruang, dan kalkulus. Bidang ini berkembang melalui penggunaan abstraksi dan penalaran logis, mulai dari pencacahan, penghitungan, pengukuran, dan studi sistematis tentang bentuk dan gerakan objek fisik. Matematikawan mengeksplorasi konsep-konsep tersebut, yang bertujuan untuk merumuskan dugaan baru dan menetapkan kebenarannya melalui deduksi yang ketat dari aksioma dan definisi terpilih.

Logika (dari bahasa Yunani Kuno λόγος logos; yang berarti kata, pemikiran, ide, argumen, catatan, penalaran, atau prinsip) adalah studi tentang prinsip dan kriteria dari inferensi dan pembuktian yang valid. Sebagai ilmu formal, logika menyelidiki dan mengelompokkan struktur dari pernyataan dan argumen, baik melalui studi sistem formal dari inferensi, maupun melalui studi argumen dalam bahasa alami. Bidang logika berkisar dari topik inti seperti studi tentang kesesatan berpikir dan paradoks, hingga analisis khusus tentang penalaran menggunakan peluang dan hingga argumen yang melibatkan kausalitas. Logika juga umum digunakan dalam teori argumentasi. Sejak pertengahan abad kesembilan belas, logika formal telah dipelajari dalam konteks dasar matematika.