LOGIKA FORMAL: OBYEK KAJIAN, CIRI DAN CONTOH - FILSAFAT - 2025

The logika formal , juga disebut logis logika teoritis atau matematika, yang menentukan bentuk sah dan benar dari penalaran yang. Melalui praktik ini kami berusaha untuk membedakan mana yang benar dari yang salah.

Dalam logika formal, simbol digunakan dengan jelas dan dengan cara yang paling jelas, sehingga tidak dapat dimanipulasi. Berkat praktik ini, Anda dapat mengembangkan ide-ide Anda sendiri.

Alfred North Whitehead adalah salah satu pendukung logika formal. Sumber: Wellcome Trust

Kata "logika" berasal dari bahasa Yunani kuno λογικήlogik ḗ, yang berarti "diberkahi dengan akal 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 pertama yang dilakukan dalam kaitannya dengan logika dikaitkan dengan filsuf Yunani Aristoteles, itulah sebabnya ia dikenal sebagai bapak pendiri bidang pemikiran ini.

Sepanjang sejarah, berbagai filsuf, ahli matematika, dan ahli logika telah mempertahankan logika formal. Di antara mereka kita bisa menyebut ahli matematika dan ahli logika Gereja Alonzo; filsuf, ahli matematika, dan ahli logika Gottlob Frege; dan juga ahli matematika dan filsuf Alfred North Whitehead.

Alfred Tarski, KurtGödel, Bertrand Russell dan Willard Van Orman Quine, antara lain, juga merupakan bek yang hebat.

Objek studi

Logika formal menggunakan aspek-aspek seperti penalaran, konsep, penilaian dan demonstrasi sebagai objek studi. Dari unsur-unsur tersebut ia menganalisis dan mempelajari semua sumber daya bahasa dan semantik, untuk mencapai suatu kesimpulan.

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

Logika formal bukanlah studi empiris dari proses penalaran. Juga tidak boleh disamakan dengan persuasi, karena dibutuhkan struktur argumen untuk mendapatkan kesimpulan.

Logika ini juga dikenal sebagai logika teoritis atau murni, dan berusaha untuk melakukan studi abstrak dari isi atau bentuk logis dari argumen deduktif, pernyataan, proposisi dan kalimat yang digunakan secara tegas.

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

karakteristik

Di bawah ini adalah karakteristik paling khusus yang membedakan logika formal dari jenis logika lainnya:

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

-Ini adalah struktur tanpa materi.

-Itu didirikan di bawah bagian dari sistem formal.

-Menerapkan metode dengan sangat efisien sehingga melalui logika formal Anda dapat membedakan apa yang salah dari yang benar.

-Kesimpulan dari penalaran atau validitas yang benar muncul karena struktur premis yang benar dianalisis.

-Melajar dan menganalisis orang untuk langsung berpikir, dan dengan demikian dapat membangun pola baru dalam pikiran setiap individu.

-Itu ditandai dengan menjadi simbolis.

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

-Hal ini terkait dengan tata bahasa karena mempelajari semantik.

-Struktur studi, itulah sebabnya ia dibandingkan dengan matematika.

-Ini juga terkait dengan psikologi karena berfokus pada studi tentang pemikiran masing-masing individu.

Jenis

Logika deontik

Itu berasal dari bahasa Yunani kuno δέον déon dan berarti "apa yang jatuh tempo" atau "apa yang perlu". Ahli logika Austria Alois Höffler adalah pelopor konsep ini, yang mengacu pada studi dan analisis norma.

Logika bivalen

Ini adalah jenis logika yang hanya mendukung nilai benar dan salah. Dia tidak percaya pada warna, semuanya hitam atau putih; grayscale tidak mungkin dalam logika semacam ini.

Prinsip-prinsipnya didasarkan pada logika Aristoteles, yaitu identitas, non-kontradiksi dan pihak ketiga yang dikecualikan.

Logika multiguna atau multiguna

Jenis logika ini lahir sebagai hasil kajian filsuf Jan Łukasiewicz dan Emil Post, di mana mereka menyatakan bahwa nilai-nilai selain yang sudah umum "benar" dan "salah" dapat diterima, dan nilai-nilai tersebut praktis dapat dicapai. hingga tak terbatas.

Dalam pengertian ini, ini berbeda dari logika bivalen, yang hanya menerima dua nilai. Studi menunjukkan bahwa logika multivalen atau multiguna menangani nilai-nilai seperti kemungkinan, kebutuhan, non-kebutuhan, kebenaran, kepalsuan dan ketidakmungkinan.

Demikian juga, jenis logika formal ini juga bertugas mempelajari aspek filosofis dan struktural dalil.

Contoh

Melalui logika formal dimungkinkan untuk menambahkan nilai kebenaran atau kepalsuan pada penalaran tertentu.

Seperti yang telah kami jelaskan sebelumnya, logika formal tidak berfokus pada semua kemungkinan yang dapat diambil dari suatu argumen; ini hanya berfokus pada apakah ini benar atau salah. Dalam pengertian itu, di bawah ini kami mencantumkan beberapa contoh berdasarkan logika formal:

-Buenos Aires adalah ibu kota Argentina; lalu, 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 berambut cokelat, jadi ada orang berkulit putih dan cokelat.

-María bermain di orkestra rock. Musisi adalah orang-orang yang bermain di orkestra rock. Maria adalah seorang musisi.

-José berambut hitam. Elena memiliki rambut coklat. Putri mereka bisa saja lahir dengan rambut hitam atau coklat.

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

-Spanyol adalah sebuah negara. Spanyol tetap berada di Eropa. Semua orang Spanyol adalah orang Eropa.

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

- José basah kuyup karena air. Airnya basah.

- Maria makan makanan panasnya. Maria terbakar saat makan makanan panasnya. Makanan panas terbakar.

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

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

Referensi

1. "Logika formal" dalam ensiklopedia dunia baru. Diperoleh pada 21 April 2019 dari New world ensiklopedia: newworldencyclopedia.org.
2. Morton L. Schagrin Ge Hughes "Logika formal" di Diperoleh pada 21 April 2019 dari Britannica: britannica.com.
3. "Logika dan klasifikasinya" di Akademi. Diperoleh pada 23 April 2019 dari Academia: academia.edu.
4. "Logika Formal" dalam Kamus Filsafat. Diperoleh pada 23 April 2019 dari Kamus Filsafat: filsafat.org.
5. "Logika polivalen" dalam Kamus Filsafat. Diperoleh pada 23 April 2019 dari Kamus Filsafat: filsafat.org.
6. "Aspek umum logika" di Club Essays (18 Agustus 2013). Diperoleh pada 23 April 2019 dari uji coba Klub: clubensayos.com.
7. "Logika deontik" di wikipedia . Diperoleh pada 23 April 2019 dari Wikipedia: es.wikipedia.org.
8. "Logika multiguna" di wikipedia . Diperoleh pada 23 April 2019 dari Wikipedia: es.wikipedia.org.
9. "Logika bivalen" di wikipedia . Diperoleh pada 23 April 2019 dari Wikipedia: es.wikipedia.org