О чём и как думает математик в процессе рассуждения (чёрный и прозрачный ящик)

Аватар пользователя mp_gratchev
Систематизация и связи
Эпистемология
Диалектика
Логика

 

О чём и как думает математик в процессе рассуждения

(чёрный и прозрачный ящик)

 

Дмитрий из Николаева пишет:

axby1, 30 Октябрь, 2018 - 20:32, ссылка

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

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

А математическая логика и рядом не стояла с обозначенной проблемой.

Что касается констатации, так ТФЛ и вовсе из набора (суждения, вопросы, оценки и императивы) констатирует одни лишь "суждения".

Все решения противоречий - это контрабанда за пределами принципов формальной логики.

В том числе, за пределами ТФЛ и истинностное означивание атомарных предложений.

Не случайно вопрос Болдачева поставил тебя в тупик. Кстати, вопросы в ТФЛ как высказывания (хотя в качестве логических инструментов широко используют в рассуждении) тоже вне закона, поскольку они не ложные и не истинные ("boldachev : И даже можно порассуждать над фактами, но это не будет иметь никакого отношения к логическому выводу в теоретических дисциплинах").

  • axby. логика - это там где нужно думать;
  • Грачев. философия там, где задаются вопросом "Что значит 'думать' "?

Думание - это логический вывод в теоретических дисциплинах, психологический процесс или процедура постановки вопросов, оценок, утверждений и отрицаний в комбинациях этих форм мысли?

axby1, 1 Ноябрь, 2018 - 16:25, ссылка

["Вы ратуете за использование устойчивой, профессиональной терминологии. Так давайте перейдем на нее"].   Ратую не то слово, и обещаю что буду следить за этим строго.

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

--

Грачев Михаил Петрович.

02 ноября 2018 г.

Комментарии

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

Пример рассуждений математика в дискуссии на ФШ:

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

Вопросы к математику (на засыпку):

  • Самым крупным в мире коллайдером является Ускорительно-Накопительный комплекс в Институте физики высоких энергий (Протвино).
  • В основу своих рассуждений Гегель положил диалектическую логику.

Как математик из Николаева оправдался:

совершили примерно следующую последовательность действий :

  • предложили мне дать истинностную оценку высказывания "Волга впадает в Каспийское море"
  • после моего ответа на этот вопрос торжествующе провозгласили нечто вроде "Ага, попался - не знаешь даже того, что это озеро а не море" (axby1, 2 Ноябрь, 2018 - 10:08, ссылка)

Нет, высказывание "Волга впадает в Каспийское море" (1) и "Самый крупный в мире коллайдер  (Протвино) (2) - не идентичны по тривиальности. Над (1) надо как раз думать.

--

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

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

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

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

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

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

--

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

  Начну с конца своего последнего комментария Болдачёву :

axby1, 2 Ноябрь, 2018 - 10:08, ссылка

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

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

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

  Что конкретно хотел донести до меня мой "оппонент" не составляет труда проверить - для этого достаточно подвергнуть ход нашей дискуссии нехитрому логическом анализу :

boldachev, 1 Ноябрь, 2018 - 17:56, ссылка

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

  • Самым крупным в мире коллайдером является Ускорительно-Накопительный комплекс в Институте физики высоких энергий (Протвино).
  • В основу своих рассуждений Гегель положил диалектическую логику.

axby1, 1 Ноябрь, 2018 - 23:03, ссылка

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

boldachev, 2 Ноябрь, 2018 - 00:19, ссылка

Мол, а чего ты тля тут спрашиваешь меня про истинность высказываний? А сам ты хоть одну теорему доказал? Или хоть один факт установил?

А когда я вам подсунул два однозначно ложных высказывания (фиксирующих два несуществующих факта):

  • Самым крупным в мире коллайдером является Ускорительно-Накопительный комплекс в Институте физики высоких энергий (Протвино).
  • В основу своих рассуждений Гегель положил диалектическую логику. 

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

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

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

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

  • соответствует ли действительности то, что он проводил замеры линейных параметров всех в мире коллайдеров, результаты которых подверг сравнительному анализу, на основании которого определил, какой из них является самым крупным ?
  • соответствует ли действительности то, что Гегель рассказал ему о том, что именно легло в основу его рассуждений (исходим из допущения о том что Гегель был честным человеком, а также учитываем то обстоятельство что люди именующие себя "философами" проявляют устойчивую склонность к превращению любого абзаца написанного любым другим философом в чернильное пятно) ?

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

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

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

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

Итак, что мы имеем : собеседник нисколько не сомневается в том, что располагает достаточными основаниями оценить приведённые им высказывания как "ложные", при этом он не считает свою оценку субъективной

Имеем, оценки ложно/истинно - это атрибутивные характеристики означивания исходных атомарных суждений в двузначной логике.

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

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

Вы же понадеялись на свой индикатор (интуицию). Не заглянули в справочник. И ваша интуиция Вас подвела.

--

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

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

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

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

  То есть без вариантов. Хотите ещё фактов ? Да пожалуйста :

boldachev, 2 Ноябрь, 2018 - 00:19, ссылка

Я предложил вам перейти на профессиональный язык логики и не обсуждать факты, а говорить об истинности/ложности высказываний. Вы это проигнорировали. Хотя в ответ могли бы предъявить "факты" по поводу того, что "факт" это логический термин. Но этого не произошло. Вы просто слились (понимая, спросив у гугла, что облажались с фактами).

  Здесь собеседник исходит из допущения о том, что свои истинностные оценки предложенным им высказываниям я дал на основании информации почерпнутой из гугла. Возникает вопрос : на каких таких основаниях он оценил эти высказывания как "ложные" ? Ответ очевиден : да всё на тех же - то есть пользуясь общедоступными информационным источниками. Следовательно по его мнению то что вычитал в гугле он является по определению истинным, и если кто-то другой вычитает в нём что-то другое то эта информация будет по определению ложной. Я уже не говорю за Гегеля, которого каждый дрочит как захочет и только один Болдачёв по его словам делает это истинно.

  Ещё поразвлекаемся ?

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

 

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

 

