Logika modern

Dari Wikipedia bahasa Indonesia, ensiklopedia bebas
Loncat ke navigasi Loncat ke pencarian

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.

Referensi[sunting | sunting sumber]

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