Оң логика (философия)
Оң логика– ойлоо процессинде төгүндөө менен байланышпаган логика. Оң логиканын туура ойлоруна ылайык келген логикалык мыйзамдар тийиштүү логикалык эсептөөлөрдө сүрөттөлөт. Алардын импликативдик эсептөөсү эки аксиомалык схема менен берилет:

1. А  (В А), 

2. [ А (В  С)] [(А  В) Й (А  С) ].

Оң логиканын баардык мыйзамдары интуициялык жана классикалык логика аркылуу далилденгендиктен, алардын «жеке системасы» катары эсептелет.

Колдонулган адабияттар 
Философия: энциклопедиялык окуу куралы/Мамлекеттик тил жана энциклопедия борбору.-Б.: 2004, ISBN 9967-14-020-8
 Философия