Специфика формальной логики
Доказательство как обоснование истинности некоторого утверждения с помощью других, истинных и связанных с ним утверждений, его структура и элементы, разновидности и отличительные особенности. Виды модальности суждений. Этапы развития формальной логики.
| Рубрика | Философия |
| Вид | контрольная работа |
| Язык | русский |
| Дата добавления | 03.01.2011 |
| Размер файла | 39,6 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Размещено на http://www.allbest.ru/
Размещено на http://www.allbest.ru/
1. Виды доказательств. Правила и ошибки в доказательстве
Доказательством называют обоснование истинности некоторого утверждения с помощью других, истинных и связанных с ним утверждений. Д - совокупность логич. приемов обоснования истинности тезиса.
Всякое доказательство включает в себя три элемента.
1. Тезис - утверждение, истинность которого обосновывается в процессе доказательства.
2. Аргументы (основания) - утверждения, с помощью которых обосновывается истинность тезиса.
3. Демонстрация (форма) доказательства - логическая связь аргументов с тезисом
Пример Д: «Здоровье нельзя купить, его можно только заработать своими собственными усилиями» (это тезис), Я веду здоровый образ жизни и занимаюсь спортом, не болею и прекрасно себя чувствую (аргументы).
Аргументы бывают: - удостоверенные един. факты (фактич. материал, статист. данные, научные данные.); - Определение как аргументы доказательства; Аксиомы - суждения, кот. принимаются в качестве аргументов без док-ва; - ранее доказанные законы науки и теоремы как аргументы Д - ранее доказанные законы в науках.
Доказательность - важное качество правильного мышления. Доказательство связано с аргументацией, но они не тождественны.
Аргументация - способ рассуждения, включающий доказательство и опровержение, в процессе которого создается убеждение в истинности тезиса и ложности антитезиса как у самого доказывающего, так и оппонентов; обосновывается целесообразное принятия тезиса с целью выработки активной жизненной позиции реализации определенных программ действий, вытекающих из доказываемого положения'. Понятие «аргументация» богаче по содержанию, чем понятие «доказательство»: целью доказательства является установление истинности тезиса, а целью аргументации еще и обоснование целесообразности принятия этого тезиса, пою его важного значения в данной жизненной ситуации и т.п. В теории аргументации «аргумент» также понимается шире, чем в теории доказательства, ибо в первой имеются в виду не только аргументы, подтверждающие истинность тезиса, но и аргументы, обосновывающие целесообразность его принятия, демонстрирующие его преимущества по сравнению с другими подобными утверждениями (предложениями). Аргументы в процессе аргументации гораздо разнообразнее, чем в процессе доказательства.
Доказательства по форме делятся на прямые и непрямые (косвенные). Прямое Д. идет от рассмотрения аргументов к доказательству тезиса, т.е. истинность тезиса непосредственно обосновывается аргументами. Схема этого доказательства такая: из данных аргументов (а, b, с,…) необходимо следует доказываемый тезис q. По этому типу проводятся доказательства в судебной практике, в науке, в полемике, в сочи нениях школьников, при изложении материала учителем и т.д. Широко используется прямое доказательство в статистических отчетах, в различного рода документах, в постановлениях, в художественной и другой литературе.
Непрямое (косвенное) Д. - это доказательство, в котором истинность выдвинутого тезиса обосновывается путем доказательства ложности антитезиса. Если тезис об значить буквой а, то его отрицание () будет антитезисом, т.е. противоречащим тезису суждением.
Апагогическое косвенное Д (или Д «от противного») осуществляется путем ycтановления ложности противоречащего тезису суждения. Этот метод часто используется в математике.
Пусть а - тезис или теорема, которую надо доказать. Предполагаем от противного, что а ложно, т.е. истинно не-а (или ). Из допущения выводим следствия, которые противоречат действительности или ранее доказанным теоремам. Имеем а, при этом - ложно, значит, истинно его отрицание, т.е. , которое по закону двузначной классической логики (>а) дает а. Значит, истинно а, что и требовалось доказать.
Следует заметить, что в конструктивной логике формула >а не является выводимой, поэтому в этой логике и в конструктивной математике ею пользоваться в доказательствах нельзя. Закон исключенного третьего здесь также «отвергается» является выводимой формулой), поэтому косвенные доказательства здесь не применяются. Примеров доказательства «от противного» очень много в школьном курсе математики. Так, пример, доказывается теорема о том, что из точки, лежащей вне прямой, на эту прямую можно опустить лишь один перпендикуляр. Методом «от противного» доказывается и следующая теорема: «Если две прямые перпендикулярны к одной и той же плоскости, то они параллельны». Доказательство этой теоремы начинается словами: «Предположим противное, т.е. что прямые АВ и CD не параллельны».
Разделительное Д (методом исключения). Антитезис является одним из членов разделительного суждения, в котором должны быть обязательно перечислены все возможные альтернативы, например:
Преступление мог совершить либо А, либо В, либо С.
Доказано, что не совершали преступление ни А, ни В.
Преступление совершил С.
Истинность тезиса устанавливается путем последовательного доказательства ложности всех членов разделительного суждения, кроме одного. Здесь применяется структура отрицающе-утверждающего модуса разделительно-категорического силлогизма. Заключение будет истинным, если в разделительном суждении предусмотрены все возможные случаи (альтернативы), т.е. если оно является закрытым (полным) дизъюнктивным суждением:
a b c d; ^ ^ ^
d
Как отмечалось ранее, в этом модусе союз «или» может употребляться и как строгая дизъюнкция (\/), и как нестрогая дизъюнкция (э), поэтому ему отвечает также схема:
a э b э c э d; ^ ^ ^
d
2. Виды модальности суждений
Модальность в логике - это характеристика по «силе» высказываемого в суждении утверждения.
Рассмотренные выше простые суждения и составленные из них сложные суждения получили название ассерторических (от лат. assertorius - утвердительный). В них утверждается или отрицается наличие определенных связей между объектом и его свойствами или констатируется отношение между двумя или более объектами. Но в этих суждениях не установлен характер связи (зависимости) между субъектом и предикатом или отдельными простыми суждениями. Дополнительная информация о характере такой связи между реальными явлениями, о логическом статусе суждений, об оценочных, временных и других характеристиках суждений дается в них с помощью операторов модальности, которые позволяют уточнить, является ли связь, установленная в ассерторическом суждении необходимой или случайной; хорошо ли, что такая связь установлена или это плохо; существовала ли она всегда или возникла только сейчас и т.д.
В качестве модальных операторов используются слова: возможно, невозможно, доказано, не доказано, хорошо, плохо, необходимо, случайно и др.
Различают простые и сложные модальные суждения.
Модальными простыми суждениями называют простые суждения, выражающие с помощью модальных операторов характер связи между субъектом и предикатом. Их структура имеет вид:
М (S есть Р) или М (S не есть Р),
где М - модальный оператор (в литературе употребляют и иные буквенные символы для конкретных модальных операторов, например: Р - проблематично, О - обязательно и др.). Например, «Доказано, что калий легче воды», «Невозможно, чтобы на Венере существовала жизнь».
Модальными сложными суждениями называют сложные суждения, выражающие с помощью модальных операторов характер связи между составляющими их простыми суждениями. Разновидности их структур могут быть представлены в следующем виде:
М (а ^ b); М (а v b); М (а > b); М (а b),
где а и b - простые суждения, а математические символы соответственно обозначают конъюнкцию, дизъюнкцию, импликацию и эквиваленцию, с помощью которых образуются сложные суждения. В каждом конкретном случае модальности в приведенных сложных модальных суждениях оператор М может быть заменен его соответствующими разновидностями. Примерами модальных сложных суждений могут быть следующие суждения: «Несомненно, что если пойдет дождь, то деревья в лесу станут мокрыми»; «Для усвоения нового материала хорошо, когда преподаватели при объяснении используют наглядные пособия и студенты внимательно их слушают» и др.
Модальные высказывания изучаются в модальной логике, в которой имеются следующие разделы: логика норм, логика времени, деонтическая (греч. deon - долг) логика, логика действия, логика принятия решения и другие логики.
Современной модальной логикой изучены многие виды модальностей. К важным видам модальности относятся алетическая, эпистемическая и деонтическая модальности.
Следует отметить, что необходимыми в содержательном смысле считают суждения, которые являются логическими законами, законами, выявленными различными собственными, общественными и техническими науками, а также все следствия, вытекающие из этих законов. Невозможными считают суждения, противоречащие этим иконам или их следствиям. Случайными считают суждения, не являющиеся законами или их следствиями, но и не противоречащие им. Возможными считают суждения, не противоречащие законам или их следствиям.
Эпистемическая (от греческого episteme - знание) модальность выражается операторами «доказуемо», «опровержимо», (образующими достоверные суждения) и «проблематично» (образующим проблематичное суждение). Они обозначаются следующим образом: V - доказуемо, F - опровержимо, Р - проблематично.
Деонтическая (от греческого deontos - то, что должно быть) модальность выражается с помощью операторов «обязательно», «запрещено» и «разрешено». Они имеют следующие обозначения: О - обязательно, F - запрещено, Р - разрешено. Подлежащее исполнению действие обозначают символом d, участников правоотношения обозначают буквами х, у, z и т.д.
Известны также: аксиологические (от греческого axios - ценный) модальности («хорошо, чтобы…»; «плохо, чтобы…»; «было бы здорово, если бы…»); временные модальности («всегда будет так, что…»; «иногда бывает так. что…»; «некоторое время назад было так, что…»); пространственные модальности («везде…», «нигде…», «справа…». «слева.», «дальше…», «ближе будет так, что…»); каузальные (причинные) модальности («причинно необходимо, что…»; «возможно, что…»; «действительно, что…»).
3. Виды неполной индукции
Индукция - умозаключение от знания меньшей степени общности к новому знанию большей степени общности (от частного к общему). Неполная индукция применяется в тех случаях, когда мы, во-первых, не можем рассмотреть все элементы интересующего нас класса явлений; во-вторых, если число объектов либо бесконечно, либо конечно, но достаточно велико; в-третьих, когда рассмотрение уничтожает объект (например: «Все деревья имеют корни»). Тогда мы рассматриваем не все случаи изучаемого явления, а заключение делаем для всех. Например, при нагревании мы наблюдаем расширение азота, кислорода, водорода и делаем заключение, что все газы при нагревании расширяются. Один из видов неполной индукции - научная индукция - имеет очень большое значение, так как позволяет формулировать общие суждения.
По способам обоснования заключения неполная индукция делится на следующие три вида.
Индукция через простое перечисление (популярная) На основании повторяемости одного и того же признака у ряда однородных предметов и отсутствия противоречащего случая делается общее заключение, что все предметы этого рода обладают этим признаком. Например, на основе этой индукции раньше считали, что все лебеди белые - до тех пор пока не встретили в Австралии черных лебедей. Эта индукция дает заключение вероятностное, но не достоверное.
Характерной и очень распространенной ошибкой является «поспешное обобщение». Например, когда, столкнувшись несколько раз с ошибками в свидетельских показаниях, говорят: «Все свидетели ошибаются», или ученику заявляют: «Ты ничего не знаешь по данному вопросу» и т.п.
На основе популярной индукции народ вывел немало полезных примет: ласточки низко летают - быть дождю; если закат солнца красный, то завтра будет ветреный день, и др.
Индукция через анализ и отбор фактов
В популярной индукции наблюдаемые объемы выбираются случайно, без всякой системы. В индукции через анализ и отбор фактов стремятся исключить случайность обобщений, так как изучаются планомерно отобранные, наиболее типичные предметы - разнообразные по времени, способу получения и существования и другим условиям. Так вычисляют среднюю урожайность поля, судят о всхожести семян, о качестве больших партий товаров, составе найденных полезных ископаемых. Например, при изучении качества рыбных консервов банки берутся из разных холодильников, выпущенные в разные сроки, различными заводами, из различных сортов рыбы.
Изучая свойства серебра, люди обнаружили, что серебро активирует кислород, уничтожающий бактерии. С помощью серебра очищают питьевую воду. Хирурги применяют серебросодержащие кремы при лечении ожогов и скрепляют кости цементом, который содержит бактерицидные соли серебра. Многим тысячам людей, пострадавшим от тяжелых ожогов, жизнь спасли, применив препараты, включающие серебро. Так, на основе индукции через отбор, планомерно изучая свойства серебра, люди сделали правильные заключения от возможности и необходимости применения серебра при лечении различных заболеваний.
4. Классификация понятий
Понятие - форма мышления фиксирующая существенные признаки вещей и явлений объективной и субъективной реальности
1. По объему
- единичные: его объем составляет одноэлементный класс; - общие: регистрирующие (дают ответ на? - где, когда, какого рода предмет) и не регистрирующие (открытые), - нулевые (пустые): его объем составляет пустое множество (н-р Кикимора болотная)
2. По содержанию:
- конкретное (дом, свидетель), - абстрактное (неравенство); - относительное (мыслятся предметы, сущ-ие одного из кот. п/п существование другого родители-дети) и - Безотносительные (нет четкой привязки м/у понятиями - человек); - положительные (х-ют в предмете наличие того или иного кач-ва - грамотный человек, беспечность) и - отрицательные (понятие в кот. Указ-ся на кач-во отсутствующее в предмете - неграмотный человек); - собирательные (мыслятся как единое целое - полк, стадо) и - несобирательные (игрушка, река, дом).
Дать полную логическую характеристику понятия - значит соотнести данное понятие с каждым из перечисленных видов понятий начиная с объема.
5. Возникновение и этапы развития формальной логики
логика доказательство формальный модальность
Первоначально Л. Зародилась и развивалась в недрах философии - единой науке, кот. объединяла всю совокупность знаний об объективном мире и самом человеке и его мышлении. Л. Имела в то t - онтологический х-р, т.е. отожд. Законы мышления с законами бытия.
В начале законы и формы прав. мышления изучались в рамках ораторского искусства - одного из ср=в воздействия на умы людей, убеждения их в целесообразности того или иного поведения. Так было в Древней Индии, Др. Китае, Др. Греции, Др. Риме, средневековой России. Но в иск-ве красноречия логический момент выступает еще как подчиненный, поскольку логич. Приемы служат не столько цели достижения истины, ск-ко цели убеждения аудитории. Развитие логич. науки на протяжении ряда столетий протекало по двум руслам, обособленным и не связанным м/у собой. Одно из этих течений начиналось в Др. Греции (Логика Аристотеля). На его основе развивалась логика в Др. Риме, затем Византии, Грузии, Армении, арабоязычных странах Ближнего Востока, Зап. Европе и России. Другое направление имело свои истоком индийскую логику, на основе кот. развивалась логика в Китае, Тибете, Монголии, Корее, Японии, Индонезии….
Формальная логика - наука о законах и формах правильного мышления. В.С. Меськов пишет: «…Предметом науки логики являются рассуждения, а сама она есть наука о рассуждениях. Задачей логики как науки является установление законов и правил, которым подчиняются рассуждения» '. Рассуждения облекаются в логическую форму и строятся в соответствии с логическими законами. «…Логические формы и законы не пустая оболочка, а отражение объективного мира»2. Выясним более детально, что понимается под логической формой и логическим законом.
Логика имеет долгую и богатую историю неразрывно связанную с историей развития общества в целом. Основные причины возникновения логики: 1 - зарождение и первоначальное развитие наук, прежде всего математики (6 в. до н.э. - Др. Греция). 2. - развитие ораторского искусства, в т.ч. судебного, кот. Расцвело в условиях древнегреческой демократии. Основатели логики - др. греч. философ и ученый-энциклопедист Аристотель, др. греч. философ и естествоиспытатель Демокрит (создатель всеобъемл. Философской системы, одни из создателей индуктивной логики, Л. строил на эмпирической основе).
Также следует отметить Сократа (проблема метода с помощью кот. м.б. получить истинное знание). Платон, ученик Сократа, - общие понятия Сократа превратил в абсолютные идеи, коот. Сущ-ют сами по чсебе, вне познающего субъекта и независимо от материального мира. Аристотелю принадлежит ряд трактатов по логике, в фокусе всех его логических размышлений - теория выводного знания - дедуктивных умозаключений и доказательства.
Как самостоятельная наука логика сложилась более двух тысяч лет назад, в IV в. до н.э. Ее основателем является древнегреческий философ Аристотель (348-322 гг. до н.э.). Аристотелевское учение о силлогизме составило основу одного из направлений современной математической логики - логики предикатов. Важным этапом в развитии учения Аристотеля явилась логика античных стоиков. Логика стоиков - основа другого направления математической логики - логики высказываний. - именем Галена названа 4-я фигура категорического силлогизма; сочинения Боэция которого длительное время служили основными логическими пособиями.
В индийской л. много внимания уделяется теории умозаключения, которое в ней отождествляется с доказательством.
В др. Китае большинство логических теорий было рассеяно по различным трактатам, посвященным вопросам политики, философии, этики и естествознания.
Логика развивалась и в средние века, теоретический поиск в логике развернулся гл. образом по проблеме истолкования природы общих понятий. Так называемые реалисты, продолжая идеалистическую линию Платона, считали, что общие понятия сущ-ют реально, вне и независимо от единичных вещей. Номиналисты напротив, считали что реально существуют только единичные предметы, а общие понятия - лишь имена, названия для них. Основные проблемы, кот. разрабатывались в Средневековье - проблемы модальной логики, выделяющих и исключающих суждений, теория логического следования, теория семантических парадоксов. Представители: Дунс Скот, Аль-Фараби, Жан Буридан.
В эпоху возрождения (15-16 вв), происходит усиление эмпирических тенденций в логике и методологии научного знания. Идет бурное развитие науки, делаются великие геогр. Открытия, наука сближается с практикой. Важнейшим этапом в ее развитии явилась теория индукции, разработанная английским философом Ф. Бэконом (1561-1626). Разработка индуктивного метода - огромная заслуга Бэкона, однако он неправомерно противопоставил его методу дедукции; в действительности эти методы не исключают, а дополняют друг друга. Бэкон разработал методы научной индукции, систематизированные впоследствии английским философом и логиком Дж.С. Миллем (1806-1873). Эту логику принято называть формальной, так как она возникла и развивалась как наука о формах мышления. Ее называют также традиционной, или аристотелевской логикой.
Дальнейшее развитие логики связано с именами таких выдающихся западноевропейских мыслителей, как Р. Декарт, Г. Лейбниц, И. Кант (знание выражается в форме суждения, различал 2 типа логики - обычную, формальную, кот. изуч. Формы понятия, суждения и умозаключения, отвлекаясь от их содержания, и трансцендентальную, кот. следует в формах мышления то, что сообщает знанию априорный характер и обусл. возможность всеобщих и необходимых истин), Гегель (критиковал Канта, Л. у Г. совпадает с диалектикой, разрабатывал проблемы диалектики мышления и деалектической логики) и др. Французский философ Р. Декарт (1569-1650) выступил с критикой средневековой схоластики, он развил идеи дедуктивной логики, сформулировал правила научного исследования, изложенные в сочинении «Правила для руководства ума». Г. Лейбниц (1646-1716), сформулировал закон достаточного основания, выдвинувший идею математической логики, которая получила развитие лишь в XIX-XX вв.; В России ряд оригинальных идей выдвинули М.В. Ломоносов (1711-1765) - вносит существенные изменения в традиц. силлогистику, предлагая свою классификацию умозаключений, отграничивает суждение от рамм. предложения, А.Н. Радищев (1749-1802) - одним из первых поставил проблему логического анализа отношений, кот. нет ни в Л. Аристотеля, ни в Л. средневековья., Н.Г. Чернышевский (1828-1889). Известны своими новаторскими идеями в теории умозаключений русские логики М.И. Каринский (1804-1917) - классификация умозаключений; и Л.В. Рутковский (1859-1920) - 2 категории выводов: выводы подлежащих: - традукция (выводы сходства, тождества, условной зависимости); индукция (полная и неполная), дедукция (гипотетическая и негипотетическая) и выводы сказуемых…. Одним из первых начал развивать логику отношений философ и логик С.И. Поварнин (1807-1952).
Во второй половине XIX в. в логике начинают широко применять разработанные в математике методы исчисления. Это направление разрабатывается в трудах Д. Буля, У.С. Джевонса, П.С. Порецкого, Г. Фреге, Ч. Пирса, Б. Теоретический анализ дедуктивных рассуждений методами исчисления с использованием формализованных языков получил название математической, или символической, логики.
6. Распределенность и нераспределенность термина
Так как простое категорическое суждение состоит из терминов S и Р, которые, являясь понятиями, могут рассматриваться со стороны объема, то любое отношение между S и Р в простых суждениях может быть изображено при помощи круговых схем Эйлера, отражающих отношения между понятиями. В суждениях термины S и Р могут быть либо распределены, либо не распределены. Термин считается «распределенным» если его объем полностью включается в объем другого термина или полностью исключается из него. Термин будет нераспределенным, если его частично включается в объем другого термина или частчно исключается из него. Распределенность терминов в суждениях можно иллюстрировать с помощью круговых схем Эйлера. Заштрихованная часть круга на характеризует распределенность (или нераспределенность) терминов.
Проанализируем четыре вида суждений: А, I, Е, О (мы рассматриваем типичные случаи).
Суждение А - общеутвердительное. Его структура: «Все S суть Р». Рассмотрим два случая.
1. В суждении «Все караси - рыбы» субъектом является понятие «карась», а предикатом - понятие «рыба». Квантор общности - «все». Субъект распределен, так как речь идет о всех карасях, т.е. его объем полностью включен в объем предиката. Предикат не распределен, так как в нем мыслится только часть рыб, которые совпадают с карасями; речь идет лишь о той части объема предиката, которая совпадает с объемом субъекта. Если объем Р больше (шире) объема S, то Р - не распределен.
2. В суждении «Все квадраты - равносторонние прямоугольники» термины такие: S - «квадрат», Р - «равносторонний прямоугольник» и квантор общности - «все». В этом суждении S распределен и Р распределен, ибо их объемы полностью совпадают (рис. 11)
Если S равен по объему Р, то Р распределен. Это бывает в определениях и в выделяющих общих суждениях.
Суждение I - частноутвердителъное. Его структура: «Некоторые S суть Р». Рассмотрим два случая.
1. В суждении «Некоторые подростки - филателисты» термины такие: S - «подросток», Р - «филателист», квантор существования - «некоторые». Субъект не распределен, так как в нем мыслится только часть подростков, т.е. объем субъекта лишь частично включается в объем предиката. Предикат тоже не распределен, так как он также лишь частично включен в объем субъекта (только некоторые филателисты являются подростками). Р распределен, если объем Р меньше объема S, что бывает в частных выделяющих суждениях.
Суждение Е - общеотрицательное. Его структура: «Ни одно S не суть Р. Например: «Ни один лев не есть травоядное животное». В нем термины такие: S - «лев», Р - «травоядное животное» и кванторное слово - «ни один». Здесь объем субъекта полностью исключается из объема предиката, и наоборот. Поэтому и S, и Р распределены.
Суждение О - частноотрицательное. Его структура: «Некоторые S не суть Р». Например: «Некоторые учащиеся не являются спортсменами». В нем такие термины: S - «учащийся», Р - «спортсмен» и квантор существования - «некоторые». Субъект не распределен, так как мыслится лишь часть учащихся, а предикат распределен, ибо в нем мыслятся все спортсмены, ни один из которых не включен в ту часть учащихся, которая мыслится в субъекте.
Итак, S распределен в общих суждениях и не распределен в частных; Р всегда распределен в отрицательных суждениях, в утвердительных же он распределен тогда, когда по объему Р ?= S.
Распределенность терминов в категорических суждениях можно выразить в виде схемы, где знаком «+» выражена распределенность термина, а знаком «-» его нераспределенность. В ней же дана объединенная информация о простых суждениях Без знания правил распределенности терминов в категорических суждениях отпадает один из способов проверки, правильно ли построен категорический силлогизм или сделано непосредственное умозаключение.
Размещено на Allbest.ru
Подобные документы
Возникновение и этапы развития традиционной формальной логики. Аристотель как основатель логики. Создание символической логики, виды логических исчислений, алгебра логики. Метод формализации. Становление диалектической логики, работы И. Канта, Г. Гегеля.
реферат [26,9 K], добавлен 19.01.2009Сущность логики, отражение закономерности движения мышления к истине. Понятие, суждение и умозаключение - основные типы логических форм. Отражение объективной реальности в законах логики. Отличительные признаки формальной и математической логики.
контрольная работа [18,1 K], добавлен 29.09.2010Особенности формальной логики. Диалектическая логика Г. Гегеля, ее развитие в работах русских философов. Законы диалектики. Функции диалектической логики в структуре марксистской философии. Сходство и отличия формальной и диалектической логики.
реферат [25,4 K], добавлен 19.01.2009Логика как самостоятельная наука. Предмет и значение логики. Теоретические проблемы логики. Основные этапы развития логики. Логика и мышление. Предмет формальной логики и ее особенности. Мышление и язык. Основные правила научного исследования.
курс лекций [29,4 K], добавлен 09.10.2008История возникновения и дальнейшего развития логики как науки, а также анализ ее современного значения и содержания. Особенности становления и сравнительная характеристика символической (математической), индуктивной, диалектической и формальной логики.
контрольная работа [33,4 K], добавлен 01.12.2010Доказательство – логическая операция по обоснованию истинности суждений с помощью других истинных суждений. Опровержение - вид доказательного процесса, направленного на уже существующие доказательства для того, чтобы показать их несостоятельность.
контрольная работа [23,2 K], добавлен 21.05.2008Причины возникновения и этапы развития науки логики. Аристотель как основоположник формальной логики. Дедуктивный метод Декарта. Процедуры противопоставления предикату, противопоставления субъекту. Умозаключения, соответствующие 1 и 2 фигурам силлогизма.
контрольная работа [88,7 K], добавлен 23.06.2017Предмет и значение логики. Мышление как логическая ступень познания. Субъект и предикат - главные элементы мысли. Соотношение логики формальной и диалектической. Социальное назначение и функции логики. Логические формы и правила соединения наших мыслей.
реферат [29,1 K], добавлен 31.10.2010Логика как наука о законах и формах рационального мышления. Основание логики древнегреческим философом Аристотелем. Формы человеческого мышления. Языковое выражение суждений, их виды. Посылки умозаключений. Основной принцип античной формальной логики.
презентация [675,1 K], добавлен 25.12.2011Сущность мышления в системе познания, способы взаимопонимания, логика объяснения. Предмет и семантические категории традиционной формальной логики. Этапы становления логики как науки. Простое суждение и его логический анализ. Основы теории аргументации.
курс лекций [138,4 K], добавлен 02.03.2011
