Формализация логического закона достаточного основания

Аватар пользователя Кормин Михаил
Систематизация и связи
Основания философии
Логика
Ссылка на философа, ученого, которому посвящена запись: 

30 мая 2020 года во время диалектического обсуждения методологии статьи в разделе Александра Леонидовича Бурылова (Пермского) (Кормин Михаил, 30 Май, 2020 - 20:51, ссылка) совершенно случайно мне пришло в голову как формализовать правило достаточного основания логики высказываний.  Правило впервые было сформулировано Лейбницем.

«…ни одно явление не может оказаться истинным или действительным, ни одно утверждение справедливым, — без достаточного основания, почему именно дело обстоит так, а не иначе, хотя эти основания в большинстве случаев вовсе не могут быть нам известны»

— Лейбниц, «Монадология»

Правило достаточного основания, несмотря на то, что стоит в одном ряду с таким основополагающими законами логики, как закон тождества, закон исключенного третьего,  закон запрещенного противоречия до сих пор не формализовано. Оно дополняет основную триаду логических законов, опираясь только на основания здравого смысла. Формализация в состоянии превратить этот, безусловно полезный принцип теоретического мышления, в полноценный логический закон. Вопросов как назвать новый формализованный закон логики у меня не возникло. Как автор формализации, я называю его «Формализованный Закон Достаточного Основания Лейбница». Формализация опирается на общепринятый символьный аппарат формальной логики и таблицы истинности. Никаких изменений в существующий матаппарат не вносится.

Формализация правила достаточного основания.

Начнем с единственной аксиомы на которую будет опираться Формализованный Закон Достаточного Основания Лейбница.

 

Импликация истинна тогда и только тогда, когда посылка включена в следствие. 

 

В качестве доказательства аксиомы возьмем таблицу истинности импликации. В соответствии с общепринятыми стандартами математической логики когда истинно принимается 1, а лож принимается 0, можно использовать графическое представление полного соответствия таблицы истинности импликации аксиоме.

таблица истинности импликации

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

 

Графическое представления я буду использовать и дальше, для того, чтобы показать в чем коренное различие Логического Квадрата Аристотеля, от логики эквивалентности, на которую опирается закон достаточного основания Лейбница.

Логический квадрат Аристотеля

 

Логический квадрат Аристотеля учитывает все возможные варианты Логики предикатов первого уровня. Множество субъектов S может как обладать свойством P, так и не обладать им. В том числе учитывается, что часть субъектов S может обладать свойством, а другая часть им не обладать. Недостаток логического квадрата в том, что все множество свойств, которые после последовательных итераций можно выявить у постоянно уменьшающегося множества субъектов оказываются предикатами первого уровня.

Вложение свойств друг в друга (категории) не предусмотрено логическим квадратом Аристотеля, поскольку отрицание множества субъектов нарушает фундаментальный закон логики «Закон Тождества». Для вложения свойств друг в друга в мат аппарате формальной логики используется логика предикатов высших порядков.

Графическое изображения квадрата вложения свойств друг в друга отличается от Логического квадрата Аристотеля поскольку запрет на отрицание субъекта снимается переходом на второй уровень вложения свойств. Само множество субъектов обозначаемое в символьных записях (s) не отрицается, и соответственно закон тождества не нарушен. А вот свойства могут отрицаться в независимости от уровня вложения, без разницы первого или второго.

Я называю этот квадрат логикой эквивалентности поскольку в сумма контрарных отношений квадрата составляет запись эквивалентности свойств. Но по сути, этот квадрат можно смело назвать логическим квадратом Платона, поскольку он полностью соответствует тому, что утверждал Платон под наукой «Философия».

 "Моя теория содержит "идеи", или "форм". Эта теория является частично логической, и частично метафизической. Логическая часть имеет дело со значением общих слов. Когда ряд индивидов имеет общее название, они имеют также общую "идею" или "форму". Например, имеется много отдельных животных, о которых мы можем точно сказать: "Это кошка", но существует лишь одна "идея", или "форма", кошки. Что мы подразумеваем под словом "кошка"? Очевидно, нечто отличное от каждой отдельной кошки. По-видимому, какое-либо животное является кошкой потому, что оно разделяет общую природу, свойственную всем кошкам. Язык не может обойтись без таких общих слов, как "кошка", и такие слова, очевидно, не являются бессмысленными. Но если слово "кошка" означает что-либо, то оно означает что-то, не являющееся той или этой кошкой, а представляющее собой нечто в роде универсальной кошачности. Она не родилась, когда родилась отдельная кошка, и не умрет вместе со смертью отдельной кошки. На самом деле она не имеет места в пространстве или времени: она "вечна". Это логическая часть теории. Аргументы в ее пользу, независимо от того, являются они, в конце концов, безусловно верными или нет, сильны и совершенно независимы от метафизической части этой теории. Согласно метафизической части этой теории, слово "кошка" означает некоторую идеальную кошку. Об этой одной "кошке", созданной Богом, и единственную в своем роде, возможно знание. Отдельные кошки разделяют природу Кошки, но более или менее несовершенно, являясь лишь копиями "идеи". Только благодаря этому несовершенству может быть много кошек. Идеальная Кошка реальна: отдельные кошки являются лишь кажущимися, и в отношении многих кошек, сделанных Богом, может быть лишь мнение. Я признав идею первопричиной всего сущего, определяю и основную задачу философии, и предмет науки как познание мира идей, которое возможно лишь посредством диалектического процесса мышления как процесса образования и разделения понятий, и выявление их совместимости (или несовместимости) с предметным миром." Платон

 

Платон отделяет чтойность Р от множества субъектов (s) и тем самым снимает запрет на отрицание субъекта наложенный фундаментальным законом Тождества. Это дает возможность итерационно плести из предикатов первого уровня семантические цепи какого угодно уровня вложений. Пирамида категорий может быть бесконечной, но для отдельной итерации всегда используется один и тот же логический квадрат.

Логический квадрат Платона имеет четыре агрегатных состояния в соответствии с двумя горизонтальными и двумя вертикальными делениями.

1) Эквивалентность свойств.

Логический квадрат Платона. Эквивалентность.

2) Не связанность свойств.

Логический квадрат Платона. Не связанность свойств

3) Видовой признак.

Логический квадрат Платона. Видовой признак.

4) Родовой признак.

Логический квадрат Платона. Родовой признак

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

Логическая звезда

В качестве контрарных отношений квадрата эквивалентности (красный квадрат) выступают импликация и репликация. И в том и в другом случае под квантором общности нет необходимости привлекать логическую операцию отрицания. 

 

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

Отсечь состояния №1 и №2. горизонтального деления логического квадрата Платона на истинную и ложную часть нам поможет аксиома подтвержденная таблицей истинности импликации.

Импликация истинна тогда и только тогда, когда посылка включена в следствие. 

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

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

 

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

 (S -> P) v (S <- P) = 1

 (S -> P) ˄ (S <- P) = 0

 

С чисто формальной точки зрения, формализованный закон достаточного основания Лейбница – аналог трехзначной математической логики (истинно, лож, не определено). Но вместо значения «не определено», используется значение «не рассматривается», поскольку, не рассматриваемые варианты не неопределены, а отсечены аксиомой.

Сравнительный анализ раскрытия законов исключенного третьего и непротиворечия через логический квадрат Аристотеля, и формализованный закон достаточного основания Лейбница представлены в следующей презентации.

закон достаточного основания.

Формализованный закон достаточного основания Лейбница, в отличии от логического квадрата Аристотеля, позволяет работать с абстрактными конструкциями любой степени вложения. Это не означает, что привязка к квантору существования не нужна. Это означает, что теория  может в любой момент спустится с любого горизонта абстракции и свериться с фактами чувственного восприятия. Квадрат логики эквивалентности располагает такой возможностью, она просто не рассматривается без насущной необходимости.

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

Применимость Формализованного Закона Достаточного Основания

Формализованный закон достаточного основания Лейбница однозначно выявляет обоснованность, истинность и ложность речевых оборотов: потому что, следовательно, если….то, и других аналогов использования операций импликации и репликации в рассуждениях, тремя способами.

Истинно

Ложно

Не обоснованно

Обоснование применения логической операции репликации, одновременно является обоснованием логической операции импликации и наоборот.

 

Не имеет значения разговорная это речь здесь и сейчас, или текст любой давности.

 

Практическое применение формализованного закона достаточного основания Лейбница.

 

Если взять два высказывания не различая изначально которое из них посылка, а которое следствие то истинное следствие согласно аксиоме «Импликация истинна тогда и только тогда, когда посылка включена в следствие»  можно вычислить по вложению в него посылки. 

Например "ветер дует" "деревья качаются" 

Если не только ветер, но и я могу покачать дерево. Значит "деревья качаются" следствие. В "деревья качаются" кроме ветра включены и другие сторонние силы способные их покачать. 

В соответствии с формализованным законом достаточного основания мы вправе утверждать. 

Деревья качаются, потому что ветер дует  (истинно)

Ветер дует, потому что деревья качаются (ложно)

Применение речевого оборота «потому, что» обоснованно.

В качестве практики применения разберем примеры приведенные в википедии к неформализованному правилу достаточного основания.

 1)Это вещество является электропроводным, потому что оно — металл.

Это по сути логика предикатов, поскольку посылка и следствие представлены понятиями, но не высказываниями.

Хорошим проводником электричества кроме металлов является вода. Не только металл, но и вода проводит электричество. Электропроводность – следствие. Металл - посылка.

Электропроводен, потому что металл – истинно.

Металл, потому что электропроводен – ложно.

Применение речевого оборота «потому что» обоснованно.

 

В данном примере использована логическая операция репликации. В случае если использовать логическую операцию импликации суждение будет выглядеть следующим образом.

Если металл, то электропроводен – истинно

Если электропроводен, то металл – ложно.

Металл, следовательно электропроводен – истинно

Электропроводен, следовательно металл – ложно

 

Поскольку формализованный закон достаточного основания Лейбница аналог трехзначной логики я не могу сказать однозначно ДРУГИХ ВАРИАНТОВ НЕТ.

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

 

2) «Не ставьте мне двойку, спросите ещё, я же прочитал весь учебник (основание), что-нибудь уж точно отвечу (тезис)»

Этот пример нужно привести в форму импликации, либо репликации. По смыслу больше подходит репликация.

«Не ставьте мне двойку, спросите ещё, что-нибудь уж точно отвечу, потому что я прочитал весь учебник». 

 

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

Применение речевого оборота «потому что» не обоснованно.

 

«Преступление совершил Н. (тезис), ведь он сам признался в этом и подписал все показания (основание)»

 

Приводим в форму репликации.

«Преступление совершил Н. , потому что он сам признался в этом и подписал все показания»

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

Применение речевого оборота «потому что» не обоснованно.

 

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

Каждый раз, когда причинно-следственная связь, укоренившаяся в мировоззрении теряет свой статус истинности человеку немножечко больно. Неважно, обретает эта связь статус ложной, или необоснованной. Думайте об этом, когда применяете этот закон на практике.

Данная публикация не требует одобрения ни одного ученого совета любой Академии наук, поскольку в доказательствах применяются символьные записи и таблицы истинности, действенные во всех возможных мирах. Я выбрал ФШ в качестве резервации авторского права на формализацию «Формализованного закона достаточного основания Лейбница» только потому, что он был открыт именно на этой площадке. ФШ специализированный ресурс, который открывался для обсуждения актуальных философских вопросов, а не как ресурс для людей, которым не с кем поговорить. От комментариев с критикой самой формализации я жду сопровождения символьными записями, либо графическими материалами.

 

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

Комментарии

Аватар пользователя Дилетант

Импликация истинна тогда и только тогда, когда посылка включена в следствие.

Импликация (от лат. implicatio — «связь») — бинарная логическая связка, по своему применению приближенная к союзам «если…, то…». Импликация записывается как посылка. следствие; ... 

Чем импликация отличается от посылки?

Основание будет достаточно тогда, когда посылка оставляет свой след. След именно этой посылки, а не другой.

Аватар пользователя Кормин Михаил

Дилетант, 17 Январь, 2021 - 14:18, ссылка

Чем импликация отличается от посылки?

Основание будет достаточно тогда, когда посылка оставляет свой след. След именно этой посылки, а не другой.

Владимир. В Символьной логике следов быть не может. Эта самореферентная теория не реагирует на количество. Там есть только двоичный код (1:0)

Например. 

Если включить выключатель, то загорится лампочка.

Лампочка может как гореть, так и не гореть. С включенным выключателем лампочка горит. Посылка включена в следствие. Не исправности электоропроводки, мы не рассматриваем, то, что она исправна задано условиями задачи.

 

Аватар пользователя Дилетант

Кормин Михаил, 17 Январь, 2021 - 14:42, ссылка
В Символьной логике следов быть не может. Эта самореферентная теория не реагирует на количество. Там есть только двоичный код (1:0)

Откуда  тогда взялась "посылка"? 

Лампочка может как гореть, так и не гореть. С включенным выключателем лампочка горит. Посылка включена в следствие.

 Что за "посылка"? Пошлите вместо электрического тока, ток воды, - лампочка загорится?

Импликация истинна тогда и только тогда, когда посылка включена в следствие - это не я придумал.
Но полностью понимаю "включение посылки в следствие".

Аватар пользователя Кормин Михаил

Дилетант, 17 Январь, 2021 - 15:08, ссылка

Откуда  тогда взялась "посылка"? 

Откуда мне знать. Это у историков философии спросить надо, кто этот термин ввел. Искусственный язык. За каждым термином стоит причина со своими инициалами. Не обязательно это ФИО, но что нибудь подобное.

Дилетант, 17 Январь, 2021 - 15:08, ссылка

Что за "посылка"? Пошлите вместо электрического тока, ток воды, - лампочка загорится?

Импликация истинна тогда и только тогда, когда посылка включена в следствие - это не я придумал.
Но полностью понимаю "включение посылки в следствие".

Мне зачем вводить новые термины. Ту часть символьной записи, которая смотрит на стрелочку сзади обычно называют либо антецедентом (Кантовская школа), либо посылкой (? кто придумал). А ту часть которая смотрит на стрелочку спереди обычно называют консеквентом (Кантовская школа), либо следствием (? кто ввел)

 

А вот у Воды нет достаточного основания включить лампочку, поскольку посылка не включена в следствие.  И у угля нет достаточного основания. И у акумулятора. Это проблема электросети. А она исправна по условиям задачи.

 

Аватар пользователя Дилетант

Кормин Михаил, 17 Январь, 2021 - 16:00, ссылка
А вот у Воды нет достаточного основания включить лампочку, поскольку посылка не включена в следствие.

В переводе на русский: вода (посылка) не может залезть в лампочку, поэтому лампочка и не горит (следствие). А вот если бы вода смогла залезть в нить накаливания, то, кто знает, может лампочка бы и загорелась. 

Аватар пользователя Олан Дуг

Дилетант, 18 Январь, 2021 - 11:53, ссылка

вода (посылка) не может залезть в лампочку, поэтому лампочка и не горит (следствие).

В вашем примере неверна сама методология.

Пример Кормина с электричеством и лампочкой лишь пример мысленного процесса.

Вы заменили электричество на воду, но оставили лампочку. Получилось: в огороде бузина, а в Киеве дядька.

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

Получаем две равнозначные аналогии: при включении тока электронов  лампочка светит.

При включении тока воды, крыльчатка вращается.

Ваша "вода в лампочке" это не аналогия, а формулировка гипотезы, требующей опытной проверки. В этом смысле я согласен с вами: При определенных условиях для освещения можно использовать и воду (нужно только найти эти условия).

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

Аватар пользователя Дилетант

Олан Дуг, 18 Январь, 2021 - 12:16, ссылка
При определенных условиях для освещения можно использовать и воду

Это и есть закон достаточного основания; если "послали воду", то и "получить" надо воду, а не "электричество" или "свет". А потом из движения воды надо выделить достаточное основание, чтобы можно было говорить о "движении электричества". 

Аватар пользователя Сергей Борчиков

Михаил, пока один формальный вопрос.
В старттопике приведен большой текст в кавычках за подписью Платон:

"Моя теория содержит "идеи"...
c предметным миром.
" Платон

Очень сомнительно, что это цитата из Платона. Это что и как понимать?

Аватар пользователя Кормин Михаил

Сергей Борчиков, 18 Январь, 2021 - 08:51, ссылка

Очень сомнительно, что это цитата из Платона. Это что и как понимать?

 

Это из переписки с Аристотелем. Там вся переписка просто бомба. Точную ссылку сейчас искать некогда. И Аристотелевские и Платоновские тексты эталон логики мышления.

Тоже чето не могу найти. Дело было так. Когда мы проходили древний мир. Нам выдавали список литературы обязательный для прочтения. Чтоб читали оригинальные тексты, в устраивающем препода переводе, а не комментарии современников. Препод был Плотиник, по специализации. На древнегреческом соображал не хуже чем на русском. Если бы ему статус позволял, то он бы нас еще и на оргинальном языке читать заставил. Короче не читать было нельзя. 

А я просто копипастил цитаты которые мне понравились. Сейчас беру из своих запасников.

Аватар пользователя Сергей Борчиков

Ну тогда дело вообще швах, потому что уж очень большая вероятность подмены, фальсификации. Мои контрагрументы.

Аристотель действительно называл идеи формами, но вряд ли Платон.
Ни тот, ни другой не знали слова "метафизика". Оно появилось позже.
Пример кошки очень не по духу античности, скорее, был бы пример с горшком, конем или человеком.
Идею кошки вряд ли Платон считал отличной от самой кошки, скорее, он считал их подобными, состоящими в отношении образца.
Ни в коем случае Платон не увязывал бы идею кошки, как у Вас в тексте, со словом "кошка". Идеи у него существуют в ином (идеальном) мире, чем слова.
Универсальная кощачьесть - это, точно, платоновско-аристотелевская мысль.
Платон, конечно, знал о теории (феории), но вряд ли мог употребить такие современные слова, как "логическая часть теории".
О создании идей Богом - это вообще из серии каких-то христианско-теологических спекуляций. А то, что отдельные кошки являются лишь кажущимися - это из серии древнеиндийской майи.
"Диалектический процесс мышления как процесс образования и разделения понятий" - совсем не платоновский язык, а скорее марксистско-ленинский.

Аватар пользователя Кормин Михаил

Сергей Борчиков, 18 Январь, 2021 - 10:39, ссылка

Ну тогда дело вообще швах, потому что уж очень большая вероятность подмены, фальсификации. Мои контрагрументы.

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

Сергей Борчиков, 18 Январь, 2021 - 10:39, ссылка

"Диалектический процесс мышления как процесс образования и разделения понятий" - совсем не платоновский язык, а скорее марксистско-ленинский.

Значит речь скорее всего о переводчиках советского периода. Эта проблема поставлена уже в 90х годах. 

Однако современный читатель, особенно молодой, возможно, не знает, насколько трудно и тягостно было в советской науке (вплоть до 60-х годов) говорить и писать не только о Платоне и Аристотеле, но и вообще об античной философии объективно, непредвзято, в неискаженном виде. Каждый из философов понимался односторонне и определялся как только материалист или идеалист. Так, основатель идеализма Платон с его учением об идеях, конечно, числился мистиком, Демокрит с его учением об атомах оказывался стойким материалистом. Труднее всего было с Аристотелем. Пришлось остановиться на ленинской формуле: «путается человек».   А. А. Тахо-Годи

Это из введения к изданию 

А. Ф. Лосев

А. А. Тахо-Годи

ПЛАТОН • АРИСТОТЕЛЬ

Серия "Жизнь замечательных людей" впуск 1147 (947)

Ссылку давать не буду, там реклам видимо не видимо. Если интересно, то лучше бумажную версию книжки в библиотеке взять.

 

Основной вопрос который меня сейчас занимает, откуда взялся в рефератах студенческих этот не существовавший диалог.

Расхождения в метафизике

- Аристотель: Учитель, я хочу поставить перед вами вопрос: что для вас философ?