Ну, какие могут быть секреты?

К 2028 году в Китае планируют построить новый протонный коллайдер, который по длине будет превышать существующий в два раза.

--

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

  Так, навскидку, истинно процентов на 70, если конечно перед "в два раза" поставить "не менее чем". А Вы бы во сколько оценили степень истинности своего суждения ?

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

Утверждение:

 "Самый крупный в мире коллайдер  (Протвино) (2)",

- ложно на 100%.

Причём здесь мое суждение? Ведь Ваши намеки* не некие "секретные разработки" не уменьшают процент ложности утверждения (2). Согласны?

_____________

*) "Что не исключает возможности наличия неофициальных данных о каких-нибудь там секретных разработках, не предназначенных для широкого доступа", (с)

--

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

- ложно на 100%

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

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

 

Я послал тебе Аргумент

 

Аргумент - пара, состоящая из множества посылок и заключения:

А: p/X,                  (1)

где p заключение, а X множество посылок. 

Пример,

axby1, 4 Ноябрь, 2018 - 03:03, ссылка

как и в случае с Гегелем, у которого он прочитал мысли о том, что диалектическая логика не легла в основу его рассуждений.

Тут четыре несуразицы (посылки):

1. У Гегеля не было термина "die dialektische Logik". (x1)

2. У Гегеля не было мыслей по поводу диалектической логики. (x2)

3. Гегель не материализовывал свои мысли в тексте со словами и предложениями, упоминающими диалектическую логику.  (x3)

4. Болдачев не мог вычитать у Гегеля мысли, которых у Гегеля не было. (x4)

Следовательно, Эксби заблуждается и свое заблуждение выплеснул на жителей Философского штурма. (p)

 

А1:      р/(x1, x2, x3, x4)           (2)

 

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

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

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

Чтобы модель не теряла сходства с оригиналом и вместе с тем использовала те логические структуры, которые удается отыскать в реальных процессах аргументации (умозаключение, диалог), предлагается фиксировать запас логических средств (утверждения, отрицания, вопросы, оценки, императивы), которые могут быть обнаружены в моделируемом процессе аргументации, и, в случае необходимости, дополнять их нелогическими средствами, которые могли бы восполнить относительную “бедность” используемых логических средств.

--

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

 

Структура аргументации

компоненты: 

1) субъект; 
2) представление об адресате; 
3) порождение набора аргументов.

Система и подсистемы теории Аргументации.

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

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

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

 

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

 

Противоречие в системе аргументации

Противоречие - непременный элемент системы аргументации. Два типа противоречий - опровержение и подрыв.

тип 1. Опровержение.

 Опровержение (rebutting) - ситуация, когда некоторые аргументы опровергают заключения других аргументов. Иными словами аргумент А1 = р1/Х1 опровергает аргумент А2 = р2 /Х2, когда заключение р1 опровергает заключение р2. Опровержение является симметричной формой атаки.

тип 2. Подрыв.

 Подрыв (undercutting)- несимметричная форма атаки, когда один аргумент отрицает связь между посылками и заключением другого аргумента.

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

 

Три типа информации, различаемых в теории аргументации:

1) Объективная информация 

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

 

2) Субъективная информация 

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

 

3) Гипотетическая информация.

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

 

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

Так, Эпимтемические логики знания, веры и мнения уже рассмотривают высказывания вида Кар и Bap с включенным в их структуру субъектами знания и веры  (где К — оператор знания, В — оператор веры, а — субъект знания или веры, р — некоторое высказывание).
 

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

А:       Si,j> (s - p)       (1)

где
А - высказывание (суждение, вопрос, оценка, императив);
s - логический субъект;
р - предикат;
S(прописное) - субъект мнения, знания, веры;
|>| - оператор квотирования (генерации высказываний-аргументов).

 

Логическое моделирование в системной теории аргументации

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

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

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

--

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

Все решения противоречий - это контрабанда за пределами принципов формальной логики.

Формальная логика оперирует с формами. Противоречия возникают, как результат противостояния содержаний. Так какой может после этого последовать вывод? Лучше я промолчу. Ответьте Вы, если не сложно.

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

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

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

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

--

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

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

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

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

Поясните кто есть кто. Где "содержание более общей формы" и какое будет "содержанием менее общей формы"?

--

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

Форма№1 = качество№1 + время№1 + место№1.

Форма№2 = качество№2 + время№2 + место№2.

Форма№0=Форма№1 + Форма№2

где Форма№1 и Форма№2 - содержание Форма№0

 

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

 

где Форма№1 и Форма№2 - содержание Форма№0

Хорошо. Теперь, как это связать с Вашей сентенцией "Противоречия возникают, как результат противостояния содержаний" - противоречием суждений и их истинностью?

--

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

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

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

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

Изначально Вы написали: "Формальная логика оперирует с формами". То есть речь шла о предмете формальной логики. А у формальной логики формы вполне конкретные: формы мысли - вопросы, суждения, оценки, императивы.

А теперь Вы перевели речь на релятивизм. Какой? Философский или физический? Обозначьте предмет релятивизма!

--

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

В самом первом моем комментарии речь шла о содержании, как причине противоречий. Факт противоречия свидетельствует о наличии, как минимум, двух сторон (кто-то с кем-то взаимодействует/сравнивается/сопоставляется/анализируется). Я даже об этом написал дополнительно по Вашей просьбе ссылка. А, поскольку есть две взаимодействующие стороны и результат их взаимодействия в виде противоречия, то куда же делся релятивизм? Вот подумайте сами: разве может быть противоречие без релятивизма? Неужели Вы - сторонник улыбки чеширского кота, существующей отдельно от самого кота? Сам-на-сам одна форма не приведет к противоречию. Всегда есть для этой формы оппонент. Даже пара "истинность-ложность (по причине противоречия)" свидетельствует о двух сопоставимых формах (истинная форма и ложная форма), которые, по совокупности, являются содержанием более полной формы (опять та же ссылка).

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

На --- Vladimirphizik, 2 Ноябрь, 2018 - 11:43, ссылка

Формальная логика оперирует с формами.

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

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

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

