Годных учебников логики тред! 159288 В конец треда | Веб
Не знаю уже куда податься, это просто пиздец какой-то, может тут найдутся честные люди и чего подскажут.

Увлекаюсь логикой, но не получается найти нормальных учебников, в которых содержались бы все разделы логики, изученные на данный момент.
Потому что если с формальной логикой все понятно и этих учебников как собак нерезаных, то вот с логикой современной все печально и уже намного труднее найти нормальные экземпляры.

Нашел только два таких, и то - с натяжкой.
Первый это учебник Конверского, который вроде как более-менее и в нем содержится вся логика, что мне и нужно, а второй это с кафедры СПбГУ под редакцией Мигунова и компании, где его писали 13 человек и он получился, мягко говоря, посредственным - слишком много лишнего текста и некоторые главы написаны хреново.
О книгах Челпанова и Поварнина мне известно - нет, это немного не то. То есть достойно изучения, но уже потом, попозже. Учебники по формальной логике Гусева, Гетмановой, Кириллова и Старченко, Беркова, Светлова и прочих я тоже знаю.

Короче если знаете годные учебники, в которых полностью раскрывается вся логика, существующая на данный момент, то посоветуйте. Упор на объем содержания учебника и на качество текста - доступно и не слишком доморощено.
2 159290
>>59288 (OP)
Пройди пару топовых курсов от универов на степике. Потом возвращайся с ответами, будем вопрошать
3 159427
>>59288 (OP)

>найти нормальных учебников, в которых содержались бы все разделы логики, изученные на данный момент.


Честно говоря прожектерство какое-то, уровня невидимого розового единорога.

Вот тебе 2 курса лекций
https://teach-in.ru/course/matlog-yavorskaya-p1
https://teach-in.ru/course/matlog-yavorskaya-ff
Все актуальные логики там рассматриваются в том объеме, в каком оно нужно теоретикам-математикам.

Настоятельно рекомендую начать с курса той же авторки о понятийном аппарате математики (с 1-й по 13-ю лекции включительно, дальше не нужно)
https://teach-in.ru/course/conceptual-apparatus-of-mathematics
Никакой специальной подготовки не требуется, никакой матан не затрагивается. Это база, которая вводится практически с чистого листа и необходимая для адекватного восприятия курсов по логике.

Если после изучения этих лекций ты не сможешь самостоятельно конкретизировать свои интересы, то боюсь, что это диагноз.

Из того, что не охватывает этот курс, но о чем неплохо быть осведомленным: проективно-модальная онтология (несмотря на название, это обобщение логики), мереология, формальная онтология (именно формальная).
4 159534
>>59288 (OP)
Мендельсон + Клини, если не знаешь англа. Из англа ищи graduate text in mathematics и undergraduate. Там же есть problems book по матлогу
5 159535
>>59534
А, и да. Есть еще кембриджский текстбук Modern Mathematical Logic (https://www.thetwig.com/book/9781108833141)
6 159572
>>59427

>Вот тебе 2 курса лекций


>


Которые ведутся даже не доктором наук с мировым именем. а какой-то хуесоской доценткой, которая всю жизнь потратила в пустую и ничего не открыла и не создала, пустое место.

По логике я ему в другом разделе накидал литературы нормальной от Аристотеля до Шенфилда.
7 159590
>>59572
Яворская как раз норм, корешится с норм логиками вроде того же Беклемишева. А ты просто долбоебик, который содержание оценить не может -- видать, сам в матлоге-то не очень шаришь, так что можешь свою литературу в попку себе засунуть, птушник)
8 159592
>>59427

>Из того, что не охватывает этот курс, но о чем неплохо быть осведомленным: проективно-модальная онтология (несмотря на название, это обобщение логики), мереология, формальная онтология (именно формальная).



Это вообще НИКАК нахуй с матлогом не связано) речь только о применении матлога к какой-то хуйне -- все; никакого нового содержания это в матлог не принесло и не принесет
9 159605
>>59598 (Del)
Ну тут согласен. Но применять матлог к чему-либо вещь не самая тривиальная, на самом деле. Тогда могу докинуть сюда Грэм Приста. У него есть книжка в серии very short introduction в логику, там как раз применение матлога к аргументам про Бога, например, занимательная вещь довольно. Ну и классиков аналфила, вроде Рассела, Куайна и так далее
10 159610
>>59590

>норм логиками вроде того же Беклемишева.


Твой одноклассник дырявый? Про него хотя бы в Польше слышали?
11 159611
>>59610

>Польше


В этой-то нищей помойке без нормальных вузов?) xdd
Ты для начала содержание курсов глянь, которые Яворская с Беклемишем задвигают, и че-то по ним скажи, если тебе компетенция позволяет
image.png26 Кб, 1105x212
12 159612
13 159613
>>59592

