История развития логики доклад

Posted on by tayronlela

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

Характеристика суждения и категорического история развития логики доклад в труде "Диалектика". Разделение родов на виды. Теория двойственной истины. Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т. Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке. Главная База знаний "Allbest" Философия История логики - подобные работы.

История логики Возникновение и этапы развития традиционной формальной логики. Аристотель как основатель логики. Создание символической логики, виды логических исчислений, алгебра логики. Метод формализации. Становление диалектической логики, работы И.

Канта, Г. Формальная и диалектическая логика. Chaitin G. Chang C. Model Theory. Теория моделей. Feferman S. Logic, logics, and logicism.

Эссе прогресс отец проблем82 %
Дипломная работа по проектированию малоэтажный жилой дом63 %
Реферат обработка данных с помощью запросов5 %

Font J. Halpern Y. Hintikka J. Hunter G. Huth M. Jeffrey R. Formal Logic: its Scope and Limits. Klenk V. Understanding Symbolic Logic. Model-Theoretic Logics. Barwise and S. Koons R. Defeasible reasoning. Priest G.

История развития логики доклад 1119

Rahman S. Rasiowa H. Shapiro S.

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

Incompleteness, mechanism, and optimism. Sher G. Thomason R. Logic and Artificial Intelligence. Wang H. Abramsky, D. Gabbay, T. Gabbay and F. Ахманов А. Логическое учение Аристотеля. Бажанов В. Бирюков Б. Котарбиньский Т. Современная логика — сложнейшая и высокоразвитая система знаний. Символическая логика находит все более широкое применение в других науках — не только в математике, но и в физике, биологии, кибернетике, экономике, лингвистике.

Она приводит к возникновению новых отраслей знаний метаматематика.

[TRANSLIT]

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

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

Среди них особенно выделяется П.

  • Однако как относительно самостоятельная логическая наука, качественно отличная от формальной логики своим подходом к мышлению, диалектическая логика стала оформляться лишь в конце XVIII — начале XIX в.
  • Однако специальных работ по диалектической логике у Маркса и Энгельса нет.
  • Остается сказать, что в разработку систем символической логики внесли важный вклад русские ученые.
  • Положительные логики также для этого не годятся, ибо в них нет операции отрицания.
  • Такого рода навыки предполагают не только умение красиво говорить, но и владение сложными механизмами мышления и, прежде всего, различными способами построения умозаключений, доказательств, опровержений, то есть того, что и составляет основное содержание логики.
  • Все выводы М.
  • Оценивая историческое значение труда Евклида как практического применения логики, А.

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

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

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

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

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

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

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

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

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

Но в этой своей критике зашел так далеко, что отверг ее принципы, основанные на законе тождества и законе противоречия.

История развития логики доклад 2746

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

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

Реферат: Этапы развития логики как науки и основные направления современной символической логики

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

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

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

Скрытые категории: Википедия:Страницы с модулем Hatnote с красной ссылкой Википедия:Статьи с нерабочими ссылками Википедия:Статьи без сносок Википедия:Статьи без изображений указано в Викиданных: P Википедия:Статьи без изображений объекты менее указанного лимита: 21 Википедия:Статьи к доработке по логике Страницы, использующие волшебные ссылки ISBN. Пространства имён Статья Обсуждение. В других проектах Викисклад. Первое исчисление, не содержащее закон исключенного третьего, было предложено в г.

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

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

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

Логика. Основы Логики. Логическое Мышление

Всякое высказывание, выводимое из истинного высказывания, будет истинным. Через дедуктивную импликацию А. Марков определяет редукционное отрицание reductioadabsurdum. Для установление истинности история развития логики доклад отрицания высказывания не требуется вникать в его смысл.

Высказывание, для которого установлена истинность редукционного отрицания, не может быть истинным. Показательно такое обстоятельство. Значение функции от аргумента а записывается так: [а]. Тавтология принимает значение 1. Для доказательства формулы a используем знание о том, что дизъюнкция берется по максимуму.

Следовательно, эта формула не есть закон логики. Аналогично строятся колонки 4 и 5, только соблюдая условие, что конъюнкция берется по минимуму значений. Формула также не является законом логики. Распределение значений истинности для х и у показано в первой и второй колонках.

Это было доказано см. Конъюнкция и история развития логики доклад определяются обычным способом как минимум и максимум значении аргументов. Если учитывать лишь значения функций 1 и 0, то из матриц системы Гейтинга вычленяются матрицы двузначной логики. Система американского математика и логика Э. Значения истинности суть 1, 2, Пост вводит два вида отрицания N1x и N2х соответственно называемые циклическим и симметричным.

История развития логики доклад 5296450

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

Трехзначная система Р3 Поста имеет следующую указанную в таблицах форму. Исходя из т -значной системы Э. Поста автор этого учебника А. Гетманова построила бесконечнозначную систему Gxo. Операции: отрицание, дизъюнкция, конъюнкция, импликация и эквиваленция в Gxo - определены следующими равенствами:. Отрицание в системе G xo является обобщением второго симметричного отрицания т -значной логики Поста.

Из системы Gхо вычленяются G3 ,G4.

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

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

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

Сложнее обстоит дело в многозначных логиках. Причем процесс возможного история развития логики доклад потенциально бесконечен, что отражено в системе Fхо. Система Fхо имеет свою интерпретацию. То есть:. Тавтология закон логики принимает значение 0. Например, тавтологией является правило снятия двойного отрицания.

Из бесконечнозначной системы Fхо вычленяются конечнозначные системы, F2 ,F3 ,F4 история развития логики доклад. Система Fхо и другая построенная автором бесконечнозначная логика Gхо в совокупности охватывают оба направления в процессе познания - как в сторону истины, так и, к сожалению, в сторону лжи, заблуждения. Законы исключенного третьего и непротиворечия в неклассических логиках многозначных, интуиционистской, конструктивных. Ниже приведена таблица см.

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

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

Следуя Аристотелю, Лукасевич в г.

Логические Ошибки. Примеры Логики. Развитие Логического Мышления

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

История логики

В строгой импликации Льюиса р q невозможно утверждать антецедент, т. К ним относятся, например, такие формулы:. С целью исключить парадоксы строгой импликации Льюиса немецкий математик и логик Ф. И последняя формула читается так: из противоречия, т.

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

2 comments