Что есть логика. Значение слова логика

ЛОГИКА КАК НАУКА

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

2. Возникновение и развитие логики

3. Язык логики

4. Формы и законы мышления

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

Ключевые слова: логика, мышление, чувственное познание, абстрактное мышление.

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

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

Нам известно, что первым уровнем выступает чувственное познание. Оно осуществляется на основе органов чувств, их осмысления и синтеза. Напомним основные формы чувственного познания:

1) ощущение;

2) восприятие;

3) представление.

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

а) понятие;

б) суждение;

в) умозаключение.

Прибегая к данным формам познания, человек руководствуется такими приемами как абстрагирование, обобщение, отвлечение от частного, выделение существенного, выведение нового знания из ранее известного и пр.

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

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

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

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

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

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

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

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

Задачи и упражнения

1. Один и тот же кубик, на гранях которого расположены цифры (0, 1, 4, 5, 6, 8), находится в трёх различных положениях.

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

2. Светлана, Лариса и Ирина изучают в вузе разные иностранные языки: немецкий, английский и испанский. На вопрос, какой язык изучает каждая из них, их подруга Марина робко ответила: «Светлана изучает английский, Лариса не изучает английский, а Ирина не изучает немецкий». Оказалось, что в этом ответе лишь одно утверждение является истинным, а два – ложным. Какой язык изучает каждая девушка?

3. Иванов, Петров, Степанов и Сидоров – жители г.Гродно. Их профессии – кассир, врач, инженер и милиционер. Иванов и Пертов – соседи, они всегда ездят на работу вместе на автомобиле. Петров старше Сидорова. Иванов всегда обыгрывает Степанова в шахматы. Кассир всегда ходит на работу пешком. Милиционер не живёт рядом с врачом. Инженер и милиционер встречались единственный раз, когда первый оштрафовал второго за нарушение правил дорожного движения. Милиционер старше врача и инженера. Кто есть кто?

4. Друзья-мушкетёры Атос, Портос, Арамис и д’Артаньян решили позабавиться перетягиванием каната. Портос с д’Артаньяном легко перетянули Атоса с Арамисом. Но когда Портос стал вместе с Атосом, то они одержали более трудную победу над д’Артаньяном и Арамисом. А когда Портос с Арамисом боролись против Атоса с д’Артаньяном, то никто не смог перетянуть канат. Как по силе распределяются мушкетёры?

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

2. Возникновение и развитие логики

Ключевые слова: дедукция, формальная логика, индуктивная логика, математическая логика, диалектическая логика.

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

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

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

Основоположником логики как науки, создателем формальной логики принято считать древнегреческого философа, античного ученого энциклопедического ума Аристотеля (384 – 322 гг. до н.э.). В книгах «Органона»: «Топика», «Аналитики», в «Герменевтике» и др. мыслитель разрабатывает важнейшие категории и законы мышления, создает теорию доказательства, формулирует систему дедуктивных умозаключений. Дедукция (лат.: выведение) позволяет выводить истинное знание о единичных явлениях, исходя из общих закономерностей. Аристотель впервые подвергает исследованию само мышление как активную субстанцию, форму познания и описывает условия, при которых оно адекватно отражает действительность. Логическую систему Аристотеля часто называют традиционной, поскольку в ней содержатся основные теоретические положения о формах, и приемах мыслительной деятельности. Учение Аристотеля включает в себя все основные разделы логики: понятие, суждение, умозаключение, законы логики, доказательство и опровержение. По глубине изложения и общезначимости проблематики его логику называют классической: пройдя испытания на истинность, она и сегодня сохраняет свою актуальность, оказывает мощное воздействие на научную традицию.

Развитие логического знания. Дальнейшим развитием античной логики стало учение философов-стоиков, которые вместе с философско-этической проблематикой логику считают «проистечением мирового логоса», его земной, человеческой формой. Стоики Зенон (333 – 262 гг. до н.э.), Хрисипп (ок.281 – 205 до н.э.) и др. дополняют логику системой высказываний (пропозиций) и выводов из них предложили схемы умозаключений на основе сложных суждений, обогатили категориальный аппарат и язык науки. К этому времени (3 в. До н.э.) относится возникновение самого термина «логика». Логическое знание преподносилось стоиками несколько шире классического воплощения. Оно соединило в себе учение о формах и операциях мышления, искусство ведения дискуссии (диалектика), мастерство публичных выступлений (риторика) и учение о языке.

В Новое время в период широкого распространения в Европе естественнонаучного знания (механика, география и т. Д.) возникают потребности в дополнении системы дедуктивных умозаключений принципами индуктивного мышления. Накопленный эмпирический, фактический материал, частные случаи из практики и жизни путем сравнений и обобщений оказалось возможным построить так, что они приведут к истинным суждениям общего характера. Знание о единичных вещах может «навести» (лат.: inductio) на мысль о наличии общих закономерностей их существования. Это свойство мышления как научную закономерность в противоположность схоластическим рассуждениям отметил в своем труде «Новый Органон или Истинные указания для истолкования природы» английский философ и естествоиспытатель Фрэнсис Бэкон (1561 – 1626). Он выступил, таким образом, родоначальником индуктивной логики

Специфику научного познания отразил в рационалистической методологии французский мыслитель Нового времени Рене Декарт (1596 – 1650). В «Рассуждении о методе, чтобы верно направлять свой разум и отыскивать истину в науках» и «Правилах для руководства ума» он формулирует важнейшие методы познания: аксиоматический, аналитический и синтетический, а также, в завершении познания, метод систематический. Высшей формой реализации рационалистической методологии, по Декарту, является математика. Логике отводится роль методологии познания, способной обнаружить пути обретения новых истин, приращения знания.

Основополагающие идеи математической (или символической) логики были предложены немецким мыслителем Г.В.Лейбницем (1646 – 1716) в работах «Об искусстве комбинаторики», «Опыт универсального исчисления», «О математическом определении силлогических форм» и др. Он развивает вопросы традиционной логики (формулирует закон достаточного основания, работает над систематизацией категорий логики и пр.), но больше внимания уделяет формализации языка, математизации стиля логического мышления. С этого времени в логике стали использоваться специальные знаки-символы, не употребляющиеся в естественном языке. Лейбниц впервые исследовал возможности арифметизированного логического вывода на основании соответствия законов логики и законов математики. Этим ставится цель привести теоретические научные рассуждения к математическим расчетам, благодаря которым возможно разрешить любой спор и прийти к истине.

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

В ХIХ в. символическая логика становится наиболее привлекательной сферой логического знания. Среди наиболее известных представителей математической логики выделяется английский математик Д. Буль (1815 – 1864). В работах «Математический анализ логики» и «Исследование законов мышления» он закладывает основы алгебраических исчислений конкретных элементов (классов) как отношений (операций). Буль стремился перевести на язык знаков отношения между идеями, объектами и абстрактными системами. Булева алгебра – это решение логических задач путем использования трех операций: а) сложение классов (А U В), умножение классов (А ∩ В), и дополнение к классу (А′). Алгебра Буля была применима и в прикладных случаях, например, при интерпретациях конкретно-релейных схем, в исчислениях при программировании в ЭВМ и т.д.

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

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

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

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

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

