Характеристика штучних мов. Поняття «формалізованої» мови в логіці

12. Характеристика штучних мов. Поняття «формалізованої» мови в логіці

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

13. Сутність основного методу логіки як науки

Основним методом є метод формалізації (Всі S є Р)

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

14. Місце логіки в пізнавальній діяльності людини

Історично логіка формувалася як складова частина філософського пізнання світу в єдності з онтологією (теорією буття), гносеологією (теорією пізнання) й епістеміологією (теорією знання). Однак поступово вона відокремилася в самостійну філософську науку.

15. Значення логіки для формування культури (професійної культури) мислення людини

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

⇐ Предыдущая 1 2 3 4 5 6 7 8 910