definisi logika
Logika adalah ilmu formal, yaitu, seperti ilmu formal lainnya ia menciptakan objek studi dan penalarannya sendiri dan penciptaan ide oleh pikiran adalah metodologi kerja dan pengetahuannya, tetapi juga, logika, ia adalah salah satu cabang filsafat yang paling penting dan populer, objek studinya adalah prinsip-prinsip pembuktian dan kesimpulan yang valid, yang merupakan metode yang pada akhirnya akan memungkinkan kita untuk membedakan penalaran yang benar dari yang salah .
Asal mula logika berasal dari zaman keemasan Yunani klasik dan filsuf Yunani Aristoteles dianggap sebagai pencipta dan bapaknya , karena dia adalah orang pertama yang menggunakan gagasan itu dan memberikannya entitas yang dipertahankan hingga hari ini, dari studi tentang argumentasi sebagai manifestasi kebenaran dalam sains.
Logika yang kami jelaskan di atas dan di mana Aristoteles berdiri sebagai pendirinya juga disebut logika formal , sementara ada juga logika informal yang akan memusatkan perhatiannya pada studi metodis dari argumen-argumen yang mungkin didasarkan pada filsafat., Retorika dan pidato, di antaranya ilmu lain yang berhubungan dengan ini.
Pada dasarnya, logika informal menghabiskan semua upayanya untuk mengidentifikasi kekeliruan dan paradoks dan pada penataan wacana yang benar.
Tetapi dalam logika formal dan informal, pertanyaannya tidak habis karena kita juga menemukan jenis logika lain yang mengusulkan metodologi yang sama sekali berbeda seperti logika alam, yang diajukan oleh pemikiran alam, karena berjalan, tanpa menggunakan ilmu formal sebagai a dasar dukungan.
Kemudian ada logika fuzzy atau disebut juga logika fuzzy yang mengambil lisensi tertentu sehubungan dengan yang lain dan mengakui ambiguitas tertentu antara benar atau salahnya proposisinya, dalam kesepakatan dan hubungan yang erat dengan akal manusia.
Dalam urutan lain kita dapat menemukan logika matematika yang ditangani dengan menggunakan bahasa buatan dan simbolik dan membuat abstraksi isinya. Dan terakhir logika biner yang bekerja dengan variabel yang hanya menerima dua nilai diskrit.