Диалектическая логика, накапливая и обобщая свое знание в течение всего периода развития логики, в систематизированном виде была изложена в немецкой классической философии. В работах И. Канта (1724 – 1804) «Критика чистого разума» и «Критика способности суждения» проведено обоснование трансцендентальной логики, определяющей происхождение, содержание и объективную значимость априорных знаний. В философии Гегеля (1770 – 1831) нашла свое завершение объективно-идеалистическая система диалектической логики как всеобщей формы самопознания и саморазвития понятия. В работе «Наука логики» он не только подвергает критике формально-логические законы мышления как «неонтологические», но и обосновывает принципиально иное содержание логических знания – законов, понятий и умозаключений, в основе которых находится диалектика мышления объективного духа.

Новый этап в понимании диалектической логики связан с именами К. Маркса (1818 – 1883) и Ф. Энгельса (1820 – 1895). В работах Ф. Энгельса «Анти-Дюринг», «Диалектика природы», К. Маркса «Капитал» и др. толкование развивающихся форм основывается не на изначальности «саморазвивающегося понятия», а на обнаружении диалектических изменений в самом объективном (материальном) мире. Природа и общество, с их точки зрения, являются основанием для понимания законов диалектического мышления. В марксистской диалектике с материалистических позиций формулируются три важнейших закона диалектики (закон единства и борьбы противоположностей, закон взаимного превращения количественных и качественных изменений, закон отрицания отрицания), основные принципы и категории материалистической диалектики.

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

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

Задачи и упражнения

1. Пользуясь математической последовательностью действий, раскройте секрет угадывания чисел. Задумайте любое число, отнимите от него 1, результат умножьте на 2, из полученного произведения отнимите задуманное число и сообщите результат. Как отгадать задуманное товарищем число?

2. Как отмерить 6 литров воды, если имеются ёмкости 9 литров и 4 литра:

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

произношение, словесное оформление, изобретение, план, запоминание.

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

3. Язык логики

Ключевые слова: язык, семиотика, семантические категории, искусственный язык, термин.

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

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

В исследовании языковых выражений мысли логика видит свою одну из основных и непосредственных задач. Изучением языка как знаковой системы занимается семиотика, выявляющая специфику его построения и употребления. Один из ее разделов – синтаксис – анализирует специфику, структуру, способы образования и преобразования языка, отношений между знаками системы. Например, отношения равенства (3 + 2 = 5), отношения следования («Cogitoergosum»), отношения доказательства (доказательство теоремы Пифагора) и пр.

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

Существует еще один тип отношений, без которого немыслимо ни построение языка, ни его практическая реализация. Это – семантическое отношение: отношение между знаками системы и обозначаемыми ими объектами, предметом и его именем (теория референции), отношение знаков и содержания ими замещаемого, смыслового выражения языка (теория смысла). Этот раздел называется семантикой. Семантические категории обозначают такой класс языковых смыслов и референций, который сохраняет свою осмысленность при замене одного знака другим. Например, высказывание 3 + 2 = 5 остается осмысленным при замене знака «2» на знак «3», или, скажем, если знак «+» заменить на знак «-». Теряя при этом истинность, оно останется семантически определенным. В языке традиционной логики существует три общих класса семантических категорий: имя, функтор, высказывание.

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

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

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

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

а) простые и сложные (описательные): например, соответственно - земля и столица Республики Беларусь);

б) единичные (собственные) и общие (например, соответственно - Василь Быков и закон).

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

Высказывание – языковое выражение, содержащее истинную либо ложную мысль. Например, «Наполеон был императором Франции». Это – грамматически правильное, семантически определенное, четко сформулированное, завершенное повествовательное предложение. Например, «Простые числа делятся на два типа». Высказывание бывает истинным либо ложным. Это его логические значения. Например, высказывание «Солнце размерами больше Марса» является истинным, однако перестановка местами имен в этом высказывании приведет к ложному значению.

Выражение, служащее в высказывании средством образования новых осмысленных высказываний, называется функтором. Функтор не является ни именем, ни высказыванием. Это – служебное языковое образование, посредством которого так называемые аргументы образуют новое высказывание. Например, Если а = в, то 2а = 2в, 2 + 3 = 5. В этих примерах функторами выступают знаки математических связей: «=» и «+». Функторы бывают одноаргументными (Лес зазеленел), двухаргументными («Подлость опаснее лжи», 3 + 4 и т.д.). В традиционной логике двухаргументные функторы часто называют логическими союзами (логическими связками).

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

Именная функция – выражение, которое содержит переменные, превращающиеся в имя при подстановке вместо них соответствующих аргументов. Примерами именной функции могут быть выражения «космонавт х», «брат у». То есть, при замене переменных х и у данные выражения превращаются в обозначение предмета, название, именование вещи и пр.

Пропозициональная функция выражает собой форму высказывания, в которой при подстановке вместо переменных соответствующих значений образуется семантически определенное высказывание. Например, х больше у, х открыл закон прибавочной стоимости. Пропозициональная функция, аргументы которой – имена, называется предикатом. Например, R является президентом фирмы. Предикат, обозначающий свойство предмета и имеющий одну переменную – имя, называется одноместным предикатом (А обозначает качество). Двух (n - местные) предикаты, располагая двумя и более количеством переменных обозначают отношения между именами – переменными: «а любит в», «а находится между в и с» и пр.

В логике существует потребность выражать различные степени связывания переменных посредством так называемых операторов. Наиболее распространенными операторами являются а) квантор общности, констатирующий наличие свойства, качества, отношения, присущие всему классу явлений по принципу «для всякого х истинно, что…». К примеру, такой квантор содержит высказывание «Всякий предмет тебе разъяснят философские книги» (Гораций). б) квантор существования, обозначающий распространенность тех или иных свойств или отношений на некоторую часть из всего класса явлений. Например, фраза «Существует внутреннее мужество – мужество совести» (С. Смайлс) содержит квантор существования. Формулой квантора существования является выражение: «существует х, для которого…».

Обобщая общепринятую и чаще всего используемую логическую терминологию, следует ее запечатлеть в формализованном виде:

1) имя - А, В, С и т.д.;

2) функторы (логические константы) –

Ú - «или»;

® - «если, то»;

« - «тогда и только тогда, когда»;

ù , ¯¯¯ - «неверно, что»;

- «необходимо» ;

à - «возможно»,

3) предметные переменные – а, в, с;

4) пропозициональные переменные – p, q, r, s;

5) именная функция - а (х);

6) пропозициональная функция - х Р(х);

