Budi: Created page with "'''Logika''' adalah studi tentang prinsip-prinsip penalaran yang valid dan argumen yang sah. Dalam bidang ini, logikawan mengeksplorasi struktur argumen dan menetapkan aturan yang memisahkan penalaran yang sah dari yang tidak sah. Logika sering kali dibagi menjadi berbagai cabang seperti logika formal, logika informal, logika simbolik, dan logika matematika. === Sejarah === Studi tentang logika memiliki akar yang dalam dalam tradisi filosofis. Pada za..."

2025-02-26T03:55:34Z

Created page with "'''Logika''' adalah studi tentang prinsip-prinsip penalaran yang valid dan argumen yang sah. Dalam bidang ini, logikawan mengeksplorasi struktur argumen dan menetapkan aturan yang memisahkan penalaran yang sah dari yang tidak sah. Logika sering kali dibagi menjadi berbagai cabang seperti logika formal, logika informal, logika simbolik, dan logika matematika. === Sejarah === Studi tentang logika memiliki akar yang dalam dalam tradisi filosofis. Pada za..."

Halaman baru

'''Logika''' adalah studi tentang prinsip-prinsip penalaran yang valid dan [[argumen]] yang sah. Dalam bidang ini, logikawan mengeksplorasi struktur argumen dan menetapkan aturan yang memisahkan penalaran yang sah dari yang tidak sah. Logika sering kali dibagi menjadi berbagai cabang seperti [[logika formal]], [[logika informal]], [[logika simbolik]], dan [[logika matematika]].
=== Sejarah ===
Studi tentang logika memiliki akar yang dalam dalam tradisi filosofis. Pada zaman kuno, [[Aristoteles]] adalah salah satu tokoh pertama yang secara sistematis mengembangkan teori logika dalam karyanya "Organon". Aristoteles memperkenalkan konsep-konsep dasar seperti [[silogisme]] dan deduksi yang masih menjadi dasar dalam studi logika hingga saat ini. Setelah era Aristoteles, logika terus berkembang melalui kontribusi para filsuf seperti [[Leibniz]], [[Frege]], dan [[Russell]].
=== Logika Formal ===
[[Logika formal]] adalah cabang logika yang berfokus pada struktur formal dari argumen. Dalam logika formal, simbol-simbol digunakan untuk merepresentasikan proposisi dan hubungan antar proposisi. Ini memungkinkan analisis yang lebih presisi dan pengujian validitas dari argumen. [[Logika proposisional]] dan [[logika predikat]] adalah dua sistem utama dalam logika formal.
=== Logika Informal ===
[[Logika informal]] adalah studi tentang penalaran yang tidak bergantung pada struktur formal dan simbolis. Ini lebih dekat dengan cara penalaran sehari-hari yang digunakan dalam diskusi dan debat. Logika informal mencakup studi tentang [[fallacy|kesalahan logis]] dan teknik-teknik untuk memperkuat argumen.
=== Logika Simbolik ===
[[Logika simbolik]] menggunakan simbol untuk memformalkan dan memanipulasi proposisi logis. Ini memungkinkan analisis yang lebih dalam dan solusi terhadap masalah-masalah logis yang kompleks. Logika simbolik sering digunakan dalam [[komputer|ilmu komputer]] dan [[kecerdasan buatan]].
=== Logika Matematika ===
[[Logika matematika]] menggabungkan prinsip-prinsip logika dengan metode matematika untuk mempelajari struktur formal dan sistem deduksi. Ini adalah dasar dari banyak teori dalam [[matematika]] dan [[teori himpunan]]. Logika matematika juga penting dalam pengembangan [[teori algoritma]] dan [[teori kompleksitas]].
== Pranala Menarik ==
* [[Argumen]]
* [[Silogisme]]
* [[Logika proposisional]]
* [[Logika predikat]]
* [[Kesalahan logis]]
* [[Ilmu komputer]]
* [[Kecerdasan buatan]]
* [[Matematika]]
* [[Teori himpunan]]
* [[Teori algoritma]]
* [[Teori kompleksitas]]

Logika - Riwayat revisi