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