7) предикатор - P, Q, R; одноместный предикат - Р (х): (х имеет свойство Р); двухместный предикат Р (х; у): (х и у имеют отношение к Р);

8) скобки - (;);

9) квантор общности - " х (для всякого х верно, что…);

10) квантор существования - $ х (существует х, для которого верно, что…).

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

Задачи и упражнения

1. Вставьте пропущенные цифры и буквы в пустые квадраты, используя скрытые последовательности цифр и букв.

3. Составьте языковые выражения, отражающие:

а) отношение доказательства; б) отношение следования, в) осмысленное, но ложное высказывание; г) именную функцию; д) квантификацию существования.

4. Проведите сравнительную характеристику формализованного и естественного языков логики.

5. Преобразуйте пропозициональные и именные функции в истинные высказывания: а) х причина у; б) х – простое число; в) А – город в Беларуси; г) Х – автор романа «У»; д) между а и в расположено с; е) если р то q.

4. Формы и законы мышления

Ключевые слова: форма мысли, логический закон, логическое следование.

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

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

Форма мышления, устанавливающая качественные и количественные отношения между предметами мысли и фиксирующая их в виде утверждений либо отрицаний называется суждением. Так, например, отношение человека к благам посредством производственной деятельности может быть выражено в суждении «Человек в процессе трудовой деятельности создает материальные и духовные блага». Суждения, различные по содержанию, по эмоционально-оценочным и прочим аспектам, всегда можно свести к единой унифицированной форме (структуре) мысли. Способ соединения всех его частей с точки зрения формальной логики будет одинаков. Если мы обозначим понятия, входящие в структуру суждения, знаками S (субъект мысли), т. е. то, о чем (о ком) идет рассуждение) и Р (предикат – констатация, выражение признаков либо свойств обозначенного субъекта (S)). Если способ их связи мы представим в виде логической связки «есть» (является, значит и т. п.), то получим логическую форму, общую для любых суждений: S - Р (Все S суть Р). К примеру, структура высказываний: «Всякий человек достоин счастья», «Река – водная артерия земли» и «Сумма углов треугольника равняется 180 градусам» в принципе одинакова, несмотря на их содержательную, смысловую полифонию. В них можно выделить S(человек, река, сумма углов треугольника), Р (достоин счастья, водная артерия земли, 180 градусов) и утвердительную логическую связку, в данных примерах подразумевающуюся, но лингвистически невыраженную.

Более сложной формой мышления, приводящей к установлению нового знания, благодаря тому или иному способу соединения предыдущих суждений-оснований, выступает умозаключение. В этом случае устанавливается четкая однозначная логическая связь между суждениями-основаниями (посылками), соблюдение которой приводит всегда к новому истинному выводу-следствию. Например, какое знание можно получить, располагая двумя суждениями (предложениями): «Всякое научное знание имеет свой предмет изучения» и «Культурология является научным знанием»? Заключение (вывод) здесь очевидно – «Культурология имеет свой предмет изучения». Какие бы высказывания не подставлялись в структуру такого правильного рассуждения, если посылки истинны, соблюдены правила вывода, значит и заключение (новое знание) также будет истинным.

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

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

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

Логический закон и логическое следование. С понятием логической формы связаны понятия логического закона и логического следствия. Правильная связь элементов мыслей в ходе рассуждения определяется законами мышления – логическими законами. Логическим законом называется выражение, сохраняющее свою истинность, независимо от его конкретного содержания. Так, высказывание «Если для всех х верно, что х есть Р, то ни существует ни одного х не являющегося Р» будет истинным (являться законом) в любом случае, какое бы конкретное содержание оно не имело. Например, подставив в эту языковую формулу имена, получим: «Если для всех людей верно, что они обладают сознанием, то не существует ни одного человека, у которого оно отсутствует».

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

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

Основными формально-логическими законами считаются:

1. закон тождества: всякая мысль в процессе рассуждения должна быть тождественна самой себе. ((р → р): если р, то р). «Всякий человек – это человек», «Duralex, sedlex» (суров закон, но закон).

2. закон непротиворечия: из двух несовместимых друг с другом суждений одно является ложным.ù(р Ùùр): (неверно, что р и не-р). Т. е. не может быть одновременно ложными две мысли, если одна из них отрицает другую. Причем, речь идет об одном и том же предмете мыслимом в одно и то же время и в конкретном отношении. « Некоторые ученые хотят быть признанными» и «Некоторые ученые не хотят быть признанными».

3. закон исключенного третьего: истинно либо само высказывание, либо его отрицание: (р Úùр): (р или не-р). «Некоторые студенты первого курса связаны с экономической деятельностью. Ни один студент первого курса не связан с экономической деятельностью». Т. е. одновременно истинным не могут быть два противоречивых высказывания, одно из них обязательно ложно. Третьего варианта не дано. Снег бел, либо не бел.

4. закон достаточного основания: мысль является истинной, если она имеет достаточное для этого основание. (р → q); (р есть потому, что есть q). Доказанность мысли наступает лишь тогда, когда она опирается на обоснованные, существенные, основополагающие аргументы. Вот один из примеров: «Для того чтобы треугольник был равносторонним необходимо и достаточно, чтобы все его углы были равны».

Законы мышления – это проявление так называемого логического следования. Логическим следованием называется мыслительное отношение, которое существует между посылками (суждениями) и выводимыми из них заключениями (выводами). Логическое следование выступает своеобразной моделью построения мысли по принципу: когда из нашего высказывания р логически следует высказывание q и это высказывание истинно как р → q, то на этом основании новое высказывание ùq → ùp также будет истинным. То есть, истинность высказывания р → q, гарантирует истинность высказывания ùq → ùр. Основным принципом логического следования является утверждение о том, что правильность более общей схемы гарантирует правильность менее общей схемы, но не наоборот.

Задачи и упражнения

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

а) понятие; б) суждение; в) умозаключение.

2. Являются ли следующие высказывания проявлением законов логики:

а) достаточного основания: «У человека повышена температура тела, следовательно, он заболел», «Данная мысль построена правильно, поэтому она истинна»;

б) исключенного третьего: «Все студенты изучают логику или ни один из студентов не изучает логику», «Постановление суда является законным или не является таковым»?

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

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

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

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

Что такое логическое мышление?

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

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

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

Теперь мы можем дать определение самому логическому мышлению.

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

Также выделяют несколько видов логического мышления, перечислим их, начиная с самого простого:

Образно-логическое мышление

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

Чтобы понять, насколько у вас развит этот вид мышления, предлагаем вам пройти Тест на IQ «Прогрессивные матрицы Равена»

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

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

Абстрактно-логическое мышление

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

Словесно-логическое мышление

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

Применение логики

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

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

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

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

Умение логически мыслить объединяет в себе множество навыков по использованию различных мыслительных действий и включает в себя:

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

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

Как этому научиться?

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

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