Грачев. философия там, где задаются вопросом "Что значит 'думать' "?

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

  • мыслительный процесс по определению неопределим

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

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

Коннотативный флёр мне индифферентен.

Что у нас по существу? Моя фраза работает только в паре с Вашей:

  • axby. логика - это там где нужно думать;
  • Грачев. философия там, где задаются вопросом "Что значит 'думать' "?

Можно много давать определений философии, но здесь задействована её рефлексивность (достаточно набора "Критик" Канта).

Мною конкретизирована проблема:

Думание - это логический вывод в теоретических дисциплинах, психологический процесс или процедура постановки вопросов, оценок, утверждений и отрицаний в комбинациях этих форм мысли?

Что скажете на это? Ваш ответ:

  • мыслительный процесс по определению неопределим

Давайте думать над истинностью этой Вашей посылки. Чем Вы докажете означивание посылки оценкой "истинно"?

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

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

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

--

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

Коннотативный флёр мне индифферентен.

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

Что у нас по существу? Моя фраза работает только в паре с Вашей:

  • axby. логика - это там где нужно думать;
  • Грачев. философия там, где задаются вопросом "Что значит 'думать' "?

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

Можно много давать определений философии, но здесь задействована её рефлексивность (достаточно набора "Критик" Канта).

  Я больше об этимологии.

Мною конкретизирована проблема:

Думание - это логический вывод в теоретических дисциплинах, психологический процесс или процедура постановки вопросов, оценок, утверждений и отрицаний в комбинациях этих форм мысли?

Что скажете на это? Ваш ответ:

  • мыслительный процесс по определению неопределим

Давайте думать над истинностью этой Вашей посылки. Чем Вы докажете означивание посылки оценкой "истинно"?

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

  Допустим, в этом мы договорились.

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

  Допустим, договорились и в этом.

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

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

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

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

  Когда у Вас там всё воспроизведётся без пробелов в понимании, дайте пожалуйста об этом знать.

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

Тогда у меня два вопроса:

1. Является мышление нейрофизиологическим процессом?

2. Является ли мышление рассуждением?

--

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

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

...

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

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

 axby1, 3 Ноябрь, 2018 - 09:05, ссылка

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

Слово "индикатор" можно заменить на слово "интуиция". Тогда имеем,

[Интуиция - это индикатор истинности суждений, поступающих в топку мышления].

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

В Элементарной диалектической логике индикатором истинности суждений служит критика: выдерживает тезис критику оппонентом или нет.

--

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

Слово "индикатор" можно заменить на слово "интуиция".

  Вы заменили одну условность на другую, не предложив значимой информации - то есть нового истинного суждения, логически выведенного из уже установленных фактов. Обычно я использую термин "интуиция" в качестве ссылки на некий "сырой материал", которому лишь предстоит кристаллизация в логические факты (ну или в завершённый результат гуманитарных исследований, коим может выступать, скажем, художественное произведение). Если мы разговариваем как логик с логиком, то я ожидаю от Вас такой информации, которая могла бы способствовать установлению истинности новых суждений. Уточните пожалуйста направление своей мысли, чтобы я мог понять, к установлению каких логических фактов Вы предлагаете устремить наши суждения, вопросы, оценки и императивы.

В Элементарной диалектической логике индикатором истинности суждений служит критика: выдерживает тезис критику оппонентом или нет.

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

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

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

Если интуиция, это индикатор (лампочка), то значимой информацией тут будет возглас "эврика" как загорание упомянутой лампочки.

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

--

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

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

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

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

axby1, 2 Ноябрь, 2018 - 18:35, ссылка

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

  Извините, ошибочка вышла, читать это следует так : "то, чем мышление не является, не предназначено для вербализации". Там если что сами скорректируете концовку  доказательства, потому что если Вы этого сделать не сможете, то и остальное нет смысла читать.

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

В социологии вопросы делят, в частности, на основные и контрольные. Вопрос про нейрофизиологию был контрольный. А основной это: "Является ли мышление рассуждением?".

Ибо есть академическое определение логики:

"итоговое определение предмета логики: логика - это теоретическая наука о правильных рассуждениях", (Анисов А.М. Современная логика. - М., ИФ РАН. 2002. - С.6.).

В Вашем сепараторе (в голове) продуктом мышления становятся две фракции:

а) то, что мышлением не является;

б) то, что остается после отбрасывания содержимого п. (а).

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

Основной вопрос [2. Является ли мышление рассуждением?] остался без ответа.

--

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

Является ли мышление рассуждением?

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

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

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

Другими словами, в умозрении (в сознании) есть некая субстанция - мысль. Мысль имеет содержание и форму.

Логика как научная дисциплина выделяет объект "естественное рассуждение" (ЕР). Создает теоретико-нормативные модели ЕР путем отвлечения, абстрагирования от "содержания" мысли и занимается исследованием идеального рассуждения - "ходом мысли" -  исключительно в ипостаси "формы мысли".

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

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

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

--

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

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

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

Факт - это то, что имеет место или нет.

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

Такой логический факт есть в Вашем лексиконе?

-- 

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

  Вы бы ещё у Болдачёва спросили, в каких отношениях у него субъект с объектом состоят. Вот мой пост, в котором я во всех подробностях Вам расписал, зачем человеку нужна дискуссия и в чём конкретно и радикально расходятся наши представления о целях и задачах дискуссионного процесса. Вот моя тема с "говорящим" названием, в которой я просклонял во всех падежах то что тщательно разжевал Вам в упомянутом посте. То что Вы мне в очередной раз задаёте этот вопрос в очередной раз подтверждает ту мою мысль, что Ваша методология ведения диалогов с участниками философского форума полностью абстрагируется от запоминания даже элементарных мыслей, которыми они с Вами делятся. То есть Вы всё делаете для того, чтобы диалог не вышел за пределы толчения в ступе одних и тех же банальностей. Я вот например хорошо помню о чём дискутировал со всеми участниками ФШ и в чём конкретно расхожусь с ними во взглядах по тем или иным вопросам, и на основании того бытового факта что у Вас эта информация в голове надолго не задерживается прихожу к тем небытовым выводам которые из этого следуют с необходимостью. Если Вы так настаиваете, мне конечно не составит труда в очередной раз поделиться с Вами этой информацией, не пойму только зачем она Вам понадобилась, если через несколько комментариев она опять выветрится из Вашей памяти :

  • диалог - это когда два человека о чём-то говорят
  • дискуссия - это информационный обмен с целью установления небытовых фактов

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

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

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

