Другие разделы неклассической логики

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

Реферат

Логическая необходимость. Логика

Логически необходимым являются, в частности, высказывание «Неверно, что неон — инертный газ и вместе с тем не инертный газ», поскольку отрицание этого высказывания («Неон — инертный газ и неон не является инертным газом») внутренне противоречиво (оно представляет собой отрицание закона противоречия). Логически необходимо высказывание «Трава зеленая или она не зеленая», так как его отрицание…

Реферат

Логические парадоксы. Логика

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

Реферат

Правила, заводящие в тупик

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

Реферат

Вероятность выводов по аналогии

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

Реферат

Конъюнкция. Логика для юристов

Соединение двух высказываний при помощи связки «и», называемой конъюнкцией, дает сложное конъюнктивное высказывание (или просто: «конъюнкцию»). Высказывания, образующие конъюнкцию, называются «членами конъюнкции». Например, если высказывания «Сегодня жарко» и «Вчера было холодно» соединить с помощью конъюнкции, получится конъюнктивное высказывание «Сегодня жарко, и вчера было холодно». Члены…

Реферат

Образец. Логика для юристов

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

Реферат

Вера. Логика для юристов

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

Реферат

Правдоподобные рассуждения. Умозаключение по аналогии

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

Реферат

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

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

Реферат

Законы де Моргана

Именем английского логика XIX в. А. де Моргана называются логические законы, связывающие с помощью отрицания высказывания, образованные с помощью союзов «и» или «или». Например: «Идет дождь и идет снег» означает «Неверно, что нет дождя или нет снега»; «Сегодня холодно или сыро» означает «Неверно, что сегодня не холодно и не сыро». Здесь высказывания «если А, то В» и «Л» — посылки, высказывание…

Реферат

Дедуктивные импликативные системы

Пусть S будет представлять собой некоторую дедуктивную импликативную систему. Обозначим как S некоторое расширение S за счет добавления к ней новой аксиомы — стрелки х: Тн А, которую мы (следуя терминологии Дж. Ламбека) назовем индетерминантом (неопределенной стрелкой). Очевидным образом стрелка х не будет принадлежать системе S, хотя и Т и, А принадлежат системе S в качестве ее объектов. Логиков…

Реферат

Декартово бизамкнутые дедуктивные категории

Доказательство. Сошлемся на одно-однозначное соответствие между стрелками ВС в, А и стрелками A v ВС в А. Таким образом 1 будет инициальным объектом в А, поскольку (записывая изоморфизм как =). Если понимать изоморфизм A Ht- В как факт одновременного существования стрелок, А В п В А, то нетрудно доказать, что в декартово бизамкнутых категориях имеют место следующие стрелки: А последнее множество…

Реферат

Исчисления Айдукевича-Ламбека в голосах

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

Реферат

Когерентность в декартово замкнутых генценовских дедуктивных мультикатегориях

Будем говорить, что все стрелки нашей мультикатегории расширены до конгруэнтных стрелок, если они заменены на стрелки, не включающие в свою конструкцию фрагменты, эквивалентные стрелке ослабления, и в которых стрелки типа g{f} предшествуют стрелкам типа / лg, всегда, когда это синтаксически возможно. Теперь в качестве стрелок будут рассматриваться только свободные от сечения расширенные стрелки…

Реферат

Рассуждения (умозаключения). Логика и теория аргументации

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

Реферат

Правила третьей фигуры

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

Реферат

Софизмы и противоречивое мышление

В софизмах есть смутное предвосхищение многих конкретных законов логики, открытых гораздо позднее. Особенно часто обыгрывается в них тема недопустимости противоречий в мышлении. Скажи, — обращается софист к молодому любителю споров, — может одна и та же вещь иметь какое-то свойство и не иметь его? Значит, мед сладкий и желтый одновременно. Но желтый — это сладкий или нет? Конечно, нет. Желтый…

Реферат

Другие парадоксы. Практическая логика

Хорошим примером того, что эти понятия способны приводить к неразрешимым спорам, может служить любопытный судебный процесс, состоявшийся в 1927 г. в США. Скульптор К. Бранкузи обратился в суд с требованием признать свои работы произведениями искусства. В числе работ, отправляемых в Нью-Йорк на выставку, была и скульптура «Птица», которая сейчас считается классикой абстрактного стиля. Она…

Реферат

Логика как наука

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

Реферат

Уточняющие и восполняющие вопросы

Уточняющим называется вопрос, который направлен на выявление истинности выраженного в нем же знания. Уточняющие вопросы иногда называют «ли-вопросами». Грамматическим признаком данных вопросов является наличие в предложении частицы «ли». Они часто начинаются так: «Верно ли, что…», «Так ли, что…», «Является ли…», «Действительно ли, что…». Эти выражения могут заменяться синонимичными. По логической…

Реферат

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

Основное задание логики — анализ правильных рассуждений. Логики пытаются выявить и исследовать схемы таких рассуждений, определить их типы. Неправильные рассуждения в логике анализируют только с точки зрения допущенных в них ошибок. Представьте себе ситуацию: один человек хочет убедить другого в том, что у него есть рога. Для этого он приводит такое обоснование: «То, что ты не терял…

Реферат

Формы развития знания

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

Реферат

Словарь терминов. Логика. Теория и практика аргументации

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

Реферат

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

Примерами таких точек зрения могут быть выражения: «Мужчины в основном охотники», «Женщины по своей природе собственницы», «Современная молодежь ленивая», «Политики — взяточники». Устранение от бремени доказательства" — это ошибка, возникающая, когда участник спора пытается сформулировать точку зрения таким образом, чтобы ее не надо было аргументировать. А. При несмешанном расхождении во мнениях…

Реферат

Основные законы логики высказываний

Данные законы разрешают переставлять местами конъюнкты и дизъюнкты, так как в итоге не изменяются значения истинности исходной формулы. Согласно этим законам высказывание «Это яблоко вкусное и/или спелое» эквивалентно высказыванию «Это яблоко спелое и/или вкусное». Перечисленные законы логики создают базис для развития более эффективного, чем таблицы истинности, метода решения логических задач…

Реферат

Софизмы. Логика. Элементарный курс

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

Реферат

Табличный способ определения формул логики

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

Реферат

Преобразование понятий в логике исчислений

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

Реферат

Словарь терминов. Основы логики

Б. Подчинительная аргументация. Б. Последовательное рассуждение. B. Сочинительная аргументация. В. Конвергентное рассуждение. Может ли конвергентное рассуждение быть последовательным? А. Для оценивания формальной правильности аргументации. A. Множественная аргументация. А. Связанное рассуждение. Б. Конвергентной, последовательной, подчинительной. Б. В аргументации, содержащей несколько аргументов.

Реферат