Провожу поверхностное расследование, откуда есть пошла "современная логика" и постоянно натыкаюсь на всё более интересные примеры умозаключений. Для меня они поистине загадочные.
Привожу одни из самых загадочных, из тех что успел найти:
1 линия Петербургского метро открыта в 1955 году
Все станции метро, имеющие выход к вокзалам, расположены на 1 линии Петербургского метро
-----------------------------------------------------
По крайней мере, некоторые станции метро, имеющие выход к вокзалам, открыты в 1955 году
Все станции метро, имеющие выход к вокзалам, расположены на 1 линии Петербургского метро
1955 год – год открытия станций метро, имеющих выход к вокзалам
-----------------------------------------------------
1955 год - год открытия 1-ой линии Петербургского метро
Практически не сомневаюсь, что в двух этих примерах правильно каждое утверждение, но в целом... как умозаключения... они явный бред, ну или не исключён вариант собственного умопомешательства.
Поэтому я и решил задать вопросы сообществу:
- Если Вы считаете, что в этих умозаключениях всё правильно, то прошу написать: Каким образом каждое из заключений получено из пары предыдущих суждений?
- Если же Вы считаете, что умозаключения неправильные, то: В чём состоят логические ошибки?
У меня, конечно, есть собственный ответ на второй вопрос, но, если верить источнику примеров, эта логика имеет некое отношение к нашей высшеэкономической элите. Отсюда лично у меня возникли сомнения и риторический вопрос: Может мне надо было эту логику изучать, а не заниматься всякими глупостями. Трудился бы сейчас не покладая рук над благополучием государства... 🤔
Комментарии
Нет. Допущения именно не допускаются. Извиняюсь за тавтологию. Иначе это не логика, а гадание на кофейной гуще.
Возможно речь идёт об установлении истины. Если так, то без дополнительной информации в виде знания истории питерского метростроения вряд ли представляется возможным проверить эти логические примеры.
Не, тут не про установление истины. Говорят это Аристотель в "Аналитике" считал силлогизмы единственным достоверным источником научной истины. Если не врут, то Аристотель ошибался на счёт единственности.
В учебнике комментарий, что первое утверждение трактуется как M a P. То есть «∀(станций метро 1 линии Петербургского метро) верно (открыта в 1955 году)».
Это и удивительно. Формально это было бы "Все 1-е линии Петербургского метро открыты в 1955 году". А может всё-таки "Все станции метро 1-й линии Петербургского метро открыты в 1955 году". Если последнее верно, то в заключении должно быть "все", а не "некоторые".
"некоторые" - это по крайней мере... а по факту может и все :) "крайняя мера" - это очевидно дополнительные условия
В обратном изложении можно было бы придраться.
Не понял. Где-то ниже меня пытались убедить в том, что между "некоторые" и "по крайней мере, некоторые" есть разница. Но пока я не понял в чём эта разница.
А у вас "по крайней мере, некоторые" отличаются от просто "некоторых"... Чем? Если я правильно понял, "по крайней мере, некоторые" могут оказаться "по факту" "всем"? А могут и не оказаться? Хм. Могет быть, могет быть...
Но речь, то как раз о том, что, без введения в умозаключения соответствующего суждения, "все" не могут оказаться ни "некоторыми", ни "по крайней мере, некоторыми".
Ну это у вас - у классиков не могут, т.к. вам везде необходимо чувствовать фактор времени. "по крайней мере, некоторые" завязано на время, т.е. на дату постройки. "все" на время не завязано формально, но в рамках логического уравнения вам удобнее думать, что завязано, хотя прямого указания на это счёт нет. (Вы делаете допущение, что первая линия вся открылась одномоментно. Делаете вы это осознанно или нет - это интересный вопрос. ).
В вашем понимании атрибут времени наделён бóльшим весом, чем атрибут "выходы к вокзалам", хотя речь именно о них.
Ферштейн?
Не, не, не.
Не надо путать формальную логику и диалектику, а меня с теми кто пытается биться о "фактор времени" в формальной логике.
В моём понимании у времени нет ни атрибутов, ни их веса. Изначально, время (как и пространство) это атрибутивное свойство существования материи. Материя может существовать только в движении (не путать движение с частным случаем с перемещением), то есть, материя постоянно изменяется. Изменения эти фиксируются в событиях - где каждое событие это результат взаимодействия определённых частей материи. Ну а превратить время в меру можно только измерив промежуток между некими событиями, выразив его через определённые периодические промежутки.
Это если коротко и без ссылок.
Ну диалектика - это тоже логика, пусть будет квантовая. В моём понимании она формальную логику превосходит. Там, где формальная логика видит ошибку, квантовая еë преодолевает.
Вы вполне можете быть правы в своих суждениях в рамках формальной логики, но цели, которых вы придерживаетесь в рамках формальной логики весьма спорны
Если квантовая логика - это больше о том, как найти решение, то формальная логика - это скорее о том, как найти ошибку.
Прибавьте к размышлениям ваше второе уравнение.. Может быть будет более понятно.. Но это не точно :)
Тут могу еще посоветовать темы про качественное и количественное восприятие времени..
Это что за "второе уравнение"? 😲
Да. В учебнике этот силлогизм приведён как тот, в котором не соблюдены правила фигур.
На конечой остановке все пассажиры сходят. На некоторой остановке все пассажиры сошли. Это конечная остановка?
На этом как-то подорвался мой знакомый, который ездил где-то и ему объяснили, что ну никак он не может ошибиться с остановкой, тк она -- конечная и там все сходят. Объясняли такие же как он знатоки логики - юристы.
Вашему знакомому, при возвращении из поездки, надо было вменить юристам иск. Я бы, за моральный ущерб, взял коньяком.
Нет, он был обижен на логику. Проблема его была в том, что он ездил в каком-то селе, где его пригласили на свадьбу. Туда автобусы не ездили, надо было сойти на конечной в другом НМ и оттуда попуткой, автостопом или ножками полчаса. А так автобус уехал и он оказался в совсем другой деревне :) Возмущению его не было предела - логика обманула и его, и друзей. Хотя я не уверен, что в Юридическом изучают логику.
1. Пример.
В 1955 году была открыта 1 линия метро, состоящая из двух станций. Ни одна из этих станция не имела выход к вокзалам. В 1960 году на 1 линии построили несколько станций, имеющих выход к вокзалам.
Пример удовлетворяет обоим посылкам, но не удовлетворяет заключению. Следовательно заключение неверно.
2. Пример.
В 1900 году была открыта 1 линия метро, состоящая из двух станций. Ни одна из этих станций не имела выход к вокзалам. В 1955 году на 1 линии построили несколько станций, имеющих выход к вокзалам.
Аналогично.
С проверкой согласен.
А где тут аффта Логику то углядел?
Здесь тупо причинно-следственные связи детектед.
А Логика то -- где?
Ну и процитирую сам себя(да вот такой я нескромный):
Логика суть есть проекция в менталь единственного Закона существования нашей(а возможно и не только нашей) Вселенной. Закона устойчивости/равновесия.
Всё очень просто -- логика есть минимизация затрат и выполнения условия равновесия/устойчивости. Сиречь баланса.
Я как раз спрашиваю есть ли логика в тех примерах, где я её не вижу.
А с нескромным не соглашусь. Если логика это и некая "проекция" в
ментальмышление, то проекция деятельности человечка - результат его практики по познанию Вселенной.По поводу вами спрашиваемого -- вы же сами всё обозначили цитатой о силлогизме.
Это классическая задача о вводных условиях.
Если вы основываетесь на таких то вводных, то вывод будет такой то. Если вводные сякие то, то и вывод будет сякой то. А если вводные этакие, то и вывод -- этакий.
Это никакого от слова сов7 отношения к логике не имеет.
А ежели вы присовокупите к вводным и цель вашего вывода -- вы получите почти полную формулу построения от вводных к выводу.
"Всё течёт, все
движетсяизменяется". Если уж марксизм устарел, то почему бы и логике не устареть? Сколько можно боготворить бородатых классиков?! Я Аристотеля имею в виду. Ведь у эпохи постмодерна тоже должна быть некая логика. Вот мне и интересно какая она.С остальным в общем-то согласен.
Логика устареет примерно тогда же, когда устареет арифметика.
Это не логика устарела - это сдурели те, кто ей вздумал приписывать лишние функции, а потом ожидать от логики их выполнения и разочаровываться по результату.
👍
Именно из-за неоднозначности естественного языка и появились все эти гадости - исчисление предикатов и прочая бяка.
==========
"Многие беседы ученых мужей кончаются спорами о значении слов".
Как-то, уже давненько, я пытался читать журнал "Логические исследовании" выпускаемый РАН... или это был альманах... впрочем, не важно. И с "все эти гадости" не могу не согласиться. Их там полным полно. "К
онгресс, немцыкванторы, предикаты какие-то...", а о чём все исчисления... вообще уже не понятно.Ну а в естественном языке много такого, чего и не снилось нашим
мудрецамакадемикам.В формальной логике ещё есть забавный момент:
Ну подобных "парадоксов" в формальной логике полным полно, в том числе в алгебре логики. В данном случае, это просто утверждение которое утверждает о собственной ложности. Дизъюнкция с первым операндом значения уже не имеет.
Без дизъюнкции парадокс очевиден (утверждение не может быть ни истинно ни ложно).
А с дизъюнкцией выглядит как классическое доказательство от противного.
Абсолютно согласен. По-моему дизъюнкция тут добавлена с целью развлечь компанию, в которой о дизъюнкции может и слыхом не слыхивали. То есть, это из серии "логики шутят". А остальные... пусть голову ломают. 😜
Бог мой, аффтар, возьми уже обыкновенный учебник "Логика" и прочти, блин, что такое "категорический силлогизм", его правила и на кой хрен студентам дают подобные примеры.
А, да. И не позорься больше.
P. S. Я с ужасом думаю, что с ним будет, когда ему апории Зенона на глаза попадутся. Ведь, там "никакой логики" (с) (R) (tm)!
На счёт Бога вы погорячились. Уверяю вас, я не Бог, но с удовольствием прочту «обыкновенный учебник "Логика"». Ссылочкой не поделитесь? Или хотя бы укажите на автора и год издания. Ведь меня тоже интересует "на кой хрен студентам дают подобные примеры".
А вот с апориями Зенона я знаком. Вас интересует какая-то конкретная? Впрочем, любая из апорий в формальную логику не укладывается. Именно этим они и замечательны.
ложность выводов легко показать контрпримерами в обоих случаях
Именно так.
Уважаемый автор статьи
, с чего вы надумали увязать представленные сообщения в логические последовательности? Там просто сообщения и поэтому нет смысла говорить о логике или о её отсутствии. Просто сообщения. Хотите увязать? Увязывайте и не морочьте головы.
А так... прикольная статья..
В смысле? Где "там просто сообщения"? Там, если по этой ссылке, то там учебный материал для студентов. А в сообществе, надеюсь, есть студенты или хотя бы те кто был студентом.
Я настаиваю, что там перечисление. Связь только по отношению к транспорту.
А критиковать учебники, я не собираюсь, так как знаю, что дело это пустое для меня.
Ошибаетесь. По ссылке часть некого учебного пособия по логике - файл "Силлогизм и модусы.pdf". А "перечисление" представлены как примеры силлогизмов по модусу Barbari. (На самом деле, у силлогизма такого модуса нет). А выглядят представленные примеры так:
Ваше право. Я ведь не настаиваю. Но сообщество ведь не состоит из одного человека.
А так-то меня радует, что пока большинство комментаторов согласно с тем что в этих "умозаключениях" явные логические ошибки.
А в чем логика? Что именно радует? Большинство с вами согласно. Вы рады, что большинство ошибается. Вы рады, что вы и большинство правы. Вы рады, что там такие учебные материалы.
ЗЫ - конечно сорян, за множество вопросов, но нему о логичности не я замутил. Автору вроде бы надо как-то соответствовать.
Отбросив ложную скромность, я рад что у большинства комментаторов логика такая же как у меня, классическая. 😇
А вот такие "учебные материалы" меня пугают. В интернете я, конечно, многого повидал, но что может прийти в голову изучившим такую "логику"... даже страшно представить.
Опять вы про "двадцать пять". Сказано - "все". И сказано - "по крайней мере некоторые".
Некоторые не противоречит всем, так как допускает как все, так и меньше, кроме никаких.
Нет. В логике "все" - означает общеутвердительное суждение, а "некоторые" - частноутвердительное. ("ко крайней мере" это уже лишняя финтифлюшка).
Да, "некоторые" это меньше чем "все", но когда делается логически правильное умозаключение, не допускается никакой замены "все" на "некоторые".
И надеюсь вы не будите утверждать, что из "все белорусы суть белорусы" следует, что "некоторые белорусы это белорусы". Раз уж "некоторые" меньше чем "все", то следовательно, должны существовать некоторые другие белорусы (не некоторые), а они тогда кто? Небелорусы что ли?
Вы выдернули - "по крайней мере". Вот эта часть выражения ставит всё на свои места.
"По крайней мере некоторые" - не всегда "некоторые". Здесь нельзя ставить знак равенства. "По крайней мере" - говорит нам, что утверждение не твердое и говорящий высказывает мнение, а не утверждение.
Вы ставите меня в тупик.
Если в отношении "все" "некоторые" понятно кто больше, а кто меньше.
Так дело не в разнице "больше-меньше", а в логичность/нелогичнось/нет смысла говорить о логичности. Три состояния.
... ладно... ухожу спать. Сорян. Не сбегаю, но уже мне надо.
Всего доброго.
Если не пропускать слова, а читать включая «М а Р», то есть.
Предлагаете использовать «М а Р» в обычное речи? Было бы любопытно, вот только - вряд ли согласится даже "некоторое" сообщество.
Страницы