№1. Предмет и значение логики. Роль мышления в сознании.

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

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

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

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

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

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

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

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

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

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

1. Чувственный.

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

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

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

2. Рациональный.

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

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

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

Особенности рац позн.

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

2. Рациональное познание или мышление безусловным образом связано с языком.

3. Рациональное познание обладает активным познанием.

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

№2. Формы и законы мышления. Мышление и язык.

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

 

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

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

Высказывание может принимать только одно из двух логических значений – истинно (1) или ложь (2).

Истина – есть адекватное отражение действительности.

 

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

 

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

 

Законы логики:

Объективны, универсальны, имеют общечеловеческий характер.

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

Предмет обсуждения должен быть строго определен и не должен меняться до конца обсуждения.

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

 

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

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

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

Не могут быть одновременно истинны утверждение и его отрицание.

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

Сложную логическую проблему: что же истинно – суждение или его отрицание разрешаетзакон исключенного третьего. Истинно либо суждение, либо его отрицание.

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

Принцип категоричности. Всякое рассуждение необходимо доводить до определенного утверждения или его отрицания.

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

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

 

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

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

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

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

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

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

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

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