Студопедия

КАТЕГОРИИ:

АвтоАвтоматизацияАрхитектураАстрономияАудитБиологияБухгалтерияВоенное делоГенетикаГеографияГеологияГосударствоДомЖурналистика и СМИИзобретательствоИностранные языкиИнформатикаИскусствоИсторияКомпьютерыКулинарияКультураЛексикологияЛитератураЛогикаМаркетингМатематикаМашиностроениеМедицинаМенеджментМеталлы и СваркаМеханикаМузыкаНаселениеОбразованиеОхрана безопасности жизниОхрана ТрудаПедагогикаПолитикаПравоПриборостроениеПрограммированиеПроизводствоПромышленностьПсихологияРадиоРегилияСвязьСоциологияСпортСтандартизацияСтроительствоТехнологииТорговляТуризмФизикаФизиологияФилософияФинансыХимияХозяйствоЦеннообразованиеЧерчениеЭкологияЭконометрикаЭкономикаЭлектроникаЮриспунденкция

ПОНЯТИЕ О ЛОГИЧЕСКОЙ ФОРМЕ И ЛОГИЧЕСКОМ ЗАКОНЕ.




ОСНОВНЫЕ ЭТАПЫ РАЗВИТИЯ ЛОГИКИ И ЕЕ ЗНАЧЕНИЕ В ПОЗНАНИИ

 

Формальная логика — наука о законах и формах правильного мышления. В. С. Меськов пишет: «... предметом науки логики являются рассуждения, а сама она есть наука о рассуждениях. Задачей логики как науки является установление законов и пра­вил, которым подчиняются рассуждения»3. Рассуждения облека­ются в логическую форму и строятся в соответствии с логичес­кими законами. Выясним, что понимается под логической фор­мой и логическим законом.

Понятие логической формы

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

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

Два следующих условных суждения имеют одну и ту же форму: 1) «Если железо нагреть, то оно расширяется»; 2) «Если учащийся изучает логику, то он повышает четкость своего мыш­ления». Форма этих суждений такая: «Если S есть Р, то S есть P1».

Логические законы

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

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

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

Истинность мысли и формальная правильность рассуждений

Понятие истинности или ложности относится лишь к конк­ретному содержанию того или иного суждения. Если в суждении верно отражено то, что имеет место в действительности, то оно истинно, в противном случае оно ложно. Например, суждение «Все волки — хищные животные» истинно, а суждение «Все гри­бы — ядовиты» ложно.

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

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

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

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

Все тигры — полосатые. Это животное — полосатое.

Это животное — тигр.

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

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

Материалистическая диалектика — глубокое и всестороннее учение о развитии. Законы и категории материалистической диа­лектики рассматриваются как отражение всеобщих связей объективного мира и как ступени развития его познания.

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

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

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

Формальная логика в своем развитии прошла два основных этапа. Основанием деления на эти этапы служит различие приме­няемых в логике средств и методов исследования. Начало первого этапа связано с работами древнегреческого философа и ученого Аристотеля (384—322 гг. до н. э.), в которых впервые дано систематическое изложение логики. Логику Аристотеля и всю доматематическую логику обычно называют «традиционной» формальной логикой. Традиционная формальная логика включа­ла и включает такие разделы, как понятие, суждение, умозак­лючение (в том числе и индуктивное), законы логики, доказатель­ство и опровержение, гипотеза. Аристотель видел в логике ору­дие (или метод) исследования. Основным содержанием аристоте­левой логики является теория дедукции. В логике Аристотеля содержатся элементы математической (символической) логики, у него имеются «начатки исчисления высказываний»6.

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

Немецкий философ Г. В. Лейбниц (1646—1716) по праву счи­тается основоположником математической (символической) ло­гики.

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

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

Другим основанием деления логики служит различие приме­няемых в ней принципов, на которых базируются исследования. В результате такого деления имеем классическую логику и не­классические логики. В. С. Меськов выделяет такие основопола­гающие принципы классической логики: «1) область исследова­ния составляют обыденные рассуждения, рассуждения в класси­ческих науках; 2) допущение о разрешимости любой проблемы; 3) отвлечение от содержания высказываний и от связей по смыс­лу между ними; 4) абстракция двузначности высказываний»7.

 

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

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

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

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

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