- Платон: Первый ответ находится в согласии с этимологией: философ - это любящий мудрость. Но это не равнозначно любящему знание в том смысле, в каком про любознательного человека можно сказать, что он любит знание; вульгарное любопытство не делает философом. Это человек, который любит "созерцать истину".

- Аристотель: Но что такое созерцание?

- Платон: Обратимся к человеку, который любит прекрасные вещи, который любит присутствовать на представлении, смотреть картины и слушать музыку. Такой человек не является философом, потому что он любит лишь прекрасные вещи, тогда как философ любит прекрасное само по себе. Человек, который любит лишь прекрасные вещи, живет во сне, тогда как человек, который знает абсолютно прекрасное, живет наяву. Первый обладает лишь мнением, второй знанием.

- Аристотель: Какое имеется различие между "знанием" и "мнением"?

- Платон: Человек, обладающий знанием, имеет знание о чем-то, то есть о чем-то, что существует, так как-то, что не существует, есть ничто. Таким образом, знание непогрешимо, поскольку логически невозможно, чтобы оно было ошибочным. Но мнение может быть ошибочным.

- Аристотель: Как же это возможно?

- Платон: Не может быть мнения о том, чего нет, потому что это невозможно; не может быть мнения о том, что есть, так как это было бы знанием. Поэтому мнение должно быть одновременно о том, что есть и чего нет.

- Аристотель: Но как это возможно?

- Платон: Ответ гласит, что отдельные предметы всегда включают в себя противоположные свойства: то, что прекрасно, является также в некоторых отношениях безобразным; то, что справедливо, бывает в некоторых отношениях несправедливым. Все отдельные чувственные объекты, обладают этим противоречивым характером; они являются, таким образом, промежуточными между бытием и небытием и пригодны в качестве предметов мнения, но не знания.

- Аристотель: Таким образом, мнение о мире представлено чувствам, тогда как знание относится к сверхчувственному вечному миру; например, мнение относится к отдельным прекрасным предметам, знание же относится к прекрасному самому по себе.

- Платон: А что же мы скажем о тех, кто созерцает сами эти [сущности], вечно тождественны самим себе? Ведь они познают их, а не только мнят.

- Аристотель: Единственный выдвинутый аргумент того, что будет противоречием самому себе предполагать, что-то или иное явление может быть одновременно прекрасным и непрекрасным или одновременно справедливым и несправедливым и что, тем не менее, отдельные явления, по-видимому, сочетают такие противоречивые свойства. Поэтому отдельные вещи нереальны. Гераклит сказал: "В одну и ту же реку мы входим и не входим, существуем и не существуем".

- Платон: Восприятие представляет нам вещи не такими, какими они есть “на самом деле”, а такими, какими они кажутся нам, или нашим органам чувств. Существует несовпадение знания о мире с самим миром, но и несовпадение понятия о предмете с самим предметом: ведь одно понятие может обозначать многие предметы, но ни один из них не выражает полностью сути этого понятия. Следовательно, основание понятия не в предмете, а в чем-то другом, что не является ни предметом, ни понятием. И этим “другим”, является идея, то есть “для себя сущее или “в себе” вещей”. Соответственно сама идея есть первопричина всего сущего. Идеи вечны, неподвижны и неизменны. Приведу пример идеи прекрасного: нечто, во-первых, вечное, то есть не знающее ни рождения, ни гибели, ни роста, ни оскудения. Во-вторых, не в чем-то прекрасное, а в чем-то безобразное, не когда-то, где-то для кого-то и сравнительно с чем-то прекрасное, а в другое время, в другом месте, для другого и сравнительно с другим безобразное. Прекрасное это предстанет ему не в виде какого-то лица, рук или иной части тела, не в виде какой-то речи или знания, не в чем-то другом, будь то животное, Земля, небо или еще что-нибудь, а само по себе, всегда в самом себе единообразное; все же другие разновидности прекрасного причастны к нему таким образом, что они возникают и гибнут, а его не становится ни больше, ни меньше, и никаких воздействий оно не испытывает.

- Аристотель: Я смею подвергнуть критике твое положение учения о независимости понятий от вещей по бытию. Источником этой ложной мысли в учение об эйдосах, ты учитель убежден в истинности взглядов Гераклита, согласно которым все чувственно воспринимаемое постоянно течет; так что если и есть знание и разумение чего-то, то помимо чувственно воспринимаемого должны существовать другие сущности постоянно пребывающие, ибо в текучем знания не бывает.

- Платон: Моя теория содержит "идеи", или "форм". Эта теория является частично логической, и частично метафизической. Логическая часть имеет дело со значением общих слов. Когда ряд индивидов имеет общее название, они имеют также общую "идею" или "форму". Например, имеется много отдельных животных, о которых мы можем точно сказать: "Это кошка", но существует лишь одна "идея", или "форма", кошки. Что мы подразумеваем под словом "кошка"? Очевидно, нечто отличное от каждой отдельной кошки. По-видимому, какое-либо животное является кошкой потому, что оно разделяет общую природу, свойственную всем кошкам. Язык не может обойтись без таких общих слов, как "кошка", и такие слова, очевидно, не являются бессмысленными. Но если слово "кошка" означает что-либо, то оно означает что-то, не являющееся той или этой кошкой, а представляющее собой нечто в роде универсальной кошачности. Она не родилась, когда родилась отдельная кошка, и не умрет вместе со смертью отдельной кошки. На самом деле она не имеет места в пространстве или времени: она "вечна". Это логическая часть теории. Аргументы в ее пользу, независимо от того, являются они, в конце концов, безусловно верными или нет, сильны и совершенно независимы от метафизической части этой теории. Согласно метафизической части этой теории, слово "кошка" означает некоторую идеальную кошку. Об этой одной «кошке», созданной Богом, и единственную в своем роде, возможно знание. Отдельные кошки разделяют природу Кошки, но более или менее несовершенно, являясь лишь копиями "идеи". Только благодаря этому несовершенству может быть много кошек. Идеальная Кошка реальна: отдельные кошки являются лишь кажущимися, и в отношении многих кошек, сделанных Богом, может быть лишь мнение. Я признав идею первопричиной всего сущего, определию и основную задачу философии, и предмет науки как познание мира идей, которое возможно лишь посредством диалектического процесса мышления как процесса образования и разделения понятий, и выявление их совместимости (или несовместимости) с предметным миром.

 

- Аристотель: Таким образом, ты признаешь два метода познания: чувственный (неподлинный) и понятийно-мысленный (подлинный). Но поскольку всякое познание всегда направлено ни какой-либо объект, то он должен присутствовать и здесь?

- Платон: Этот объект распадается на два: мир изменчивых и конечных во времени предметов и мир вечных неизменных идеальных сущностей - идей. Происходит как бы удвоение мира.

- Аристотель: Согласно духу твоего учения, должны быть только идеи сущностей, но на самом: деле у тебя получаются идеи и многого другого, например идеи качеств, в том числе, например, цветов. Но приобщение к таким идеям было бы случайным, ведь качество изменчиво. Таким образом, идеи должны выражать только сущность. Но у сущности одно и то же значение и в здешнем мире, и в тамошнем. Поэтому твои идеи ничего не объясняют, в учении, происходит лишь удвоение мира.

- Платон: Занебесную область не воспел никто из здешних поэтов... Она же вот какова: эту область занимает бесцветная, без очертаний, неосязаемая сущность, подлинно существующая, зримая лишь кормчему души - уму; на нее-то и направлен истинный род знания. Мир идей, мир чувственно не воспринимаемых сущностей, мир истинно-сущего.

- Аристотель: Такой подход вполне естественно порождает два важных вопроса: как соотносятся эти два противоположных мира и как человек - существо конечное, преходящее, и, следовательно, однозначно принадлежащее к чувственному миру, может познавать недоступный для него по самой своей природе мир идей?

- Платон: Всякая душа бессмертна. Ведь вечнодвижущееся бессмертно. А у того, что сообщает движение другому и приводится в движение другим, движение прерывается, а значит, прерывается и жизнь. Только то, что движет само себя, поскольку оно не покидает само себя, никогда не перестает двигаться; более того, и для всего остального, что движется, оно служит источником и началом движения. Начало не имеет возникновения: всему возникающему необходимо возникать из начала, а само оно ни из чего не возникает, потому что если бы начало возникало из чего-либо, то возникающее возникало бы уже не из начала. Но так как оно не имеет возникновения, ему необходимо быть и неуничтожимым, потому что если бы погибло начало, ни само оно никогда не могло бы возникнуть из чего-либо, ни другое из него, так как все должно возникать из начала. Значит, начало движения - это то, что движет само себя. Оно не может ни погибнуть, ни возникнуть, иначе бы все небо и все возникающее, обрушившись, остановились, и уже неоткуда было бы взяться тому, что бы привело их снова в движение, чтобы они возникли. Итак, выяснилось, что бессмертно движимое само собой; но всякий без колебания скажет, что именно в этом заключается сущность и определение души. Коротко можно сказать: 1) предметный мир есть мир теней, отражение подлинного, идеального; 2) душа человека вечна и бессмертна.

- Аристотель: Я позволю развивать критику твоего учения об идеях и выдвигаю в качестве альтернативы этому учению собственное учение об отношении чувственных вещей к понятиям. Мои возражения против твоего учения об идеях могут быть сведены в основном к четырем, а именно:

Во-первых, предположение об идеях как самостоятельном бытии, отделенном от существования чувственных вещей, бесполезно как для познания этих вещей, так и для объяснения их бытия: эйдосы (идеи) ничего не дают ... для познания всех остальных вещей (они ведь и не сущности этих вещей, иначе они находились бы в них).

Во-вторых, постулируемый тобой мир идей бесполезен не только для познания, но и для чувственного существования вещей - для вечных либо для возникающих и преходящих. Дело в том, что они для этих вещей не причина движения или какого-либо изменения. А с другой стороны, они ничего не дают ... для бытия (раз они не находятся в причастных им вещах). Вместе с тем все остальное не может происходить из эйдосов ни в одном из обычных значений “из”. Говорить же, что они “образцы” и что все остальное им причастно, - значит пустословить и говорить поэтическими иносказаниями. В самом деле, что же это такое, что действует, взирая на идеи? Ведь можно и быть, и становиться сходным с чем угодно, не подражая образцу.

Слово “причастны” вовсе не дает строгого и вразумительного определения отношения между двумя мирами, а является скорее метафорой, что меня не удовлетворяет, кроме того, такое определение, по моему мнению, просто невозможно, так как идеи не есть непосредственные сущности вещей.

В-третьих, мое возражение по поводу твоей теории идей основывается на рассмотрении учения о логических отношениях идей, а именно (1) логических отношений между самими идеями и (2) отношений между идеями и чувственными вещами, то есть логическое отношение идей есть отношение общих идей к идеям частным.

- Платон: Я считаю общее - сущность частного: одна и та же идея может одновременно быть и субстанцией, и несубстанцией. Субстанцией, так как, будучи по отношению к подчиненной ей частной идее более общей, она имеется налицо или отображается в этой частной идее как сущность; несубстанцией - по отношению к более высокой идее, которая и есть ее субстанция.

- Аристотель: Но положение об отношении общих идей к частным и положение о субстанциональности идей, друг другу противоречат. Согласно предположению, на основании которого мы признаем существование идей, должны быть эйдосы не только сущностей, но и многого иного, в самом деле, и мысль едина не только касательно сущностей, но и относительно всего другого; и имеются знания не только о сущности, но и об ином; и получается у них несметное число других подобных [выводов]. Между тем, по необходимости и согласно учениям об эйдосах, раз возможна причастность эйдосам, то должны существовать идеи только сущностей, ибо причастность им не может быть привходящей, а каждая вещь должна быть причастна эйдосу постольку, поскольку он не сказывается о субстрате. Итак, эйдосы были бы только сущностью. Однако и здесь, [в мире чувственно воспринимаемого], и там, [в мире идей], сущность означает одно и то же. Иначе, какой еще смысл имеет утверждение, что есть что-то помимо окружающих нас вещей - единое во многом? Если же идеи и причастные им, вещи принадлежат к одному и тому же виду, то будет нечто общее им. Если же вид для идей и причастных к ним вещей не один и тот же, то у них, надо полагать, только имя общее, и это было бы похоже на то, как если бы кто называл человеком и Каллия, и кусок дерева, не увидев между ними ничего общего.

По моему мнению, ты впутываешься также и в противоречие в своем учении об отношении между областью чувственных вещей и областью идей: я признаю, что вещи чувственного мира заключают в себя нечто общее для них. Но общее - как общее - не может быть простой составной частью отдельных вещей.

- Платон: Я говорю, что общее образует вполне особый мир, отделенный от мира чувственных вещей и совершенно самобытный.

- Аристотель: Итак, отдельно существуют и вещь, и ее идея. Но мир вещей - отображение мира идей, поэтому между каждой отдельной вещью и ее идеей существовать нечто сходное и общее для них обеих. И если по отношению к миру чувственных вещей необходимо допустить отдельный от него и самобытный мир идей, то точно так же по отношению к тому общему, что имеется между миром вещей и миром идей, должен быть допущен - в качестве вполне самобытного - новый мир идей. Это будет уже второй мир идей, возвышающийся одинаково и над первым миром идей, и над миром отдельный чувственных вещей. Но между этим новым, или вторым, миром идей, с одной стороны, а также первым миром идей и миром чувственных вещей - с другой, в свою очередь существует общее. И если в силу сходства мира вещей с первым миром идей оказалось необходимым предположить второй мир идей, то на том же основании - в силу сходства второго мира идей с первым, а также с миром чувственных вещей - необходимо предположить существование особого общего между ними, т.е. существование третьего мира идей. При последовательном развитии этой аргументации пришлось бы прийти к выводу, что над областью чувственных вещей высится не один-единственный самобытный мир идей, а бесчисленное множество таких миров.

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

- Платон: Идеи образуют особый, совершенно отдельный, замкнутый мир сущностей, то не представляется возможным указать причины непрерывно происходящих в чувственном мире изменения и движению.

- Аристотель: Однако если эйдосы и существуют, то вещи, им причастные, все же не возникли бы, если бы не было того, что приводило бы их в движение. С другой стороны, возникает многое другое, например, дом и кольцо, для которых, как мы утверждаем, эйдосов не существует. Поэтому ясно, что и все остальное может быть и возникать по таким же причинам, как и только что указанные вещи. Основная причина трудностей, которые испытывает твоя теория идей, состоит, по моему мнению, в абсолютном обособлении общего от единичного и в противопоставлении их друг другу. Ты в одно и то же время объявляешь идеи общими сущностями, а с другой - отдельно существующими и принадлежащими к единичному. Причина того, почему ты обозначая идеи как общие сущности, связал и то и другое в одно, следующая: ты не отождествляешь эти сущности с чувственно воспринимаемым; потвоему мнению, все единичное в мире чувственно воспринимаемого течет и у него нет ничего постоянного, а общее существует помимо него и есть нечто иное. Повод к этому тебе дал Сократ своими определениями, но он во всяком случае общее не отделял от единичного. И он правильно рассудил, не отделив их. Это ясно из существа дела: ведь, с одной стороны, без общего нельзя получить знания, а с другой - отделение общего от единичного приводит к затруднениям относительно идей.

 

- Платон: Я как сторонник идей, считаю, что если должны быть какие-то сущности помимо чувственно воспринимаемых и текучих, то они необходимо существуют отдельно.

- Аристотель: Бытием обладают не идеи, а отдельные единичные вещи. Само же понятие сущности выражает эту единичность. Класс естественных вещей включает в себя, с одной стороны, сущности, а с другой - их действия и претерпевания. Под сущностями я разумею простые тела, как-то: огонь, землю и рядоположные им тела, а также все, что из них состоит, - живые существа, небесные светила, а равно и части их. Все они называются сущностями потому, что они не сказываются о субстрате, но все остальное сказывается о них; под действиями и претерпеваниями движения тел, их изменения и взаимные превращения. Сущность должна быть в самом предмете, а не вне его, т.е. сущность и предмет должны составлять диалектическое единство. Для того, чтобы понять сущность более полно попробуем раскрыть ее через понятия формы и материи. Я под материей разумею то, что само по себе не обозначается ни как суть вещи, ни как что-то количественное, ни как что-либо другое, чем определено сущее. Свою определенность материальные вещи получают благодаря форме. Формой я называю суть бытия каждой вещи и ее первую сущность. Форма у меня - это не твоя идея, пребывающая в своем собственном мире вне единичных вещей, а нечто, что пребывает в самих вещах и характеризует их. Однако сама форма реализуется только в соединении с материей. Противоположность материи и формы небезусловна. Медь есть материя по отношению к шару, который из нее отливается, но та же медь - форма по отношению к физическим элементам, соединение которых, составляет медь. Следовательно, сущностью можно считать, в одном смысле материю, в другом смысле - форму и в третьем - единство материи и формы. Мое положение о том, что в материальных вещах материя и форма неотделимы друг от друга, и что отделение материи от формы есть напрасный труд, несомненно, диалектично. Платон, ты мне друг, но истинна дороже.

- Платон: Аристотель, ты меня брыкает, как сосунок жеребенок свою мать.

 

Литература.

 

  1. Губинн В.Д, Сидорина Т.Ю., Филатов В.П. Философия. М.: Тон, 1998
  2. Асмус В.Ф. и др. Краткий курс истории философии. М.: Мысль, 1976.
  3. Лосев А.Ф. “Бытие, имя, космос”. М.: Мысль, 1993.
  4. Антипенко Г. "Диалектика истины и красоты в философском наследии Платона и Аристотеля". М., АН СССР, 1983 г.

Не сами же студенты его придумали. Им такой полет фантазий не по зубам. Скопипастили откуда-то. Откуда растут ноги аргументации Аристотеля я выяснил. Это замечательная книжка Лосева А.Ф.

 

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

Сейчас осталось найти, откуда растут ноги аргументации Платона. И я бы очень хотел, чтобы это тоже была какая-нибудь из работ Лосева. Найти более добросовестного историка философии, невероятно сложно. Там обязательно будут ссылки на древние тексты на оригинальном языке. 

Будем искать.

 

 

Аватар пользователя Сергей Борчиков

Михаил, боюсь у нас с Вами разные переводческие культуры.
Для серьезных исследований я предпочитаю всегда читать только первоисточники. По возможности сверяясь с языком оригинала (во всяком случае в центральных терминах). В свое время даже сам сделал перевод фрагментов Анаксагора (могу выслать книжку). Мои микроопыты по фразе Гераклита можете посмотреть в параллельной теме - ссылка.

Поэтому я не стал бы тратить столько время на студенческие эксперименты и придавать им такое значение. Хотя по беглому прочтению вижу, что Аристотель передан там более менее адекватно (наверное, потому, что от Лосева), а Платон вообще не в жилу ("создан" просто по принципу "от обратного"). Поэтому и удивился интерпретации Платона в Вашем тексте.
Хотя есть более аутентичная критика идей Платона самим Аристотелем в его "Метафизике".

Аватар пользователя Кормин Михаил

Сергей Борчиков, 25 Январь, 2021 - 09:59, ссылка

Михаил, боюсь у нас с Вами разные переводческие культуры.

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

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

Синенький логический квадрат имеет устоявшееся историческое название. "Логический квадрат Аристотеля". Хотя сам Аристотель к нему возможно тоже не имеет никакого отношения. По крайней мере, в той же метафизике, я никаких квадратов не видел.

Сергей Борчиков, 25 Январь, 2021 - 09:59, ссылка

Хотя есть более аутентичная критика идей Платона самим Аристотелем в его "Метафизике".

Книжка Лосева 

Как раз перевод 13 и 14 книг метафизики Лосевым. Доверять Вам больше чем Лосеву у меня оснований пока нет. 

Найду ссылку на оригинальный текст. Обсудим нюансы перевода.

Сергей Борчиков, 25 Январь, 2021 - 09:59, ссылка

Поэтому я не стал бы тратить столько время на студенческие эксперименты и придавать им такое значение.

