Предмет логики и ее значение
Логика — это нравственность мысли и речи.
Ян Лукасевич
1. Мышление как предмет логики.
2. Чувственное и теоретическое познание, их особенности и формы.
3. Мышление и язык. Семантические категории языка.
4. Понятие логической формы и логического закона. Формально-логические законы.
Логика (от греческого слова logos – мысль, слово, разум, закономерность)
– наука о формах, методах и законах правильного мышления.
– совокупность правил, которым подчинен процесс мышления,
– любые закономерности (логика событий, логика поступков и т.п.).
Предметом логики является абстрактное или понятийное мышление, взятое в аспекте его формальной правильности и познавательной продуктивности.
Познание – обусловленный социокультурной практикой, процесс приобретения и развития знания, постоянного его углубления, пополнения и совершенствования. В качестве приобретаемого знания могут выступать различные навыки и умения, формы деятельности, любая познавательно значимая информация. Результатом познания, в широком смысле, является формирование в человеческом сознании субъективного образа объективного мира.
Выделяются два уровня познания – чувственный и теоретический, каждый из которых имеет свои особенности и формы.
Чувственное познание – непосредственное познание предмета или явления на основе данных органов чувств.
Особенности чувственного познания определяются его непосредственным характером – чувственное познание предметно ограничено и на чувственном уровне познается отдельный предмет в его внешней наглядности, но не познается сущность предмета или явления.
Формы чувственного познания:
– ощущение – отражение отдельных свойств предмета или явлений материального мира, непосредственно воздействующих на органы чувств;
– восприятие – целостный чувственный образ предмета или явления материального мира, складывающийся на основе суммы ощущений;
– представление – это целостный чувственный образ предмета не воспринимаемого в данный момент, но воспринимавшегося ранее; может быть воспроизводящим или творческим.
Теоретическое познание – познание на основе абстрактно-понятийного отображения реальности в мыслительных формах.
Особенности теоретического познания обусловлены спецификой абстрактного мышления – опосредованный характер отражения мира, отображение предметов и явлений в обобщенной форме, активный характер отражения, взаимосвязанность с языком.
Формы теоретического познания (формы абстрактного мышления):
– понятие – это форма мышления, в которой отражаются существенные признаки отдельного предмета или группы сходных предметов; понятия – это слова или словосочетания, обозначающие какой-либо предмет или предметы, явления, состояния, процессы и т. п.;
– суждение – форма мышления, в которой что-либо утверждается или отрицается о существовании предметов, об их свойствах и об отношениях между предметами; суждения – это высказывания о предметах и явлениях;
– умозаключение – форма мышления, в которой из имеющегося исходного знания на основании определенных правил выводится новое знание; умозаключение – это рассуждение на основе имеющегося знания, результатом которого оказывается новая информация о предмете или явлении.
Язык – знаковая система, используемая для целей коммуникации и познания. В языковую систему, помимо словаря, входят синтаксис и семантика.
Языки делятся на естественные, искусственные и смешанные.
Естественные языки складываются в процессе исторического развития этносов, этнических групп и народов, культурно-исторический опыт которых определяет содержание и структурные особенности языковой системы.
Искусственные языки создаются в целях решения специальных задач и имеют конкретную область применения. Характерной особенностью искусственных языков является строгая определенность и устойчивость содержания языковой системы.
К смешанным, или частично искусственным языкам, как правило, относят языки отдельных наук, языковые системы которых образуются посредством введения в естественные языки подсистемы специальных терминов и понятий – категориального аппарата науки.
Функции естественного языка:
– дескриптивная – описание предметов, явлений и событий;
– коммуникативная – передача информации другому субъекту;
– экспрессивная – выражение эмоционального состояния субъекта;
– декларативная – активное преобразовательное воздействие на действительность языковыми средствами;
– информационно-познавательная – закрепление знаний, умений и опыта в виде информации, и сохранение последней;
– принудительная – нормативное воздействие на человека языковыми средствами;
– оценочная – выражение отношения к предмету (событию, явлению) посредством указания на степень его значимости в сравнении с другими предметами или в соотнесении с определенными нормами.
Семантические категории языка:
1. Предложения – повествовательные, побудительные и вопросительные;
2. Выражения, выполняющие определенные функции в составе предложений, а именно:
– дескриптивные термины (имена, предикаторы, функциональные знаки);
– логические термины (логические константы).
Наряду с именами в логике различают именные и пропозициональные функции:
– именная функция – выражение, содержащее переменную, при замене которой именная функция становится именем предмета;
– пропозициональная функция – выражение, содержащее переменную, при замене которой это выражение становится истинным или ложным высказыванием.
Логические термины, или логические константы:
– Ù – конъюнкция, в языке выражается соединительными союзами («…и…»);
– ˅ – дизъюнкция, слабая дизъюнкция – выражается разделительными союзами, обозначает нестрогую альтернативу («или…, или…»);
– ^ – строгая дизъюнкция – выражается соединительными союзами, обозначает строгую альтернативу («либо…, либо…»);
– → – импликация – выражается связкой «если…,то…», обозначает причинно-следственную связь;
– ≡ – эквиваленция – выражает тождество или необходимую взаимосвязь («то же, что и…», «если и только если…»);
– Ø – отрицание – может относится к отдельной переменной и к выражению («не…», «неверно, что…»);
– ", $ – квантор общности и квантор существования – указывают на количество рассматриваемых предметов («все…» и «некоторые…» соответственно).
Логической формой конкретной мысли называется способ связи ее составных частей, или ее структура.
Логическим законом называется необходимая, устойчивая и существенная связь между единицами мысли.
Формально-логические законы:
– закон тождества – всякая мысль должна быть тождественная самой себе;
– закон противоречия – нельзя одновременно что-либо утверждать и отрицать об одном и том же предмете, взятом в одном и том же отношении;
– закон исключенного третьего – из двух противоречащих суждений одно истинно, а другое ложно и третьего не дано;
– закон достаточного основания – всякая истинная мысль должна быть обоснована.
Законы тождества, противоречия и исключенного третьего были сформулированы Аристотелем (384-347 гг. до н. э.), закон достаточного основания – Г. В. Лейбницем (1646-1716 гг.).