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

ПРЕДМЕТ И ЗНАЧЕНИЕ ЛОГИКИ

Введение

Термин “логика” происходит от греческого слова 1оgos, что значит “мысль”, “слово”, “разум”, “закономерность”, и используется для обозначения как совокупности правил, которым подчиняется процесс мышления, отражающий действительность, так и науки о правилах рассуждения и тех формах, в которых оно осуществляется. Мы будем использовать термин “логика” в указанных двух смыслах. Кроме того, данный термин применятся для обозначения закономерностей объективного мира (“логика вещей”, “логика событий”). Этот смысл термина “логика” выходит за пределы нашей книги.

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

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

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

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

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

§ 1. Формы познания

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

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

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

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

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

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

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

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

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

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

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

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

“Саранча опустошает поля” - простое суждение, а суждение “Наступила весна, прилетели грачи” - сложное, состоящее из двух простых.

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

Все металлы - вещества

Литий-металл.

Литий - вещество.

Однородные - в смысле входящие в один класс по фиксированному классообразующему признаку.

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

Растения делятся или на однолетние или на многолетние.

Данное растение является однолетним.

Данное растение не является многолетним.

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

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

“...Практика человека и человечества есть проверка, критерий объективного познания”². Так, прежде чем пустить машину в массовое производство, ее проверяют на практике, в действии, самолеты испытывают летчики-испытатели, действие медицинских препаратов сначала проверяют на животных, потом, убедившись в их пригодности, используют для лечения людей. Прежде чем послать в космос человека, советские ученые провели серию испытаний с животными.

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

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

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

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

4. Абстрактное мышление неразрывно связано с языком. Язык - способ выражения мысли, средство закрепления и передачи мыслей другим людям. Познание направлено на получение истинного знания, к которому приводит как чувственное познание, так и абстрактное мышление. Мышление представляет собой отражение объективной реальности.

§ 2. Понятие логической формы и логического закона

Формальная логика - наука о законах и формах правильного мышления. В. С. Меськов пишет: “...Предметом науки логики являются рассуждения, а сама она есть наука о рассуждениях. Задачей логики как науки является установление законов и правил, которым подчиняются рассуждения”'. Рассуждения облекаются в логическую форму и строятся в соответствии с логическими законами. “...Логические формы и законы не пустая оболочка, а отражение объективного мира”². Выясним более детально, что понимается под логической формой и логическим законом.

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

Структура мысли, т.е. ее логическую форму, можно выразить при помощи символов. Выявим структуру (логическую форму) трех следующих суждений: “Все караси - рыбы”, “Все люди смертны”, “Все бабочки - насекомые”. Содержание у них разное, а форма одна и та же: “Все S суть Р”; она включает S (субъект), т. е. понятие о предмете суждения, Р (предикат), т. е. понятие о признаке предмета, связку (“есть”, “суть”), кванторное слово (“все”). Иногда связка может отсутствовать или заменяться на тире.

Два следующих условных суждения имеют одну и ту же форму:

1) “Если железо нагревать, то оно расширяется”;

2) “Если учащийся изучает логику, то он повышает четкость своего мышления”. Форма этих суждений такая: “Если S есть Р, то S есть Р₁”.

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

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

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

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

Все металлы - твердые тела.

Ртуть не является твердым телом.

Ртуть не является металлом.

Все небесные тела - планеты

Юпитер-небесное тело.

Юпитер - планета.

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

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

Все тигры полосатые.

Это животное полосатое.

Это животное - тигр

4. Все ушастые тюлени - ластоногие.

Все ушастые тюлени - водные млекопитающие

Все водные млекопитающие -ластоногие.

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

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

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

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

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

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

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

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

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

§3. Логика и язык

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

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

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

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

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

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

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

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

Имена делятся на:

1) простые (“книга”, “снегирь”, “опера”) и сложные, или описательные (“самый большой водопад в Канаде и США”, “планета Солнечной системы”). В простом имени нет частей, имеющих самостоятельный смысл, в сложном они имеются;