Я всегда занимаюсь только тем, что мне интересно. Слово надо, для меня, не существует. А вот мое, не хочу, не обсуждается. Я же говорю, самодур, деспот, тиран. 

Я буду искать.

Аватар пользователя Сергей Борчиков

Михаил, я же с Вами согласился. Ваша логическая концепция является оригинальной и имеет самостоятельное теоретическое значение. Она не нуждается ни в каких внешних притягиваниях за уши имен Парменида, Платона, Аристотеля (последнего разве что исключительно номинально - для обозначения "квадрата", но не сути его мышления, понимания ума и метафизики). Я бы сосредоточился на более подробной экспликации Вашей модели "круга-шестиугольника" со встроенными в него прямоугольниками. Это многим непонятно. Тогда и более наглядным станут доказательства многих законов логики. Это очень интересно. И эвристично. 

Аватар пользователя Кормин Михаил

Сергей Борчиков, 25 Январь, 2021 - 12:19, ссылка

Я бы сосредоточился на более подробной экспликации Вашей модели "круга-шестиугольника" со встроенными в него прямоугольниками. Это многим непонятно. Тогда и более наглядным станут доказательства многих законов логики. Это очень интересно. И эвристично. 

Хорошо. У меня уже есть запрос довести систему с 10, до 16 булевых функций. Доведу в ближайшее время. 

Аватар пользователя Сергей Борчиков

Загляните в личные сообщения.

Аватар пользователя Олан Дуг

Кормин Михаил, 2 Июнь, 2020 - 08:31

 От комментариев с критикой самой формализации я жду сопровождения символьными записями, либо графическими материалами.

Со статье ознакомился. Понял цель и парадигму. Механизм доказательства понятен и доступен даже для неподготовленного читателя, но... для использования его как инструмента необходимо тщательное изучение и постоянная практика методики применения.

В неформальном виде, из опыта решения практических задач, я использую закон достаточного основания ещё со школьных времен: Это количество знаний необходимо и достаточно для решения данной задачи. 

Это методологическое объединение двух законов - закона необходимого основания и закона достаточного основания.

Закон необходимого - это обязательное определения необходимых знаний и средств для решения поставленной задачи. В противном случае задача будет не решена (проблема не устранима).

Закон достаточного - это Бритва Оккамы - нет необходимости в привлечении лишнего...

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

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

Это правило действует и в нашем случае. парадигму я понял, а вот в полном знании этого метода у меня нет необходимости, за что и прошу прощения.

Аватар пользователя Сергей Борчиков

для использования его как инструмента необходимо тщательное изучение и постоянная практика методики применения.

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

Аватар пользователя vlopuhin

Первое, поверхностное впечатление: "Видите трещины штукатурки на потолке? Это и есть таблица истинности..."

А в общем впечатляет, надо ещё раз прочитать от начала и до конца, возможно дойдёт...

Аватар пользователя Сергей Борчиков

Михаил, куда Вы пропали?
Я за это время окончательно определился с формулой ЗДО - см. ссылка.
И выразил Вам благодарность за сотворчество.
Хотелось бы знать Ваше мнение по формуле.

Аватар пользователя Владимир К

Кормин Михаил, 2 Июнь, 2020 - 08:31

...От комментариев с критикой самой формализации я жду сопровождения символьными записями, либо графическими материалами.

То есть, комментариев вы ждёте только от тех, кто уже согласен вами, что закон достаточного основания поддаётся формализации. Поскольку

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

То есть, достаточным основанием для суждения "Закон достаточного основания формализуем" для вас является "применение символьных записей и таблиц истинности, действенные во всех возможных мирах". Но это смех, а не достаточное основание.

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

Аватар пользователя Сергей Борчиков

Но это смех, а не достаточное основание.

В любом случае - мы с Михаилом хотя бы попытались поискать такое решение и предложили формулу. Доп. см. ссылка.

А что от Вас? Одни злорадствующие реплики. Вот это точно смех: участвовать в дискуссии, чтобы попинать оппонента. Предложите свое решение проблемы достаточного основания. Тогда посмотрим, в каком месте смеяться. Ждем-с...

Аватар пользователя Владимир К

Сергей Борчиков, 25 Январь, 2021 - 12:25, ссылка

...Предложите свое решение проблемы достаточного основания. Тогда посмотрим, в каком месте смеяться. Ждем-с...

Никакой проблемы нет, поскольку закон достаточного основания не формализуем. 

Закон достаточного основания формулируется так:

всякая мысль признаётся истинной, если она имеет достаточное основание.

А достаточным основанием может быть разное. Например:

Достаточным основанием мыслей может быть личный опыт человека. Истинность некоторых суждений подтверждается путём их непосредственного сопоставления с фактами...

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

Истинность законов, аксиом подтверждена практикой человечества и не нуждается поэтому в новом подтверждении...

Какая может быть формализация этого разного? Никакая.

Формами мышления являются: понятие, суждение, умозаключение... Понятие вне характеристики истинно или ложно. А начиная с суждения такая характеристика правомерна. Поэтому закон достаточного основания применим в основном к суждениям. Суждения должны иметь достаточные основания, а потому признаваться истинными. А дальше уже логические операции с суждениями.

Аватар пользователя Кормин Михаил

Владимир К, 25 Январь, 2021 - 12:49, ссылка

Истинность законов, аксиом подтверждена практикой человечества и не нуждается поэтому в новом подтверждении...

Приведите хотя бы один закон, подтвержденный практикой, который не имеет вариационного результата. Любое подтверждение практикой законность основывает на релевантных статистиках. Это приближение к 100% с более менее удовлетворительным результатом.

Владимир К, 25 Январь, 2021 - 12:49, ссылка

Формами мышления являются: понятие, суждение, умозаключение... Понятие вне характеристики истинно или ложно. А начиная с суждения такая характеристика правомерна. Поэтому закон достаточного основания применим в основном к суждениям. Суждения должны иметь достаточные основания, а потому признаваться истинными. А дальше уже логические операции с суждениями.

Это вашими конкретно формами мышления являются: понятие, суждение, умозаключение. У меня этот набор шире. Там есть еще вопросы, оценки, императивы.

Владимир К, 25 Январь, 2021 - 12:09, ссылка

То есть, достаточным основанием для суждения "Закон достаточного основания формализуем" для вас является "применение символьных записей и таблиц истинности, действенные во всех возможных мирах". Но это смех, а не достаточное основание.

Это оценка. Формой мышления она, по вашему, не является. Какого понимания Вы тогда ищете. Вначале приведите свое сообщение в рамки форм мышления.

Ну и я не принуждаю Вас уверовать в формализацию закона достаточного основания.

Википедия в помощь.

https://ru.wikipedia.org/wiki/Закон_достаточного_основания

Тем более если я начну пропускать ваши конкретно сообщения через формализованный закон достаточного основания. 

То эти сообщения совсем не совпадут с вашими же картинками.

 

Вы с завидной регулярностью подтасовываете под отношение подчинения (3) либо отношение несовместимости (4) либо отношение пересечения (2).

Примеров этих подтасовок в ваших текстах масса. Если хотите, я их здесь внимательно и скурпулезно разберу. Хотя сама картинка мне понравилась. Очень напоминает мою. Только моя систематизирована относительно кванторов.

 

 

 

Аватар пользователя Владимир К

Кормин Михаил, 25 Январь, 2021 - 13:29, ссылка

Владимир К, 25 Январь, 2021 - 12:49, ссылка

Истинность законов, аксиом подтверждена практикой человечества и не нуждается поэтому в новом подтверждении...

Приведите хотя бы один закон, подтвержденный практикой, который не имеет вариационного результата. Любое подтверждение практикой законность основывает на релевантных статистиках. Это приближение к 100% с более менее удовлетворительным результатом.

Очевидно, в логике учёного это учитывается применительно к решаемым вопросам. Но вы-то здесь излагаете не логику учёного, а просто логику.

 

 

Владимир К, 25 Январь, 2021 - 12:49, ссылка

Формами мышления являются: понятие, суждение, умозаключение... Понятие вне характеристики истинно или ложно. А начиная с суждения такая характеристика правомерна. Поэтому закон достаточного основания применим в основном к суждениям. Суждения должны иметь достаточные основания, а потому признаваться истинными. А дальше уже логические операции с суждениями.

Это вашими конкретно формами мышления являются: понятие, суждение, умозаключение. У меня этот набор шире. Там есть еще вопросы, оценки, императивы.

У меня после слова "умозаключение" многоточие. Вы знакомы с таким символом?

 

 

 ...Но это смех, а не достаточное основание.

Это оценка. Формой мышления она, по вашему, не является. Какого понимания Вы тогда ищете. Вначале приведите свое сообщение в рамки форм мышления.

Почему не является? Это суждение. Можно без потери смысла написать: "Это не достаточное основание". Общеотрицательное суждение.

 

 

То эти сообщения совсем не совпадут с вашими же картинками.

 

Вы с завидной регулярностью подтасовываете под отношение подчинения (3) либо отношение несовместимости (4) либо отношение пересечения (2).

Собственно, это не мои картинки. Это пояснение кругами Эйлера приводится в книге Дмитрия Гусева "Краткий курс логики: Искусство правильного мышления". (ссылка, стр.7) Я разделяю, потому воспроизвёл.

Дмитрий Алексеевич Гусев (15 мая 1969) — доктор философских наук, профессор кафедры философии Московского Педагогического Государственного Университета им. В.И. Ленина (ссылка).

 

 

Ну и я не принуждаю Вас уверовать в формализацию закона достаточного основания.

Википедия в помощь.

https://ru.wikipedia.org/wiki/Закон_достаточного_основания

Всё правильно:

Закон достаточного основания не формализуется, не является формальным логическим законом и не принадлежит к логике в собственном смысле слова. Он введён из общенаучных методологических соображений, здравого смысла, и направлен против размышления, соблюдающего формально-логическую правильность, но принимающего на веру произвольные, ничем не обоснованные суждения, против различного рода предрассудков и суеверий; он призван выразить то фундаментальное свойство логической мысли, которое называют обоснованностью или доказанностью. Запрещая принимать что-либо только на веру, этот закон выступает преградой для интеллектуального мошенничества и является одним из главных принципов науки (в отличие от псевдонауки)[3].

А вы можете дальше формализовать закон достаточного основания. Если хотите.

Аватар пользователя Сергей Борчиков

Доказательства, что ЗДО не формализуем, не приведено. Есть просто высказывания ряда авторов, и Вас в том числе, что им так видится. Ну видится и видится. Для теоремы Ферма тоже несколько сотен лет не видели, а потом кто-то взял и доказал. А здесь и доказательство приведено. Хотя бы грамотно научно тогда его фальсифицируйте, а не просто мнение высказывайте. 

Аватар пользователя Владимир К

Я в двух сообщениях обосновал, что суждение "Закон достаточного основания формализуем" достаточного основания не имеет. Следовательно, либо это суждение ложно, либо достаточное основание еще нужно поискать. Ищите, кто вам не даёт?

А пока утверждение, излагаемое в Википедии, в силе:

Закон достаточного основания не формализуется, не является формальным логическим законом и не принадлежит к логике в собственном смысле слова...

Аватар пользователя Сергей Борчиков

Ну Википедия нашей формулы ЗДО не видела, с нее спроса нет. А Вы видели, и уже прогресс, что разрешили:

либо достаточное основание еще нужно поискать. Ищите, кто вам не даёт?

Спасибо. Продолжаем искать. Хотя понятно, что оно в нашей формуле сокрыто.
 

Аватар пользователя Владимир Р

Владимир К

...суждение "Закон достаточного основания формализуем" достаточного основания не имеет. Следовательно, либо это суждение ложно, либо достаточное основание еще нужно поискать. Ищите, кто вам не даёт?

Если это суждение рассмотреть в качестве импликации: «Импликация истинна тогда и только тогда, когда посылка включена в следствие» ! Не соображу, что здесь может служить в качестве посылки!?

Аватар пользователя Владимир К

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

 

Вот из книги И. Демидова "Логика: Учебное пособие для юридических вузов", я это имел в виду:

§ 5. Закон достаточного основания

 
   Сущность закона: всякая мысль может быть признана истинной только тогда, когда она имеет достаточное основание, всякая мысль должна быть обоснована.
   Записывается так:
 
   А есть потому, что есть В
 
   В приведенной логической схеме:
   А - это логическое следствие, то есть мысль, которая вытекает из преды­дущей мысли;
   В - логическое основание, то есть мысль, из которой вытекает другая мысль.

 

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

...

   Закон достаточного основания требует обоснованности всякого положе­ния, но он не может указать, каким должно быть конкретное содержание данного основания. Это определяется содержанием соответствующей отрас­ли знания. ...Что же касается достаточных оснований, то ими могут быть очевидность, личный опыт, аксиомы, законы наук, теоремы и т.д. Например, истинность некоторых суждений подтверждается путем их непосредственного сопостав­ления с фактами действительности. 

Ссылка, стр. 34

Аватар пользователя Владимир Р

Если это суждение рассмотреть в качестве импликации: «Импликация истинна тогда и только тогда, когда посылка включена в следствие» ! 

Владимир К

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

Не знаю, может дело в другом? Михаил предлагает ЗДО считать "формализованным", если основание (посылка) удовлетворяет условию аксиомы: "Импликация истинна тогда и только тогда, когда посылка включена в следствие"  !

 

Аватар пользователя Сергей Борчиков

Михаил предлагает ЗДО считать "формализованным"

Изврат позиции: он не просто предлагает считать, он предлагает формулу ЗДО:

Кормин Михаил, 2 Июнь, 2020 - 08:31, ссылка

Это дает возможность отобразить формализованный закон достаточного основания Лейбница в форме закона исключенного третьего и  запрещенного противоречия.
(S → P) v (S ← P) = 1
(S → P) ^ (S ← P) = 0

Я тоже предложил аналогичную формулу:

Сергей Борчиков, 23 Январь, 2021 - 12:06, ссылка

Формула закона достаточного основания

(а → b) v (а ← b)

Вы обе формулы проигнорировали и снова извратили.

Владимир Р, 27 Январь, 2021 - 08:52, ссылка

Если основание (посылка) удовлетворяет условию аксиомы: "Импликация истинна тогда и только тогда, когда посылка включена в следствие"  !  

Импликация не есть формула ЗДО. Формула ЗДО - дизъюнкия импликации и репликации. Читайте внимательно.

Аватар пользователя Владимир Р

Сергей Борчиков

(S → P) v (S ← P) = 1
(S → P) ^ (S ← P) = 0

Формула закона достаточного основания

(а → b) v (а ← b)

Формула ЗДО - дизъюнкия импликации и репликации. Читайте внимательно.

Да, вот теперь, кажется, я начинаю понимать Владимира К. Вы, Сергей, с Михаилом ребята хотя и напористые, но безответственные, по-видимому!? Принцип достаточного основания широко используется и успешно применяется в науке. И в большей своей части принцип достаточного основания служит для верификации или подтверждения теоретических взглядов опытным фактам! Вы же предлагаете, принцип ДО подчинить сугубо бумажной "волоките", формализовав его для "практики" своего ума! Потому-то, в силу практической значимости, этот принцип ДО и не может быть принят в качестве закона формальной логики! ...и нечего страдать, если ещё помните что изучает Логика!?

Аватар пользователя Владимир К

Владимир Р, 27 Январь, 2021 - 08:52, ссылка

...Михаил предлагает ЗДО считать "формализованным"...

Это неверно. А если шире взглянуть на то, что он предлагает, так это онтологические и когнитивные основания логики свести к одним только когнитивным основаниям.

 

Философия логики — раздел философии, изучающий предмет, функциональность и методологию логики как общеметодологической концепции науки. Философия логики исследует проблему наличия и совмещения в логике онтологических и когнитивных оснований, проблему действительности или фиктивности логического следования (импликации, материальной импликации), объёма предваряющих рассуждения объявлений (деклараций), содержания категорий истина и ложь.

Ссылка

То есть, нынешнюю логику, подобную физике, низвести до логики, подобной алхимии.

Аватар пользователя Владимир Р

Владимир К, 27 Январь, 2021 - 13:14, ссылка

Это неверно. А если шире взглянуть на то, что он предлагает, так это онтологические и когнитивные основания логики свести к одним только когнитивным основаниям.

Скорее, сфера онтологии, в которой зачастую и применим принцип достаточного основания, лишь малой толикой касается оснований логики. Логика наука о мышлении, а не о мире в целом!  Поэтому и нельзя 

Философия логики — раздел философии,изучающий предмет, функциональность и методологию логики как общеметодологической концепции науки. Философия логики исследует проблему наличия и совмещения в логике онтологических и когнитивных оснований, проблему действительности или фиктивности логического следования (импликации, материальной импликации), объёма предваряющих рассуждения объявлений (деклараций), содержания категорий истина и ложь.

 Интересно, что Вы называете онтологическими основаниями в Логике?

То есть, нынешнюю логику, подобную физике, низвести до логики, подобной алхимии.

Ну, считать Логику подобной Физике - это верх "нахальства", хотя говорить о физических свойствах мышления так же возможно и нужно! 

Аватар пользователя Владимир К

Я вот что имел в виду.

Если говорится -

 Закон достаточного основания требует обоснованности всякого положе­ния, но он не может указать, каким должно быть конкретное содержание данного основания. Это определяется содержанием соответствующей отрас­ли знания.

- то замах Кормина и Борчикова такой, чтобы "содержание данного основания" не определялось "содержанием соответствующей отрас­ли знания", а просто вытекало из "содержания соответствующей отрас­ли знания", формальным образом. Но тогда у логики уже не будет никаких онтологических оснований.

Относительно самих онтологических оснований логики я мало размышлял, поэтому ничего стоящего на данный момент сказать не могу.

Аватар пользователя Сергей Борчиков

Обоим Владимирам

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

Примитивизм детского сада. Ежу понятно, что все а, в, с, d, х, у, S, P, стрелки, причины, основания, посылки, следствия и т.д. открываются, и берутся, и верифицируются в соответствующих отраслях знания. Тем не мене при этом формируются логические структуры, которые могут быть описаны законами логики. Остальное вытекает из сказанного.  

Аватар пользователя Владимир К

Сергей Борчиков, 27 Январь, 2021 - 15:58, ссылка

...Ежу понятно, что все а, в, с, d, х, у, S, P, стрелки, причины, основания, посылки, следствия и т.д. открываются, и берутся, и верифицируются в соответствующих отраслях знания.

Этим вы только подтверждаете мою мысль о вашем, с Корминым, замахе.

Человек мыслит одновременно в разных ипостасях, как специалист внутри какой-нибудь науки, как учёный этой науки, как просто учёный и как просто человек. Последнее является предельным обобщением качества мышления. А согласно вашему утверждению,  предельным обобщением у вас является "как просто учёный". Предельное обобщение "как просто человек" исключается. Но вместе с этим исключением исключаются и онтологические основы логики.

В книге по логике написано "Это определяется содержанием соответствующей отрас­ли знания". А у вас "...открываются, и берутся, и верифицируются в соответствующих отраслях знания".

Аватар пользователя Владимир Р

Сергей Борчиков

Примитивизм детского сада. Ежу понятно, что все а, в, с, d, х, у, S, P, стрелки, причины, основания, посылки, следствия и т.д. открываются, и берутся, и верифицируются в соответствующих отраслях знания. 

Нет, Сергей, не видно что вам понятно. С одной стороны вы соглашаетесь, что принцип достаточного основания находит своё воплощение  вне логических прикладных областях науки, а с другой стороны заявляете, что это закон о формах мышления! В таком случае, вам ничего не остаётся как показать, что бытие есть то и только то, которое в мышлении (помните как у Парменида - мышление тождественно бытию)! Сможете это показать, не пускаясь в пустые декларации?

Аватар пользователя Владимир Р

Владимир К, 27 Январь, 2021 - 15:09, ссылка

Я вот что имел в виду.

Если говорится -

 "Закон достаточного основания требует обоснованности всякого положе­ния, но он не может указать, каким должно быть конкретное содержание данного основания. Это определяется содержанием соответствующей отрас­ли знания."