> матлог


Отвратительный канцелярит.

>[не] связано


ПМО - развитие нашим русским слонярой идей Лесьневского, Тарского, всей этой Львовско-Варшавской школы.

Мереология - составляет конкуренцию теории множеств в основаниях математики.
14 159614
>>59613
Это обычное сокращение

>Мереология - составляет конкуренцию теории множеств в основаниях математики.



Ссылку в студию
15 159615
>>59614
Сам найдешь, не маленький.
16 159617
>>59572

>ведутся даже не доктором


Здоровым людям доктор не требуется. Яворская - талантливый преподаватель.

>всю жизнь потратила


на совершенствование и полировку в том числе этих курсов.
image.png13 Кб, 677x125
17 159618
>>59615
Да, действительно, сам нашел
18 159620
>>59618
Хвалю.
19 159684
>>59611
Даже глянуть не буду, если хочешь - заплати мне и тогда я подумаю на следующей неделе, на этой занят.
Может и нищая помойка, но университеты явно посолиднее. То есть даже там.

>>59612
То есть никто, я так и думал, у меня регалий больше, чем у твоих клоунов ничтожеств.
20 159685
>>59617

>Яворская - талантливый преподаватель.


Не видел ее среди преподавателей Гарварда.
Статуса хоть какого в области педагогических наук у нее тоже нет. Она вообще кто? Талантливый преподаватель, потому что?
Сколько великих людей она воспитала? Хотя бы пятерых?
image.png75 Кб, 672x792
21 159692
>>59684

>Может и нищая помойка, но университеты явно посолиднее. То есть даже там.


Нет) ни один вуз польши ни в каком рейтинге и рядом не стоит с топовыми университетами рахи, в котором как раз ру логики преподают) А ты просто хуесос без компетенции, который сейчас жопой скачет. Ты хоть одну теоремку-то доказать сможешь, дурачек? Хотя ты же хохол. Или поляк. То есть явно без возможности получить нормальное образование и средним айкью в районе 90. Так что вопрос о том, что ты что-то можешь пиздеть по поводу логики закрыт

А по поводу Беклемишева -- опять же, ты, долбоебик, и слова не поймешь в том, о чем он вещает. Как и Яворская. Хотя бы одну статью читани для начала, если англ знаешь хоть, птушник
22 159698
>>59692
Мог бы не расписывать свою боль по поводу фактов, я все равно не читал. И твои нонеймы никому не интересны.
23 159701
>>59698
Да ладно, птушное ебало польское, бывает такое, что тебя обоссывают
24 160411
>>59692
В мировой топ-500 входит пара польских универов, медицинский и Ягелонский. Рашкинских туда входит штук 5. При этом население вчетверо больше. Получается в среднем образование рашки в полтора раза хуже польского.
изображение.png98 Кб, 602x461
25 160432
>>60411

> При этом население вчетверо больше. Получается в среднем образование рашки в полтора раза хуже польского.



ПДЫВЗДПХЪЫЗВДЗХЫВПДЗХЪДЗХЪЫПДЗХЪВЫВПДЗХЪДЗХЪЫВПДЗХЪDGP{}SDGLP{}SDGLP{}LSDGP{}SDGLP{}SDGLPjikop[

>В мировой топ-500 входит пара польских универов, медицинский и Ягелонский.



В какой топ и какие места? Последние, блядь?) А еще: есть хоть какие-то результаты от существования в польше системы образования? Мб там до хуя филдсовских лауреатов и нобелевских заодно? Может быть они на олимпиадах побеждают? Ах нет, нихуя польша особо не вносит ни во что. И все, что я перечислил, куда больше говорит как об образовании в польше, так и о людях там проживающих. Можешь начинать плакать
26 160433
>>60432

>Russia


>Soviet Union


>отдельно


=)
27 160435
>>60433
Можешь отдельно брать, можешь брать только РФ после совка -- итог будет абсолютно один и тот же
28 168879
(подниму, на всякий)
29 168902
>>59288 (OP)
введение в логику бочарова и маркина яб закинул куда но проще на трекере издание за 2014ый год скачать
30 168931
>>68902
Бля, да перестаньте вы с этим Бочаровым Маркиным носиться, ей богу. Это то же самое, что вместо изучения условного Канта читать хуй знает, какой-нибудь комикс про него. Там разделы, нисколько не связанные с тем, что в логике происходят; притом что на русском реально неплохие текстбуки есть:
- Черч
- Мендельсон
- Клини
- Верещагин-Шень
- Колмогоров (но я бы не начинал с него, а оставил как на второй прочитанный учебник)

