Мышление. 5
высшего профессионального образования
Центросоюза Российской Федерации
ЮРИДИЧЕСКИЙ ФАКУЛЬТЕТ
КАФЕДРА ТЕОРИИ И ИСТОРИИ ГОСУДАРСТВА И ПРАВА
КОНТРОЛЬНАЯ РАБОТА
по дисциплине «Логика »
Вариант №2
ВЫПОЛНИЛ:
Студент _________ шифр (группа)
Пурбуев Батор Бальжинимаевич
НАУЧНЫЙ РУКОВОДИТЕЛЬ:
Гусакова Л.А.
ЧИТА 2012
1. Определите мышление как объект логики.
2. Соотнесите классификацию простых суждений.
3. Каковы непосредственные умозаключения из простых суждений? Примеры «превращения».
1. Мышление как объект логики
Повседневное общение - это, как правило, разговор (речь), т.е. обмен словами, предложениями, но он же есть и обмен мыслями по поводу тех или иных предметов (на ту или иную тему), поскольку слова и предложения речи, обозначая, заменяя предметы, несут еще и определенную смысловую нагрузку.
Мысли и слова, как ни крепко и тесно они связаны друг с другом, тем не менее, далеко не одно и то же. Мысли, будучи по природе своей непосредственно не наблюдаемым, идеальным образованием, в словах и предложениях находят свое материальное выражение. Конечно, мысли материализуются не только в речи, но во всей жизнедеятельности человека, в его практической, производительной деятельности, в продуктах труд.
Мыслить логично - это значит мыслить точно и последовательно, не допускать противоречий в своих рассуждениях, уметь вскрывать логические ошибки. Эти качества мышления имеют большое значение в любой области научной и практической деятельности, в том числе и в работе юриста, требующей точности мышления, обоснованности выводов.
Рассмотрим основные особенности мышления.
Мышление отражает действительность в обобщенных образах.
В отличие от чувственного познания мышление абстрагируется от единичного, выделяет в предметах общее, повторяющееся, существенное.
Обобщенный характер мышления в своей развитой форме специфичен лишь для человека. Обобщенность мышления выявляется в способности человека познавать общие характеристики предметов в единичном, осуществлять переходы от менее общего к более общему, формировать общие понятия, общие суждения, законы, нормы, научные теории и т.п. Способность к решению нетривиальных задач означает, что мышление, как и процесс трудовой деятельности, лежащий в основе формирования мыслительной деятельности, является целеустремленным, активным, связанным с открытием нового, с принятием соответствующих решений, с подчинением ближайшей цели конечному результату, с изобретением и применением различных мыслительных средств для достижения этого результата.
Мышление - процесс опосредствованного отражения действительности.
При помощи органов чувств можно познать лишь то, что непосредственно воздействует или воздействовало на органы чувств. Знание, полученное из уже имеющихся знаний, без обращения в каждом конкретном случае к опыту, к практике, называется выводным, а сам процесс его получения - выведением.
Мышление опосредствовано:
а) ощущениями и восприятиями, на базе которых формируется мыслительный акт;
б) прошлым опытом, благодаря чему внешние причины (объекты познания) отражаются в голове человека через посредство внутренних условий (накопленного ранее опыта);
в) познанием чувственно воспринимаемого, непосредственно наблюдаемого, на основе анализа которого человек отражает в мышлении такие стороны действительности, которые не даны ему в непосредственном опыте например, с помощью мышления человек формирует понятия о причинной связи, точке, бесконечности и т.п., которые не даны ему в непосредственном опыте).
Важной формой обеспечения способности мышления к опосредствованному отражению действительности является использование умозаключений, на основе которых, опираясь на приобретенный опыт и правила логики, мы можем получать новые знания
Мышление неразрывно связано с языком.
Какая бы мысль ни возникла в голове человека, она может возникнуть и существовать лишь на базе языкового материала, в словах и предложениях.
Мышление и язык исторически и генетически формировались в непосредственной связи друг с другом, сохраняя при этом относительную самостоятельность. качественное отличие друг от друга. Действительно, мышление идеально, любая же знаково-сигнальная система материальна. В силу своей идеальности мысли выразимы лишь в слове (символе, знаке), поэтому и мышление в целом, являясь (как и отдельная мысль, отдельная форма мысли) идеальным, тоже проявляется в языке, в речи, в деятельности. Между языком и мышлением настолько тесная связь, что мы вправе утверждать: нет языка вне мышления, как нет н мышления без языка. Под языком мы понимаем не только естественный, но и любой другой (в том числе искусственный) язык графических, звуковых, тактильных и прочих символов, знаков, сигналов, иероглифов и т.п. Теснейшая взаимосвязь языка и мышления, слова и мысли, часто приводящая к их отождествлению, порождает ошибочное представление, иллюзию, что мысли сами по себе можно передавать на расстояние. Строго же говоря, мысль саму по себе, как всего лишь свойство особым образом организованной материи, принципиально невозможно отделить от породившей ее материи. Мы передаем на расстояние не мысли сами по себе, а сигналы о мыслях (в виде слов, звуковых или электромагнитных колебаний), возникающих в наших головах, и эти сигналы, будучи восприняты другими людьми, могут уже в их головах превращаться в соответствующие исходным (если только сигналы в процессе передачи не были искажены) мысли.
Любая наука строит свой язык на основе естественного языка. Логика также использует естественный язык, формируя на его основе свой собственный: специальные слова, термины, особые знаки (символы). Поэтому одно и то же слово естественного языка в разных науках зачастую имеет совершенно разное значение. В частности, значение слова "термин" в логике отличается от общепринятого значения, в логике оно используется для обозначения элементов суждения и умозаключения. А так как элементами суждения и умозаключения являются понятия, то слово "термин", таким образом, выступает как синоним слова "понятие". Эту особенность языка логики как науки необходимо учитывать при дальнейшем знакомстве с содержанием логики.
В традиционной формальной логике символика немногочисленна. К основным символам, заменяющим главные понятия логики, понятие субъекта, или предмета мысли (логическое подлежащее) и предиката, т.е. признака предмета мысли, присущего или не присущего ему (логическое сказуемое), относятся S и P. Понятия "субъект" и "предикат" используются и в философии, поэтому с самого начала необходимо установить пусть и не столь уж радикальные, но все же существующие различия между философским и логическим значениями их. В философии "субъект" - это и отдельный человек, и мыслящее человечество, общество в целом, т.е. то, что противостоит "объекту" - природе, миру в целом. В логике "субъект" - это предмет мысли, то, на что направлено наше сознание, наше внимание, интеллект, разум, о чем ведется рассуждение, это - логическое подлежащее суждения. Им может быть любое понятие, отражающее любой реальный или мнимый, материальный или идеальный "предмет". Предметом мысли, тем самым, может быть все, что угодно.
2.Соотнесите классификацию простых суждений
"Предикат" в философии и логике почти совпадают по своему значению, это любой признак, присущий или не присущий тому или иному предмету, в логике, конечно же, предмету мысли.
Итак:
S - символ для обозначения субъекта суждения (предмета мысли, логического подлежащего).
P - символ предиката суждения (логического сказуемого), т.е. понятия, отражающего присущий или не присущий предмету мысли (субъекту), признак.
М - средний термин умозаключения, общее дли исходных суждений понятие2. Классификация суждений:
Предикат суждения, будут носителем новизны, может иметь самый различный характер. С этой точки зрения во всем многообразии суждений выделяются три наиболее распространенные группы: атрибутивные, реляционные и экзистенциальные.
Атрибутивные суждения (от лат. altributum – свойство, признак), или суждения о свойствах чего-либо, раскрывают наличие или отсутствие у предмета мысли тех или иных свойств (или признаков). Например: «Все республики бывшего СССР объявили о своей независимости»; «Содружество Независимых Государств (СНГ) непрочно». Поскольку понятие, выражающее предикат, имеет содержание и объем, атрибутивные суждения могут рассматриваться в двух планах: содержательном и объемном.
В содержательном плане это суждение о том, обладает или не обладает предмет мысли какой-либо совокупностью свойств или отдельным свойством. В зависимости от этого различаются две разновидности атрибутивных суждений. В одной из них предикат выражен конкретным понятием, т.е. понятием о самих предметах и явлениях в строгом смысле этого слова. Например: «Ртуть – металл» (т.е. она обладает всеми свойствами металлов).
В другой разновидности предикат – абстрактное понятие. Например: «Ртуть электропроводная (т.е. она обладает отдельным свойством электропроводности). Нетрудно, однако, заметить относительность различий между этими разновидностями. Достаточно сравнить следующие пары суждений: «Человек – мыслящее существо» и «Человеку свойственно мыслить»; «Всякое преступление – общественно опасное деяние» и «Всякое преступление обладает общественной опасностью».
В объемном плане атрибутивные суждения – это суждения о том, входит или не входит предмет мысли в тот или иной класс предметов. Они именуются тогда «суждениями включения (или невключения) в класс предметов». В зависимости от объемных отношений различаются тоже две их разновидности. Для одной характерно включение (или невключение) подкласса в класс. Например: «Все металлы электропроводны» (здесь подкласс металлов включается в класс электропроводных веществ). В другой устанавливается принадлежность (или непринадлежность) элемента классу: «Данное вещество – металл». В символической логике те и другие суждения выражаются формулами: S Р (читается: объем S входит в объем Р) и S Р (читается: S принадлежит Р).
Правда, грань между этими двумя разновидностями суждений включения (невключения) в класс также относительна. Например, «Все металлы электропроводны» означает, что любой предмет, являющийся элементом класса металлов, является также элементом класса электропроводных веществ.
Реляционные суждения (от лат. relatio – отношение), или суждения об отношениях чего-либо к чему-то, раскрывают наличие или отсутствие у предмета мысли того или иного отношения к другому предмету (или нескольким предметам). Поэтому они обычно выражаются специальной формулой: х R у, где х и у – предметы мысли, a R (от relatio) – отношение между ними. Например: «СНГ не равно СССР», «Москва больше Санкт-Петербурга».
У реляционных суждений тоже есть свои разновидности. Одну из них составляют суждения об отношениях между двумя предметами. Например: «Рязань меньше Москвы», «Знания подобны деньгам» (чем больше их имеешь, тем больше хочется иметь); «Даже самые незначительные проступки порождают великие преступления». Или, как подметил Козьма Прутков, «легче держать вожжи, чем бразды правления». В отличие от «одноместного» предиката атрибутивных суждений предикат в них называется «двухместным». Другая разновидность реляционных суждений – суждения об отношениях между тремя и более предметами. Например: «Рязань находится между Москвой и Тамбовом». Предикат здесь – «многоместный».
Относительность различий между атрибутивными и реляционными суждениями проявляется в их способности превращаться друг в друга. Так, атрибутивные суждения можно представить как частный случай реляционных, поскольку в них связка «есть» («не есть») раскрывает отношение тождества (принадлежности, включения и т. д.) между мыслимыми в S и Р предметами. А реляционное суждение, в свою очередь, можно представить как частный случай атрибутивного.
Примеры. Суждение «Все металлы электропроводны» можно превратить в суждение «Все металлы подобны электропроводным телам». В свою очередь, суждение «Рязань меньше Москвы» можно превратить в суждение «Рязань принадлежит к городам, которые меньше Москвы». Или: «Знания есть то, что подобно деньгам». В современной логике есть тенденция свести реляционные суждения к атрибутивным.
Экзистенциальные суждения (от лат. existentia – существование), или суждения о существовании чего-либо, это такие, в которых раскрывается наличие или отсутствие самого предмета мысли. Предикат здесь выражается словами «существует» («не существует»), «есть» («нет»), «был» («не был»), «будет» («не будет») и др. Например: «Дыма без огня не бывает», «СНГ существует», «Советского Союза нет». В процессе судопроизводства решается прежде всего вопрос, имело ли место событие: «Преступление есть» («Доказательств нет»).
Несомненно, экзистенциальные суждения обладают определенной спецификой. Однако их целесообразнее рассматривать как частный случай атрибутивных суждений. Так, суждение «СНГ существует» означает, что «СНГ обладает свойством существовать», или в объемной трактовке: «СНГ принадлежит к классу существующих межгосударственных объединений». Вот почему в последующем логическом анализе экзистенциальные суждения самостоятельно не рассматриваются.
Познавательное значение рассмотренных видов суждений по характеру предиката трудно переоценить. В атрибутивные суждения облекаются знания обо все новых открываемых свойствах бесконечно разнообразных предметов мысли. Например, Пьер и Мария Кюри установили, что полоний, как и уран, обладает свойством радиоактивности, и тем самым значительно расширили горизонт наших знаний. Выявление тех или иных свойств исследуемых предметов пли особенностей тех или иных лиц важно, например, в криминалистике.
В реляционных суждениях отражается бесконечное богатство отношений между предметами мысли: пространственные и временные, природные и социальные, а среди социальных – производственные и непроизводственные (политические, нравственные, религиозные, семейные и т.д.). С их помощью выражается вся гамма правовых отношений между людьми: отношения кредитора и должника, продавца и покупателя, начальника и подчиненного, родителей и детей, участников судебного процесса и др. Например: «Иван взял взаймы у Петра», «Петров заключил договор с Сидоровым», «Судья задал вопрос свидетелю».
Особое значение имеют экзистенциальные суждения. Первое, с чем сталкивается человек в своей практической деятельности, – это существование (или отсутствие) тех или иных предметов и явлений, с которыми он имеет дело. И в настоящее время нас волнуют вопросы, есть ли жизнь на других планетах, есть ли другие разумные существа во Вселенной, существуют ли «снежный человек», «биополе», «телепатия», «полтергейст» и многое другое. В судебной практике установление факта преступления, трудового или гражданского спора – начало всего последующего разбирательства.
Знание особенностей атрибутивных, реляционных и экзистенциальных суждений имеет, таким образом, важное значение для всякого человека вообще и юриста в частности.
По качеству связки
Качество суждения – одна из важнейших его логических характеристик. Под ним разумеется не фактическое содержание суждения, а его самая общая логическая форма – утвердительная, отрицательная или отрицающая. В этом проявляется наиболее глубокая сущность всякого суждения вообще – его способность раскрывать наличие или отсутствие тех или иных связей и отношений между мыслимыми предметами. А определяется это качество характером связки – «есть» или «не есть». В зависимости от этого простые суждения делятся по характеру связки (или ее качеству) на утвердительные, отрицательные и отрицающие.
В утвердительных суждениях раскрывается наличие какой-либо связи между субъектом и предикатом. Выражается это посредством утвердительной связки «есть» или соответствующими ей словами, тире, согласованием слов. Общая формула утвердительного суждения - «S есть Р». Например: «Киты – млекопитающие».
В отрицательных суждениях, наоборот, раскрывается отсутствие той или иной связи между субъектом и предикатом. И достигается это с помощью отрицательной связки «не есть» или соответствующими ей словами, а также просто частицей «не». Общая формула - «S не есть Р». Например: «Киты не рыбы». Важно при этом подчеркнуть, что частица «не» в отрицательных суждениях стоит непременно перед связкой или подразумевается. Если же она находится после связки и входит в состав самого предиката (или субъекта), то такое суждение все равно будет утвердительным. Например: «Мои стихи живит не ложная свобода».
В связи с этим выделяются две основные разновидности утвердительных суждений: а) суждения с предикатом, который выражен положительным понятием. Формула «S есть Р». Пример: «Судьи самостоятельны»; б) суждения с предикатом, представляющим собой отрицательное понятие. Формула «S есть не-Р». Пример: «Судьи независимы». Другие примеры: «Многие законы действуют», «Некоторые законы бездействуют».
Отрицательные суждения тоже имеют две разновидности: а) суждения с положительным предикатом. Формула: «S не есть Р». Пример: «Петров не есть патриот»; б) суждения с отрицательным предикатом: «Петров не есть непатриот». Еще примеры: «Органы местного самоуправления не входят в систему органов государственной власти» и «Федеральное Собрание не является негосударственным органом».
Также существуют отрицающие суждения – это суждения, в которых характер связки двойной. Например: «Неверно, что человек никогда не покинет Солнечной системы».
Деление суждений на утвердительные, отрицательные и отрицающие в известной степени относительно. Любое утверждение содержит в себе в скрытом виде отрицание. Вспомним афоризм: «Determinatio est negatio». И наоборот. Так, если «Это слон», то, значит, «это» не какое-то другое животное – лев, жирафа и т.д. А если «Это не слон», то, значит, «это» другое животное – лев, жирафа и т.п. Вот почему утвердительное суждение можно выразить в форме отрицательного и наоборот. Например: «Петров – патриот» — «Петров не есть непатриот». Здесь как в математике: двойное отрицание равно утверждению.
Познавательное значение утвердительных, отрицательных и отрицающих суждений определяется их особенностями, которые носят объективный характер. Утвердительные суждения дают более или менее точные знания о том, что именно представляет собой предмет мысли, какова его качественная определенность, выделяющая его среди других предметов.
3. Непосредственные умозаключения из простых суждений? Примеры «превращения».
В процессе познания действительности человек приобретает новые знания. Некоторые из них получают с помощью живого созерцания в результате воздействия предметов внешнего мира на органы чувств. Однако большую часть знаний мы получаем на ступени абстрактного мышления с помощью рассуждений, т.е путем выведения новых знаний из знаний уже имеющихся. Эти знания называются опосредованными, или выводными.
Логической формой получения выводных знаний является умозаключение.
Умозаключение - это форма мышления, посредством которой из одного или нескольких суждений выводится новое суждение.
Любое умозаключение состоит из посылок, заключения и вывода. Посылками умозаключений называются исходные известные суждения, из которых выводится новое суждение. Заключением называется новое суждение, полученное логическим путем из посылок. Логический переход то посылок к заключению называется выводом.
Подобно всякому суждению, заключение может быть истинным и ложным. Но то и другое определяется здесь, как и в сложных суждениях, непосредственно отношение не к действительности, а прежде всего к посылкам и их связи.
Заключение будет истинным при наличии двух необходимых условий: 1) если посылки истинны по содержанию и 2) если умозаключение правильно по своей форме (строению).
Например:
Все художники точно чувствуют природу
И.Левитан - художник.
______________________________
Следовательно, И.Левитан тонко чувствует природу.
Вывод: при наличии содержательной связи между посылками мы можем получить в процессе рассуждения новое истинное знание при соблюдении двух условий: во-первых, должны быть истинными исходные суждения - посылки умозаключения; во-вторых, в процессе рассуждения следует соблюдать правила вывода, которые обусловливают формальную правильности умозаключения.
При подобном строении умозаключения достаточно вместо "воды" подставить "резину", чтобы понять случайность верного вывода. Связь между посылками и заключением должна быть не случайной, а необходимой, однозначной, обоснованной: одно должно действительно следовать, вытекать из другого. Если же связь случайна или многозначна и в отношении вывода, как говорят при обмене квартир, "возможны варианты", то такой вывод делать нельзя. Иначе неизбежна ошибка, которая в логике называется "non sequitur" ( "не следует" ). продолжая начатое выше сравнение со строительством дома, можно сказать: нельзя построить добротный дом, если материал негодный (например, бревна гнилые); но и дом из хорошего материала может развалиться, если строить его неправильно, не соблюдая законов механики.
Виды дедуктивных умозаключений.
Выступая в качестве более сложной, чем понятие и суждение, формы мышления, умозаключение представляет собой в то же время более богатую по своим проявлениям форму. И в этом есть определенная закономерность.
Обозревая практику мышления, можно обнаружить великое множество самых разнообразных видов и разновидностей умозаключений. Они различаются числом посылок - одна, две и более; типом суждений - простое или сложное; видом суждений - атрибутивное или реляционное; степенью вероятности вывода - достоверный или вероятный и т.д. и т.п. Всякое умозаключение вообще, безотносительно к его формам, представляет собой логическое следование одних знаний из других, то в зависимости от характера этого следования, от направленности хода мысли в умозаключении можно выделить три коренных, фундаментальных типа, которые и будут положены в основу последующего анализа выводного знания. Это дедукция, индукция и традукция.
Дедукция (от лат. deductio - выведение) - это умозаключение от более общего знания к менее общему. Типичный пример дедукции, идущий от древности:
Все люди смертны.
Сократ - человек.
________________
Наряду с делением умозаключений по строгости вывода важное значение имеет их классификации по направленности логического следования, т.е. по характеру связи между знанием различной степени общности, выраженному в посылках и заключении. С этой точки зрения различают три вида умозаключений: дедуктивные (то общего знания к частному), индуктивные (от частного знания к общему), умозаключения по аналогии (от частного знания к частному).
Данная классификация умозаключений будет положена в основу дальнейшего изложения.
Рассмотрим дедуктивные умозаключения.
Умозаключения в которых вывод получается из одной посылки мы называем непосредственными, а умозаключения в которых вывод получается из нескольких посылок - опосредованными.
Широко распространенным видом опосредованных умозаключений является простой категорический силлогизм, вывод в котором получается из двух категорических суждений:
(1) "Союзная республика (S) - суверенное советское социалистическое государство (Р)" и (2) " Украина (S) - суверенное советское социалистическое государство (Р)", которое также представляет собой категорическое суждение.
Таким образом, простой категорический силлогизм состоит из трех категорических суждений, два из которых являются посылками, а третье - заключением.
Расчленим суждения, из которых состоит силлогизм, на понятия. Этих понятий три, причем каждое из них входит в состав двух суждений: "союзная республика" - в 1-е (посылку) как субъект и во 2-е (посылку) как предикат; "суверенное социалистическое государство" - в 1-е (посылку) и в 3-е (заключение) как их предикаты; "Украина" - во 2-е (посылку) и в 3-е (заключение) как их субъекты.
В отличие от терминов суждений - субъекта (s) и предиката (p) - понятия, входящие в состав силлогизма, называются терминами силлогизма. Различают меньший, больший и средний термины.
Меньшим термином силлогизма называется понятие, которое в заключении является субъектом ( в нашем примере понятие "Украина"). Большим термином силлогизма называется понятие, которое в заключении является предикатом (в примере "суверенное советское социалистическое государство). Меньший и больший термины называются крайними и обозначаются соответственно латинскими буквами S (меньший термин) и P (больший термин).
Каждый из крайних терминов входит не только в заключение, но и в одну из посылок. Посылка, в которую входит меньший термин, называется большей посылкой. В нашем примере большей посылкой будет первое суждение, меньшей - второе суждение.
Для удобства анализа силлогизма посылки принято располагать в определенной последовательности: большую - на первом месте, меньшую - на втором. Под чертой записывают заключение. Однако на практике рассуждения такой порядок необязателен. Меньшая посылка может находиться на первом месте, большая на втором. Например "Украина (S) - союзная республика ( меньшая посылка). Союзная республика - суверенное советское социалистическое государство (Р) (большая посылка). Следовательно, Украина (S) - суверенное советское социалистическое государство (Р)". Иногда посылки стоят после заключения: "Украина (S) - суверенное советское социалистическое государство (Р), потому что Украина (S) союзная республика - суверенное советское социалистическое государство (Р)".
Вывод в силлогизме был бы невозможен, если бы в нем не было среднего термина. Средним термином силлогизма называется понятие, входящее в обе посылки и отсутствующе в заключении (в нашем примере - "союзная республика").. Средний термин связывает два крайних термина. Отношение крайних терминов (субъекта и предиката заключения) устанавливается благодаря их отношению к среднему термину. В самом деле, из большей посылки нам известно отношение большего термина к среднему (в нашем примере понятия "суверенное советское социалистическое государство" к понятию "союзная республика"), из меньшей посылки - отношение меньшего термина к среднему (понятия "Украина" к понятию "союзная республика"). Зная отношение крайних терминов к среднему, мы можем установить отношение между крайними терминами (понятиями "Украина" и "суверенное советское социалистическое государство").
Таким образом, вывод из посылок оказывается возможным потому, что средний термин выполняет роль связующего звена между двумя крайними терминами силлогизма. В нашем примере на место терминов сужд** этого различают четыре силлогизма, которые называются фигурами (рис.)
В первой фигуре средний термин занимает место субъекта в большей и место предиката в меньшей посылке.
Во второй фигуре - место предиката и в большей, и в меньшей посылках.
В третьей фигуре - место субъекта в обеих посылках.
В четвертой фигуре - место предиката в большей и место субъекта в меньшей посылке.
Эти фигуры исчерпывают все возможные комбинации терминов.
Итак, фигуры силлогизма - это его разновидности, различающиеся положением среднего термина в посылках.
Список используемой литературы
1. Ивин А.А. Логика. М., 2001г.
2. Иванов Е.А. Логика. М., 2004г.
3. Тофтул Л.Г. Логика. 2000р.
4. В.И. Кириллов, А.А. Старченко. Логика. М., 2003г.
5. О.М. Бандурка, О.В. Тягло., 2002р.
6. Ивин А.А., Никифоров А.Д. Словарь по логике. М., 2002
7. А.А. Ивин, ЛОГИКА, Учебное пособие, М., - 2000
8. И. Кобзарь, ЛОГИКА, Санкт-Петербург, - 2001.
9. Ю.П. Попов, Логика, Владивосток, - 2003 г.
10. Г.И. Челпанов, Учебник логики.