Коннотации пропускаю. Моя методология сбоев не дает. И подтверждение тому та информация, которую Вы воспроизводите:

"диалог - это когда два человека о чём-то говорят".

Иными словами, для Вас актуален диалог в значении тривиальной речевой коммуникации.

Но ведь мною специально проводится различие между диалогом как литературно-философским (речевым) жанром [лексическое значение (1)], средством коммуникации [лексическое значение (2)], с одной стороны,  и диалогом как логической формой [лексическое значение (3)], с другой стороны.

Лексическое значение (3) слова "диалог" - это новация Элементарной диалектической логики. Поэтому я испросил о наличии в Вашем лексиконе слова "диалог" с лексическим значением (3) как логического факта. 

 Я вот например хорошо помню о чём дискутировал со всеми участниками ФШ и в чём конкретно расхожусь с ними во взглядах по тем или иным вопросам

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

 

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

Даю в качестве ответа ершистое определение "дискуссии":

Дискуссия - развернутая коммуникативная надстройка над базовой логической формой "диалог".

Что касается "уточнения" логических фактов (ЛФ), то я не возражал бы против приведения Вами отдельного краткого перечня ЛФ, по которым Вы расходитесь с проектом Элементарной диалектической логики.

--

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

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

  В общем моё умозрение в Вашем распоряжении.

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

 

Инновационная логическая форма: диалог

 

Эксби. "диалог - это когда два человека о чём-то говорят". [межсубъектная коммуникация]

Грачев. Диалог - связь высказываний в совместном рассуждении. [логическая форма]

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

И как? Провтыкнулись в мысль о диалоге  не как бытовом, а - логическом факте?

Насколько успешно донёс до Вас эту мысль? 

--

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

Грачев. Диалог - связь высказываний в совместном рассуждении. [логическая форма]

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

Насколько успешно донёс до Вас эту мысль?

  Как видите, на все сто.

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

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

Пока не одинаково.

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

Тогда как Элементарная диалектическая модель традиционной логики включает помимо суждений расширенный состав основных форм мысли: плюс вопросы, оценки, императивы. Эти же три формы высказывания мысли, к сожалению, не принимают истинностное значение "ложно/истинно" в двузначной логике.

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

--

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

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

  Я пользуюсь общепринятым определением логики :

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

  Согласно этому определению истинностные оценки применимы к любым суждениям, доступным для идентичного понимания любым участником обсуждения.

Тогда как Элементарная диалектическая модель традиционной логики включает помимо суждений расширенный состав основных форм мысли: плюс вопросы, оценки, императивы. Эти же три формы высказывания мысли, к сожалению, не принимают истинностное значение "ложно/истинно" в двузначной логике.

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

  • любое суждение предназначено для истинностной оценки
  • любому суждению "это - так" можно сопоставить вопрос "как оно ?" или "это так или не так ?"
  • любой императив направлен на признание истинности или ложности некоторого суждения

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

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

часть1.

 Эксби. Я пользуюсь общепринятым определением логики : логика - это там где рассуждения, результаты которых можно понимать одинаково [1. - M.G.]. Согласно этому определению истинностные оценки применимы к любым суждениям, доступным для идентичного понимания любым участником обсуждения.

В приведенном вами тексте определения [1] про истинностные оценки - ни слова. Про суждения - тоже ни слова.

А значит что? То, что при развертывании и пояснении определения [1] допустимо понятие "рассуждение" трактовать как сёрфинг высказываний по формам: "вопрос - суждение"; суждение - оценка; оценка - императив (в комбинациях всех этих форм). 

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

--

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

В приведенном вами тексте определения [1] про истинностные оценки - ни слова. Про суждения - тоже ни слова.

  А Вы другие мои определения не пробовали читать для получения исчерпывающих ответов на свои вопросы ?

А значит что?

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

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

 А Вы другие мои определения не пробовали читать для получения исчерпывающих ответов на свои вопросы?

Я всего лишь обратил внимание на отсутствие жесткого перехода от определения [1] к истинностным оценкам и к суждениям.

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

Неистинностные - значит высказывания не принимают логические значения "ложно/истинно".

--

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

  На данном этапе дискуссии у меня возникает к Вам только один вопрос :

зачем Вам понадобилось знать об этом больше и какое это может иметь отношение к логике как дисциплине

  Пока я не получу на него чёткого и недвусмысленного ответа не смогу понять ничего из того что Вы мне пишете.

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

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

Соломинка не поможет. Начните с десяти ключевых положений ЭДЛ - те, что в примечании с двумя звёздочками(**). Они моя мотивация и по ним начните задавать вопросы.

--
 

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

Эксби 1. В моём представлении остальные три категории высказываний достаточно строго определить через термин "суждение" и "забыть" об этом

Эксби 2. Значит Вы не следите за ходом дискуссии, без вариантов.

В таком случае, предъявите не пожелание (реплика Эксби 1.), а реальную передачу истинности с суждения на вопрос, если для Вас вопрос - это вид суждения.

--

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

реальную передачу истинности с суждения на вопрос

  Суждение : дважды два - четыре.

  Вопрос : сколько будет дважды два ?

  Оба высказывания понятны, и как следствие логичны.

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

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

Эксби.  [реальную передачу истинности с суждения на вопрос]. Суждение : дважды два - четыре.   Вопрос : сколько будет дважды два ?   Оба высказывания понятны, и как следствие логичны.

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

Проблему улавливаете?

Разумеется, смысл передается, а истинностное значение не передается. По принципиальным основаниям. Ибо вопрос и суждение - это две самостоятельные формы мысли. Вопрос не является видом суждения. Как ни старайтесь, под суждение вопрос не подведете.

--

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

