Если наш мир - такой возможный мир, где вы бы хотели присоединиться к чтениям, то заходите
Forwarded from Матклуб
Начинаем чтение Modal Logic, Chagrov A., Zakharyaschev M.
Модальной логике уже более века, если считать с первого определения с помощью исчислений Кларенсом Льюсом. Сегодня это богатая область, результаты которой применяются от философии до компьютерных наук. В этой книге Чагров и Захарьящев исследуют расширения пропозициональной унимодальной классической логики K и интуиционистской логики Гейтинга Int. По уровню изложения теории книга находится примерно между вводными текстами и передовыми исследованиями.
Встречаемся на нашем дискорд-сервере в воскресение, 8 декабря, 19:00 по Москве, прочитать Preface.
Книга в первом комменте.
Сервер: https://discord.gg/Pa4az2e7MC
Модальной логике уже более века, если считать с первого определения с помощью исчислений Кларенсом Льюсом. Сегодня это богатая область, результаты которой применяются от философии до компьютерных наук. В этой книге Чагров и Захарьящев исследуют расширения пропозициональной унимодальной классической логики K и интуиционистской логики Гейтинга Int. По уровню изложения теории книга находится примерно между вводными текстами и передовыми исследованиями.
Встречаемся на нашем дискорд-сервере в воскресение, 8 декабря, 19:00 по Москве, прочитать Preface.
Книга в первом комменте.
Сервер: https://discord.gg/Pa4az2e7MC
Душный синтаксис
Как думаете, аргумент валиден?
Некоторые из вас уже писали мне, но всё же было бы интересно, если бы и другие написали в лс - почему вы считаете, что верен тот вариант ответа, что вы избрали
Душный синтаксис
Как думаете, аргумент валиден?
Это я тут экспериментальной философией занимаюсь.
Любопытно, что в голосовании доминирует взгляд, согласно которому аргумент валиден, тогда как среди отписавшихся мне не было ни одного человека, который бы сообщил о том, что считает аргумент валидным
Любопытно, что в голосовании доминирует взгляд, согласно которому аргумент валиден, тогда как среди отписавшихся мне не было ни одного человека, который бы сообщил о том, что считает аргумент валидным
This media is not supported in your browser
VIEW IN TELEGRAM
Так и надо заниматься своим логическим исследованием
Душный синтаксис
Как думаете, аргумент валиден?
Самое время подвести итоги.
Данный аргумент был взят из статьи про причинность известного российского аналитического философа.
Мой друг предложил мне помочь с формальным анализом аргумента, и я пытался провести логический анализ разными путями.
Какими бы путями я ни шёл, везде аргумент не оказывался валидным, если только не изменять аргумент настолько, что его посылки становятся более сильными утверждениями (скажем, содержащие необходимость).
На эту статью были написаны ответные статьи именитых современных авторов (типа Деннета). Были разные возражения, однако меня интересовала только логическая сторона вопроса, и пара независимых друг от друга авторов (Олсон и Столджер) также отстаивала невалидность аргумента.
Когда я запустил голосование, долго доминировало мнение о валидности аргумента (примерно 60на40).
С кем-то из друзей и знакомых я к тому моменту уже успел обсудить the аргумент, но я попросил вас отписать мне ваши обоснования.
И вот что интересно.
Почти все написавшие были людьми, кто голосовал за невалидность аргумента. При этом почти все (кроме, быть может, 1-2 человек) предоставили такие варианты анализа, из которых видно, что человек по меньшей мере достаточно осведомлён в основах логического анализа рассуждений (значительную часть написавших людей я ранее не знал, поэтому не мог иметь более общие основания).
И согласно всем этим вариантам анализа оказывалось, что аргумент не является валидным.
Среди написавших обратное было не более чем «ну вроде очевидно, а в чем проблема?». Не было обоснования и уверенного ответа, тогда как знающие логику предоставляли разнообразные варианты анализа, каждый из которых можно хорошо обдумывать.
Интересно, что как только я озвучил такое положение дел, то люди стали голосовать иначе. Думаю, что без этого была бы похожая картина, как с другими логическими голосованиям, где большинство ошибается, если нет подготовки.
Так или иначе, слепое исследование показало, что не таким именитым и имеющим вес в философском сообществе, но знающим основы логического анализа людям, не составило труда разобраться с обсуждаемым аргументом не хуже известных во всём мире авторов, причем не все знали, откуда этот аргумент и кто его автор.
Мораль - логика не необходима, но она может сделать вас лучше, так что она достойна изучения, даже если вы считаете себя принадлежащими к другой философской традиции, считаете, что познание должно быть мистическим и бла-бла-бла.
И если хотите, можете написать мне и начать учиться логике:)
Данный аргумент был взят из статьи про причинность известного российского аналитического философа.
Мой друг предложил мне помочь с формальным анализом аргумента, и я пытался провести логический анализ разными путями.
Какими бы путями я ни шёл, везде аргумент не оказывался валидным, если только не изменять аргумент настолько, что его посылки становятся более сильными утверждениями (скажем, содержащие необходимость).
На эту статью были написаны ответные статьи именитых современных авторов (типа Деннета). Были разные возражения, однако меня интересовала только логическая сторона вопроса, и пара независимых друг от друга авторов (Олсон и Столджер) также отстаивала невалидность аргумента.
Когда я запустил голосование, долго доминировало мнение о валидности аргумента (примерно 60на40).
С кем-то из друзей и знакомых я к тому моменту уже успел обсудить the аргумент, но я попросил вас отписать мне ваши обоснования.
И вот что интересно.
Почти все написавшие были людьми, кто голосовал за невалидность аргумента. При этом почти все (кроме, быть может, 1-2 человек) предоставили такие варианты анализа, из которых видно, что человек по меньшей мере достаточно осведомлён в основах логического анализа рассуждений (значительную часть написавших людей я ранее не знал, поэтому не мог иметь более общие основания).
И согласно всем этим вариантам анализа оказывалось, что аргумент не является валидным.
Среди написавших обратное было не более чем «ну вроде очевидно, а в чем проблема?». Не было обоснования и уверенного ответа, тогда как знающие логику предоставляли разнообразные варианты анализа, каждый из которых можно хорошо обдумывать.
Интересно, что как только я озвучил такое положение дел, то люди стали голосовать иначе. Думаю, что без этого была бы похожая картина, как с другими логическими голосованиям, где большинство ошибается, если нет подготовки.
Так или иначе, слепое исследование показало, что не таким именитым и имеющим вес в философском сообществе, но знающим основы логического анализа людям, не составило труда разобраться с обсуждаемым аргументом не хуже известных во всём мире авторов, причем не все знали, откуда этот аргумент и кто его автор.
Мораль - логика не необходима, но она может сделать вас лучше, так что она достойна изучения, даже если вы считаете себя принадлежащими к другой философской традиции, считаете, что познание должно быть мистическим и бла-бла-бла.
И если хотите, можете написать мне и начать учиться логике:)