История возникновения науки «Логика. История формирования логики
Цель логики: обеспечить достижение истины. Формальная логика-наука о законах и формах правильного мышления, направленного на получение истины. Формальная логика изучает формы мышления-понятия, суждения, умозаключения со стороны их логической структуры, отвлекающие от их содержания. Основоположником формальной логики является Аристотель. Учение Аристотеля (384-322), философа и ученного-энциклопедиста, - особая форма объективного идеализма. Он первым из античных мыслителей стал отличать философское знание от конкретных наук и разделил философию на науку о сущем (или о первых началах и причинах) и философию, предметом которой являлась природа. В центре первой философии стояли проблемы бытия. Аристотель разработал учение о четырех первоначалах всего существующего. Этими первоначалами были: 1) материя, или пассивная возможность становления; 2) форма, с помощью которой реализуется потенциальная возможность, активное начало; 3) источник движения или творящее начало, перводвигатель; 4) цель, целевая причина всякой деятельности.
Познание у Аристотеля имеет своим предметом бытие. Основа опыта - в ощущениях, памяти и привычке. Любое знание начинается с ощущений: оно есть то, что способно принимать форму чувственно воспринимаемых предметов без их материи; разум же усматривает общее в единичном.
Однако с помощью одних только ощущений и восприятий приобрести научное знание нельзя, потому что все вещи имеют изменчивый и переходящий характер. Формами истинно научного знания являются понятия, постигающие сущность вещи.
Детально и глубоко разобрав теорию познания, Аристотель создал труд по логике, который сохраняет своё непреходящее значение и поныне. Здесь он разработал теорию мышления и его формы, понятия, суждения и умозаключения. Логику Аристотеля называют «традиционной» формальной логикой. Традиционная формальная логика включала и включает такие разделы, как понятие, суждение, законы (принципы) правильного мышления, умозаключения (дедуктивные, индуктивные, по аналогии), логические основы теории аргументации, гипотеза.
Задача понятия состоит в восхождении от простого чувственного восприятия к вершинам абстракции. Научное знание есть знание наиболее достоверное, логически доказуемое и необходимое.
Логика Аристотеля - это “мышление о мышлении”(
Если говорить кратко, то Аристотелевская логика изучает:
1) основные виды бытия, которые подпадают под отдельные понятия и определения;
2) соединения и разделения этих видов бытия, которые выражаются в суждении;
3) способы, которыми ум при посредстве рассуждений может перейти от истины известной к истине неизвестной.
В учении о познании и его видах Аристотель различал «диалектическое» и «аподиктическое» познание. Область первого - «мнение», получаемое из опыта, второго - достоверное знание. Хотя мнение и может получить весьма высокую степень вероятности по своему содержанию, опыт не является, по Аристотелю, последней инстанцией достоверности знания, ибо высшие принципы знания созерцаются умом непосредственно.
Отправным пунктом познания являются ощущения, получаемые в результате воздействия внешнего мира на органы чувств, без ощущений нет знаний. Отстаивая это теоретико-познавательное основное положение, «Аристотель вплотную подходит к материализму». Ощущения Аристотель правильно считал надежными, достоверными свидетельствами о вещах, но оговариваясь добавлял, что сами по себе ощущения обуславливают лишь первую и самую низшую ступень познания, а на высшую ступень человек поднимается благодаря обобщению в мышлении общественной практики.
Цель науки Аристотель видел в полном определении предмета, достигаемом только путем соединения дедукции и индукции:
1) знание о каждом отдельном свойстве должно быть приобретено из опыта;
2) убеждение в том, что это свойство - существенное, должно быть доказано умозаключением особой логической формы -категорическим силлогизмом.
Основной принцип силлогизма выражает связь между родом, видом и единичной вещью. Эти три термина понимались Аристотелем как отражение связи между следствием, причиной и носителем причины.
Система научных знаний не может быть сведена к единой системе понятий, ибо не существует такого понятия, которое могло бы быть предикатом всех других понятий: поэтому для Аристотеля оказалось необходимым указать все высшие роды, а именно категории, к которым сводятся остальные роды сущего.
Размышляя над категориями и оперируя ими в анализе философских проблем, Аристотель рассматривал и операции ума и его логику, и, в том числе, логику высказываний. Разрабатывал Аристотель и проблемы диалога , углубившие идеи Сократа.
Он сформулировал логические законы:
· закон тождества - понятие должно употребляться в одном и том же значении в ходе рассуждений; то есть неопределенностей не должно быть.
· закон противоречия - «не противоречь сам себе»; два суждения не должны противоречить друг другу.
· закон исключенного третьего - «А или не-А истинно, третьего не дано»; суждение либо является истинным, либо ложным, третьего не дано.
Для Аристотеля истина есть соответствие мысли действительности. Истинным он считал суждение, в котором понятия соединены между собой так, как связаны между собой вещи в природе. А ложным - суждение, которое соединяет то, что разъединено в природе, или разъединяет то, что связано в ней. Аристотель, опираясь на эту концепцию истины, создал свою логику. В «Аналитиках» Аристотель довольно основательно разрабатывает модальную логику и дает описание силлогизмов из гипотез.
Свою логику Аристотель изложил в книге «Органон». С помощью формальной логики можно правильно построить предложение, но содержание может быть неверным. Поэтому сущность бытия по Аристотелю помогает раскрыть учение о причинах бытия.
Аристотель разрабатывал учение о силлогизмах, в котором рассматриваются всевозможные виды умозаключений в процессе рассуждений.
8 .Философия религии. Религия как форма духовной деятельности.
Слово «религия» переводится с латинского как благочестие, святыня, предмет культа. Из этого следует, что здесь мы имеем дело с явлением, которое относится к чему-то высшему, святого, сверхчеловеческого в человеческой жизни. Это высшее, абсолютное, есть общее название Бога или Божества, хотя каждая отдельная религия имеет свои собственные имена этой высшей силы. Можно сказать, что не существует религии без Бога, то есть какого-либо представления о Боге, Бог есть начало и смысл любой религии.
Отметим, что религия, как и философия, является мировоззрением, правда, специфическим и одновременно включает в себя определенное поведение и действия, которые основываются на вере в существование нескольких (политеизм) или одного (монотеизм) богов, то есть такого начала, которое является «священным», сверхъестественным, недоступным пониманию человеческим разумом. «...Всякая религия, - отмечал Ф. Энгельс, - является не чем иным, как фантастическим отражением в головах людей тех внешних сил, которые господствуют над ними в их повседневной жизни, - отражением, в котором земные силы принимают форму неземных».
Религиозное мышление, по существу, стало первой формой осмысления человеком мира и, возможно, оно, согласно последним научным данным, возникло около 40 - 50 тысяч лет тому назад. Появление религии было обусловлено таким уровнем и качеством человеческого мышления, когда человеческий интеллект оказался способным отделить свою мысль (в виде образа, фетиша, слова) от окружавшей его реальной действительности. В дальнейшем, по мере своего развития, человек мог конструировать собственные представления об окружающей его среде,- опираясь не на предметы, вещи, явления, а оперируя продуктами умственной деятельности, то есть образами, фетишами, словами.
Помимо этого, религия является не только представлением о Боге, не только сознанием, это и реальная жизнь, действия людей - культ, богослужение, церковная организация, наконец, это формы и принципы организации общественной жизни, в той или иной степени основываются на религиозных основаниях. То есть религия - это соответствующее мировосприятие и определенная сфера жизни человека.
Бог является трансцендентным, т.е. потусторонним, таким, который не входит в пределы данного замкнутого круга сознания (имманентного). Поэтому человек не может открыть Бога, «увидеть его», познать так, как он может познать любое природное явление. Лишь сам Бог может открыться человеку, может перейти эту грань между трансцендентным и имманентным.
Теология и наука много веков ищут доказательства как за, так и против существования Бога. Но выводом этих поисков является то, что эти доказательства бесполезны. Они ничего не доказывают человеку, который не верит, и они не нужны человеку, который верует. Еще И. Кант считал, что существование Бога нельзя логически ни доказать, ни опровергнуть.
Кроме того, следует обозначить следующие функции религии :
Мировоззренческая - религия, по утверждениям верующих, наполняет их жизни неким особым значением и смыслом.
Компенсаторная, или утешительная, психотерапевтическая, также связана с её мировоззренческой функцией и обрядовой частью: суть её состоит в возможности религии возмещать, компенсировать человеку его зависимость от природных и социальных катаклизмов, удалять ощущения собственного бессилия, тяжёлые переживания личных неудач, обид и тяжести бытия, страх перед смертью.
Коммуникативная - общение верующих между собой, «общение» с богами, ангелами (духами), душами умерших, святыми, которые выступают как идеальные посредники в обыденной бытовой жизни и в общении между людьми. Общение осуществляется, в том числе, и в обрядовой деятельности.
Регулятивная - осознание индивидом содержания определённых ценностных установок и нравственных норм, которые вырабатываются в каждой религиозной традиции и выступают своеобразной программой поведения людей.
Интегративная - позволяет людям осознавать себя как единую религиозную общность, скреплённую общими ценностями и целями, даёт человеку возможность самоопределиться в общественной системе, в которой имеются такие же взгляды, ценности и верования.
Политическая - лидеры различных общностей и государств используют религию для объяснения своих действий, сплочения либо разделения людей по религиозной принадлежности в политических целях.
Культурная - религия воздействует на распространение культуры группы-носителя (письменность, иконопись, музыка, этикет, мораль, философия и т. п.)
Дезинтегрирующая - религия может быть использована для разъединения людей, для разжигания вражды и даже войн между разными религиями и вероисповеданиями, а также внутри самой религиозной группы. Дезинтегрирующее свойство религии зачастую распространяется последователями, своеобразно трактующими заповеди своей религии.
Философско-научное определение религии складывалось в процессе становления и развертывания рационалистической традиции в философии и формирования научного мировидения. Наука понимает религию, прежде всего, как сложное духовное образование, специфический способ духовной деятельности человека, форму общественного сознания. Понятие "религия" означает особый взгляд на мир, общество и человека, вытекающий из признания реального существования трансцендентного, сверхъестественного, определяющего существование мира и человека, основанного на вере и выраженного в вероучении, культе, принадлежности к религиозной группе или иной организационной структуре.
Философия определяет сложность религиозного феномена, рассматривая религию через категории, явления и сущности. Как явление религия представлена многоэлементным структурно-организованным феноменом. Основу религии, без которой она невозможна, составляет религиозный опыт . Научная характеристика религиозного опыта подразумевает, прежде всего, установление конститутивных его свойств, т. е. свойств, делающих религиозным и отличающих его от других видов человеческого опыта. Особенностью религиозного опыта является его рецептивный и пассивный характер. Религиозный опыт не воспринимается его субъектом как собственное порождение, его источник и содержание, по мнению верующего, находятся "вовне". Религиозный опыт это то, что "захватывает", "находит" человека, что нельзя отождествлять с сознательным волевым или познавательным усилием. Для субъектов опыта их опыт означает, что Бог суверенным образом являет свои бытие, присутствие и волю.
Этическое учение И.Канта.
Этика является одной из древнейших философских дисциплин, объектом изучения которой служат мораль, нравственность. С трехсотых годов до н. э., когда этику впервые обозначили как особую область исследования, до сегодняшних дней интерес к ее осмыслению не ослабевает. В разное время к проблемам этики обращались такие философы, как Аристотель, Спиноза, Кант, Маркс.
Среди философских трактатов по этике особенно выделяются труды И. Канта. Этика Канта во многих отношениях явилась вершиной философии морали нового времени. Среди классиков немецкой философии Кант уделил наибольшее внимание нравственности (причем именно ее специфике), и его этическая концепция, последовательно развитая в целом ряде специальных трудов, была наиболее разработанной, систематической и завершенной. Кант поставил целый ряд критических проблем, связанных с определением понятия нравственности. Одна из заслуг Канта состоит в том, что он отделил вопросы о существовании Бога, души, свободы - вопросы теоретического разума - от вопроса практического разума: что я должен делать? Практическая философия Канта оказала огромное воздействие на следующие за ним поколения философов (А. и В. Гумбольдты, А. Шопенгауэр, Ф. Шеллинг, Ф. Гельдерлин и др.).
Изучение этики Канта продолжает развиваться с 20-х годов. Существует много разнообразных оценок этики Канта. С точки зрения метафизики, наиболее ценными являются идеи Канта о свободе и об автономии этики.
Современные исследования кантовской этики являются попыткой дать новые способы ее переосмысления и новые подходы реконструкции критической этики. Критическая этика Канта своим исходным пунктом имеет осознание практики, в которой воплощается разумное поведение человека. Подобно тому как теоретическая философия выясняет вопрос о возможности истины и научного знания, вся практическая философия посвящена человеческой практике, причем рассмотрение соотношения действительной свободы и морального закона является одной из существенных проблем осмысления кантовской практической философии. По Канту, единство критической философии с кантовской философией морали следует искать в фундаментальном положении человека в мире и в понимании единства его и раздвигающего границы знания поведения. Действительно, моральное поведение требует не только осознания долженствования, но и практического выполнения долга.
Связь этики Канта с его теоретической философией, генезис его этических идей, становления его мысли в рамках учения о свободе и этике, долженствование (центральная категория его морали) - эти проблемы находятся в центре внимания при изучении его этической концепции.
Единственно, что изначально предопределено в человеке, - это его стремление к счастью; самые фундаментальные потребности и интересы людей в конечном счете сводятся к достижению блаженства. Но если даже эту фундаментальную природу человека можно отличить от наличной психологии людей и предписать человеку некий "истинный" интерес и стремление в отличие от его непосредственных, фактических склонностей и желаний, то все равно в этом случае мораль будет сведена к некоторому "разумному эгоизму". Если нравственность основывать на стремлении человека к счастью, то побуждение к действию, пусть даже правильному, будет обременено инородными, гетерономными, не свойственными самой морали мотивами - надеждой на достижение успеха, на обретение блаженства в этом или потустороннем мире, на вознаграждение добродетели, наконец, на получение внутреннего удовлетворения от сознания правильности своих поступков.
Мораль, как считает Кант, нельзя рассматривать лишь как способ достижения какого-то результата. При такой интерпретации нравственность превращается в чисто техническую, прагматическую задачу, в вопрос о благоразумии, умении и способности эффективно достигать поставленные цели. Такие принципы действия, конечно, имеют место в человеческой жизни; Кант называет их условными, гипотетическими императивами: если желаешь достичь такого-то результата, следует поступать так-то. Действительно, моральные требования к человеку нельзя свести к каким-то техническим предписаниям, которые указывают лишь то, как можно наиболее эффективно достигнуть преследуемую цель. Во-первых, далеко не каждая цель может быть признана нравственной; успешное действие может иметь и противоморальную направленность. Во-вторых, даже во имя благой цели могут быть применены средства, притом эффективные, кои могут быть аморальными. Таким образом, гипотетический императив, будучи руководством к действию технического порядка, еще ничего не говорит о нравственном характере действия. Целесообразность вовсе не всегда совпадает с требованием морали - вот какая проблема возникает в данном случае. Решение ее сводится к следующему: в жизни люди преследуют различные цели, но из этих - особенных, частных, "эмпирических" - целей еще невозможно вывести нравственность. Напротив, это нравственность признает правомерными одни и осуждает другие цели. Стало быть, не понятие цели обосновывает моральное долженствование, а наоборот, эмпирические цели могут быть обоснованы или отвергнуты с точки зрения морали.
Кант сторонник приоритета долженствования над ценностью в морали, в этом он видит специфику нравственности, кроме того, он первым в истории этики обратил внимание на всеобщий характер нравственных требований, на то, что они в своем обязующем значении распространяются на всех людей, в конечном счете на человечество в целом. Кант обращает особое внимание на то, что в морали человек должен сам осознавать необходимость определенных действий и сам понуждать себя к этому. Мораль не выводится Кантом из анализа человеческого бытия, истории, общества, а просто постулируется как нечто изначально данное разумом и как некое особое измерение мира. По Канту безусловно добрая воля, принципом которой должен быть категорический императив, неопределенная в отношении всех объектов, будет содержать в себе только форму воления вообще, и притом как автономию; это и есть единственный закон, не имеющий никакого другого содержания. Он считает, что из чисто формального закона в решении любой конкретной моральной проблемы всегда следует только один возможный вывод, предписание к действию, принцип.
Теснее всего нравственность у Канта сплетена с правом. Если какого-либо человека долг заставил сделать выбор не в пользу своего ближнего, то для Канта это служит свидетельством его нравственности. В действительности здесь проявляется лишь абстрактный гуманизм - ведь отнюдь не всегда это справедливо на самом деле, то есть отнюдь не всегда любовь к дальнему нравственнее любви к ближнему.
Традиционная логика - это наука о законах выводного знания. Основоположником ее является величайший мыслитель древности Аристотель (384- 322 до н. э.), которого К. Маркс и Ф. Энгельс называли «исполином мысли» .
Разрабатывая основы науки логики, Аристотель опирался на работы многих предшественников. Известно, что отдельные проблемы логики (индукция, суждение, понятие, определение понятия, правила доказательства и др.) рассматривались в работах греческих мыслителей V и VI вв. до н. э. Уже имелось большое количество работ по философии (Гераклита, Демокрита, Платона и др.), по истории (Геродота, Фукидида, Ксенофонта и др.), по медицине и естествознанию. Все это давало богатейший материал для разработки основных начал науки о логическом мышлении.
Традиционная логика - это первая ступень логики выводного значения, как бы арифметика логики. Она изучает общечеловеческие формы мысли (суждения и понятия) и формы связи мыслей в рассуждении (умозаключении), зафиксированные в формально-логических законах (тождества, противоречия, исключенного третьего и достаточного основания), в которых отобразились объективно существующие общие законы, связи и отношения предметов и явлений материальной действительности. Логические формы и законы есть отражение объективного мира.
Изучение логической формы имеет поэтому важное научное значение. Как и всякая форма, логическая форма есть внутренняя организация содержания, в данном случае организация в сознании человека мыслительных образов предмета и явлений материального мира.
Логическое содержание- это, по выражению К. Маркса, «материальное, пересаженное в человеческую голову и преобразованное в ней» , является динамической, подвижной стороной мыслительного процесса; оно меняется, обогащаясь в процессе практического взаимоотношения человека с окружающей его средой.
Логическая форма, в которой протекает идеальная деятельность общественного субъекта,- это система устойчивых связей суждения, понятий и категорий в ходе мыслительного процесса, в которых, повторяем, также отобразилась объективная действительность со стороны существующих в ней наиболее общих связей и отношений.
Практика человека, «миллиарды раз повторяясь, закрепляется в сознании человека фигурами логики. Фигуры эти имеют прочность предрассудка, аксиоматический характер именно (и только) в силу этого миллиардного повторения» .
Являясь отображением объективного мира, где форма и содержание даны в единстве, логическая форма и логическое содержание также находятся в единстве: в познающем мышлении логическое содержание оформлено в суждениях, понятиях и категориях, а суждения, понятия и категории наполнены содержанием. Но находясь в неразрывном единстве с содержанием, логическая форма, отобразив устойчивые связи и отношения предметов объективного мира, вычленилась из содержания, приняла устойчивые «параметры» и получила относительную самостоятельность. Это выражается уже в том, что в одной и той же форме (например) в форме дедукции, когда мыслительный процесс развивается в направлении от знания общего к знанию частного и единичного) может воплощаться и организоваться в самое различное идеальное содержание (дедуктивно можно сочетать суждения о физических, химических, биологических, социальных и других явлениях и процессах). И во всех случаях, если посылки правильны и к ним безошибочно применены требования дедуктивного умозаключения, то и вывод из посылок будет правильным.
Относительная самостоятельность логической формы выражается также в том, что логическая форма носит принудительный характер, заставляя сделать необходимый вывод из принятых посылок.
Принудительный характер имеет любая логическая форма. Таким образом, все логические формы имеют относительную самостоятельность и принудительный характер.
Значение логики и заключается в том, что она учит, как правильно по форме (структуре) построить рассуждение, чтобы, при условии верного применения формально-логических законов, прийти к истинному выводу из истинных посылок, расширяющему наши знания. Соблюдение требований логики - непременное условие последовательного, непротиворечивого, обоснованного мышления. Неудивительно, что со словом «логика» люди испокон веков привыкли связывать знание важных свойств объективной действительности: отображение в мысли последовательности событий, обоснованности одних явлений другими, причинной связи, системности, порядка и т. п. А. Эйнштейн однажды хорошо выразил это, сказав, что наука «стремится систематизировать наши переживания и уложить их в логическую систему» .
Логическое - это в представлении людей - что-то упорядоченное, само себе не противоречащее, что существует и развивается обоснованно, последовательно и т. д., то, в чем можно быть уверенным, на что можно положиться.
Логика, когда она применяется правильно, приобретает, известный характер критерия познания. Так, нельзя практически проверить, как вселенная сжимается и расширяется, но логически это доказано. «И вообще, в истории науки существовало много истин, которые практически не проверены, но логически доказаны и именно благодаря этому мы считаем, что они проверены... Если бы люди для каждой истины искали практическую проверку, наука и научное творчество замедлили бы свое развитие» . Правда, критерий логики - это критерий второго порядка, ибо критерием первого порядка является практика. Но это нисколько не умаляет значения логики как критерия истины там, где проверка практикой невозможна, и там, где можно обойтись в том или ином конкретном случае без проверки практикой. Дело в том, что в законах и формах логики, как мы уже сказали, зафиксирована практика, миллиарды раз наблюдавшаяся человеком.
Изучение формы (структуры) мыслей и символическое обозначение компонентов формы, начатое еще Аристотелем в IV в. до н. э., продолженное затем Г.В. Лейбницем, Дж. Локком, Дж. Булем, П. С. Порецким, У. С. Джевонсом, Э. Шредером, Г. Фреге, Дж. Пеано, Б. Расселом, Д. Гильбертом, А. Тарским, Я. Лукасевичем, А. Н. Колмогоровым, А. И. Мальцевым, А. А. Марковым, А. Чёрчем, С. Клини и другими математиками и логиками, открыло перспективнейший современный путь исследования материальных объектов, когда, отвлекаясь от внутренней изменчивости этих объектов и их вещественного субстрата, содержание изучаемого явления выражают с помощью относительно жестких, фиксированных элементов его формы. Это дало возможность заменять вывод какого-либо содержательного предложения выводом формулы, его выражающей. Мышление стало исследоваться с помощью формализованных языков (логических исчислений), а формализованные языки послужили основой для разработки информационных языков, которыми пользуются в вычислительных машинах. Формальная логика, как это признают не только специалисты в области исследования логики, но и ученые других отраслей науки, дает средства, позволяющие так записывать алгоритмы решения логических задач и процедуры принятия решений, что их выполнение можно доверить автоматическим ЭВМ .
Различают логику формальную и диалектическую. Основателем традиционной формальной логики является, как известно, Аристотель. Термин «диалектическая логика» был введен в науку немецким философом, объективным идеалистом Г. Гегелем (1770 - 1831), впервые на идеалистической основе изложил основные законы и принципы диалектической логики как учения об общем развитии абсолютного духа.
Диалектическая логика - высшая степень в развитии логической науки, но она не отменяет и не поглощает формальную логику, последнюю не следует рассматривать как пройденный этап.
Диалектическая логика, как и формальная, изучает мышление, но с другой стороны и другими методами. Формальная логика - это логика, изучающая структуру мышления, исследует законы строения нашего мнения. Она призвана дать ответ, какой должна быть структура мысли, чтобы она была истинной и правильно воспроизводила действительность. Диалектическая логика исследует то, как в абстрактном мышлении, познает истину, действуют общие законы диалектики. Диалектическая логика изучает природу логических форм, их познавательную суть, раскрывает связь форм и законов мышления с законами объективного мира. Формальная логика исследует структуру готовых, сложившихся логических форм, не интересуясь их генетическими связями и взаимопереход, диалектическая же логика изучает формы мышления в их связях, переходах, в развитии, движении.
Ограниченность формальной логики состоит в том, что соблюдение одних только его законов для познания недостаточно, а не в том, будто она применяется только для познания каких-то элементарных связей и отношений, а при исследовании сложных явлений и связей Ее законы будто не действуют. В процессе познания на ступени абстрактного мышления имеет место постоянное сочетание двух моментов - формального соблюдения в каждом акте мысли и диалектического направления мысли в целом. И формальная, и диалектическая логика действуют повсюду, при познании любых объектов, как простых, так и сложных, при познании как относительно неподвижных предметов, так и предметов, движущихся меняются.
Не существует какой-то особой области элементарных отношений, которые бы узнавались с помощью только формальной логики, а диалектическая логика в них была бы неприменима, как не существует и такой области познания, где мышление подлежит только законам диалектической логики и где необязательно соблюдения требований формальной логики. Там, где соблюдаются законы формальной логики, действительно диалектическое мышление становится невозможным, там диалектика подменяется софистикой и эклектикой. Формальная логика обеспечивает определенность, ясность, последовательность мышления, то, без чего мышление как логический процесс по существу невозможно.
Сложным является вопрос о соотносительность формальной и математической логики. Существуют различные точки зрения. Одни считают, что современной формальной логикой является математическая логика и одной из других (общая, традиционная, классическая), кроме математической, в наши дни не существует. Математическая логика, возникла из потребностей математики, как ветвь традиционной логики, вобрала все ценное, достигнутое последней, и является новым, высшим этапом развития формальной логики.
Другие исходят из того, что существует общая формальная логика и логика математическая, что это хоть и близкие, но разные науки и их нельзя отождествлять. Каждая из этих наук имеет свой предмет, свои задачи и методы. Сторонники этого взгляда считают, что математическая логика не охватывает всех проблем формальной логики, поэтому она не может быть сведенной к математической логики, подменена ней.
Некоторые ученые относят математическую логику к математике и считают ее логике в собственном смысле.
Большинство современных логиков признают первую точку зрения, считают, что формальной логикой на современном этапе развития логической науки является математическая (символическая) логика. Приведем высказывания по этому вопросу отдельных авторов. Б. Рассел, например, отмечает: "Основное положение... состоит в том, что математика и логика тождественны, и я никогда не видел ни одного повода к изменению этой точки зрения" 3.
Этой же точки зрения придерживается и Г. Клаус. Он отмечает, что "существует только одна логика, изъятие математической логики из состава формальной логики невозможно и любая такая попытка связана с полным отрицанием современной логики - все устойчивое, все ценное, имеющееся в традиционной логике, находит себе место в современной логике и именно с ее помощью может быть понят лучше и глубже "4.
Дж. Шенфильд, наоборот, считает, что "логика изучает те типы умозаключений, которыми пользуется математика" 6. Такой же точки зрения придерживается и Б. Мендельсон: "Глубокие и опустошительные результаты Гегеля, Тарского, Рассела, Клини и многих других были богатой наградой за вложенную труд и завоевали для математической логики положения независимой ветви математики". Подобного взгляда на математическую логику придерживается и Р. Л. Гудстеин: "Математическая логика имеет своей целью выражение и систематизацию логических процессов, которые употребляются в математическом рассуждении, а также разъяснения математических понятий. Сама она является ветвью математики, которая использует математическую символику и технику... "7. "Предметом логики как философской науки, - отмечает Б. Фогараши, - является не только математическое, а все человеческое мышление. Но логика имеет математические основы, а математика - логические" 8.
Мышление человека не сводится и не может быть сведено к математическому мышлению, а значит, и логика как наука о мышлении, не может быть сведена к математической логике.
Интересно знать:
А вот если вам нужна
Введение
С древних времен людей интересовали способы правильного построения и обоснования собственных мнений, они стремились к такой форме изложения своих убеждений, которая бы выглядела наиболее убедительно. В связи с этим естественно возникает потребность создать определен перечень правил, законов и норм, за которыми нужно строить собственные рассуждения.
Уже позже на основе данных законов возникнут многочисленные концепции, теории, будут основываться целые направления исследований. Таким образом и возникла такая наука как логика. Она прошла в своем развитии сложный путь от логики Аристотеля к современной неклассической логике, который охватывает часовой промежуток в 25 веков. При чем логика как наука за этот весомый промежуток времени успела значительно измениться. Именно поэтому целью данной работы изберем проследить развитие логики как науки с самых давних времен до наших дней. В этой связи возникает необходимость предоставить периодизацию развития логики как науки.
Определение логики
Слово «логика» употребляется нами довольно часто, но в разных значениях. Нередко говорят о логике событий, логике характера и т.д. В этих случаях имеется в виду определенная последовательность и взаимозависимость событий или поступков. «Быть может, он безумец, – говорит один из героев рассказа английского писателя Г.К. Честертона, – но в его безумии есть логика. Почти всегда в безумии есть логика. Именно это и сводит человека с ума». Здесь «логика» как раз означает наличие в мыслях определенной общей линии, от которой человек не в силах отойти.
Слово «логика» употребляется также в связи с процессами мышления. Так, мы говорим о логичном и нелогичном мышлении, имея в виду его определенность, последовательность, доказательность и т.п.
Кроме того, логика – особая наука о мышлении. Она возникла еще в IV в. до н.э. Позднее она стала называться также формальной логикой.
Самым общим образом логику можно определить как науку о законах и операциях правильного мышления.
Трудно найти более многогранное и сложное явление, чем человеческое мышление. Оно изучается многими науками, и логика – одна из них. Всякое движение нашей мысли, постигающей истину, добро и красоту, опирается на логические законы. Мы можем не осознавать их, но вынуждены всегда следовать им.
Традиционный период развития логики
Хотя большинство культур произвели собственные подходы относительно системы рассуждений, но логика получила свое развитие лишь в трех культурных традициях: китайской индийской и греческой. Хотя точные даты не будут достаточно достоверными (особенно в случае с Индией).
Как самостоятельная наука логика сложилась в IV в. до н.э. Ее основателем по праву считается древнегреческий философ Аристотель (384-322 гг до н.э.).
В своих научных трудах, посвященных логике, Аристотель впервые дал ее систематическое изложение и назвал “традиционной” формальной логикой. Традиционная формальная логика включала в то время такие разделы, как понятие, суждение, законы (принципы) правильного мышления, умозаключения (дедуктивные, индуктивные, по аналогии), логические основы теории аргументации, гипотеза. Основными работами Аристотеля по логике являются: “Первая аналитика” и “Вторая аналитика”, в которых дана теория силлогизмов, определение и деление понятий, теория доказательства; “Топика” –содержит учение о вероятных “диалектических” доказательствах; “Категории”, “Об опровержении софистических аргументов”, “Об истолковании”. Позже византийские логики объединили все перечисленные работы Аристотеля под общим названием “Органон” (орудие познания). Законы правильного мышления: закон тождества, закон непротиворечия, закон исключенного третьего – Аристотель изложил в своем главном произведении “Метафизика”. Законы мышления Аристотель рассматривал первоначально как законы бытия, а логические формы истинного мышления считал отображением реальных отношений. Для Аристотеля истина есть соответствие мысли действительности. Истинным он считал суждение, в котором понятия соединены между собой так, как связаны между собой вещи в природе. А ложным – суждение, которое соединяет то, что разъединено в природе, или разъединяет то, что связано в ней. Аристотель, опираясь на эту концепцию истинны, создал свою логику. В “Аналитиках” Аристотель довольно основательно разработал модальную логику . Аристотель видел в логике орудие, или метод исследования. Основным содержанием аристотелевской логики является теория дедукции . В логике Аристотеля содержаться элементы математической (символической) логики , в его работах прослеживаются начала исчисления высказываний, а его учение о силлогизме составило основу логики предикатов – одного из направлений современной математической логики.
Важным этапом в развитии учения Аристотеля явилась логика античных стоиков (Зенон, Хрисип и др.), именно она дополнила аристотелевскую теорию силлогизма описанием сложных умозаключений. Логика стоиков считается основой другого направления математической логики – логике высказываний. Среди других античных мыслителей, развивавших и комментирующих логическое учение Аристотеля, следует назвать Галена , именем которого названа 4-я фигура категорического силлогизма; Порфирия , известного разработанной им наглядной схемой, отображающей отношения подчинения между понятиями (“дерево Порфирия”); Боэция , сочинения которого дли- тельное время служили основными логическими пособиями.
Логика развивалась и в средние века, однако схоластика исказила учение Аристотеля, приспособив его для обоснования религиозной догматики.
Значительны успехи логической науки в Новое время. Важнейшим этапом в ее развитии явилась теория индукции, разработанная английским философом Ф. Бэконом (1561– гг.). Бэкон подверг критике извращенную средневековой схоластикой дедуктивную логику Аристотеля, которая, по его мнению, не может служить методом научных открытий. Таким методом должна быть индукция, принципы которой изложены в его сочинении “Новый Органон”(в отличие от старого, аристотелевского “Органона”). Разработка индуктивного метода – огромная заслуга Бэкона, однако он неправомерно противопоставил его методу дедукции; в действительности эти методы не исключают, а дополняют друг друга. Бэкон разработал методы научной индукции, систематизированные впоследствии английским философом и логиком Дж.С.Миллем (1806– 1873 гг.). Таким образом, основателями индуктивной логики по праву считаются Ф. Бэкон и Дж. Милль, позднее в рамках этой логической теории были построены многочисленные дедуктивные теории для исследования логической проблематики.
Дедуктивная логика Аристотеля и индуктивная логика Бэкона-Милля составили основу общеобразовательной дисциплины, которая в течение длительного времени была обязательным элементом европейской системы образования и составляет основу логического образования в настоящее время. Эту логику принято называть формальной , так как она возникла и развивалась как наука о формах мышления. Ее также называют традиционной (или аристотелевской ) логикой.
Дальнейшее развитие логики связано с именами таких выдающихся западно-европейских мыслителей, как Р. Декарт, Г. Лейбниц, И. Кант и др. Французский философ Р. Декарт (1569–1650гг.) выступил с критикой средневековой схоластики, он развил идеи дедуктивной логики , сформулировал правила научного исследования, изложенные в сочинении “Правила для руководства ума”. В 1662 г. в Париже вышла книга “Логика, или Искусство мыслить”, написанная последователями Декарта А. Арно и П. Николем , известная также под названием “Логика Пор-Рояля” (так как авторы были членами религиозной корпорации, обосновавшейся в монастыре Пор-Рояль). Эта книга оказала заметное влияние на всю последующую историю развития логики. Крупный вклад в исследование логических проблем внесли немецкий философ Г.Лейбниц (1646–1716 гг.), сформулировавший закон достаточного основания, выдвинувший идею математической логики, которая получила развитие лишь в XIX-XX вв.; немецкий философ И. Кант (1724– гг.) и др. западно-европейские философы и ученые.
Нужно отметить, что учитывая европейские традиции, в русле которых в основном развивалась логика в России, мы не останавливаемся здесь на формировании и развитии логических учений в странах Востока, где сложились оригинальные концепции таких мыслителей, как Ибн Сина (Авиценна), Ибн Рушд (Аверроэс) и др.
Значительны заслуги в развитии логики русских философов и ученых. Ряд оригинальных идей выдвинули М.В. Ломоносов (1711–1765 гг.), А.Н. Радищев (1749–1802 гг.), Н.Г. Чернышевский (1828–1889 гг.). Известны своими новаторскими идеями в теории умозаключений русские логики М.И. Каринский (1804–1917 гг.) и Л.В. Рутковский (1859–1920 гг.). Одним из первых начал развивать логику отношений философ и логик С.И.Поварнин (1807–1852 гг.). Во второй половине XIX в. подлинную революцию в логике совершило широкое применение разработанных в математике методов: алгебраических, аксиоматического метода, метода формализованных языков, исчислений и формальных семантик. Это направление разрабатывается в трудах Дж. Буля, У.С. Джевонса, П.С. Порецкого, Г. Фреге, Ч. Пирса, Б. Рассела, Я. Лукасевича и других математиков и логиков. Теоретический анализ-дедуктивных рассуждений методами исчисления с использованием формализованных языков получил название математической (или символической ) логики . Однако при всех новациях предмет логического анализа в основном оставался прежним.
Символическая логика – интенсивно развивающаяся область логических исследований, включающая множество разделов, или, как их принято называть, “логик” (например, логика высказываний, логика предикатов, вероятностная логика и так далее). Большое внимание уделяется разработке многозначной логики , в которой помимо принятых в традиционной логике двух значений истинности – “истинно” и “ложно” – допускается много значений истинности. Отметим, что в связи с двузначностью традиционной логики ее еще называют пропозициональной логикой. В разработанной польским логиком Я. Лукасевичем (1878– гг.) трехзначной логике вводится третье значение – “возможно” (“нейтрально”). Им же построена система модальной логики со значениями “возможно”, “невозможно”, “необходимо”и т.п., а также четырехзначная и бесконечнозначная логики . Перспективными являются такие разделы, как вероятностная логика , исследующая высказывания, принимающие множество степеней правдоподобия – от 0 до 1, временная логика и другие. Особое значение для правоведения имеет раздел модальной логики, получивший название деонтической логики , исследующий структуры языка предписаний, т.е. высказываний со значением “обязательно”, “разрешено”, “запрещено”, “безразлично”, которые широко используются в правотворческой и правоохранительной деятельности.
Исследование процессов рассуждения в системах символической логики оказало заметное влияние на дальнейшее развитие формальной логики в целом. Вместе с тем символическая логика не охватывает всех проблем традиционной формальной логики и не может полностью заменить ее. Это два направления, две ступени в развитии формальной логики. Особенность формальной логики состоит в том, что она рассматривает формы мышления, отвлекаясь от их возникновения, изменения, развития. Эту сторону мышления изучает диалектическая логика , впервые в развернутом виде представленная в объективно-идеалистической философской системе Гегеля (1770–1831) и с материалистических позиций переработанная в философии марксизма.
Диалектическая логика изучает законы развития человеческого мышления, а также методологические принципы и требования, которые формируются на их основе. К ним относятся объективность и всесторонность рассмотрения предмета, принцип историзма, раздвоение единого на противоположные стороны, восхождение от абстрактного к конкретному, принцип единства исторического и логического и др. Диалектическая логика служит методом познания диалектики объективного мира.
Логика формальная и логика диалектическая изучают один и тот же объект – человеческое мышление, но при этом каждая из них имеет свой предмет исследования. Это значит, что диалектическая логика не заменяет и не может заменить логику формальную. Это две науки о мышлении, они развиваются в тесном взаимодействии, которое отчетливо проявляется в практике научно-теоретического мышления, использующего в процессе познания как формально-логический аппарат, так и средства, разработанные диалектической логикой.
Формальная логика изучает формы мышления, выявляя структуру, общую для различных по содержанию мыслей. Рассматривая, например, понятие, она изучает не конкретное содержание различных понятий (это задача специальных наук), а понятие как форму мышления, независимо от того, какие именно предметы мыслятся в понятиях. Изучая суждение, логика отвлекается от их конкретного содержания, выявляя структуру, общую для различных по содержанию суждений. Формальная логика изучает законы, обусловливающие логическую правильность мышления, без соблюдения которой нельзя прийти к результатам, соответствующим действительности, познать истину. Мышление, не подчиняющееся требованиям формальной логики, не способно правильно отражать действительность. Поэтому изучения мышления, его законов и форм нужно начинать с формальной логики, где основным средством изучения выступает некоторый формальный язык, позволяющий своими средствами формализовать для исследований законы и формы мышления.
Развитие логики в Древнем Китае, Индии и Греции.
Коротко охарактеризуем о развитие логики в древние времена в Китае и Индом. В Китае бурное развитие логики исторически совпадает с появлением в стране большого количества школ, которые постоянно конкурировали и дискутировали между собой. Да современник Конфуция Мо-цзи стал известен как основатель школы моизма (мо-цзя), представители
этой школы концентрировали внимание на поиск истоков достоверных рассуждений и условий его верности. Относительно аргументации, то представители этой школы отдавали преимущество разработке
суждений по аналогии. Также моисти обращались к проблемам анализа семантики языка: в этой отрасли они разработали методы классификации имен за степенью их всеобщности, но делению вещей за видами. Правда, эта линия исследований обветшала во времена династии Цинь. Новым же возрождением логики в Китае стал период проникновения туда индийской
логика буддистов.
Логика в Индом можно проследить еще в грамматических текстах конца V века до н.э. Здесь, как и в Китае и Греции логика выделилась из философии. Две из 6 ведийских школ индийской философии начали разрабатывать проблематику методологического познание – именно тогда и выделилась логика, как отдельная наука. Позже это течение получила название ньяя что и переводится как «логика». Главным достижением этой
школы можно назвать разработка методологии логики. Основным текстом ньяя стали Ньяя-сутри Акшапади Гуатами (ІІ ст. н.э.). Единственным путем освобождения от страданий представители ньяя видели в достоянии надежного знания, и потому неудивительно, что они разрабатывали утонченные пути выделения надежных источников знания из между других недостоверных. Они определили следующие 4 источника надежных знаний (так звании праматерь): восприятие, умозаключение, сравнение и свидетельство. В логическую традицию водийских школ не включалась
буддийская логика, и именно она оказалась их самым главным оппонентом. Да, представитель буддийской логики Нагарджуа развивал суждение, которое известно как катускоти или тетралемма.
Но вершиной буддийская логика достигла своего пика в учениях Диангаги и его последователя Дхармакрити. Центральным пунктом их аналитических исследований стало определение необходимой логической исключительности, обоснования чего они ввели учение об эпохе или различение, о правилах включения признаков к определению и исключению
из него. Позже из этих теорий возникнет школа навья-ньяя.
Теперь стоит обстоятельно рассмотреть логику Давней Греции. Ее основателем считают древнегреческого философа, вченного-энциклопедиста Аристотеля, который выделял логику из между других наук, считал ее наукой, которая позволяет каждому получить определенные исследование любой проблемы, поскольку именно логика дает возможность определить что есть доведение, выделить его виды и степени. Метод этот широко известен нам как дедуктивный, хотя Аристотель называл его не иначе как «силогичним методом» поскольку доводил возможность построения любого доведения в виде рассуждения(то есть силлогизму). Именно исследованию силогизмив Аристотель посвятил свои логические труды. Аристотелевские учения о силогизми, собственно говоря, и составило основу для одного из направлений современной математической логики – логики предикатов. Наряду с Аристотилем проблемами логики интересовались также представители стоицизма и софистика. Среди стоиков стоит отдельно вспомнить Хрисиппа, которому принадлежит стоическая концепция логики. Основное внимание он уделял исследованию таких схем рассуждения благодаря которым высказывания связываются между собой. Это, например, такие слова естественного языка: “если. то”, “.и.”, “.або.” и тому подобное. В современных логических исследованиях они получили название “логические союзы”. Также среди ученых, которые продолжали разрабатывать идеи Аристотеля, стоит вспомнить такого философа и логика как Порфирий. Его одним достижением в отрасли логики можно считать разработки так называемого дерева Порфирия – схемы, которая демонстрировала отношение подчинения между понятиями. Но он известен не только этим, но и своим «Введением к учению Аристотеля о категории», которое и доныне предпосылают «Категориям» Аристотеля.
Достаточно интересно развитие логики можно найти в логике еще одного выдающегося греческого философа Платона. Да, именно им было подмечено, что «критерий основы» Протагора, который заключается в том, что суждение человека является мерой истины, является неверным поскольку основа суждения не имеет базироваться на субъективной воле человека, поскольку тогда придется признать верность явных противоречий, а потому любые суждения имеют быть обоснованными. Такие мнения философа стали одновременно и критикой софизма и базисом для «принципа не противоречия » Аристотеля. Школа софистов была первой, которая увлеклась воплощением возможностей реализовать идеи логики как науки. Эти философы были первыми, кто дифференцировал сферу природы и общества - “ф’юзис” и “номос”, определили общее поле логического мышления. Они также были первыми адвокатами, которые использовали логику на практике. Один из представителей софизма Стагирит определил понятие формальной логики, ее структуру, базовые законы, последующий вектор развития, которое определяет судьбу и место этой науки доныне. Невзирая на то, что после смерти мыслителя минуло много столетий, формальная логика хранит основные его идеи. Основное внимание софисты уделяли анализу логических ошибок в рассуждениях людей. Была даже распространена практика того, что они учили за деньги «искусству обмишуливать людей» - издания неправильной схемы рассуждения с нарушенными законами логики за правильную. Также софисты умело пользовались своими знаниями для того, чтобы выставить во время спора своего оппонента в невыгодном свете путем вопросов, ответ на которых все равно загонял бы человека в ловушку. Сегодня же софизмом называют такие логические ошибки, которые допускаются преднамеренно, для введения оппонента в заблуждение или для обоснования неверного утверждения.
Большое внимание уделяли софисты семиотическому анализу. Один из представителей школы софистики Продик считал «учение о языке» и правильном употреблении имен и названий достаточно важным.
Правда, софистов критиковали. Достаточно весомой была критика самого Аристотеля какой называл софизм «надуманным доказательством», в котором обоснованность вывода подчиняется исключительно субъективному впечатлению, которое визване недостаточностью или отсутствием логического си семантического анализа. А абсолютную на первый взгляд логичность софистов Аристотель связывал в первую очередь с хорошо замаскированной ошибкой – семиотической (за счет метафорического языка, омонимии, полисемии слов, которые нарушают однозначность мысли
и приводят к смещению значений сроков) или логической (подмена основной мысли доказательствами, принятие недостоверных посилив за истине, несоблюдение правил логического вывода, использования запрещенных правил: например, деление на нуль математическими софистами).
Достаточно оригинальными являются логические учения Востока, которые формировались под значительным влиянием на них религиозных верований. Но среди мыслителей этого региона можно отдельно выделить таких ученых, как Ибн Сена и Ибн Рудш. Они постоянно полемизировали, поскольку Ибн Рудш был сторонником «достоверного аристотелизму». Относительно рассуждений Ибн Сена, то здесь существует несколько трактовок. Да, согласно первой из них Ибн Сена доказывал, что логика была предшествует всем наукам, которые в свою очередь разделяются на теоретические, что должны обеспечить человеческое благосостояние, и науки практического направления. Согласно же второй трактовки его трудов он просто разделяет все науки на практических, но теоретические. Логика Ибн Сена состоит из четырех разделов: учение о понятии, суждение, умозаключение и доведение. Он рассматривал «логическое учение как средство достижения истины, как средство преодоления искривления и ошибок». Про Ибн Сену, «это инструмент какой сравнивает истину и ложь». При чем он был уверен, что «логические категории, но принципы должны отвечать вещам». Ибн Сена сыграл серьезную роль в распространении, но популяризации учения Аристотеля, в развитии рационального мышления. Он разрабатывал такую проблематику, как проблемы единичного и общего, логические ошибки, суждения. Последние он разделял на категорических, условно - объединительные и условно – распределительные. То есть, можно сделать вывод, что логическое учение Востока ничего не уступало в своей развитой ни Греции, ни Индии и Китая.
Стоит отдельно выделить также логику Гегеля или диалектическую логику. Основным предметом изучения ее, является возникновение, видоизменение и развитие форм мышление. Да, она изучает законы развития человеческого мышления, методологические принципы и требования, которые формируются на их основе. К ним относят объективность и все посторонняя предмета, который рассматривают, принцип историзма, раздвоения единственного на противоположные стороны, переход от абстрактного к конкретному, принцип единства исторического и логического. Диалектическую логику можно назвать методом познание диалектика объективного мира.
Значительным является также достояние российских ученых логиков и философов в этот период. Ими были выдвинуты ряд оригинальных идей и теорий. Известны на сегодня разработки в отрасли логики таких ученых, как Ломоносов, Радищев, Чернышевский.
Современный этап развития логики
Современная логика сформировалась в конце XIX – началу ХХ века. Но ее основателем все-таки считают немецкого ученого Г.Лейбница. Хотя его деятельность и приходится на ХVІІ век, но можно уверенно сказать, что его идеи настолько опередили свое время, что именно они легли в основу современной логики, хотя они и не воспринимались современниками Лейбница. Именно Лейбниц в своем труде «О комбинаторном искусстве» выдвинул идею о создания специального искусственного языка, которые позволят превратить рассуждение на цепь знаков определенного типа. По этому поводу он написал: «Единственный способ улучшить
наши умозаключения - это сделать их такими как у математиков, наглядными, такими, чтобы свои ошибки находить глазами и, если среди людей возникнет спор, нужно было бы только сказать: «Посчитаем.»,- и тогда без особенных формальностей можно будет увидеть, кто является правым». Говоря другими словами, Лейбниц предлагает создать общий
метод, который даст возможность все истины возвести к определенному вычислению, а учение о искусственный язык должен стать центральной частью такого метода. Созданный Лейбницем язык является прототипом современного формализированного языка логики.
Еще одной революционной идеей Лейбница называют теорию «возможных миров», какая была положена в основу построения современной семантики для модальной логики.
Сравнивая логику Аристотеля и современную логику, можно сказать, что они существенно отличаются одна от другой, поскольку на современном этапе мы наблюдаем значительное расширение интересов ученых-логиков. Начинается анализ той части материала, какой в свое время вообще было отказано в возможности логического анализа. Наряду с теоретическими научно-теоретическими рассуждениями разрабатываются практические рассуждения, какие должны были дать объяснение действиям человека. Возникают новые разделы логика, которая находится в постоянной и тесной взаимосвязи с другими отраслями научного знания, как-то математика, лингвистика, философия, право, информатика, экономика психология. Однако мы не можем сказать, что современная логика является полным и категорическим возражением аристотелевской логики. Скорее, она является ее продолжением. На этом сошлось много ученых, которые исследовали историю логики. «В современном развитии логики традиционная аристотелевская логика, занимает место как упрощена формулировка проблем предопределенных предметом. В этом имеется аналогия арифметика примитивных племен с современной математикой», - писал А.Уайтхед.¹
Начальный на этом этапе логика была сориентирована на анализ исключительно математических рассуждений. Именно этот период развития современной логики называют классическим. В направлении символической (или математической) логики работали такие выдающиеся учения как Д.Буль У.С.Джевонс, П.С.Порецкий, Г.Фреге, Ч.Пирс, Б.Рассел Я.Лукасевич и много других математиков и логикив. Они привнесли в логику те методы, которые приняты применять в математике. В результате были созданы такие разделы логики как логика высказываний и логика предикатов. Первым же трудом классической логика признана «Принципы математики» Рассела и Уайтхеда.
1. Предмет логики
2. Возникновение и развитие логики
3. Язык логики
4. Формы и законы мышления
- Предмет логики
Ключевые слова: логика, мышление, чувственное познание, абстрактное мышление.
Логика (от греч.: logos – слово, понятие, разум) – наука о формах и законах правильного мышления. Механизм мышления исследуется рядом наук: психологией, гносеологией, кибернетикой и т. п. Предметом научного логического анализа являются формы, приемы и законы мышления, с помощью которых человек познает окружающий мир и себя самого. Мышление – это процесс опосредованного отражения реальности в виде идеальных образов.
Формы и приемы мышления, способствующие познанию истины. Знание о явлениях мира человек приобретает в процессе активного целенаправленного познания: субъект - объектного взаимодействия человека с фрагментами реальности. Познание представлено несколькими уровнями, рядом форм и приемов, приводящих исследователя к правильным выводам, когда истинность исходных знаний предполагает истинность выводов.
Нам известно, что первым уровнем выступает чувственное познание. Оно осуществляется на основе органов чувств, их осмысления и синтеза. Напомним основные формы чувственного познания:
ощущение;
2) восприятие;
3) представление.
Этот уровень познания имеет ряд важнейших приемов, среди которых выделяется анализ и систематизация ощущений, выстраивание впечатлений в целостный образ, запоминание и воспоминание ранее усвоенного знания, воображение и др. Чувственное познание дает знание о внешних, отдельных свойствах и качествах явлений. Человек же стремится к познанию глубинных свойств и сущностей вещей и явлений, закономерностей бытия мира и общества. Поэтому он прибегает к исследованию интересующих его проблем на абстрактно-теоретическом уровне. На этом уровне складываются такие формы абстрактного познания как:
а) понятие;
б) суждение;
в) умозаключение.
Прибегая к данным формам познания, человек руководствуется такими приемами как абстрагирование, обобщение, отвлечение от частного, выделение существенного, выведение нового знания из ранее известного и пр.
Отличие абстрактного мышления от чувственно-образного отражения и познания мира. В результате чувственного познания у человека формируются знания, полученные непосредственно из опыта в виде идеальных образов на основании ощущений, переживаний, впечатлений и др. Абстрактное мышление знаменует собой переход от изучения отдельных сторон предметов к постижению законов, общих связей и отношений. На этой стадии познания наступает воспроизведение фрагментов действительности без непосредственного контакта с чувственно-предметным миром путем замещения их абстракциями. Отвлекаясь от единичного предмета и временного состояния, мышление способно выделять в них общее и повторяющееся, существенное и необходимое.
Абстрактное мышление неразрывно связано с языком. Язык – основное средство фиксации мысли. В языковой форме излагаются не только смыслы содержательные, но и логические. С помощью языка человек формулирует, выражает и передает мысли, фиксирует знание.
Важно понять, что наше мышление опосредованно отражает реальность: через ряд взаимосвязанных между собой знаний путем логических следований оказывается возможным прийти к новому знанию, не соприкасаясь непосредственно с предметно-чувственным миром.
Значение логики в познании вытекает из возможностей выведения достоверного знания не только формально-логическим путем, но и диалектическим.
Задача логического действия заключается, в первую очередь, в обнаружении таких правил и форм мышления, которые безотносительно к конкретным смыслам будут всегда приводить к истинным выводам.
Логика изучает структуры мышления, приводящие к последовательному переходу от одних суждений к другим и образующие непротиворечивую систему рассуждений. Она выполняет при этом важную методологическую функцию. Суть ее состоит в разработке исследовательских программ и технологий, пригодных для получения объективного знания. Это способствует вооружению человека основными средствами, методами и способами научно-теоретического познания.
Второй основной функцией логики является аналитико-критическая, реализуя которую, она выступает средством обнаружения ошибок в рассуждениях и контроля над правильностью построения мысли.
Логика способна выполнять и теоретико-познавательные задачи. Не останавливаясь на построении формальных связей и элементов мышления, логическое знание способно адекватно объяснить смысл и значения выражений языка, выражать отношения между познающим субъектом и познавательным объектом, а также обнаруживать логико-диалектическое развитие объективного мира.
Задачи и упражнения
1. Один и тот же кубик, на гранях которого расположены цифры (0, 1, 4, 5, 6, 8), находится в трёх различных положениях.
С помощью чувственных форм познания (ощущения, восприятия и представления) определите, какая цифра находится в нижней части кубика во всех трёх случаях.
2. Светлана, Лариса и Ирина изучают в вузе разные иностранные языки: немецкий, английский и испанский. На вопрос, какой язык изучает каждая из них, их подруга Марина робко ответила: «Светлана изучает английский, Лариса не изучает английский, а Ирина не изучает немецкий». Оказалось, что в этом ответе лишь одно утверждение является истинным, а два – ложным. Какой язык изучает каждая девушка?
3. Иванов, Петров, Степанов и Сидоров – жители г.Гродно. Их профессии – кассир, врач, инженер и милиционер. Иванов и Пертов – соседи, они всегда ездят на работу вместе на автомобиле. Петров старше Сидорова. Иванов всегда обыгрывает Степанова в шахматы. Кассир всегда ходит на работу пешком. Милиционер не живёт рядом с врачом. Инженер и милиционер встречались единственный раз, когда первый оштрафовал второго за нарушение правил дорожного движения. Милиционер старше врача и инженера. Кто есть кто?
4. Друзья-мушкетёры Атос, Портос, Арамис и д’Артаньян решили позабавиться перетягиванием каната. Портос с д’Артаньяном легко перетянули Атоса с Арамисом. Но когда Портос стал вместе с Атосом, то они одержали более трудную победу над д’Артаньяном и Арамисом. А когда Портос с Арамисом боролись против Атоса с д’Артаньяном, то никто не смог перетянуть канат. Как по силе распределяются мушкетёры?
Составьте логическую схему взаимосвязи уровней и форм познания.
2. Возникновение и развитие логики
Ключевые слова: дедукция, формальная логика, индуктивная логика, математическая логика, диалектическая логика.
Причины и условия зарождения логики. Важнейшей причиной зарождения логики является высокое развитие интеллектуальной культуры уже в древнем мире. Общество на той стадии развития не удовлетворяется существующим мифологическим истолкованием реальности, стремится рационально интерпретировать суть явлений природы. Постепенно складывается система умозрительного, но вместе с тем доказательного и последовательного знания.
Особая роль в процессе становления логического мышления и его теоретического изложения принадлежит научному знанию, которое к тому времени достигает значительных высот. В частности, успехи в математике, астрономии приводят ученых к мысли о необходимости изучения природы самого мышления, установления закономерностей его протекания.
Важнейшими факторами становления логики была потребность в распространении в социальной практике активных и убеждающих средств выражения взглядов в политической сфере, судебном деле, торговых отношениях, воспитании, обучающей деятельности и пр.
Основоположником логики как науки, создателем формальной логики принято считать древнегреческого философа, античного ученого энциклопедического ума Аристотеля (384 – 322 гг. до н.э.). В книгах «Органона»: «Топика», «Аналитики», в «Герменевтике» и др. мыслитель разрабатывает важнейшие категории и законы мышления, создает теорию доказательства, формулирует систему дедуктивных умозаключений. Дедукция (лат.: выведение) позволяет выводить истинное знание о единичных явлениях, исходя из общих закономерностей. Аристотель впервые подвергает исследованию само мышление как активную субстанцию, форму познания и описывает условия, при которых оно адекватно отражает действительность. Логическую систему Аристотеля часто называют традиционной, поскольку в ней содержатся основные теоретические положения о формах, и приемах мыслительной деятельности. Учение Аристотеля включает в себя все основные разделы логики: понятие, суждение, умозаключение, законы логики, доказательство и опровержение. По глубине изложения и общезначимости проблематики его логику называют классической: пройдя испытания на истинность, она и сегодня сохраняет свою актуальность, оказывает мощное воздействие на научную традицию.
Развитие логического знания. Дальнейшим развитием античной логики стало учение философов-стоиков, которые вместе с философско-этической проблематикой логику считают «проистечением мирового логоса», его земной, человеческой формой. Стоики Зенон (333 – 262 гг. до н.э.), Хрисипп (ок.281 – 205 до н.э.) и др. дополняют логику системой высказываний (пропозиций) и выводов из них предложили схемы умозаключений на основе сложных суждений, обогатили категориальный аппарат и язык науки. К этому времени (3 в. До н.э.) относится возникновение самого термина «логика». Логическое знание преподносилось стоиками несколько шире классического воплощения. Оно соединило в себе учение о формах и операциях мышления, искусство ведения дискуссии (диалектика), мастерство публичных выступлений (риторика) и учение о языке.
В Новое время в период широкого распространения в Европе естественнонаучного знания (механика, география и т. Д.) возникают потребности в дополнении системы дедуктивных умозаключений принципами индуктивного мышления. Накопленный эмпирический, фактический материал, частные случаи из практики и жизни путем сравнений и обобщений оказалось возможным построить так, что они приведут к истинным суждениям общего характера. Знание о единичных вещах может «навести» (лат.: inductio) на мысль о наличии общих закономерностей их существования. Это свойство мышления как научную закономерность в противоположность схоластическим рассуждениям отметил в своем труде «Новый Органон или Истинные указания для истолкования природы» английский философ и естествоиспытатель Фрэнсис Бэкон (1561 – 1626). Он выступил, таким образом, родоначальником индуктивной логики
Специфику научного познания отразил в рационалистической методологии французский мыслитель Нового времени Рене Декарт (1596 – 1650). В «Рассуждении о методе, чтобы верно направлять свой разум и отыскивать истину в науках» и «Правилах для руководства ума» он формулирует важнейшие методы познания: аксиоматический, аналитический и синтетический, а также, в завершении познания, метод систематический. Высшей формой реализации рационалистической методологии, по Декарту, является математика. Логике отводится роль методологии познания, способной обнаружить пути обретения новых истин, приращения знания.
Основополагающие идеи математической (или символической) логики были предложены немецким мыслителем Г.В.Лейбницем (1646 – 1716) в работах «Об искусстве комбинаторики», «Опыт универсального исчисления», «О математическом определении силлогических форм» и др. Он развивает вопросы традиционной логики (формулирует закон достаточного основания, работает над систематизацией категорий логики и пр.), но больше внимания уделяет формализации языка, математизации стиля логического мышления. С этого времени в логике стали использоваться специальные знаки-символы, не употребляющиеся в естественном языке. Лейбниц впервые исследовал возможности арифметизированного логического вывода на основании соответствия законов логики и законов математики. Этим ставится цель привести теоретические научные рассуждения к математическим расчетам, благодаря которым возможно разрешить любой спор и прийти к истине.
На смену традиционной логике приходит математическая, заключающая мыслительные формы в строгие формулировки правил и теорем, реализуемых в аналитических приемах мыслительной деятельности.
В ХIХ в. символическая логика становится наиболее привлекательной сферой логического знания. Среди наиболее известных представителей математической логики выделяется английский математик Д. Буль (1815 – 1864). В работах «Математический анализ логики» и «Исследование законов мышления» он закладывает основы алгебраических исчислений конкретных элементов (классов) как отношений (операций). Буль стремился перевести на язык знаков отношения между идеями, объектами и абстрактными системами. Булева алгебра – это решение логических задач путем использования трех операций: а) сложение классов (А U В), умножение классов (А ∩ В), и дополнение к классу (А′). Алгебра Буля была применима и в прикладных случаях, например, при интерпретациях конкретно-релейных схем, в исчислениях при программировании в ЭВМ и т.д.
Формальная и символическая логика. Формальная (традиционная) логика предметом своего исследования имеет исследование основных форм мышления (понятие, суждение, умозаключение), законов, находящиеся в их сфере, непосредственно не опираясь на конкретное содержание мысли. Формальная логика абстрагируется от исторического процесса, от развития практических и познавательных способов действия.
Символическая (математическая) логика может быть представлена как формальная, как ее формализованная часть. Основной своей задачей она видит построение логических исчислений путем математических формул, аксиом и следствий. Она излагает формы мышления в системе знаков и специальных символов.
Современная формальная логика предусматривает изучение мыслительных операций и перенесение логических форм на общие образцы теоретического знания. Современная символическая логика является самостоятельным направлением логического знания, имеет не только теоретическое, но и практическое значение. Так, помимо сложных вычислительных операций, она широко используется в лингвистике (при переводах с одного языка на другой), технической сфере (при управлении приборами), в компьютерном программировании и пр.
Формальная и диалектическая логика. Формально-логические схемы, так сказать, безразличны (нерелевантные) к сущности познаваемых предметов. Сущность – совокупность внутренних качеств и признаков предмета, выражающих его содержание. Важнейшими способами проникновения в сущность вещей является обнаружение противоречивого единства их признаков, рассмотрение их в развитии и взаимосвязи с другими предметами. В процессе такого познания важно абстрагироваться от несущественного, случайного, концентрируя познания на атрибутивных признаках.
В отличие от формальной, логика диалектическая своим предметом имеет исследование возникновения и развития фрагментов действительности, в том числе и логических форм и законов. Это – познание развивающегося мышления. В основе логики диалектической находится ряд принципов: а) принцип развития, б) принцип историзма, в) принцип всесторонности, г) принцип конкретности и др. Центральным понятием диалектической логики является диалектическое противоречие.
Диалектическая логика, накапливая и обобщая свое знание в течение всего периода развития логики, в систематизированном виде была изложена в немецкой классической философии. В работах И. Канта (1724 – 1804) «Критика чистого разума» и «Критика способности суждения» проведено обоснование трансцендентальной логики, определяющей происхождение, содержание и объективную значимость априорных знаний. В философии Гегеля (1770 – 1831) нашла свое завершение объективно-идеалистическая система диалектической логики как всеобщей формы самопознания и саморазвития понятия. В работе «Наука логики» он не только подвергает критике формально-логические законы мышления как «неонтологические», но и обосновывает принципиально иное содержание логических знания – законов, понятий и умозаключений, в основе которых находится диалектика мышления объективного духа.
Новый этап в понимании диалектической логики связан с именами К. Маркса (1818 – 1883) и Ф. Энгельса (1820 – 1895). В работах Ф. Энгельса «Анти-Дюринг», «Диалектика природы», К. Маркса «Капитал» и др. толкование развивающихся форм основывается не на изначальности «саморазвивающегося понятия», а на обнаружении диалектических изменений в самом объективном (материальном) мире. Природа и общество, с их точки зрения, являются основанием для понимания законов диалектического мышления. В марксистской диалектике с материалистических позиций формулируются три важнейших закона диалектики (закон единства и борьбы противоположностей, закон взаимного превращения количественных и качественных изменений, закон отрицания отрицания), основные принципы и категории материалистической диалектики.
Если формальная логика познает формы мышления посредством анализа важнейших признаков без непосредственной связи с конкретным предметом, в обобщенном и абстрагированном виде, то диалектическая логика акцент изучения сущности мыслимых предметов переносит на анализ предметов и процессов в движении, развитии и взаимосвязи. В этом случае несущественные, случайные признаки отсеиваются, аннулируются, а существенные выделяются, актуализируются.
Тем не менее, нельзя противопоставлять диалектическую и формальную логику. Они изучают один и тот же объект – человеческое мышление, предметом обеих являются закономерности мыслительной деятельности. Мышление подчиняется и формальным логическим законам как фундаментальным, и диалектическим как развивающимся. Мыслить диалектически невозможно без постижения и учета законов формальной логики. Т.е., возможно заключить, что современное логическое знание включает в свою структуру две взаимосвязанные и относительно самостоятельные науки: формальную логику (частью которой является логика символическая) и диалектическую логику. Причем, признавая фундаментальное значение логики в построении всякого правильного мышления, научно-теоретическое познание требует продолжения изучения сущности явлений и структур мысли путем обнаружения противоречий в природе, обществе и в человеческом мышлении.
Задачи и упражнения
1. Пользуясь математической последовательностью действий, раскройте секрет угадывания чисел. Задумайте любое число, отнимите от него 1, результат умножьте на 2, из полученного произведения отнимите задуманное число и сообщите результат. Как отгадать задуманное товарищем число?
2. Как отмерить 6 литров воды, если имеются ёмкости 9 литров и 4 литра:
3. В античной риторике была разработана схема построения выступления, состоящая их пяти важнейших этапов. Расположите их в логической последовательности:
произношение, словесное оформление, изобретение, план, запоминание.
4. Составьте подробную логическую схему или таблицу, раскрывающую историю развития логического знания.
3. Язык логики
Ключевые слова: язык, семиотика, семантические категории, искусственный язык, термин.
Язык как знаковая система. Предмет логики – законы и формы мышления. Мышление – идеальная реальность. Все, происходящее в сознании человека, не поддается непосредственному опредмечиванию, материализации. Оно не может быть изучено адекватно без подключения специальных средств выражения мысли. Мы часто задаем вопрос: с помощью каких процессов возможно познание мыслительной деятельности человека? Это, в первую очередь, и в конечном итоге – через язык и посредством языка. Мышление человека реализуется в неразрывной связи с языком, речью, передается другим с помощью языковых выражений. Вот почему логика исследует мышление, опираясь на его конкретную фиксацию в языке.
Язык – это (в наиболее общем виде) любая знаковая информационная система, используемая человеком для общения и познания. Язык функционально способен хранить, перерабатывать и транслировать информацию. Кроме этого, язык является необходимым средством отображения человеком объективного мира, его фрагментов, а также субъективной реальности, эмоций, впечатлений и пр., что позволяет человеку адекватно построить процесс их изучения.
В исследовании языковых выражений мысли логика видит свою одну из основных и непосредственных задач. Изучением языка как знаковой системы занимается семиотика, выявляющая специфику его построения и употребления. Один из ее разделов – синтаксис – анализирует специфику, структуру, способы образования и преобразования языка, отношений между знаками системы. Например, отношения равенства (3 + 2 = 5), отношения следования («Cogito ergo sum»), отношения доказательства (доказательство теоремы Пифагора) и пр.
Прагматика как раздел семиотики изучает отношения между знаками системы и их потребителями, практически значимые отношения. Они могут быть вызваны экономическими, эстетическими, духовно-психическими потребностями и т.д. и меньше всего задействованы в логике. Например, построение языковых выражений с наибольшими допустимыми сокращениями либо упрощениями с целью эффективного применения с конкретной речевой ситуации (управление, приказ, телефонный разговор и пр.).
Существует еще один тип отношений, без которого немыслимо ни построение языка, ни его практическая реализация. Это – семантическое отношение: отношение между знаками системы и обозначаемыми ими объектами, предметом и его именем (теория референции), отношение знаков и содержания ими замещаемого, смыслового выражения языка (теория смысла). Этот раздел называется семантикой. Семантические категории обозначают такой класс языковых смыслов и референций, который сохраняет свою осмысленность при замене одного знака другим. Например, высказывание 3 + 2 = 5 остается осмысленным при замене знака «2» на знак «3», или, скажем, если знак «+» заменить на знак «-». Теряя при этом истинность, оно останется семантически определенным. В языке традиционной логики существует три общих класса семантических категорий: имя, функтор, высказывание.
Естественный и искусственный языки. Логика не только изучает, но и использует языковую знаковую систему. В обществе язык существует в двух формах. Это, во-первых, естественный язык как исторически и национально сложившиеся звуковые (речь) и графические (письмо) знаки-сигналы, позволяющие удовлетворить потребности в получении, накоплении, передаче и хранении информации. Наиболее распространенной разновидностью естественного языка является национальный (народный) язык. Второй формой языка выступает искусственный язык. Под ним понимается определенная знаковая система, специально созданная для обслуживания и удобного использования и передачи научной и другой информации. Среди искусственных языков - формализованные языки математики, физики, химии, языки программирования для ЭВМ и т.д., располагающие своей собственной терминологией и символикой.
Следует помнить, что естественный язык имеет ряд черт, мешающих адекватно, четко и однозначно передать форму мысли (полисемия, аморфность, метаязык и пр.). Поэтому для точного отражения структуры мысли слова обычного языка заменяются специфическими терминами-символами. В логике, таким образом, используется как естественный язык (способ описания логических выражений, теоретического построения логического знания), так и искусственный (совокупность знаков, формул и их сочетаний для обозначения мыслительных операций).
Логические термины и символы. Для описания свойств изучаемых предметов, отношений между ними и установлению логической формы не достаточно использовать только естественный язык. Необходимо разработать специальную терминологию (термин – слово, имеющее строго однозначный смысл), установить метаязыковые взаимодействия, а также придать им единую символику и знаковое соответствие. Например, в языке математики существует 5 основных категорий: число, действие, отношение, скобка левая и скобка правая (как операционные последовательности и завершенности действий). Среди логических терминов выделяют ряд терминов:
Имя – слово или словосочетание, обозначающее какой-либо определенный предмет мысли. Под предметом понимаются различные вещи, процессы, отношения и т.д. Например, человек, гуманизм, деятельность и т.д. Имена разделяются на:
а) простые и сложные (описательные): например, соответственно - земля и столица Республики Беларусь);
б) единичные (собственные) и общие (например, соответственно - Василь Быков и закон).
Множество предметов, к которым относится данное имя, называется денотатом, а совокупность присущих им (предметам) признаков и свойств, составляющих их смысловое значение, называется смыслом (концептом).
Высказывание – языковое выражение, содержащее истинную либо ложную мысль. Например, «Наполеон был императором Франции». Это – грамматически правильное, семантически определенное, четко сформулированное, завершенное повествовательное предложение. Например, «Простые числа делятся на два типа». Высказывание бывает истинным либо ложным. Это его логические значения. Например, высказывание «Солнце размерами больше Марса» является истинным, однако перестановка местами имен в этом высказывании приведет к ложному значению.
Выражение, служащее в высказывании средством образования новых осмысленных высказываний, называется функтором. Функтор не является ни именем, ни высказыванием. Это – служебное языковое образование, посредством которого так называемые аргументы образуют новое высказывание. Например, Если а = в, то 2а = 2в, 2 + 3 = 5. В этих примерах функторами выступают знаки математических связей: «=» и «+». Функторы бывают одноаргументными (Лес зазеленел), двухаргументными («Подлость опаснее лжи», 3 + 4 и т.д.). В традиционной логике двухаргументные функторы часто называют логическими союзами (логическими связками).
В науке широко используется понятие функции как соответствия между переменными величинами х и у. В математике она записывается в виде выражения у = f(x). В логике также это понятие существует, большую значимость имеют понятия именной и пропозициональной функции.
Именная функция – выражение, которое содержит переменные, превращающиеся в имя при подстановке вместо них соответствующих аргументов. Примерами именной функции могут быть выражения «космонавт х», «брат у». То есть, при замене переменных х и у данные выражения превращаются в обозначение предмета, название, именование вещи и пр.
Пропозициональная функция выражает собой форму высказывания, в которой при подстановке вместо переменных соответствующих значений образуется семантически определенное высказывание. Например, х больше у, х открыл закон прибавочной стоимости. Пропозициональная функция, аргументы которой – имена, называется предикатом. Например, R является президентом фирмы. Предикат, обозначающий свойство предмета и имеющий одну переменную – имя, называется одноместным предикатом (А обозначает качество). Двух (n - местные) предикаты, располагая двумя и более количеством переменных обозначают отношения между именами – переменными: «а любит в», «а находится между в и с» и пр.
В логике существует потребность выражать различные степени связывания переменных посредством так называемых операторов. Наиболее распространенными операторами являются а) квантор общности, констатирующий наличие свойства, качества, отношения, присущие всему классу явлений по принципу «для всякого х истинно, что…». К примеру, такой квантор содержит высказывание «Всякий предмет тебе разъяснят философские книги» (Гораций). б) квантор существования, обозначающий распространенность тех или иных свойств или отношений на некоторую часть из всего класса явлений. Например, фраза «Существует внутреннее мужество – мужество совести» (С. Смайлс) содержит квантор существования. Формулой квантора существования является выражение: «существует х, для которого…».
Обобщая общепринятую и чаще всего используемую логическую терминологию, следует ее запечатлеть в формализованном виде:
1) имя - А, В, С и т.д.;
2) функторы (логические константы) –
Щ - «и»;
Ъ - «или»;
® - «если, то»;
« - «тогда и только тогда, когда»;
щ, ЇЇЇ - «неверно, что»;
- «необходимо» ;
а - «возможно»,
предметные переменные – а, в, с;
пропозициональные переменные – p, q, r, s;
именная функция - а (х);
пропозициональная функция - х Р(х);
предикатор - P, Q, R; одноместный предикат - Р (х): (х имеет свойство Р); двухместный предикат Р (х; у): (х и у имеют отношение к Р);
скобки - (;);
квантор общности - " х (для всякого х верно, что…);
квантор существования - $ х (существует х, для которого верно, что…).
Таким образом, понимая познавательную ценность языка, его связь с мыслительными процессами, необходимо усвоить логическую терминологию и суть основных знаков, используемых в логических формулах.
Задачи и упражнения
1. Вставьте пропущенные цифры и буквы в пустые квадраты, используя скрытые последовательности цифр и букв.
Расставьте в круговой схеме заглавные буквы соответствующих видов языков, определяя тем самым их соотношение: Е – естественный язык, Н – научный язык, И - искусственный язык:
3. Составьте языковые выражения, отражающие:
а) отношение доказательства; б) отношение следования, в) осмысленное, но ложное высказывание; г) именную функцию; д) квантификацию существования.
4. Проведите сравнительную характеристику формализованного и естественного языков логики.
5. Преобразуйте пропозициональные и именные функции в истинные высказывания: а) х причина у; б) х – простое число; в) А – город в Беларуси; г) Х – автор романа «У»; д) между а и в расположено с; е) если р то q.
4. Формы и законы мышления
Ключевые слова: форма мысли, логический закон, логическое следование.
Основные формы логического мышления. Логической формой мысли называется строение этой мысли с точки зрения способа соединения ее составных частей, образования общих структурных связей (схемы изложения мыслей). Выявить логическую форму значит построить ее схему, формализовать ее содержание, поскольку логической формой является та сторона рассуждения, которая не зависит от содержания данной мысли. Различные понятия, суждения и умозаключения можно представить как специфические формы мыслительной деятельности. На основании одного из основных принципов формальной логики правильность мысли (рассуждения, вывода) зависит только от правильности ее оформления, т.е. от правильного соединения, связывания составных частей мысли.
Выделяя характерные признаки предмета, а также на основании общих признаков, присущих многим предметам, в мышлении тем самым образуется понятие о предмете, о его классификационных, существенных признаках, одновременно, отличающих его от признаков предметов другого класса. Таким образом, различная связь четко обозначенных, перечисленных признаков предмета (класса предметов) выражается в форме понятия. Понятие квадрата, например, включает в себя следующие признаки: геометрическая фигура, четырёхугольник, все стороны равны, все углы имеют 90 градусов.
Форма мышления, устанавливающая качественные и количественные отношения между предметами мысли и фиксирующая их в виде утверждений либо отрицаний называется суждением. Так, например, отношение человека к благам посредством производственной деятельности может быть выражено в суждении «Человек в процессе трудовой деятельности создает материальные и духовные блага». Суждения, различные по содержанию, по эмоционально-оценочным и прочим аспектам, всегда можно свести к единой унифицированной форме (структуре) мысли. Способ соединения всех его частей с точки зрения формальной логики будет одинаков. Если мы обозначим понятия, входящие в структуру суждения, знаками S (субъект мысли), т. е. то, о чем (о ком) идет рассуждение) и Р (предикат – констатация, выражение признаков либо свойств обозначенного субъекта (S)). Если способ их связи мы представим в виде логической связки «есть» (является, значит и т. п.), то получим логическую форму, общую для любых суждений: S - Р (Все S суть Р). К примеру, структура высказываний: «Всякий человек достоин счастья», «Река – водная артерия земли» и «Сумма углов треугольника равняется 180 градусам» в принципе одинакова, несмотря на их содержательную, смысловую полифонию. В них можно выделить S (человек, река, сумма углов треугольника), Р (достоин счастья, водная артерия земли, 180 градусов) и утвердительную логическую связку, в данных примерах подразумевающуюся, но лингвистически невыраженную.
Более сложной формой мышления, приводящей к установлению нового знания, благодаря тому или иному способу соединения предыдущих суждений-оснований, выступает умозаключение. В этом случае устанавливается четкая однозначная логическая связь между суждениями-основаниями (посылками), соблюдение которой приводит всегда к новому истинному выводу-следствию. Например, какое знание можно получить, располагая двумя суждениями (предложениями): «Всякое научное знание имеет свой предмет изучения» и «Культурология является научным знанием»? Заключение (вывод) здесь очевидно – «Культурология имеет свой предмет изучения». Какие бы высказывания не подставлялись в структуру такого правильного рассуждения, если посылки истинны, соблюдены правила вывода, значит и заключение (новое знание) также будет истинным.
Таким образом, логическая форма, во-первых, - это своеобразная языковая структура, в чистом виде отражающая присущие предмету мысли признаки, свойства и отношения.
Во-вторых, для ее фиксации используется специфический формализованный язык, основные термины и символы которого были представлены выше.
В-третьих, изучение этих и иных структур мысли (логических форм) безотносительно к их содержательному выражению составляет одну из важнейших задач логики как науки и позволяет устанавливать законы образования и протекания мыслительных процессов.
Логический закон и логическое следование. С понятием логической формы связаны понятия логического закона и логического следствия. Правильная связь элементов мыслей в ходе рассуждения определяется законами мышления – логическими законами. Логическим законом называется выражение, сохраняющее свою истинность, независимо от его конкретного содержания. Так, высказывание «Если для всех х верно, что х есть Р, то ни существует ни одного х не являющегося Р» будет истинным (являться законом) в любом случае, какое бы конкретное содержание оно не имело. Например, подставив в эту языковую формулу имена, получим: «Если для всех людей верно, что они обладают сознанием, то не существует ни одного человека, у которого оно отсутствует».
Закон выражает внутреннюю, устойчивую, существенную и необходимую связь элементов мышления. Благодаря наличию законов логики выведение нового знания из уже имеющихся и проверенных, истинных суждений с достоверностью приведет к истине.
Законы логики следует разделять на 1) формально-логические и 2) диалектические. Первые отражают формальную правильность рассуждений, вторые – закономерности объективно изменяющейся реальности. Формально-логические законы утверждают, что правильно построенная схема мыслей является необходимым условием для истинности выводов. В противном случае, если не соблюдается это правило, то ложный вывод (неистинное следствие) возможен даже из истинных суждений.
Основными формально-логическими законами считаются:
1. закон тождества: всякая мысль в процессе рассуждения должна быть тождественна самой себе. ((р → р): если р, то р). «Всякий человек – это человек», «Dura lex, sed lex» (суров закон, но закон).
2. закон непротиворечия: из двух несовместимых друг с другом суждений одно является ложным.щ(р Щ щ р): (неверно, что р и не-р). Т. е. не может быть одновременно ложными две мысли, если одна из них отрицает другую. Причем, речь идет об одном и том же предмете мыслимом в одно и то же время и в конкретном отношении. « Некоторые ученые хотят быть признанными» и «Некоторые ученые не хотят быть признанными».
3. закон исключенного третьего: истинно либо само высказывание, либо его отрицание: (р Ъ щ р): (р или не-р). «Некоторые студенты первого курса связаны с экономической деятельностью. Ни один студент первого курса не связан с экономической деятельностью». Т. е. одновременно истинным не могут быть два противоречивых высказывания, одно из них обязательно ложно. Третьего варианта не дано. Снег бел, либо не бел.
4. закон достаточного основания: мысль является истинной, если она имеет достаточное для этого основание. (р → q); (р есть потому, что есть q). Доказанность мысли наступает лишь тогда, когда она опирается на обоснованные, существенные, основополагающие аргументы. Вот один из примеров: «Для того чтобы треугольник был равносторонним необходимо и достаточно, чтобы все его углы были равны».
Законы мышления – это проявление так называемого логического следования. Логическим следованием называется мыслительное отношение, которое существует между посылками (суждениями) и выводимыми из них заключениями (выводами). Логическое следование выступает своеобразной моделью построения мысли по принципу: когда из нашего высказывания р логически следует высказывание q и это высказывание истинно как р → q, то на этом основании новое высказывание щq → щ p также будет истинным. То есть, истинность высказывания р → q, гарантирует истинность высказывания щ q → щ р. Основным принципом логического следования является утверждение о том, что правильность более общей схемы гарантирует правильность менее общей схемы, но не наоборот.
Задачи и упражнения
1. Приведите примеры основных логических форм мышления из выбранной вами профессиональной деятельности:
а) понятие; б) суждение; в) умозаключение.
2. Являются ли следующие высказывания проявлением законов логики:
а) достаточного основания: «У человека повышена температура тела, следовательно, он заболел», «Данная мысль построена правильно, поэтому она истинна»;
б) исключенного третьего: «Все студенты изучают логику или ни один из студентов не изучает логику», «Постановление суда является законным или не является таковым»?
(1 оценок, в среднем: 5,00 из 5)
Loading...
