Третій закон логіки

Умовиводи, зроблені за допомогою логіки використовуються для виконання спеціальних завдань в окремих науках. Цк=е штучна мова Штучні мови необхідні насамперед для того, щоб наочно представити структуру того чи іншого предмета або явища. Національні мови, на відміну від штучних мов наук, мають ту перевагу, що вони є більш універсальними. Видатний логік Г. Фреге порівнював штучні мови з національними за аналогією з мікроскопом та людським оком. Навряд чи хтось із людей відмовився б від своїх очей на користь мікроскопа, оскільки у повсякденному житті від нього користь незначна. Але мікроскоп стає незамінним, коли необхідно роздивитися структуру певного мінералу або провести мікробіологічний аналіз. Так само й потреба у використанні штучної мови виникає насамперед тоді, коли необхідно розглянути логічну структуру того чи іншого судження або умовиводу. Штучна мова - це свого роду "логічний мікроскоп", за допомогою якого логіки проводять свої дослідження.

Штучна мова для логіки є найголовнішим засобом для аналізу думок, розкриття їхньої структури. Основний метод логіки - формалізація - заснований на широкому впровадженні штучної мови.

Примечаний нет.