«Логик а» Логика как наука. Предмет формальной логики



страница6/7
Дата06.11.2012
Размер0.81 Mb.
ТипДокументы
1   2   3   4   5   6   7

Индуктивное умозаключение и его виды.

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

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

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

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

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

2-ая группа. Исходя из степени достоверности ожидаемого вывода, аналогия подразделяется на виды: 1) строгая аналогия; 2) нестрогая аналогия.

Специфическим признаком, отличающим строгую аналогию, является наличие необходимой связи общих признаков с переносимым признаком. Схема строгой аналогии такова: Предмет X обладает признаками а, b, с, d, e Предмет У обладает признаками а, b, с, d Из совокупности признаков а, e, с, d необходимо следует Предмет У обязательно обладает признаком е. Строгая аналогия находит применение в научных исследованиях, а также в математических доказательствах. Так, формулирование признаков подобия двух треугольников основано на строгой аналогии.
Напомним: "Если три угла одного треугольника равны трем углам другого треугольника, то такие треугольники подобны" На свойствах умозаключения по строгой аналогии основан метод моделирования.

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

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

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

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

Такой внутренней взаимозависимостью (корреляцией) пользуются в различных отраслях научного знания: в микрофизике, биологии, социологии, палеонтологии, зоологии и др. Довольно успешно в последние годы такая зависимость применяется, например, при установлении соответствующих характеристик давно уже вымерших представителей животного мира по их ископаемым останкам. Аналогия может быть использована при экономическом анализе определенного исторического периода в развитии общества. Учитывая характер развития страны, например, многоукладность ее экономического развития, целесообразно сравнить со сходными признаками развития другой страны, прошедшей подобные периоды в своей истории. Метод аналогии в таком случае даст возможность учесть позитивное и негативное в развитии общества, избежать промахов и ошибок.

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


  1. Несовместимые суждения: контрарные, подконтрарные, противоречащие. Логический квадрат.

Несовместимые суждения делятся на: контрарные (противоположные), субконтрарные и противоречащие.

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

1. Контрарными (противоположными) называются общие суждения, выражающие противоположные мысли. Эти суждения не могут быть одновременно истинными, но могут быть одновременно ложными. Например: "Все люди имеют врожденные пороки" и "Ни один человек не имеет врожденных пороков"; "Все люди обладают второй сигнальной системой" и "Ни один человек не обладает второй сигнальной системой". Истинность одного из противоположных суждений определяет ложность другого. К примеру, истинность суждений "Все студенты - учащиеся" сразу же дает ответ, что суждение "Ни один студент не является учащимся" - ложно.

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

2. Подконтрарными называются частные суждения, которые выражают противоположную мысль. Например: "Некоторые студенты являются отличниками" и "Некоторые студенты не являются отличниками"; "Некоторые люди справедливы" и "Некоторые люди несправедливы".

3. Противоречащими называются суждения, которые взаимно исключают друг друга. Они одновременно не могут быть ни истинными, ни ложными. При истинности одного из них другое будет ложным, а при ложности первого второе будет истинным: например, "Ни одна кибернетическая машина не способна мыслить" и "Некоторые кибернетические машины способны мыслить"; "Все люди говорят на русском языке" и "Некоторые люди не говорят на русском языке".

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

A (контрарность) E



противоречие противоречие

I (субконтрарность) О

А – все студенты сдали зачет

I – некоторые студенты сдали зачет

E – все студенты не сдали зачет

О – некоторые студенты не сдали зачет

Вершины квадрата обозначают вид суждения по объединенной классификации А,Е,0,I. Стороны и диагонали символизируют логические отношения между простыми суждениями (кроме эквивалентных). Верхняя сторона есть О отношение А и Е - противоположность (контрарность); нижняя сторона - отношение между I и O - частичная совместимость (субконтрарность); две вертикальные стороны - отношения между А и I (левая), Е и О (правая) - подчинение; диагонали - отношения между А и О, Е и I- противоречие (контрадикторность).

  1. Дедуктивное умозаключение и его виды.

