Definisi Logik

Asal logik kembali ke zaman kegemilangan Yunani klasik dan ahli falsafah Yunani Aristotle dianggap sebagai pencipta dan bapanya, kerana dia adalah orang pertama yang menggunakan tanggapan itu dan memberikannya kepada entiti itu sehingga hari ini, kajian hujah-hujah sebagai penunjuk perasaan kebenaran dalam sains.

Logik ini yang kita gambarkan di atas dan yang Aristoteles berdiri sebagai pengasasnya juga dipanggil logik formal, sementara terdapat juga logik informal yang akan menumpukan perhatian anda pada kajian metodis tentang kemungkinan argumen dari falsafah, retorik dan pidato, antara sains lain yang menangani perkara ini.

Pada asasnya, logik tidak formal menumpukan semua usaha untuk mengenal pasti kesalahan dan paradoks dan penataan wacana yang betul.

Tetapi dalam logik formal dan tidak formal persoalannya tidak habis kerana kita juga mencari jenis logik lain yang mencadangkan metodologi yang sangat berbeza seperti logik semulajadi yang merupakan pemikiran semula jadi, kerana ia berjalan, tanpa pergi ke sains formal sebagai asas sokongan.

Kemudian muncul kabur yang fuzzy atau juga disebut logik kabur yang mengambil lesen tertentu berkenaan dengan yang lain dan mengakui kekaburan tertentu antara kebenaran atau kepalsuan proposisi, dengan persetujuan yang erat dan hubungan dengan alasan manusia.

Dalam satu lagi perintah, kita dapat mencari logika matematik yang ditangani menggunakan bahasa buatan dan simbolik dan membuat abstraksi kandungan. Dan akhirnya logik binari yang berfungsi dengan pembolehubah yang hanya mengakui dua nilai diskret.