23.54
AdiDesuBSI
Logika (dari bahasa Yunani λογική logikē) adalah studi sistematis formal dariprinsip-prinsip penalaran inferensi yang valid dan benar. Logika digunakandalam kegiatan intelektual yang paling, tetapi dipelajari terutama dalam disiplinfilsafat, matematika, semantik, dan ilmu komputer. Logika mengkaji bentuk-bentuk umum yang dapat mengambil argumen, yang membentuk adalah valid,dan yang kesalahan. Dalam filsafat, studi tokoh logika di daerah yang paling utama: epistemologi, etika, metafisika. Dalam matematika, itu adalah studi tentang kesimpulan yang valid dalam beberapa bahasa formal Logika jugadipelajari dalam teori argumentasi..
Logika dipelajari dalam beberapa peradaban kuno, termasuk benua India, Cina dan Yunani. Logika didirikan sebagai suatu disiplin oleh Aristoteles,yang memberikannya tempat mendasar dalam filsafat. Studi logika adalah bagian dari trivium klasik, yang juga termasuk tata bahasa dan retorika.
Logika sering dibagi menjadi dua bagian, penalaran induktif dan penalarandeduktif.
Alam
Konsep bentuk logis adalah pusat logika, itu yang berpendapat bahwa validitasdari sebuah argumen ditentukan oleh bentuk logisnya, bukan oleh isinya.Logika silogisme Aristoteles Tradisional dan logika simbolik modern adalahcontoh dari logika formal.
Informal logika adalah studi tentang bahasa alami argumen. Studi tentangkesalahan merupakan cabang sangat penting logika informal. Dialog-dialogPlato adalah contoh yang baik dari logika formal.
Logika formal adalah studi tentang inferensi dengan konten murni formal.Inferensi memiliki kandungan murni formal jika dapat dinyatakan sebagaiaplikasi tertentu dari sebuah aturan abstrak sepenuhnya, yaitu, suatu aturan yang bukan tentang hal tertentu atau properti. Karya-karya Aristotelesmengandung studi awal secara formal dikenal logika. Logika formal modernberikut dan memperluas Aristoteles Dalam banyak definisi logika., Inferensilogis dan inferensi dengan konten formal murni adalah sama. Hal ini tidak menjadikan pengertian logika informal yang hampa, karena tidak ada logika formal menangkap semua nuansa bahasa alami.
Logika simbolik adalah studi tentang abstraksi simbolis yang menangkap fiturformal inferensi logis logika simbolik sering dibagi menjadi dua cabang:.Logika proposisional dan logika predikat.
Logika matematika merupakan perluasan dari logika simbolis ke daerah lain, khususnya untuk mempelajari teori model, teori bukti, teori himpunan, dan teorirekursi.
Logika dipelajari dalam beberapa peradaban kuno, termasuk benua India, Cina dan Yunani. Logika didirikan sebagai suatu disiplin oleh Aristoteles,yang memberikannya tempat mendasar dalam filsafat. Studi logika adalah bagian dari trivium klasik, yang juga termasuk tata bahasa dan retorika.
Logika sering dibagi menjadi dua bagian, penalaran induktif dan penalarandeduktif.
Alam
Konsep bentuk logis adalah pusat logika, itu yang berpendapat bahwa validitasdari sebuah argumen ditentukan oleh bentuk logisnya, bukan oleh isinya.Logika silogisme Aristoteles Tradisional dan logika simbolik modern adalahcontoh dari logika formal.
Informal logika adalah studi tentang bahasa alami argumen. Studi tentangkesalahan merupakan cabang sangat penting logika informal. Dialog-dialogPlato adalah contoh yang baik dari logika formal.
Logika formal adalah studi tentang inferensi dengan konten murni formal.Inferensi memiliki kandungan murni formal jika dapat dinyatakan sebagaiaplikasi tertentu dari sebuah aturan abstrak sepenuhnya, yaitu, suatu aturan yang bukan tentang hal tertentu atau properti. Karya-karya Aristotelesmengandung studi awal secara formal dikenal logika. Logika formal modernberikut dan memperluas Aristoteles Dalam banyak definisi logika., Inferensilogis dan inferensi dengan konten formal murni adalah sama. Hal ini tidak menjadikan pengertian logika informal yang hampa, karena tidak ada logika formal menangkap semua nuansa bahasa alami.
Logika simbolik adalah studi tentang abstraksi simbolis yang menangkap fiturformal inferensi logis logika simbolik sering dibagi menjadi dua cabang:.Logika proposisional dan logika predikat.
Logika matematika merupakan perluasan dari logika simbolis ke daerah lain, khususnya untuk mempelajari teori model, teori bukti, teori himpunan, dan teorirekursi.
0 komentar:
Posting Komentar