Дедукция (лат. deductio — выведение) — метод мышления, при котором частное положение логическим путем выводится из общего, вывод по правилам логики; цепь умозаключений (рассуждений), звенья которой (высказывания) связаны отношением логического следования. Началом (посылками) дедукции являются аксиомы, постулаты или просто гипотезы, имеющие характер общих утверждений («общее»), а концом — следствия из посылок, теоремы («частное»). Если посылки дедукции истинны, то истинны и ее следствия. Дедукция — основное средство доказательства. Противоположно индукции.

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

Например: "Все рыбы дышат жабрами. Все окуни - рыбы. Значит все окуни дышат жабрами."

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

1) От более общего к единичному или менее общему.

Все ароматические вещества улучшают вкус и аромат пищи.

Ваниль улучшает вкус и аромат пищи.

Ваниль – ароматическое вещество.
2) От одной общности к той же общности.

Все звёзды светят собственным светом.

Ни одна звезда не планета.

Ни одна планета не светит собственным светом.
3) От единичного к частному.

Уран – радиоактивен.

Некоторые химические элементы радиоактивны.

Уран – химический элемент.
Виды дедукций (по И.Канту):

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

2. Трансцендентальная дедукция - представляет собой априорное доказательство необходимого отношения категорий к предметам.

3. Объективная дедукция – ее целью является показать «что и на сколько может быть познано рассудком и разумом независимо от всякого опыта.

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

5. «Достаточная» субъективная дедукция - существо «достаточной» дедукции состоит в доказательстве того, «что только посредством категорий можно мыслить предмет, «достаточность» же ее – в том, что уже она позволяет дать «оправдание» (Rechtfertigung) объективной значимости категорий.

6. Полная субъективная дедукция «сверху» и «снизу» - Выявлять структуру «полной субъективной дедукции», доказывающей необходимое отношение явлений как предметов возможного восприятия к категориям, удобнее всего через разъяснение ее важнейшей композиционной черты: различия Кантом двух ее стадий – «сверху» и «снизу».

6.1. Полная дедукция «сверху» - Исходным пунктом дедукции «сверху» является понятие «чистой апперцепции», или «трансцендентального сознания». Кант пишет, что «все созерцания есть для нас ничто и нисколько не касаются нас, если они не могут быть восприняты в сознании, все равно, влияют ли они на него прямо или косвенно». Таким образом, a priori можно установить, что все представления, которые могут быть осознаны, должны быть объединены в чистой апперцепции. Ведь без возможности осознания эти представления есть ничто для нас, а от сознания, или апперцепции, неотделимо численное тождество. Из этого и можно заключить, что подобные представления должны быть связаны в едином сознании.

6.2. Полная дедукция «снизу» - это компоненты, из которых состоит «действительный опыт». Наконец, высшим и последним эмпирическим компонентом «действительного опыта» Кант называет синтез узнавания, или рекогниции, в понятии.

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


  1. Сложные суждения и их классификация (конъюнкция, дизъюнкция, импликация, эквиваленция).

Сложные суждения состоят из ряда простых («Человек не стремится к тому, во что не верит и, любой энтузиазм, не подкрепляясь реальными достижениями, постепенно угасает»), каждое из которых в математической логике обозначается латинскими буквами (A, B, C, D… a, b, c, d…). В зависимости от способа образования различаютконъюнктивные, дизъюнктивные, импликационные, эквивалентные и отрицательные суждения.

Дизъюнктивные суждения образуются с помощью разделительных (дизъюнктивных) логических связок (аналогичных союзу «или»). Подобно простым разделительным суждениям, они бывают:

нестрогими (нестрогая дизъюнкция), члены которой допускают совместное сосуществование («толи…, толи…»). Записывается как aVb; 

строгими (строгая дизъюнкция), члены которой исключают друг друга (либо одно, либо другое). Записывается как aύb .