Практическое обучение направлено на применение полученных знаний в жизни. Однако в действительности современное обучение практической логике обычно связано прохождением разных тестов и решением задач на проверку уровня развития интеллекта (IQ) и почему-то не затрагивает применение логики в реальных жизненных ситуациях.

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

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

Уроки логики

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

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

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

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

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

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

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

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

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

Как проходить занятия?

Сами уроки со всеми упражнениями можно пройти за 1-3 недели, усвоив теоретический материал и немного попрактиковавшись. Но для развития логического мышления важно заниматься системно, много читать и постоянно тренироваться.

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

Дополнительный материал

Помимо уроков в данном разделе мы постарались подобрать много полезного материала по рассматриваемой тематике:

Логические задачи;
Тесты на логическое мышление;
Логические игры;
Самые умные люди России и мира;
Видеоуроки и мастерклассы.

А также книги и учебники, статьи, цитаты, вспомогательные тренинги.

Книги и учебники по логике

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

«Прикладная логика». Николай Николаевич Непейвода;
«Учебник логики». Георгий Иванович Челпанов;
«Логика: конспект лекций». Дмитрий Шадрин;
«Логика. Учебный курс» (учебно-методический комплекс). Дмитрий Алексеевич Гусев;
«Логика для юристов» (сборник задач). А.Д. Гетманова;

Логика – это наука о мышлении. Основатель науки Аристотель.

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

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

Предмет логики – человеческое мышление. Сам термин «мышление» является достаточно широким и не дает возможности определить специфику логики по отношению к другим наукам.

Значение логики состоит в следующем:

1) логика выступает важнейшим средством формирования убеждений (прежде всего научных).

2) формальная логика применяется в науке и технике.

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

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

2. Формы мышления

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

Мышление начинается с форм чувственного познания мира – ощущения, восприятие, представление.

Мышление – это высшее по отношению к чувственной форме отражение бытия.

Понятие – это логическая мысль о каком-либо предмете с опред набором существенных признаков.

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

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

ЛОГИКА

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1) Логика - В книге: 1) универсальная граница данности вещей в мире, сама остающаяся незримой; 2) методика косвенного выявления этой границы.

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

3) Логика - - учение о связях и последовательностях человеческого мышления, о формах его развития, о различных соотношениях мыслительных форм и их преобразованиях. Л. рассматривает вопросы о средствах существования мышления, языках закрепления, воспроизводства, трансляции мыслительных процессов. В широком смысле Л. есть усмотрение связей не только мышления, но и бытия, т. е. Л., выявляющая "логику вещей", "логику событий", " связь времен". В этом аспекте Л. сближается с онтологией. В своих содержательных аспектах Л. сопрягается с учениями о познании, его развитии, функционировании и консервации и напрямую включается в гносеологию. Т. о., Л. является одним из основных подразделений философии и постоянно играет ведущую роль в философствовании, поскольку последнее всегда так или иначе занимается вопросом о мышлении. В XIX в. Л. как особая наука отделяется от философии и в этом качестве занимается формальным анализом мышления и его языков. Вопросы ж развития мышления, эволюции его средств, его культурно-исторической и социальной обусловленности остаются в компетенции философии. Сама Л. в ее конкретных социально-исторических и культурных формах становится важным разделом философских исследований. В рамках такого подхода можно выделить несколько основных этапов в эволюции Л. и ее понимания. В древнем мире разработка логической проблематики связана с процессами классификации искусственных и естественных вещей, инструментов человеческой деятельности, актов человеческих взаимодействий. Л. вырабатывает обобщающие понятия и техники оперирования ими. В составе философии она выступает важным инструментом создания картины мира, использования ее в практике общества. В эпоху средневековья Л. ориентирована на исследования форм мышления и их взаимосвязей; содержательное познание рассматривается с т. зр. его соответствия логическим формам. Учение об устойчивых (или незыблемых) структурах человеческого мышления, обеспечивающих его правильность, оказывается важной предпосылкой для возникающих стандартов научной рациональности. Когда, вслед за естествознанием, формальная Л. отделяется от философии, вопрос о рациональности человеческого мышления оказывается в центре философской полемики. С одной стороны, выявляется недостаточность формальной рациональности для нужд новейшей науки, для развития человеческой личности и расширения ее духовных горизонтов. С другой - подтверждается потребность в сохранении рациональности и Л. в самом широком смысле как условий воспроизводства культуры (Баденское неокантианство). В XX столетии философская критика рациональности (трактуемо обычно как жесткая связь логически форм) усиливается и ведется с различны позиций (экзистенциализм, марксизм, деконструктивизм). Вместе с тем в философии усиливается тенденция трактов Л с культурно-исторических позиций, исследования различных Л., присущих разным культурам и видам человеческой деятельности. В свете этих подходов меняются акценты в понимании содержательности Л. Если прежде это качество связывалось в основном с выяснением предметной направленности мышления, то теперь в центре внимания оказывается связь мыслительных форм, возникающая во взаимодействии человеческих субъектов, это взаимодействие закрепляющая и воспроизводящая. В. Е. Кемеров

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

5) Логика - (от греч.– логос): в самом широком смысле – наука о мышлении, учение о законах, формах и средствах рассуждений. Чаще всего данный термин отождествляется с термином «формальная логиками, основателем которой был Аристотель. Основная цель логических исследований – анализ правильности рассуждения, формулировка законов и принципов, соблюдение которых является необходимым условием получения истинных заключений в процессе вывода. Логические процессы изучаются путем их отображения в формализованных языках. Каждый из них включает в себя совокупность соответствующим образом истолкованных выражений (формул), а также способы преобразования одних выражений в другие по правилам дедукции. Современная логика слагается из большого числа логических систем, описывающих отдельные фрагменты (типы) рассуждений. В зависимости от оснований (критериев) классификации в настоящее время выделяют логику классическую и неклассическую. В современном смысле логика – наука о формах дискурса.

6) Логика - - этимологически восходит к древнегреческому слову "logos", означавшему " слово ", " мысль ", " понятие ", " рассуждение ", " закон ". Это наука о законах и формах мышления человека. Она занимается исследованием мыслительных процедур. Различают традиционную логику, начало которой положил Аристотель, изучающей умозаключения, понятия и операции над ними. Применение методов формализации и математических методов привело к созданию классической логики (символической или математической). Неклассическая (модальная или философская) логика, которая использует формальные методы для анализа содержательных реалий. Упрощенное понимание логики - ход рассуждений,правила рассуждений.

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

