Оң логика (философия)

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

1. А  (В А),

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

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

Колдонулган адабияттар

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