Sejarah Logika Modern

Logika modern lahir di akhir abad ke-19 dalam pemikiran George Boole, Gottlob Frege dan C.S. Pierce sebagai bagian dari kajian fondasi matematika. Silogisme Aristoteles terlalu longgar untuk merumuskan pendasaran bagi teori-teori matematika modern. Kemudian dibangunlah logika klasik yang merumuskan ketentuan formal bagi penyimpulan yang sahih pada tingkat proposisi. Oleh karena itu, logika ini biasa disebut logika matematika, kalkulus predikat atau logika formal. Di video ini, kita akan membicarakan perkembangan logika abad ke-20 seperti strategi menghadapi paradoks logika, logika parakonsisten, hingga logika dengan takterhingga nilai kebenaran.

#filsafat #sastra #budaya #logikaformal #kalkuluspredikat

--------------------------------------------------

Website: https://www.martinsuryajaya.com
Instagram: Instagram: martinsuryajaya
Facebook: Facebook: martin.suryajaya
Goodreads: Goodreads: 4400055.Martin_Suryajaya

• #education
• #filsafat_logika
• #silogisme
• #proposisi
• #belajar_logika
• #penyimpulan_yang_sahih
• #berpikir_logis
• #martin_suryajaya
• #belajar_filsafat
• #kuliah_filsafat
• #kalkulus_predikat
• #logika_matematika
• #intuisionisme
• #filsafat_matematika
• #logika_klasik
• #logika_parakonsisten
• #paradoks_logika
• #nilai_kebenaran
• #logika_formal