8) Логика - (греч. logos - слово, рассуждение, понятие, разум) - наука о формах, законах и методах познавательной деятельности; способность правильно (логически) мыслить. С древности замечено важное свойство познающего мышления человека: если вначале высказываются некоторые утверждения, то затем могут быть признаны и другие утверждения, но не любые, а лишь строго определенные. Познающее мышление, т.обр., подчинено некоей принудительной силе, его результаты во многом детерминированы и предопределены предшествующим знанием. Данное свойство широко использовал Сократ в своих диалогах. Умелой постановкой вопросов он направлял своего собеседника к принятию вполне конкретных выводов. (Характеризуя свой метод, Сократ пояснял, что его манера вести беседу подобна тому, что делает акушерка, которая сама не рожает, но принимает роды. Так и он лишь спрашивает других, способствуя рождению истины, самому же ему нечего сказать.) Поэтому свой метод Сократ назвал майевтикой - искусством повивальной бабки.) Ученик Сократа Платон, затем Аристотель сделали детерминированность мышления предметом специального исследования. Результаты Аристотеля особенно впечатляющи. Его успех связан с тем, что он устранил из рассуждений то, что может быть названо их содержанием, сохранив только форму. Этого он достиг, подставив в суждениях вместо названий с конкретным содержанием буквы (переменные). Например, в импликативном рассуждении: "Если все В суть С и все А суть В, то все А суть В". Подход Аристотеля продемонстрировал тот факт, что достоверность результатов различных по содержанию рассуждений зависит не только от истинности исходных положений (посылок), но и от отношений между ними, способа их соединения, т.е. от формы рассуждения. Аристотель сформулировал важнейшие принципы перехода от истинных посылок к истинным заключениям. Впоследствии эти принципы стали называться законами тождества, противоречия и исключенного третьего. Он предложил первую теоретическую систему форм рассуждений - т.н. ассерторическую силлогистику, имеющую дело с суждениями вида "Все А суть В", "Некоторые А суть В", "Ни одно А не есть В", "Некоторые А не суть В". Тем самым он положил начало науке об общезначимых средствах и формах мышления, законах рационального познания. Позже эту науку стали называть Л.Л. не ограничилась выяснением случаев, когда истинность посылок гарантирует истинность заключения. Эта разновидность рассуждений стала предметом одной ее ветви - дедуктивной Л. Но уже Демокрит обсуждает проблему индуктивных умозаключений, посредством которых осуществляется переход от частных утверждений к общим положениям, имеющим вероятностный характер. Особый интерес к индукции проявляется в 17-18 вв. когда быстро стали развиваться опытные науки. Английскому философу Ф. Бэкону принадлежит первая попытка теоретического осмысления индукции, которая, как он думал, способна служить единственным методом познания природных явлений в целях их применения на пользу людям. Дедуктивизм и индуктивизм - главные направления в развитии Л. вплоть до 19 в. Представители рационалистической философии (Декарт, Спиноза, Мальбранш, Лейбниц) отдавали предпочтение дедукции, в то время как представители эмпирической (сенсуалистической) философии (вслед за Ф. Бэконом - Гоббс, Локк, Кондильяк, Беркли, Юм) были индуктивистами. Вольф, предложивший всеобъемлющую, по его мысли, систему философского знания как "науку о всех возможных предметах, насколько они возможны", попытался примирить указанные направления. Будучи, в целом, рационалистом, он, тем не менее, энергично подчеркивал решающее значение индукции и опытного знания в отдельных научных дисциплинах (напр., в физике). Однако вольфианские представления о формах и законах мышления, методах познания, сложившиеся в Л. к 19 в., не смогли удовлетворить потребностей бурно развивающейся науки и общественной практики. Кант и особенно Гегель подвергли критике ограниченность рационалистически-метафизического метода. Перед Л. встала задача выработать средства, которые позволяли бы сознательно подходить к изучению сущностных отношений. Серьезная попытка решить эту задачу была предпринята Гегелем. Его выдающейся заслугой является введение в Л. идеи развития и взаимосвязи. Это позволило ему заложить основы диалектической Л. как теории движения человеческой мысли от явления к сущности, от истины относительной к истине абсолютной, от знания абстрактного к знанию конкретному. На основе категорий, принципов и законов диалектической Л. вырабатываются методологические ориентиры исследования содержания предметов во всем их многообразия и противоречивости. В настоящее время Л. представляет собой достаточно разветвленную научную дисциплину. Ее важнейшим и наиболее зрелым разделом является формальная Л. Свое наименование она получила от предмета, которым занимается с древности, - форм мыслей и рассуждений, обеспечивающих получение новых истин на основе уже установленных, и, в первую очередь, критериев правильности и обоснованности этих форм. Долгое время формальная Л. была известна прежде всего в том виде, который придали ей Аристотель и его комментаторы. Отсюда название, соответствующее данному этапу, - аристотелевская Л. Восходящая к Аристотелю традиция породила также другой равнозначный термин - традиционная Л. Неизменность проблематики и методов ее разрешения в рамках аристотелевской Л. на протяжении многих веков дала основание Канту, впервые употребившему термин "формальная Л.", считать, что за две тысячи лет, прошедших со времени Аристотеля, эта Л. не сделала ни одного шага вперед и имеет по существу законченный характер. Кант и не предполагал, что через какие-то полвека после его смерти начнется "второе дыхание" в развитии формальной Л. Этот качественно новый этап был вызван тем, что проблемы, поставленные исследованием логических оснований математики, было невозможно решить средствами аристотелевской Л. Почти одновременно идут процессы логизации математики и математизации Л. При решении логических проблем активно используются математические методы, создаются логические исчисления. Делаются конкретные шаги по реализации идей Лейбница об использовании вычислительных методов в любой науке. Дж. Буль разрабатывает первую систему алгебры Л. Благодаря работам О. де Моргана, У. Джевонса, Э. Шредера, П.С. Порецкого, Пирса, Фреге, Дж. Пеано, Рассела создаются основные разделы математической Л., становящейся важнейшей ветвью формальной Л. В 20 в., особенно в 20-е и 30-е, в работах Я. Лукасевича, Э. Поста, К. Льюиса, С. Яськовского, Д. Вебба, Л. Брауэра, А. Гейтинга, А.А. Маркова, А.Н. Колмогорова, Г. Рейхенбаха, С.К. Клини, П. Детуш-Феврие, Г. Биркгофа и др. закладываются основы неклассических разделов формальной Л.: многозначных Л., модальной, вероятностной, интуиционистской, конструктивистской и др. Л. Переход к числу истинностных значений, большему чем два ("истинно", и "ложно"), составляет одну из характерных особенностей неклассических, или, как их часто называют, нехрисипповых Л. В 1930-е развитие формальной Л. связано с решением многих проблем металогики (греч. meta - после, сверх), изучающей принципы построения и общие свойства формальных систем, например, проблемы непротиворечивости, полноты, независимости системы аксиом, разрешимости, возможностей этих систем выражать содержательные теории и др. Закладываются основы т.наз. "машинного мышления". Исследование указанных проблем ознаменовалось выдающимися открытиями, имеющими важное мировоззренческое и методологическое значение и связанными с именами Тарского, К. Геделя, А. Черча. Наибольшую известность получила теорема К. Геделя о неполноте формализованных систем, в т.ч. арифметики натуральных чисел и аксиоматической теории множеств. В соответствии с этой теоремой, в каждой из таких систем имеются предложения, которые в их рамках нельзя ни доказать, ни опровергнуть. Тем самым было показано, что ни одна действующая научная теория не может быть втиснута в рамки формализма. А. Черч доказал теорему, согласно которой, не существует алгоритмов для решения многих классов задач, не говоря уже об алгоритме, позволяющем решать любую задачу (об изобретении такого алгоритма мечтали многие выдающиеся логики и математики). Сегодня развитие формальной логики идет в двух основных направлениях: 1) выработка новых систем неклассической Л. (Л. императивов, оценок, вопросов, временной, индуктивной Л., теории логического следования и т.д.), исследование свойств этих систем и отношений между ними, создания их общей теории; 2) расширение сферы применения формальной Л. Важнейший конечный результат, полученный в этом направлении, - то, что формальная Л. стала не только инструментом точной мысли, но и " мыслью " первого точного инструмента - компьютера, непосредственно в роли партнера включенного человеком в сферу решения стоящих перед ним задач. Л. (в сумме всех своих разделов) стала неотъемлемой частью человеческой культуры. Ее достижения используются в самых разнообразных областях деятельности людей. Она широко применяется в психологии и лингвистике, теории управления и педагогике, юриспруденции и этике. Ее формальные разделы являются исходной основой кибернетики, вычислительной математики и техники, теории информации. Без принципов и законов Л. не мыслима современная методология познания и общения. Изучению Л. всегда придавалось большое значение. Уже Парменид поучал еще неопытного в философии Сократа: "Твое рвение к рассуждениям, будь уверен, прекрасно и божественно, но, пока ты еще молод, постарайся поупражняться больше в том, что большинство считает пустословием (т.е. оперировании абстрактными понятиями - В.Б.) в противном случае истина будет от тебя ускользать". Как видим, уже в древности понимали, что дисциплина, которой позже было присвоено имя Л., играет прежде всего большую методологическую роль - как средство отыскания истины. В.Ф. Берков