2) собственные, т.е. имена отдельных людей, предметов, событий (“П. И. Чайковский”, “Обь”), и общие - название класса однородных предметов, (например, “дом”, “действующий вулкан”).

Каждое имя имеет значение и смысл. Значением имени является обозначаемый им предмет'. Смысл (или концепт) имени - это способ, каким имя обозначает предмет, т.е. информация о предмете, которая содержится в имени. Поясним это на примерах. Один и тот же предмет может иметь множество разных имен (синонимов). Так, например, знаковые выражения “4”, “2 + 2”, “9 - 5” являются именами одного и того же предмета - числа 4. Разные выражения, обозначающие один и тот же предмет, имеют одно и то же значение, но разный смысл (т е. смысл выражений “4”, “2 + 2” и “9 - 5” различен).

Приведем другие примеры, разъясняющие, что такое значение и смысл имени. Такие знаковые выражения, как “великий русский поэт Александр Сергеевич Пушкин (1799-1837)”, “автор романа в стихах “Евгений Онегин”, “автор стихотворения, обращенного к Анне Петровне Керн, “Я помню чудное мгновенье”, “поэт, смертельно раненный на дуэли с Ж. Дантесом”, “автор исторической работы “История Пугачева” (1834)”, имеют одно и то же значение (они обозначают поэта А. С. Пушкина), но различный смысл.

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

В логике различают выражения, которые являются именными функциями, и выражения, являющиеся пропозициональными функциями. Примерами первых являются: “х²+ I”, “отец у”, “разность чисел z и 5”; примерами вторых являются: “х- поэт”, “7 +у =10”, “х > у - 7”. Рассмотрим эти два вида функций.

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

Именная функция - это такое выражение, которое не является непосредственно именем ни для какого предмета и нуждается в некотором восполнении для того, чтобы стать именем предмета. Так, выражение х² - 1 не обозначает никакого предмета, но если мы его “восполним”, поставив, например, на место х имя числа 3 (обозначающее это число цифру), то получим выражение З²- 1, которое является уже именем для числа 8, т. е. для некоторого предмета. Аналогично выражение х² + у² не обозначает никакого предмета, но при подстановке на место -x и y каких-нибудь имен чисел, например “4” и “1”, превращается в имя числа 17. Такие, нуждающиеся в восполнении выражения, как x²-1, х² + у² , и называют функциями - первая от одного, вторая от двух аргументов.

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

Приведем примеры пропозициональных функций: “z - город”; “x - советский космонавт”; “у - четное число”; “х + у = 10”; “х³- 1 = 124”.

Пропозициональные функции делятся на одноместные, содержащие одну переменную, называемые свойствами (например, “x - композитор”, “х - 7 == 3”, “z -гвоздика”), и содержащие две и более переменных, называемые отношениями (например, “х > у”; “х - z = 16”; “объем куба x равен объему куба у”).

Возьмем в качестве примера пропозициональную функцию “х -нечетное число” и, подставив вместо х число 4, получим высказывание “4 - нечетное число”, которое ложно, а подставив число 5, получим истинное высказывание “5 - нечетное число”.

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

а) “разность чисел 100 и х”. Это - именная одноместная функция; например, 100-6 есть имя предмета, имя числа 94.

б) “х² +у”. Это - именная двухместная функция; при подстановке вместо х числа 5 и вместо у числа 7 превращается в имя предмета, имя числа 32.

в) “у -известный полководец”. Это пропозициональная одноместная функция; при подстановке вместо y имени “Александр Васильевич Суворов, родившийся 24 ноября 1730 г.”, получим истинное суждение: “Александр Васильевич Суворов, родившийся 24 ноября 1730 г., - известный полководец”, выраженное в форме повествовательного предложения.

г) “z является композитором, написавшим оперы х и y”. Это - пропозициональная трехместная функция. Она превращается в ложное суждение при подстановке вместо z имени “Бизе”, вместо х - “Аида”, а вместо у - “Травиата”. Суждение “Бизе является композитором, написавшим оперы “Аида” и “Травиата”, выраженное в форме повествовательного предложения, является ложным, потому что обе эти оперы написал не Бизе, а Верди.

