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