1. Определение Определение и сходные с ним операцииЯвляются ли определениями следующие высказывания: «Демократия - это когда люди управляют людьми во благо людей» (А. Линкольн). «Справедливость - это твердое и постоянное желание каждому воздавать по заслугам»

§ 2. ОПРЕДЕЛЕНИЕ Сущность и значение определенияВ научной и практической деятельности часто возникает необходимость раскрыть содержание понятий, которые употребляются в рассуждениях. Так, чтобы правильно квалифицировать совершенное преступление как мошенничество,

25.04.2017 15:16

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

Если человек хочет быть человеком - он постоянно должен мыслить. Думать и создавать мысли могут только люди. Животные в своей жизни руководствуются инстинктами, а человек при принятии любых решений должен всё обдумать, решить задачу и только затем переходить к действиям. Скорость мышления тоже важна, если человек слишком медленно соображает - это нехорошо.

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

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

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

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

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

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

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

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

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

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

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

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

Книги и аудиозаписи

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

Общая характеристика

Итак, что такое логика? Определение логики очень многогранно. В переводе с греческого она означает «мысль», «разум», «слово» и «закономерность». В современной интерпретации данное понятие используется в трех случаях:

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

Задачи логики

Как можно заметить, в каждой конкретной ситуации может быть как минимум один из нескольких ответов на вопрос: «Что такое логика?» Определение задач логики менее объемно. Главная задача - прийти к выводу на основе предпосылок и получить знание о предмете рассуждения, чтобы глубже проникнуться его соотношениями с другими аспектами рассматриваемого явления. В любой науке одним из главных инструментов является логика. Она не только является важным подразделом философии, но и затрагивает некоторые математические учения. "Алгебра логики" - определение, известное в математических кругах. Иногда его путают с которая является основой информатики, но это не совсем верно.

Неформальная логика

Главным образом логику классифицируют на:

1. Неформальную.
2. Формальную.
3. Символическую.
4. Диалектическую.

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

Формальная и символическая логика

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

Диалектическая логика

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

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

Объект логики

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

Предмет логики

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

1. Чувственное познание. Осуществляется с помощью органов чувств или приборов.
2. Рациональное познание. Осуществляется с помощью абстрактного мышления.

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

Чувственное познание

Чувственными образом называют знание о внешних свойствах тех или иных вещей и явлений. Чувственное познание может протекать в трех формах:

1. Ощущение . Отражает отдельные свойства предмета.
2. Восприятие . Отражает предмет в целом, представляет собой его целостный образ.
3. Представление . Это образ предмета, сохранившийся в памяти.

На стадии чувственного познания, человеку не всегда доступна сущность вещей и процессов, их внутренние свойства. Маленький принц из одноименного рассказа Экзюпери говорил: «Самого главного глазами не увидишь». Разум или абстрактное мышление приходят на помощь органам чувств в таких случаях.

Рациональное познание

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

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

Понятие

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

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

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

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

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

Виды определений в логике представлены весьма широко. Определение бывает: интенсиональным, реальным, аксиоматическим, номинальным, явным, неявным, генетическим, контекстуальным, индуктивным и остенсивным.

Суждение

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

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

Умозаключения

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

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

Заключение

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

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

Первые учения Л. возникли в древности (Греция, Индия, Китай). Как наука Л. оформилась в трудах Аристотеля, к-рый подверг анализу разл. формы мышления - понятие, суждение, умозаключение, разработал теорию одного из видов умозаключений - категорич. силлогизма и заложил основы учения о доказательствах. Свое учение Аристотель называл аналитикой и рассматривал ее как науку о средствах обоснования истины. Др. аспект Л. - изучение способов рассуждения, используемых в ходе дискуссии, получил у греков название диалектики. По свидетельству Аристотеля, диалектика была изобретена Зеноном Элейским (5 в. до н. э.) как «иск-во вопросов и ответов». В дальнейшем понятия «Л.» и «диалектика» часто использовались как синонимы.

