рефераты конспекты курсовые дипломные лекции шпоры

Реферат Курсовая Конспект

A Ú B A Ú B

A Ú B A Ú B - Лекция, раздел Философия, Логика Правилом Вд Устанавливается, Что Из Принятого За Истинное Высказывания Со Стр...

Правилом ВД устанавливается, что из принятого за истинное высказывания со структурой A (соответственно B) можно выводить дизъюнктивное высказывание вида A Ú B.

Пример вывода по правилу ВД:

Иванов читает газету.

-------------------------------------------------------------------------

Иванов читает газету или размышляет о текущих событиях.


Правило удаления слабой дизъюнкции (УД):

A Ú B   A Ú B
ØA   ØB
B   A

С помощью правила УД устанавливается, что из принятого дизъюнктивного высказывания со структурой AÚB и отрицания одного из его членов можно выводить второй его член.

Пример вывода по правилу УД:

Ошибся защитник или вратарь.

Вратарь не ошибся.

---------------------------------------------

Ошибся защитник.

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

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

Правила ВД и УД согласуются с определением слабой дизъюнкции.

Правило удаления импликации (УИ):

A ® B

А

--------------

В

Правило УИ разрешает при наличии принятой импликации вида A®B и ее антецедента A выводить консеквент B.

Пример вывода по УИ:

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

Стоит туманная погода.

-------------------------------------------------------------------------

Аэропорт закрывается.

 

В традиционной логике умозаключения по правилу УИ называются условно-категорическими силлогизмами утверждающего модуса (латинское название – modus ponens). В них выводится следствие условного высказывания при условии истинности его основания.

Правило введения эквиваленции (ВЭ):

A ® B

B ® A

---------------

A « B

Правило ВЭ разрешает из принятого за истинное импликативного высказывания со структурой A®B и обратного по отношению к нему высказывания B®A можно выводить и принимать за истинное высказывание эквивалентности A«B.

Пример вывода по ВЭ:

Если монета выпадает орлом, то она не выпадает решкой и не становится на ребро.

Если монета не выпадает решкой и не становится на ребро, то она выпадает орлом.

-------------------------------------------------------------------------

Монета выпадает орлом тогда и только тогда, когда она не выпадает решкой и не становится на ребро.

Правило удаления эквиваленции (УЭ):

A « B A « B

------------- ------------

A ® B B ® A

Правило УЭ устанавливает, что из принятого за истинное высказывания эквивалентности вида A«B можно выводить и принимать за истинное как импликативное высказывание вида A®B, так и обратное ему импликативное высказывание B®A.

Примеры построения выводов по правилу УЭ:

Высказывание p Ù q истинно тогда и только тогда, когда p истинно и q истинно.

-------------------------------------------------------------------------

Если высказывание p Ù q истинно, то p истинно и q истинно.

Высказывание p Ù q истинно тогда и только тогда, когда p истинно и q истинно.

-------------------------------------------------------------------------

Если p истинно и q истинно, то высказывание p Ù q истинно.

Правило введения двойного отрицания (ВДО):

A

-----------

ØØA

Правило ВДО устанавливает, что из высказывания вида A можно выводить это же дважды отрицаемое высказывание.

Пример применения правила ВДО:

Этот студент учится на экономическом факультете.

-------------------------------------------------------------------------

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

Правило удаления двойного отрицания (УДО):

Согласно правилу УДО из дважды отрицаемого высказывания вида A можно выводить высказывание вида A.

Пример вывода по правилу УДО:

Неверно, что это число не простое.

--------------------------------------------------

Это число простое.

 

– Конец работы –

Эта тема принадлежит разделу:

Логика

Логика... Курс лекций е издание стереотипное...

Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: A Ú B A Ú B

Что будем делать с полученным материалом:

Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:

Все темы данного раздела:

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

Определение логики как науки. Понятие схемы (логической формы) мысли.
Хотя логика (от греч. logos – слово, понятие, рассуждение, разум) как наука существует около двух с половиной тысяч лет – ее основателем считается великий древнегреческий мыслитель Аристотель (384-

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

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

Знаешь ли ты этого покрытого человека? Нет. Это твой отец. Следовательно, ты не знаешь своего отца».
Насколько трудно бывает обнаружить ошибку в софистическом рассуждении, видно на примере первого из приведенных софизмов, известного под названием «Рогатый». В нём видимость логической правильности

Логическая культура
Известный немецкий философ Г.В.Ф.Гегель (1770-1831) как-то заметил, что логика не учит мыслить, так же как физиология и анатомия не учат переваривать пищу и двигаться. Однако эту мысль великого мыс

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

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

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

Oslash;(A Ù B) « (ØA Ú ØB).
  С увеличением числа переменных табличный метод становится малопригодным, поскольку быстро возрастает число строк в таблице, исчисляемых по формуле S = 2n, где S –

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

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

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

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

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

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

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

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

Правила деления
В учебниках логики обычно излагаются лишь правила таксономического деления. Но есть попытки распространить их и на мереологическое деление[4]. Сформулируем эти правила. 1. Прави

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

Виды определений
Определения классифицируются по разным основаниям. По способу представления определяемого имени они подразделяются на явные и неявные. Явным называется определение, в котором опре

Правила определения
Определение достигает своих целей лишь при выполнении соответствующих правил. Сформулируем важнейшие из них. 1. Правило соразмерности. Dfd и Dfn должны быть равнообъе

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

A Ù B
Это простое правило устанавливает, что два принятых за истинные высказывания можно соединить знаком конъюнкции, и полученное сложное высказывание также разрешается принять. Например: Подул

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

Структура и виды атрибутивных высказываний
Логическая теория имен находит применение в разделе логики, которой называется силлогистикой (от греч. Sillogistikos – выводящий умозаключение). Ее основные понятия были раз

Распределенность терминов в атрибутивном высказывании
Для правильного оперирования высказываниями вида SaP, SeP, SiР, SoP в процессе проведения логических операций важное значение имеет вопрос о распределенности терминов (субъекта и предиката).

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

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

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

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

B ØA
Это уже знакомые нам правила выводов логики высказываний – правило удаления импликации (УИ) и modus tollens. Стало быть, первоначально мы имели дело со схемами, соответствующими определению редукци

Все S суть P
Пример: Медь – хороший проводник электричества. Алюминий – хороший проводник электричества. Железо – хороший проводник электричества. Свинец – х

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

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

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

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

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

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

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

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

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

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

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

Эристические уловки. Софистика и сократовская диалектика
Слово «эристика» генетически связано с именем богини Эриды, весьма противоречивой персоны в древнегреческой мифологии. Согласно Гесиоду, она, с одной стороны, - прародительница человеческого труда,

Достаточные и необходимые условия. Причинно-следственные отношения
1. а) Достаточно в водном растворе лакмуса присутствия кислоты для приобретения им красного цвета, б) При наличии в водном растворе лакмуса кислоты необходимо его окрашивание в красный цвет.

Хотите получать на электронную почту самые свежие новости?
Education Insider Sample
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Реклама
Соответствующий теме материал
  • Похожее
  • Популярное
  • Облако тегов
  • Здесь
  • Временно
  • Пусто
Теги