Ну и под конец закинуть какой-нибудь Смаллиан -- теория формальных систем. На англе "годных" учебников хоть жопой жуй (>>59535).
Из онлайна еще это есть:
https://openlogicproject.org/ (по многим областям логики вводная хуйня)
https://www.logicmatters.net/ (там и блог, и книжки чувака, который этот блог ведет)
31 168932
>>68931
плюс изучения именно таких книг, что тут: на самом деле, все то, что описывается в таких текстубках как у Бочарова-Маркина -- все это является лишь составной частью матлогики. Прочтя Мендельсона, вы ничего не почерпнете у Бочарова-Маркина; а вот обратное неверно
32 168941
>>68932
ты хоть открывал его там так то много разделов логики
33 168942
Что вам дало изучение логики?
34 168946
>>68942
логику...
35 168949
>>68941
Хуйня там, неформальщина обычная + бесполезная силлогистика, которая никому кроме самих Бочарову и Маркину неинтересна
36 168994
>>68949
ну ясно, не открывал, рофланпоминки
37 169051
>>68994

Что не открывал? Ты долбоеб? Хотя по последнему слову ясно, что ты обычный мимокрокодил, который к логике имеет отношение посредственное.
Дедуктивная система с формальным языком и выделенными подмножествами формул, аксиом и правилом вывода там вводится? -- нет. Там обычное семантическое рассмотрение ебаного говна, причем посредственное. Там нету ни теоремы дедукции, ни теорем о полноте -- ни че го. А ты просто говноед, не пиши если не шаришь нихуя
38 169053
>>69051
А, окей, посмотрел. Пару примерчиков синтаксических по проп-ой логике, несколько хуйских таблиц истинности) т.е. то то, что у Мендельсона того же на первых 30 страницах изложено. И ни одной теоремы с метатеории. Действительно, очень годный учебник
39 169086
>>68946
Так она и так изначально присуща почти любому человеку с высшим образованием, поскольку была явным или неявным образом усвоена. Конечно, если человек желает выиграть спор любым путем, то будет прибегать к софистике, но, как правило, логическое мышление для дискуссий и самостоятельных рассуждений по каким-то темам не требует глубоких знаний. А если изучать что-то специально, то аристотелевской логики достаточно. По видеороликам на ютубе.

Хотелось бы конкретные примеры, чтобы понять необходимость изучения УЧЕБНИКОВ логики для философа или просто образованного человека. Как это пригодится в жизни, в дискуссиях по этике или политической философии?
40 169090
>>69086

Современная логика --- это по большей части изучение формальных языков и еже с ним. К "логическому мышлению" имеет посредственное отношение. Люди владеют арифметикой, но вот говорить о них, как о тех, кто понимает математику, вряд ли получится. Так же и с логикой: может быть, люди "логичны", но это не тот уровень, который лежит в основании современной логики. Ну, кнч, математической, ведь другой логики не бывает.
41 169094
>>69086
Это просто навык. По мере овладения им он постепенно отходит в бессознательное, пассивно знаемое, и применяется автоматическим образом.
Соответственно при том же планировании у тебя просто будут иметься способы простраивания аргумента, согласно логическим правилам, без знания о заведомой истинности промежуточных высказываний (только о начальных). Вот, как бы, и всё. (Остальное зависит от твоей IQ).
(Грубо говоря, ты приобретаешь дополнительный "паттерн" мышления, - а польза от него проявляется не столь осознанным или явным образом.)
42 169095
>>69086

>изначально присуща почти любому человеку с высшим образованием


С чего бы это вдруг? Даже в технических и научных ВУЗах (в т.ч. направленных на НИИ) именно логике, в полном варианте, не обучают (только матлогике и дискретной математике, причём так, что ты запоминаешь их только относительно своей дисциплины, а не относительно мира, в целом, - не учат мереологии, не учат применять диалектику, с тобой не ведут беседы как Сократ с Тимеем, и прочее, и прочее).
Как бы, - недостаточно её изучить, надо ещё её повторять по "interleaved" схеме, и регулярно применять в жизни. Только тогда она пойдёт как вклад в развитие. Иначе это будет сугубо специальный и узко-технический навык, не более.
44 169302
>>69053
какой из? их такт два
45 169619
>>59288 (OP)
Все это имеет практическое применение? К чему?
17058904611020.jpg271 Кб, 1920x1080
46 169644
плюс изучения именно таких книг, что тут: на самом деле, все то, что описывается в таких текстубках как у Бочарова-Маркина -- все это является лишь составной частью матлогики. Прочтя Мендельсона, вы ничего не почерпнете у Бочарова-Маркина; а вот обратное неверно
47 169747
>>59427
по тексту все же проще работать, чем смотреть лекции.
Обновить тред
« /ph/В начало тредаВеб-версияНастройки
/a//b//mu//s//vg/Все доски

Скачать тред только с превьюс превью и прикрепленными файлами

Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах.Подробнее