Понятие пропозициональной функции широко используется в математике. Все уравнения с одним неизвестным, которые школьники решают, начиная с первого класса, представляют собой одноместные пропозициональные функции, например, х + 2 = 7; 10 -х = 4. Неравенства, содержащие одну или несколько переменных, также являются пропозициональными функциями. Например, х < 7 или х² -у > 0.

Семантические категории. Выражения (слова и словосочетания) естественного языка, имеющие какой-либо самостоятельный смысл, можно разбить на так называемые семантические категории, к которым относятся: 1) предложения: повествовательные, побудительные, вопросительные; 2) выражения, играющие определенную роль в составе предложений: дескриптивные и логические термины'.

Суждения выражаются в форме повествовательных предложений (например: “Киев - город”, “Корова - млекопитающее”). В этих суждениях субъектами соответственно являются “Киев”, “корова”, а предикатами - “город”, “млекопитающее”.

К дескриптивным (описательным) терминам относятся:

1. Имена предметов - слова или словосочетания, обозначающие единичные (материальные или идеальные) предметы (“Аристотель”, “первый космонавт”, “7”) или классы однородных предметов (например, “пароход”, “книга”, “стихотворение”, “засуха”, “гвардейский полк” и др.).

В суждении “Енисей - река Сибири” встречаются три имени предмета: “Енисей”, “река”, “Сибирь”. Имя предмета “Енисей” выполняет роль субъекта, а имена “река” и “Сибирь” входят в предикат (“река Сибири”) как его две составные части.

2. Предикаторы (знаки предметно-пропозициональных функций) - слова и словосочетания, обозначающие свойства предметов или отношения между предметами (например, “порядочный”, “синий”, “электропроводный”, “есть город”, “меньше”, “есть число”, “есть планета” и др.). Предикаторы бывают одноместные и многоместные. Одноместные предикаторы обозначают свойства (например, “талантливый”, “горький”, “большой”). Многоместные предикаторы обозначают (выражают) отношения. Двухместными предикаторами являются: “равен”, “больше”, “мать”, “помнит” и др. Например: “Площадь земельного участка А равна площади земельного участка В”, “Мария Васильевна - мать Сережи”. Пример трехместного предикатора - “между” (например: “Город Москва расположен между городами Санкт-Петербург и Ростов-на-Дону”).

3. Функциональные знаки (знаки именных функций) - выражения, обозначающие предметные функции, операции (“сtg ”, “+”,“” и др.).

Кроме того, в языке встречаются так называемые логические термины (логические постоянные, или логические константы).

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

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

В символической логике логические термины (логические постоянные) записываются следующим образом:

-,^ , v, э , >, ?.

Конъюнкция соответствует сонму “и”. Конъюнктивное высказывание обозначается: a ^ b, или а * b, или а & b (например, “Закончились лекции (а), и студенты пошли домой (b)”¹.

Дизъюнкция соответствует союзу “или”. Дизъюнктивное суждение обозначается: a v Ь (нестрогая дизъюнкция) и a v b (строгая дизъюнкция); отличие их в том, что при строгой дизъюнкции сложное суждение истинно только в том случае, когда истинно одно из составляющих суждений, но не оба, а при нестрогой дизъюнкции истинными могут быть одновременно оба суждения. “Он шахматист или футболист” обозначается как а v b. “Сейчас Петров находится дома или в институте” обозначается как а b.

Импликация соответствует союзу “если... то”. Условное суждение обозначается: а > b. (например: “Если будет хорошая погода, то мы пойдем в лес”).

Эквиваленция соответствует словам “если и только если”, “тогда и только тогда, когда”, “эквивалентно”. Эквивалентное высказывание обозначается: а ? b, или а - b, или а>< b.

Отрицание соответствует словам “не”, “неверно, что”. Отрицание высказывания обозначается: в, ?а, ~а [например: “Падает снег” (а); “Неверно, что падает снег” ( в )].

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

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