Коли Арістотель визначав людину як тварину, наділену словом (логотипи), він мав на увазі, що лише ми можемо здійснити процес абстракції фізичного світу через мову. Мова дозволяє нам спілкуватися, абстрактно мислити, називати речі та предмети, проводити наукові дослідження, творити мистецтво та всю соціальну та політичну організацію нашого світу. Однак, щоб вона працювала належним чином, мові також потрібні правила.
І лінгвістична логіка, галузь дослідження, притаманна філософії, яка зосереджується на формальній мовній організації, намагаючись встановіть необхідний режим, щоб сама мова могла нормально працювати в кожному випадку конкретні. Не тільки через мову, логіку як розуміння і раціональна організація of Forms також присвячений встановленню причинно-наслідкових зв'язків у математиці. Тобто, щоб результат математичного розрахунку був правильним, математик або машина, яка виконує операція повинна відповідати офіційному стандарту, який поважає раціональні правила, входячи таким чином у сферу застосування математична логіка.
Арістотель, учень Платона, був першим філософом в історії, який спробував зрозуміти і чітко встановити основи лінгвістичної логіки, залишивши для нащадків набір праць, відомих як аристотелівська логіка або класична логіка. У цих працях ми можемо знайти способи зрозуміти міркування дедуктивна та індуктивна в мові за силогізми, а також ми знайшли аристотелівська площа, що є основою для викладу та кваліфікації мовних елементів, які, поєднані певним чином, викликають згоду чи розбіжності в мовленні, наприклад.
THE логіка, як вивчення та ідентифікація дійсних та правильних форм мови, також присвячена виявленню та визначенню того, чого немає формальна чинність згуртований і правильний. Словом, яке називає ці ситуації некорекції форми того, що було вимовлено мовою, є помилковість. Помилки - це, загалом кажучи, безглузді пропозиції, без логічного зв'язку між викладеними фактами чи без них причинно-наслідкові зв’язки, які повним і правильним чином пояснюють наслідки, що з’являються у висловлюваннях речень проаналізовано.
У ХІХ столітті німецький філософ Готлоб Фреге здійснив революцію в існуючій логіці, звернувшись до необхідності більшого математичного розуміння логічних досліджень. Він розробив метод, який називається предикатний розрахунок, який аналізує лінгвістичні положення через математичні дедуктивні процеси.
Внесок Фреге в логіку та філософію мови вважається важливим до тих пір, поки сьогодні і без них було б неможливо створити код комп’ютерного програмування, здатний перекладати Кістки зашифрований іншими машинами. Це означає, що без логічного теоретичного апарату, залишеного Фреге, британським математиком Алан Тьюрінг, який вважався "батьком" інформатики та комп'ютерів, не міг побудувати першого комп'ютер історії.
* Кредит зображення: Фотозйомка Lenscap / Shutterstock.com
Франциско Порфіріо
Закінчив філософію
Джерело: Бразильська школа - https://brasilescola.uol.com.br/filosofia/o-que-logica.htm