Основные понятия логики

Размещено на http://www.allbest.ru/

Размещено на http://www.allbest.ru/

Предмет формальной логики

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

Истинность и правильность. Понятие о синтаксисе и семантике формализованного языка

Синтаксис - в нем задаются правила соединения знаков. (отдельно взятое пропозициональная переменная или пропозициональная константа есть правильно построенное высказывание(ППВ), если А-ППВ, то ¬А - ППВ) Семантика - в ней исследуются отношения между знаками и их значения. Алфавит: 1. p, q, r…p_1,q₁, r₁ - препозиционные переменные (ПП) 2. И, Л - препозиционные константы (ПК) 3.&, v,¬,-,- - знаки логических союзов. 4. технические вспомогательные символы.

Основные периоды истории логики

Логика появилась в Др. Греции. Арестот. создал, как теоретическую родственную область знаний, но не назвал свои труды «лог-ка» («1-я аналитика» «2-я аналитика» «об истолковании») только ученики Арест. начали рассматривать все его труды в целом и назвали - органон. Арестотель выделил 3 уровня рассуж-ий: аподиктика, диалектика, эристика. (384-322 гг. до н.э.)

Хрисипп (281/277-208/205) один из руководителей школы стоицизма. Средна-ая Европа. (конец 11-до15 века) логика стала выглядить как жесткая система. Логика в тот период была удивительной формой знаний, почти все ею занимались >она была вполне изучена. Г.В. Лейбниц (1646-1716) методология научного иссле-я: 1. создание универсального языка науки 2. на основе этого языка создать исчесле-ие

В эти времена появилась индукция и аксиоматический метод. Современная Л-а с 19 века. Проблема создания искусств-ого яз-ка и интеллекта, проблема общности яз-ов, проблема соотношения яз-ка и мышле-ния, проблемы становления символичееской и математической логики. (G. Boole «матем - ий анализ логики» G. Frage, B. Russell, Винкинштейн, Смирнов.)

Основные законы логики. Закон тожде-ства. Открыт Аристотелем. Всякая мысль на протяжении всего рассуждения должна быть тождественна самой себе. (p> p, p-, A?A). Закон не противоречия. Два несовместимых др. с др. суждения не могут быть одновременно истинными, по крайней мере одно из них обязательно ложно. Закон исключения 3-го. Два противоречащих суждения не могут быть одновременно ложными, по крайней мере одно из них необходимо истинно.

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

Представление - принадлежит к высшим формам чувствительного познания, дает человеку возможность познавать окруж-ий мир с помощью идеальных образов. Имя - слово / словосочетание, обозначающее какой-либо предмет или класс однородных предметов. Содержание понятия - совоку-пность существенных признаков предмета, которая мыслится в данном понятии. (содержанием понятия «преступление» является совокупность существенных признаков преступления: общественно опасный характер деяния противоправност, виновность, наказуемость. объем понятия - множество предметов, кот мыслится в понятии. Объем понятия «преступление» охватывает все преступл-ия, поскольку они имеют общие существ. признаки.

Деление понятий - это логическая операция, установления объёмов понятия, путём перечисления его видов. 1. Деление должно вестись только по одному основанию. 2. Деление должно быть соразмерным, т.е. сумма объемов членов деления должна равняться объему делимого понятия. 3. Члены деления должны взаимно исключать др. др. 4. Деление должно быть непрерывным. Виды: Видовое деление - деление по видоизменяющимся признакам, производится таким образом, что член деления содержит родовой признак, но в новом качестве.

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

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

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

Правдоподобные рассуждения

логика семантика доказательство рассуждение

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

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

Схема рассуждения по методу сходства имеет следующий вид:

1. АВС - вызывает d

2. MBF - вызывает d

3. МВС - вызывает d > В яв. причиной d

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

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

1) ABC1 вызывает d₁

2) ABC2 вызывает d₂

n) ABC» вызывает d_n > С является причиной d

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

1) ABC вызывает xyz

2) А вызывает х

3) В вызывает у > С вызывает z

Доказательство - это логическая операция обоснования истинности какого-либо суждения с помощью других истинных и связанных с ним суждений. Структура док-ва: 1. Тезис - это выдвинутое пропонентом суждение, которое он обосновывает в процессе аргументации. 2. Аргументы, или доводы, - это исходные теоретические или фактические положения, с помощью которых обосновывают тезис. В качестве аргументов могут выступать различные по своему содержанию суждения: (1) теоретические или эмпирические обобщения; (2) утверждения о фактах; (3) аксиомы; (4) определения и конвенции.

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

Правила док-ва

Правила по отношению к тезису

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

Правила по отношению к аргументам:

1. Аргументы должны быть истинными, доказанными суждениями. Ошибки:

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

2. Аргументы должны быть суждениями, истинность которых устанавливается независимо от тезиса. Ошибка: «круг в доказательстве» - доказываемое положение обосновывается доказываемым тезисом. 3. между аргументами и тезисом должна быть фактическая и логическая связь. (иначе из аргументов фактически не вытекает тезис) Правилами по отношению к демонстрации - правила используемого умозаключения, т. к. формально-логическое док-во всегда протекает в форме какого-либо умозаключения. Нарушение приводит к несостоятельности всего доказательства, которая выражается в ошибке «мнимое следование».

Логика вопросов

Вопрос - это выраженный в форме вопросительного предложения и реализуемый в виде ответа запрос мысли, направленный на развитие - уточнение или дополнение знаний.

Любой вопрос всегда опирается на уже известное знание, кот выступает его базисом и выполняет роль предпосылки вопроса (datum questionis). Ответ - суждение, уточняющее или дополняющее в соответствии с поставленным вопросом прежнее знание. Виды:

1. Правильно поставленный вопрос - предпосылка которого представляет собой истинное и непротиворечивое знание.

2. Неправильно поставленный вопрос - с ложным или противоречивым базисом

3. Открытые - предполагают возможность неограниченного количества ответов. 4. Закрытые - на которые возможно дать ограниченное количество ответов.

Два основных типа. 5. Уточняющие 6. Восполняющие 7. Простые 8. Сложные

Требования к вопросам / ответам: 1. вопр. должен быть корректным. 2. Должен быть задан так, чтобы в нем была полнота изложения. 3. тождественность контекстов 4. Вопрос и ответ должны быть релевантны.

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

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

Размещено на Allbest.ru