Символічна логіка: поняття, мова логіки, традиційна і сучасна логіка

Застосування логіки в науці і матеріальному світі дійсності

Філософи зазвичай не застосовують науку логічного роздуми лише в якомусь амбітному постградусном проекті (зазвичай з високим ступенем спеціалізації, наприклад, шляхом додавання в соціальну науку, психологію або етичну категоризацію). Парадоксально, що філософська наука «народила» метод розрахунку істини і брехні, однак самі філософи їм не користуються. Так для кого ж створені та перетворені настільки чіткі математичні силогізми?

  1. Програмісти і інженери застосовували символічну логіку (яка не так сильно відрізняється від первинної) для впровадження комп’ютерних програм і навіть проектування плат.
  2. У разі комп’ютерів логіка стала досить складною, щоб обробляти численні виклики функцій, а також просувати математику і вирішувати математичні завдання. Велика частина її заснована на знанні математичного вирішення проблем та ймовірності в поєднанні з логічними правилами винятку, розширення і сводимости.
  3. Комп’ютерні мови не можуть бути легко зрозумілі, щоб працювати логічно в межах знання математики і навіть виконувати спеціальні функції. Велика частина комп’ютерного мови, ймовірно, запатентована чи зрозуміла тільки комп’ютерам. Тепер програмісти часто дозволяють комп’ютерам самим робити логічні завдання та вирішувати їх.

У ході таких передумов багато вчених припускають створення просунутого матеріалу не заради науки, а для зручності використання засобів інформації і технологій. Бути може, скоро логіка просочиться у сфери економіки, бізнесу і навіть «лукаву» кванта, який веде себе і як атом, і як хвиля.

Дивіться також:  Державне управління. Обєкт і субєкт - особливості та зміст