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, Ini adalah salah satu cabang paling penting dan populer dalam Filsafat , 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 usul logika tanggal kembali ke zaman keemasan Yunani klasik dan filsuf Yunani Aristoteles dianggap sebagai pencipta dan bapak itu , karena ia adalah orang pertama yang menggunakan gagasan dan memberikan entitas yang terus sampai hari ini, dari studi tentang argumen sebagai manifestasi dari kebenaran dalam ilmu pengetahuan.
Logika yang kita jelaskan di atas dan yang berdiri Aristoteles 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-ilmu lain yang membahasnya.
Pada dasarnya, logika informal menghabiskan semua upayanya dalam mengidentifikasi kekeliruan dan paradoks dan dalam penataan wacana yang benar.
Tetapi dalam logika formal dan informal pertanyaan ini tidak habis-habisnya karena kita juga menemukan jenis logika lain yang mengajukan metodologi yang sama sekali berbeda seperti logika alam, yang diajukan oleh pemikiran alam, saat berjalan, tanpa menggunakan ilmu formal sebagai landasan. dasar dukungan.
Kemudian ada fuzzy atau juga disebut logika fuzzy yang mengambil lisensi tertentu sehubungan dengan yang lain dan mengakui ambiguitas tertentu antara kebenaran atau kepalsuan dari proposisi, dalam kesepakatan yang erat dan hubungan dengan akal manusia.
Agar lain kita dapat menemukan logika matematika yang ditangani menggunakan buatan dan simbolik bahasa dan membuat sebuah abstraksi dari isi. Dan akhirnya logika biner yang bekerja dengan variabel yang hanya menerima dua nilai diskrit.
Topik dalam Logika