9) Логика - - в широком смысле - это философская наука о законах правильного мышления; в узком смысле - последовательность выстраиваемых в поиске истины необходимостей.

10) Логика - (от греч. logos - логос) 1) способность правильно, т.е. логически, мыслить; 2) учение о тождестве и его отрицании (Г. Якоби), учение о последовательности и методах познания (наука логики). В качестве "элементарной формальной логики" она имеет дело с самыми общими свойствами, присущими всем (имеющимся) понятиям. Осн. свойства понятий выражаются в логических аксиомах (см. Аксиома). Сначала рассматривается учение о понятии, затем следует учение о суждении и, наконец, умозаключении. Учения о логических аксиомах, понятии, суждении и умозаключении, взятые вместе, образуют чистую логику. Прикладная логика охватывает в традиционной логике учение об определении, о доказательстве, о методе. Ей часто предпосылаются не научно-логические, а теоретико-познавательные, психологические учения о переживании, описании и формулировании (особенно с помощью специального языка, терминологии) и об образовании понятий. Иногда к ней присоединяют учение о системе. Логика (как наука) - лишь учение о мышлении в понятиях, но не о познании посредством понятий; она служит повышению формальной точности сознания и объективности содержания мышления и познания. Основателем западноевропейской логики (как науки) является Аристотель, "отец логики". Слово "логика" появилось впервые у стоиков; они и неоплатоники уточнили отдельные моменты ее, а в эпоху средневековья схоластика разработала ее в мельчайших подробностях, в тонкостях. Гуманизм изгнал из логики схоластику, но обновить ее не мог. Реформация взяла на вооружение логику Меланхтона, Контрреформация - логику Суареса. Поднявшись принципиально над схоластикой, развивал логику Иоганнес Штурм из Страсбурга; более известным стал Пьер Раме. С 17 в. стало заметным влияние на логику сфер мысли, связанных с математикой, причем в геометрическом методе Спинозы оно было меньше, чем у Лейбница, который использовал в логике совершенствующиеся естественнонаучные методы. От Лейбница и математики, а также и от неосхоластики пошла логика школы Вольфа. Кантовская " трансцендентальная логика " есть в действительности критическая теория познания, логика нем. идеализма (особенно логика Гегеля) - спекулятивная метафизика. Шопенгауэр, Ницше, Бергсон и сторонники философии жизни отбросили традиционную логику. В настоящее время логика распалась на множество направлений: 1) метафизическая логика (гегельянство); 2) психологическая логика (Т.Липпс, отчасти В.Вундт); 3) теоретико-познавательная, или трансцендентальная, логика (неокантианство); 4) семантическая логика (Аристотель, Кюльпе, современный номинализм); 5) предметная логика (Ремке, Мейнонг, Дриш); 6) неосхоластическая логика; 7) феноменологическая логика; 8) логика как методология (неокантианство) и логистика, которая находится в центре споров о логике.

11) Логика - - cм. Диалектическая логика. Математическая логика, Формальная логика.

Логика

В книге: 1) универсальная граница данности вещей в мире, сама остающаяся незримой; 2) методика косвенного выявления этой границы.

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

Учение о связях и последовательностях человеческого мышления, о формах его развития, о различных соотношениях мыслительных форм и их преобразованиях. Л. рассматривает вопросы о средствах существования мышления, языках закрепления, воспроизводства, трансляции мыслительных процессов. В широком смысле Л. есть усмотрение связей не только мышления, но и бытия, т. е. Л., выявляющая "логику вещей", "логику событий", " связь времен". В этом аспекте Л. сближается с онтологией. В своих содержательных аспектах Л. сопрягается с учениями о познании, его развитии, функционировании и консервации и напрямую включается в гносеологию. Т. о., Л. является одним из основных подразделений философии и постоянно играет ведущую роль в философствовании, поскольку последнее всегда так или иначе занимается вопросом о мышлении. В XIX в. Л. как особая наука отделяется от философии и в этом качестве занимается формальным анализом мышления и его языков. Вопросы ж развития мышления, эволюции его средств, его культурно-исторической и социальной обусловленности остаются в компетенции философии. Сама Л. в ее конкретных социально-исторических и культурных формах становится важным разделом философских исследований. В рамках такого подхода можно выделить несколько основных этапов в эволюции Л. и ее понимания. В древнем мире разработка логической проблематики связана с процессами классификации искусственных и естественных вещей, инструментов человеческой деятельности, актов человеческих взаимодействий. Л. вырабатывает обобщающие понятия и техники оперирования ими. В составе философии она выступает важным инструментом создания картины мира, использования ее в практике общества. В эпоху средневековья Л. ориентирована на исследования форм мышления и их взаимосвязей; содержательное познание рассматривается с т. зр. его соответствия логическим формам. Учение об устойчивых (или незыблемых) структурах человеческого мышления, обеспечивающих его правильность, оказывается важной предпосылкой для возникающих стандартов научной рациональности. Когда, вслед за естествознанием, формальная Л. отделяется от философии, вопрос о рациональности человеческого мышления оказывается в центре философской полемики. С одной стороны, выявляется недостаточность формальной рациональности для нужд новейшей науки, для развития человеческой личности и расширения ее духовных горизонтов. С другой - подтверждается потребность в сохранении рациональности и Л. в самом широком смысле как условий воспроизводства культуры (Баденское неокантианство). В XX столетии философская критика рациональности (трактуемо обычно как жесткая связь логически форм) усиливается и ведется с различны позиций (экзистенциализм, марксизм, деконструктивизм). Вместе с тем в философии усиливается тенденция трактов Л с культурно-исторических позиций, исследования различных Л., присущих разным культурам и видам человеческой деятельности. В свете этих подходов меняются акценты в понимании содержательности Л. Если прежде это качество связывалось в основном с выяснением предметной направленности мышления, то теперь в центре внимания оказывается связь мыслительных форм, возникающая во взаимодействии человеческих субъектов, это взаимодействие закрепляющая и воспроизводящая. В. Е. Кемеров

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

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

