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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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