- то замах Кормина и Борчикова такой, чтобы "содержание данного основания" не определялось "содержанием соответствующей отрас­ли знания", а просто вытекало из "содержания соответствующей отрас­ли знания", формальным образом

 Да, мне тоже сдаётся, что универсальный принцип познания природы "затаскивать" в рамки Логики - это форменная авантюра!wink

Аватар пользователя Владимир К

У меня наоборот. У них потуги логику туда затащить, лишить её самодостаточности.

Аватар пользователя Владимир Р

Владимир К, 28 Январь, 2021 - 09:14, ссылка

У меня наоборот. У них потуги логику туда затащить, лишить её самодостаточности.

По любому, им проставляться! Ящик минералки - не меньше, если не докажут тождество Бытия и Мышления!

Аватар пользователя Владимир К

Здесь на форуме никто не сдаётся, а ломит свою позицию до гроба.

Аватар пользователя Владимир Р

Владимир К, 28 Январь, 2021 - 09:31, ссылка

Здесь на форуме никто не сдаётся, а ломит свою позицию до гроба.

Что и гробы будут исписаны "закорючками"laugh?

Аватар пользователя Владимир К

Впервой что ли? Даже Пушкин на "берег дальный" самую малость рассчитывал:

Что в имени тебе моем?
Оно умрет, как шум печальный
Волны, плеснувшей в берег дальный,
Как звук ночной в лесу глухом.

Оно на памятном листке
Оставит мертвый след, подобный
Узору надписи надгробной
На непонятном языке.

Что в нем? Забытое давно
В волненьях новых и мятежных,
Твоей душе не даст оно
Воспоминаний чистых, нежных.

Но в день печали, в тишине,
Произнеси его тоскуя;
Скажи: есть память обо мне,
Есть в мире сердце, где живу я...

Аватар пользователя Владимир Р

С такими начитанными людьми у Сергея и Михаила нет шансов.

Аватар пользователя vlopuhin

Ну-да, ну-да... Потомки, "роющиеся в говне, быть может вспомнят и обо мне". Но Вам обоим не удастся втоптать в грязь гениальную мысль.

Аватар пользователя Владимир Р

В чём, Виктор, гениальность? Если допустим Вы заявили: Согласно моим расчётам завтра в 12-00 пойдёт снег! На завтра ровно в 12 пошёл снег! То что пошёл снег - является достаточным основанием, чтобы считать Ваши расчёты верными! Это и есть проявление принципа достаточного основания!  Теперь же, логики Сергей и Михаил  делают такое "гениальное" утверждение : Отныне, Снег на улице будет идти исключительно на основании расчётов не менее гениального Виктора!

Понятна затея двух логиков?

Аватар пользователя vlopuhin

Владимир Р, 28 Январь, 2021 - 12:38, ссылка

Это и есть проявление принципа достаточного основания! 

Насколько я смог понять, то, что в данном случае Вы назвали "проявлением принципа достаточного основания", таковым не является. И Михаил достаточно подробно объясняет почему? Потому что между моим прогнозом в описанном Вами случае, и снегопадом "На завтра ровно в 12" нет никакой логической связи. Именно это я пытался Вам показать в Вашей теме про парадокс.

Аватар пользователя Владимир Р

vlopuhin:

Насколько я смог понять, то, что в данном случае Вы назвали "проявлением принципа достаточного основания", таковым не является. И Михаил достаточно подробно объясняет почему?

Не знаю что Михаил объясняет, но Сергей очень даже доходчиво объясняет и вот почему: 

Ежу понятно, что все а, в, с, d, х, у, S, P, стрелки, причины, основания, посылки, следствия и т.д. открываются, и берутся, и верифицируются в соответствующих отраслях знания.

Улица для вас, Виктор, является одним из мест ("отраслью для синоптиков, например"), где вы получаете знания!?  

Аватар пользователя vlopuhin

И я с ним полностью согласен, теорема в одной теории, в другой может быть аксиомой.

Но Михаил говорит о логическом выводе. Логика не занимается прогнозами, с таким же успехом можно гадать на кофейной гуще.

Аватар пользователя Владимир Р

vlopuhin:

Но Михаил говорит о логическом выводе. Логика не занимается прогнозами, с таким же успехом можно гадать на кофейной гуще.

Виктор, если  Михаил говорит о достаточном основании как о логическом выводе  (именно так следует вас понимать), а Сергей говорит по этому поводу о другом - основания берутся из других, с логикой не связанных, отраслей, То! Согласно закону формальной логики об исключённом третьем, один из них лжёт! Виктор, кто лжёт из двух логиков, Михаил или Сергей? (Хотя в вашем случае, Виктор, третье как раз дано - это вы сами)

Аватар пользователя vlopuhin

Дискуссия Михаила и Сергея ещё не закончена. Мысль мне понятно, но в тонкостях я ещё не разобрался. Одно дело обкатывать метод, предложенный Михаилом, и совсем другое разбираться в теории. Вы же требуете категоричный ответ, которого у меня пока нет. И ещё один момент. Думаю здесь нет смысла делить мышление на онтологическое, научное, философское, человеческое, бесчеловечное. Логической верификации на полноту и непротиворечивость доступны любые тексты. Ну разве что кроме художественной литературы, которая по определению строится на противоречии, или конфликте.

Аватар пользователя Владимир Р

vlopuhin:

 Мысль мне понятно, но в тонкостях я ещё не разобрался. Вы же требуете категоричный ответ, которого у меня пока нет

 Виктор, как это у вас нет ответа, если Сергей с Вами уже согласился! Не подводите коллегу!?cheeky

Аватар пользователя vlopuhin

Согласился с чем? С тем, что нужно вникать в теорию? Вы же шпарите понятиями, а не однозначно определёнными терминами. У Вас же одни оценки, типа так не может быть, потому что не должно и всё!

Аватар пользователя Владимир Р

vlopuhin: никакой логической связи. Именно это я пытался Вам показать в Вашей теме про парадокс.

И что интересно, Виктор! В результате парадокс был разрешён, а вы так и остались со своими "связями" на скамейке  недовольных и возмущённых логикой!wink

Аватар пользователя vlopuhin

Можно ссылку, интересно, что там за "коловративная фильтрация" :)

Аватар пользователя Владимир Р

Посмотрите в "парадоксе" нашу дискуссию с buch !

!

Аватар пользователя vlopuhin

Посмотрел:

buch, 18 Январь, 2021 - 21:32, ссылка

 

Посмотрел Ваше сообщение и что я вижу 

Решив сей парадокс с buchем, мы вывели "Лжеца" на чистую воду!

Развожу руками в недоумении . 

Аватар пользователя Владимир Р

Посмотрел:

buch, 18 Январь, 2021 - 21:32, ссылка

 

Посмотрел Ваше сообщение и что я вижу  

Решив сей парадокс с buchем, мы выве

Развожу руками в недоумении .

Ну, и какое решение было, в результате которого разведены руки?

Аватар пользователя vlopuhin

О каком решении Вы говорите, где ссылка?

Аватар пользователя Владимир Р

 

vlopuhin, 28 Январь, 2021 - 15:03, ссылка

О каком решении Вы говорите, где ссылка?

Начните отсюда: http://philosophystorm.ru/paradoks-2#comment-453777  и ниже, посмотрите, будет не понятно спрашивайте!

Аватар пользователя vlopuhin

vlopuhin, 28 Январь, 2021 - 15:45, ссылка

Аватар пользователя vlopuhin

.

Аватар пользователя Владимир Р
Аватар пользователя Сергей Борчиков

Согласен с Виктором. Но устал здесь бороться со школярским примитивизмом отождествления импликации с ЗДО, ответил общё в своей теме - ссылка.

Аватар пользователя Владимир Р

Сергей Борчиков:

 ответил общё в своей теме - ссылка.

Нет уж, Сергей, достаточно этого места, чтобы знакомиться с вашими бредовыми затеями!

Аватар пользователя Кормин Михаил

Владимир К, 25 Январь, 2021 - 14:50, ссылка

Очевидно, в логике учёного это учитывается применительно к решаемым вопросам. Но вы-то здесь излагаете не логику учёного, а просто логику.

Это у Вас конкретно логика ученого, и просто логика, разные логики. Согласно систематизированной символьной логики, логика либо есть, либо её нет. Причем эта система учитывает в том числе логику принятий решений, основанную на критериях: нравится, не нравится. Неадаптированные под суждения оценки. 

Владимир К, 25 Январь, 2021 - 14:50, ссылка

У меня после слова "умозаключение" многоточие. Вы знакомы с таким символом?

Давайте теперь я свою оценочку вставлю. Мыслитель, который, после того как заявил, "Но это смех, а не достаточное основание", начинает утверждать, что он оперирует многоточиями, мыслителем не является. Это ниже уровня здравомыслящей женщины. Только совсем молоденькие девчонки играют в игру "Угадай чего хочу", оперируя как раз многоточиями, в виде продолжительных пауз.

Владимир К, 25 Январь, 2021 - 14:50, ссылка

Почему не является? Это суждение. Можно без потери смысла написать: "Это не достаточное основание". Общеотрицательное суждение.

Общеотрицательные суждения, это логика, поскольку учитывают квантор. На схеме они находятся как раз в штрихе шеффера на самом верху. Вам достаточно перевести дизъюнктивную форму, в форму импликации, чтобы понять, что это одно и то же.

А вот логика высказываний, которая кванторы не учитывает, это профанация логики. Вы можете сколько угодно в неё веровать. Но однозначно результата (1:0), она дать не может. 

Я бы вам посоветовал не состязаться со мной в искусстве изящной словесности. Шансов у Вас нет. Твердый ноль.

Считаете что ЗДО не формализуем. Я вашу позицию понял. Не мешайте своей не обоснованной критикой тем, кто считает, что этот закон формализуем, разбираться в этом вопросе.

 

 

Аватар пользователя Владимир К

Кормин Михаил, 25 Январь, 2021 - 15:52, ссылка

Владимир К, 25 Январь, 2021 - 14:50, ссылка

Очевидно, в логике учёного это учитывается применительно к решаемым вопросам. Но вы-то здесь излагаете не логику учёного, а просто логику.

Это у Вас конкретно логика ученого, и просто логика, разные логики. Согласно систематизированной символьной логики, логика либо есть, либо её нет. 

Слово "логика" употребляется и в таком значении, 2-е значение:

Большой толковый словарь

ЛОГИКА, -и; ж. [от греч. logkē - наука о мышлении] 1. Наука о законах и формах мышления. Формальная л. Диалектическая л. 2. Ход рассуждений, умозаключений. Л. мышления. Понять л. суждений преподавателя. Нарушить л. объяснения поступков. // Правильность, разумность умозаключений. Поражаться безупречной логике доказательств. Судить наперекор логике. Железная л. (безупречно правильная, последовательная). 3. чего или какая. Внутренняя закономерность, присущая природе, её явлениям, обществу, её представителям. Л. событий. Внутренняя л. развития общества. Л. жизни. По логике вещей (в соответствии с внутренними законами).  Женская логика (см. Женский). <Логический (см.).

Аватар пользователя Сергей Борчиков

Аналогично - ссылка. Большой толковый словарь очень большой но у него нет ни глаз, чтобы читать наши сообщения, ни ушей, чтобы слышать. И зачем Вы такого третейского судью выбираете? Сами-то про логику что думаете?

Аватар пользователя Владимир К

Я объяснил, что употребил слово "логика" в словосочетании "логика учёного" во 2-м значении этого слова. Объяснил не вам. Если для оппонента нормы употребления слов, культура речи не излишество, он поймёт.

Но для вас, как видно, это излишество. 

Аватар пользователя Сергей Борчиков

Аналогично.
В теме Система категорий (ч.31 ноологика -5) я показал, что современные философские исследования по логике давно превышают штампы, сложившиеся в школьных учебниках по логике и популярных заметках Википедии: гуссерлевская ноэматика, лосевсеая смысло-логика, моисеевская ПМО, моя ноологика и т.д. Но для Вас, наверное, читать нечто дальше Википедии - излишество. Извините, это не мой стиль письма, но Ваша грубость настраивает на соответствующие ответы.

Аватар пользователя Кормин Михаил

Владимир К, 25 Январь, 2021 - 23:22, ссылка

Я объяснил, что употребил слово "логика" в словосочетании "логика учёного" во 2-м значении этого слова. Объяснил не вам. Если для оппонента нормы употребления слов, культура речи не излишество, он поймёт.

Владимир К, 25 Январь, 2021 - 12:49, ссылка

Понятие вне характеристики истинно или ложно.

Владимир К, 25 Январь, 2021 - 15:36, ссылка

У меня после слова "умозаключение" многоточие. Вы знакомы с таким символом?

Владимир. Из песни слова не выкинешь

"упрямый нрав моя беда, я свысока сказала нет - хотя шепнуть хотела да в ответ"

Если бы я девочку с таким строем мысли офлайн встретил, то с ходу бы сказал. Красивая ты конечно, но я не герой твоего романа.

Здесь другое дело.

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

Мне очень нужен оппонент на котором я, без угрызений совести, буду демонстрировать непоследовательность рассуждений. Осталось добиться Вашего согласия. Это опыты над животными разрешены, без их согласия. 

С другой стороны.

Кормин Михаил, 25 Январь, 2021 - 15:52, ссылка

Считаете что ЗДО не формализуем. Я вашу позицию понял. Не мешайте своей не обоснованной критикой тем, кто считает, что этот закон формализуем, разбираться в этом вопросе. 

Владимир К, 25 Январь, 2021 - 15:36, ссылка

А вы можете дальше формализовать закон достаточного основания. Если хотите.

В основном пункте у нас разногласий нет. Мы с Сергеем хотим дальше формализовывать. А Вы можете отказаться от моего предложения без объяснения причин.

Сообщение ответа не требует.

 

 

Аватар пользователя vlopuhin

Кормин Михаил, 25 Январь, 2021 - 13:29, ссылка

Только моя систематизирована относительно кванторов.

 Если не ошибаюсь, необходимо в верхнюю полуплоскость "перенести" квантор существования, ну что бы задействованы были все 16-ть булевых функций. Таким "посредником" может быть память. Иначе как в памяти смыслы не могут пересекаться. Если опять же не ошибаюсь, это называется типизацией данных, или переменных (если вам не известно что это, оценка, вопрос, императив, или утверждение, то вы не сможете корректно/адекватно ответить). Параллельные прямые параллельны на актуальной бесконечности, на потенциальной бесконечности они пересекаются, причем с двух сторон. Трансцендентное это то же самое что и материальное, только наоборот. Или то же самое - анти-ряд Дмитрия, с одной стороны законы сохранения (преобразования одного в другое), с другой - законы замещения.

Хотя я наверно чего то недопонимаю :)

Аватар пользователя Шадрин В.В.

В соответствии с формализованным законом достаточного основания мы вправе утверждать. 

Деревья качаются, потому что ветер дует  (истинно)

Ветер дует, потому что деревья качаются (ложно)

 логика=это лженаука . вот вы написали перед цитатой столько, что бедный студент и вправду поверит, в животворящую силу логики и самые способные понесут это знамя дальше, даже не спрося себя, а почему логиков не считают мудрецами и не прислушиваются к ним. в цитате. достаточно ясно просматривается необходимость ВИДЕТЬ ДЕЙСТВИТЕЛЬНОСТЬ чтоюы оценивать ПСС Природы, Т.е логики без действительности нет и только сама действительность и есть тот алгоритм , некоторые закономерности которого назвали логикой и носятся уже какое столетие с этим, как с писаной торбой, никакая логика не позволит выяснить от чего качаются деревья, надо встать с дивана и изучить явление, ВОТ СУТЬ, Все остальное словоблудие.

Аватар пользователя Кормин Михаил

 Шадрин В.В., 26 Январь, 2021 - 17:30, ссылка

логика=это лженаука .

Мое предложение Владимиру остается в силе. О вашей персоне, я пока не думал. Даже сколько весит ваш авторитет пока не смотрел.

Кормин Михаил, 26 Январь, 2021 - 10:03, ссылка

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

Мне очень нужен оппонент на котором я, без угрызений совести, буду демонстрировать непоследовательность рассуждений. Осталось добиться Вашего согласия. Это опыты над животными разрешены, без их согласия. 

С Вас только согласие на участие в эксперименте. Будьте уверены, я уделю Вам  достаточное количество внимания, чтобы Ваш авторитет сравнялся с нулем. Гарантирую.

Аватар пользователя Владимир Р

Шадрин В.В.

 логика=это лженаука .

Ну, если логику считать не наукой, то математику и подавно. Логика лежит в основании математики, а не наоборот. Просто, некоторые логики через чур самонадеянны, что ли? И в самом деле, высказывание : Если в огороде бузина, то в Киеве дядька, - так же является импликативным! С учётом всевозможных подсмыслов - эта импликация может быть как истинной так и ложной, а так же менять посылку и следствие местами!

И главное,  что если даже в огороде не окажется бузины,  а в Киеве окажется дядька, то и в этом случае импликация будет истинной, хотя посылка не включена в следствие!  Спрашивается, где основания для следующей аксиомы?

Импликация истинна тогда и только тогда, когда посылка включена в следствие. 

Аватар пользователя Шадрин В.В.

Ну, если логику считать не наукой, то математику и подавно. Логика лежит в основании математики, а не наоборот.

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

 Во вторых . в т.н. науке светской, нет оснований ни математики, ни логики, потому что она атеистическая, многим не видно , какие ошибки заложены в атеизме , потому объективных корней логики и математики они никогда не обнаружат.

 В основании математики , в утилитарном смысле лежит простой опыт, как и в основании мышления, счет  и потом арифметические действия, только по прошествии времени включились взаимосвязь, взаимозависимость и непротиворечивость, т.е все то, что лежит в любом размышлении правильном , не только в математике, никакой особой логики в математике нет, структура мат построений имеет все признаки системы и именно эти факторы плюс смыслы и есть те закономерности, которые заложены в устройстве Вселенной как организме-системе, имеющий смысл и методы, приводящие к нему. Вот основание и математики и логики, где математика средство алгоритма  Мироздания, Творения.

 Логика не может быть отдельной дисциплиной-это алгоритм всего, я и привел цитату в своем первом комментарии  этой темы, где НАГЛЯДНО видно , что нет логики кроме действительности, причем автор темы сам подвел к этому, только не увидел всю бесполезность словесной околологической чепухи, тогда, когда надо просто оторвать заднее место от дивана и посмотреть , ЧТОБЫ СДЕЛАТЬ ВЫВОД, КТО ИЛИ ЧТО гнет деревья.

Аватар пользователя Владимир Р

Шадрин В.В.,

 Во вторых . в т.н. науке светской, нет оснований ни математики, ни логики,

Ошибаетесь! Логика обращена к естественному языку - он же её основание! Математика вытекает из искусственного языка, потому и второстепенна по отношению к логике! 

Знаете такую задачу: 2=1!  -? (и кстати, почему в математике нельзя делить на "0"?)

Аватар пользователя Шадрин В.В.

"Математика вытекает из искусственного языка"

https://pearative.ru/stati/chto-takoe-zolotoe-sechenie/

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

Аватар пользователя Владимир Р

Шадрин В.В.

Математика вытекает из искусственного языка

https://pearative.ru/stati/chto-takoe-zolotoe-sechenie/

математика начинается с принятия счета (числовую последовательность) на веру? Так лучше? 

Аватар пользователя Владимир Р

Шадрин В.В.

Основание-это корни в природе....

т.е в перспективе все будет связано и между собой и действительностью... и результатом и будет Математика от Природы как метапрограмма.

 Понятно, через тернии к заумным и мудрёным результатам!

Аватар пользователя Шадрин В.В.

 Понятно, через тернии к заумным и мудрёным результатам!

 В логике -главное :уметь признавать доводы и ошибки .

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

приводил и другие аргументы , где видна математика Природы 

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

Аватар пользователя Владимир Р

Шадрин В.В.

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

