Logika modern

Dari Wikipedia Indonesia, ensiklopedia bebas berbahasa Indonesia.

Logika modern yang juga dikenal dengan nama logika simbolik atau logika matematik adalah corak-corak baru logika [1]. seperti yang terdapat pada:

  • Logika modalitas (modal logic)
  • Logika bernilai banyak (many-valued logic)
  • Sistem implikasi nonstandar (nonstandard system of implication)
  • Sistem kuantifikasi nonstandar (nonstandard systems of quantification)

Logika modern tetap berpegang kepada prinsip-prinsip yang dikenalkan oleh logika tradisional, namun berbeda dengan logika tradisional, logika modern hanya menggunakan tanda-tanda atau simbol-simbol matematik yang membahas hubungan antar tanda-tanda itu.

[sunting] Referensi

  1. ^ Pengantar Logika. Asas-asas penalaran sistematis. Oleh Jan Hendrik Rapar. Penerbit Kanisius. ISBN 979-497-676-8