Начиная со 2-й пол. 5 в. до н. э. Л. (диалектика) преподавалась в Греции софистами. О характере этого «иск-ва» можно судить по диалогам Платона, гл. персонажем к-рых является его учитель Сократ. Представленный в диалогах «сократич. метод» отчетливо демонстрирует, что филос. мысль того времени прочно овладела навыками логич. классификаций и определений, а также методом доказательства путем приведения к нелепости (rcductio ad absurdum). Обучение Л. велось гл. обр. на примерах-образцах. В иск-во построения диспута входил выбор темы и умение повернуть ее определенным образом, о чем можно судить по софистич. учебнику 5 в. до н. э.«Двойные речи», демонстрировавшему возможность обоснования и отвержения одного и того же тезиса. Диалектика, в состав к-рой со временем вошла «доказывающая наука» Аристотеля, была живым иск-вом ведения спора и беседы, ему обучались на практике как ремеслу.

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

Первые учебники Л. появились после того, как в 1 в. до н. э. были обнаружены и привезены в Рим логич. соч. Аристотеля, к-рые воспроизводились и комментировались аристотеликами, в т. ч. авторитетнейшим комментатором Александром Афродисийским (2-3 вв.). Изучение свода логич. соч. Аристотеля («Органон») стало непременной частью философского (для того времени высшего) образования. Однако на фоне заката антич. культуры снизился и уровень логич. знаний и обучения Л.: obria практически утрачена методика диспутов, сформировался «схоластич.» подход к Аристотелю - чтение текста (Аристотеля или его комментаторов) и текстологич. толкования.

Поздняя греч. традиция филос. образования основывалась на истолковании текстов Аристотеля. В ср.-век. Зап. Европе стала доминировать установка на создание учебников по курсу семи свободных искусств. Л. (как диалектика) наряду с грамматикой и риторикой вошла в тривиум - низшую ступень курса и вплоть до 19 в. являлась частью классического образования. Решающее влияние на формирование традиции изучения Л. оказал перевод на лат. яз. «Органона», выполненный Боэцием.

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

Освоение европ. культурным миром полного. текста «Органона» (начиная с сер. 12 в.) положило начало расцвету схо-ластич. Л. (см. Схоластика). В этот период аристотелевская Л. подверглась дальнейшей детализации. Изучались связанные с Л. вопросы семиотики, проблематика логич. модальностей (категорий типа «необходимо», «возможно, что», «невозможно, чтобы» и т. п.), логич. антиномии (возникающие в Л. противоречия, для устранения к-рых предлагаются разл. решения). Вместе с учением о языке Л. рассматривалась при этом как диалектика, а термин «Л.» использовался в назв. своего рода учебников - многочисл. ком-педиумов, составленных на основе и в развитие логич. соч. Аристотеля. В университетском преподавании пользовались популярностью «Логические сумму-лы» («Summulae logicales») Петра Испанского (13 в.). Преподавание Л. шло на фоне дискуссий о том, чем она является- иск-вом (ars) или наукой (scientia).

Гл. содержанием антич. и ср.-век. Л. была теория дедукции как системы умозаключений, позволяющих выводить из достоверных посылок достоверные заключения в ходе применения общих принципов к конкретным ситуациям и случаям. На рубеже 16-17 вв. Ф. Бэкон создал теорию индукции как метода получения общих заключений о явлениях природы, использующего результаты опытов и наблюдений. Г. Галилей ввел в науч. обиход гипотетико-дедуктивные познават. процедуры, соединяющие дедукцию и матем. средства с выдвижением и проверкой науч. допущений - гипотез. Декарт, критикуя схоластич. Л., стремился сочетать логич. дедукцию с интуитивным подбором простейших и очевидных фактов как исходны?! пунктом движения познающей мысли. Декартом была выдвинута идея «универсальной математики», развитая Г. В. Лейбницем до программы всеобъемлющего логич. исчисления, цель к-рой - заменить содержательное мышление вычислением и рассуждением по установл. строгим правилам. Продолжатель филос. традиции Лейбница X. Вольф заложил основы обучения «иск-ву мышления», к-рое излагалось в многочисл. учебниках Л., выходивших в немецкоязычных странах в 18 в. Публикация «Логики» И. Канта (издана в 1800) положила начало т. п. традиц. Л., утвердившейся в немецкой, а затем и в рус. ср. и высш. школе. Для «традиц. Л.» было характерно строгое разделение материала на «учение о понятии», «учение о суждении», «учение об умозаключении», «учение о методе и доказательстве».

