Аристотелевская (традиционная) логика.
Математическая (символическая) логика.
Неклассическая логика.
Мифология – самая далекая предлогика, т.к. мифологическое мышление является нерасчлененным. Это означает, что для мифологически мыслящего человека мысли, предмет мысли, и слово, выражение мысли ничем друг от друга не отличаются. Мышление обладает особенностью генетического объяснения любого явления. Чтобы понять любое явление необходимо узнать кто, как, когда, почему породил. При этом все, что угодно могло быть. Порождение предметов, явлений, с помощью воображения и фантазии является очень далекой аналогией, рождает смысл из мысли.
Софистический период.
В 5 в. до н.э. в некоторых городах Древней Греции, государствах появился режим рабовладельческой демократии. В этих условиях большинство сложных вопросов решались при участии всех свободных граждан. Предполагались разные решения проблем, люди спорили, доказывая и убеждая в своей правоте. Правильным считалось то решение, за которое проголосовало больше всех, т.е. решение, предлагаемое победителем спора. Необходимо было обладать мастерством убеждения, красноречия. Появилась потребность в людях, которые могли обучать всем этим видом мастерства. Ими оказались софисты. София – мудрость. Софист – учитель мудрости. Софисты – это философы Древней Греции, представлявшие одно из многих направлений. Их главой был принцип – человек – мера вещей. Эти философы принимали наиболее активное участие в публичной жизни. Ими разрабатывалась риторика. В основе науки лежали три принципа: Логос, Пафос, Этос.
Логос – это объективные связи между мыслями.
Пафос – это эмоциональное психическое воздействие.
Этос – уважение, честь, достоинство человека.
Наиболее сильное воздействие на публику появляется при сочетании всех принципов.
При этом мысль, которую отстаивает спорящий, должна быть истинной, правильной, т.е. должно подчиняться принципу логоса.
Объективно неправильные решения тоже могли оказаться победителями. Это было возможно при умелом использовании принципа пафоса вопреки принципа логоса. Объективно неправильные решения, за которые голосовало большинство, могли приносить большой ущерб, как для личности, так для государства.
Наличие большого ущерба как следствие принятия неправильных решений порождало необходимое сопротивление, противостояние этому злу. Победить софистов можно было, разоблачая их аргументацию, основанную на принцип пафоса и противоречащую принципу логоса. Особенностью софистического мышления является неотделенность мысли и слова. Эта неотделенность позволяла в правильных красивых связях между словами позволяла скрывать неправильно связанные мысли, необходимо было отделить слово от мысли. Эту работу начали вести критики софистов. Первые критики были их учениками. Первыми были и философы: Демокрит, Сократ, Платон, Аристотель. Ими был обнаружен мир мысли, который не совпадает с миром слов. Эти миры подчиняются разным законам и правилам. Иначе говоря, в произведениях этих философов получили дальнейшее развитие принцип логоса, риторика. Так появилась наука логика, которая поначалу называлась аналитика. Аристотель сформулировал основные законы и открыл правила важнейшего вида дедуктивных умозаключений – силлогизм (вычисление исчисления). Аристотель сделал настолько фундаментальное открытие, что его мысли просуществовали в относительно измененном виде до 19 века.
Математическая логика.
Эта логика появилась благодаря открытиям Джорджа Буша. В основе появления этой логики лежало несколько идей, которые в ней были частично реализованы.
1 идея: научиться также всесторонне обращаться с мыслями, оперировать им как с числами.
2 идея: сведение математики к логике, как способа обоснования математика. ЭС этой идеей все получилось наоборот: логика сама стала разделом математики.
Математическая логика была революционным началом развития логики, которая послужила главной причиной создания искусственного интеллекта. Математическая логика используется для анализа средств интеллекта в большей степени приборно-бридиционная логика.
Неклассическая логика.
Означает отказ или постановку под сомнение некоторых принципов, законов, правил классической логики: нет одной неклассической логики. Это собирательное название многих неклассических логик, которые могут быть совсем не похожи друг на друга. Развитие неклассической логики начинается в конце 19, начале 20 вв.
Трехзначная, многозначная, бесконечнозначная логика.
Модальная логика.
Интуитивистская логика.
Конструктивная логика.
Релевантская.
Логика квантовой механики.
Воображаемая логика и многие другие.
Формирование логики в индивидуальном развитии:
Усвоение родного языка, речи (умение говорить), язык выражает мысль, он является осмысленным. Через язык прямо и косвенно обнаруживаются законы, связям (мыслительная языковая культура способна влиять на классическую культуру прямопропорционально).
Формирование предметно-практического, а также наглядно-образного мышления. Наглядность – это «умение думать руками». Это умение учитывать объективные свойства предметов окружающего мира, чтобы из них создавать новые предметы или новые предметные ситуации. Наглядно-образное мышление – активность чувственных образовнаний о мире. Чем больше знаний о мире, тем больше шансов, что эти знания будут использоваться, приведены в активность. Чем больше знаний, тем более вероятно, что одни знания будут обнаруживать попутно с другими, противоречя с третьими, в зависимости от четвертых и т.д. Чем больше знаний, тем больше нового можно заметить в окружающем мире. Полное отсутствие знаний не позволяет увидеть ничего в окружающем мире.
Накопление жизненного опыта. Чем больше опыт, тем сильнее потребность в его осмыслении в форме вопросов. Эти вопросы требуют серьезного размышления. Но главное в назначении жизненного опыта – это в том, чтобы помочь человеку приобщиться к полноте бытия и в том, чтобы найти смысл собственного бытия.
Тема №2. Понятие.
Понятие как вид мысли. Понятие и чувственные образы.
Понятие и слово.
Содержание и объем понятия. Объем как множество.
Виды понятий.
Отношения между объемами понятий: равнообъемность, пересечение, подчинение.
Операции с понятием (ограничение, обобщение понятий).
Определение понятия (дефиниция). Виды определений. Правильность и ошибки операций.
Операции деления понятий. Виды деления. Правила и ошибки в делении.
№1. Понятие как вид мысли.
Понятие – вид мысли, в котором отражаются предметы вместе с их существенными признаками.. Понятие, предметы, признаки отражаются неразделимо.
Так как понятие простейший вид мысли, в отличие от суждения предметы и признаки отражаются отдельно друг от друга.
Пример: нераскрытое преступление – понятие. Некоторые преступления являются нераскрытыми – суждение.
Понятие в языке выражается словами и словосочетаниями. А суждение – предложениями. Понятие – простейший вид мысли, но не самый простой вид образа предмета. Понятие – это абстрактный образ, более простыми являются чувственные образы.
Отличие понятий от чувственных образов.
Понятия лишены зрительной наглядности. Чувственные образы на основе зрения всегда зрительно наглядны.
Понятия абстрактны. Чувственные образы конкретны.
Понятия – обобщенные образы. Чувственные образы охватывают единичный предмет. Обобщенность означает, что понятие независимо от воли или желания человека отражает, включая в свой объем все без исключения предметы, которые соответствуют набору признаков, входящих в содержание этого же понятия. Понятия позволяют знать то, что человек никогда не видел.
Понятия существуют в сознании человека только на основе каких-то материальных знаков, например, слов естественного языка. Если отсутствует этот знак, то нет в голове и понятия.
Понятия находятся в логических отношениях друг к другу, т.е. они каким-то образом сочетаются. Чувственные образы не всегда сочетаются.
№2. Понятие и слово.
Понятие не существует без слова, хотя они и по многим своим свойствам несовместимы, противоположны.
Любое понятие по природе – идеальное явление, а слово по природе – материальное. Идеальное не отражается органами чувств или приборами, материальное – отражается.
В мире много языков, которые отличаются лексикой, грамматикой, но в разных словах разных языков выражается одним и тем же понятием. Это доказывается возможностью точного перевода с одного языка на другой. При переводе слово меняется, понятие – сохраняется.
В каждом языке большинство слов многозначны, каждое значение отдельного слова – это отдельное понятие.
Есть такие виды слов как омонимы, синонимы, паралексизмы (ложные друзья переводчика), омографы, омофоны.
Слова могут быть нейтральными и с дополнительным оценочным значением.
В языке появляются и исчезают слова, возникают новые слова для обозначения как новых, так и старых значений, в существующих словах появляются новые значения.
Есть понятия индивидуальной лексики.
Существуют некоторые явления сближения понятия и слова. Есть попытки создавать один, единый, общий язык для всего человечества.
Создаются терминологии. Термин – слово, которое имеет одно значение (в рамках какой-то научной области).
Создание формализованных искусственных языков. В них каждому знаку приписывается только одно значение.
№3. Содержание и объем понятия.
Каждое понятие имеет 2 взаимосвязанные стороны. Их название: объем и содержание.
Содержание – один признак или небольшая их совокупность, которой принадлежат отражаемым понятием предметам.
Объем – один предмет или, как правило, любая их совокупность, которая отражается в понятии.
Объем понятий под влиянием математической логики чаще называют множеством, изображая его в виде круга. На языке мат. логики множество состоит из элементов и подмножеств. Элемент – отдельный предмет подмножества.
ﻉ - знак принадлежности элемента множеству.
С – знак включения множества в подмножество.
A, B, C, D, E, F – знаки, обозначающие множество и подмножество.
X1, Y, Z, X – элементы множеств и подмножеств.
В принадлежит А.
С принадлежит А.
Х принадлежит В.
Х не принадлежит С.
Например:
А – гос-ва,
В – Европ. гос-ва,
С – Северо-Американские гос-ва,
X – любое Европ. гос-во,
Y – любое не Европ. гос-во
Z – не Европ. и не Америк., азиатская страна.
Набор признаков, который составляет содержание понятия, должен удовлетворять 2м потребностям или 2м условиям.
Каждый из них должен быть необходим, а все вместе достаточны, чтобы отличать предметы своего понятия от других предметов.
Эти признаки должны давать существенные знания об отражаемых понятием предметов.
Пример:
Понятие «студент» имеет следующие признаки:
Быть учащимся
Обучаться в высшем учебном заведении.
Понятие « преступление»:
Быть деянием.
Иметь повышенную степень общественной опасности.
Состав преступления должен быть прописан в УК РФ.
Понятие «потерпевший»:
Быть лицом.
Иметь причинный, имущественный, материальный, моральный ущерб, вред.
Понятие «полиглот, билингвист»:
Быть человеком.
Знать много языков.
№4. Виды понятий:
Единичные и общие.
Конкретные и абстрактные.
Положительные и отрицательные.
Безотносительные и соотносительные.
Единичные и общие (в зависимости от того, мыслится в них один элемент или множество).
Пример: «Москва», «Единый суд СССР» - единые,
«столица», «суд» - общие.
Общие понятия:
Регистрирующие (множество мыслевых в нем элементов поддается учету, регистрируется) Н-р, участник ВОВ, Планета Солнечной системы. |
Нерегистрирующие ( общее понятие, относящееся к определенному числу предметов) Н-р, человек, указ. |
В особую группу выделяются собирательные понятия, в которых мыслятся признаки совокупностей элементов, составляющих единое целое. Н-р, коллектив, полк. Эти понятия так же, как и общие, отражают множество элементов (членов коллектива, солдат, членов полка), но, как и в единичных понятиях, это множество мыслится как единое целое.
Содержание собирательного понятия относится ко всей совокупности элементов, входящих в его объем. Н-р, существуют признаки коллектива (группа лиц, объединенных общей работой, общими интересами), не применимые к каждому отдельному члену коллектива.
Собирательные понятия могут быть общими и единичными. Н-р, коллектив – общее, коллектив нашего института – единичное.
Общие понятия могут употребляться в разделительном (если высказывание относится к каждому элементу класса) и собирательном (если высказывается относится ко всем элементам, взятым в единстве, и неприменимо к каждому элементу в отдельности).
Конкретные и абстрактные (в зависимости от того, что они отражают: предмет, класс предметов или его свойство, т.е. отношение к предметам).
Конкретное понятие – понятие, в котором мыслится предмет или совокупность предметов как нечто самостоятельно существующее. Н-р, книга, свидетель, гос-во.
Абстрактное понятие – понятие, в котором мыслится свойство предмета или отношения между предметами. Н-р, смелость, белизна, ответственность.
Положительные и отрицательные (в зависимости от того, составляют ли их содержание свойства, присущие предмету, или свойства, отсутствующие у него).
Положительные понятия – понятия, содержание которых свойства, присущие предмету. Н-р, грамотный, порядок, верующий.
Отрицательные понятия – понятия, содержания которых указывают на отсутствие у предмета определенных свойств. Н-р, неграмотный, беспорядок, неверующий.
В русском языке отрицательные понятия выражаются словами с отрицательными приставками «не», «без», в словах иностранного происхождения присутствует приставка «а». Н-р, аморальный.
Безотносительные и соотносительные (в зависимости от того, мыслятся ли в них предметы, существующие отдельно или в отношении с другими предметами).
Безотносительные понятия – отражают предметы, существующие раздельно и поэтому находящиеся вне отношения к другим предметам. Н-р, студент, гос-во, потерпевший.
В соотносительных понятиях предметы, признаками которых выступают их отношение друг к другу. Н-р, родители и дети, начальник и подчиненный.
Логическая характеристика – определить к какому виду относится то или иное понятие. Она полагает уточнить ее содержание и объем, вырабатывает навыки более точного определения понятий в процессе рассуждения.
№5. Отношения между понятиями.
Понятия могут быть сравнимыми и несравнимыми.
Сравнимые имеют некоторые общие признаки, позволяющие сравнить эти понятия друг с другом. Н-р, СССР и Народная Республика Болгария – сравнимые понятия, они имеют общие признаки, характеризующие любую страну социализма.
Несравнимые не имеют общих признаков, т.е. сравнивать эти понятия невозможно. Н-р, квадрат и общественное порицание.
В логических отношениях могут находиться только сравнимые понятия. Сравнимые понятия могут быть совместимыми и несовместимыми.
Совместимые понятия – понятия, объемы которых полностью или частично совпадают. В содержании этих слов нет признаков, исключающих совпадение их объемов.
3 вида отношений совместимости:
1. Равнозначность – в отношении равнозначности находятся понятия, в которых мыслится один и тот же предмет. Объемы этих понятий полностью совпадают (хотя содержание различно). Н-р, последний эксплуататорский строй и общественный строй, основанный на эксплуатации наемного труда. Они отражают один предмет мысли – капитализм.
2. Пересечение (перекрещивание) – в отношении пересечения находятся понятия, объем одного из которых частично входит в объем другого. Содержание этих понятий различно. Н-р, юрист и депутат Верховного Совета СССР. Но некоторые юристы являются депутатами Верховного Совета СССР.
3. Подчинение (субординация) – в отношении субординации находятся понятия, объем одного из которых полностью входит в объем другого, составляет его часть. Н-р, преступление и должностное преступление.
Несовместимые понятия – понятия, объемы которых не совпадают ни полностью, ни частично. Эти понятия содержат признаки, исключающие совпадение их объемов.
3 виды несовместимости:
1. Соподчинение (координация) – в отношении находятся 2 или больше перекрещивающихся понятия, подчиненных общему для них понятию. Н-р, юрид. институт, мед. академия, высшее учебное заведение.
2. Противоположность – в отношении противоположности находятся понятия, одно из которых содержит некоторые признаки, а другое – признаки, несовместимые с ним. Н-р, черное и белое.
3. Противоречие – в отношении противоречия находятся понятия, одно из которых содержит некоторые признаки, а другое эти же признаки исключает. Н-р, черный и нечерный.
№6. Логические операции с понятиями.
Обобщение понятий – значит перейти от понятия с меньшим объемом, но с большим содержанием к понятию с большим объемом, но с меньшим содержанием (от вида к роду). Н-р, обобщая понятие «Министерство юстиции СССР» переходим к понятию «Министерство юстиции».
Ограничение понятий – значит перейти от понятия с большим объемом, но с меньшим содержанием, к понятию с меньшим объемом, но с большим содержанием (переход от рода к виду). Н-р, ограничивая понятие «юрист» мы переходим к понятию «следователь», которое можем затем ограничить «следователь прокуратуры».
Определение понятий – логическая операция, раскрывающая содержание понятий (дефиниция).
Определяемое – понятие, содержание которого требуется раскрыть.
Определяющее – понятие, раскрывающее содержание определяемого понятия.
Виды определений.
Номинальные – (от лат. nomen – имя) определение, посредством которого взамен описания какого-либо предмета вводится новый термин, имя, объясняется значение термина, его происхождение. Н-р, новая область науки, изучающая комплекс вопросов, связанных с осуществлением космических полетов, называется космонавтикой.
Реальные – определение, раскрывающие существенные признаки самого понятия. Н-р, правосудие – это деятельность суда, состоящая в разбирательстве и разрешении вопросов гражданских и уголовных дел.
Явные – определения, содержащие прямое указание на присущие предмету существенные признаки. Они состоят из двух, четко выраженных понятий – определяемого и определяющего. Основным видом определения является определение через род и видовое отличие.
1й этап – подведение определяемого понятия под более широкое по объему родовое понятие. Н-р, логика (определенное понятие) – философская наука (родовое понятие).
2й этап – указание видового отличия, т.е. признака, отличающего определенный предмет, от других предметов, относящихся к тому же роду. Н-р, для логики видовым отличием будет признак, указывающий на предмет этой науки-формы, в которых протекает человеческое мышление и законы, которым оно подчиняется. Этот признак раскрывает содержание логики и отличает её от других философских наук.
Генетическое определение – определение, указывающее на происхождение предмета, на способ его образования. Н-р, шар есть тело, образованное вращением круга вокруг одного из своих диаметров.
Правила определения:
Определение должно быть соразмерным. Объем определяемого понятия равен объему определяемого, если А>Вс, следовательно, ошибка слишком широкого определения, если А <Вс, следовательно, ошибка слишком узкого определения.
Определение не должно заключать в себе круга.
определение должно быть ясным.
Определение не должно быть отрицательным.
Неявные – определения, через указание на отношение предмета к своей противоположности. Широко используется при определении философских определений. Н-р, свобода есть признанная необходимость. К приемам, заменяющим определение, относятся описание, характеристика, сравнение, различение и остенсивное определение.
Описание – наиболее точно и полно указать признаки предмета (события, места, где оно произошло). Описание играет важную роль в следственной практике.
Характеристика – состоит в указании отличительных характеризующих признаков единичного предмета (лица, события), к характеристике часть прибегают в судебных речах.
Сравнение – в ней один предмет сравнивается с другим, сходным с ним в каком-либо отношении. Он применяется для образной характеристики предмета.
С помощью различения устанавливаются признаки, отличающие один предмет от других, сходных с ним предметов.
Остенсивное определение – определение, устанавливающее значение термина, путем демонстрации предмета, обозначаемого этим термином. Эти определения применяются для характеристики предметов, доступных непосредственному восприятию. Также используются для характеристики простейших свойств вещей: цвета, запаха, вкуса.
Деление понятий – это логическая операция, раскрывающая объем понятия.
Делимое понятие – понятие, объем которого требуется разделить.
Члены деления – соподчиненные виды, на которые делятся понятия (они представляют собой результат деления).
Основания деления – признак, по которому производится деление.
Виды деления:
Деление по видимому признаку.
Основанием деления является признак, при изменении которого образуются видовые понятия, входящие в объем делимого (родового) понятия. Н-р, общественно-экономическая формация в зависимости от способа производства делится на соподчиненные виды: первобытнообщинную, рабовладельческую, феодальную, капиталистическую, коммунистическую.
Правила деления:
Деление должно быть соразмерным.
Деление производится только по одному основанию.
Члены деления должны исключать друг друга.
Деление должно быть непрерывным.
Дихтомитрическое деление – деление объема делимого понятия на два противоречащих понятия.
Классификация – распределение предметов по группам (классам), при котором каждый класс имеет свое постоянное, определенное место. Н-р, зеркала делятся на плоские и сферические.
Тема №3. СУЖДЕНИЕ.
Виды простых суждений по характеру предмета.
Виды простых суждений по качеству и количеству.
Модальность суждения.
Виды сложных суждений.
Формулы и таблицы письменности сложных суждений.
Вопрос, как вид мысли и формы познаний.
Виды вопросов и ответов.
№1. Суждение как вид мысли.
Суждение - это второй по степени сложности вид мысли после понятия.
Суждение состоит из понятий. Не всякая связь с понятием дает суждение. В некоторых случаях путем соединения понятий можно получать более сложные понятия.
1 понятие: ученые.
2 понятие: доктора наук.
3 понятие: люди.
4 понятие: долгожители.
Для получения суждения понятия необходимо соединять, используя утверждение и его отрицание. Н-р, некоторые ученые являются докторами наук. Некоторые ученые не являются докторами наук. Некоторые люди есть долгожители, некоторые люди не есть долгожители.
Таким образом, суждение – это вид мысли, в котором что-то утверждается или отрицается. О связях, предметах, их признаках, об отношениях между предметами, о самих факторах существования.
Суждение – единственный вид мысли, который подлежит оценке: истина или ложь.
Многие понятия не оцениваются как истинные или ложные. Потому что понятия ничего не утверждают. Понятия всего лишь охватывают или не охватывают какой-либо круг предметов. Понятия могут быть пустыми и не пустыми.
Умозаключения не могут быть истинными или ложными, они могут быть правильными или неправильными. Умозаключения являются правильными, когда соблюдаются его правила. И наоборот – тогда неправильными. Человек несет самую большую познавательную ответственность за использование суждений.
Структура простого суждения.
Суждения делят на простые и сложные по наличию одного или нескольких утверждений или отрицаний. Если суждение не отрицательное, то суждение простое. Если несколько – сложное. Н-р, логика и математика являются формальными науками – сложное суждение.
Простое суждение включает 3 основных элемента:
Понятие, которое отражает предмет мысли. Оно носит название субъект, логическое подлежащее. S
Понятие, которое отражает признак предмета мысли (логическое сказуемое). P
Не понятийный элемент, который выражает утверждение или отрицание (логическая связка). –
S есть/не есть P
№2. Суждение и предложение.
В естественном языке суждения выражаются повествовательными предложениями. Вопросительные и побудительные не выражают суждение, кроме риторических вопросов и побуждений. В повествовательном предложении подлежащее или группа подлежащих выражают субъект суждения, сказуемое или его группа – продукт суждения. Логическая связка выражается формами глагола «быть». Простые предложения обычно выражают простые суждения, кроме простых, в которых есть однородные члены предложения. В них выражаются сложные суждения.
№3. Виды простых суждений.
Атрибутивные – если речь идет о связях предметов и их признаков.
Суждения с отношением – об отношениях между предметами.
Экзистенциальные – если отражает факт существования или не существования предмета.
Наличие этих видов необходимо учитывать, т.к. они отличаются структурой, формой, а это очень важно при анализе умозаключений. Иногда суждения атрибутивные и экзистенциальные объединяют в одну группу, т.к. их форма совпадает. Оно выражается с помощью S и P, и связки. Отличие в том, что у экзистенциальных суждений всегда один и тот же предмет им является признак – существенность. Форма суждения с отношением имеет индивидуальный вид.
Н-р, Проблемы 21 века сложнее проблем начала 20 века. – 2 подлежащих.
Существуют глобальные проблемы в начале 21 века. – 1 подлежащее.
Некоторые глобальные проблемы требуют незамедлительного решения. – атрибутивные.
Суждения с отношением при необходимости сводятся к атрибутивным.
Любой предмет, который находится в отношениях с другим может стать S-ом атрибутивного суждения. Н-р, проблемы 21 века сложнее проблем 20го века.
№4. Виды простых суждений по качеству и количеству.
Суждения, имеющие Sю и Pую структуру, рассматриваются сточки зрения количества и качества. Под качеством и количеством понимается следующее количество простого суждения – это его отрицательный или утвердительный характер. Качество зависит от количества связки. Суждение будет отрицательным в 2х случаях:
Отрицание находится перед связкой.
Отрицание находится перед всеми суждениями.
Н-р, этот аргумент не является убедительным; неправда, что этот аргумент убедителен.
Под количеством понимают объем развития суждения.
Суждение будет единичным по количеству, когда его субъект единичен по объему понятия, т.е. отражает только объект. Такие понятия выражаются именами собственными, либо именами нарицательными вместе с единичными указательными местоимениями.
Н-р, этот университет имеет более 20 факультетов – имя указательное.
ПГУ имеет более 10 факультетов – имя собственное.
Частные суждения.
Иногда субъектом является общие понятия, которые используются не полном объеме. На это указывают слова: некоторые, многие, иногда, большинство, ряд, часть.
Н-р, большинство студентов заканчивают учебные заведения, в которых учатся.
Общие суждения.
Их субъектом является общее понятие, взятое в полном объеме. На это указывают слова: все, не один, каждый, любой, всегда, везде.
Н-р, все люди земляне.
Объединенная классификация суждений по качеству и количеству, примеры.
Единично-утвердительные.
Единично-отрицательные.
Частно-утвердительные.
Частно-отрицательные.
Общеутвердительные.
Общеотрицательные.
Выделяющие и исключающие суждения.
Выделяющие суждения устраняют неопределенность частного суждения, они выражают тот факт, что признак принадлежит только данному предмету.
Выделяющие суждения могут быть единичными, частными, общими.
Исключающим называется суждение, в котором отражается принадлежность признака всем предметам, за исключением некоторой их части. Н-р, «Все студенты группы, кроме Волкова, сдали экзамены.»
Распределенность терминов в суждениях.
Термин считается распределенным, если он взят в полном объеме. Термин считается нераспределенный, если он взят в части объема.
Распределение терминов в суждениях A, E, I, O.
Суждение А (Все S суть Р). «Все студенты группы (S) сдали экзамены (Р). S распределен: речь идет обо всех студентах группы, Р не распределен: мыслится часть лиц, сдавших экзамен.»
Суждение E (Ни 1 S не есть Р). «Ни один студент группы не является неуспевающим». Оба в полном объеме.
Суждение I (Некоторые S суть Р). «Некоторые студенты группы – отличники». S не распредел.: мыслится часть студентов группы, объем S частично включается в объем Р.
Суждение O (Некоторые S не суть Р). «Некоторые студенты группы не отличники». S не распределен, Р распределен.
Сложные суждения и их виды.
Сложным называют суждение, состоящее из нескольких простых, связанных логическими связками. Истинность их определяется истинностью составляющих.
Виды:
Соединительные – суждения, состоящие из нескольких простых, связанных логической связкой «и». Н-р, кража и мошенничество относятся к умышленным преступлениям.
Разделительные – суждения, состоящие из простых, связанных логической связкой «или». Н-р, договор купли-продажи может быть заключен в устной или письменной форме. 2 типа разделительных суждений: строгая связка «или» употребляется в разделительном значении, нестрогая, связка «или» употребляется в соединительно-разделительном значении.
Полная и неполная дизъюнкция:
Полным называют суждение, в котором перечислены все признаки/виды определенного рода. «Леса бывают хвойные, лиственные, смешанные».
Неполным называют суждение, в котором перечислены не все признаки определенного рода.
Условные – суждение, которое состоит из 2х простых, связанных логической связкой «если …, то…». «Если предохранитель плавится, то лампочка гаснет».
Эквивалентные – суждения, включающие 2 суждения, связанные двойной условной зависимостью, выражаемой логической связкой «если и только если, то …».
Логические отношения.
Сравнимыми среди простых являются суждения, имеющие одинаковые термины – субъект и предикат – и различающиеся по качеству или количеству.
Несравнимыми среди простых суждений являются такие, которые имеют различные субъекты или предикаты. Н-р: тюремное заключение является уголовно-правовой санкцией; ссылка является уголовно-правовой санкцией.
Сравнимые среди сложных – это суждения, которые имеют одинаковые составляющие и различаются типами логических связок, включая отрицание. Н-р: Норвегия или Швеция являются членами НАТО; Неверно, что Норвегия и Швеция являются членами НАТО.
Несравнимые среди сложных являются суждения, которые частично или полностью различаются составляющими их суждениями.
Среди сравнимых различают: совместимые и несовместимые суждения.
Отношение совместимости.
Эквивалентными являются такие суждения, которые принимают одни и те же значения, т.е. одновременно являются либо истинными, либо ложными. Эквивалентные простые суждения имеют одинаковые субъекты и предикаты, однотипную - утвердительную или отрицательную - связку, одну и ту же количественную характеристику, выраженную квантором. Сложные суждения эквивалентны в том случае, если они принимают одинаковые значения при одних и тех же значениях составляющих.
Частичная совместимость характерна для суждений, которые могут быть одновременно истинными, но не могут быть одновременно ложными. Среди простых суждений частично совместимыми являются частные суждения одной и той же материи, различающиеся качеством. Отношения частичной совместимости для сложных суждений проявляется в том, что наряду с истинностью они могут иметь несовпадающие значения, но не могут быть одновременно ложными.
Отношение подчинения между суждениями имеет место в том случае, когда пи истинности одного из них – подчиняющего, другое – подчиненное всегда будет истинным. Среди простых суждений в отношении подчинения находятся общие (подчиняющие) и частные (подчиненные) суждения одного и того же качества. Отношение подчинения между сложными суждениями имеет место тогда, когда при истинности подчиняющего суждения подчиненное всегда является истинным.
Отношения несовместимости.
Противоположными (контрарными) являются суждения, которые не могут быть одновременно истинными, но могут быть одновременно ложными. Истинность одного из суждений определяет ложность другого. Противоположность между сложными суждениями выражается в том, что оба они одновременно не могут быть истинными, но могут быть одновременно ложными. При ложности одного из противоположных суждений нельзя установить значения другого: оно может быть как истинным, так и ложным.
Противоречащими (контрадикторными) являются суждения, которые одновременно не могут быть ни истинными, ни ложными. При истинности одного из них другое будет ложным, а при ложности первого второе будет истинным. Единичные суждения могут находиться лишь в отношении противоречия и не могут находиться в отношении противоположности, ибо каждому отдельному предмету может быть присущ, либо не присущ только определенный признак.
Логика вопроса.
вопрос - это выраженный в форме вопросительного предложения и реализуемый в виде ответа запрос мысли, направленный на развитие – уточнение или дополнение знаний.
В процессе познания вопросы не возникают самопроизвольно, без всяких на то оснований. Любой вопрос всегда опирается на уже известное знание, которое выступает его базисом и выполняет роль предпосылки вопроса (datum questionis). Познавательная функция вопроса реализуется в форме ответа на поставленный вопрос. Ответ представляет собою новое суждение, уточняющее или дополняющее в соответствии с поставленным вопросом прежнее знание. Поиск ответа предполагает обращение к конкретной области теоретических или эмпирических знаний, которую называют областью поиска ответов. Постановка вопроса и поиск информации для конструирования ответа составляют особую, присущую любому познавательному процессу вопросно-ответную логическую форму развития знаний.
Виды вопросов
Среди различных по структуре и функциям вопросов рассмотрим следующие их разновидности: правильно и неправильно поставленные; уточняющие и дополняющие; простые и сложные.
Неправильно поставленным считается вопрос с ложным или противоречивым базисом. Примером неправильно поставленного может быть следующий вопрос: «Какой вид энергии используется на НЛО (неопознанных летающих объектах)?»
В том случае, когда неправильно поставленный вопрос умышленно используется с целью запутать отвечающего, то такой вопрос квалифицируют как улавливающий, или «провокационный».
Уточняющие и восполняющие вопросы. По логической структуре и познавательной функции вопросы подразделяются на два основных типа: (1) уточняющие, или ли-вопросы и (2) восполняющие, или что-вопросы.
1. Уточняющим называется вопрос, направленный на выявление истинности выраженного в нем суждения. «Действительно ли гр-н Н. совершил преступление?»
Грамматический признак уточняющих вопросов - наличие в предложении частицы «ли».
Схема ли-вопроса в символической записи - ? (р), где «?» - оператор вопроса, «р» - суждение, истинность которого выясняется.
Явно выраженная в ли-вопросе предпосылка - это знание о предмете (Колумбе; Швейцарии; гр-не Н.) и знание о возможном признаке этого предмета (открыть Америку; быть членом НАТО; совершить преступление). Неизвестным в ли-вопросе является принадлежность предмету указанного признака.
2. Восполняющим называется вопрос, направленный на выявление новых свойств у исследуемых явлений. «Когда произошло последнее землетрясение в Кишиневе?»
Грамматический признак восполняющих вопросов наличие в предложении вопросительных слов: кто? что? где? когда? как? и других, с помощью которых стремятся получить дополнительную информацию о том, что представляет собою исследуемый объект? Отсюда и название восполняющих вопросов - «что-вопросы».
Схема что-вопросов в символической записи: ?х(р), где «?» - оператор вопроса, «х» - переменная для вопросительного слова, «р» - исходное, нуждающееся в дополнении суждение.
Простые и сложные вопросы.
Простым называется вопрос, не включающий в качестве составных частей других вопросов.
Сложным называется вопрос, включающий в качестве составных частей другие вопросы, объединяемые логическими связками.