Логика — наука о формах мышления, законах и правилах рассуждения

Пришло время разобраться, что понимается под мышлением?

Прежде всего – правильное мышление, которое соответствует требованиям:

а) определенности

б) последовательности

в) доказательности

Определенное – мышление точное, свободное от всякой сбивчивости.

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

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

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

Например: “День был дождливый”, “Совершение преступления считается уголовно наказуемым деянием”, и т.д.

Форма – это способ связи составных частей мыслимого содержания

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

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

Каждая форма мышления – это рассуждение, содержащее определенный способ связи мыслей между собой. Формы различаются по сложности.

Простейшая форма – понятие

Из понятий образуется суждение (высказывание)

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

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

Например: “Функтор”, “Квантор”, “$х”, “"х” P, Q, и так далее.

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

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

Языковыми знаками являются значащие слова, а в искусственных языках еще и значащие символы.

Например: слово «старше» – знак определенного возрастного отношения, символ «+» – знак операции сложения в языке арифметики.

Важнейшими характеристиками знака являются смысл и значение.

Значение знака (экстенсионал) – предмет, представляемый данным знаком

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

Знаки могут быть пустыми и непустыми, описательными и неописательными.

Например: “гора выше Эвереста” – пустой знак (в множестве гор планеты знак не имеет значения);

“студент” – неописательный знак (нет описательных (содер­жательных) терминов, в данном случае: «учащийся высшего учебного заведения»).

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

Логические символы – выражения языка, не имеющие самостоятельного содержания, но в сочетании с одним или несколькими содержательными выраже­ниями образующие сложные выражения с самостоятельным содержанием.

Логические символы называются также логическими постоянными.

К содержательным символам относятся:

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

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

Логические связки – логические символы, позволяющие из одних выска­зываний образовывать новые высказывания (и, или, если…то…, и т.д.).

Логические переменные – символы, позволяющие отвлечься от содержания рассуждения с целью выявления логической фор­мы (буквы латинского алфавита, специальные значки логических операций: ∩, U, другие)

Дата добавления: 2014-01-05