Разумеется, смысл передается, а истинностное значение не передается.

  Для меня разумеется обратное, и это несложно проверить задавшись следующим вопросом :

  • возможно ли убедиться в истинности теоремы, не поняв смысла всех суждений, участвующих в эстафете передаче истинности к её формулировке ?

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

Проблему улавливаете?

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

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

  [смысл передается, а истинностное значение не передается]. Для меня разумеется обратное,

Что значит обратное? Истинностное значение передается от суждения к вопросу? Каким таким образом?

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

Вы о чём? Об эстафете во всех суждениях? Здесь нет проблемы.

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

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

Это к чему Вы призываете? Бросить знамена, на которых начертано "Формализация!" к подножию Диалектической логики? Я только "за"!

--

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

Что значит обратное? Истинностное значение передается от суждения к вопросу? Каким таким образом?

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

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

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

Это к чему Вы призываете? Бросить знамена, на которых начертано "Формализация!" к подножию Диалектической логики? Я только "за"!

  Я не знаю что такое "диалектическая логика".

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

  axby1, 5 Ноябрь, 2018 - 19:42, ссылка

Я не знаю что такое "диалектическая логика".

Определение 1.

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

Источник: Естественное рассуждение как объект и его теоретическая модель: логика

Теперь знаете, что такое диалектическая логика?

--

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

Теперь знаете, что такое диалектическая логика?

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

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

 

axby1, 5 Ноябрь, 2018 - 20:22, ссылка

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

Теперь знаете, что такое диалектическая логика?].

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

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

Ваше со мной совместное рассуждение и есть требуемый пример.

--

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

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

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

Эксби 1. В моём представлении остальные три категории высказываний достаточно строго определить через термин "суждение" и "забыть" об этом :

  • любое суждение предназначено для истинностной оценки

  • любому суждению "это - так" можно сопоставить вопрос "как оно ?" или "это так или не так ?"

  • любой императив направлен на признание истинности или ложности некоторого суждения

  Всё, больше мне ничего не нужно знать о высказываниях - если мы конечно говорим о логике,

 

Эксби 2. по крайней мере теперь Вам известны определения всем четырём типам высказываний и способы их взаимопреобразования.

 

Согласитесь, на определения  сентенции Эксби 1 совсем не похожи!

--

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

часть 2.

axby1, 5 Ноябрь, 2018 - 13:41, ссылка

любое суждение предназначено для истинностной оценки

Куда приткнете этот свой аргумент?

Истинностная оценка - это атрибут суждения, а не предназначение суждения.

--

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

Куда приткнете этот свой аргумент?

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

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

Из частей (1, 2, 3) следует, что упомянутая Вами информация о высказываниях скользит мимо существа дела.

--

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

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

  То есть без вариантов.

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

axby1, 5 Ноябрь, 2018 - 19:53, ссылка

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

 

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

--

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

часть 3.

axby1, 5 Ноябрь, 2018 - 13:41, ссылка

В моём представлении остальные три категории высказываний достаточно строго определить через термин "суждение" и "забыть" об этом :

  • любое суждение предназначено для истинностной оценки
  • любому суждению "это - так" можно сопоставить вопрос "как оно ?" или "это так или не так ?"
  • любой императив направлен на признание истинности или ложности некоторого суждения

  Всё, больше мне ничего не нужно знать о высказываниях - если мы конечно говорим о логике,

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

Имеем, суждение - это высказывание, несущее субъектнопредикатную структуру:

А:  (s - p)

Где у высказывания-императива "Замри!" логический субъект "s"?

--

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

Где у высказывания-императива "Замри!" логический субъект "s"?

  Я могу привести фрагмент дискуссии, из которого можно получить исчерпывающий ответ на Ваш вопрос :

axby : носители русского языка называют "процедурой установления истинности" ту процедуру, по итогу которой устанавливается истинность

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

axby : Вот на этом месте предлагаю записаться - всё остальное не имеет отношения к предмету нашего обсуждения

  Лет тридцать назад Вы бы не поняли того, в каком значении здесь употреблён глагол "записаться", а теперь это сделать не составляет труда. Эту же мысль я бы мог выразить и посредством императива "Замри !" в дискуссии с собеседником, который имея опыт общения со мной поймёт что я хотел этим сказать - то есть идентично тому как понял меня Болдачёв, и Вы в том числе. Таким образом, нет никакой проблемы в том, чтобы в известном контексте дискуссии преобразовать предложенный Вами императив в логическое суждение - например так :

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

  Короче Вы придумываете несуществующие проблемы и морочите голову себе и другим. С меня-то не убудет, могу и дальше решать Ваши "неразрешимые проблемы", но решать свою главную проблему Вам уже придётся самостоятельно.

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

axby1, 3 Ноябрь, 2018 - 20:00, ссылка

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

Инновационная мысль - это и есть компактная и доступная мысль о диалоге как логической форме. Что у нас "обратное"?

___________

*) То есть мысль о диалоге как логической форме связи высказываний в совместном рассуждении.

**) Исходные посылки Элементарной диалектической логики:

1. Исходная клеточка логической системы: высказывание.
2. Логическая система - субъектная.
3. Четыре основные формы мысли: вопрос, суждение, оценка, императив (комбинации их перехода друг в друга - канон ЭДЛ). Плюс понятие. Они же, инструменты сознательного применения ЭДЛ.
4. Диалог - логическая форма.
5. Противоречие: диалектико-логическое (насущная проблема, подлежащая разрешению).
6. Доказательство в совместном рассуждении - аргументация.
7. Истинность локальная.
8. Конъюнкция утверждения и отрицания истинная - пружина развертывания совместной мысли (каждый обосновывает истинность своих высказываний и пытается опровергнуть оппонента).
9. Локальный критерий истины: критика.
10. Продукт: признание правоты противоположной стороны, консенсус, синтез.

***) Мысль о диалоге как логической форме вполне компактна и доступна для понимания.

--

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

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

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

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

Системным качеством теоретической модели естественного рассуждения под названием "Элементарная диалектическая логика" выступает её соответствие когерентной теории истинности.

