Реферат логика как наука

Обновлено: 05.07.2024

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

Предмет и значение логики. 4

Логика и язык. 5

Законы формальной логики. 7

Чувственное познание и абстрактное мышление. 9

Основные этапы развития формальной логики. 10

Теоретическое и практическое значение логики. 11

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

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

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

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

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

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

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

В формальной логике семиотической категорией является суждение (высказывание) - повествовательное предложение. Предложение высказывает мысль по своему логическому значению истинную или ложную.

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

· содержательных способов рассуждений на естественном языке;

· выявление наиболее общих свойств и отношений между предметами и явлениями;

· фиксации свойств и характеристик самих мыслей и отношении между ними.

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

Логика изучает именно эту рациональную ступень познания и мышления, его опосредованную способность перехода от старых знаний к новым, не обращаясь, каждый раз к опыту. Для этого используется выводное знание, полученное путем рассуждений из старых знаний. Если известно, что “где дым, там и огонь. На холме – дым. То вывод: “на холме – огонь” – истинен, если истинно исходное знание и соблюдены требования логики.

1. Понятие логического закона.

2. Содержание и формы логических законов.

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

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

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

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

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

Формула закона гласит: неверно, что А и не А одновременно истинны. Так не могут быть одновременно истины суждения: этот человек хороший специалист – этот человек плохой специалист. Объективное содержание закона в отражении мышлением особых биномерных признаков самой действительности. Эти противоположные признаки, или конструкты, позволяют классифицировать явления и выделить положительные и отрицательные явления. Не сделав это, нельзя провести различие, с которого начинается умственная деятельность.

Логическое, об истинности одного из высказываний;

Онтологическое, о существовании и не существовании объекта;

Методологическое, обо всей полноте исследования объекта.

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

Закон тождества устанавливает требование определенности мышления: употребляя в процессе размышлениятермин, мы должны понимать под ним нечто определенное. Поэтому, в рассуждениях необходимо оставлять понятия и суждения теми же самыми по содержанию и смыслу. Это требование сохраняется, если каждое преобразование аннулируется ему обратным образом (нулевое преобразование). Например, операция 2+5=7-5=2.

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

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

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

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

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

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

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

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

Второй этап – появление математической логики.

Немецкий философ Г.В. Лейбниц(1646 1716) по праву считается основоположником математической логики. Лейбниц пытался построить универсальный язык, с помощью которого споры между людьми можно было бы разрешить с помощью вычисления. В 19 в. Математическая логика получила интенсивное развитие в работах Д. Буля, Э. Шредера, П. С. Порецкого и других логиков.

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

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

Особенно важно значение логики в процессе овладения новыми

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

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

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

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

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

Логика – наука о правильном мышлении и все в этом мире подчиняется ее простым и четким законам. Отсюда вывод что без логики в нашем мире царил хаос.

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

Содержание.

Предмет и значение логики. 4

Логика и язык 5

Законы формальной логики 7

Чувственное познание и абстрактное мышление 9

Основные этапы развития формальной логики 10

Теоретическое и практическое значение логики 11

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

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

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

ЛОГИКА И ЯЗЫК

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

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

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

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

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

В формальной логике семиотической категорией является суждение (высказывание) - повествовательное предложение. Предложение высказывает мысль по своему логическому значению истинную или ложную.

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

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

выявление наиболее общих свойств и отношений между предметами и явлениями;

фиксации свойств и характеристик самих мыслей и отношении между ними.

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

Логика изучает именно эту рациональную ступень познания и мышления, его опосредованную способность перехода от старых знаний к новым, не обращаясь, каждый раз к опыту. Для этого используется выводное знание, полученное путем рассуждений из старых знаний. Если известно, что “где дым, там и огонь. На холме – дым. То вывод: “на холме – огонь” – истинен, если истинно исходное знание и соблюдены требования логики.

ЗАКОНЫ ФОРМАЛЬНОЙ ЛОГИКИ .

1. Понятие логического закона.

2. Содержание и формы логических законов.

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

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

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

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

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

Формула закона гласит: неверно, что А и не А одновременно истинны. Так не могут быть одновременно истины суждения: этот человек хороший специалист – этот человек плохой специалист. Объективное содержание закона в отражении мышлением особых биномерных признаков самой действительности. Эти противоположные признаки, или конструкты, позволяют классифицировать явления и выделить положительные и отрицательные явления. Не сделав это, нельзя провести различие, с которого начинается умственная деятельность.

Логическое, об истинности одного из высказываний;

Онтологическое, о существовании и не существовании объекта;

Методологическое, обо всей полноте исследования объекта.

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

Закон тождества устанавливает требование определенности мышления: употребляя в процессе размышления термин, мы должны понимать под ним нечто определенное. Поэтому, в рассуждениях необходимо оставлять понятия и суждения теми же самыми по содержанию и смыслу. Это требование сохраняется, если каждое преобразование аннулируется ему обратным образом (нулевое преобразование). Например, операция 2+5=7-5=2.

Чувственное познание и абстрактное мышление

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

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

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

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

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

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

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

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

Основные этапы развития формальной логики

Второй этап – появление математической логики.

Немецкий философ Г.В. Лейбниц(1646 1716) по праву считается основоположником математической логики. Лейбниц пытался построить универсальный язык, с помощью которого споры между людьми можно было бы разрешить с помощью вычисления. В 19 в. Математическая логика получила интенсивное развитие в работах Д. Буля, Э. Шредера, П. С. Порецкого и других логиков.

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

Теоретическое и практическое значение логики

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

Особенно важно значение логики в процессе овладения новыми

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

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

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

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

Заключение

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

Логика – наука о правильном мышлении и все в этом мире подчиняется ее простым и четким законам. Отсюда вывод что без логики в нашем мире царил хаос.

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

Логика как наука. Определение логики

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

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

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

Традиционная логика сформировалась на основе логического учения Аристотеля. Затем она дополнилась методами индуктивной логики. Именно эта логика в течение долгого времени преподавалась в школах и университетах под именем формальной логики.

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

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

Логические исследования языка

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

Логический анализ рассуждений в естественном языке

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

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

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

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

Анализ языка и развитие логической теории

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

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

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

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

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

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

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

Логика и прагматика языка

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

Заключение и выводы

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

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

Читайте также: