Logika formal: objek studi, karakteristik, jenis dan contoh

Logika formal, juga disebut logika teoretis atau logika matematika, menentukan mana yang merupakan bentuk penalaran yang valid dan benar. Melalui praktik ini kami berusaha untuk membedakan yang benar dari yang salah.

Dalam logika formal, simbol digunakan secara jelas dan sejelas mungkin, sehingga tidak dapat dimanipulasi. Berkat praktik ini, Anda dapat mengembangkan gagasan Anda sendiri.

Kata "logika" berasal dari bahasa Yunani kuno λογικήlogik ḗ, yang berarti "diberkahi dengan alasan intelektual, dialektis, argumentatif". Logika adalah salah satu cabang filsafat dan matematika, dan dianggap sangat berguna untuk disiplin ilmu ini.

Secara umum, logika mempelajari bentuk pemikiran. Karya-karya pertama yang dibuat dalam kaitannya dengan logika dikaitkan dengan filsuf Yunani Aristoteles, yang mengapa ia dikenal sebagai bapak pendiri bidang pemikiran ini.

Sepanjang sejarah beberapa filsuf, ahli matematika dan ahli logika telah membela logika formal. Di antara mereka, kita dapat menamai matematika dan ahli logika Gereja Alonzo; filsuf, matematikawan, dan ahli logika Gottlob Frege; dan ahli matematika dan filsuf Alfred North Whitehead.

Mereka juga telah menjadi pemain bertahan hebat Alfred Tarski, KurtGödel, Bertrand Russell dan Willard Van Orman Quine, di antara yang lainnya.

Obyek penelitian

Logika formal digunakan sebagai objek aspek studi seperti penalaran, konsep, penilaian dan demonstrasi. Dari elemen-elemen ini, ia menganalisis dan mempelajari semua sumber daya bahasa dan semantik, untuk mencapai kesimpulan.

Dalam pengertian ini, ditetapkan bahwa dalam logika formal penalaran dipelajari dari titik terstruktur, dari validitas atau ketidakabsahannya.

Logika formal bukan studi empiris dari proses penalaran. Juga tidak perlu bingung dengan persuasi, karena dibutuhkan struktur argumen untuk mendapatkan kesimpulan.

Logika ini juga dikenal sebagai logika teoretis atau murni, dan berupaya melakukan studi abstrak tentang konten atau bentuk logis dari argumen deduktif, pernyataan, proposisi, dan kalimat yang digunakan secara tegas.

Melakukan studi lengkap tentang pola logika formal akan memungkinkan setiap individu untuk mengetahui dengan tepat prosedur yang terkait dengan pemikiran mereka.

Fitur

Berikut ini adalah karakteristik paling khusus yang membedakan logika formal dari tipe logika lain:

-Itu adalah ilmu yang mempelajari bentuk premis, tidak seperti jenis logika lain yang hanya mempelajari materi.

-Ini adalah struktur tanpa materi.

-Ini didirikan di bawah subset dari sistem formal.

-Menerapkan metode yang sangat efisien sehingga melalui logika formal dapat dibedakan dari kesalahan hak.

-Kesimpulan dari alasan yang benar atau valid muncul karena struktur premis yang sebenarnya dianalisis.

- Pelajari dan analisis orang untuk langsung ke pemikiran, dan dengan demikian dapat membangun pola baru dalam pikiran setiap individu.

-Hal ini ditandai dengan menjadi simbolis.

-Dari sudut pandang ilmu formal, memainkan peran penting dalam matematika, filsafat, ilmu komputer dan statistik.

-Hal ini terkait dengan tata bahasa karena studi tentang semantik.

- Mempelajari struktur, itulah sebabnya itu dibandingkan dengan matematika.

-Itu juga berkaitan dengan psikologi karena berfokus pada studi pemikiran masing-masing individu.

Jenis

Logika deontik

Itu berasal dari bahasa Yunani kuno δέον [τος] déon [cough] dan berarti "apa yang disebabkan" atau "apa yang perlu". Ahli logika Austria Alois Höffler adalah persepsi konsep ini, yang mengacu pada studi dan analisis standar.

Logika bivalen

Ini adalah jenis logika yang hanya mengakui nilai-nilai benar dan salah. Dia tidak percaya pada nuansa, semuanya hitam atau putih; Grayscale tidak mungkin dalam jenis logika ini.

Prinsip-prinsipnya didasarkan pada logika Aristotelian, yang merupakan identitas, non-kontradiksi dan ketiga yang dikecualikan.

Logika jamur atau polivalen

Jenis logika ini lahir dari studi yang dilakukan oleh para filsuf Jan Łukasiewicz dan Emil Post, di mana mereka menyatakan bahwa nilai-nilai lain selain yang umum "benar" dan "salah" dapat diterima, dan yang mengatakan nilai-nilai tersebut secara praktis dapat mencapai hingga tak terbatas.

Dalam pengertian ini berbeda dari logika bivalen, yang hanya mengakui dua nilai. Studi menunjukkan bahwa logika plurivalen atau polivalen mengelola nilai-nilai seperti kemungkinan, keharusan, tidak perlu, kebenaran, kepalsuan dan ketidakmungkinan.

Demikian juga, jenis logika formal ini juga bertanggung jawab untuk mempelajari aspek filosofis dan struktural argumen.

Contohnya

Melalui logika formal adalah mungkin untuk menambahkan nilai kebenaran atau kepalsuan pada alasan tertentu.

Seperti yang telah kami jelaskan sebelumnya, logika formal tidak fokus pada semua kemungkinan yang dapat diekstraksi dari argumen; ini hanya berfokus pada apakah ini benar atau salah. Dalam pengertian itu, berikut adalah beberapa contoh berdasarkan logika formal:

-Buenos Aires adalah ibu kota Argentina; kemudian, semua yang lahir di Buenos Aires adalah orang Argentina.

-Joao berbicara bahasa Portugis. Joao lahir di Portugal. Semua orang di Portugal berbicara bahasa Portugis.

- Sapi memberi susu. Sapi adalah mamalia. Semua mamalia memberi susu.

-Pedro berwarna putih dan María morena, jadi ada orang berkulit putih dan cokelat.

Drama -María di orkestra rock. Para musisi adalah orang-orang yang bermain di orkestra rock. María adalah seorang musisi.

-Jose berambut hitam. Elena memiliki rambut cokelat. Anak perempuan mereka bisa dilahirkan dengan rambut hitam atau coklat.

-Kaki memiliki lima jari. Manusia memiliki kaki kanan dan kaki kiri. Setiap orang memiliki sepuluh jari pada kaki mereka.

-Spanyol adalah sebuah negara. Spanyol ada di Eropa. Semua orang Spanyol adalah orang Eropa.

- Ana adalah makhluk hidup. Ana itu fana. Semua makhluk hidup adalah fana.

- José basah dengan air. Air membasahi.

- Mary makan makanan panasnya. Maria membakar dirinya sendiri dengan memakan makanan panasnya. Makanan panas terbakar.

- Bumi adalah bagian dari alam semesta. Di alam semesta ada planet. Bumi adalah sebuah planet.

- Lampu listrik menyala. Ada lampu listrik di jalanan. Lampu listrik menerangi jalan-jalan.