Мазмунга өтүү

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

Википедия дан

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

1. А  (В А),

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

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


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

[түзөтүү | булагын түзөтүү]