Deduktif, Induktif

Berdasarkan proses penalarannya dan juga sifat kesimpulan yang dihasilkannya, logika dibedakan antara logika deduktif dan logika induktif. Logika deduktif adalah sistem penalaran yang menelaah prinsip-prinsip penyimpulan yang sah berdasarkan bentuknya serta kesimpulan yang dihasilkan sebagai kemestian diturunkan dari pangkal pikirnya. Dalam logika ini yang terutama ditelaah adalah bentuk dari kerjanya akal jika telah runtut dan sesuai dengan pertimbangan akal yang dapat dibuktikan tidak ada kesimpulan lain karena proses penyimpulannya adalah tepat dan sah. Logika deduktif karena berbicara tentang hubungan bentuk-bentuk pernyataan saja yang utama terlepas isi apa yang diuraikan karena logika deduktif disebut pula logika formal.

Contoh dari penalaran deduktif ialah

* Semua manusia fana (pasti akan mati). (premis mayor)
* Sokrates adalah manusia. (premis minor)
* Sokrates pasti (akan) mati. (kesimpulan)

Logika induktif adalah sistem penalaran yang menelaah prinsip-prinsip penyimpulan yang sah dari sejumlah hal khusus sampai pada suatu kesimpulan umum yang bersifat boleh jadi. Logika ini sering disebut juga logika material, yaitu berusaha menemukan prinsip-prinsip penalaran yang bergantung kesesuaiannya dengan kenyataan, oleh karena itu kesimpulannya hanyalah keboleh-jadian, dalam arti selama kesimpulannya itu tidak ada bukti yang menyangkalnya maka kesimpulan itu benar, dan tidak dapat dikatakan pasti.
Contoh :

Apel adalah buah.
Semua buah tumbuh di pohon.
Karena itu semua apel tumbuh di pohon.

Atau

Apel adalah buah.
Sebagian apel berwarna merah.
Karena itu sebagian buah berwarna merah.

Premis yang pertama mungkin keliru, namun siapapun yang menerima premis ini dipaksa untuk menerima kesimpulannya.