Оң логика (философия)
Оң логика– ойлоо процессинде төгүндөө менен байланышпаган логика. Оң логиканын туура ойлоруна ылайык келген логикалык мыйзамдар тийиштүү логикалык эсептөөлөрдө сүрөттөлөт. Алардын импликативдик эсептөөсү эки аксиомалык схема менен берилет:
1. А (В А),
2. [ А (В С)] [(А В) Й (А С) ].
Оң логиканын баардык мыйзамдары интуициялык жана классикалык логика аркылуу далилденгендиктен, алардын «жеке системасы» катары эсептелет.
Колдонулган адабияттар
түзөтүү- Философия: энциклопедиялык окуу куралы/Мамлекеттик тил жана энциклопедия борбору.-Б.: 2004, ISBN 9967-14-020-8