Не знаю уже куда податься, это просто пиздец какой-то, может тут найдутся честные люди и чего подскажут.
Увлекаюсь логикой, но не получается найти нормальных учебников, в которых содержались бы все разделы логики, изученные на данный момент.
Потому что если с формальной логикой все понятно и этих учебников как собак нерезаных, то вот с логикой современной все печально и уже намного труднее найти нормальные экземпляры.
Нашел только два таких, и то - с натяжкой.
Первый это учебник Конверского, который вроде как более-менее и в нем содержится вся логика, что мне и нужно, а второй это с кафедры СПбГУ под редакцией Мигунова и компании, где его писали 13 человек и он получился, мягко говоря, посредственным - слишком много лишнего текста и некоторые главы написаны хреново.
О книгах Челпанова и Поварнина мне известно - нет, это немного не то. То есть достойно изучения, но уже потом, попозже. Учебники по формальной логике Гусева, Гетмановой, Кириллова и Старченко, Беркова, Светлова и прочих я тоже знаю.
Короче если знаете годные учебники, в которых полностью раскрывается вся логика, существующая на данный момент, то посоветуйте. Упор на объем содержания учебника и на качество текста - доступно и не слишком доморощено.
Увлекаюсь логикой, но не получается найти нормальных учебников, в которых содержались бы все разделы логики, изученные на данный момент.
Потому что если с формальной логикой все понятно и этих учебников как собак нерезаных, то вот с логикой современной все печально и уже намного труднее найти нормальные экземпляры.
Нашел только два таких, и то - с натяжкой.
Первый это учебник Конверского, который вроде как более-менее и в нем содержится вся логика, что мне и нужно, а второй это с кафедры СПбГУ под редакцией Мигунова и компании, где его писали 13 человек и он получился, мягко говоря, посредственным - слишком много лишнего текста и некоторые главы написаны хреново.
О книгах Челпанова и Поварнина мне известно - нет, это немного не то. То есть достойно изучения, но уже потом, попозже. Учебники по формальной логике Гусева, Гетмановой, Кириллова и Старченко, Беркова, Светлова и прочих я тоже знаю.
Короче если знаете годные учебники, в которых полностью раскрывается вся логика, существующая на данный момент, то посоветуйте. Упор на объем содержания учебника и на качество текста - доступно и не слишком доморощено.
>>59288 (OP)
Пройди пару топовых курсов от универов на степике. Потом возвращайся с ответами, будем вопрошать
Пройди пару топовых курсов от универов на степике. Потом возвращайся с ответами, будем вопрошать
>>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
Никакой специальной подготовки не требуется, никакой матан не затрагивается. Это база, которая вводится практически с чистого листа и необходимая для адекватного восприятия курсов по логике.
Если после изучения этих лекций ты не сможешь самостоятельно конкретизировать свои интересы, то боюсь, что это диагноз.
Из того, что не охватывает этот курс, но о чем неплохо быть осведомленным: проективно-модальная онтология (несмотря на название, это обобщение логики), мереология, формальная онтология (именно формальная).
>найти нормальных учебников, в которых содержались бы все разделы логики, изученные на данный момент.
Честно говоря прожектерство какое-то, уровня невидимого розового единорога.
Вот тебе 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
Никакой специальной подготовки не требуется, никакой матан не затрагивается. Это база, которая вводится практически с чистого листа и необходимая для адекватного восприятия курсов по логике.
Если после изучения этих лекций ты не сможешь самостоятельно конкретизировать свои интересы, то боюсь, что это диагноз.
Из того, что не охватывает этот курс, но о чем неплохо быть осведомленным: проективно-модальная онтология (несмотря на название, это обобщение логики), мереология, формальная онтология (именно формальная).
>>59288 (OP)
Мендельсон + Клини, если не знаешь англа. Из англа ищи graduate text in mathematics и undergraduate. Там же есть problems book по матлогу
Мендельсон + Клини, если не знаешь англа. Из англа ищи graduate text in mathematics и undergraduate. Там же есть problems book по матлогу
>>59534
А, и да. Есть еще кембриджский текстбук Modern Mathematical Logic (https://www.thetwig.com/book/9781108833141)
А, и да. Есть еще кембриджский текстбук Modern Mathematical Logic (https://www.thetwig.com/book/9781108833141)
>>59427
Которые ведутся даже не доктором наук с мировым именем. а какой-то хуесоской доценткой, которая всю жизнь потратила в пустую и ничего не открыла и не создала, пустое место.
По логике я ему в другом разделе накидал литературы нормальной от Аристотеля до Шенфилда.
>Вот тебе 2 курса лекций
>
Которые ведутся даже не доктором наук с мировым именем. а какой-то хуесоской доценткой, которая всю жизнь потратила в пустую и ничего не открыла и не создала, пустое место.
По логике я ему в другом разделе накидал литературы нормальной от Аристотеля до Шенфилда.
>>59572
Яворская как раз норм, корешится с норм логиками вроде того же Беклемишева. А ты просто долбоебик, который содержание оценить не может -- видать, сам в матлоге-то не очень шаришь, так что можешь свою литературу в попку себе засунуть, птушник)
Яворская как раз норм, корешится с норм логиками вроде того же Беклемишева. А ты просто долбоебик, который содержание оценить не может -- видать, сам в матлоге-то не очень шаришь, так что можешь свою литературу в попку себе засунуть, птушник)
>>59427
Это вообще НИКАК нахуй с матлогом не связано) речь только о применении матлога к какой-то хуйне -- все; никакого нового содержания это в матлог не принесло и не принесет
>Из того, что не охватывает этот курс, но о чем неплохо быть осведомленным: проективно-модальная онтология (несмотря на название, это обобщение логики), мереология, формальная онтология (именно формальная).
Это вообще НИКАК нахуй с матлогом не связано) речь только о применении матлога к какой-то хуйне -- все; никакого нового содержания это в матлог не принесло и не принесет
>>59598 (Del)
Ну тут согласен. Но применять матлог к чему-либо вещь не самая тривиальная, на самом деле. Тогда могу докинуть сюда Грэм Приста. У него есть книжка в серии very short introduction в логику, там как раз применение матлога к аргументам про Бога, например, занимательная вещь довольно. Ну и классиков аналфила, вроде Рассела, Куайна и так далее
Ну тут согласен. Но применять матлог к чему-либо вещь не самая тривиальная, на самом деле. Тогда могу докинуть сюда Грэм Приста. У него есть книжка в серии very short introduction в логику, там как раз применение матлога к аргументам про Бога, например, занимательная вещь довольно. Ну и классиков аналфила, вроде Рассела, Куайна и так далее
>>59590
Твой одноклассник дырявый? Про него хотя бы в Польше слышали?
>норм логиками вроде того же Беклемишева.
Твой одноклассник дырявый? Про него хотя бы в Польше слышали?
>>59610
В этой-то нищей помойке без нормальных вузов?) xdd
Ты для начала содержание курсов глянь, которые Яворская с Беклемишем задвигают, и че-то по ним скажи, если тебе компетенция позволяет
>Польше
В этой-то нищей помойке без нормальных вузов?) xdd
Ты для начала содержание курсов глянь, которые Яворская с Беклемишем задвигают, и че-то по ним скажи, если тебе компетенция позволяет
>>59592
Отвратительный канцелярит.
ПМО - развитие нашим русским слонярой идей Лесьневского, Тарского, всей этой Львовско-Варшавской школы.
Мереология - составляет конкуренцию теории множеств в основаниях математики.
> матлог
Отвратительный канцелярит.
>[не] связано
ПМО - развитие нашим русским слонярой идей Лесьневского, Тарского, всей этой Львовско-Варшавской школы.
Мереология - составляет конкуренцию теории множеств в основаниях математики.
>>59613
Это обычное сокращение
Ссылку в студию
Это обычное сокращение
>Мереология - составляет конкуренцию теории множеств в основаниях математики.
Ссылку в студию
>>59572
Здоровым людям доктор не требуется. Яворская - талантливый преподаватель.
на совершенствование и полировку в том числе этих курсов.
>ведутся даже не доктором
Здоровым людям доктор не требуется. Яворская - талантливый преподаватель.
>всю жизнь потратила
на совершенствование и полировку в том числе этих курсов.
>>59618
Хвалю.
Хвалю.
>>59617
Не видел ее среди преподавателей Гарварда.
Статуса хоть какого в области педагогических наук у нее тоже нет. Она вообще кто? Талантливый преподаватель, потому что?
Сколько великих людей она воспитала? Хотя бы пятерых?
>Яворская - талантливый преподаватель.
Не видел ее среди преподавателей Гарварда.
Статуса хоть какого в области педагогических наук у нее тоже нет. Она вообще кто? Талантливый преподаватель, потому что?
Сколько великих людей она воспитала? Хотя бы пятерых?
75 Кб, 672x792>>59684
Нет) ни один вуз польши ни в каком рейтинге и рядом не стоит с топовыми университетами рахи, в котором как раз ру логики преподают) А ты просто хуесос без компетенции, который сейчас жопой скачет. Ты хоть одну теоремку-то доказать сможешь, дурачек? Хотя ты же хохол. Или поляк. То есть явно без возможности получить нормальное образование и средним айкью в районе 90. Так что вопрос о том, что ты что-то можешь пиздеть по поводу логики закрыт
А по поводу Беклемишева -- опять же, ты, долбоебик, и слова не поймешь в том, о чем он вещает. Как и Яворская. Хотя бы одну статью читани для начала, если англ знаешь хоть, птушник
>Может и нищая помойка, но университеты явно посолиднее. То есть даже там.
Нет) ни один вуз польши ни в каком рейтинге и рядом не стоит с топовыми университетами рахи, в котором как раз ру логики преподают) А ты просто хуесос без компетенции, который сейчас жопой скачет. Ты хоть одну теоремку-то доказать сможешь, дурачек? Хотя ты же хохол. Или поляк. То есть явно без возможности получить нормальное образование и средним айкью в районе 90. Так что вопрос о том, что ты что-то можешь пиздеть по поводу логики закрыт
А по поводу Беклемишева -- опять же, ты, долбоебик, и слова не поймешь в том, о чем он вещает. Как и Яворская. Хотя бы одну статью читани для начала, если англ знаешь хоть, птушник
>>59692
Мог бы не расписывать свою боль по поводу фактов, я все равно не читал. И твои нонеймы никому не интересны.
Мог бы не расписывать свою боль по поводу фактов, я все равно не читал. И твои нонеймы никому не интересны.
>>59698
Да ладно, птушное ебало польское, бывает такое, что тебя обоссывают
Да ладно, птушное ебало польское, бывает такое, что тебя обоссывают
>>59692
В мировой топ-500 входит пара польских универов, медицинский и Ягелонский. Рашкинских туда входит штук 5. При этом население вчетверо больше. Получается в среднем образование рашки в полтора раза хуже польского.
В мировой топ-500 входит пара польских универов, медицинский и Ягелонский. Рашкинских туда входит штук 5. При этом население вчетверо больше. Получается в среднем образование рашки в полтора раза хуже польского.
98 Кб, 602x461>>60411
ПДЫВЗДПХЪЫЗВДЗХЫВПДЗХЪДЗХЪЫПДЗХЪВЫВПДЗХЪДЗХЪЫВПДЗХЪDGP{}SDGLP{}SDGLP{}LSDGP{}SDGLP{}SDGLPjikop[
В какой топ и какие места? Последние, блядь?) А еще: есть хоть какие-то результаты от существования в польше системы образования? Мб там до хуя филдсовских лауреатов и нобелевских заодно? Может быть они на олимпиадах побеждают? Ах нет, нихуя польша особо не вносит ни во что. И все, что я перечислил, куда больше говорит как об образовании в польше, так и о людях там проживающих. Можешь начинать плакать
> При этом население вчетверо больше. Получается в среднем образование рашки в полтора раза хуже польского.
ПДЫВЗДПХЪЫЗВДЗХЫВПДЗХЪДЗХЪЫПДЗХЪВЫВПДЗХЪДЗХЪЫВПДЗХЪDGP{}SDGLP{}SDGLP{}LSDGP{}SDGLP{}SDGLPjikop[
>В мировой топ-500 входит пара польских универов, медицинский и Ягелонский.
В какой топ и какие места? Последние, блядь?) А еще: есть хоть какие-то результаты от существования в польше системы образования? Мб там до хуя филдсовских лауреатов и нобелевских заодно? Может быть они на олимпиадах побеждают? Ах нет, нихуя польша особо не вносит ни во что. И все, что я перечислил, куда больше говорит как об образовании в польше, так и о людях там проживающих. Можешь начинать плакать
>>60433
Можешь отдельно брать, можешь брать только РФ после совка -- итог будет абсолютно один и тот же
Можешь отдельно брать, можешь брать только РФ после совка -- итог будет абсолютно один и тот же
(подниму, на всякий)
>>59288 (OP)
введение в логику бочарова и маркина яб закинул куда но проще на трекере издание за 2014ый год скачать
введение в логику бочарова и маркина яб закинул куда но проще на трекере издание за 2014ый год скачать
>>68902
Бля, да перестаньте вы с этим Бочаровым Маркиным носиться, ей богу. Это то же самое, что вместо изучения условного Канта читать хуй знает, какой-нибудь комикс про него. Там разделы, нисколько не связанные с тем, что в логике происходят; притом что на русском реально неплохие текстбуки есть:
- Черч
- Мендельсон
- Клини
- Верещагин-Шень
- Колмогоров (но я бы не начинал с него, а оставил как на второй прочитанный учебник)
Ну и под конец закинуть какой-нибудь Смаллиан -- теория формальных систем. На англе "годных" учебников хоть жопой жуй (>>59535).
Из онлайна еще это есть:
https://openlogicproject.org/ (по многим областям логики вводная хуйня)
https://www.logicmatters.net/ (там и блог, и книжки чувака, который этот блог ведет)
Бля, да перестаньте вы с этим Бочаровым Маркиным носиться, ей богу. Это то же самое, что вместо изучения условного Канта читать хуй знает, какой-нибудь комикс про него. Там разделы, нисколько не связанные с тем, что в логике происходят; притом что на русском реально неплохие текстбуки есть:
- Черч
- Мендельсон
- Клини
- Верещагин-Шень
- Колмогоров (но я бы не начинал с него, а оставил как на второй прочитанный учебник)
Ну и под конец закинуть какой-нибудь Смаллиан -- теория формальных систем. На англе "годных" учебников хоть жопой жуй (>>59535).
Из онлайна еще это есть:
https://openlogicproject.org/ (по многим областям логики вводная хуйня)
https://www.logicmatters.net/ (там и блог, и книжки чувака, который этот блог ведет)
>>68931
плюс изучения именно таких книг, что тут: на самом деле, все то, что описывается в таких текстубках как у Бочарова-Маркина -- все это является лишь составной частью матлогики. Прочтя Мендельсона, вы ничего не почерпнете у Бочарова-Маркина; а вот обратное неверно
плюс изучения именно таких книг, что тут: на самом деле, все то, что описывается в таких текстубках как у Бочарова-Маркина -- все это является лишь составной частью матлогики. Прочтя Мендельсона, вы ничего не почерпнете у Бочарова-Маркина; а вот обратное неверно
>>68941
Хуйня там, неформальщина обычная + бесполезная силлогистика, которая никому кроме самих Бочарову и Маркину неинтересна
Хуйня там, неформальщина обычная + бесполезная силлогистика, которая никому кроме самих Бочарову и Маркину неинтересна
>>68994
Что не открывал? Ты долбоеб? Хотя по последнему слову ясно, что ты обычный мимокрокодил, который к логике имеет отношение посредственное.
Дедуктивная система с формальным языком и выделенными подмножествами формул, аксиом и правилом вывода там вводится? -- нет. Там обычное семантическое рассмотрение ебаного говна, причем посредственное. Там нету ни теоремы дедукции, ни теорем о полноте -- ни че го. А ты просто говноед, не пиши если не шаришь нихуя
Что не открывал? Ты долбоеб? Хотя по последнему слову ясно, что ты обычный мимокрокодил, который к логике имеет отношение посредственное.
Дедуктивная система с формальным языком и выделенными подмножествами формул, аксиом и правилом вывода там вводится? -- нет. Там обычное семантическое рассмотрение ебаного говна, причем посредственное. Там нету ни теоремы дедукции, ни теорем о полноте -- ни че го. А ты просто говноед, не пиши если не шаришь нихуя
>>69051
А, окей, посмотрел. Пару примерчиков синтаксических по проп-ой логике, несколько хуйских таблиц истинности) т.е. то то, что у Мендельсона того же на первых 30 страницах изложено. И ни одной теоремы с метатеории. Действительно, очень годный учебник
А, окей, посмотрел. Пару примерчиков синтаксических по проп-ой логике, несколько хуйских таблиц истинности) т.е. то то, что у Мендельсона того же на первых 30 страницах изложено. И ни одной теоремы с метатеории. Действительно, очень годный учебник
>>68946
Так она и так изначально присуща почти любому человеку с высшим образованием, поскольку была явным или неявным образом усвоена. Конечно, если человек желает выиграть спор любым путем, то будет прибегать к софистике, но, как правило, логическое мышление для дискуссий и самостоятельных рассуждений по каким-то темам не требует глубоких знаний. А если изучать что-то специально, то аристотелевской логики достаточно. По видеороликам на ютубе.
Хотелось бы конкретные примеры, чтобы понять необходимость изучения УЧЕБНИКОВ логики для философа или просто образованного человека. Как это пригодится в жизни, в дискуссиях по этике или политической философии?
Так она и так изначально присуща почти любому человеку с высшим образованием, поскольку была явным или неявным образом усвоена. Конечно, если человек желает выиграть спор любым путем, то будет прибегать к софистике, но, как правило, логическое мышление для дискуссий и самостоятельных рассуждений по каким-то темам не требует глубоких знаний. А если изучать что-то специально, то аристотелевской логики достаточно. По видеороликам на ютубе.
Хотелось бы конкретные примеры, чтобы понять необходимость изучения УЧЕБНИКОВ логики для философа или просто образованного человека. Как это пригодится в жизни, в дискуссиях по этике или политической философии?
>>69086
Современная логика --- это по большей части изучение формальных языков и еже с ним. К "логическому мышлению" имеет посредственное отношение. Люди владеют арифметикой, но вот говорить о них, как о тех, кто понимает математику, вряд ли получится. Так же и с логикой: может быть, люди "логичны", но это не тот уровень, который лежит в основании современной логики. Ну, кнч, математической, ведь другой логики не бывает.
Современная логика --- это по большей части изучение формальных языков и еже с ним. К "логическому мышлению" имеет посредственное отношение. Люди владеют арифметикой, но вот говорить о них, как о тех, кто понимает математику, вряд ли получится. Так же и с логикой: может быть, люди "логичны", но это не тот уровень, который лежит в основании современной логики. Ну, кнч, математической, ведь другой логики не бывает.
>>69086
Это просто навык. По мере овладения им он постепенно отходит в бессознательное, пассивно знаемое, и применяется автоматическим образом.
Соответственно при том же планировании у тебя просто будут иметься способы простраивания аргумента, согласно логическим правилам, без знания о заведомой истинности промежуточных высказываний (только о начальных). Вот, как бы, и всё. (Остальное зависит от твоей IQ).
(Грубо говоря, ты приобретаешь дополнительный "паттерн" мышления, - а польза от него проявляется не столь осознанным или явным образом.)
Это просто навык. По мере овладения им он постепенно отходит в бессознательное, пассивно знаемое, и применяется автоматическим образом.
Соответственно при том же планировании у тебя просто будут иметься способы простраивания аргумента, согласно логическим правилам, без знания о заведомой истинности промежуточных высказываний (только о начальных). Вот, как бы, и всё. (Остальное зависит от твоей IQ).
(Грубо говоря, ты приобретаешь дополнительный "паттерн" мышления, - а польза от него проявляется не столь осознанным или явным образом.)
>>69086
С чего бы это вдруг? Даже в технических и научных ВУЗах (в т.ч. направленных на НИИ) именно логике, в полном варианте, не обучают (только матлогике и дискретной математике, причём так, что ты запоминаешь их только относительно своей дисциплины, а не относительно мира, в целом, - не учат мереологии, не учат применять диалектику, с тобой не ведут беседы как Сократ с Тимеем, и прочее, и прочее).
Как бы, - недостаточно её изучить, надо ещё её повторять по "interleaved" схеме, и регулярно применять в жизни. Только тогда она пойдёт как вклад в развитие. Иначе это будет сугубо специальный и узко-технический навык, не более.
>изначально присуща почти любому человеку с высшим образованием
С чего бы это вдруг? Даже в технических и научных ВУЗах (в т.ч. направленных на НИИ) именно логике, в полном варианте, не обучают (только матлогике и дискретной математике, причём так, что ты запоминаешь их только относительно своей дисциплины, а не относительно мира, в целом, - не учат мереологии, не учат применять диалектику, с тобой не ведут беседы как Сократ с Тимеем, и прочее, и прочее).
Как бы, - недостаточно её изучить, надо ещё её повторять по "interleaved" схеме, и регулярно применять в жизни. Только тогда она пойдёт как вклад в развитие. Иначе это будет сугубо специальный и узко-технический навык, не более.
>>69053
какой из? их такт два
какой из? их такт два
>>59288 (OP)
Все это имеет практическое применение? К чему?
Все это имеет практическое применение? К чему?
271 Кб, 1920x1080плюс изучения именно таких книг, что тут: на самом деле, все то, что описывается в таких текстубках как у Бочарова-Маркина -- все это является лишь составной частью матлогики. Прочтя Мендельсона, вы ничего не почерпнете у Бочарова-Маркина; а вот обратное неверно
>>59427
по тексту все же проще работать, чем смотреть лекции.
по тексту все же проще работать, чем смотреть лекции.
>>70061
А к философии это какое отношение имеет?
Есть логика, которая часть математики. Вся остальная логика - это что и зачем?
А к философии это какое отношение имеет?
Есть логика, которая часть математики. Вся остальная логика - это что и зачем?
>>69619
Формальная логика идеально вписывается в текущую идеологию, то есть подчинена логике адаптации под социальную реальность. Берём искренний и правильный человеческий порыв учиться и знать больше, отвечаем на него методом, предполагающим оправдание и подгон под правила: любой бред будет логичным, если непротиворечив. Об этом писал ещё Кант:
Одно дело, когда преподаватель в университете отрабатывает зарплату. Другое дело, когда анон пытается наладить свою жизнь и буквально сходит с ума, повторяя "не следует" и "логически не противоречиво, значит возможно", в таком духе, в общем
Формальная логика идеально вписывается в текущую идеологию, то есть подчинена логике адаптации под социальную реальность. Берём искренний и правильный человеческий порыв учиться и знать больше, отвечаем на него методом, предполагающим оправдание и подгон под правила: любой бред будет логичным, если непротиворечив. Об этом писал ещё Кант:
>общая логика не содержит и не может содержать никаких предписаний для способности суждения, кроме как умения подводить под правила, т. е. различать, подчинено ли нечто данному правилу… или нет
Одно дело, когда преподаватель в университете отрабатывает зарплату. Другое дело, когда анон пытается наладить свою жизнь и буквально сходит с ума, повторяя "не следует" и "логически не противоречиво, значит возможно", в таком духе, в общем