Этимологически восходит к древнегреческому слову "logos", означавшему " слово ", " мысль ", " понятие ", " рассуждение ", " закон ". Это наука о законах и формах мышления человека. Она занимается исследованием мыслительных процедур. Различают традиционную логику, начало которой положил Аристотель, изучающей умозаключения, понятия и операции над ними. Применение методов формализации и математических методов привело к созданию классической логики (символической или математической). Неклассическая (модальная или философская) логика, которая использует формальные методы для анализа содержательных реалий. Упрощенное понимание логики - ход рассуждений,правила рассуждений.

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

(греч. logos - слово, рассуждение, понятие, разум) - наука о формах, законах и методах познавательной деятельности; способность правильно (логически) мыслить. С древности замечено важное свойство познающего мышления человека: если вначале высказываются некоторые утверждения, то затем могут быть признаны и другие утверждения, но не любые, а лишь строго определенные. Познающее мышление, т.обр., подчинено некоей принудительной силе, его результаты во многом детерминированы и предопределены предшествующим знанием. Данное свойство широко использовал Сократ в своих диалогах. Умелой постановкой вопросов он направлял своего собеседника к принятию вполне конкретных выводов. (Характеризуя свой метод, Сократ пояснял, что его манера вести беседу подобна тому, что делает акушерка, которая сама не рожает, но принимает роды. Так и он лишь спрашивает других, способствуя рождению истины, самому же ему нечего сказать.) Поэтому свой метод Сократ назвал майевтикой - искусством повивальной бабки.) Ученик Сократа Платон, затем Аристотель сделали детерминированность мышления предметом специального исследования. Результаты Аристотеля особенно впечатляющи. Его успех связан с тем, что он устранил из рассуждений то, что может быть названо их содержанием, сохранив только форму. Этого он достиг, подставив в суждениях вместо названий с конкретным содержанием буквы (переменные). Например, в импликативном рассуждении: "Если все В суть С и все А суть В, то все А суть В". Подход Аристотеля продемонстрировал тот факт, что достоверность результатов различных по содержанию рассуждений зависит не только от истинности исходных положений (посылок), но и от отношений между ними, способа их соединения, т.е. от формы рассуждения. Аристотель сформулировал важнейшие принципы перехода от истинных посылок к истинным заключениям. Впоследствии эти принципы стали называться законами тождества, противоречия и исключенного третьего. Он предложил первую теоретическую систему форм рассуждений - т.н. ассерторическую силлогистику, имеющую дело с суждениями вида "Все А суть В", "Некоторые А суть В", "Ни одно А не есть В", "Некоторые А не суть В". Тем самым он положил начало науке об общезначимых средствах и формах мышления, законах рационального познания. Позже эту науку стали называть Л.Л. не ограничилась выяснением случаев, когда истинность посылок гарантирует истинность заключения. Эта разновидность рассуждений стала предметом одной ее ветви - дедуктивной Л. Но уже Демокрит обсуждает проблему индуктивных умозаключений, посредством которых осуществляется переход от частных утверждений к общим положениям, имеющим вероятностный характер. Особый интерес к индукции проявляется в 17-18 вв. когда быстро стали развиваться опытные науки. Английскому философу Ф. Бэкону принадлежит первая попытка теоретического осмысления индукции, которая, как он думал, способна служить единственным методом познания природных явлений в целях их применения на пользу людям. Дедуктивизм и индуктивизм - главные направления в развитии Л. вплоть до 19 в. Представители рационалистической философии (Декарт, Спиноза, Мальбранш, Лейбниц) отдавали предпочтение дедукции, в то время как представители эмпирической (сенсуалистической) философии (вслед за Ф. Бэконом - Гоббс, Локк, Кондильяк, Беркли, Юм) были индуктивистами. Вольф, предложивший всеобъемлющую, по его мысли, систему философского знания как "науку о всех возможных предметах, насколько они возможны", попытался примирить указанные направления. Будучи, в целом, рационалистом, он, тем не менее, энергично подчеркивал решающее значение индукции и опытного знания в отдельных научных дисциплинах (напр., в физике). Однако вольфианские представления о формах и законах мышления, методах познания, сложившиеся в Л. к 19 в., не смогли удовлетворить потребностей бурно развивающейся науки и общественной практики. Кант и особенно Гегель подвергли критике ограниченность рационалистически-метафизического метода. Перед Л. встала задача выработать средства, которые позволяли бы сознательно подходить к изучению сущностных отношений. Серьезная попытка решить эту задачу была предпринята Гегелем. Его выдающейся заслугой является введение в Л. идеи развития и взаимосвязи. Это позволило ему заложить основы диалектической Л. как теории движения человеческой мысли от явления к сущности, от истины относительной к истине абсолютной, от знания абстрактного к знанию конкретному. На основе категорий, принципов и законов диалектической Л. вырабатываются методологические ориентиры исследования содержания предметов во всем их многообразия и противоречивости. В настоящее время Л. представляет собой достаточно разветвленную научную дисциплину. Ее важнейшим и наиболее зрелым разделом является формальная Л. Свое наименование она получила от предмета, которым занимается с древности, - форм мыслей и рассуждений, обеспечивающих получение новых истин на основе уже установленных, и, в первую очередь, критериев правильности и обоснованности этих форм. Долгое время формальная Л. была известна прежде всего в том виде, который придали ей Аристотель и его комментаторы. Отсюда название, соответствующее данному этапу, - аристотелевская Л. Восходящая к Аристотелю традиция породила также другой равнозначный термин - традиционная Л. Неизменность проблематики и методов ее разрешения в рамках аристотелевской Л. на протяжении многих веков дала основание Канту, впервые употребившему термин "формальная Л.", считать, что за две тысячи лет, прошедших со времени Аристотеля, эта Л. не сделала ни одного шага вперед и имеет по существу законченный характер. Кант и не предполагал, что через какие-то полвека после его смерти начнется "второе дыхание" в развитии формальной Л. Этот качественно новый этап был вызван тем, что проблемы, поставленные исследованием логических оснований математики, было невозможно решить средствами аристотелевской Л. Почти одновременно идут процессы логизации математики и математизации Л. При решении логических проблем активно используются математические методы, создаются логические исчисления. Делаются конкретные шаги по реализации идей Лейбница об использовании вычислительных методов в любой науке. Дж. Буль разрабатывает первую систему алгебры Л. Благодаря работам О. де Моргана, У. Джевонса, Э. Шредера, П.С. Порецкого, Пирса, Фреге, Дж. Пеано, Рассела создаются основные разделы математической Л., становящейся важнейшей ветвью формальной Л. В 20 в., особенно в 20-е и 30-е, в работах Я. Лукасевича, Э. Поста, К. Льюиса, С. Яськовского, Д. Вебба, Л. Брауэра, А. Гейтинга, А.А. Маркова, А.Н. Колмогорова, Г. Рейхенбаха, С.К. Клини, П. Детуш-Феврие, Г. Биркгофа и др. закладываются основы неклассических разделов формальной Л.: многозначных Л., модальной, вероятностной, интуиционистской, конструктивистской и др. Л. Переход к числу истинностных значений, большему чем два ("истинно", и "ложно"), составляет одну из характерных особенностей неклассических, или, как их часто называют, нехрисипповых Л. В 1930-е развитие формальной Л. связано с решением многих проблем металогики (греч. meta - после, сверх), изучающей принципы построения и общие свойства формальных систем, например, проблемы непротиворечивости, полноты, независимости системы аксиом, разрешимости, возможностей этих систем выражать содержательные теории и др. Закладываются основы т.наз. "машинного мышления". Исследование указанных проблем ознаменовалось выдающимися открытиями, имеющими важное мировоззренческое и методологическое значение и связанными с именами Тарского, К. Геделя, А. Черча. Наибольшую известность получила теорема К. Геделя о неполноте формализованных систем, в т.ч. арифметики натуральных чисел и аксиоматической теории множеств. В соответствии с этой теоремой, в каждой из таких систем имеются предложения, которые в их рамках нельзя ни доказать, ни опровергнуть. Тем самым было показано, что ни одна действующая научная теория не может быть втиснута в рамки формализма. А. Черч доказал теорему, согласно которой, не существует алгоритмов для решения многих классов задач, не говоря уже об алгоритме, позволяющем решать любую задачу (об изобретении такого алгоритма мечтали многие выдающиеся логики и математики). Сегодня развитие формальной логики идет в двух основных направлениях: 1) выработка новых систем неклассической Л. (Л. императивов, оценок, вопросов, временной, индуктивной Л., теории логического следования и т.д.), исследование свойств этих систем и отношений между ними, создания их общей теории; 2) расширение сферы применения формальной Л. Важнейший конечный результат, полученный в этом направлении, - то, что формальная Л. стала не только инструментом точной мысли, но и " мыслью " первого точного инструмента - компьютера, непосредственно в роли партнера включенного человеком в сферу решения стоящих перед ним задач. Л. (в сумме всех своих разделов) стала неотъемлемой частью человеческой культуры. Ее достижения используются в самых разнообразных областях деятельности людей. Она широко применяется в психологии и лингвистике, теории управления и педагогике, юриспруденции и этике. Ее формальные разделы являются исходной основой кибернетики, вычислительной математики и техники, теории информации. Без принципов и законов Л. не мыслима современная методология познания и общения. Изучению Л. всегда придавалось большое значение. Уже Парменид поучал еще неопытного в философии Сократа: "Твое рвение к рассуждениям, будь уверен, прекрасно и божественно, но, пока ты еще молод, постарайся поупражняться больше в том, что большинство считает пустословием (т.е. оперировании абстрактными понятиями - В.Б.) в противном случае истина будет от тебя ускользать". Как видим, уже в древности понимали, что дисциплина, которой позже было присвоено имя Л., играет прежде всего большую методологическую роль - как средство отыскания истины. В.Ф. Берков

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

