Формальная логика перевод?

Question

[ZakkMalin]

Решил почитать на английском языке про формальную логику, зашёл в Википедию, вбил название, на русском языке статья нашлась, но мне ведь надо по-английски почитать, в привычном переключателе слева снизу английского языка нет. Переводчик Google тоже особо не даёт результатов, а именно formal logic, подозреваю что это вообще не правильно.
Можно-ли считать за формальную логику, статью под названием First-order_logic: https://en.wikipedia.org/wiki/First-order_logic или это совсем другое? Подскажите кто знает алгебру логики на английском, как этот термин переводится

Answer 1

[AVKor]

На английском:
https://www.britannica.com/topic/formal-logic

Comments

[ZakkMalin]

Хм... странно, значит в США это называется както по-другому, если нету в Википедии

[AVKor]

ZakkMalin, Да это просто заморочки википедии.
https://en.wikipedia.org/wiki/Logic
там есть

Formal logic is the study of inference with purely formal content. An inference possesses a purely formal content if it can be expressed as a particular application of a wholly abstract rule, that is, a rule that is not about any particular thing or property. The works of Aristotle contain the earliest known formal study of logic. Modern formal logic follows and expands on Aristotle.[3] In many definitions of logic, logical inference and inference with purely formal content are the same. This does not render the notion of informal logic vacuous, because no formal logic captures all of the nuances of natural language.

со ссылкой
https://en.wikipedia.org/wiki/Formal_logical_systems
которая перенаправляет на
https://en.wikipedia.org/wiki/Mathematical_logic#F...

[AVKor]

ZakkMalin, Статьи в нормальной энциклопедии (как Британника) пишут профессионалы, а в вики может писать кто попало.

Answer 2

[Александр Скуснов]

Содержание русской страницы в Википедии описывает ситуацию в СССР, поэтому зачем англичанам писать про это?
Переход же на французскую страницу показывает, что там ничего нет, кроме ссылки на статью "Логика", поэтому и на английском можете найти эту общую статью.

Comments

[ZakkMalin]

При МГТУ формальную логику изучают сегодня если не ошибаюсь как подраздел алгебры логики, там её так и называют "формальная логика" и сегодня, а не только в СССР, странно всё это в общем, надо наверное поинтересоваться у юристов, они тоже её по идее изучают

Answer 3

[Murka10110]

https://en.wikipedia.org/wiki/Term_logic