Способы взаимопонимания. диалог .логика обьяснения

Мышление в системе познания

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

Первая особенность мышления — его опосредованный характер. То, что человек не может познать прямо, непосредственно, он познаёт косвенно, опосредованно: одни свойства через другие, неизвестное — через известное. Мышление всегда опирается на данные чувственного опыта —ощущения, восприятия, представления — и на ранее приобретённые теоретические знания. Косвенное познание и есть познание опосредованное.

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

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

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

Мышление человека протекает в форме суждений и умозаключений. Суждение — это форма мышления, отражающая объекты действительности в их связях и отношениях. Каждое суждение есть отдельная мысль о чём-либо. Последовательная логическая связь нескольких суждений, необходимая для того, чтобы решить какую-либо мыслительную задачу, понять что-нибудь, найти ответ на вопрос, называется руассуждением. Рассуждение имеет практический смысл лишь тогда, когда оно приводит к определённому выводу, умозаключению. Умозаключение и будет ответом на вопрос, итогом поисков мысли.

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

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

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

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

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

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

Наука логики в 20 веке

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

В 20 столетии формальная логика продолжила свое развитие. Появилась математическая логика, которая широко использовала метод математической формализации и специфический набор символов к определенному кругу логических операций. Основными представителями математической логики стали такие мыслители, как Г. Фреге, Б. Рассел, Б. Аккерман и другие ученые.

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

Большое значение на развитие символической логики оказали такие мировые учёные, как Дж. Буль, О. де Морган, Г. Фреге, Ч. Пирс и др. В 20 веке произошло выделение математической логики из логической науки в самостоятельную дисциплину.

В начале 20 века произошло становление идеи неклассической логики, многие важные положения которой были определены отечественными учеными Н.А. Васильевым и И.Е. Орловым.

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

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

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

2. Основные направления логики 20 века

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

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

Идея создания универсального языка для всей математики и формализации на базе такого языка математических доказательств предлагалась еще в 17 в. Г. Лейбницем. Но первые научные работы по алгебраизации логики появились только в середине 19 века. Их авторами были Дж. Буль и О. де Морган. Реальная возможность применить этот язык к вопросам оснований математики появилась после того, как Г. Фреге и Ч. Пирс ввели в язык алгебры логики предикаты, предметные переменные и кванторы.

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

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

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

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

Часть из рассматриваемых в математической логике языков обладает семантически полными и пригодными расчетами. Так, известно, что логик К. Гёдель получил результат о том, что для предикатов первого порядка классическое исчисление предикатов будет семантически полным и семантически пригодным для языка классической логики. А с другой стороны, существует немало языков, для которых нельзя провести семантически полного и семантически пригодное исчисление. Теорема Гёделя о неполноте, говорящая о невозможности семантически полного и семантически пригодного исчисления для языка формальной арифметики является классическим результатом этого.

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

Основными разделами математической логики являются:

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

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

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

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

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

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

Такие ученые как Тарский, Мальцев и Робинсон независимо друг от друга занимались разработкой данной теории.

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

Из вышесказанного можно сделать вывод, что теория моделей произошла из математической логики, универсальная алгебра, теория множеств в качестве обобщения и укрупнения полученных данных. Поэтому можно утверждать, что первые предпосылки теории моделей появились еще до её официального открытия. Одним из первых результатов принято считать теорему Лёвенгейма - Сколема (1915). Следующим крупным достижением стала теорема компактности, доказанная Гёделем (1930) и Мальцевым (1936).логика дедуктивный философский

Модальные суждения

Модальные - это суждения, которые содержат оценку заключенной в них информации. Пример. «На Марсе, возможно, есть жизнь»

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

Выделяют несколько типов модальностей:

Алетическая модальность. Ее виды: «необходимо», «возможно», «невозможно», «случайно». Пример. «Завтра возможен дождь».

Деонтическая модальность – это характеристики действий и поступков людей в обществе. Ее виды: «обязательно», «разрешено», «запрещено», «безразлично». Пример. «Посторонним вход запрещен».

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

Кроме названных, довольно часто встречаются аксиологическая модальность («хорошо», «плохо») и временная модальность («всегда», «иногда», «никогда» и т.д.).

