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
- ^ Pengantar Logika. Asas-asas penalaran sistematis. Oleh Jan Hendrik Rapar. Penerbit Kanisius. ISBN 979-497-676-8
