Законы логики

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

Рубрика Философия
Вид реферат
Язык русский
Дата добавления 23.05.2012
Размер файла 44,7 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.

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

22

БАЛТИЙСКАЯ МЕЖДУНАРОДНАЯ АКАДЕМИЯ

ПРОФЕССИОНАЛЬНАЯ ПРОГРАММА

Связи с общественностью

Контрольная работа

по дисциплине: Логика

на тему: Законы логики

Студентка 1 курса

Дневного отделения

Елизавета Нагле

Научный руководитель:

Проф. В. Никифоров

Даугавпилс 2010

Введение

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

Логика

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

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

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

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

Логика служит одним из инструментов почти любой науки.

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

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

Структуру мысли, её логическую форму, можно выразить при помощи символов. Выявим структуру (логическую форму) трёх следующих суждений: „Все караси - рыбы”, “Все бабочки - насекомые”. Содержание у них разное, а форма одна и та же: “Все S суть P”; она включает S (субъект), т.е. понятие о предмете суждения, P (предикат), т.е. понятие о признаке предмета, связку (“есть”, “суть”), кванторное слово (“все”). Иногда связка может отсутствовать или заменяться на тире.

Два следующих условных суждения имеют одну и ту же форму:

1) “Если железо нагревать, то оно расширяется”;

2) “Если учащийся изучает логику, то он повышает чёткость своего мышления”. Форма этих суждений такая: “Если S есть P, то S есть P1”;

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

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

Основными формально-логическими законами обычно считаются:

1) Закон тождества;

2) Закон непротиворечия;

3) Закон исключенного третьего;

4) Закон достаточного.

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

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

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

Первое задание. Законы непротиворечия

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

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

Древнегреческий философ и учёный Аристотель считал “самым достоверным из всех начал” следующее: „… Невозможно, чтобы одно и то же в одно и то же время было и не было присуще одному и то же в одном и том же отношении”. Эта формулировка указывает на необходимость для человека не допускать в своём мышлении и речи формально-противоречивые высказывания, в противном случае его мышление будет неправильным.

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

Не могут быть одновременно истинными следующие четыре типа простых суждений:

1) “Данное S есть P” и “Данное S не есть P”.

2) “Ни одно S не есть P” и “Все S есть P”.

3) “Все S есть P” и “Некоторые S не есть P”.

4) “Ни одно S не есть P” и “Некоторые S есть P”.

При этом вторая пара суждений такова, что оба суждения могут быть ложными, например: “Ни один студент не является спортсменом” и “Все студенты являются спортсменами”.

Чаще всего встречается определение формально-логического противоречия как конъюнкции суждения и его отрицания (a и не - а). Но логическое противоречие может быть выражено и без отрицания: оно имеет место между несовместимым и утвердительными суждениями.

Закон непротиворечия не действует в логике “размытых” множеств, ибо в ней к “размытым” множествам и “размытым” алгоризмам можно одновременно применять утверждение и отрицание (например: “Этот мужчина пожилой” и ”Этот мужчина ещё не является пожилым”, ибо понятие “пожилой мужчина” является “нечетким” понятием, не имеющим чётко очерченного объёма).

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

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

Закон непротиворечия читается так: „Два противоположных суждения не могут быть истинными в одно и то же время и в одном и том же отношении”. К противоположным суждения относятся:

1) противные (контрарные) суждения А и Е, которые оба могут быть ложными, поэтому не является отрицающими друг друга, и их нельзя обозначить как а и а;

2) противоречащие (контрадикторные) суждения А и О, Е и I, а так же единичные суждения “Это S есть P” и “Это S не есть P”, которые являются отрицающими, так как есть из них истинно, то другое обязательно ложно, поэтому их обозначают а и а.

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

Если в мышлении (и речи) человека обнаружено формально-логическое противоречие, то такое мышление считается неправильным, а суждение, из которого вытекает противоречие, отрицается и считается ложным. Поэтому в полемике при опровержения мнения оппонента широко используется метод “приведения к абсурду”.

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

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

Второе задание

1) Все астры - цветы

Все цветы - растения

Все растения - дышат

Все астры - дышат

2) Алла сестра - Светы

Света сестра - Вали

Валя сестра - Аллы

Значит все девочки сёстры.

