Логика как наука

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

Новосибирский государственный университет

Факультет государственного и муниципального управления

Реферат по логике

Логика как наука

Новосибирск - 2011Оглавление

Введение

1. Предмет логики

2. Два этапа развития логики

3. Логическая форма и логический закон

Заключение

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

Введение

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

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

В данной работе я использовала литературу следующих авторов: Войшвилло Е.И., Гетманова А.Д., Ивин А.А., Кириллов В.И., Старченко А.А. Моя собственная оценка будет таковой: «Отличная литература: достоверные данные, всё написано вполне доступно и понятно, внимание авторов акцентировано на самом главном - ничего лишнего».

1. Предмет логики

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

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

Известно, что первым уровнем выступает чувственное познание. Оно осуществляется на основе органов чувств, их осмысления и синтеза. Основные формы чувственного познания:

· ощущение;

· восприятие;

· представление.

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

а)понятие;

б)суждение;

в)умозаключение.

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

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

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

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

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

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

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

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

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

2. Два этапа развития логики

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

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

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

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

Формальная логика в своем развитии прошла два основных этапа.

Первый этап - это связь с работами Аристотеля, в которых дано систематическое изложение логики. Основным содержанием логики Аристотеля является теория дедукции, также содержаться элементы математической логики. Аристотель сформулировал основные законы мышления: тождества, противоречия и исключенного третьего, описал важнейшие логические операции, разработал теорию понятия и суждения, обстоятельно исследовал дедуктивное умозаключение. Учение о силлогизме составило основу одного из направлений современной математической логики - логике предикатов. Дополнением к этому учению была логика античных стоиков (Зенон, Хрисипп и других). Логика стоиков - основа другого направления математической логики - логики высказываний.

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

Значительны успехи логической науки в Новое время. Важнейшим этапом в ее развитии явилась теория индукции, разработанная Ф. Беконом. Он подверг критике дедуктивную логику, которая не может служить методом научных открытий. Методом должна быть индукция. Разработка индуктивного метода - огромная заслуга Бекона.

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

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

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

1)область исследования составляют обыденные рассуждения;

2)допущение о разрешимости любой проблемы;

3) отвлечение от содержания высказываний и от связей по смыслу между ними; 4)абстракция двузначности высказываний.

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

Диалектическая логика исследует такие формы развития знания, как проблема, гипотеза и так далее, такие методы познания как восхождение от абстрактного к конкретному, анализ и синтез.

В процессе познания методы формальной логики дополняются методами диалектической логики и наоборот.

В развитие диалектической логики внесли определенный вклад Платон и Аристотель, отдельные идеи высказывались средневековыми философами и философами Нового времени. Классические формы придали ей Кант, Фихте, Шеллинг, Гегель. Диалектическая логика Гегеля является систематическим учением, хотя она и разработана с позиций объективного идеализма.

Диалектическую логику на материалистической основе разработали К. Маркс, Ф. Энгельс, В. И. Ленин.

Диалектическая логика изучает законы развития человеческого мышления. К ним относятся объективность и всесторонность рассмотрения предмета, принцип историзма, раздвоение единого на противоположные стороны и так далее. Диалектическая логика служит методом познания диалектики объективного мира.

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

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

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

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

3. Логическая форма и логический закон

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

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

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

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

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

Логический закон - общее название законов, образующих основу логической дедукции. Понятие «логический закон» восходит к древнегреческому понятию «logos» как предпосылке объективной («природной») правильности рассуждений. Собственно логическое содержание оно впервые получает у Аристотеля, положившего начало систематическому описанию и каталогизации таких схем логических связей произвольных элементарных высказываний в сложные высказывания, убедительность (общезначимость) которых вытекает из одной только их формы, а точнее -- из одного только правильного понимания смысла логических связей, безотносительно к истинностному значению элементарных высказываний. Большинство логических законов, открытых Аристотелем, это -- законы силлогизма. Позже были открыты и другие законы и даже установлено, что множество логических законов бесконечно. В некотором смысле обозреть это бесконечное множество логических законов стало возможным благодаря различного типа формальным теориям логического рассуждения т.е. логическим формализмам, или логическим исчислениям. В них логические законы выражаются определённого вида формулами и определяются -- каждый по отношению к «своему» исчислению -- выводимыми формулами данного вида (т.е. «общезначимыми формулами», или теоремами исчислений). Существующее многообразие логических исчислений естественно порождает идею относительности логических законов. Однако типом логического исчисления полагаются одновременно и границы этой относительности, поскольку тип исчисления не является исключительно делом произвольного выбора, а диктуется «логикой вещей», о которых хотят рассуждать, а также, в известном смысле, субъективной уверенностью в том или ином характере этой логики. Все исчисления, основанные на одной и той же гипотезе о характере «логики вещей», являются эквивалентными в том смысле, что они описывают («порождают») одни и те же логические законы. К примеру, исчисления, основанные на двузначности принципе, т. н. исчисления классической логики, несмотря на всё их «внешнее» разнообразие, описывают один и тот же «мир» классический логический закон -- тождественных истин, которые издавна получили общепринятую онтологическую философскую характеристику «вечных истин», или «истин во всех возможных мирах». Логический закон интуиционистской логики никакой общепринятой онтологической интерпретации пока не получили. «Логикой вещей», отражением которой они исторически явились, была логика умственных математических построений -- логика «знания», а не логика «бытия». Изучение логического закона образует естественный исходный пункт логического анализа приемлемых («хороших») способов рассуждений (умозаключений), поскольку само понятие «приемлемое, или логически правильное, рассуждение» уточняется через понятие «логический закон». Связь логически правильных рассуждений с логическими законами выражается в логике т.е. теоремой о дедукции, фиксирующей ту, замеченную ещё стоиками, особую роль, которую логические законы играют при обосновании или проверке наших умозаключений: относительно любого утверждения о выводимости заключения. В из посылок А₁, А₂, ..., A_n вопрос о его истинности решается разысканием среди логических законов высказывания A₁E(A₂E)(... E(AnEB)..)), где E выражает логический союз «если..., то...». Указанная связь логических законов с умозаключениями имеет общенаучное значение и выходит далеко за пределы собственно логики, обеспечивая общий метод формального доказательства средствами логики.

Термин «логический закон» применялся в традиционной логике по отношению к «законам мышления»:

· закону тождества («всякая сущность совпадает сама с собой»);

· закону противоречия («никакое суждение не может одновременно быть истинным и ложным»);

· закону исключённого третьего («для произвольного высказывания либо оно само, либо его отрицание истинно»);

· закону достаточного основания («всякое принимаемое суждение должно быть надлежащим образом обосновано»).

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

Заключение

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

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

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

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

1. Войшвилло Е.И. Предмет и значение логики. -М., 1967, 24с.

2. Гетманова А.Д. Учебник по логике М., 1995, 103с.

3. Ивин А.А. Логика: Учебное пособие. М., 1998, 52с.

4. Кириллов В.И., Старченко А.А. Логика. -М.,1998, 218с.

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