73084

Вывод (доказательство) в логике

Доклад

Логика и философия

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

Русский

2014-12-04

31.5 KB

1 чел.

76. Вывод (доказательство) в логике: вывод и вывод из данных формул в аксиоматическом исчислении высказываний, прямое и косвенное доказательство в системах естественного вывода.

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

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

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

Доказательство состоит из:

  1.  тезиса (доказываемое положение);
  2.  аргументов (основания, посылки, т. е. положения, которые используются для обоснования тезиса);
  3.  демонстрации (связи тезиса и аргументов; способ доказательства).

Логика естественного вывода позволяет строить формальные доказательства, структура которых наиболее точно передаёт логическое строение обычных рассуждений. Натуральные исчисления были изобретены независимо друг от друга С. Яськовским и Г. Генценом в 30ые гг. XXв.

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

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

Доказательство строится следующим образом. На любом шаге построения можно записать: 1). одну из аксиом; 2). формулу, следующую из ранее написанных формул по правилу модус поненс.

Модус поненс:

А

А -> B

В

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

Построение прямого доказательства в системе естественного вывода. Прямое доказательство формулы (кратной импликации) вида  A1 -> (A2 ->…(An -> C)…) строится так. На любом шаге построения можно написать:

  1.  одну из формул A1, A2 , …, An в качестве допущения;
  2.  формулу, следующую из ранее написанных формул по одному из правил логического следования;
  3.  ранее доказанную формулу

Прямое доказательство формулы считается построенным, если в соответствии с пп1-3 получена последовательность формул, оканчивающаяся этой формулой.

Построение косвенного доказательства в системе естественного вывода. Косвенное доказательство формулы A1 -> (A2 ->…(An -> C)…) строится так. На любом шаге построения можно написать:

  1.  одну из формул A1, A2 , …, An в качестве допущения;

1а. формулу, противоречащую формуле С;

2. формулу, следующую из ранее написанных формул по одному из правил логического следования;

3.ррранее доказанную формулу

Косвенное доказательство формулы A1 -> (A2 ->…(An -> C)…) считается построенным, если в соответствии с пп1-3 (включая и п.1а) получена последовательность формул, содержащая пару противоречивых формул и оканчивающаяся одной из них.


 

А также другие работы, которые могут Вас заинтересовать

82271. Проблема разделения социальных и гуманитарных наук пол предмету, по методу, по предмету и методу одновременно, по исследовательским программам 34.01 KB
  В настоящее время считается что естественные науки и социально-гуманитарные науки имеют как общие так и различные характеристики. Естественные и социально-гуманитарные науки обладают всеми признаками науки как особого феномена познание нового наличие эмпирического и теоретического уровней оформленность в понятиях и т. Вместе с тем социально-гуманитарные науки отличаются от естественно-математических и технических наук по следующим основаниям: по объекту исследования – естественные науки изучают природную реальность т. то что существует...
82272. Методы социальных и гуманитарных наук 42.51 KB
  Абстрагирование важнейший метод научного постижения реальности. Результатом применения этого метода является абстракция. Наряду с абстрагированием важнейшим методом научного познания на эмпирическом уровне познания является индукция. Индукция это метод движения мысли от менее общего знания к более общему.
82273. Вненаучное социальное знание. Взаимодействие социальных, гуманитарных наук и вненаучного знания в экспертизах социальных проектов и программ 39.26 KB
  Взаимодействие социальных гуманитарных наук и вненаучного знания в экспертизах социальных проектов и программ. Эйнштейн ищут основания знания в философии и художественной литературе. Антифундаменталистская тенденция просматривается в истолковании всех важнейших областей научного познания: математического естественнонаучного гуманитарного. В то время как сциентизм базируется на абсолютизации рациональнотеоретических компонентов знания антисциентизм опирается на ключевую роль этических правовых культурных ценностей по отношению к идеалу...
82274. Дисциплинарная структура социально –гуманитарного знания и междисциплинарные исследования. Дифференциация и интеграция знаний 37 KB
  В дальнейшем проблематика связанная с первым типам междисциплинарности практически полностью стала изучаться в рамках исследований по классификации науки и ее развития. При этом главная Наука как социальный институт задача состоит в том чтобы преодолеть в процессе исследований отмеченное в свое время И. Эта задача пусть и не всегда в явной форме стоит перед участниками междисциплинарных исследований любого масштаба . Успешное осуществление междисциплинарных исследований предполагает одновременное решение трех видов проблем:...
82275. Переопределение парадигм и предметно- тематических направлений, появление новых областей исследования 38.77 KB
  В ходе развития науки в последней трети XX в. Ее фундамент составляют ставшие общенаучными принципы развития и системности. Такое понимание процессов развития исходит из синергетики. Вопервых принцип развития эволюции в современной науке получил статус фундаментальной мировоззренческой и методологической константы.
82276. Роль СГН и вненаучного знания в экспертизах социальных проектов и программ 32.11 KB
  Социальногуманитарные науки являются социальнокультурным феноменом изменяются вместе с обществом. Социальногуманитарные науки необходимы для разработки стратегии развития общества для понимания человеком своего места в социальной среде. Социальная политика всегда нуждается в социальной науке так как первая – лишь излагает определенные идеалы а вторая – мысленно упорядочивает факты и предлагает варианты действий М. Социальногуманитарные науки развиваются в настоящее время по следующим основным направлениям: сближение с...
82277. Изменения дисциплинарной структуры социально-гуманитарного знания в современных условиях. Смена лидирующих дисциплин 35.88 KB
  Вместе с тем региональные и функциональные различия науки обусловленные уровнем экономического технологического развития природными ресурсами вносят определенную спецификацию в совокупный потенциал развития науки. Одним из бесспорных мировоззренческих итогов науки начала XXI в. В основе научного мировоззрения лежит представление о возможности научного постижения сущности многообразных явлений современного мира о том что прогресс развития человечества связан с достижениями науки. Острые споры ведутся вокруг проблемы взаимоотношений...
82278. Возрастание роли гуманитарных знаний в современном обществе. «Сообщество знания». Значение опережающих социальных исследований для решения социальных проблем и предотвращения социальных рисков 31.17 KB
  Значение опережающих социальных исследований для решения социальных проблем и предотвращения социальных рисков. В этом состоит значение основополагающих социальных исследований. Важнейшими функциями социальных наук в современном обществе является критика действительности и ее проблематизация. Изучаются явления лежащие на стыке социальных и экономических сфер жизнедеятельности общества.
82279. Проблема глобализации в социально-гуманитарных науках 32.66 KB
  Учение интенсивно развивается и в рамках биологии исследование механизмов эволюции на молекулярном клеточном организменном уровнях. Для того чтобы описать движущие силы эволюции любого объекта нашего мира был создана синергетика новая междисциплинарная область Н исследований новое направление решения Н проблем. В настоящее время в Н в целом и в синергетике в частности используется принцип нелинейности многовариантности альтернативности путей темпов эволюции необратимости эволюции возможность непредсказуемых изменений. Поновому...