А именно, все части ЭДЛ взаимно увязаны как раз посредством перечисленных десяти орто-положений Элементарной диалектической логики. 

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

С  п.4 из упомянутого десятка утверждений Вы уже познакомились, хотя ещё и не "повтыкнулись", (с) в логическую суть концепта "диалог".

Осталось перебрать другие девять, начиная с п.1 "Исходная клеточка логической системы: высказывание".

--

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

соответствие когерентной теории истинности

  Для меня это всё "художественная литература" - "логика Гегеля", "логика Аристотеля", "логика Грачёва", и прочие "теории истинности". Так что мой императив в равной степени относится и к Вам, и я могу его логически обосновать.

А именно, все части ЭДЛ взаимно увязаны как раз посредством перечисленных десяти орто-положений Элементарной диалектической логики. 

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

хотя ещё и не "повтыкнулись", (с) в логическую суть концепта "диалог".

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

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

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

Таблицу умножения тоже не увязывают. Её для начала просто учат наизусть, а затем применяют на автомате.

 

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

И у меня философия тоже лишь в фоновом обрамлении ЭДЛ. 

Итак, что мешает убрать "если" и оставить просто "Логическая суть диалога"?

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

Таблицу умножения тоже не увязывают. Её для начала просто учат наизусть, а затем применяют на автомате.

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

Итак, что мешает убрать "если" и оставить просто "Логическая суть диалога"?

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

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

Для начала принято приводить пример использования теории

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

Тут важен резонанс интереса к проблеме со стороны членов научного сообщества.

--

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

mp_gratchev, 5 Ноябрь, 2018 - 18:31, ссылка

Т.е. вся эдл -- типо впрокyes

wink

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

Т.е. вся эдл -- типо впрок

А Вы что? Математик?

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

--

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

mp_gratchev, 5 Ноябрь, 2018 - 18:57, ссылка

Странный аргументno

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

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

на корзину

Не на "корзину", а в стол. Кому надо, откроют ящик стола. 

--

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

mp_gratchev, 5 Ноябрь, 2018 - 19:38, ссылка

Кому надо, откроют ящик стола. 

А этот тезис -- он ключевой!!! 

ВСЕ ваши диалоги со всеми вашими оппонентами (и тут на ФШ и в др.местах), аккурат и крутяца вокруг этого посыла.
Но вы не можите (от слова -- вааще) сформулировать простые (обоснованные и понятные) ответы на типовые прагма-вопросы типо:
- кому надо?;
- когда?;
- как этим результативно пользоватца?;

ПодЪытожуsmiley:

 - ящик этот - он ваш и тока ваш;
без вас же (а ну как случица такое горе) содержимое этого ящика выгребут без какого-либо сожаления в ту самую корзину.

БЕЗ ОБОСНОВАНИЯ ВАМИ ПРАГМАТИКИ -- это всё чушшшшшь
 

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

БЕЗ ОБОСНОВАНИЯ ВАМИ ПРАГМАТИКИ -- это всё чушшшшшь

По-вашему, предъявление прагматики чудесным образом чушь превратит в желанную конфетку?

--

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

Все свои фантазии о том, что там и как будет по-моему -- их оставьте для себя и при себе.
ОК?!

А что касаемо тутошней темы -- так предъявите прагматику и сами убедитесь.

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

А что касаемо тутошней темы -- так предъявите прагматику и сами убедитесь.

Так я уже убедился, Вы по уши погружены в требуемую прагматику.

--

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

mp_gratchev, 5 Ноябрь, 2018 - 21:14, ссылка

А ваша привычка, стиль жизни, словоблудить флудом на корзину?

Ну и для меня это не есть ваш секрет.

Там у меня в ссылка есть ещё то, что вы пока не воспринимаете напрочЪ

ВСЕ ваши диалоги со всеми вашими оппонентами (и тут на ФШ и в др.местах), аккурат и крутяца вокруг этого посыла.
Но вы не можите (от слова -- вааще) сформулировать простые (обоснованные и понятные) ответы на типовые прагма-вопросы типо:
- кому надо?;
- когда?;
- как этим результативно пользоватца?;

 

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

К своему, тому что выше, я добавлю для тех, кто тут на ФШ и не толькоsmiley

К наиболее продуктивным школам аргументации, помимо тех, которые я упомянул уже на этом топике по праву общепризнанности можно отнести прагматико-диалектическое направление голландской школы от Франса Х.ван Еемерена и Роба Гроотендорста.

В нашей литературе они известны по кн. "Аргументация, коммуникация и ошибки." -  СПб, 1992.
И, на мой взгляд, также перспективны наработки в

Олешков М.Ю. МОДЕЛИРОВАНИЕ КОММУНИКАТИВНОГО ПРОЦЕССА

За сим со флудерем под ником мпграчёв я прощаюсь.

 

 

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

СМ.:

Прагма-диалектическая логика

 

Суть логического подхода (2008)

 

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

Тем не менее, аргументирование субъектом А своей позиции (точки зрения) существенно отличается от формально-логического следования между посылками и заключением (вывода). Аргументирование ориентировано на присутствие второго логического центра рассуждений: субъекта Б (пассивного: не имеющего своей точки зрения, - вопрошающего с позиций информационного голода; активного: с глубоко эшелонированной самостоятельной точкой зрения). Если в формально-логическом выводе актор (деятель) строит вывод как одномоментное ничем не сдерживаемое плавное течение мысли, то в аргументировании происходит дискретизация времени 'препинаниями'* со сменой, попеременной передачей инициативы аргументациии от актора А к актору Б. Следует согласиться, прагмадиалектическая логика (диалектика в изначальном, историческом смысле этого слова) находится где-то в промежутке между традиционной логикой и риторикой.
--

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

mp_gratchev, 5 Ноябрь, 2018 - 00:53, ссылка

Судя по контексту, сформулированному мпграчёвым в его **, причём сформулированным им ещё достаточно сыро, но ... лиха беда -- началоyes, он пытается под термином ЭДЛ обосновать что-то из теории аргументации*.
Тут, однако, я ему порекомендую отгуглить максимы-постулаты (а ваащета - рекомендации) Г. П. Грайса и Д. Лича, тому как не всякий диалог требует аргументации, как таковой.

 