Логический анализ вопроса

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

Коммуникации

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

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

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

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

В речевой коммуникации неувязка осознания может возникать:

•в синтаксическом — из-за незнания правил образования выражений либо пренебрежения ими (узнаваемый пример из сказки: «Казнить нельзя помиловать» — указывает, как просто поменять смысл утверждения на противоположный в зависимости от постановки запятой);

•в семантическом — из-за различия в интерпретации символов и выражений, примеры многозначности слов дает омонимия, полисемия;

•в прагматическом — из-за психологического барьера в восприятии речи либо знака.

Формы обоснования

Обоснования бывают двух видов: абсолютное и сравнительное. Абсолютное обоснование — это приведение тех убедительных, или достаточных оснований, в силу которых должно быть принято обосновываемое положение. Сравнительное обоснование — система убедительных доводов в поддержку того, что лучше принять обосновываемое положение, чем иное, противопоставляемое ему положение. Общая логическая схема, или структура, абсолютного обоснования следующая: «A должно быть принято в силу С», где A — обосновываемое положение и С — основание обоснования. Структура сравнительного обоснования: «Лучше принять A, чем В, в силу С».

Критика и опровержение

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

Опровержение (.логическое) — это установление ложности какого-либо положения с использованием логических средств и доказанных положений. Опровержение имеет три вида: 1)критика тезиса – это логическая операция, целью которой является показать ложность выставленного тезиса. Тезис признается ложным, если оппонент отстаивает свое утверждение, но заведомо знает о том, что оно не соответствует действительности. Тезис является ошибочным, если оппонент заблуждается относительно действительности утверждаемого им тезиса. 2) критика аргументов. Данная логическая операция направлена на обоснование ложности аргумента. Она может выражаться в том, что оппонент может указывать на неточное изложение фактов, выражать в них сомнение. 3) критика демонстраций. Данная логическая операция указывает на отсутствие логической связи между тезисом и аргументами.

Мышление в системе познания

способы взаимопонимания. диалог.логика обьяснения

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

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

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

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

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

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

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

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

Диалог – разговор двух людей, обмен мыслями, новостями и т, д.

Логика объяснений это сумма стандарта правильных объяснений и технологии фильтрации объяснений.
Стандарт правильных объяснений представляет из себя совокупность четырёх законов логики объяснений;
1) закон последовательности.
Согласно этому закону любое правильное объяснение должно быть последовательным.
2) закон непротиворечивости.
Согласно этому закону любое правильное объяснение должно быть непротиворечивым.
3) закон однозначности.
Согласно этому закону любое правильное объяснение должно быть однозначным.
4) закон простоты.
Согласно этому закону любое правильное объяснение должно быть простым, то есть если существует определённое количество объяснений одинаково качественно объясняющих некое явление то самое простое объяснение этого явления является самым правильным объяснением этого явления.
Чем больше какое либо объяснение соответствует этому стандарту объяснений тем правильнее это объяснение.
Технология фильтрации объяснений это технология отделения правильных объяснений от не правильных объяснений осуществляемая согласно следующей инструкции;
1) выбор объяснений.
Выбор объяснений для их последующей фильтрации.
2) фильтрация объяснений.
Отделение правильных объяснений от не правильных объяснений осуществляемое при помощи проверки объяснений на соответствие стандарту правильных объяснений.
3) результат фильтрации объяснений.
Получение правильных объяснений.
При необходимости процедура фильтрации объяснений может быть повторена столько раз сколько потребуется для получения правильных объяснений.
Все объяснения делятся на следующие типы;
1) не правильные объяснения.
Не правильные объяснения это объяснения полностью не соответствующие стандарту правильных объяснений.
2) частично правильные объяснения.
Частично правильные объяснения это объяснения частично соответствующие стандарту правильных объяснений.
3) правильные объяснения.
Правильные объяснения это объяснения полностью соответствующие стандарту правильных объяснений

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

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

12 3 4 Следующая ⇒

Последнее изменение этой страницы: 2017-03-14; Просмотров: 272; Нарушение авторского права страницы