3) Все студенты изучают логику

Петров и Иванов - студенты

Значит Петров и Иванов - изучают логику

Третье задание

В ряде случаев используются приемы, заменяющие определение: сравнение, описание, характеристика.

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

Задача описания состоит в том, чтобы наиболее точно и полно указать признаки предмета (лица, события, места, где оно произошло и т.д.). Характеристика состоит в указании отличительных характерных признаков единичного предмета (лица, события и т.д.).

В этом тексте употребляются два приёма: описания, характеристика.

1) Описание

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

2) Характеристика

В тексте употребляются отличительные признаки “знания света” - любезно обходится с дамами, молчать о своих добрых качествах не злословить…

Четвертое задание. Простой категорический силлогизм

Силлогизм - это вид дедуктивного умозаключения, построенного из двух истинных категорических суждений, в которых S и P связаны средним термином. Это рассуждение, состоящее из трёх простых атрибутивных высказываний: двух посылок и одного заключения. Посылки силлогизма разделяются на большую (которая содержит предикат заключения) и меньшую (которая содержит субъект заключения). По положению среднего термина силлогизмы делятся на фигуры, а последние по логической форме посылок и заключения -- на модусы.

Примеры:

1) Все жидкости (М) теплопроводны (Р).

Вода(S)-жидкость (М).

Вода (S) - теплопроводна (Р)

2) Все ужи (Р) - пресмыкающиеся (М).

Это животное (S) не является пресмыкающимся (М)

Это животное (S) не является ужом (P)

3) Все углероды (М) - простые тела (Р).

Все углероды (М) - электропроводны (S)

Некоторые электропроводники (S)- простые тела (Р).

4) Все киты (Р) - млекопитающие (М).

Ни одно млекопитающее (М) ни есть рыба (S)

Ни одна рыба (S) не есть кит (Р).

По качеству и количеству различают четыре вида простых атрибутивных высказываний:

A -- от лат. Affirmo -- Общеутвердительные («Все люди смертны»)

I -- от лат. Affirmo -- Частно-утвердительные («Некоторые люди -- студенты»)

E -- от лат. Nego -- Общеотрицательные («Ни один из китов не рыба»)

O -- от лат. Nego -- Частно-отрицательные («Некоторые люди не являются студентами»).

* Модусы первой фигуры: AAA, AII, EAE, EIO.

* Модусы второй фигуры: AEE, AOO, EAE, EIO.

* Модусы третьей фигуры: AII, OAO, IAI, EAO, EIO, AAI.

* Модусы четвертой фигуры: AAI, IAI, EAO, EIO, AEE.

Примеры силлогизмов имеющих модусы:

AII - Фигура 3

А - Все хищные животные питаются мясом.

I - Некоторые домашние животные суть хищные животные.

I - Некоторые домашние животные питаются мясом.

EAE - Фигура 2

Е - Ни один справедливый человек не завистлив.

А - Всякий честолюбивый завистлив.,

E - Ни один честолюбивый человек не есть справедлив.

AEE - Фигура 2

А - Преступники действуют из злого намерения.

Е - N. не действовал из злого намерения.

Е - N не есть преступник.

AOO - Фигура 2

A - Все истинно моральные действия совершаются из правильных мотивов.

O - Некоторые действия, благодетельные для других, нe совершаются из таких мотивов.

О - Некоторые благодетельные для других действия не суть истинно моральные.

IAI - Фигура 3

I - Некоторые романы поучительны.

А - Все романы суть вымышленные рассказы.

I - Некоторые вымышленные рассказы поучительны.

EAO - Фигура 3

E - Ртуть не тверда.

А - Ртуть есть металл.

О - Некоторые металлы не тверды.

Пятое задание

Условным называется сложное суждение, полученное из простых суждений при посредстве логического союза «Если... то ...».

Формула условного (импликативного) суждения:

Если а, то b; составляющая а называется основанием (или антедентом), составляющая b - следствием (или консеквентом).

Импликативную связь обозначим знаком ; импликативное высказывание: а b.

В нашем примере: Антедент «изучал А». Консеквент «изучал и В». Импликативное высказывание: изучал А изучал В.

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

Истинность первого суждения (антецедента) достаточна для признания истинности второго суждения (консеквента).

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