* напомнюsmiley, -
- теории аргументации НЕТ
- теории аргументации ЕСТЬ!!

 

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

Аргументация раздел ЭДЛ.

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

mp_gratchev, 5 Ноябрь, 2018 - 16:59, ссылка

А что ещё есть в эдл таково, что не подпадает под аргументацию?

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

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

--

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

mp_gratchev, 5 Ноябрь, 2018 - 18:12, ссылка

Вы не поняли мой вопрос?

Я повторюsmiley
Мне не в лом

А что ещё есть в эдл таково, что не подпадает под аргументацию?

Мелким шрифтомsmiley

Лисанюк Е.Н. разрабатывает Логико-когнитивную модель-версию, которая весьма отлична от версии отца-основателя направления СТА - Брюшинкина Владимира Никифоровича. То бишь Лисанюк Е.Н. разрабатывает свою теорию. 

Конец мелкого шрифта.

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

Я повторю. Мне не в лом.

Рад, что не в лом. Только повторить - не значит пояснить.

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

--

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

В моём ссылка вопросе прямым текстом сказано:

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

А что ещё есть в эдл таково, что не подпадает под аргументацию?

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

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

Один, 5 Ноябрь, 2018 - 18:52, ссылка

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

Не стану Вас напрягать и просить примеры разделов, которые по Вашему мнению не связаны с аргументацией. Они, пожалуй, и отвечают на Ваш вопрос [А что ещё есть в эдл таково, что не подпадает под аргументацию?]. То есть, на свой вопрос Вы сами и ответили.

Теперь о Лисанюк и её трактовке диалога как речевого коммуникативного взаимодействия vs. диалог - логическая форма в теоретической модели ЭДЛ:

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

Лисанюк поясняет:

"Трактовка аргументации как интеллектуальной познавательной деятельности сближает наше понимание аргументации, с одной стороны, с (Брюшинкин, 2000), а с другой – с неформальной логикой (Грифцова, 1998), (Хоменко, 2013)".

Так что, Неформальная логика Грифцовой стоит в сторонке от Аргументации Елены Николаевны.

Равным образом, и от Элементарной диалектической логики.

--

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

mp_gratchev, 5 Ноябрь, 2018 - 19:29, ссылка

Не стану Вас напрягать и просить примеры разделов, которые по Вашему мнению не связаны с аргументацией.

Апять - странный текст.
мпграчёв, вы щас с кем общаетесь?
Вот ежели со мной, то контекстом к моему, - к которому это ваше ... непосредственно читаеца - я не вкурсе эдл. От термина -- вааще!!! Я вас спросил о ... , но как и уже обычно smiley , вы переводите наш маленький диспут в балабольство, типо -- разговоры за жизнь . Ха!

 

ЗАЧЕМ ВЫ ПОСТИТЕ ВО СВОИХ ТЕМАХ,
КОЛИ ЛЮБЫЕ Вопросы как попытки чёта там про эдл вы сводите к ДЕМАГОГИИ?
ЗАЧЕМ?

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

Один 1. В моём ссылка вопросе прямым текстом сказано: - есть некая сборная солянка из каких-то составных разделов.

Один 2. вы переводите наш маленький диспут в балабольство, типо -- разговоры за жизнь . Ха!

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

--

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

mp_gratchev, 5 Ноябрь, 2018 - 19:58, ссылка

В отличие от вас - я в теме.

Что касаемо -- за жизнь ...wink -- так это ваше право на вашу некомпетентность.
Не знание -- не порок.
Порок -- это бахвальство незнанием.

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

Один, 5 Ноябрь, 2018 - 20:24, ссылка

В отличие от вас - я в теме.

Только очень хорошо замаскировались, чтобы Вас там не обнаружили.

--

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

mp_gratchev, 5 Ноябрь, 2018 - 20:37, ссылка

На правах эпиграфа

Мужик ползает под фонарём..
Его спрашивают
- ты чё там лазаешь?
- да ключи от квартиры потерял
- а где потерял?
- да там.. (показывает куда-то в кусты)
- а тут зачем ползаешь?
- дык тут светлее

laugh

Так за вашим флудом, тем, что вы тут нафлудили, - мне ответ на мой ссылка видимо не будет?

 

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

 

Так за вашим флудом, тем, что вы тут нафлудили, - мне ответ на мой ссылка видимо не будет?

Мой ответ был таким:

Грачев. В стандартной теории аргументации диалог рассматривают как способ коммуникации (Лисанюк Е.Н.), а в Элементарной диалектической логике диалог - это логическая форма связи высказываний в совместном рассуждении.

Но у Вас в голове своя установка:

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

Это, если диалог вместе с Лисанюк и Эксби трактовать как коммуникацию.

Только, в ЭДЛ диалог - это логическая форма совместного рассуждения. А совместное рассуждение не исключает аргументацию и доказательства.

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

--

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

mp_gratchev, 5 Ноябрь, 2018 - 21:08, ссылка

Вы, что впрочем уже как обычно для васsmiley, невнимательны.
Отсюда и ваше барахтанье.
Мы этот момент уже уточнили см. ссылка  (наверное всё это ваш старческий маразм. А?)

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

 

 

Внимательней надоsmiley.  Внимательней.

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

См.:

mp_gratchev, 5 Ноябрь, 2018 - 22:50, ссылка

--

 

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

Лисанюк Е.Н. разрабатывает Логико-когнитивную модель-версию, которая весьма отлична от версии отца-основателя направления СТА - Брюшинкина Владимира Никифоровича. То бишь Лисанюк Е.Н. разрабатывает свою теорию. 

Лисанюк автор раздела стандартного учебника Логики (2010 г.). Поэтому речь уже не идет о простой "версии" и маргинальной теории.

-- 

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

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

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