(от греч. logos - логос) 1) способность правильно, т.е. логически, мыслить; 2) учение о тождестве и его отрицании (Г. Якоби), учение о последовательности и методах познания (наука логики). В качестве "элементарной формальной логики" она имеет дело с самыми общими свойствами, присущими всем (имеющимся) понятиям. Осн. свойства понятий выражаются в логических аксиомах (см. Аксиома). Сначала рассматривается учение о понятии, затем следует учение о суждении и, наконец, умозаключении. Учения о логических аксиомах, понятии, суждении и умозаключении, взятые вместе, образуют чистую логику. Прикладная логика охватывает в традиционной логике учение об определении, о доказательстве, о методе. Ей часто предпосылаются не научно-логические, а теоретико-познавательные, психологические учения о переживании, описании и формулировании (особенно с помощью специального языка, терминологии) и об образовании понятий. Иногда к ней присоединяют учение о системе. Логика (как наука) - лишь учение о мышлении в понятиях, но не о познании посредством понятий; она служит повышению формальной точности сознания и объективности содержания мышления и познания. Основателем западноевропейской логики (как науки) является Аристотель, "отец логики". Слово "логика" появилось впервые у стоиков; они и неоплатоники уточнили отдельные моменты ее, а в эпоху средневековья схоластика разработала ее в мельчайших подробностях, в тонкостях. Гуманизм изгнал из логики схоластику, но обновить ее не мог. Реформация взяла на вооружение логику Меланхтона, Контрреформация - логику Суареса. Поднявшись принципиально над схоластикой, развивал логику Иоганнес Штурм из Страсбурга; более известным стал Пьер Раме. С 17 в. стало заметным влияние на логику сфер мысли, связанных с математикой, причем в геометрическом методе Спинозы оно было меньше, чем у Лейбница, который использовал в логике совершенствующиеся естественнонаучные методы. От Лейбница и математики, а также и от неосхоластики пошла логика школы Вольфа. Кантовская " трансцендентальная логика " есть в действительности критическая теория познания, логика нем. идеализма (особенно логика Гегеля) - спекулятивная метафизика. Шопенгауэр, Ницше, Бергсон и сторонники философии жизни отбросили традиционную логику. В настоящее время логика распалась на множество направлений: 1) метафизическая логика (гегельянство); 2) психологическая логика (Т.Липпс, отчасти В.Вундт); 3) теоретико-познавательная, или трансцендентальная, логика (неокантианство); 4) семантическая логика (Аристотель, Кюльпе, современный номинализм); 5) предметная логика (Ремке, Мейнонг, Дриш); 6) неосхоластическая логика; 7) феноменологическая логика; 8) логика как методология (неокантианство) и логистика, которая находится в центре споров о логике.

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