Intuitionistic logic, منطق شهودی , منطق شهودگرایی, گویایی درگس باوری, گویایی درگس‌باوری

گویایی درگس‌باوری

گویایی درگس‌باوری

ایده

گویایی درگس‌باوری [=شهودگرایی] یک دستگاه فروهازشی [=استنتاجی] است که بر بنیان درگس‌باوری گسترش داده شده است. به گونه‌ی نادیسه‌ای [=غیرصوری] نخستین بار بوسیله ال. ای. جِی. براوئر انگارش‌دان و فرزانه‌ی هلندی در انگارش درگس‌باوری به کار گرفته شد، بوسیله آرند هیتینگ (و بخشی از آن بوسیله گلیونکو) دیسه‌ای گردید، بوسیله آندری کولموگورف آزند[=تعبیر] شد و بوسیله گرهارد گنتزن و کورت گودل در سه دهه نخست سده‌‌ی بیستم مورد بررسی قرار گرفت.


قانون میانی سکلانده
𝐴∨¬𝐴 A∨¬A A∨¬A
Double negative elimination
¬¬𝐴⊃𝐴 ¬¬A⊃A ¬¬A→A
پی‌افکنی کلینی پی‌افکنی هیتینگ Intuitionistic logic axiomatization
آزندی بر افماریک گزاره‌ای درگس‌باوری