Какие вы непонятные высказывания однако высказываете. "То, чем мышление не является, не предназначено для вербализации". Это как понять? Перевожу на русский: всё, что не является процессом мышления нельзя описать словами. Разве? Надо думать, что говоришь. ))
Напомнило:
"
Надо говорить то, что думаешь!
— Я всегда так и делаю! — выпалила Алиса, а потом, чуточку подумав, честно прибавила: — Ну, во всяком случае… во всяком случае, что я говорю, то и думаю. В общем, это ведь одно и то же!
— Ничего себе! — сказал Шляпник.— Ты бы еще сказала: «я вижу всё, что ем», и я «ем всё, что вижу» — это тоже одно и то же!
— Ты бы еще сказала, — подхватил Заяц, — «я учу то, чего не знаю» и «я знаю то, чего не уч»у — это тоже одно и то же!
— Ты бы еще сказала, — неожиданно откликнулась Соня, не открывая глаз, — «я дышу, когда сплю» и «я сплю, когда дышу» — это тоже одно и то же…
— Ну для тебя-то это одно и то же,- сказал Шляпник, и на этом беседа оборвалась.

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

Ren, 4 Ноябрь, 2018 - 03:53, ссылка

Молодец Ren! "Не в бровь, а в глаз!"))) 

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

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

axby1, 13 Октябрь, 2018 - 18:12, ссылка

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

  Я не считаю что он намеренно ставит перед собой задачу навязать всем свою персональную Истину, несмотря на то что в пользу этого убедительно свидетельствуют бытовые факты, и думаю что причина здесь гораздо банальнее : гордыня мешает ему признать элементарную ошибку, которую он допускает ввиду своей неразборчивости в фактах, и теперь, отчасти благодаря Вам, я могу точно сформулировать, в чём заключается эта "ошибка №5" :

  • невозможно определить теоретическую часть ФЛ средствами прикладной

  Ничего не напоминает ?

  Так вот, я если что не посягаю на его право воплощать свою "мечту о Большом и Светлом" -  если человеку так хочется запрограммировать логику, то мне приходилось встречать людей и с более извращёнными увлечениями. Но когда он начинает эмулировать математическое сообщество, то становится просто невыносим в своём стремлении навязать участникам ФШ терминологические проблемы, которые становятся проблемами тогда и только тогда, когда он начинает настаивать на их обсуждении.

  Я всё сказал :)

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

Один, 5 Ноябрь, 2018 - 21:25,ссылка

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

По буквам:

Итак, поехали!

Ксанф. Аргументируйте ...

Грачев. В порядке аргументации выкладываю четыре аргумента: 

Аргумент 1.

В ЭДЛ включены десять ключевых позиций, отмеченных двумя звёздочками (**). 

Аргумент 2.
Из десяти, позиция(п.6) называется "Доказательство в совместном рассуждении - аргументация." 

Аргумент 3.
Те, которые не п.6, (остальные девять позиций ) не относятся к аргументации.

Аргумент 4. 
Причина (F) , по которой остальные девять не включены в аргументацию, является их собственная и независимая функция в ЭДЛ.

Ксанф. причину ...

Грачев. Причина (F) заключается в функциональной самостоятельности каждого исходного положения ЭДЛ

Ксанф. согласно которой ...

Грачев.  То есть, согласно F-причине 

Ксанф. всё то, что в эдл не относится к аргументации ...

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

Грачев. Верно, девять пунктов включены в ЭДЛ, равно как и пункт 6, относящийся к аргументации.

 

Что и требовалось доказать (с учётом того, что в ЭДЛ аргументация и есть доказательство согласно п.6).

--

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

К своему перечню приличных источников по теме - аргументация - , которые можно щитать аргументаций статическойsmiley, я добавлю ещё и такое крутое, на мой взгляд, направление в этой теме, как аргументация в пересматриваемых рассуждениях, аргументация с высказываниями  с изменяемыми смыслами.
К моему сожалению, наиболее серьёзных работ в этом направлении кроме как кратенькой статьи Моросина О.Л. в киберленинке я ненаходил.

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

...

А не.

Зафлудил так, что и не найдёшь сразу
Повторюсь

Почему этот пост ссылка  не стоит под моим ссылка или под моим ссылка

???

На тот момент ещё был конструктив.
Но аполся сплошниковаго вашего флуда -- ...

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

Один, 6 Ноябрь, 2018 - 01:05, ссылка

Зафлудил так, что и не найдёшь сразу. Повторюсь

По обыкновению, Один насвинячил в чужом блоге и смылся. Затем вернулся. Ещё раз насвинячил. И вновь слинял.

 

Один, 6 Ноябрь, 2018 - 01:05, ссылка

(тьфу ты, хоспидя, - он уже фсё подленько удалил)

Вот, порадовал!

Что? Стакан вмазал? Никак не осмыслишь, "Почему этот пост" не стоит под твоим.

Протри глаза.  Ещё ничего не удалял. Эта "прелесть" ожидает тебя впереди.

--

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

mp_gratchev, 7 Ноябрь, 2018 - 01:24, ссылка

Тут панимаишшш ли какая фишкаsmiley
Любой 4 и старше лет малыш интуитивно, то бишь - самостоятельно научается различать [часть vs целое]. yes
А вот тебе это не дано.
И не надо в этом никого винить - акромя себя.
А надо принять сей факт как данность.
А что касаемо -- за жизнь -- так и про это я уже в ссылка

Не знание -- не порок.
Порок -- это бахвальство незнанием.

 

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

ОдинЛюбой 4 и старше лет малыш интуитивно, то бишь - самостоятельно научается различать [часть vs целое]. А вот тебе это не дано.

Оценка не аргумент. Аргумент - это заключение вместе с посылками. Где Ваши посылки, в которых прописано то конкретное целое и части, якобы не различаемые?

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

Бобер на рыбалке. Ему повезло. Поклевка. Только невероятное: нашего рыболова рыба вместе удочкой и леской потащила  за собой в глубь водоема. Как водится, друзья выручили неудачника-рыболова.

Очумелый после такого приключения рыболов, отряхнувшись, бросил реплику:

"Как она меня, чуть не поймала! — Да? А мы думали ты первый начал её ловить"

 

Спрашивается, что чьей потенциальной пищей явилось в данной ситуации? Рыба для бобра или бобер для рыбы?

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

--