В повседневной жизни, в науке, в обучении каждому ежеднев­но приходится из одних истинных суждений выводить другие, опровергать ложные суждения или неправильно построенные доказательства. Сознательное следование законам логики дисциплинирует мышление, делает его более аргументированным, эффективным и продуктивным, помогает избежать ошибок, что особенно важно как для учителей, так и для других людей, а для отдельных видов деятельности, например судей, архиважно. Ка­саясь последнего, Агата Кристи в романе «Десять негритят» пишет: «Купить остров, думал судья, окружить себя атмосферой таинственности вполне в характере Констанции Калмингтон. И судья кивнул головой: он был доволен собой — его логика, как всегда, безупречна...»

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

 

ЛОГИКА И ЯЗЫК

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

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

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

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

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

Язык — это не только средство общения, но и важнейшая составная часть культуры всякого народа.

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

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

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

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

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

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

Каждое имя имеет значение и смысл. Значением имени являет­ся обозначаемый им предмет8.

Смысл (или концепт) имени — это способ, каким имя обозна­чает предмет, т. е. информация о предмете, которая содержится в имени. Поясним это на примерах. Один и тот же предмет может иметь множество разных имен (синонимов). Так, напри­мер, знаковые выражения «4», «2+2», «9—5» являются именами одного и того же предмета: числа 4. Разные выражения, обозна­чающие один и тот же предмет, имеют одно и то же значение, но разный смысл (т. е. смысл выражений «4», «2+2» и «9 — 5» раз­личен).

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

Такие языковые выражения, как «самое глубокое озеро мира»,

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

Соотношение трех понятий: «имя», «значение», «смысл» — схематически можно изобразить таким образом (рис. 1).

Эта схема пригодна, если имя является не только собствен­ным, т. е. приложимым к одному предмету (число 4, А. С. Пуш­кин, Байкал), но и общим (например, «человек», «озеро»). Тогда вместо единичного предмета значением имени будет класс одно­родных предметов (например, класс озер или класс собак и т. д.) и схема останется в силе при данном уточнении, при этом вместо смысла будет содержание понятия.

В логике различают выражения, которые являются именными функциями, и выражения, являющиеся пропозициональными фу­нкциями. Примерами первых являются «х2+1», «отец у», «раз­ность чисел z и 5»; примерами вторых являются: «х — поэт», «7+у=10», « х >у—7». Рассмотрим эти два вида функций.

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

Именная функция — это такое выражение, которое не являет­ся непосредственно именем ни для какого предмета и нуждается в некотором восполнении для того, чтобы стать именем пред­мета. Так, выражение х2 — 1 не обозначает никакого предмета, но если мы его «восполним», подставив, например, на место х имя числа 3 (обозначающее это число цифру), то получим выражение З2 — 1, которое является уже именем для числа 8, т. е. для некото­рого предмета. Аналогично выражение х2 + у2 не обозначает никакого предмета, но при подстановке на место х и у каких-нибудь имен чисел, например «4» и «1», превращается в имя числа 17. Такие нуждающиеся в восполнении выражения, как х21, х2 + у2, и называют функциями: первая — от одного, вто­рая — от двух аргументов.

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

Приведем примеры пропозициональных функций: «z — го­род»; «х есть космонавт»; «у— четное число»; «х + у = 10»; «х3-1 = 124».

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

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

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

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

б) «х2+у». Это именная двухместная функция; при подста­новке вместо х  числа 5 и вместо у числа 7 превращается в имя предмета, имя числа 32;

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

г) «z является композитором, написавшим оперы х и у». Это пропозициональная трехместная функция; превращается в лож­ное суждение при подстановке вместо z имени «Бизе», вместо х — «Аида», а вместо у — «Травиата», т. е. суждение «Визе яв­ляется композитором, написавшим оперы «Аида» и «Травиата», выраженное в форме повествовательного предложения.

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

Семантические категории

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

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

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

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

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

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

3. Функциональные знаки — выражения, обозначающие предметные функции, операции («ctg α», «+», «V-» и др.).

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

В естественном языке имеются слова и словосочетания: «и», «или», «если... то», «эквивалентно», «равносильно», «не», «невер­но, что», «всякий» («каждый», «все»), «некоторые», «кроме», «то­лько», «тот... который», «ни... ни», «хотя... но», «если и только

если» и многие другие, выражающие логические константы (по­стоянные).

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

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

