Министерство образования республики Беларусь
Учреждение образования
«БЕЛОРУССКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ИНФОРМАТИКИ И РАДИОЭЛЕКТРОНИКИ»
Институт информационных технологий
Специальность Системы радиосвязи, радиовещания и телевидения (СРРиТВ)
Контрольная работа
По курсу Логика
Вариант № 1
Минск, 2011
Тема 1: Логика как наука о мышлении, ее предмет и задачи
План:
1. Мышление и язык. Естественные и искусственные языки.
2. История логики и формализация мышления. Язык исчисления предикатов.
Мышление и язык. Естественные и искусственные языки.
Логика – это наука о законах и операциях правильного мышления.
Основной задачей логики является отделение правильных способов рассуждения (выводов, умозаключений) от неправильных.
Язык есть средство актуализации мыслей, необходимое условие осуществления мыслительного процесса. Мышление неразрывно связано с языком и вне его если и существует, то не осознается нами. Поэтому язык является не только средством объективизации мыслей, но и способом осознания их.
Язык как форма и мышление как содержание составляют неразрывное тождество, которое само по себе не является ни формой, ни содержанием, но одновременно является и тем и другим. Но поскольку это тождество содержит в себе различие, то в целях анализа мы можем рассмотреть форму в отрыве от содержания, и наоборот, хотя неразрывность означает, что форма не может быть бессодержательной, а содержание неоформленным.
Непонимание этого единства привело к возникновению двух мнений о сфере изучения формальной логики. Одни утверждают, что логика изучает мышление, другие настаивают на том, что она имеет дело с языком. Обе эти точки зрения односторонни, а потому неточны. Логика, как об этом уже говорилось во введении, имеет своим объектом исследования не мышление само по себе и не язык сам по себе, а что-то среднее, представляющее собой их единство.
Широкое распространение получило утверждение, трактующее язык и мышление как материальное и идеальное явление. Утверждая это, под языком имеют в виду только внешний язык — письмо и речь, а под мышлением — внутреннюю речь. Но и последняя есть единство языка и мышления, хотя и не является материальным процессом.
К. Маркс определил язык как непосредственную действительность мысли. Для многих последователей Маркса атрибут действительности свойственен только материальным вещам. На самом деле ею обладают не только материальные образования, но и мысли и вообще все духовное, которое ошибочно отождествляется с идеальным. Идеальное есть нечто еще не осуществленное, не преобразованное в реальность, а потому еще не действительное. Мышление реализуется в языке и тем самым становится действительным: благодаря внутренней речи мышление человека становится действительным для него, а через внешнюю речь — и для других.
Язык не материальная оболочка мысли, а способ ее осознания и объективизации. Мысль, не оформленная в языке, не осознается нами, хотя, очевидно, и существует, подтверждением чему является так называемая интуиция. Поэтому язык — непосредственная действительность мышления, а действительное мышление проявляет себя в форме осмысленного языка.
По способу образования отличают два типа языков — естественные и искусственные. Под естественным языком понимают знаковую систему, сложившуюся исторически и используемую людьми, образующими отдельный этнос.
Естественный язык представляет собой универсальную знаковую систему: с его помощью можно выразить и передать другим людям любое, содержание сознания, любую мысль.
К достоинствам естественного языка принадлежат:
- гибкость;
- способность выражать одну и ту же мысль разными текстовыми конструкциями;
- доступность для всех представителей сообщества, говорящих на нем.
Однако эти достоинства оборачиваются недостатками при их использовании в науке для выражения и фиксации теоретических знаний. Пожалуй, самые большие неудобства для науки создает многозначность слов (полисемия). Большинство слов естественного языка имеют не одно, а несколько значений, иногда родственных, а иногда очень отдаленных; громоздкость и трудная обозримость конструкций, в которых выражаются теоретические положения, очень затрудняют восприятие их смысла. И, наконец, естественный язык эмоционален. Он хорошо приспособлен для передачи внутренних переживаний, воздействия на других людей, пробуждения у них соответствующих чувств, но как раз это свойство вместе с многозначностью и изменением значений слов с течением времени делает его непригодным для строгого научного анализа.
Отмеченные недостатки естественного языка не создают особых затруднений в повседневном общении, хотя и могут иногда приводить к недоразумениям. В научном же познании они становятся препятствиями в адекватном описании внеязыковой реальности. Способом избавления от недостатков естественного языка является построение искусственных языков.
Искусственным называется язык, выражения которого строятся по заранее сформулированным правилам. Среди искусственных языков различают: содержательные (словесные, неформализованные) и формализованные.
К содержательным искусственным языкам можно отнести так называемый язык науки, который представляет собой обработанный при помощи конструктивных определений естественный язык. Ученые любой отрасли знаний стремятся устранять или ослаблять негативное влияние отмеченных недостатков естественного языка, и прежде всего полисемии, договариваясь употреблять то или иное слово только в одном строго определенном смысле. Такие строго однозначные слова называются терминами. Совокупность терминов той или иной науки составляет ее терминологию.
Иногда одно и то же слово может быть использовано в качестве термина в разных науках, каждая из которых вкладывает в него отличный от другой смысл. Например, слово «субъект» в формальной логике обозначает предмет, о котором высказываются, в то время как в философии то же слово обозначает человека, противостоящего объекту в познавательном отношении.
Содержательно искусственными являются языки типа эсперанто.
Формализованным языком называется искусственно построенная по заранее разработанным правилам знаковая система, в которой выражения естественного языка замещены буквенными символами. Последние при этом могут обозначать внеязыковые объекты. Кроме буквенных символов, формализованный язык включает и операциональные символы, в алгебре, например, это знаки арифметических действий. К формализованным языкам принадлежат и языки программирования для ЭВМ.
Формализованные языки не только избавляют от громоздкости конструкций естественного языка, но и могут представлять собой средство познания количественных и иных соотношений (в математике, химии и др.), а также наиболее общих логических отношений.
Основные знаки формализованных языков:
- буквенные и операциональные символы;
- образованные из этих символов по заданным правилам сложные символические конструкции — формулы.
Совокупность правил образования и преобразования формул формализованного языка составляет его синтаксис.
Современная формальная логика выросла из традиционной, удалившись вследствие своей высокой абстрактности от непосредственной мыслительно-речевой деятельности.