приводил и другие аргументы , где видна математика Природы 

 Пифагор, если не ошибаюсь, вообще считал весь мир числом!  Мало ли, кто что считает, важно понимать, как вы считаете!

Вот здесь, например: 

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

, - ваше мышление обманывает вас! Но в силу своих предрассудков вы, Шадрин В.В., этого не замечаете!

Аватар пользователя Кормин Михаил

Для тех, кто соображает в проблематике.

Верхняя часть -  систематический каталог библиотеки булевых функций.

Нижняя часть -  алфавитный каталог библиотеки булевых функций.

Стрелочки я убрал, чтоб не загромождали картинку.

а - частное, в алфавитном каталоге х, имена.

в - общее, в алфавитном каталоге y, свойства.

числитель - дизъюнктивная форма

знаменатель - конъюнктивная форма

 

Разбирать ребус нужно начинать с желтого квадрата. Это основа силлогистики. 

значение 1/-А - не совместимы по истине, но совместимы по лжи.

значение А/0 - совместимы по истине, но несовместимы по лжи.

Сохраняю для истории. Вдруг благодарным потомкам понадобиться когда нибудь.

 

Аватар пользователя Владимир Р

Для тех, кто соображает в проблематике.

Сдаётся, что вы, Михаил, нам зубы заговариваете!? Импликативное (или условное) высказывание: Если в огороде бузина, то в Киеве дядька, - будет истинным, если в Киеве действительно окажется дядька, а бузины в огороде при этом не окажется! (То есть, следствие выполнено, при включенной ложной посылке.)

И наоборот: Если в Киеве дядька, то в огороде бузина, - импликация будет истинной в том случае, если в огороде окажется бузина, а в Киеве при этом не будет дядьки! (Следствие выполнено, при включенной ложной посылке.)

Что не так?

Аватар пользователя Кормин Михаил

Операцию исключающего или нужно произвести. Она основание для действенности ЗДО. В матлогике это сложение по модулю2 крестик в кружочке. Там все просто.

Аватар пользователя Владимир Р

Кормин Михаил, 26 Январь, 2021 - 19:53, ссылка

Операцию исключающего или нужно произвести. Она основание для действенности ЗДО.

У меня нигде не подразумевается: Или в огороде бузина или в Киеве дядька! Или Вы о чём?

Аватар пользователя Кормин Михаил

Владимир Р, 26 Январь, 2021 - 20:03, ссылка

У меня нигде не подразумевается: Или в огороде бузина или в Киеве дядька! Или Вы о чём?

Владимир Р, 26 Январь, 2021 - 19:47, ссылка

Если в огороде бузина, то в Киеве дядька,

Форма импликации.

в огороде бузина -> в Киеве дядька

Проводим операцию "исключающего или"

Существует в огороде бузина одновременно с тем что в Киеве нет дядьки? (1) В каком нибудь огороде она всяко есть, а дядьки в Киеве у владельца огорода нет. (истинно)

Существует в Киеве дядька, одновременно с тем что в огороде у племянника нет бузины? (1) По любому. У некоторых племянников Киевских дядек и огорода в помине нет, не то что бузин на нем. (истинно) 

Две единички. Это горизонтальное деление квадрата Платона. Посылка и следствие не вкладываются друг в друга. Родовая либо видовая связь отсутствует. Связка импликации не обоснована. У ЗДО нет достаточного основания

В случае дизъюнкции.

Владимир Р, 26 Январь, 2021 - 20:03, ссылка

в огороде бузина или в Киеве дядька

в огороде бузина  V  в Киеве дядька.

Высказывание истинно.

Дизъюнкция истинна, если любая часть истинна.

У кого нибудь всяко есть в Киеве дядька (1) истинно. Вторую часть даже рассматривать не имеет смысла.

Я понятно объяснил?

Аватар пользователя Владимир Р

Кормин Михаил:

Форма импликации.

в огороде бузина -> в Киеве дядька

Проводим операцию "исключающего или"

Существует в огороде бузина одновременно с тем что в Киеве нет дядьки? (1) В каком нибудь огороде она всяко есть, а дядьки в Киеве у владельца огорода нет. (истинно)

Если предположению "в огороде бузина -> в Киеве дядька" на деле соответствует "в огороде бузина одновременно с тем что в Киеве нет дядьки", - то эта импликация будет ложной, а не истинной! (не выполнено условие!) Поясните, если не правильно понимаю!?

Существует в Киеве дядька, одновременно с тем что в огороде у племянника нет бузины? (1) По любому. У некоторых племянников Киевских дядек и огорода в помине нет, не то что бузин на нем. (истинно) 

Две единички. Это горизонтальное деление квадрата Платона. Посылка и следствие не вкладываются друг в друга.

Тут, всё намного загадочней!? 

У вас эта импликация "Существует в Киеве дядька, одновременно с тем что в огороде у племянника нет бузины? (1) По любому. У некоторых племянников Киевских дядек и огорода в помине нет, не то что бузин на нем. (истинно)"  оказалась истинной, при условии что "Посылка и следствие не вкладываются друг в друга.". А как же, позвольте спросить, ваша аксиома, в которой условие истинности выполняется исключительно со вложенными друг в друга посылкой в следствие! 

Я правильно понимаю вами, Михаил, изложенный материал? 

Аватар пользователя Кормин Михаил

Владимир Р, 26 Январь, 2021 - 22:05, ссылка

Я правильно понимаю вами, Михаил, изложенный материал? 

Нет. Не правильно. Вы переключаете логический тумблер (1:0) посредством операции отрицания. Как это и принято в логике "импликаций" через закон исключенного третьего. А в этой системе он переключается введением границы. (^:v). Ближайший аналог, законы форм, или по другому законы именования Спенсера Брауна. Хорошие книжки. Много раз переиздавались, но оторваны от мат аппарата символьной логики.

Вот логический квадрат Платона с вербализацией значений. Нижняя часть под квантором существования, верхняя под квантором общности. 

Для того, чтобы нижняя часть оказалась истинной достаточно одного примера исключения из правил. Существует ли хотя бы один прецедент? Типа ситуация с лебедями. Существование хотя бы одного черного лебедя опровергает аксиому, все лебеди белые.

Две нижние конъюнкции, соединенные через операцию дизъюнкции, вместе как раз дают таблицу истинности "исключающего или" сложения по модулю2. 

Владимир Р, 26 Январь, 2021 - 22:05, ссылка

Если предположению "в огороде бузина -> в Киеве дядька" на деле соответствует "в огороде бузина одновременно с тем что в Киеве нет дядьки", - то эта импликация будет ложной, а не истинной! (не выполнено условие!) Поясните, если не правильно понимаю!?

Это правая нижняя часть квадрата. Конъюнкция, а не импликация. Мы проверяем саму возможность правомерного введения отношений подчинения. Ищем прецедент, способный опровергнуть аксиому. Черных лебедей ищем. Если найдем, хотя бы один огород, в котором растет бузина, но у владельца нет дядьки в Киеве. Аксиома будет опровергнута. Она не удовлетворяет условиям квантора общности. И конечно такой огород найдется. Поэтому (1)

Владимир Р, 26 Январь, 2021 - 22:05, ссылка

У вас эта импликация "Существует в Киеве дядька, одновременно с тем что в огороде у племянника нет бузины? (1) По любому. У некоторых племянников Киевских дядек и огорода в помине нет, не то что бузин на нем. (истинно)"  оказалась истинной, при условии что "Посылка и следствие не вкладываются друг в друга.". А как же, позвольте спросить, ваша аксиома, в которой условие истинности выполняется исключительно со вложенными друг в друга посылкой в следствие! 

Левая нижняя часть квадрата. Снова ищем прецедент способный опровергнуть аксиому. Таким прецедентом будет хотя бы один Дядька, и один племянник, у которого нет огорода, и соответственно бузины в нем. Таких дядек пол Киева. Соответственно тоже (1)

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

Ну а поскольку в нижней части квадрата (1:1) то отношения подчинения мы в принципе не вправе рассматривать. Они не имеют достаточного основания. Это не связанные между собой посылка и следствие. Правомерно применять только связку дизъюнкции.

В огороде бузина или в киеве дядька. 

Если в докторских диссертациях не проходящие проверку следовательно и потому-что на или поменять, вот фельетоны то получатся.

 

Аватар пользователя Сергей Борчиков

Банальности об ребусе импликации

Владимир Р, 26 Январь, 2021 - 19:47, ссылка

Сдаётся, что вы, Михаил, нам зубы заговариваете!?
Импликативное (или условное) высказывание: Если в огороде бузина, то в Киеве дядька, - будет истинным, если в Киеве действительно окажется дядька, а бузины в огороде при этом не окажется! (То есть, следствие выполнено, при включенной ложной посылке.)

И наоборот: Если в Киеве дядька, то в огороде бузина, - импликация будет истинной в том случае, если в огороде окажется бузина, а в Киеве при этом не будет дядьки! (Следствие выполнено, при включенной ложной посылке.)

Что не так?

Высказываю не свое мнение, а прочтете в любом школьном учебнике по формальной логике. Вы путаете причинно-следственное суждение с импликацией. Они по форме схожи, но по таблицам разные. Импликация, действительно, истинна если антецедент ложен, а консеквент истинен. Странно, но так в логике принято. Репликация, наоборот.
Над этой странностью, искусственно введенной, но тем не менее играющей колоссальную роль в логике и компьютерной технике, ломают голову не одно столетие. Вы бы вместо упрёков, предложили бы свой вариант объяснения этого ребуса.

Аватар пользователя Владимир Р

Сергей Борчиков, 

 Странно, но так в логике принято. Репликация, наоборот.

Над этой странностью, искусственно введенной, но тем не менее играющей колоссальную роль в логике и компьютерной технике, ломают голову не одно столетие. Вы бы вместо упрёков, предложили бы свой вариант объяснения этого ребуса.

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

Аватар пользователя Владимир Р

Кормин Михаил

"Владимир Р, 26 Январь, 2021 - 22:05, ссылка

Я правильно понимаю вами, Михаил, изложенный материал?" 

Нет. Не правильно. Вы переключаете логический тумблер (1:0) посредством операции отрицания.

Ничего такого я не переключал! Прошу, давайте обходиться без "закорючек".

Ещё раз и по порядку, если не против!?

Вот вами написано:

Кормин Михаил:

Форма импликации.

в огороде бузина -> в Киеве дядька

Проводим операцию "исключающего или"

Существует в огороде бузина одновременно с тем что в Киеве нет дядьки? (1) В каком нибудь огороде она всяко есть, а дядьки в Киеве у владельца огорода нет. (истинно)

К этой записи я делаю свои замечания и пояснения. Вот они:

Если предположению "в огороде бузина -> в Киеве дядька" на деле соответствует "в огороде бузина одновременно с тем что в Киеве нет дядьки", - то эта импликация будет ложной, а не истинной! (не выполнено условие!)

Что в моих замечаниях и пояснениях не соответствует вами изложенному? 

Аватар пользователя Кормин Михаил

Владимир Р, 27 Январь, 2021 - 09:57, ссылка

Что в моих замечаниях и пояснениях не соответствует вами изложенному? 

Я подождал, чтобы Вы наговорили побольше, для ясности понимания, чего чему не соответствует. Я ж Вас за язык не тянул. Ловите щелбан. В этой теме правила простые - каждое Ваше слово используется против Вас. Надо думать, прежде чем писать - это осознанность.

Я пишу.

Кормин Михаил, 26 Январь, 2021 - 18:42, ссылка

Для тех, кто соображает в проблематике.

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

Отвечаете Вы.

Владимир Р, 26 Январь, 2021 - 19:47, ссылка

Сдаётся, что вы, Михаил, нам зубы заговариваете!?

По ходу дальнейшей дискуссии выясняется.

Владимир Р, 27 Январь, 2021 - 10:42, ссылка

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

Я звал к обсуждению проблематики тех, кто соображает, а подключились Вы - который первый раз вижу.

Согласитесь, уже в этом есть что то мистическое. Читать же Вы умеете. Понимаете кого звали, и кто пришел. 

Дальше Вы нашли себе товарища, который говорит многоточиями. 

Владимир К, 25 Январь, 2021 - 15:36, ссылка

У меня после слова "умозаключение" многоточие. Вы знакомы с таким символом?

И воспользовавшись дружеской поддержкой договорились до

Владимир Р, 28 Январь, 2021 - 09:48, ссылка

Что и гробы будут исписаны "закорючками"laugh?

Я не мешаю. Держите тему в топе, с первой страницы не сходит. Я ж поглядываю. Уже здорово. Нахаляву типа трудоустроил двух попугайчиков. Работают на меня - время свое тратят (которое деньги). 

Дальше я объявляю, что разговоры о теории мне не интересны.

Кормин Михаил, 27 Январь, 2021 - 16:10, ссылка

Уважаемые посетители моего раздела. Я всех вас приглашаю на практические занятия. Мне не интересно говорить о теории. Вот там, Вы на практике и покажете глубину своего УМА. 

На что Вы заявляете.

Владимир Р, 28 Январь, 2021 - 13:25, ссылка

Нет уж, Сергей, достаточно этого места, чтобы знакомиться с вашими бредовыми затеями!

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

Но самое главное, чьи затеи, в объявляете бредовыми. Идеи Сергея Борчикова.

Сергей Борчиков, 25 Январь, 2021 - 09:59, ссылка

Михаил, боюсь у нас с Вами разные переводческие культуры.
Для серьезных исследований я предпочитаю всегда читать только первоисточники. По возможности сверяясь с языком оригинала (во всяком случае в центральных терминах). В свое время даже сам сделал перевод фрагментов Анаксагора (могу выслать книжку). Мои микроопыты по фразе Гераклита можете посмотреть в параллельной теме - ссылка.

Основания объявить затеи Сергея бредовыми, видимо те же. Не соображаете Вы ни в альфах, ни в омегах. В первый раз видите, как и в моем случае. А люди которые на переводы с древнегреческого время тратят, вообще лохи. Здесь же все понятно.

 

Основная тема, которая неожиданно вскрылась, это ФАНАТИЗМ. Откуда у Шарикова моральное право открыть рот, вместо того, чтобы по совету Преображенского молчать и слушать.

И еще нюансы. Почему здравомыслящая интеллигенция пасует. Ладно Сергей, он среди хоть как-то логически мыслящих людей обитает. Преподает.

Сергей Борчиков, 28 Январь, 2021 - 12:58, ссылка

Согласен с Виктором. Но устал здесь бороться со школярским примитивизмом отождествления импликации с ЗДО, ответил общё в своей теме - ссылка.

Но и Виктор, который за словом в карман не лезет.

 

vlopuhin, 28 Январь, 2021 - 15:03, ссылка

.

Это же мистика какая-то. Те кто имеют моральное право заткнуть Шарикова пасуют, а Шариков, который не имел морального права открывать рот, делает свои глубоковысосанные из носа оценки, и самое нелепое, побеждает. (я переношу проблематику из практического занятия "мораль", мы ей как раз сейчас на практике занимаемся)

Нужно приглашать мистиков. Без них не разобраться. 

Кто то изучает Гурджиева по Успенскому, хотя тот самостоятельный мистик. Но Непредвзятый свидетель Питерс Фриц, куда доходчивее.

Затем он попросил меня посмотреть в окно и сказать, что я вижу. Я сказал, что вижу только дуб. «А что на дубе?» – спросил он. Я ответил: «Жёлуди».

«Сколько желудей?»

Когда я ответил, несколько неуверенно, что не знаю, Гурджиев сказал нетерпеливо: «Не точно, я спросил не это. Предположите, сколько!»

Я предположил, что на дубе их было несколько тысяч.

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

Гурджиев кивнул. «Возможно только один, возможно даже ни одного. Нужно учиться у Природы. Человек – это тоже организм. Природа делает много желудей, но возможность стать деревом существует только для немногих. То же и с человеком – рождается много людей, но только некоторые вырастают. Люди думают, что остальные – это потеря, думают, что Природа несёт убытки. Это не так. Остальные становятся удобрением, идут назад в землю и создают возможность для других желудей, других людей, стать большим деревом, реальным человеком. Природа всегда даёт – но даёт только возможность. Чтобы стать взрослым дубом, или настоящим человеком, нужно прилагать усилия. Вы понимаете, что моя работа, этот Институт не для удобрений. Только для реального человека. Но нужно также понять, что удобрение необходимо Природе. Возможность для настоящего дерева, настоящего человека, также зависит от этого удобрения».

После долгого молчания, Гурджиев продолжал: «В западном мире верят, что человек имеет душу, данную Богом. Это не так. Ничего не дано Богом – только Природа даёт. А Природа не даёт душу, даёт только возможность для души. Можно приобрести душу через работу. Но, в отличие от дерева, у человека много возможностей. Так, как теперь существует человек, он также имеет возможность вырасти случайно – вырасти неправильным путём. Человек может стать не только удобрением, не только настоящим человеком: может стать тем, кого вы называете «добрым» или «злым», но это на самом деле неважно для человека. Настоящий человек не добрый или злой, настоящий человек – это только сознательный человек, желающий приобрести душу для истинного развития».

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

Откуда Шарикову знать, что возможно, а что невозможно. Если он.

Владимир Р, 27 Январь, 2021 - 10:42, ссылка

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

Может подучиться Владимир!

Некоторое время помолчать и послушать? Выбрать онлайн курс, которому Вы доверяете, и разобраться с символьными записями используемыми в мат логике. Тогда это будут не закорючки а аналоги (=,+,-,/,*) 

Математические действия скорее всего для Вас не закорючки. Это же любой знает, кто в школе учился. А логические (v,^,-,->,<-)- закорючки. Может дело не в закорючках? А  том, что подучиться надо, перед тем, как свои глубокровысосанные из носа оценочки предъявлять.

Проблематику то Вы серьезную вскрыли.

Чувак, который прет в метро обвешанный взрывчаткой, тоже запросто заявит. Я иду в рай - скажите, где я не прав. Мне же дядьки авторитетные обещали, что я в Рай прямой дорогой иду. 

Возвращаемся к началу.

Владимир Р, 27 Январь, 2021 - 09:57, ссылка

Что в моих замечаниях и пояснениях не соответствует вами изложенному? 

Еще раз уточните, что в моих исчерпывающих пояснениях Вам не понятно.

Но помните. Каждое Ваше необдуманное слово будет использовано против Вас.

 

 

Аватар пользователя Владимир Р

Что называется Кормин разгулялся в своей комнате теме! 

Вам же, Михаил, ясно всё изложили в прошлый раз! Что Вы переспрашиваете как тугоухий?

Возвращаемся к началу.

"Владимир Р, 27 Январь, 2021 - 09:57, ссылка

Что в моих замечаниях и пояснениях не соответствует вами изложенному? "

Еще раз уточните, что в моих исчерпывающих пояснениях Вам не понятно.

 

Аватар пользователя Кормин Михаил

Владимир Р, 28 Январь, 2021 - 18:33, ссылка

Что называется Кормин разгулялся в своей комнате теме! 

Ожидаемая еврейская проблематика. Отвечаем вопросом на вопрос. 

Разбираем по пунктам. 

Фиксируем начальные условия.

Авторитет Владимира из Смоленска 2 недели и один день. Фирма однодневка.

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

Владимир Р, 27 Январь, 2021 - 10:42, ссылка

первый раз вижу.

Даже если Вы в следующий раз представитесь Авраамом из Авраавмовка, я Вас вычислю по набору букв. Такую бредятину сложно не отличить от осознанных текстов. И снова засуну ниже городской канализации, где Вам и самое место. Шариков должен молчать и слушать. Молчать и слушать. Киношку "Собачье Сердце" пересмотрите перед тем как в следующий раз лезть со своими глубоковысморканными выводами на ФШ.

Кормин Михаил, 27 Январь, 2021 - 08:26, ссылка

Ну а поскольку в нижней части квадрата (1:1) то отношения подчинения мы в принципе не вправе рассматривать. Они не имеют достаточного основания. Это не связанные между собой посылка и следствие. Правомерно применять только связку дизъюнкции.

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

 

Но вы ж то применяете! Как Наполеон из Кащенко, который разложил по методу Задорного НА Поле ОН. Типа мама мне говорила, что в поле родила, и все время причитала, ОН чего приключилось. Значит НА ПОЛЕ ОН, эжто Я. 

Давайте еще раз по полочкам вашу бредятину кащенковскую разложим.

Владимир Р, 27 Январь, 2021 - 09:57, ссылка

 Если предположению "в огороде бузина (->) в Киеве дядька" на деле соответствует "в огороде бузина одновременно с тем что в Киеве нет дядьки", - то эта импликация будет ложной, а не истинной! (не выполнено условие!)

Откуда взялась связка подчинения? Я в предыдущем тексте внятно сказал, что именно она, и не обоснована. Можно только "или" применять в логически связной речи. Вы же желаете заострить внимание на своем логически несвязном мышлении. Какое нафиг условие может быть не выполнено в ваших кащщенковских фантазиях. Там все условия выполняются априори. Чего пациент замечтал, за то и морду соседям по палате бьет. Мораль высокая, но такая вот собачья. Лаять позволяет, а думать не обязательно

Я вам про конъюнкцию, Вы тут же переименовываете её в импликацию, поскольку образования, позволяющего отличить одно от другого, нет. Зачем открывать свой необразованный рот, на философском форуме?

Владимир. Это чисто прививка. Я еще даже на полпроцента не разогнался в искусстве изящной словесности. Если Вы не стекаете с моего раздела сверкая пятками, я вам запросто инфаркт микарда, вот такой рубец организую. И совесть моя будет чиста яки у младенца. Я ж всех предупреждал не флудить в моих темах. Здесь у меня будка и цепь.

Текайте уже. 

Сообщение ответа не требует.

 

 

Аватар пользователя Владимир Р

Тут ничего не скажешь, уникальный самодур и его предостаточное основание:

Кормин Михаил, 28 Январь, 2021 - 20:37, ссылка

Владимир Р, 28 Январь, 2021 - 18:33, ссылка

Что называется Кормин разгулялся в своей комнате теме! 

Ожидаемая еврейская проблематика. Отвечаем вопросом на вопрос. 

Разбираем по пунктам. 

Фиксируем начальные условия.

Авторитет Владимира из Смоленска 2 недели и один день. Фирма однодневка.

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

Владимир Р, 27 Январь, 2021 - 10:42, ссылка

первый раз вижу.

Даже если Вы в следующий раз представитесь Авраамом из Авраавмовка, я Вас вычислю по набору букв. Такую бредятину сложно не отличить от осознанных текстов. И снова засуну ниже городской канализации, где Вам и самое место. Шариков должен молчать и слушать. Молчать и слушать. Киношку "Собачье Сердце" пересмотрите перед тем как в следующий раз лезть со своими глубоковысморканными выводами на ФШ.

Кормин Михаил, 27 Январь, 2021 - 08:26, ссылка

Ну а поскольку в нижней части квадрата (1:1) то отношения подчинения мы в принципе не вправе рассматривать. Они не имеют достаточного основания. Это не связанные между собой посылка и следствие. Правомерно применять только связку дизъюнкции.

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

 

Но вы ж то применяете! Как Наполеон из Кащенко, который разложил по методу Задорного НА Поле ОН. Типа мама мне говорила, что в поле родила, и все время причитала, ОН чего приключилось. Значит НА ПОЛЕ ОН, эжто Я. 

Давайте еще раз по полочкам вашу бредятину кащенковскую разложим.

Владимир Р, 27 Январь, 2021 - 09:57, ссылка

 Если предположению "в огороде бузина (->) в Киеве дядька" на деле соответствует "в огороде бузина одновременно с тем что в Киеве нет дядьки", - то эта импликация будет ложной, а не истинной! (не выполнено условие!)

Откуда взялась связка подчинения? Я в предыдущем тексте внятно сказал, что именно она, и не обоснована. Можно только "или" применять в логически связной речи. Вы же желаете заострить внимание на своем логически несвязном мышлении. Какое нафиг условие может быть не выполнено в ваших кащщенковских фантазиях. Там все условия выполняются априори. Чего пациент замечтал, за то и морду соседям по палате бьет. Мораль высокая, но такая вот собачья. Лаять позволяет, а думать не обязательно

Я вам про конъюнкцию, Вы тут же переименовываете её в импликацию, поскольку образования, позволяющего отличить одно от другого, нет. Зачем открывать свой необразованный рот, на философском форуме?

Владимир. Это чисто прививка. Я еще даже на полпроцента не разогнался в искусстве изящной словесности. Если Вы не стекаете с моего раздела сверкая пятками, я вам запросто инфаркт микарда, вот такой рубец организую. И совесть моя будет чиста яки у младенца. Я ж всех предупреждал не флудить в моих темах. Здесь у меня будка и цепь.

Текайте уже. 

Сообщение ответа не требует.

Аватар пользователя Кормин Михаил

Владимир Р, 28 Январь, 2021 - 20:53, ссылка

Тут ничего не скажешь, уникальный самодур и его предостаточное основание:

Я никогда и не отрицал, что я самодур.

Только Вы один об этом не знаете в силу своего младенческого опыта на ФШ. Прямым текстом всегда пишу.

Кормин Михаил, 23 Январь, 2021 - 15:02, ссылка

Сергей! Ко мне нужно привыкнуть. Я же самодур, деспот. Но памятливый. Сейчас мне более интересно в темах Виктора серым кардиналом участвовать. Опять же виртуальные миллионы следующего полевого сезона приходится обсчитывать паралельно. Теория никуда не денется. Успеем.

А Вы, Владимир, кроме Неуча, еще и ссыкун знатный. На такое сообщение объемное только одну строчку своих высморков интеллектуальных для моей критики предоставили. Но я все равно нашел чего покритиковать. 

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

 

 

Аватар пользователя Владимир Р

Кормин Михаил

Я никогда и не отрицал, что я самодур.

кроме Неуча, еще и ссыкун знатный.

Ну раз самодур, значит и ссыкун и неуч заодно! 

Аватар пользователя Кормин Михаил

Владимир Р, 28 Январь, 2021 - 21:26, ссылка

Ну раз самодур, значит и ссыкун и неуч заодно! 

Вот видите, Владимир, Ваши сообщения становятся все короче и короче. Правильно мне бабушка говорила. "Воспитывать детей без розги, брать грех на душу". Тень разума в вашей кащенкосвкой головушке замаячила.

Вы понимаете, что значит в логике это импликация? 

Давайте я перепишу для ваших младенческих мозгов.

самодур -> ссыкун ^ неуч.

Посмотрите на формулу и осознайте, какой бред у Вас в головушке небитой. 

А... Вы же в символизациях не соображаете. Но  люди то, которые нашу квартирную склоку читают - соображают. И мотают себе на ус. Все что сказал Владимир Р из Смоленска 2 недели и один день от роду на ФШ нужно делить на 16. Делить нужно, поскольку он не ведает, о чем трепится. Трепач - Владимир Р из смоленска!!! Кроме того, что он ссыкун и Неуч который сует свой нос в темы которые он в первый раз в жизни видит.

Вот так Авторитет и уходит. Смотрите сколько я Вам ярлыков обоснованно навесил. Я ж препод на пути кривды. Вы с кем скалиться вздумали - мальчуган.

Бегите.

Аватар пользователя Владимир Р

 

Кормин Михаил

Вот видите, Владимир, Ваши сообщения становятся все короче и короче

Конечно вижу, не только короче, но и заметно уже! Уверен, Ваша бабушка была благочестивой, невинной женщиной: Порола Кормина Михаила как сидорову козу!

Кормин Михаил, 28 Январь, 2021 - 21:49, ссылка

Владимир Р, 28 Январь, 2021 - 21:26, ссылка

Ну раз самодур, значит и ссыкун и неуч заодно! 

Вот видите, Владимир, Ваши сообщения становятся все короче и короче. Правильно мне бабушка говорила. "Воспитывать детей без розги, брать грех на душу". Тень разума в вашей кащенкосвкой головушке замаячила.

Вы понимаете, что значит в логике это импликация? 

Давайте я перепишу для ваших младенческих мозгов.

самодур -> ссыкун ^ неуч.

Посмотрите на формулу и осознайте, какой бред у Вас в головушке небитой. 

А... Вы же в символизациях не соображаете. Но  люди то, которые нашу квартирную склоку читают - соображают. И мотают себе на ус. Все что сказал Владимир Р из Смоленска 2 недели и один день от роду на ФШ нужно делить на 16. Делить нужно, поскольку он не ведает, о чем трепится. Трепач - Владимир Р из смоленска!!! Кроме того, что он ссыкун и Неуч который сует свой нос в темы которые он в первый раз в жизни видит.

Вот так Авторитет и уходит. Смотрите сколько я Вам ярлыков обоснованно навесил. Я ж препод на пути кривды. Вы с кем скалиться вздумали - мальчуган.

Бегите.

Аватар пользователя Сергей Борчиков

Попытка разбора схемы М.Кормина

То, что 2 элемента по 4 составляют 16 комбинаций, банально, не обсуждаю.
То, что эти 16 комбинаций могут быть как-то поименованы и выражены через логические функции закономерно. Имена авторов одних наименований теряются в веках, других -  закреплены в названиях (Пирс, Шеффер). Тоже не разбираю.
Представляет интерес, как эти 16 увязаны между собой – логически и логико-семантически. Я думаю, таких схем и моделей может быть предложено разными логиками тоже немало. Пусть логики и читатели ФШ поломают над этим голову. Я же ближе к теме ЗДО.

Учитывая, что половина функций зеркальна (зеркальные пары обозначены на схеме линиями-связями сверху), т.е. просто 0 заменяются на 1 и наоборот. Остается уникальных 8 столбцов, и у меня поначалу появился соблазн увязать их через восьмиугольник. Но в него никак не вписывались 6 комбинаций (обозначенных снизу красными треугольниками), которые по сути не функции, а лишь величины.

По этому же пути пошел и М.Кормин. Он просто абстрагировался от этих 6 величин, а из оставшихся 10 (8) собрал восьмиугольник. Правда, две величины – строгую дизъюнкцию и тождество (красная связка сверху) – пришлось вводить внутрь многоугольника, им вершины не нашлось.
И тогда эти 8 вершин, поскольку они зеркальны, оказались попарно зеркально симметрично расположенными на противоположных концах восьмиугольника. Здесь ничего сложного не вижу, элементарная комбинаторика.

Изюминка заключается в том, что почти все функции коммутативны, т.е. от перемены места х и у они не меняются. А лишь четыре представляют обратные функции (обозначены синими стрелками-связками снизу). И вот эти-то функции оказались на вершинах восьмиугольника, через одну, образуя так называемый М.Корминым квадрат Платона. Но если запрет х и запрет у (нижняя сторона квадрата), на мой взгляд, никакой эвристической силы не имеют: так, формальность. То вот обратимость импликации и репликации (верхняя сторона квадрата "Платона") призвана сыграть самую что ни на есть сущностную (истинностную) роль во всей мировой логике.

Именно она, да еще усиленная располагающимся на ней законом тождества (зеркальностью строгой дизъюнкции) и призвана обеспечить функционирование закона достаточного основания, а следовательно и истины.
Вербальное определение формулы ЗДО – закон достаточного основания есть дизъюнкция импликации и репликации.  

Аватар пользователя Кормин Михаил

Сергей Борчиков, 27 Январь, 2021 - 13:45, ссылка

Изюминка заключается в том, что почти все функции коммутативны,

В матлогике все эти функции коммутативны. Коммутативны они потому, что математика не реагирует на качество. Все числа одного качества. Предложенная система реагирует на качество переменных по порядковому номеру в формуле. первое - всегда имя, частное. второе - всегда свойство, общее

Это математизация логики Спенсера Брауна. Здесь различаются имя и свойство. Переключение (1:0) происходит не посредством отрицания, а посредством введения границ. (^:v). ^ - отсутствие границ между переменными, v - наличие границы между переменными. 

Система начинает различать. 

Философия истории (х^у) - ссылка на базу данных по нужному адресу.

История философии (у^х) - ссылка на базу данных по нужному адресу.

Это переворот не в логике, а в информатике. Причем глобальный переворот, круче чем переход с ламп на полупроводники. Я же обещал Виктору vlopuhin, создать базу для электронного переводчика, который сможет переводить с фени на церковнославянсткий. Я её сделал. Машина теперь способна различать не только количество, но и качество.

Сергей Борчиков, 27 Январь, 2021 - 13:45, ссылка

Вербальное определение формулы ЗДО – закон достаточного основания есть дизъюнкция импликации и репликации

Нет Сергей.

Закон достаточного основания, это правомерность введения квантора общности через импликацию, репликацию, либо эквивалентность посредством двоичного кода операции строгой дизъюнкции. 

х  у          +

0  0          0 - правомерно через эквивалентность переменных

0  1          1 - правомерно через репликацию

1  0          1 - правомерно через импликацию

1  1          0 - не правомерно

 

Как Вы надеюсь понимаете, Сергей, квантор общности, это и есть закон. А результаты обработки баз данных в виде таблицы истинности "исключающего или"  достаточное основание для него. Закон достаточного основания, это закон законов, во всех возможных мирах.

Я не нашел способов сделать людей умнее, поэтому ищу способы сделать умнее планшеты, которые, вместо нас, учат наших детей.

Но попытки сделать людей умнее я не оставил. Этому посвящены последние темы Виктора. Как то мне удалось его уговорить. 

Мышление, или при чем здесь логика?

Что такое право?

Мышление, или при чем здесь логика? 2

Что такое мораль?

Там на практике обкатывается именно то, что здесь изображено в виде безличных теоретических схем.

 

Уважаемые посетители моего раздела. Я всех вас приглашаю на практические занятия. Мне не интересно говорить о теории. Вот там, Вы на практике и покажете глубину своего УМА. 

Критиковать уже сделанное не имеет смысла. От Вашего мнения ничего не зависит. Время само все расставит на свои места. Не захламляйте раздел пустыми комментариями.

Аватар пользователя Victor

Мне нравится сама идея найти формальное обоснование ЗДО, и я с удовольствие посмотрел ход мысли, но обращу ваше внимание на то. что даже википедия подчеркивает тот факт, что 

"Закон достаточного основания не формализуется, не является формальным логическим законом и не принадлежит к логике в собственном смысле слова. Он введён из общенаучных методологических соображенийздравого смысла, и направлен против размышления, соблюдающего формально-логическую правильность, но принимающего на веру произвольные, ничем не обоснованные суждения, против различного рода предрассудков и суеверий; он призван выразить то фундаментальное свойство логической мысли, которое называют обоснованностью или доказанностью. Запрещая принимать что-либо только на веру, этот закон выступает преградой для интеллектуального мошенничества и является одним из главных принципов науки (в отличие от псевдонауки)[3].

Если "обнажить" эту мудреную мысль, то очень просто - речь идет о неком содержании, которое, как правило, эксплицитно не выражается, но имплицитно присутствует...

Но я несколько о другом...  Я обратил внимание. что в западной философии этот принцип (ЗДО) практически не упоминается именно в силу выше-сказанного. А эта тема, ИМХО, стала фигурировать под темой "Фундаментальность". 

Дам  ссылку, наиболее известного автора данной темы и понравившейся мне статьи:

Fundamentality and Ontological Minimality (Tuomas E. Tahko (University of Helsinki))

https://www.academia.edu/21867745/Fundamentality_and_Ontological_Minimality

Что бы яснее стало, приведу оттуда абзац:

2. Мереологическая Фундаментальность

Варианты, описанные выше, были представлены в мереологических терминах: конус на рис. 1 взят для представления мереологической иерархии, где мереологические комплексы находятся наверху, а (предполагаемые) мереологические атомы-внизу. ‘Уровни " реальности в соответствии с этой картиной являются, таким образом, мереологическими уровнями. Это подводит нас к Мереологическому фундаментализму, который можно описать как комбинацию следующих двух тезисов: 

Мереологическая иерархия (М): Мир организован на мереологические уровни, в результате чего возникает иерархическая структура, управляемая отношениями мереологической зависимости.4

Фундаментальность Тезиса (F): Существует фундаментальный "уровень" на одном конце иерархической структуры реальности, то есть соответствующая цепочка зависимостей замыкается по крайней мере на одном конце.

Вместе (M) и (F) влекут за собой (упрощенную) мереологическую основу:

 Мереологическая фундаментальность (МФ) : мир организован на мереологические уровни, и существует фундаментальный, мереологически независимый уровень, который находится на одном конце мереологической шкалы.

О чем вообще речь? О том, что мир системен (технология "одно"-"многое")! Мереология - это один из способов выражения системности.

***

У вас в статье:

Начнем с единственной аксиомы на которую будет опираться Формализованный Закон Достаточного Основания Лейбница.

Импликация истинна тогда и только тогда, когда посылка включена в следствие.

А что значит это на онтологическом уровне? Ну, например, с позиции мереологии (части и целого)? Вот эта фраза: "посылка включена в следствие"? А то, что "посылка" это "часть" "следствия" как "целого".

Да, я понимаю, что когда мы говорим "металлы электропроводны", то следуя традиции, легче это представить в терминам "субъекта" и "предиката". Но вы ведь пользуетесь диаграммами Вена? Уже разбиваете на "части"? ... значит речь идет о некой форме абстрактной выразительности?

Вот мереология, по мнению некоторых авторов, наиболее выразительна в поисках фундаментальности, поскольку совпадает с существующим концептом системности.

