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

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.	Логика как наука: предмет, значение, история развития
2.	Понятие. Виды понятий. Отношения между понятиями. Операции с понятиями
3.	Суждение. Классификация простых категорических суждений. Логический квадрат. Распределенность термина. Операции обращения и превращения
4.	Сложные суждения. Законы формальной логики
5.	Умозаключение. Виды умозаключений. Простой категорический силлогизм
6.	Силлогизмы со сложными суждениями. Сокращенные, сложные и сложносокращенные силлогизмы. Энтимема, эпихейрема, сорит
7.	Доказательство и опровержение. Софизмы и паралогизмы. Логические парадоксы

Тема №1. Логика как наука: предмет, значение, история развития

Теория.

Логика – наука о формах и законах мышления, необходимых для рационального познания.

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

Наряду с классической логикой, основы которой были заложены еще в Древней Греции и оставались практически неизменными на протяжении почти двадцати двух веков, активно развивается и логика неклассическая, инициированная в середине 19 в. деятельностью Джорджа Буля (1815-1864), а также Августуса де Моргана (1806-1871), и получившая дальнейшую разработку в трудах Чарлза Пирса (1839-1914), Готлоба Фреге (1848-1925), Платона Порецкого (1846-1907) и др.

Ниже приводятся фрагменты из произведений Аристотеля, основателя формальной логики, и Людвига Витгенштейна (1889-1951), создателя двух влиятельных течений современности: логического позитивизма и философии обыденного языка. Такое сопоставление античности и современности в лице двух выдающихся мыслителей выбрано автором методического пособия не случайно. Благодаря компаративному анализу указанных источников обучающийся имеет уникальную возможность сравнить представления о роли логики в структуре философского знания, а также сопоставить классический и неклассический подходы к интерпретации логико-философских проблем. Вопросы, поставленные перед каждым текстовым фрагментом, помогут читателю расставить необходимые смысловые акценты и поучаствовать в интеллектуальном сотворчестве. Предваряя знакомство с австрийским мыслителем, хочется задать следующий вопрос: почему автор «девятой логической симфонии» (так называли «Логико-философский трактат» Витгенштейна), утверждавший, что законы логики даже более фундаментальны, чем законы физики, в поздний период творчества приходит к осознанию границ логического могущества, считая требования логической однозначности не только неисполнимыми, но и ненужными в сфере обыденной речи?

Практика.

Вопросы к фрагменту из работы Аристотеля «О софистических опровержениях»:

1) Что выступает началом в аристотелевском учении о суждениях и умозаключениях?

2) Согласны ли вы с тем, что «начало – пол-целого дела»? Кто задолго до Стагирита высказал эту идею?

3) Были ли у Аристотеля предшественники в разработке логического учения? Как сам автор аналитики отвечает на этот вопрос?

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

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

Отрасли логической науки

Значение логики

Дополнительная литература:

1. Асмус В.Ф. Лекции по истории логики. Авиценна, Бэкон, Гоббс, Декарт, Паскаль. ЛКИ, 2007. - 240с.

2. Ильенков Э. В. Диалектическая логика: Очерки истории и теории.-2-е изд., доп.-М.: Политиздат, 1984.-320 с.

3. Кедров Б.М. Единство диалектики, логики и теории познания. КомКнига, 2006. - 296с.

4. Кнапп В., Герлок А. Логика в правовом сознании. М.: Прогресс, 1987. - 310 с.

5. Кудрин А.К. Логика и истина. М.: Политиздат, 1980. - 144 с.

6. Кумпф Ф., Оруджев З. Диалектическая логика. Основные принципы и проблемы. М.: Политиздат, 1979. - 286 с.

7. Сырых В.М. - Логические основания общей теории права. Т.1. Элементарный состав. - М.: Юстицинформ, 2000. - 506 с.; Т.2. Логика правового исследования. - М.: Юстицинформ, 2004. - 548 с.

8. Формальная логика / Отв. ред. М.Я.Чупахин. Л.: Изд-во ЛГУ, 1974. - 357 с.

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

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

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

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

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

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

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

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

Являясь очень сложным образованием, мышление может быть объектом исследования различных наук. Философия изучает общие особенности мышления, его взаимоотношения с миром и т.п. Психология – мышление как процесс, индивидуально психологические особенности, факторы, детерминирующие его и т.п. Педагогика – процесс становления, формирования. История – особенности его филогенетического развития. Право – формирование преступного умысла, мышление в деятельности юриста (выдвижение следственной версии, принятие решения судом). Кибернетика – моделирование мышления. Физиология ВНД – механизмы, лежание в его основе. Можно перечислять и далее, трудно найти науку, которая так или иначе не изучала бы мышление, но уже этого сверхбеглого перечисления достаточно, чтобы задать себе вопрос: «Что же остается на долю логики?».

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

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

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

Принято выделять четыре основных свойства правильного мышления.

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

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

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

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

Правильное:

Все адвокаты являются юристами

Иванов является адвокатом

Иванов является юристом

Неправильное:

Некоторые студенты являются отличниками

Иванов является студентом

Иванов является отличником

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

Все студенты являются учащимися

Иванов – студент

Иванов – учащийся

Это умозаключение. Оно состоит из трех суждений: «Все студенты являются учащимися», «Иванов – студент», «Иванов – учащийся». В состав суждений входят следующие три понятия: «студенты», «учащиеся», «Иванов».

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

Метод формализации в логике .

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

1. Все студенты являются учащимися

Иванов – студент

Иванов – учащийся

2. Все психические процессы поддаются тренировке

Мышление – психический процесс

Мышление поддается тренировке

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

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

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

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

Все М есть Р

S есть М

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

В развернутой форме: S 1 есть Р и S 2 есть Р,

В полуразвернутой форме: S 1 и S 2 есть Р,

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

Реферат

Выполнила: Абдулова Джюме Сиражутдиновна

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Структура логики

В свою очередь, общая логика объектов .

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

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

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

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

Что же изучает логика как наука и почему она называется формальной?

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

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

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

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

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

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

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

1)чувственное познание - с помощью органов чувств и приборов;

2)рациональное (ratio - разум) - познание с помощью абстрактного мышления.

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

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

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

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

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

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

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

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

Из суждений мы можем получать новые суждения.

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

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

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

Скачать:

Предварительный просмотр:

Реферат

«Логика как наука, ее предмет и структура»

Выполнила: Абдулова Джюме Сиражутдиновна

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

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

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

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

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

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

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

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

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

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

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

Структура логики

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

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

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

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

Что же изучает логика как наука и почему она называется формальной?

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

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

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

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

1)чувственное познание - с помощью органов чувств и приборов;

2)рациональное (ratio - разум) - познание с помощью абстрактного мышления.

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

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

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

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

Из суждений мы можем получать новые суждения.

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

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

Логика: философия вывода Объект и предмет логики

E. J. Lemmon. Beginning Logic. Cambridge. CUP Publisher. 2004. Chapter 2.

Объект и предмет логики

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

Мышление как объект логики

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

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

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

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

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

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

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

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

МЫШЛЕНИЕ

Теоретическое Практическое

понятийное образное наглядно- наглядно-

образное действенное

сфера логики

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

Какаю же сторону мышления изучает логика. В чем состоит ее предмет? Рассмотрим это более подробно.

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

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

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

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

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

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

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

В форме суждений отражаются отношения между предметами и их свойствами.

Изменение свойств предметов и отношений между ними отражается в форме умозаключений.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Какие же аспекты абстрактного мышления изучает формальная логика?

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

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

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

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

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

Следовательно, предмет формальной логики составляют:

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

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

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

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

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