logika daftar inti sebagai pengetahuan cabang filsafat dasardasar penalaran deduktif induktif sejarah periode yunani kuno zaman ditengah dan modern matematika murni kegunaan macammacam alamiah ilmiah rujukan pranala luar lihat pula