ȝḫ-n-Jtn ˁȝ-m-ˁḥˁ.f 

А есть ли сайт, какой-нибудь проект, в рамках которого собирают коллекцию максимально подробных формализаций в языке логики предикатов тех или иных теорем? Помню, сюда скидыва...

Тривиальный вопрос, но все же. Верно понимаю, что хотя такая последовательность является выводом в исчислении предикатов первого порядка: 1. А(х) - допущение 2. ∀xA(x) - генер...

У Теннанта или Шрамко есть предикатное расширение релевантной интуиционисткой логики?

Знает кто про книги, в которых можно почитать про релевантную логику предикатов?

Вспомнил про лекции Родина относительно формализации диалектики Гегеля через теорию категорий. Это действительно работает?

Приветствую, можете пожалуйста помочь понять, как в гильбертовском исчислении классической первопорядковой логики доказать теорему: ∃хR(x,x) > ∃x∃yR(x,y) Где > - импликация? Х...

Подстановка в посылки не запрещена?

А есть те, кто принимает куайновскую метаонтологию, при этом для раскрытия онтологических обязательств использует логику более высокого порядка?

Читаю статью Шалака про логицизм, очень интересные идеи выдвигает. Насколько в современном логическом сообществе весомыми они являются, есть ли критикующие работы по этому пов...

Ну и как книга?

Раз тема зашла про русских логиков, то как бы вы оценили книгу Смирнова про логический вывод?

Кто-нибудь читал перевод Принципов Математики Хинтикки и Санду на русский язык? Хороший перевод, чтобы раскошелиться на печатный экземпляр?

А как вы оцениваете статьи Бочарова и Маркина по философии логики?

Кто-нибудь знает, где можно почитать про натуральное исчисление предикатов второго порядка? Видел во "Введении в логику" Бочарова и Маркина, но там не очень удобный вариант им...

Жалко, что Стрижа забанили. Кто ещё, кроме Смита, мог так базы накинуть в чат?

Типа импликация и метаимпликация могут работать совершенно разными образами, как пример?

Кстати, кто-нибудь начинал читать новую книгу Залты по принципам логико-метафизики?

А как в чате оценивают такого гиганта мысли, как Ильенков?