Импликационные суждения образуются с помощью импликации, (эквивалентно союзу «если …, то»). Записывается как

a→b  или ab. В естественном языке союз «если …, то» иногда является синонимом союза «а» («Погода изменилась и, если вчера было пасмурно, то сегодня не одной тучи») и, в таком случае, означает конъюнкцию.

Конъюнктивные суждения образуются с помощью логических связок сочетания или конъюнкции (эквивалентно запятой или союзам «и», «а», «но», «да», «хотя», «который», «зато» и другим). Записывается как a^b.

Эквивалентные суждения указывают на тождественность частей суждения друг другу (проводят между ними знак равенства). Помимо определений, поясняющих какой-либо термин, могут быть представлены суждениями, соединенными союзами «если только», «необходимо», «достаточно» (например: «Чтобы число делилось на 3, достаточно, чтобы сумма цифр, его составляющих, делилась на 3»). Записывается как a≡b, a↔b, ab (у разных математиков по-разному, хотя математический знак тождества всё-таки ≡).

Отрицательные суждения строятся с помощью связок отрицания «не». Записываются либо как a ~ b, либо как a b (при внутреннем отрицании типа «машина не роскошь»), а также с помощью черты над всем суждением при внешнем отрицании (опровержении): «не верно, что …» (ab).

1   2   3   4   5   6   7

Похожие:

«Логик а» Логика как наука. Предмет формальной логики iconЛогика – как наука. История развития логики. Формы человеческого мышления Слово логика
Логика – это наука правильно рассуждать, наука о законах и формах человеческого мышления. Логика, как наука о законах и формах мышления...
«Логик а» Логика как наука. Предмет формальной логики iconКонспект лекций для студентов специальностей асу, эвт, кзи пермь, 2007 г
Математическая логика это современный вид формальной логики. Логика – это наука правильно рассуждать, имея какие-то утверждения,...
«Логик а» Логика как наука. Предмет формальной логики iconХхi век и логика: кризис формальной логики и логика неформальная
Ведь вопрос уже стоит о сохранении культурного наследия человечества как такового, раз его фундамент – логика (де-факто культура...
«Логик а» Логика как наука. Предмет формальной логики iconПрограмма курса тема Предмет и значение логики
Как возникла и развивалась логика. Роль логики в повышении культуры мышления. Значение логики рациональная основа процесса обучения....
«Логик а» Логика как наука. Предмет формальной логики icon1. Предмет и значение логики
Логика-наука о формах и значениях правильного мышления и средствах достижения истинного знания
«Логик а» Логика как наука. Предмет формальной логики iconМосква 2012 г. Программа курса тема Предмет логики
Охватывает всех проблем естественной логики мышления. Поэтому, за формальной традиционной логикой остается ее познавательная функция...
«Логик а» Логика как наука. Предмет формальной логики iconМосква 2006 г. Программа курса. Тема Предмет логики
Охватывает всех проблем естественной логики мышления. Поэтому, за формальной традиционной логикой остается ее познавательная функция...
«Логик а» Логика как наука. Предмет формальной логики iconВопросы к экзамену Формальная логика как наука. Значение логики для профессиональной деятельности юриста
Формальная логика как наука. Значение логики для профессиональной деятельности юриста
«Логик а» Логика как наука. Предмет формальной логики iconЕсипова Л. В. Логика
Предметом формальной (традиционной) логики являются законы и формы правильного мышления
«Логик а» Логика как наука. Предмет формальной логики iconФывапролджэячсмитьбюйцукенгшщзхъфывапролджэячсмитьбюйцукенгшщзхъфывапролджэячсмитьбюйцукенгшщзхъфывапролджэячсмитьбюйцукенгшщзхъфывапролджэячсмитьбюйцукенгшщзхъ
Логическая культура. Что изучает логика? Почему она называется формальной? Этапы формирования логической мысли. Логическая форма...
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org