Во Франции содержание курсов Л. определило классич. руководство «Логика, или Иск-во мыслить», написанное А. Арно и П. Николем (т. н. логика Пор-Рояля, по назв. монастыря, в к-ром было создано это соч., опубл. 1662). Написанная под влиянием Декарта и Б. Паскаля (среди его трудов было соч. «О геометрич. разуме»), логика Пор-Рояля соединяла в себе осн. положения схоластич. Л. с идеями, шедшими от опытной науки нового времени. Логич. школа Пор-Рояля оказала влияние на развитие Л. в др. странах, включая Россию.

В Англии получило распространение основанное Бэконом индуктивистское направление, к-рое в 19 в. нашло воплощение в труде Дж. С. Милля «Система логики силлогистической и индуктивной» (1843). Однако в англоязычных учебниках Л. в равной мере излагалась теория дедукции и индукции (в т. ч. гипотеза и аналогия).

В сер. 19 в. началась математизация Л., были созданы логич. исчисления, пользующиеся специфич. знаковыми средствами (логич. символикой). В 1847 в Англии вышли труды математиков Дж. Буля «Матем. анализ логики» и А. де Моргана «Формальная логика», в к-рых нашла первое реальное осуществление выдвинутая Лейбницем идея логич. формализации: дедукция и правдоподобные (вероятностные) рассуждения были представлены в виде определенных алгебраич. систем. Пед. аспект нового подхода к Л. нашел отражение в работах У. С. Дже-вонса, построившего механич. логич. машину, служившую для демонстрации простейших умозаключений и обучению работе с логич. формализмом. В трудах нем. логика Г. Фреге (кон. 19 - нач. 20 вв.) был создан новый, отличный от алгебраического, формальный логич. язык, что позволило существенно обогатить Л. (создание Л. предикатов, т. е. Л. свойств и отношений). Значение матем. (символич.) Л. как нового этапа в развитии древней науки было вполне осознано после появления в Англии труда А. Н. Уайтхеда и Б. Рассела «Principia mathematica» (1910-13) и работ Д. Гильберта, вышедших в 1900-20-х гг. (Германия).

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

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

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

В Россию знакомство с Л. пришло вместе с визант. ученостью. Не позднее 14 в. появился перевод соч. визант. богослова и философа Иоанна Дамаскина «Диалектика», в к-ром излагалось логич. учение Аристотеля. В числе «свободных искусств» Л. преподавалась на греч. или лат. языках в Киево-Могилянской и Славяно-греко-лат. академиях. Автор первого известного на Руси учебника Л. (написан на лат. яз. в 80-е гг. 17 в.) - Софроний Лихуд (см. Лихуды). В Славяно-греко-лат. академии Петровичем Макарием было составлено первое уч. руководство по Л. на церк.-слав. языке.

В 17-18 вв. Л. преподавалась гл. обр. как составная часть риторики («Риторика» М. В. Ломоносова) или философии. Так, филос. курс Георгия Конисского, преподававшего в Киево-Могилянской акад. в 18 в., открывался разделом Л.

С появлением гимназий и развитием университетского образования Л. вошла в программы как самостоят. дисциплина. В 1849 была исключена из гимназии, курса, преподавание основ Л. (один уч. час в неделю) возобновилось в 1871. Со 2-й пол. 18 в. стали создаваться многочисл. учебники Л. (отеч. авторов и переводные). В 19 в. интерес к Л. значительно усилился: выходили науч. труды, а также переводы, предназначенные для широкой аудитории (напр., кн. У. С. Джевонса «Основания логики», 1878).

К кон. 19 - нач. 20 вв. Л. преподавалась в ср. светских (гимназии) и духовных уч. заведениях, на всех гуманитарных ф-тах ун-тов. Появился ряд оригинальных отеч. исследований по Л. как филос. (М. И. Карийский, Л. В. Рутковский), так и матем. ориентации (П. С. Порецкий, Е. Л. Буницкий, И. В. Слешинский, С. О. Шатуновский), возникли подходы, сочетавшие традиционно-филос. установки со стремлением учесть достижения матем. Л. (С. И. Поварнин, Н. А. Васильев).

В нач. 20 в. было издано и использовалось в преподавании большое число учебников для ср. школы (А. Е. Светилина, Г. И. Челпанова), ун-тов (М. Владислав-лева, М. М. Троицкого, В. Н. Карпова, А. И. Введенского). Переводились на рус. яз. (или передавались в изложении) матем. -логич. труды признанных логиков и философов (Э. Шредер, Л. Кутюра, Ж. А. Пуанкаре), а также малоизвестных авторов. Разрабатывались вопросы применимости матем. Л. при изучении мышления (Введенский, Поварнин), приложения Л. к технике.