Конъюнкция соответствует союзу «и». Конъюнктивное выска­зывание обозначается , или , или (например, «Закон­чились лекции (а), и студенты пошли домой (b)») .

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

Петров находится дома или в институте» обозначается как

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

Эквиваленция соответствует словам «если и только если»,

«тогда и только тогда, когда», «эквивалентно». Эквивалентное высказывание обозначается , или , или

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

Квантор общности обозначается и соответствует кванто­вым словам «все» («всякий», «каждый», «ни один»). •— запись в математической логике (например, в суждении «Все красные мухоморы ядовиты» кванторное слово «все»).

Квантор существования обозначается 3 и соответствует сло­вам «некоторые», «существует». —запись в математичес­кой логике (например, в суждениях «Некоторые люди имеют высшее образование» или «.Существуют люди, которые имеют высшее образование» кванторные слова выделены курсивом).

Выразим в форме схемы разновидности семантических кате­горий (рис. 2).

Примеры

1. Определить дескриптивные и логические термины в сужде­нии: «Все организмы являются одноклеточными или многокле­точными». В этом суждении дескриптивными терминами явля­ются: «организм», «многоклеточный организм», «одноклеточный организм», а логическими терминами: «все», «или».

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

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

1. Если у меня будет свободное время (а) и я сдам экзамены по педагогике (b) и психологии (с), то я поеду отдыхать в Крым (d) или на Кавказ (е).

Формула:

Здесь буква а обозначает суждение: «У меня будет свободное время»; буква b — суждение: «Я сдам экзамен по педагогике»; буква с — суждение: «Я сдам экзамен по психологии»; буква d— «Я поеду отдыхать в Крым»; буква е — «Я поеду отдыхать на Кавказ».

2. «Если человек с детства и юности своей не давал нервамвластвовать над собой, то они не привыкнут раздражаться и бу­дут ему послушны» (К. Д. Ушинский).

Формула:

Здесь буква а обозначает суждение: «Человек с детства давал нервам властвовать над собой». А так как у нас имеется отрица­ние («не давал»), то запишем

3. «И добродетель стать пороком может, когда ее неправиль­но приложат» (В. Шекспир).

Чтобы выявить структуру этого суждения, надо сначала четко выявить основание и следствие, а для этого данное суждение следует привести к четкой логической форме: «Если добродетель неправильно приложат (а), то она может стать пороком (b)».

Формула:

4. «Если ребенок вырастил розу для того, чтобы любоваться ее красотой, если единственным вознаграждением за труд стало наслаждение красотой и творение этой красоты для счастья и радости другого человека, — он не способен на зло, подлость, цинизм, бессердечность» (В. А. Сухомлинский).

Формула:

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

I. Укажите предметное (денотат) и смысловое (концепт) значения выражений: космонавт, металл, автор комедии в стихах «Горе от ума», орденоносец, писатель, участник Великой Отечественной войны.

II. Укажите, какие из приведенных выражений являются имен­ными функциями и какие пропозициональными; определите их местность (одноместная, или двухместная, или трехместная) и получите из них имена или предложения, выражающие выска­зывания (суждения), — истинные или ложные.

1. Человек х рыжеволос.

2. Разность чисел 15 и z.

3. Сумма х33.

4. х — современное государство.

5. Ученый у современник ученого z.

6. Натуральное число z больше 100.

7. Река х впадает в море у.

8. х, деленное на 4 без остатка.

9. х22<7.

10. х и у — братья.

11. Город х расположен между городами у и г.

12. Крупные художники х и z, жившие в XVIII в.

III. Определите, к каким семантическим категориям относятся следующие выражения:

а) собака лает;

б) громко лающая собака;

в) самая высокая горная вершина мира;

г) песня, раздающаяся в ночной тишине;

д) песня раздалась в ночной тишине;

е) исполнительница народных песен;

ж) некоторые фигуры плоские;

з) автоматизированная система управления.

IV. Придумайте или найдите в литературе 2—3 сложных сужде­ния, содержащих 5—6 простых суждений, и запишите их струк­туру при помощи символов.

V. Выразите в символической форме следующие сложные сужде­ния:

1. Если встать рано на рассвете и пойти в сад или парк, то можно услышать чудесные песни птиц.

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

3. «Видеть несправедливость и молчать — это значит самому участвовать в ней» (Ж.-Ж. Руссо).

