Список проголосовавших за комментарий "Виктория Ра, Изучение правил корректного мышления с применением символических представлений, является областью исследований <a class="mw-redirect" title="Символическая логика" href="/r.php?u=https%3A%2F%2Fru.wikipedia.org%2Fwiki%2F%25D0%25A1%25D0%25B8%25D0%25BC%25D0%25B2%25D0%25BE%25D0%25BB%25D0%25B8%25D1%2587%25D0%25B5%25D1%2581%25D0%25BA%25D0%25B0%25D1%258F_%25D0%25BB%25D0%25BE%25D0%25B3%25D0%25B8%25D0%25BA%25D0%25B0&s=552113995">символической логики</a>. Представления правил и операций корректного мышления в виде формализованных структур исследуются в <a title="Формальная логика" href="/r.php?u=https%3A%2F%2Fru.wikipedia.org%2Fwiki%2F%25D0%25A4%25D0%25BE%25D1%2580%25D0%25BC%25D0%25B0%25D0%25BB%25D1%258C%25D0%25BD%25D0%25B0%25D1%258F_%25D0%25BB%25D0%25BE%25D0%25B3%25D0%25B8%25D0%25BA%25D0%25B0&s=2779571103">формальной логике</a>. Формализованные структуры, отражающие формальные аспекты корректного мышления и удовлетворяющие требованиям к математическим структурам, а также другие близкие к ним математические структуры изучаются в <a title="Математическая логика" href="/r.php?u=https%3A%2F%2Fru.wikipedia.org%2Fwiki%2F%25D0%259C%25D0%25B0%25D1%2582%25D0%25B5%25D0%25BC%25D0%25B0%25D1%2582%25D0%25B8%25D1%2587%25D0%25B5%25D1%2581%25D0%25BA%25D0%25B0%25D1%258F_%25D0%25BB%25D0%25BE%25D0%25B3%25D0%25B8%25D0%25BA%25D0%25B0&s=3088566120">математической логике</a><sup><a href="/r.php?u=https%3A%2F%2Fru.wikipedia.org%2Fwiki%2F%25D0%259B%25D0%25BE%25D0%25B3%25D0%25B8%25D0%25BA%25D0%25B0%23cite_note-%25D0%2591%25D0%25BE%25D1%2587%25D0%25B0%25D1%2580%25D0%25BE%25D0%25B2%25D0%259C%25D0%25B0%25D1%2580%25D0%25BA%25D0%25B8%25D0%25BD-2&s=838342412">[2]</a></sup>."