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

Логика — это нравственность мысли и речи.
Ян Лукасевич

1. Мышление как предмет логики.

2. Чувственное и теоретическое познание, их особенности и формы.

3. Мышление и язык. Семантические категории языка.

4. Понятие логической формы и логического закона. Формально-логические законы.

Логика (от греческого слова logos – мысль, слово, разум, закономерность)

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

– совокупность правил, которым подчинен процесс мышления,

– любые закономерности (логика событий, логика поступков и т.п.).

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

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

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

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

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

Формы чувственного познания:

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

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

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

Теоретическое познание – познание на основе абстрактно-понятийного отображения реальности в мыслительных формах.

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

Формы теоретического познания (формы абстрактного мышления):

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

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

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

Язык – знаковая система, используемая для целей коммуникации и познания. В языковую систему, помимо словаря, входят синтаксис и семантика.

Языки делятся на естественные, искусственные и смешанные.

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

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

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

Функции естественного языка:

– дескриптивная – описание предметов, явлений и событий;

– коммуникативная – передача информации другому субъекту;

– экспрессивная – выражение эмоционального состояния субъекта;

– декларативная – активное преобразовательное воздействие на действитель­ность языковыми средствами;

– информационно-познавательная – закрепление знаний, умений и опыта в виде информации, и сохранение последней;

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

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

Семантические категории языка:

1. Предложения – повествовательные, побудительные и вопросительные;

2. Выражения, выполняющие определенные функции в составе предложений, а именно:

– дескриптивные термины (имена, предикаторы, функциональные знаки);

– логические термины (логические константы).

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

– именная функция – выражение, содержащее переменную, при замене которой именная функция становится именем предмета;

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

Логические термины, или логические константы:

– Ù – конъюнкция, в языке выражается соединительными союзами («…и…»);

– ˅ – дизъюнкция, слабая дизъюнкция – выражается разделительными союзами, обозначает нестрогую альтернативу («или…, или…»);

– ^ – строгая дизъюнкция – выражается соединительными союзами, обозначает строгую альтернативу («либо…, либо…»);

– → – импликация – выражается связкой «если…,то…», обозначает причинно-следственную связь;

– ≡ – эквиваленция – выражает тождество или необходимую взаимосвязь («то же, что и…», «если и только если…»);

– Ø – отрицание – может относится к отдельной переменной и к выражению («не…», «неверно, что…»);

– ", $ – квантор общности и квантор существования – указывают на количество рассматриваемых предметов («все…» и «некоторые…» соответственно).

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

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

Формально-логические законы:

– закон тождества – всякая мысль должна быть тождественная самой себе;

– закон противоречия – нельзя одновременно что-либо утверждать и отри­цать об одном и том же предмете, взятом в одном и том же отношении;

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

– закон достаточного основания – всякая истинная мысль должна быть обоснована.

Законы тождества, противоречия и исключенного третьего были сформулированы Аристотелем (384-347 гг. до н. э.), закон достаточного основания – Г. В. Лейбницем (1646-1716 гг.).