Приветствую, с чего начать изучение логики новичку совсем? Например, нашел

Question

Symbolic logic for math and destroy

Гимал

Приветствую, с чего начать изучение логики новичку совсем? Например, нашел

учебник логики Георгия Челпанова, годная тема?

0

04.05.2023

18 ответов

14 просмотров

Rust Skye

вот хороший современный учебник https://logicinaction.org

0

05.05.2023

Alexander Chichigin

Судя по обсуждениям в чатах, одной главы большинству людей не хватит чтобы разобраться в логике первого порядка (даже не вспоминая про интуиционистскую/линейную). Насчёт достаточности одной главы по логике высказываний тоже есть сомнения...

0

05.05.2023

Rust Skye

Alexander Chichigin
Судя по обсуждениям в чатах, одной главы большинст...

нууу, я всё-равно думаю, что это лучше клини и черча как первый учебник

0

05.05.2023

Alexander Chichigin

Rust Skye
нууу, я всё-равно думаю, что это лучше клини и чер...

Отсутствие русского перевода тут играет в плюс или в минус? 😊

0

05.05.2023

Rust Skye

Alexander Chichigin
Отсутствие русского перевода тут играет в плюс или...

хаха хороший вопрос! для меня это плюс))

0

05.05.2023

suhr

Alex Gryzlov
из современного можно попробовать https://openlogi...

Естественный вывод идёт после секвенций — ну что это такое...

0

05.05.2023

Nikolai Kudasov

suhr
Естественный вывод идёт после секвенций — ну что э...

А что с этим не так?

0

05.05.2023

suhr

Nikolai Kudasov
А что с этим не так?

Генцен наоборот начинает с естественного вывода (как механизации того, как люди на самом деле рассуждают в математике), и затем уже строит исчисление секвенций для анализа классической логики.

0

05.05.2023

Nikolai Kudasov

Alex Gryzlov
из современного можно попробовать https://openlogi...

но в этой книжке, они действительно никак не мотивируются)

0

05.05.2023

Brenoritvrezorkre

Секвенции — форма натурального вывода в целом

0

05.05.2023

suhr

Brenoritvrezorkre
Секвенции — форма натурального вывода в целом

Только по правую сторону турникета может быть много формул, а все правила являются правилами введения с той или иной стороны.

0

05.05.2023

Ласло Папп

Brenoritvrezorkre
Секвенции — форма натурального вывода в целом

Что, тогда, будет ненатуральным выводом?

0

05.05.2023

suhr

Ласло Папп
Что, тогда, будет ненатуральным выводом?

Hilbert calculus.

0

05.05.2023

Brenoritvrezorkre

Ласло Папп
Что, тогда, будет ненатуральным выводом?

Гильбертово исчисление аксиоматическое

0

05.05.2023

Brenoritvrezorkre

Brenoritvrezorkre
Гильбертово исчисление аксиоматическое

Оно удобнее для доказательств метатеорем всяких

0

05.05.2023

Massimo Nova

Гимал, если про Челпанова это не юмор, то Чёрч не подойдет и т.д. Напиши мне в лс свой запрос, я тебе расскажу, как в действительности на самом деле мир реально устроен. Тогда будут шансы научиться

0

06.05.2023

Brenoritvrezorkre

Massimo Nova
Гимал, если про Челпанова это не юмор, то Чёрч не ...

А что такое с Челпановым, что Чëрч не подойдёт? Без понятия, кто твой первый.

0

06.05.2023