При отрицании импликативного суждения: (аb) (не-аvb).

И первому, и второму суждению одновременно отвечают следующие варианты решения задачи:

1) А и В изучали логику, С не изучал.

В данном случае высказывание «изучал А изучал В» истинно, высказывание «Неверно, что если изучал С, то изучал и В» не влияет, так как «изучал С» ложно.

2) А и В не изучали логику, С - изучал.

В данном случае «изучал А» ложно и высказывание «изучал А изучал В» не влияет, а отрицание «Неверно, что если изучал С, то изучал и В» выполняется.

3) А, В и С - никто не изучал логику.

В данном случае основания обеих суждений «изучал А» и «изучал С» ложны и поэтому не влияют на решение задачи.

Шестое задание

1. Не доказано.

2. Не доказано.

3. Не доказано.

4. Доказано.

Небесные тела - планеты

Земля имеет большую массу

Значит земля - планета.

5. Доказано

Земля - планета

Планеты движутся

Значит земля движется.

Список литературы

1) Никифоров В., проф. Логика: курс - конспект лекций и контрольные задания. - Рига, 2004 г.

2) Берков В. Ф. Логика: Задачи и упражнения, практикум: Учебн. пособие. - М.: ТетраСистема, 1997 г.

3) Бочаров В. А., Маркин В. И. Основа логики. - М., 1997 г.

4) Ивин А. А. Логика. - М.: Гардарики, 1999 г.

5) Упражнения по логике: Учеб. пособие/ Башилов Т. А., Орлов Г. А., Фокина Н. И. и др.; Под ред. Кириллова В. И. - М.: Высш. шк., 1990 г.

6) www.vuzlib.net/beta3/html/1/23002/23017

7) www.i-u.ru/biblio/archive/chelpanov_ul/ec14.aspx

8) www.websib.ru/fio/works/094/group4/4u05.htm

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


Подобные документы

  • Ощущение, восприятие и представление как формы чувственного познания. Особенности и законы абстрактного мышления, взаимосвязь его форм: понятия, суждения и умозаключения. Основные функции и состав языка, специфика языка логики. История логики как науки.

    контрольная работа [30,3 K], добавлен 14.05.2011

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

    курс лекций [160,1 K], добавлен 12.10.2009

  • Логическая характеристика понятий, отношения между ними, выражение с помощью круговых схем. Распределённость терминов при переходе от одного термина к другому. Основные законы логики. Непосредственные умозаключения и дедуктивные выводы из посылок.

    контрольная работа [50,6 K], добавлен 01.07.2009

  • Формальная логика как наука о законах и формах правильного мышления. Выражение с помощью символов структуры и формы мысли. Характеристика формально-логических законов логики, их функционирование в мышлении в качестве принципов правильного рассуждения.

    контрольная работа [86,1 K], добавлен 01.06.2012

  • Причины возникновения и этапы развития науки логики. Аристотель как основоположник формальной логики. Дедуктивный метод Декарта. Процедуры противопоставления предикату, противопоставления субъекту. Умозаключения, соответствующие 1 и 2 фигурам силлогизма.

    контрольная работа [88,7 K], добавлен 23.06.2017

  • С чего началась наука логика. Формирование логики как самостоятельной науки. Внутренняя структура человеческого мышления. Законы и правила логики. Двухчленные и трехчленные суждения. Закон противоречия с логических позиций. Основные элементы силлогизма.

    контрольная работа [22,4 K], добавлен 26.03.2011

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

    контрольная работа [125,1 K], добавлен 29.08.2012

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

    презентация [332,1 K], добавлен 14.10.2013

  • Исследование внутренней структуры элементарных суждений. Логический квадрат. Непосредственные умозаключения. Категорический силлогизм. Сущности полисиллогизмов, энтимем. Характеристика логики общения и спора. Отличительные черты соритов и эпихейрем.

    реферат [118,0 K], добавлен 13.08.2010

  • Формальная логика: понятие, значение, законы. Зарождение и содержание диалектической логики. Главные особенности принципа рассмотрения предмета в его развитии, изменении. Сущность диалектического отрицания, восхождения от абстрактного к конкретному.

    контрольная работа [34,1 K], добавлен 06.11.2013

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.