***

 Как по мне, исходя из вышеизложенного, ЗДО сводится к онтологическому минимализму - непротиворечии системности. Собственно, по такому пути и вы пошли, только в другом исчислении (насколько я помню, такое предикатное исчисление исключает иерархию (поправьте если что), а принцип фундаментальности его предполагает исходно.

ИМХО!!!

Аватар пользователя Сергей Борчиков

Не знаю, ответит или нет Михаил, но я ответил - ссылка.

Аватар пользователя Кормин Михаил

Victor, 28 Январь, 2021 - 11:32, ссылка

Как по мне, исходя из вышеизложенного, ЗДО сводится к онтологическому минимализму - непротиворечии системности. Собственно, по такому пути и вы пошли, только в другом исчислении (насколько я помню, такое предикатное исчисление исключает иерархию (поправьте если что), а принцип фундаментальности его предполагает исходно.

ИМХО!!!

Я не исключаю иерархию Виктор. Я просто логически непротиворечиво складываю пазлы. А уж что там проявится, иерархия или анархия, только программисты докажут. Когда соберут ядро операционной системы на основании "и", "или". Опора на эксперимент приветствуется. Я уверен, что эта операционка будет на порядки производительней, но это мои считалки. Опыт все сам расставит на свои места. 

Аватар пользователя Владимир Р

Смотри ка, не думал что и в Википедии найдутся разоблачительные статьи в адрес самонадеянных авантюристов Михаила и Сергея, которые за своим крючкотворством  мнят себя мучениками науки!

Victor, 28 Январь, 2021 - 11:32, ссылка

даже википедия подчеркивает тот факт, что 

"Закон достаточного основания ... не принадлежит к логике в собственном смысле слова.

этот закон выступает преградой для интеллектуального мошенничества и является одним из главных принципов науки (в отличие от псевдонауки)[3].

 

Аватар пользователя vlopuhin

Ну щас я сыграю доброго следователя :)

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

Но это так себе, лирическое отступление. Кажется я понял в чем так сказать камень преткновения. Проблема известная - пропасть между теорией и практикой. Можно сказать и так: в теории говорится как и из чего строить, на практике строим как можем и из того, что есть. Но и это не всё, вспоминаются наши дискуссии с Дмитрием (Dimitro). Пример из математики. Прежде чем решать задачу, необходимо иметь оценку, имеется ли вообще у этой задачи решение? Этот момент зачастую упускается, а зря. У Михаила с этим как раз всё в порядке:

Начнем с единственной аксиомы на которую будет опираться Формализованный Закон Достаточного Основания Лейбница.

 

Импликация истинна тогда и только тогда, когда посылка включена в следствие. 

Этим сразу была отсечена та проблема, которую здесь широко муссируют Владимир Р и Владимир К. Дело в том, что согласно теоремам Гёделя полными и непротиворечивыми могут быт только формальные системы, такие как, например, арифметика. Затем последовало ещё одно уточнение:

Кормин Михаил, 27 Январь, 2021 - 16:10, ссылка

Система начинает различать. 

Философия истории (х^у) - ссылка на базу данных по нужному адресу.

История философии (у^х) - ссылка на базу данных по нужному адресу.

Это переворот не в логике, а в информатике. 

Теперь становится понятно, что моё сравнение таблиц истинности с трещинками на потолке неуместно. Да, в аналоговой технике всё не так, картинки кистью намного богаче компьютерной графики квадратиками, но речь то не о них! В общем случае наука это система из эмпирических знаний и теории, в ней полнота теории обеспечивается за счет противоречий системы! Но ведь это из другой области,  тема Михаила о другом. Мало того, он неоднократно и каждый раз всем это повторяет.

 

Но вернёмся к теме. Вот что пишет Сергей Борчиков:

Сергей Борчиков, 27 Январь, 2021 - 10:08, ссылка

Михаил предлагает ЗДО считать "формализованным"

Изврат позиции: он не просто предлагает считать, он предлагает формулу ЗДО:

Кормин Михаил, 2 Июнь, 2020 - 08:31, ссылка

Это дает возможность отобразить формализованный закон достаточного основания Лейбница в форме закона исключенного третьего и  запрещенного противоречия.
(S → P) v (S ← P) = 1
(S → P) ^ (S ← P) = 0

Я тоже предложил аналогичную формулу:

Сергей Борчиков, 23 Январь, 2021 - 12:06, ссылка

Формула закона достаточного основания

(а → b) v (а ← b)

Вы обе формулы проигнорировали и снова извратили.

 Ну то, что извратили и проигнорировали понятно, что ещё от них ждать? Меня заинтересовало другое. Почему у Сергея одно выражение (одна строка), а у Михаила два? Потому что все логические объекты ходят парами. Например, если определились со сложением, то непременно вылезет проблема с вычитанием, и для вычитания придётся строить свой алгоритм. Другими словами любой закон в логике будет иметь две стороны, если это закон тождества, то обязательно есть закон не-тождества. У Михаила закон достаточного основания сразу идёт из двух выражений, потому что иначе никак, он на стыке теоретической и прикладной логики, более того опирается на аксиому. Откуда спрашивается аксиома? Из философии! То же самое с теоремами Гёделя, их две, и они доказываются не строго в математическом (формализованном) виде. Как любит выражаться Владимир Р, теоремы Гёделя не референтные.

Тогда почему у Сергея одно выражение? Мне кажется будет понятно на образном примере. Все видели параболу? Разбиваем её горизонтальными прямыми. Владимир К и Владимир Р бьют в пустоту. Сергей попадает в одну точку - точку экстремума. Михаил разбивает параболу на две части, то есть его прямая пересекает параболу в двух точках, отсюда и два выражения.

Вывод теоретический: как не может быть философии без логики, так и логики без философии. Вывод прикладной: логика и мышление это "две стороны одной медали".

Аватар пользователя Владимир Р

vlopuhin

Ну щас я сыграю доброго следователя :)

 на ФШ приводить статьи из Википедии

Этим сразу была отсечена та проблема, которую здесь широко муссируют Владимир Р и Владимир К. 

Вы не следователь, vlopuhin, а адвокат двух мошенников, чей блеф был вскрыт безо всякой Вики-Пики-Пети!

А "муссируют" Владимир Р и Владимир К только одно: кому из этих двух горе-логиков Сергею или Михаилу бежать за ящиком минералки! Их от всемирного позору спасают, а они тут возмущаются и морщатся!cheeky

Аватар пользователя vlopuhin

Мне иногда нравится художественно литературный жанр, но это не тот случай. Не поверите, у меня даже одна коза рисовать умеет. Берёт в пасть соломинку и водит ей по стенам. Первый раз, когда я это заметил, подумал случайно, но это повторилось несколько раз. Буквально вчера я ей сам дал соломинку в пасть, и она повторила свой "подвиг"! Теперь даже не знаю, что с этим делать... :)

Аватар пользователя Владимир Р

vlopuhin, 29 Январь, 2021 - 10:31, ссылка

 Не поверите, у меня даже одна коза рисовать умеет. Берёт в пасть соломинку и водит ей по стенам. Первый раз, когда я это заметил, подумал случайно, но это повторилось несколько раз. Буквально вчера я ей сам дал соломинку в пасть, и она повторила свой "подвиг"! Теперь даже не знаю, что с этим делать... :)

Виктор, тут главное не растеряться! Купите силиконовый палец и дайте вашей козе! Пусть она за вас сообщения набивает!  

Аватар пользователя vlopuhin

Вы не поняли. Открытым текстом: я не буду больше отвечать на Ваши комментарии, что бы не давать Вам повод бздеть не по делу.

Аватар пользователя Владимир Р

vlopuhin, 29 Январь, 2021 - 11:40, ссылка

Вы не поняли. Открытым текстом: я не буду больше отвечать на Ваши комментарии, что бы не давать Вам повод бздеть не по делу.

 Разоблачать мошенников - это по вашему бздеть не по-делу?

Аватар пользователя vlopuhin

Вас же предупреждали, здесь не мошенники, здесь цепные псы, правда пока сидят в будке, никого не трогают, но могут и откусить чего нибудь, по самые уши :)

Аватар пользователя Владимир Р

Вvlopuhin, 29 Январь, 2021 - 12:48, ссылка

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

Виктор, вы считаете что Сергей и Михаил - это псы, которые сидят на цепи и в какой-то там будке? Тогда не понятно, кто пишет за них сообщения? Поясните?

Аватар пользователя vlopuhin

Шутки шутками, но меру всё же надо знать. За мошенников советую Вам извиниться, и дальше развивайте эту хрень без меня.

Аватар пользователя Владимир Р

vlopuhin, 29 Январь, 2021 - 13:50, ссылка

Шутки шутками, но меру всё же надо знать. За мошенников советую Вам извиниться, 

Замечание по существу! Спасибо, Виктор! Действительно, это не просто мошенники - это интеллектуальные мошенники! Прошу прощения за неточность! 

Аватар пользователя Владимир К

vlopuhin, 29 Январь, 2021 - 08:02, ссылка

...Но вернёмся к теме. Вот что пишет Сергей Борчиков:

Сергей Борчиков, 27 Январь, 2021 - 10:08, ссылка

Михаил предлагает ЗДО считать "формализованным"

Изврат позиции: он не просто предлагает считать, он предлагает формулу ЗДО:

Кормин Михаил, 2 Июнь, 2020 - 08:31, ссылка

Это дает возможность отобразить формализованный закон достаточного основания Лейбница в форме закона исключенного третьего и  запрещенного противоречия.
(S → P) v (S ← P) = 1
(S → P) ^ (S ← P) = 0

Я тоже предложил аналогичную формулу:

Сергей Борчиков, 23 Январь, 2021 - 12:06, ссылка

Формула закона достаточного основания

(а → b) v (а ← b)

Вы обе формулы проигнорировали и снова извратили.

Эти формулы за уши притянуты.

В книге И. Демидова "Логика: Учебное пособие для юридических вузов" приводится схема:

§ 5. Закон достаточного основания

 
   Сущность закона: всякая мысль может быть признана истинной только тогда, когда она имеет достаточное основание, всякая мысль должна быть обоснована.
   Записывается так:
 
   А есть потому, что есть В
 
   В приведенной логической схеме:
   А - это логическое следствие, то есть мысль, которая вытекает из преды­дущей мысли;
   В - логическое основание, то есть мысль, из которой вытекает другая мысль.

 

Ссылка, стр. 34

   "А есть потому, что есть В", а если В нет, то и А нет. На нет и слов нет.

Есть В - логика имеет место, нет В - логика не имеет места.

У вас есть деньги - вам есть на что существовать. Нет денег - существовать вам не на что.

Какая здесь может быть формализация?

Аватар пользователя vlopuhin

Это Вы "притянули за уши" причинно следственную связь (ПСС) туда, где ей нет места. Можете пообщаться на эту тему с Александром Болдачевым, типа женился потому что купил цветы по дороге в ЗАГС :)

Аватар пользователя Владимир К

Предметно вы не возразили.

Кстати, причинно-следственная связь формулируется самим законом.

Аватар пользователя vlopuhin

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

Аватар пользователя Владимир К

Я считаю правильным, потому привёл.

Что касается А и В, то здесь всё просто -

 Сущность закона: всякая мысль (А)  может быть признана истинной только тогда, когда она имеет достаточное основание (В), всякая мысль должна быть обоснована.

Аватар пользователя vlopuhin

Так всё таки это про мысль с её логическими связями, или про вещдоки с подозреваемыми и преступниками? Вы уже как нибудь определитесь, за какой Вы "Интернационал"?

Аватар пользователя Владимир К

Если достаточным основанием является факт, то он не сам по-себе является достаточным основанием, а является достаточным основанием как осмысленный факт - как мысль о факте. И так со всеми достаточными основаниями.

В схеме автору это нужно сообщить и он пишет:

 В - логическое основание, то есть мысль, из которой вытекает другая мысль.

Аватар пользователя vlopuhin

Теория не оперирует фактами, ей аксиомы подавай. Любой факт может быть истолкован как в доказательство, так и в опровержение любой теории.

Аватар пользователя Владимир К

Можете сколько угодно разглогольствовать о теории, а я придерживаюсь этого -

  Закон достаточного основания требует обоснованности всякого положе­ния, но он не может указать, каким должно быть конкретное содержание данного основания. Это определяется содержанием соответствующей отрас­ли знания...

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

Ссылка, стр. 34

Аватар пользователя Владимир Р

Владимир К, 29 Январь, 2021 - 13:08, ссылка

Можете сколько угодно разглогольствовать о теории, а я придерживаюсь этого -

  Закон достаточного основания требует ... сопостав­ления с фактами действительности. 

Тут как говориться, если факты противоречат "закону достаточного основания" двух авантюристов, то тем хуже для фактов!laugh  

Аватар пользователя Владимир К

Почему двух? Здесь ещё третий дерзает.

Аватар пользователя Владимир Р

Владимир К, 29 Январь, 2021 - 13:20, ссылка

Почему двух? Здесь ещё третий дерзает.

Не думаю, что Виктор должен участвовать в поставке ящика минералки! 

Аватар пользователя Кормин Михаил

Владимир Р, 29 Январь, 2021 - 13:14, ссылка

Тут как говориться, если факты противоречат "закону достаточного основания" двух авантюристов, то тем хуже для фактов!laugh  

Владимир К, 29 Январь, 2021 - 13:20, ссылка

Почему двух? Здесь ещё третий дерзает.

Я в одинокого вывезу. Ну что, борцы за правду, поиграем в каламбуры. Ума вам бог не дал, так может вы хоть как стартаперы тянете.

Мы сейчас на практическом занятии "мораль" проходим. Очень интересно узнать.

Кормин Михаил, 28 Январь, 2021 - 20:37, ссылка

Текайте уже. 

Сообщение ответа не требует.

Кормин Михаил, 28 Январь, 2021 - 21:14, ссылка

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

Кормин Михаил, 28 Январь, 2021 - 21:49, ссылка

Бегите.

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

Да мало ли дурочек по свету ходит в майках, с надписями "я не легкомысленная, я доверчивая" и многоточиями разговаривают. 

Это у вас здесь ни друзей ни репутации. Две недели стаж на форуме. У девчонки Вашей 4 года и 39 недель на кону.

Я вас заткну, и вы слиняете. С темы моей точно, а возможно и с форума. А девчонке то вашей чего потом делать? Как оправдываться? Зачем она с прохиндеем связалась, который поматросил и бросил. 

Вы вообще чувствуете ответственность за тех кого приручили Владимир Р?

Основной вопрос.

Что вас заставляет Владимир Р, не имя никакого авторитета за спиной, жертвовать репутацией доверчивого человека, у которого этот авторитет имеется?

 

 

Аватар пользователя Владимир Р

Кормин Михаил

Что вас заставляет Владимир Р, не имя никакого авторитета за спиной, жертвовать репутацией доверчивого человека, у которого этот авторитет имеется?

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

Аватар пользователя Кормин Михаил

Владимир Р, 29 Январь, 2021 - 17:42, ссылка

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

Ответ то на вопрос ГДЕ?

Это же вы Владимир Р - как раз тот червяк смрадный, который на доверчивых людях себе авторитет без всяких оснований заработать пытается. Вы на вопрос ответьте, хоть что нибудь. Блесните уже мыслью своей. Девчонку свою (Владимир К) порадуйте. Чтоб она осознала, что не прохиндею, а гению доверилась. 

Я понимаю, что бог вам ума не дал. Поэтому второй раз вопрос повторяю.

Кормин Михаил, 29 Январь, 2021 - 15:28, ссылка

Что вас заставляет Владимир Р, не имя никакого авторитета за спиной, жертвовать репутацией доверчивого человека, у которого этот авторитет имеется?

Аватар пользователя Владимир Р

 Поверьте, Михаил, на ваши глупые вопросы никому кроме вас и не ответить:

Кормин Михаил,

Я понимаю, что бог Кормину Михаилу ума не дал. Поэтому второй раз вопрос повторяю.

Кормин Михаил, 29 Январь, 2021 - 15:28, ссылка

Что вас заставляет, Кормин Михаил, не имя никакого авторитета за спиной, жертвовать репутацией доверчивого человека, у которого этот авторитет имеется?

Аватар пользователя Кормин Михаил

Владимир Р, 29 Январь, 2021 - 19:19, ссылка

 Поверьте, Михаил, на ваши глупые вопросы никому кроме вас и не ответить:

Я понимаю, что бог Кормину Михаилу ума не дал. Поэтому второй раз вопрос повторяю.

Что вас заставляет, Кормин Михаилне имя никакого авторитета за спиной, жертвовать репутацией доверчивого человека, у которого этот авторитет имеется?

Вы зачем мое имя над своими детсадовскими компиляциями вставили? Это чего реально предел фантазии? КТО ОБЗИВАЕТСЯ, ТОТ САМ НАЗИВАЕТСЯ? Место вам в детском саду пироженки из песка лепить, и обсуждать со сверстниками, чей папа сильнее.

ПОДИТЕ ВОН ИЗ МОЕГО РАЗДЕЛА!

Мыслитель - детсадовского уровня. 

Сообщение ответа не требует.

Аватар пользователя Владимир Р

Понимаю, минералочки от вас не дождёмся!? или что? 

Кормин Михаил

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

ПОДИТЕ ВОН ИЗ МОЕГО РАЗДЕЛА!

Мыслитель - детсадовского уровня. 

Сообщение ответа не требует.

Аватар пользователя vlopuhin

Закон достаточного основания требует обоснованности всякого положе­ния, но он не может указать, каким должно быть конкретное содержание данного основания. Это определяется содержанием соответствующей отрас­ли знания...

Вы это математикам расскажите, как так они, суки такие, без яблок, счетных палочек и землекопов свои дерзкие теоремы доказывают :)

И кстати повторюсь, ничего страшного, закон Ома был получен эмпирическим путём, а потом выведен из уравнений Максвелла, по крайней мере на уроках физики в школе :)

Аватар пользователя Владимир Р

Вы это математикам расскажите, как так они, суки такие, без яблок, счетных палочек и землекопов свои дерзкие теоремы доказывают :)

Математика - наука о цифрах, а не о землекопах и ... !

Логика - наука о мышлении, а не о явлениях в действительности! 

Было же условлено, как только Михаил и Сергей отождествят явления в мышлении с явлениями в природе, так я первый кто принесёт им ящик минералки с глубокими извинениями!

Аватар пользователя vlopuhin

Назовите хотя бы один закон науки математики.

Аватар пользователя Владимир Р

 vlopuhin, 29 Январь, 2021 - 15:12, ссылка

Назовите хотя бы один закон науки математики.

Наслаждайтесь!

Переместительный закон сложения цифр, а не землекопов!

Сочетательный закон сложения цифр, а не и т.д.

Переместительный закон умножения

Сочетательный закон умножения

Распределительный закон умножения

Аватар пользователя vlopuhin

Сложение цифр обсудите на досуге с Владимиром К, но здесь потрудитесь, пожалуйста, объясните уважаемой публике, что такое

, а не и т.д.

Аватар пользователя Владимир Р

vlopuhin, 30 Январь, 2021 - 04:32, ссылка

Сложение цифр обсудите на досуге с Владимиром К, но здесь потрудитесь, пожалуйста, объясните уважаемой публике, что такое

, а не и т.д.

Круто! Конечно, объясню!

под ", а не и т.д." необходимо понимать то и только то, что соответствует смысловому ряду  vlopuhinа - "а не яблок, счетных палочек и землекопов!

 

Аватар пользователя vlopuhin

Повторяем еще раз, при этом стараемся, чтобы ребенок участвовал в проговаривании объяснении, повторял за вами. Затем кладем перед ребенком...

Аватар пользователя Владимир Р

Да, Виктор!???  Вам компот надо было яблочный варить ещё осенью, а не теперь зимой! Чем думают эти философы, яблоками в голове, а не на снегу! Виктор, признавайтесь, у вас яблоки в голове?

Аватар пользователя vlopuhin

Не правильный ответ. Подумайте ещё. Подсказываю, это не про кулинарные рецепты.

Аватар пользователя Владимир Р

Нет, это именно про кулинарные рецепты вашей логики!

Аватар пользователя Владимир К

vlopuhin, 29 Январь, 2021 - 14:32, ссылка

Вы это математикам расскажите, как так они, суки такие, без яблок, счетных палочек и землекопов свои дерзкие теоремы доказывают :)

У тю-тю-тю-тю-тю-тю!

Это написал -

Демидов И.В. – профессор кафедры гуманитарных дисциплин ГКОУ ВО «Российская таможенная академия», кандидат философских наук, профессор.

Поди он от математиков скрывал, той же академии.

Аватар пользователя vlopuhin

"Абсолютно здоровых не бывает, бывают недообследованные."

Дамаю я уже достаточно из вас признаний вытянул. Покедава, мне пора на вечернюю дойку :)

Аватар пользователя Сергей Борчиков

Виктор Борисович, очень интересное у Вас сообщение (ссылка) с попыткой объяснить, почему в формулировке ЗДО у М. Кормина две формулы, а у меня одна. Но ответил на него (и получилось достаточно объемно) в параллельной теме – ссылка.

Здесь же, в текущей теме, работать трудно, поскольку она подверглась атаке троллей. У Михаила еще хватает сил с ними бороться, а Вы – добрейший человек. Хотя впрочем у модератора всегда есть средство, предоставленное правилами форума: «Чик» – и нет троллей.

Аватар пользователя Владимир Р

vlopuhin, 29 Январь, 2021 - 08:02, ссылка

 

Википедия это не только хорошо, но и плохо. Это большая, я бы сказал всемирная, помойка,

Простите, Виктор, а вы случаем не тот Виктор с Феномен.ру, который всячески популизировал Википедию!?

Аватар пользователя vlopuhin

Нет. :)

Аватар пользователя Владимир Р

Спасибо, за ответ! Извините,  уж больно стили "широкой" аргументации похожи!?

Аватар пользователя Владимир Р

vlopuhin, 30 Январь, 2021 - 15:47, ссылка

 

А , ведь это правда!

Например, чтобы был справедлив закон достаточного основания, - достаточно чтобы в голове у логиков Михаила и Сергея пошёл снег! А Виктору Лопухину чтобы решить математический пример - достаточно сходить на базар, купить яблоки, и засунув их себе в голову, начать производить математические действия! Романтика!

 

Аватар пользователя vlopuhin

Опять не правильный ответ. Даю ещё одну подсказку. Смотрите внимательно, я даже подчеркнул нужное: 

, а не и т.д.

Аватар пользователя Владимир Р

говорите, Виктор, по существу, а не абы как..

