логика билеты. Формы мышления Объектом логического исследования являются "формы" мышления понятие, суждение, умозаключение. Логику интересует правильное, истинное мышление. Понятие форма мышления
 Скачать 280.66 Kb.
|
|
Умозаключение – форма мышления В процессе познания действительности мы приобретаем новые знания. Некоторые из них – непосредственно, в результате воздействия предметов внешней действительности на наши органы чувств. Но большую часть знаний мы получаем путем выведения новых знаний из знаний уже имеющихся. Данные знания называются опосредованными, или выводными. Логической формой получения выводных знаний является умозаключение. Умозаключение – это форма мышления, посредством которой из одного или нескольких суждений выводится новое суждение. Любое умозаключение состоит из посылок, заключения и вывода. Посылками умозаключения называют исходные суждения, из которых выводится новое суждение. Заключением называется новое суждение, полученное логическим путем из посылок. Логический переход от посылок к заключению называется выводом. Например: «Судья не может принимать участие в рассмотрении дела, если он является потерпевшим (1). Судья Н. – потерпевший (2). Значит, судья Н. не может принимать участие в рассмотрении дела (3)». В этом умозаключении (1) и (2) суждения – посылки, а (3) – заключение. При анализе умозаключения посылки и заключение принято записывать отдельно, располагая их друг под другом. Заключение записывают под горизонтальной чертой, отделяющей его от посылок и обозначающей логическое следование. Слова «следовательно» и близкие ему по смыслу (значит, поэтому и др.) под чертой обычно не пишутся. В соответствии с этим приведенный нами пример выглядит так: судья не может принимать участие в рассмотрении дела, если он является потерпевшим. Судья Н. – потерпевший. Судья Н. не может принимать участие в рассмотрении дела. Отношение логического следования между посылками и заключением предполагает связь между посылками по содержанию. Если суждения не связаны по содержанию, то вывод из них невозможен. Например, из суждений: «Судья не может принимать участие в рассмотрении дела, если он является потерпевшим» и «Обвиняемый имеет право на защиту» нельзя получить заключения, так как эти суждения не имеют общего содержания и, следовательно, логически не связаны друг с другом. При наличии содержательной связи между посылками мы можем получить в процессе рассуждения новое истинное знание при соблюдении двух условий: во–первых, исходные суждения – посылки умозаключения должны быть истинными; во–вторых, в процессе рассуждения следует соблюдать правила вывода, которые обусловливают логическую правильность умозаключения. Умозаключения делятся на следующие виды: 1) в зависимости от строгости правил вывода: демонстративные – заключение в них с необходимостью следует из посылок, т.е. логическое следование в такого рода выводах представляет собой логический закон; недемонстративные – правила вывода обеспечивают лишь вероятностное следование заключения из посылок. 2) по направленности логического следования, т.е. по характеру связи между знанием различной степени общности, выраженному в посылках и заключении: дедуктивные – от общего знания к частному; индуктивные – от частного знания к общему; умозаключения по аналогии – от частного знания к частному. Дедуктивные умозаключения – это такая форма абстрактного мышления, в которой мысль развивается от знания большей степени общности к знанию меньшей степени общности, а заключение, вытекающее из посылок, с логической необходимостью носит достоверный характер. Объективной основой ДУ является единство общего и единичного в реальных процессах, предметах окр. мира. Процедура дедукции имеет место в том случае, когда информация посылок содержит информацию, выраженную в заключении.
Сложные суждения образуются путём соединения между собой простых суждений при помощи логических союзов. Существует множество таких союзов, но главными из них в современной логике считаются следующие: конъюнкция, исключающая и не исключающая дизъюнкции, импликация и эквивалентность. В естественном языке они выражаются при помощи грамматических союзов «и», «либо…, либо», «или», «если…, то», «тогда, и только тогда». Не следует полностью отождествлять логические и грамматические союзы, в логике они приобретают специфический смысл. Каждый из союзов бинарен, то есть соединяет между собой два суждения. Например: «Центральной улицей г Харькова является Сумская, и каждый турист может её посетить»; «Зимой часто выпадает снег или дует холодный ветер»; «Либо данное число делится на два, либо оно является нечётным»; «Ели принять таблетку аспирина, то состояние больного может улучшится»; «Треугольник является равносторонним тогда и только тогда, когда он равноуголен». Логические союзы могут соединятся не только простые суждения, но и простые со сложными и сложные между собой, при этом они образуют весьма протяжённые конструкции. В состав таких суждений входит по нескольку логических союзов, но каждый из них соединяет только два каких-нибуть суждения. В таких конструкциях различают связь между главными и подчинёнными логическими союзами. Например, в суждении: «Если треугольник прямоугольный, то он не остроугольный и не тупоугольный» союз «если» является главным, а союз «и» - подчинённым. В современной логике сложные суждения классифицируются в зависимости от того, какиму них является главный логический союз. Так, суждения вида «А и В», где А и В – любые суждения, называются соединительные или конъюнктивными; суждения вида «А или В» и «либо А, либо В» - разделительными или дизъюнктивными; суждения вида «Если А, то В» - условными или импликативными; суждения вида «А тогда и только тогда, когда В» - суждениями эквивалентности. Рассмотрим эти виды суждений отдельно. 1. Соединительные (конъюнктивные) суждения. 2. Разделительные (дизъюнктивные) суждения. 3. Условные (импликативные) суждения. 4. Суждение эквивалентности. 38. Закон достаточного основания. Важным условием правильного мышления является также свойство доказательности. Это свойство мысли выражается в законе достаточного основания, который формулируется следующим образом: в процессе рассуждения достоверными следует считать лишь те суждения, относительно истинности которых могут быть приведены достаточные основания. Рассуждение, в котором истинность некоторого положения не просто утверждается, но указываются основания, в силу которых мы не можем не признать его истинным, следует считать доказательным. При этом под достаточными основаниями истинности некоторого суждения понимается совокупность обязательно истинных других суждений, из которых первое следует с логической необходимостью. В состав этих истинных суждений могут входить аксиомы, определения, суждения непосредственного восприятия, истинность которых установлена опытным путем; суждения, истинность которых доказана с помощью других истинных суждений. В формулировке закона содержится выражение «могут быть приведены», оно означает, что основания – истинные суждения – не обязательно должны формулироваться явным образом, но могут лишь подразумеваться, хотя и могут быть всегда выявлены при уточнении формы доказательства доказываемого (основного) положения. Следование основного положения из своих «достаточных оснований» - обязательно истинных суждений – должно быть логически необходимым, т.е. таким, что при отрицании основного положения мы вступаем в противоречия с его достаточными основаниями. Доказательное рассуждение не только утверждает истинность некоторого положения, но и обосновывает его истинность. Закон достаточного основания требует выводить новые положения из уже твердо установленных, проверенных, доказанных истин. Закон достаточного основания выражает лишь в общем виде требование исчерпывающего учета всех оснований для каждой истины. В нем не указывается, какое именно основание должно быть в каждом отдельном случае (простого факта или ранее доказанных положений), где и каким образом обнаруживается это основание. В законе утверждается только, что оно должно быть. Особенность основания для каждой истины базируется на содержании той области знания, к которой истина относится. Приведем пример. Достаточным основанием истинности суждения (1) «Летом теплее, чем зимой» может служить показание термометра (факт эмпирический) или истинное суждение (2) «Летом ртутный столбик термометра стоит выше, чем зимой», из которого (1) следует логически необходимым образом. Закон достаточного основания вытекает из принципа, согласно которому причинно-следственные связи имеют всеобщий характер: одно явление с необходимостью вызывает друге; всякое действие имеет свою причину, равно как всякая причина вызывает определенное действие. Следуя указанному закону, мы должны стремиться избегать распространенной логической ошибки, в основе которой лежит иллюзия: «после этого, значит, по причине этого» (post hoc ergo propter hoc – лат.). Чтобы не впасть в эту иллюзию, мы должны опираться на знание внутренних, необходимых связей между предметами, иначе основание вывода будет легковесным, зыбким. Большинство истин науки получено с помощью доказательств, путем обоснования через другие достоверные положения. Они могут быть либо истинами, получившими практическое подтверждение, либо результатом умозаключения из уже проверенных, т.е. достоверных истин. Закон достаточного основания требует, чтобы истина не просто утверждалась, но всегда могла быть доказана.
Логику кратко определяют как науку о формах и законах правильного мышления. Какие же существуют формы мышления? Выделяют следующие формы мышления: понятие, суждение, умозаключение. Например: «апельсин», «фрукт», «трапеция», «белизна», «река Нил», «ураганный ветер», «студент медицинского института» - это понятия. Из понятий можно построить суждения: «Апельсин является фруктом», «Река Нил находится в Европе», «Мне нравится ураганный ветер». Из одного или более суждений по определенным правилам можно получить новые суждения, построив умозаключения. На первых нескольких занятиях мы будем подробно рассматривать форму логического мышления – «понятие». Понятие - форма мышления, в которой отражаются существенные отличительные признаки предметов. Признаком предмета называется то, в чем предметы сходны друг с другом или чем они друг от друга отличаются. Существенными называются такие признаки, каждый из которых, взятый отдельно, необходим, а все вместе взятые достаточны, чтобы с их помощью отличить (выделить) данный предмет (явление) от всех остальных и обобщить однородные предметы в класс. Например, одним из существенных признаков понятия «человек» является наличие сознания. Несущественные - это преходящие, второстепенные признаки, приобретая или теряя которые, предмет остается самим собой. Например, несущественным признаком понятия «человек» является цвет его волос, вес, рост и др. Необходимо подчеркнуть, что различия между существенными и несущественными признаками имеют относительный характер. В определенных условиях они могут меняться местами. Например, существенными признаками понятия «апельсин» будут: круглый, оранжевый, упругий, сладкий, ароматный и другие. Можно ли по этим признакам отличить апельсин от не апельсина? По этим признакам легко отличить апельсин от яблока, но нельзя отличить апельсин от мандарина: большой мандарин можно спутать с маленьким апельсином. Поэтому для точной идентификации апельсина необходимо ввести дополнительные признаки. Содержанием понятия называется совокупность существенных признаков, отраженных в этом понятии. Содержанием понятия «ромб» является совокупность двух существенных признаков: «быть параллелограммом» и «иметь равные стороны». Содержание понятия «ученик» включает в себя признаки «познавать новое», «заниматься под руководством учителя» и «посещать школу». Содержание понятия «хороший ученик» включает в себя признаки «познавать новое», «заниматься под руководством учителя», «посещать школу», «получать хорошие отметки», «исполнительность», «обязательность», «воспитанность». Любой ли отличник может в соответствии с этими признаками называться хорошим учеником? Отметим, что разные люди по-разному представляют себе хорошего ученика, поэтому для каждого человека может быть свой набор существенных признаков. Объем понятия - это множество предметов, каждому из которых принадлежат признаки, относящиеся к содержанию понятия. Например, объем понятия «река» включает в себя множество, состоящее из рек, носящих имена Обь, Иртыш, Енисей, Волга и др. Объём понятия «ученик» включает в себя всех людей, которые когда-либо учились (чему-нибудь и как-нибудь), учатся сейчас или будут учиться. Автомобиль - транспортное средство, имеющее двигатель, кузов, колеса и устройство управления. Это содержание понятия, а его объемом являются все существующие в мире автомобили. Объемы и содержания понятий находятся в тесной взаимозависимости. Одно из важнейших проявлений этой связи фиксируется в законе обратного отношения между содержанием и объемом понятия: если одно понятие шире другого по объему, то первое беднее второго по содержанию; если же первое понятие уже второго по объему, то оно богаче его по содержанию.
1. Выдвижение гипотезы. 2. Развитие гипотезы. 3. Проверка гипотезы. Чтобы выдвинуть гипотезу, необходимо располагать некоторой совокупностью фактов, относящихся к наблюдаемому явлению, которые бы обосновывали вероятность определенного предположения, объясняли неизвестное. На основании собранных фактов высказывается предположение о том, что представляет собой исследуемое явление, то есть формулируется гипотеза а узком смысле слова. Предположение высказывают в результате логической обработки собранных фактов. Факты, на основании которых выдвигается гипотеза, могут быть осмыслены логически в форме дедукции, индукции или аналогии. Выдвижение предположения составляет основное содержание гипотезы. Предположение является ответом на поставленный вопрос о сущности, причине, связях наблюдаемого явления. Предположение, чтобы стать гипотезой, должно удовлетворять следующим требованиям: а) предположение не должно быть логически противоречивым; б) предположение должно быть принципиально проверяемым. Различают два рода проверяемости - практическую и принципиальную. Предположение является практически проверяемым, если оно может быть проверено в данное время или в относительно недалекий период времени. Предположение является принципиально проверяемым, когда оно может быть проверено (если не в ближайшее время, то когда-нибудь). в) предположение не должно противоречить ранее установленным фактам, для объяснения которых оно предназначено. Если уже на этапе формирования гипотезы факты вступают в противоречие с предположением, следует прибегнуть к иной формулировке; г) предположение должно объяснять возможно более широкий круг явлений. Это требование позволяет из двух или более гипотез, объясняющих один и тот же круг явлений, выбрать наиболее оптимальную. Умозаключение, в котором формируется основное предположение гипотезы, может строиться в форме аналогии, неполной индукции, вероятностного силлогизма, как минимум, в трех его вариантах: - с нарушением хотя бы одного из правил категорического силлогизма; - с использованием хотя бы одной посылки, являющейся суждением проблематическим; - с допущением этих обоих обстоятельств. Но говорить о тех или иных отдельных видах умозаключения в связи с построением гипотезы - значит выделять лишь центральное и конечное звено в целом сложного логического построения. Развитие гипотезы связано с выведением из нее логических следствий. Логические следствия, выводимые из гипотез, нельзя отождествлять со следствиями - звеньями причинно-следственной цепи явлений, всегда хронологически следующими за вызвавшей их причиной. Под логическими следствиями понимаются мысли не только об обстоятельствах, вызванных изучаемым явлением, но и об обстоятельствах, предшествующих ему по времени, о сопутствующих и последующих, а также об обстоятельствах, вызванных иными причинами, но находящимися с исследуемым явлением в какой-либо связи. Проверка гипотезы идет, как правило, посредством практики. При проверке гипотезы также используются и логические средства доказательства. Способы доказательства гипотез: дедуктивное обоснование выраженного в гипотезе предположения; логическое доказательство гипотезы; непосредственное обнаружение предположенных в гипотезе предметов. (1) Непосредственное обнаружение искомых предметов. Наиболее убедительным способом превращения предположения в достоверное знание является непосредственное обнаружение в предположенное время или в предположенном месте искомых предметов либо непосредственное восприятие предположенных свойств. (2) Логическое доказывание версий. Версии, объясняющие существенные обстоятельства расследуемых дел, превращаются в достоверное знание путем логического обоснования. Логическое доказывание гипотезы в зависимости от способа обоснования может протекать в форме косвенного или прямого доказывания. Косвенное доказывание протекает путем опровержения и исключения всех ложных версии, на основании чего утверждают достоверность единственного оставшегося предположения. Вывод протекает в форме отрицающе-утверждающего модуса разделительно-категорического умозаключения. Прямое доказывание гипотезы протекает путем выведения из предположения разнообразных, но вытекающих только из данной гипотезы следствий и подтверждения их вновь обнаруженными фактами.
Понятие как простейший элемент в логике состоит из двух элементов: объема и содержания. Поскольку понятие состоит только из двух элементов, а суждение составляют как минимум два понятия, то понятие — простейшая форма мысли,лежащая в основе других. Обратным отношением объема и содержания понятие определяет диалектичность и более сложных форм мысли. Понятия разделяются на виды за счет изменения одного из элементов своей структуры. Например, по объему (количественному признаку) понятия делятся на единичные, общие и пустые (нулевые). К количественному признаку относится разделение понятий на регистрирующие (исчислимые) и нерегистрирующие (неисчислимые). По содержанию (качественному показателю) понятия делятся на утвердительные и отрицательные, конкретные и абстрактные, безотносительные и соотносительные, собирательные и разделительные (несобирательные). Понятия, отражающие единственный предмет (явления,процесс), называются единичными; их объем индивидуален.Это, например, понятия о дневном светиле, об авторе Евгения Онегина» и т.п. Понятия, объемы которых отражают два и более однородных предмета (явления, процесса), называются общими. Например студент, театр, наводнение и пр. Общее понятие грамматически выражается единственным числом; слова “столб” и “столбы” в равной степени выражают общее понятие о столбе. Понятия объемы которых отражают пустые предметные области, называются пустыми (нулевыми). Таким понятиям не соответствуют никакие объекты, они представляют собой результат абстрагирующей деятельности сознания отражающего идеальные объекты с предельными свойствами («несжимаемая жидкость», «идеальный газ» и пр.). Понятия о сказочных или фантастических объектах тоже являются пустыми («русалка», «минотавр» и пр.). Понятия, отражающие поддающуюся исчислению область (множество, класс) предметов, называются регистрирующими (исчислимыми). Например, «дни недели», «времена года» и пр. Объемы нерегистрирующих {неисчислимых} понятий фактически не поддаются точному исчислению. Это предельно широкие понятия «количество», «качество», а также общие понятия «море», «человек», абстрактные понятия «чернота», «кривизна» и пр. Хотя объемы понятий «дом», «стол», «человек» и могут быть исчислены, но практически это неосуществимо. Утвердительные (положительные) понятия отражают наличие некоторого признака у предмета. Положительными понятиями могут быть как общие, так и единичные, пустые. Положительными, общими, а в некоторых случаях и пустыми являются понятия о городе, луне, цене, морали и пр. Отрицательные понятия образуются путем добавления частицы «не» к положительному понятию: «не-роза», «не-студент», т.е. они указывают на отсутствие любого признака, который утверждается положительным понятием. Понимание отрицательности в обычном смысле не всегда совпадает с логическим. Конкретными называются понятия, отражающие предмет, явление или процесс в целом: «ночь», «улица», «фонарь», «аптека» и т.п. Конкретными понятиями могут быть любые утвердительные как общие, так и единичные и пустые понятия. Абстрактными в логике считаются понятия, отражающие отдельное свойство предмета, отдельный его признак,причем так, словно он существует независимо от своего предмета-носителя: «белизна», «человечность», «вечность» и пр. Понятие называется соотносительным, если оно своим содержанием требует непременного соотнесения с другими понятиями. Такими понятиями являются, например «меньше», «между», «мать» и др. Безотносительное понятие мыслится без непременного соотнесения с другими понятиями. Таковыми могут быть утвердительные,отрицательные, конкретные, абстрактные и другие понятия, кроме соотносительных. Собирательные понятия специфичны, поскольку своим содержанием отражают определенное (строгое или не строгое) количество однородных предметов как нечто целое: «взвод», «Млечный Путь» и т.п. Разделительные понятия по содержанию относятся к каждому предмету множества («любой», «каждый» и пр.). Разделительность понятия определяется в контексте, например в утверждении «россиянин имеет право на образование» понятие «россиянин» используется как разделительное, потому что подразумевается каждый в отдельности россиянин. Однако то же самое в контексте «россиянин полетел в космос» становится собирательным, поскольку имеется в виду не каждый россиянин. |