Objek logika formal studi, karakteristik, dan contoh

Objek logika formal studi, karakteristik, dan contoh

Itu logika formal, Juga disebut logika teoretis atau logika matematika, ini menentukan apa bentuk penalaran yang valid dan benar. Melalui praktik ini, ia berupaya membedakan kebenaran yang salah.

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

Alfred North Whitehead adalah salah satu pembela logika formal. Sumber: Wellcom Trust [CC BY-SA 4.0 (https: // createveCommons.Org/lisensi/by-sa/4.0)]

Kata "logika" berasal dari bahasa Yunani kuno λογικήlogikDan, yang berarti "diberkahi dengan alasan intelektual, dialektika, 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 dilakukan sehubungan dengan logika disebabkan oleh filsuf Yunani Aristoteles, itulah sebabnya ia dikenal sebagai bapak pendiri dari bidang pemikiran ini.

Sepanjang sejarah beberapa filsuf, matematika dan logika telah mempertahankan logika formal. Di antara mereka kita dapat menyebutkan ahli matematika dan logis Gereja Alonzo; filsuf, matematikawan dan logis Gottlob Frege; Dan juga ahli matematika dan filsuf Alfred North Whitehead.

Mereka juga menjadi pembela hebat Alfred Tarski, Kurtgödel, Bertrand Russell dan Willard Van Orman Quine, antara lain.

[TOC]

Objek studi

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

Dalam hal ini, ditetapkan bahwa logika formal dipelajari dari titik terstruktur, dari validitas atau kecacatannya.

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

Dapat melayani Anda: asal filosofi: bagaimana dan kapan itu terjadi?

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 digunakan secara tegas.

Melakukan studi lengkap tentang pola logika formal akan memungkinkan setiap individu untuk 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.

-Itu adalah struktur tanpa materi.

-Itu ditetapkan di bawah subset sistem formal.

-Menerapkan metode yang efisien sehingga melalui logika formal, kerusakan hak dapat dibedakan.

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

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

-Ditandai dengan menjadi simbolis.

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

-Ini terkait dengan tata bahasa karena studi semantik.

-Mempelajari struktur, itulah sebabnya dibandingkan dengan matematika.

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

Teman-teman

Logika deontik

Itu berasal dari bahasa Yunani kuno Δέον [τος] Donon [batuk] Dan itu berarti "hak" atau "yang diperlukan". Logika Austria Alois Höffler adalah pelacak dari konsep ini, yang mengacu pada studi dan analisis norma -norma.

Dapat melayani Anda: René Descartes: Biografi, Filsafat dan Kontribusi

Logika Bivalent

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

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

Logika multivalen atau serbaguna

Jenis logika ini dilahirkan sebagai hasil dari penelitian yang dilakukan oleh para filsuf Jan łukasiewicz dan Emil Post, di mana mereka menjelaskan bahwa nilai -nilai lain dapat diakui dari yang "benar" dan "salah", dan bahwa ini Nilai hampir bisa tiba sampai tak terbatas.

Dalam hal ini berbeda dari logika bivalen, yang hanya mengakui dua nilai. Studi menunjukkan bahwa logika multivalen atau serbaguna menangani nilai -nilai seperti kemungkinan, kebutuhan, tidak perlu, kebenaran, kepalsuan dan ketidakmungkinan.

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

Contoh

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

Seperti yang telah kami jelaskan di atas, logika formal tidak fokus pada semua kemungkinan yang dapat diekstraksi dari argumen; Itu hanya berfokus pada ini benar atau salah. Dalam hal itu, maka kami mencantumkan beberapa contoh berdasarkan logika formal:

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

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

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

-Pedro adalah Blanco dan María Morena, jadi ada orang kulit putih dan berambut cokelat.

Dapat melayani Anda: pemikir kemanusiaan

-Maria menyentuh orkestra rock. Musisi adalah mereka yang bermain di orkestra rock. Maria adalah seorang musisi.

-José memiliki rambut hitam. Elena memiliki rambut cokelat. Putri dari mereka bisa dilahirkan dengan rambut hitam atau coklat.

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

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

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

- José basah dengan air. Air menjadi 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 sebuah planet.

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

Referensi

  1. "Logika Formal" di New World Encyclopedia. Diperoleh pada 21 April 2019 dari New World Encyclopedia: Newworldyclopedia.org.
  2. Morton L. Schagrin ge Hughes "Logika Formal" pada pulih pada 21 April 2019 dari Britannica: Britannica.com.
  3. "Logika dan Klasifikasinya" di dunia akademis. Diperoleh pada 23 April 2019 dari Academia: Academy.Edu.
  4. "Logika Formal" dalam Kamus Filsafat. Diperoleh pada 23 April 2019 dari Kamus Filsafat: Filsafat.org.
  5. "Logika multiguna" dalam kamus filosofis. Diperoleh pada 23 April 2019 dari Kamus Filsafat: Filsafat.org.
  6. “Aspek Umum Logika” di Club Essayos (18 Agustus 2013). Diperoleh pada 23 April 2019 dari klub esai: clubansayos.com.
  7. "Deontica Logic" di Wikipedia. Diperoleh pada 23 April 2019 dari Wikipedia: Ini.Wikipedia.org.
  8. "Logika multiguna" di wikipedia. Diperoleh pada 23 April 2019 dari Wikipedia: Ini.Wikipedia.org.
  9. "Logika Bivalent" di Wikipedia. Diperoleh pada 23 April 2019 dari Wikipedia: Ini.Wikipedia.org