Аватар пользователя vlopuhin

Объясните, почему "не"? Почему не "и", конъюнкция:законы сложения и цифр, и яблок, и счетных палочек, и землекопов? Картинка с яблоками Вам в помощь. Или Ваш компаньон поможет? Как там у вас с взаимовыручкой, сможет он опуститься до такого уровня?

Аватар пользователя Владимир К

Я так понимаю.

Вот чего вы хотели -

vlopuhin, 29 Январь, 2021 - 15:12, ссылка

Назовите хотя бы один закон науки математики.

Вам назвали пять. У вас по ним вопросов нет. Но желание есть, "придратся к фонарному столбу".

Аватар пользователя vlopuhin

Вы же вроде на академиков привыкли ссылаться? Источник смотрели, откуда законы взяты? Беспорядочные связи до хорошего не доведут, я там авторов не нашел, даже "лицо побить" некому... :)

Аватар пользователя Владимир К

Спохватились! Но претензия не ко мне, не я вам "наслаждение" доставлял.

Аватар пользователя vlopuhin

Что значит спохватился? Это Вы опустились с академического до детсадовского* уровня, фраеров ищите где нибудь в другом месте, что бы им порожняк с законами математики гнать.

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

Аватар пользователя Владимир Р

 

vlopuhin, 30 Январь, 2021 - 18:04, ссылка

Объясните, почему "не"? Почему не "и", конъюнкция:законы сложения и цифр, и яблок, и счетных палочек, и землекопов? 

 

Нет, Виктор! Ничего вам объяснять не буду! Вы долго сражались с парадоксом Сократа и Платона, и в результате парадокс Платона и Сократа вас одолел! Но даже этого вы не осознали! Вы, Виктор, человек глупый, хотя наверное и хозяйственный!

Аватар пользователя vlopuhin

Очнитесь, Володенька, какой Платон, какой Сократ?... Вам для начала с яблоками разобраться край как необходимо. Когда разберётесь с яблоками, можно будет переходить к цифрам, если и это осилите, в чем я сомневаюсь судя по этому - ссылка, можно будет и о числах думать.

И не ждите, что кто то за Вас это сделает, напрягайте собственный моск, как говорит Эрц, не бойтесь, он не сломается, поскольку дер нематериальный. Хотя... Кому я это говорю?...

Аватар пользователя Владимир Р

vlopuhin

Очнитесь, Володенька, какой Платон, какой Сократ?... Вам для начала с яблоками разобраться край как необходимо.

А что тут разбираться и так понятно! Бывают яблоки на снегу, а бывают яблоки вместо цифр  у Виктора в голове - розовые  в сером веществе!wink

Аватар пользователя vlopuhin

Опять неправильный ответ. Сосредоточьтесь, Владимир, но не на мне, моя личность Вам только мешает, а на яблоках. На картинке, которую я Вам подкинул, таблица истинности сложения двух чисел 1 и 1, и не важно чем её заполнить, цифрами ли, счетными палочками ли, землекопами ли, но удобнее яблоками, круглое катать удобнее. И запомните, в математике нет законов, в математике формализуются законы природы, то, что Вы привели выше, это основания математики, или аксиомы (ну это для тех, кому эти аксиомы доказывать лень). Можете не отвечать, я больше не читаю Ваши комментарии.

Аватар пользователя Владимир Р

vlopuhin,

И запомните, в математике нет законов, в математике формализуются законы природы, то,

Можете не отвечать, я больше не читаю Ваши комментарии.

 Да, это как один еврей писал письмо другому еврею. Вот он пишет в конце:

Абрам очень хотел послать тебе сто рублей, но извини, уже заклеил конверт!

Аватар пользователя Кормин Михаил

Владимир Р, 31 Январь, 2021 - 14:55, ссылка 

Да, это как один еврей писал письмо другому еврею. Вот он пишет в конце:

Абрам очень хотел послать тебе сто рублей, но извини, уже заклеил конверт!

Вот ведь мексиканец неубиваемый, из Джека Лондона. Три раза указал на дверь, один раз конкретно выгнал вон. А вы, Владимир, все трындите, то про минералку которая предвкушалась, то про евреев которые причудились к месту.

Я тут для Болдачева статистики подсчитал. Пусть пересчитает, если не верится.

на 15.20 по ФШашному времени 31. 01. 2021 в теме 167 комментариев. 

из них явное лидерство у вас Владимир Р - 56 шт, не смотря на то, что в проблематике "первый раз вижу" и мышление детсадовца из песочницы.

Ваша подружка Владимир К, которая на третьем месте имеет статистики - 22 шт. В голове ни бум бум малолетка дура дурой, слегка отстает по производительности.

Я на втором месте 26 шт включая старт топик и этот комментарий.

Если сложить ваши статистики 56+22 = 78 шт

Вы вдвоем написали в три раза больше чем я один. Но я ж то не только вам отвечал. Я всем участникам обсуждения уделил внимание. 

Я у Болдачева на карандашике. За словом в карман не лезу. Закусились мы совсем недавно. Он всяко теперь читает, чего я пишу. И этот ком тоже всяко прочитает.

Теперь следите за мыслью. Мне выгодно когда вы, без устали, пишите всякий бред в моей теме. Тема держится в топе. А людей, сюда пришедших, я отправляю в параллельную тему Сергея. Мне пофигу где обсуждать. В теме 

http://philosophystorm.ru/sistema-kategorii-ch25-2-zakon-dostatochnogo-o...

У вас шансов нет. Чикнет Сергей маленькой красной кнопочкой, и нет мексиканца. Как там в песне Одесского шансона поется.

Но спор в Кейптауне
Решает браунинг,
И англичане
Начали стрелять.

Но я этим путем идти не хочу. Есть у меня маленькая красная кнопочка, и право ей пользоваться есть. Сергей мне на это право намекает.  

Сергей Борчиков, 29 Январь, 2021 - 11:24, ссылка

Здесь же, в текущей теме, работать трудно, поскольку она подверглась атаке троллей. У Михаила еще хватает сил с ними бороться, а Вы – добрейший человек. Хотя впрочем у модератора всегда есть средство, предоставленное правилами форума: «Чик» – и нет троллей.

Право удалить ваши, Владимир Р, комментарии у меня есть. А вот желания их удалять, у меня нет. Это мое право, пользуюсь по желанию и в соответствии с собственными принципами.

А Вот у Болдачева теперь моральная проблема. (мы мораль на практике проходим, переношу сюда практическую проблематику). Он же модератор. Бан, отъявленных тролей, которые гробят имидж ресурса, где он числится модератором, для Болдачева уже не ПРАВО, а ОБЯЗАННОСТЬ. При чем у Болдачева Жирная красная кнопка, которая забанит вас всерьез и надолго, не только в моем разделе, но и на всем ресурсе ФШ.

Я жду и считаю, сколько раз Вас, Владимир Р, нужно откровенно выгнать ВОН из моего раздела, чтоб корпус модераторов ресурса начал заниматься своими непосредственными ОБЯЗАННОСТЯМИ.

Такие у меня принципы. Я за монополию насилия на конкретной территории. Самосудом не занимаюсь, и жалобы писать в падлу. Подрядился Болдачев на модераторский пост в иерархии небожителей ФШ, соответственно Вы, Владимир, его проблема, а не моя. Мне Вы только пользу приносите - тему в топе держите.

Я вам обещал роль лабораторной крысы - вот она, на блюдечке с голубой каемочкой. Здесь серьезные люди с взрослыми мозгами интригу держат. А ваша лабораторная судьба никого не интересует. Тем более авторитет у вас уже отрицательный, а не нулевой, как было изначально.

vlopuhin, 31 Январь, 2021 - 14:44, ссылка

Можете не отвечать, я больше не читаю Ваши комментарии.

Ну что еще сказать на последок.

ПШЕЛ ВОН ИЗ МОЕГО РАЗДЕЛА - ИНТЕЛЛЕКТУАЛЬНЫЙ НЕДОНОСОК,

 

 

 

 

 

Аватар пользователя Владимир Р

 Кормин Михаил, скажите, вы не нормальный!? Удалить можете и не можете!? Вы не нормальный?

Кормин Михаил

Право удалить ваши, Владимир Р, комментарии у меня есть. А вот желания их удалять, у меня нет. Это мое право, пользуюсь по желанию и в соответствии с собственными принципами.

Ну что еще сказать на последок.

ПШЕЛ ВОН ИЗ МОЕГО РАЗДЕЛА - ИНТЕЛЛЕКТУАЛЬНЫЙ НЕДОНОСОК,

 

 

 

 

Аватар пользователя Кормин Михаил

Владимир Р, 31 Январь, 2021 - 16:50, ссылка

 Кормин Михаил, скажите, вы не нормальный!? Удалить можете и не можете!? Вы не нормальный?

Я принципиальный, и принципы у меня свои собственные, а не нормированные. Соответственно я не нормальный, а принципиальный

Давайте еще разок для статистики закрепим.

ПШЕЛ ВОН ИЗ МОЕГО РАЗДЕЛА - ИНТЕЛЛЕКТУАЛЬНЫЙ НЕДОНОСОК,

Аватар пользователя Владимир Р

 Кормин Михаил:

Я принципиальный, и я не нормальный

Всё нормально! Вы не нормальный, Кормин Михаил

Аватар пользователя Кормин Михаил

Владимир Р, 31 Январь, 2021 - 17:01, ссылка

Кормин Михаил:

Я принципиальный, и я не нормальный

Всё нормально! Вы не нормальный, Кормин Михаил

Вы снова, по своим детсадовским понятиям, исказили мою цитату, в надежде, что никто не заметит.

Следите внимательно. Я написал.

Кормин Михаил, 31 Январь, 2021 - 16:56, ссылка

Соответственно я не нормальный, а принципиальный

А вы, как заправский журналист, тут же переделали.

 Кормин Михаил:

Я принципиальный, и я не нормальный

Причем ссылочку на первоисточник убрали. Это в тренде журналистики, но они хотя бы стартаперы в основной массе. Вы в этой области не тянете. Я проверял.

К моим обоснованным ярлычкам к вашей интеллектуально недоношенной персоне, я теперь могу обоснованно добавить еще один. 

Раньше я писал.

Кормин Михаил, 28 Январь, 2021 - 21:49, ссылка 

Трепач - Владимир Р из смоленска!!! Кроме того, что он ссыкун и Неуч который сует свой нос в темы, которые он в первый раз в жизни видит.

А теперь у меня есть обоснованное право сказать, что владимир Р (с маленькой буквы пишу, большой вы уже не достойны), кроме того, что он трепач, ссыкун, и неучь, еще и откровенный лжец и подтасовщик. 

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

Давайте еще раз повторим для статистики.

ПШЕЛ ВОН ИЗ МОЕГО РАЗДЕЛА - ИНТЕЛЛЕКТУАЛЬНЫЙ НЕДОНОСОК,

Аватар пользователя Владимир Р

Ярлычки у вас, Михаил, действительно были недоношенными, а теперь правильные!

Кормин Михаил, 31 Январь, 2021 - 17:45, ссылка

К моим обоснованным ярлычкам к вашей интеллектуально недоношенной персоне, я теперь могу обоснованно добавить еще один. 

Раньше я писал.

Кормин Михаил:

Трепач - Кормин Михаил из Новосибирска!!! Кроме того, что Кормин михаил ссыкун и Неуч который сует свой нос в темы, которые он в первый раз в жизни видит.

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

 

ПШЕЛ ВОН Кормин михаил ИЗ МОЕГО РАЗДЕЛА - ИНТЕЛЛЕКТУАЛЬНЫЙ НЕДОНОСОК,

Аватар пользователя Корвин

Логический квадрат Аристотеля учитывает все возможные варианты Логики предикатов первого уровня.

Не понимаю. Логический квадрат Аристотеля это силлогистика, а не логика предикатов. В силлогистике SiS аксиома. В КЛП SiS не имеет смысла, как я понимаю.

Аватар пользователя Кормин Михаил

Корвин, 30 Январь, 2021 - 20:22, ссылка

Не понимаю. Логический квадрат Аристотеля это силлогистика, а не логика предикатов. В силлогистике SiS аксиома. В КЛП SiS не имеет смысла, как я понимаю.

Тема подверглась атаке троллей, а мне мои внутренние принципы не позволяют удалять комментарии. Последний мой комментарий в обсуждении которое открыл Сергей Борчиков.

Кормин Михаил, 31 Январь, 2021 - 09:32, ссылка

Аватар пользователя Юрий Дмитриев

Формализация логического закона достаточного основания

Интересная разработка. Очень интересная! Жаль, что летом эту тему как-то пропустил. Но по ходу дела выскажу пока одно соображение и один вопрос.

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

Например, тот же закон достаточного основания (ЗДО) можно эксплицировать даже посредством логики предикатов - прикладным образом, введя некоторые интенсиональные предикаты. Тогда ЗДО можно представить в виде прямой импликации ∀х(Е!(х) → О(х)), где Е! - предикат сингулярного существования, а О - предикат "быть основанием". Отсюда путём чисто формальных преобразований можно вывести некоторые следствия - например, ¬∃х(Е!(х) ∧ ¬О(х)), т.е. нет таких вещей, которые существуют, но не имеют основания. Заодно обозначается проблема определения универсума пробегания кванторов, которая в содержательной формулировке ЗДО как бы теряется на заднем плане.

Но у Вас больше, чем просто логическая экспликация - попытка именно формализации. То есть, попытка такого формального представления ЗДО, которое дало бы тождественно истинную итоговую формулу. Причём, основываясь на минимуме аксиом.

Однако, во-вторых, в этой связи мне не понятен такой момент, касающийся дизъюнкции и конъюнкции прямых и обратных импликаций:

Это дает возможность отобразить формализованный закон достаточного основания Лейбница в форме закона исключенного третьего и  запрещенного противоречия.
(S → P) v (S ← P) = 1
(S → P) ^ (S ← P) = 0

Точнее, с первой формулой всё ясно: (S → P) v (S ← P) ≡ (¬S v P v S v ¬P), и это, действительно, тождественно истинная формула. Но вот что (S → P)  ∧ (S ← P) = 0 - это, на мой взгляд, неверно, в чём легко убедиться: (S → P)  ∧ (S ← P) ≡ (S ∧ P) ∨ (¬S ∧ ¬P) ≡ (S ↔ P). В данном случае получается эквиваленция ("тогда и только тогда"), а не тождественно ложная формула. Здесь тождественно ложной является отрицание первой - т.е. ¬((S → P) v (S ← P)) ≡ ¬(S → P)  ∧ ¬(S ← P), поэтому никак не (S → P)  ∧ (S ← P). Или я чего-то не понял, и Вы нечто другое имели в виду?

Аватар пользователя Кормин Михаил

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

Юрий Дмитриев, 31 Январь, 2021 - 20:46, ссылка

Но у Вас больше, чем просто логическая экспликация - попытка именно формализации. То есть, попытка такого формального представления ЗДО, которое дало бы тождественно истинную итоговую формулу. Причём, основываясь на минимуме аксиом.

Я строю такую логическую систему, которая будет опираться на одну единственную аксиому. Полный ряд 16 булевых функций. Их именно 16. Не больше и не меньше. Дальше эта замкнутая система опирается сама на себя, став самореферентной.

Это предельная строгость, которая накладывает ограничения.

Юрий Дмитриев, 31 Январь, 2021 - 20:46, ссылка

∀х(Е!(х) → О(х)), где Е! - предикат сингулярного существования, а О - предикат "быть основанием". Отсюда путём чисто формальных преобразований можно вывести некоторые следствия - например, ¬∃х(Е!(х) ∧ ¬О(х)),

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

Зегет В. Элементарная логика. -- М.: 1985

Зегет предлагает использовать обозначение квантора в логике предикатов по желанию. Можно использовать, а можно и нет, чтоб не загромождать символьную запись. Дизъюнкция, которая оборачивается в импликацию либо репликацию всегда находится либо под квантором общности (∀х), либо под отрицанием квантора существования (¬∃х). Конъюнкция, наоборот, всегда находится либо под квантором существования (∃х), либо под отрицанием квантора общности (¬∀х). 

Соответственно в предлагаемой системе введение  v - означает одновременное введение ∀х, а введение  ^ - означает одновременное введение ∃х. 

Юрий Дмитриев, 31 Январь, 2021 - 20:46, ссылка

Точнее, с первой формулой всё ясно: (S → P) v (S ← P) ≡ (¬S v P v S v ¬P), и это, действительно, тождественно истинная формула. Но вот что (S → P)  ∧ (S ← P) = 0 - это, на мой взгляд, неверно, в чём легко убедиться: (S → P)  ∧ (S ← P) ≡ (S ∧ P) ∨ (¬S ∧ ¬P) ≡ (S ↔ P). В данном случае получается эквиваленция ("тогда и только тогда"), а не тождественно ложная формула. Здесь тождественно ложной является отрицание первой - т.е. ¬((S → P) v (S ← P)) ≡ ¬(S → P)  ∧ ¬(S ← P), поэтому никак не (S → P)  ∧ (S ← P). Или я чего-то не понял, и Вы нечто другое имели в виду?

Признаю. Система моих уравнений в таком виде

Это дает возможность отобразить формализованный закон достаточного основания Лейбница в форме закона исключенного третьего и  запрещенного противоречия.
(S → P) v (S ← P) = 1
(S → P) ^ (S ← P) = 0

не полна. 

Сущность формализованного ЗДО она не отражает. И Сергей Борчиков уже не раз мне про это говорил. Я графически показал место строгой дизъюнкции в системе, а в символьных записях это место не отразил. Ничего страшного, сейчас отражу.

Полная символизация формализованного ЗДО будет состоять из трех уравнений. 

S - имя (частное), P - свойство (общее). Различие по порядку в символизации булевой функции. Имя никогда не может оказаться вторым по порядку, а свойство первым. Система собрана именно под такой порядок. Равно я уберу, а результат буду отражать в жирных скобках. Чтоб математика голову не путала.

(S → P) v (S ← P) (1)

при (S v P) (1); (S → P) ^ (S ← P) (0)

при (S v P) (0); (S → P) ^ (S ← P)  (S ↔ P)

Но порядок нолей и единиц в таблице истинности теперь тоже имеет значение. Поэтому дублирую сюда мой ответ Сергею.

Кормин Михаил, 27 Январь, 2021 - 16:10, ссылка

Закон достаточного основания, это правомерность введения квантора общности через импликацию, репликацию, либо эквивалентность посредством двоичного кода операции строгой дизъюнкции. 

х  у          +

0  0          0 - правомерно через эквивалентность переменных

0  1          1 - правомерно через репликацию

1  0          1 - правомерно через импликацию

1  1          0 - не правомерно

Невероятно, но факт. Система реагирует на наполнение переменных. Это логические операции не с формами, а с содержанием. Форм всего 16 и они неизменны.

 

И давайте уже переселяться в гости к Сергею Борчикову. Мой неубиваемый мексиканец вновь активизировался, а санитары форума спят..

Мой последний комментарий здесь. 

Кормин Михаил, 31 Январь, 2021 - 09:32, ссылка

 

 

 

Аватар пользователя Сергей Борчиков

Михаил, посмотрите, пожалуйста, сегодняшнее мое сообщение в личке.

Аватар пользователя Njkelfxb11

Очень интересно, но пока еще не все понятно. )

Посылка включена в следствие.
Комментарии.

Несотворенность и самосотворенность.
В пределе, когда посылка равна следствию, получается самосотворенность и частный предельный случай цикличности.

Кстати, возможно это и есть причина склонности к цикличности в нашем мире.
*************************

Однако, тогда история должна накапливаться в настоящем.

Аватар пользователя Njkelfxb11

Динамическая метафизика бытия
http://www.rodon.org/koltsov/dmb.htm

Там частично посылка включена в следствие.

Аватар пользователя Njkelfxb11

Деревья качаются, потому что ветер дует  (истинно)

Ветер дует, потому что деревья качаются (ложно)
*******************

Однако, если качать деревья, то на тебя вполне может подуть ветер, как от опахала.