Логика. Закон непротиворечия. Закон непротиворечия гласит два суждения, из которых в одном утверждается нечто о предмете мысли А есть В
 Скачать 133.59 Kb.
|
|
Билет 1. 1.Осн.этапы развития форм.логики. Формальная логика в своем развитии прошла два основных этапа. Начало первого этапа связанно с работами древнегреческого философа и ученого Аристотеля (384-322 гг. до н.э.), в которых впервые дано систематическое изложение логики. Логику Аристотеля и всю доматематическую логику называют «традиционной» или формальной логикой. Традиционная формальная логика. Включает в себя такие разделы и понятия как суждение, умозаключение, законы логики, доказательство и опровержение, гипотеза. Основными работами Аристотеля по логике являются «Первая аналитика» и «Вторая аналитика», в которых дана теория силлогизма, определение и деление понятий, доказательство.Аристотель ввел в логике орудие или (метод исследования). Основным содержанием его логики является теория дедукции, содержатся элементы математической (символической), логики, имеются «начатки исчисления высказываний».Второй этап – появление математической логики.Немецкий философ Г.В. Лейбниц(1646 1716) по праву считается основоположником математической логики. Лейбниц пытался построить универсальный язык, с помощью которого споры между людьми можно было бы разрешить с помощью вычисления. В 19 в. Математическая логика получила интенсивное развитие в работах Д. Буля, Э. Шредера, П. С. Порецкого и других логиков.Математическая или символическая логика изучает логические связи и отношения, лежащие в основе дедуктивного (логического) вывода. При этом в математической логике для выявления структуры вывода строятся различные логические исчисления, прежде всего исчисление высказываний и исчисление придатков в их различных модификациях. Можно сказать, что математическая логика разрабатывает применение математических методов к анализу форм и законов доказательного рассуждения. 2.Закон непротиворечия. Закон непротиворечия гласит: два суждения, из которых в одном утверждается нечто о предмете мысли («А есть В»), а в другом то же самое отрицается об этом же предмете мысли («А не есть В»), не могут быть одновременно истинными, если при этом признак В утверждается или отрицается о предмете мысли А, рассматриваемом в одно и то же время и в одном и том же отношении.Например, суждения «Данная река – приток Волги» и «Данная река не является притоком Волги» не могут быть одновременно истинными, если эти суждения относятся к одной и той же реке.Противоречия не будет, если мы что-либо утверждаем и то же самое отрицаем относительно одного и того же лица, которое, однако, рассматривается в разное время.Так, суждения «Данный человек – футболист» и «Данный человек – не футболист» могут быть одновременно истинными, если в первом из них имеется в виду одно время (когда данный человек действительно был футболистом), а во втором – другое (когда он перестал играть в футбол).Предмет нашей мысли мы можем рассматривать в разном отношении. Так, об учащемся Иванове мы можем сказать, что он хорошо знает английский язык, так как его знания удовлетворяют требованиям школы. Однако этих знаний может быть недостаточно, чтобы работать переводчиком. Закон непротиворечия действует в отношении всех противоположных, противных (контрарных) и противоречащих (контрадикторных) суждений.Закон непротиворечия указывает на то, что из двух противоположных суждений одно необходимо ложно. Но поскольку он распространяется и на противные, и на противоречащие суждения, вопрос о втором суждении остается открытым: оно не может быть как истинным, так и ложным. Билет 2. 1.Категорические суждения. Категорические суждения могут быть утвердительными и отрицательными. Например, суждения «Луна — спутник Земли» и «Великобритания — островное государство» являются утвердительным. Суждения же «Ни одна столица не является деревней» или«Некоторые вина не французские» являются отрицательными. Утвердительное категорическое суждение обладает свойством определять признаки, присущие тому или иному предмету. Это делает такое суждение более удобным при отражении того или иного предмета, ведь так его свойства выделяются более полно. Это значит, что человеку, составляющему представление о предмете на основе утвердительного суждения, достаточно просто выделить его из массы других однородных (и, соответственно, неоднородных) предметов. Отрицательное категорическое суждение не обладает свойствами утвердительного. В плане отражения свойств предмета эти два вида противоположны. Так, отрицательное суждение не говорит о наличии у предмета того или иного свойства, а дает нам представление о том, какого свойства у этого предмета нет. Таким образом, зачастую получается достаточно размытая картина. Зная только то, каким свойством не обладает предмет, весьма сложно судить о его природе. То есть выделить предмет из других гораздо проще, зная, какими свойствами он обладает, чем наоборот. Конечно, и отрицательное суждение может служить целям отражения определенного предмета, но чаще служит все же для уточнения. 2.Аргументация. Аргументация представляет собой речевое действие, включающее систему утверждений, предназначенных для оправдания или опровержения какого-то мнения. Она обращена в первую очередь к разуму человека, который способен, рассудив, принять или отвергнуть это мнение.Огромную роль в теории аргументации принадлежит способам установления объективной истины и достижению достоверного знания или устранению ошибочного. аргументация является субъект - субъектным взаимодействием и обязательными участниками, или субъектами, аргументативного процесса являются: пропонент, оппонент и аудитория.1.Пропонентом (S1) называют участника, выдвигающего и отстаивающего определенное положение. Без пропоненга нет аргументативного процесса, поскольку спорные вопросы не возникают сами. 2.Оппонентом (S2) называют участника, выражающего несогласие с позицией пропонента.3.Аудитория (S3) — это третий, коллективный субъект аргументативного процесса, поскольку как пропонент, так и оппонент видят главную цель обсуждения не только и не столько в переубеждении друг друга, сколько в завоевании на свою сторону аудитории. Структура аргументации:Аргументация включает три взаимосвязанных элемента: тезис, аргументы, демонстрацию. Тезис — это выдвинутое пропонентом суждение, которое он обосновывает в процессе аргументации. Тезис является главным структурным элементом аргументации и отвечает на вопрос: Что обосновывают? Что доказывается? 2. Аргументы, или доводы, — это исходные теоретические или фактические положения, с помощью которых обосновывают тезис. Они выполняют роль основания, или логического фундамента аргументации, и отвечают на вопрос: чем, с помощью чего ведется обоснование тезиса? Они обязательно должны быть истинными. 3. Демонстрация — это логическая связь между аргументами к тезисом. В общем виде она представляет собой одну из форм условной зависимости. Аргументы (a1, a2,.... an) являются логическими основаниями, а тезис (Т) является их логическим следствием:(a1 Ù a2 Ù,…Ù an) → Т Билет 3. 1.Понятие логической формы. Формальная логика, отделяет правильные способы рассуждения от неправильных и систематизирует первые. Своеобразие формальной логики связано прежде всего с ее основным принципом, в соответствии с которым правильность рассуждения зависит только от логической формы этого рассуждения. Самым общим образом форму рассуждения можно определить как способ связи входящих в это рассуждение содержательных частей. Логическая форма конкретной мысли - это строение этой мысли, т.е. способ связи ее составных элементов. Логическая форма есть не составная часть мыслимого содержания, а лишь способ, посредством которого составные части содержания связываются в мысли между собой.Наиболее широкими и общими формами мышления, которые исследует логика, являются понятие, суждение, умозаключение, доказательство и др.Смысл понятия логической формы лучше всего раскрыть на примерах. Сравним два высказывания:1.Все вороны - птицы.2.Все шахматисты - гроссмейстеры.По содержанию они совершенно различны, к тому же первое из них является истинным, а второе ложным.получим в обоих случаях одно и то же. Все S есть P.Из нее мы узнаем, что у всякого предмета, обозначаемого буквой S, есть признак, обозначаемый буквой P.Таким образом, для выявления формы надо отвлечься от содержания мысли, заменить содержательные ее части какими-нибудь пробелами или буквами. Останется только связь этих частей. В обычном языке она выражается словами: «все…есть…», «некоторые…есть…», «если…, то…», «…или…» и т.п. 2.Виды доказательств. Доказательство — это логическая операция обоснования истинности утверждения с помощью фактов и связанных с ним суждений. С помощью совокупности логических приёмов истинность какого-либо суждения обосновывается исходя из других истинных суждений. Доказательство связано с убеждением, но не тождественно ему. Доказательства должны основываться на данных науки и общественно-исторической практики, убеждения же могут быть основаны, например, на религиозной вере в догматы церкви, на предрассудках, на видимости доказательности, основанной на различного рода софизмах. Виды доказательства: Доказательства по форме делятся на прямые и (косвенные).Прямое доказательство идет от рассмотрения аргументов к доказательству утверждаемого тезиса, то есть истинность доказательства непосредственно обосновывается аргументами. Широко используется прямое доказательство в статистических отчетах, в различного рода документах, в постановлениях. Непрямое (косвенное) доказательство — это доказательство, в котором истинность выдвинутого тезиса обосновывается путём доказательства ложности утверждаемого антитезиса. Оно применяется тогда, когда нет аргументов для прямого доказательства. Антитезис может быть выражен в одной из двух форм:1.Если тезис обозначить буквой а , то его отрицание (а) будет антитезисом, то есть противоречащим тезису суждением;2.Антитезисом для тезиса а в суждении а...в...с служат суждения в и с .В зависимости от этого различия в структуре антитезиса косвенные доказательства делятся на два вида – апагогическое (доказательство от «противного») и разделительное доказательство (методом исключения). Первое осуществляется путем установления ложности противоречащего тезису суждения. Этот метод часто используется в математике. Во втором антитезис является одним из членов разделительного суждения, в котором должны быть обязательно перечислены все возможные альтернативы, например: Преступление совершил либо А, либо Б, либо С. Доказано, что не совершали преступление ни А, ни Б. Следовательно преступление совершил С. Истинность тезиса устанавливается путем последовательного доказательства ложности всех членов разделительного суждения кроме одного. Билет 4. 1.Объединенная классификация категорических суждений. Любое суждение имеет и количественную и качественную характеристику. Поэтому в логике применяется объединенная классификация суждений по количеству и качеству, в соответствии с которой суждения делятся на общеутвердительные, общеотрицательные, частноутвердительные и частноотрицательные. Общеутвердительное суждение - это суждение, общее по количеству и утвердительное по качеству. Например: "Каждый, совершивший преступление (S), должен быть подвергнут справедливому наказанию (Р)". Схема общеутвердительного суждения “Все S суть Р”, где кванторное слово “все” характеризует количество, утвердительная связка “суть” - качество суждения. Общеотрицательное суждение - суждение, общее по количеству и отрицательное по качеству. Например: “Ни один невиновный (S) не должен быть привлечен к уголовной ответственности (Р)”. Схема общеотрицательного суждения “Ни одно S не есть Р”. Кванторное слово “ни одно” характеризует количество, отрицательная связка "не есть" - качество суждения. Частноутвердительное суждение - суждение, частное по количеству и утвердительное по качеству. Например: “Некоторые приговоры суда (S) являются обвинительными (Р)”. Схема этих суждений “Некоторые S суть Р”. Количество суждений характеризует кванторное слово “некоторые”, качество - утвердительная связка, выраженная словом “суть”.Частноотрицательное суждение - суждение, частное по количеству и отрицательное по качеству. Например: “Некоторые приговоры суда (S) не являются обвинительными (Р)”. Эти суждения имеют схему: “Некоторые S не суть Р”. Кванторное слово “некоторые” указывает на количество суждения, “не суть” - на его качество. 2.Экзистенциальные суждения. Суждения существования (экзистенциальные суждения)Когда мы говорим “параллельные прямые не пересекаются”, мы не утверждаем, что где-то существуют такие вещи (такое S), как параллельные прямые, мы просто устанавливаем известное отношение между S и P. Но в некоторых суждениях мы превращаем связку в предикат, чтобы особо отметить существование какого-либо S, например, “Солнце существует”. В этом случае мы утверждаем бытие или существование какого-либо логического субъекта. Такие суждения называются экзистенциальными, или суждениями существования.Экзистенциальные суждения или суждения существования.Существование – это особый признак, свойство предмета быть, находиться в реальности.Примеры: "Бог есть". "Есть на свете добрые люди". "Существуют инопланетяне". "Нет проблем". Билет 5. 1.Основные этапы познания. Особенности абстрактного мышления. Познание объекта – есть определение его относительных сравнительных характеристик (величин) и их причинно-следственных зависимостей (размерностей), формулирование понятия. Этапы процесса познания: ощущение, восприятие, представление. Ощущение -это отражение отдельных свойств предметов или явлений материального мира, непосредственно воздействующих на органы чувств (например, ощущения горького, соленого, теплого, красного, круглого, гладкого и т.д.). Каждый предмет имеет не одно, а множество свойств. В ощущениях и отражаются различные свойства предметов. Ощущения возникают в результате воздействия предметов на различные органы чувств - органы зрения, слуха, обоняния, осязания, вкуса. Если человек лишен одного или нескольких органов чувств (как, например, у слепоглухонемых), то остальные органы чувств значительно обостряются и частично восполняют функции недостающих. Восприятие есть целостное отражение внешнего материального предмета, непосредственно воздействующего на органы чувств (например, образы автобуса, пшеничного поля, электростанции, книги и т. д.). Восприятия слагаются из ощущений. Так, восприятие апельсина слагается из таких ощущений: шарообразный, оранжевый, сладкий, ароматный и др. Восприятия, хотя и являются чувственным образом в отражении предмета, который воздействует на человека в данный момент, но во многом зависят от прошлого опыта. Полнота, целенаправленность восприятия, например, зеленого луга, будет различной у ребенка, у взрослого, художника, биолога или крестьянина (художник восхитится его красотой, биолог увидит на нем виды некоторых лекарственных или нелекарственных растений, крестьянин прикинет, сколько же с него можно скосить травы, получить сена и т. д.). Представление - это чувственный образ предмета, в данный момент нами не воспринимаемого, но который ранее в той или иной форме воспринимался. Представление может быть воспроизводящим (например, у каждого есть сейчас образ своего дома, своего рабочего места, образы некоторых знакомых и родных людей, которых мы сейчас не видим). Представление может быть и творческим, в том числе фантастическим. Творческое представление у человека может возникнуть и по словесному описанию. Так, мы можем по описанию представить себе тундру или джунгли, хотя там не были ни разу, или полярное сияние, хотя не были на севере и не видели его. Путем чувственного отражения мы познаем явление, но не сущность, отражаем отдельные предметы во всей их наглядности. Законы мира, сущность предметов и явлений, общее в них мы познаем посредством абстрактного мышления - более сложной формы познания. Абстрактное, или рациональное, мышление отражает мир и его процессы глубже и полнее, чем чувственное познание. Переход от чувственного познания к абстрактному мышлению представляет собой скачок в процессе познания. Это скачок от познания фактов к познанию законов. Абстрактное мышление - это ступень процесса познания, который следует за чувственным познанием. Суть этого следования состоит в том, что абстрактное мышление оставляет хаотическую информацию о предмете, которую нам дают органы чувств. В этом смысле абстрагироваться - не значит отвлекаться от предмета: это значит отвлекаться от чувственного ступени познания, который выполнил свою функцию, зафиксировав данность предмета в совокупности чувственных образов и сигналов. Согласно этому становится понятным, что абстрактное мышление не отдаляет нас от предмета, а приближает к нему благодаря систематизации чувственной информации о предмете и выделению существенных связей, присущих природе предмета. Абстрактное мышление имеет присущие ему формы и подчиняется соответствующим законам. Формами абстрактного мышления являются понятия, суждения, умозаключения. Каждая мысль имеет форму и содержание. Содержанием мысли является то, о чем мы мыслим. А формой мысли способ связи структурных элементов или составных частей мысли. Особенностью формы мысли является то, что она независима, инвариантная от содержания мысли. Одна и та же форма может содержать разный смысл. В этой независимости является одновременно и преимущество и недостаток. Преимущество в том, что разнообразный смысл мы можем стандартизировать, а значит представлять его в виде системы. Недостатком является то, что при этом мы отодвигаем на задний план тонкости содержательных оттенков полученной информации. 2.Доказательство как логическая операция. Структура доказательства. Доказательство — это логическая операция обоснования истинности утверждения с помощью фактов и связанных с ним суждений. С помощью совокупности логических приёмов истинность какого-либо суждения обосновывается исходя из других истинных суждений. Доказательство связано с убеждением, но не тождественно ему. Доказательства должны основываться на данных науки и общественно-исторической практики, убеждения же могут быть основаны, например, на религиозной вере в догматы церкви, на предрассудках, на видимости доказательности, основанной на различного рода софизмах. Структура доказательства: Основу доказательства составляют следующие положения:1.Тезис — утверждение, истинность которого надо доказать.2.Аргументы и факты — это те истинные суждения, которыми пользуются при доказательстве тезиса.3.Демонстрация (форма доказательства) — способ обоснованной логической связи между утверждаемым тезисом и аргументами |