Контрольные вопросы

1. Каковы причины возникновения науки логики.

2. Кто считается основоположником формальной логики?

3. Какой логический метод исследования Ф.Бэкон считал наиболее универсальным для науки?

4. Какой ученый ХVII в. внес значительный вклад в развитие дедуктивного метода?

5. Что изучает символическая (математическая) логика?

6. Кто ввел в науку понятие «формальной логики»?

7. Кто создал в ХIХ в. наиболее развитую систему диалектической логики?

2. Предмет логики. Логика и язык

Термин "логика" происходит от греческого слова lоgos, что значит "мысль", "слово", "разум", "закономерность". Логика изучает совокупность правил, которым подчиняется процесс мышления. Логика – это наука о правилах рассуждения и тех формах, в которых оно осуществляется.

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

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

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

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

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

В процессе логического познания мы стремимся достичь истины. Логическая истина, или истинность, есть соответствие умозаключения тем правилам мышления, которые для него установлены.

Существенной особенностью абстрактного мышления является его неразрывная связь с языком.

Формальная логика — наука о законах и формах правильного мышления.

Основными формально-логическими законами обычно считаются: 1) закон тождества; 2) закон непротиворечивости; 3) закон исключенного третьего; 4) закон достаточного основания. Эти законы (принципы) выражают определенность, непротиворечивость, доказательность мышления. Логические принципы призваны быть отражением связей и отношений вещей материального мира.

Логика изучает формы и законы правильного мышления. Мышление - это функция человеческого мозга, которая неразрывно связана с языком.

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

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

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

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

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

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

Синтаксические правила языка устанавливают способы образования сложных выражений из простых.

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

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

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

Одна из особенностей искусственных языков состоит в строгой определенности их словаря, синтаксиса и семантики.

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

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

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

Именами являются языковые выражения, подстановка которых в формулу "S есть Р" вместо переменных S и Р дает осмысленное предложение. Именами являются, к примеру, «металлы», «электропроводимость», «Сократ», «философ». Подстановка данных выражений в указанную форму дает осмысленные: «металлы обладают электропроводностью», «Сократ является философом».

Предложение (высказывание) — это языковое выражение, являющееся истинным или ложным.

Высказываниями являются, например, выражения "Ниобий — это инертный газ", "3 есть простое число", «Москва – столица России». Функтор — это языковое выражение, не являющееся ни именем, ни высказыванием и служащее для образования новых имен или высказываний из уже имеющихся.

Например, слово "есть" — это функтор, поскольку оно не представляет собой имени или высказывания, но позволяет из двух имен получить высказывание (скажем, высказывание "Ньютон есть физик").

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

Логика способствует становлению самосознания, интеллектуальному развитию личности, помогает формированию у нее научного мировоззрения.

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