4.  Если вы любите детей, полны жажды познания, имеете доброе сердце, мечтаете посвятить себя интересному творчес­кому труду, то смело выбирайте профессию учителя.

5. «Если больному после разговора с врачом не становится легче, то это не врач» (В. М. Бехтерев).

6. Добро не умрет, а зло пропадет.

7. Овца руно растит, а скупой деньгу копит — не про себя.

8. Не будет и скуки, как заняты руки.

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

10. «Если верный конь, поранив ногу, Вдруг споткнулся, а потом опять, Не вини коня, вини дорогу,

И коня не торопись менять».

(Р. Гамзатов).

 

Глава II  ПОНЯТИЕ

ПОНЯТИЕ КАК ФОРМА МЫШЛЕНИЯ

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

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

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

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

Языковыми формами выражения понятий являются слова или словосочетания (группы слов). Например, «книга», «лес», «гоноч­ная спортивная машина», «спортсмен-перворазрядник». Суще­ствуют слова-омонимы, имеющие различное значение, выража­ющие различные понятия, но одинаково звучащие (например, понятие «мир» как объективная реальность и «мир» как отсутст­вие войны; слово «коса» имеет три различных значения и т. д.). Существуют слова-синонимы, имеющие одинаковое значение, т. е. выражающие одно и то же понятие, но различно звучащие (например, око — глаз, враг — недруг, хворь — болезнь и т. д.).

Основными логическими приемами формирования понятий яв­ляются анализ, синтез, сравнение, абстрагирование, обобщение.

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

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

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

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

Анализ — мысленное расчленение предметов на их составные части, мысленное выделение в них признаков.

Синтез — мысленное соединение в единое целое частей пред­мета или его признаков, полученных в процессе анализа.

Сравнение — мысленное установление сходства или различия предметов по существенным или несущественным признакам.

Абстрагирование — мысленное выделение одних признаков предмета и отвлечение от других. Часто задача состоит в выделе­нии существенных признаков предметов и в отвлечении от несу­щественных, второстепенных.

Обобщение — мысленное объединение отдельных предметов в некотором понятии.

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

 

СОДЕРЖАНИЕ И ОБЪЕМ ПОНЯТИЯ

 

Всякое понятие имеет содержание и объем. Содержанием понятия называется совокупность существенных признаков одно­элементного класса или класса однородных предметов, отражен­ных в этом понятии. Содержанием понятия «ромб» является совокупность двух существенных признаков: «быть параллелог­раммом» и «иметь равные стороны».

Объемом понятия называют класс обобщаемых в нем пред­метов. Объективно, т. е. вне сознания человека, существуют раз­личные предметы, например животные. Под объемом понятия «животное» подразумевается множество всех животных, которые существуют сейчас, существовали ранее и будут существовать в будущем. Класс (или множество) состоит из отдельных объек­тов, которые называются его элементами. В зависимости от их числа множества делятся на конечные и бесконечные. Напри­мер, множество планет Солнечной системы конечно, а множест­во натуральных чисел бесконечно. Множество (класс) А называ­ется подмножеством (подклассом) множества (класса) В, если каждый элемент А является элементом В. Такое отношение между подмножеством А и множеством В называется отноше­нием включения класса А в класс В и записывается так:  Это отношение вида и рода (например, класс «ель» входит в класс «дерево»).

Отношение принадлежности элемента а классу А записывает­ся так: (например, а — «Байкал» и А — «озеро»).

Классы А и В являются тождественными (совпадающими), если и , что записывается как Закон обратного отношения между объемами ж содержаниями понятий

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

 

ВИДЫ ПОНЯТИЙ

 

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

Объем единичного понятия составляет одноэлементный класс (например, «великий русский писатель Александр Николаевич Островский»; «столица России» и др.). Объем общего понятия включает число элементов, большее единицы (например, «авто­мобиль», «портфель», «государство» и др.).

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

Кроме общих и единичных понятий по объему выделяют понятия пустые (с нулевым объемом), т. е. такие, объем которых представляет пустое множество (например, «вечный двигатель», «баба Яга», «теплород», «человек, проживший 300 лет», «снегу­рочка», «дед Мороз», персонажи сказок, басен и др.).

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

 










Последнее изменение этой страницы: 2018-05-10; просмотров: 273.

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