После 1917 преподавание Л. в ср. и высш. школе стало постепенно свертываться; формальная Л. рассматривалась как «классово чуждая» наука. Матем. исследования в области Л. (И. И. Жегалкин, В. И. Гливенко, А. Н. Колмогоров) были замкнуты в рамках математики. Л. как самостоят. науч. дисциплина практически прекратила свое существование.

В 1946 Л. вновь стала преподаваться в школе, на гуманитарных ф-тах ун-тов и пед. ин-тов; был переиздан учебник Челпанова, созданы руководства по Л. сов. авторов В. Ф. Асмуса (1947), К. С. Бакрадзе (1951) и др. Однако ограничение преподавания рамками традиц. Л. и отсутствие квалифицир. специалистов, владеющих логич. техникой, обусловило низкий науч. уровень преподавания, в ходе «борьбы против перегрузки учащихся» в сер. 50-х гг. Л. была исключена из уч. курсов ср. школы и ряда вузов. В 40- 50-е гг. вышли в рус. переводе классич. книги по матем. Л. - А. Тарского, Д. Гильберта и В. Аккермана, С. К. Клини, А. Черча.

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

Лит.: Аристотель, Соч., т. 2, М., 1978; Ми л ль Дж. С., Система логики силлогистической и индуктивной, пер. с англ., M.; Лукасевич Я., Аристотелевская силлогистика с точки зрения совр. формальной логики, пер. с англ., М., 1959; Попов П. С., История логики нового времени, М., 1960; Маковельский А. О., История логики, Ми967; С т я ж к и и Н. И., Формирование матем. логики, М., 1967; С то л л Р., Множества. Логика. Аксио-матич. теории, пер. с англ., М., 1968; К а р-ри X. Б., Основания матем. логики, пер. с англ., М., 1969; Столяр А. А., Педагогика математики, Минск; Марков А. А., О логике конструктивной математики, М., 1972; К лини С. К., Матем. логика, пер. с англ., М., 1973; Бирюков Б. В., Геллер Е. С., Кибернетика в гуманит. науках, М., 1973; Попов П. С., Стяжкин Н. И., Развитие логич. идей от античности до эпохи Возрождения, М., 1974; Формальная логика, Л., 1977; Логика и проблемы обучения, М., 1977; Фридман Л. М., Турецкий E. H., Как научиться решать задачи, M.; Очерки истории школы и пед. мысли народов СССР с древнейших времен до кон. XVII в., М., 1989, с. 213-15 («Диалектика» Иоанна Дама-скина); Кэрролл ЛЛогич. игра, пер. с англ., М., 1991. Б. В. Бирюков, 3 - А. Кузичева. Ю. А. Шичалин.

Отличное определение

Неполное определение ↓

ЛОГИКА

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

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

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

В логической семантике язык и логические теории изучаются с содержательной их стороны; Так как ЯЗЫКОВЫЕ конструкции не только обозначают, но и нечто описывают (имеют ), в логической семантике различают теорию значения и теорию смысла. В первой решается вопрос, какие объекты обозначают знаки и как именно они это делают. Аналогично в теории смысла решается вопрос о том, что является смысловым содержанием языковых выражений и каким образом они описывают это содержание.

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

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

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

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

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

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

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

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

Еще одно важное членение логических теорий связано с использованием для представления логического знания языков с различной категориальной сеткой. В этой связи можно говорить о теориях, построенных на языках фреге-расселовского типа (многочисленные варианты исчисления предикатов), силлогистического (разнообразные силлогистики, а также Лесневского, являющаяся современной формой сингулярной силлогистики) или алгебраического (различные алгебры логики и алгебры классов - Булева алгебра, алгебра Жегалклна, алгебра де Моргана, алгебра Хао Вана и др.). Для многих теорий, построенных на языках с различной категориальной сеткой, показана их взаимная переводимость. В последнее время в логических исследованиях начинает активно использоваться теоретико-категорный язык, основанный на новом математическом аппарате - теории категорий.

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

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

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

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

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

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

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

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

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

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

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

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

Сводная энциклопедия афоризмов