1 Adalah ilmu pengetahuan yang mempelajari atau berkaitan

1

Adalah ilmu pengetahuan yang mempelajari atau berkaitan dengan prinsip-prinsip dari penalaran argumen yang valid. 2

Adalah suatu usaha untuk mencari kebenaran dari pernyataan berupa kesimpulan, dengan berdasarkan kebenaran dari satu kumpulan pernyataan yang disebut premis-premis. Bentuk argumen artinya sekumpulan pernyataan yang terdiri dari premis dan diikuti satu kesimpulan. 3

1. Semua mahasiswa pandai. Badu adalah mahasiswa. Dengan demikian, Badu Pandai. 2. Semua manusia bermata empat. Budi seorang manusia. Dengan demikian, Budi bermata empat. 4

Logika yang dibahas hanya logika yang berhubungan dengan kesimpulan yang valid, dan diperoleh dari prinsip-prinsip penalaran yang valid. Adalah aturan-aturan logika yang menggunakan kaidah-kaidah matematika yang digunakan untuk membuktikan validitas suatu argumen. 5

Adalah premis-premis yang diikuti oleh suatu kesimpulan yang berasal dari premis-premisnya dan bernilai benar. 3. Semua mamalia adalah hewan berkaki empat. Semua manusia adalah mamalia. Dengan demikian, semua manusia adalah hewan berkaki empat. 6

4. Ada jenis makhluk hidup berkaki dua. Semua manusia adalah makhluk hidup. Dengan demikian, semua manusia berkaki dua. 5. Semua mahasiswa rajin belajar. Dewi seorang mahasiswa. Dengan demikian, Dewi rajin belajar. 6. Semua binatang dapat terbang. Gajah adalah binatang. Dengan demikian, gajah dapat terbang. 7

Validitas yang logis adalah hubungan antara premis-premis dengan kesimpulan yang memastikan bahwa jika premis benar, maka harus diikuti dengan kesimpulan yang benar, yang diperoleh dengan menggunakan aturan-aturan logika. Kesimpulan juga harus berasal dari premis-premisnya. Argumen logis disebut kuat secara logis, jika dan hanya jika argumennya valid dan semua premis-premisnya bernilai benar. 8

Logika klasik atau logika tradisional, diperkenalkan oleh Aristoteles mengembangkan aturan untuk penalaran silogistik yang benar : 1. Semua A adalah B 2. Tidak A adalah B 3. Beberapa A adalah B 4. Beberapa A adalah tidak B 9

Logika Modern atau Logika Simbolik dikembangkan dari logika Aristoteles oleh Augustus de Morgan dan George Boole. Logika ini mengenalkan simbol-simbol untuk kalimat yang lengkap dan perangkai-perangkai yang akan merangkainya seperti : and, or, not, if…then…, …if and only if…. 10