1. Логика как наука и ее предмет. Место логики в системе наук.

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

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

2. Исторические этапы развития логики: общая характеристика.

Основные этапы развития логики: Аристотель(дедуктивная логика, Органон,4 век до н.э.,основные законы правильного мышления.Аристотель явл. основателем традиционной формальной логики=силлогистика). Ф.Бэкон (конец 16-нач.17вв.Новый Органон-манифест индуктивной логики,время экспериментов.Бэкон подверг критике дедуктивную логику Аристот.Он неправомерно противопоставил индуктивный метод дедуктивному,в действительности они дополняют друг друга).Г.Лейбниц(1646-1716.Закон достаточного основания,выдвинул идею математической логики,символическая логика)Гегель (конец 18-нач.19.Диалектическая логика,познание мира с точки зрения динамики).Дж.Буль(сер.19 века.Математическая логика,логика по предмету и математика по методу,обсуждение проблем о возможной формализации мышления и его практического приложения) Логика как самостоятельная наука начинала формироваться в Индии, Китае, Греции задолго до нашей эры. На начальных этапах ее развития в Древней Индии большое внимание уделялось теории умозаключения, которое отождествлялось с доказательством. В Древнем же Китае большинство логических теорий было разбросано по различным трактатам, которые посвящались вопросам философии, этики, политики и естествознания. В них акцентируется внимание на таких логических проблемах, как теория имен, теория высказывания, теория рассуждения, законы мышления. Наиболее обстоятельно теоретические проблемы логики были разработаны и систематизированы в Древней Греции. Одним из ее видных представителей был известный философ-материалист Демокрит (460 - 370 до н.э.). Он -создатель системы логики, которая была отражена в специальном трактате "О логике, или Каноны", состоявшем из трех книг. Название "Каноны" означает "правила", "критерии". Свою логику Демокрит строит на эмпирической основе, поэтому он выступает как один из основателей индуктивной логики. Проблемами логики занимались также и древнегреческие философы -Сократ(около469 -399 до н.э.), Платон (428 - 347 до н.э.). Сократ, например, считал, что любой предмет может быть познан лишь в том случае, если его можно свести к общему понятию. И судить о нем необходимо на основе этого понятия. Платон, являясь учеником Сократа, значительное место отводил в своих взглядах вопросам теории познания и логики. Он стремился образовать понятия и затем осуществить деление понятия на его виды. Излюбленным логическим приемом Платона была дихотомия, т.е. деление понятия " А "на " В " и"не- В "(например, животные делятся на позвоночных и беспозвоночных). Одним из значительных философов и ученых Древней Греции был Аристотель (384 - 322 до н.э.). Он дал систематическое изложение логики. Его основными трудами в этой области явились "Первая аналитика" и "Вторая аналитика", в которых дана теория силлогизма, определение и деление понятий, теория доказательства. Впоследствии все шесть своих логических трактатов он объединил под общим наименованием "Органон" (орудие познания действительности). Заслуга Аристотеля заключается также в том, что он сформулировал такие законы правильного мышления, как закон тождества, закон противоречия, закон исключенного третьего. Это он изложил в своем труде "Метафизика". Важно иметь в виду, что Аристотель впервые в истории античной философии занялся специальным изучением внутренней структуры человеческого мышления и стремился вывести логические формы из реального содержания мысли. Законы и правила логики, на его взгляд, не произвольны , а берут объективные истоки в отношениях предметного мира. В середине века (VI-XV вв.) логика в значительной мере была подчинена интересам богословия. В этот период теоретический поиск в логике развернулся вокруг проблемы объяснения природы общих понятий. Так, представители реализма того периода, продолжая взгляды Платона, утверждали, что общие понятия в логике существуют реально вне единичных понятий; при этом они составляют некую сверхъестественную сущность последних. Подобной точки зрения придерживались, например, Ансельм Кентерберийский(1033-1109), Фома Аквинский (1225-1274). Представители же номинализма, напротив, полагали, что реально существуют только единичные понятия, а общие - лишь имена, названия для них. Такой позиции придерживались И. Росцелин (1050-1120),У.Оккам(1285-1349) и др. Однако в итоге этих споров как одна, так и другая сторона принижали роль логического знания. Основателем арабо-язычной логики считается сирийский математик аль-Фараби (870-950),прокомментировавший весь аристотелевский "Органон". Его логика направлена на анализ научного мышления. Аль-Фараби выделяет в логике две ступени: одна охватывает представления и понятия; другая - теорию суждений, выводов и доказательств. Развивает логику в этот период известный таджикский мыслитель Ибн Сина (Авиценна, 980-1037). В работе "Логика" он стремится обобщить аристотелевскую силлогистику, установить зависимость между категорическими и условными суждениями. В XV - XVI вв., в эпоху Возрождения, происходит активизация эмпирических тенденций в логике и методологии научного знания. В этот период происходит бурное развитие науки, она сближается с практикой. Все значительнее место среди других наук начинает занимать математика. В развитии логики большую роль сыграл английский философ-материалист Ф. Бэкон (1561-1626).Он разработал основы индуктивной логики в своем труде "Новый Органон", который, по мысли автора, должен был заменить старый аристотелевский "Органон". Если прежние философы подчеркивали в логике только средство проверки и обоснования истины, то Ф. Бэкон предложил использовать логику в качестве эффективного средства для осуществления научных открытий. Задача логики, согласно взглядам Ф.Бэкона, состоит в обоснованности индуктивных выводов, в которых рассуждения человека идут от частного вывода к общему знанию. Он также разработал методы определения причинной связи между явлениями: метод сходства, метод различия, соединенный метод сходства и различия, метод сопутствующих изменений, метод остатков. Успехи опытного естествознания ХVI-Х VII вв. характеризовались прежде всего развитием математики и механики земных и небесных тел. Ограниченность научного познания того времени привела к установлению метафизического взгляда на природу как на застывшую и неизменную систему. Метафизический способ мышления впоследствии сказался на понимании предмета формальной логики. Ее законам придали абсолютный характер, т.е. распространили их сферу действия не только на мышление, но и на окружающий человека природный мир. Весомый вклад в развитие логики внесли французские исследователи, прежде всего Р. Декарт (1596-1650). Он сформулировал четыре основных правила любого научного исследования: 1) истинно лишь то, что познано, проверено и доказано; 2) расчленять сложное на простое; 3) восходить от простого к сложному, от более очевидного к менее очевидному; 4) исследовать предмет во всех деталях. Последователи Р.Декарта Арно и Николь в 1662 г. написали книгу "Логика, или Искусство мыслить", где поставили задачу освобождения логики Аристотеляот внесенных в нее последующими представителями логической науки схоластических ошибок. Немалая заслуга в развитии логики принадлежит представителям немецкой классической философии, особенно И. Канту (1724-1804)и Г.В.Ф. Гегелю (1770-1831). Так, И. Кант выступил, в частности, против абсолютизации законов логики. По взглядам И. Канта, логика представляет собой науку о необходимых законах, правилах рассудка вообще. Вот почему логика, по его рассуждениям, должна изучать форму мышления в отрыве от его содержания, т.е. независимо от объекта мышления. Он утверждал, что логика отвлекается от всякого содержания, а следовательно, и от самих вещей. И.Кант выдвинул новый тип логики, которую назвал трансцендентальной (от лат. transcendere- переступать). В ней логические формы рассматриваются как априорные(доопытные)свойства рассудка, обусловливающие возможность всеобщего и необходимого знаний явлений опыта . Позитивным вкладом в логику является то, что немецкий ученый отличал логическое основаниеи логическое следствие от реальной причины и реального следствия. И. Кант признавал также существование "чисто формальной" логики, которая имеет дело с"чистыми" формами мышления. Обстоятельную критику взглядам И. Канта насущность формальной логики дал Г.В.Ф. Гегель. В тоже время он критически относился вообще к формальной логике. Свое отношение к этой науке как "метафизической" он строил исходя из объективно-идеалистического положения о тождестве законов мышления и бытия. Критику законов формальной логики Г.В. Ф. Гегель дал во второй книге своей работы "Наука логики", в разделе "Учение о сущности". По мнению Гегеля, законы логики носят всеобщий характер, распространяются на все сферы действительности. Однако такой универсальной логикой должна стать не формальная логика, а диалектика саморазвития, "инобытием" которого является внешний мир. Определенное внимание развитию логики уделяли К. Маркс (1818-1883), Ф. Энгельс (1820-1895), а позже В.И. Ленин (1870-1924). В своих философских работах они отмечали, что традиционная логика является теорией правильно познающего мышления. Мышление же, не подчиняющееся положениям логики, неспособно адекватно отразить объективную реальность. В.И. Ленин отмечал, в частности, ограниченность познавательных задач формальной логики. Однако такая ограниченность не лишает ее права оставаться наукой со своим специальным предметом изучения. Крупными русскими исследователями в области логики были М.И. Каринский(1840-1917)и Л.В. Рутковский(1859-1920). Так, М.И. Каринский внес значительный вклад в разработку классификации умозаключений. Основной замысел его логической теории характеризуется стремлением построить аксиоматико-дедуктивную систему логики, исходя из основного отношения равенства (т.е. "тождества");описать в ней дедуктивные и индуктивные умозаключения. Л.В. Рутковский- автор труда "Основные типы умозаключений" (1888). Если М.И. Каринский строил теорию выводов, используя лишь отношения тождества, то Л.В. Рутковский считает возможным признать равноправными с отношениями тождества и такие, как отношения сходства, сосуществования и др. Умозаключения делятся им на интенсивные (т.е. рассматриваемые в логике содержания) и экстенсивные (рассматриваемые в логике объема). С начала XX столетия формальная логика получает дальнейшее развитие. Возникла математическая логика, широко применившая метод математической формализации и специальный аппарат символов к определенному кругу логических операций. Представляют математическую логику Г. Фреге (1848-1925), Б. Рассел (1872-1970), Б. Аккерман (1896-1962) и другие мыслители. Так, Б. Рассел считал, что если гипотеза относится не к одной или нескольким частным вещам, но к любому предмету, то такие выводы составляют математику. Формализация и предельное абстрагирование от конкретного содержания высказываний позволили решить ряд трудных логических задач в области математики и нашли применение в работе электронно-вычислительных машин, теории программирования и т.п. Значительный вклад в разработку современной математической логики внесли наши отечественные ученые математики: А.П. Колмогоров, А.А. Марков, П.С. Новиков, М.В. Келдыш и др. Однако математическая логика не охватывает всех проблем естественной логики мышления. За формальной логикой остается ее познавательная функция и методическая роль как науки о законах и формах правильной мысли, ведущей к утверждению истины.

3. Логика античности.

Основателем логики в древнегреческой философии считается древнегреческий философ Аристотель, так как полагается, что он вывел первую логическую теорию. Предшественниками Аристотеля в развитии логической науки в Древней Греции были Парменид, Зенон Элейский, Сократ и Платон. Аристотель же впервые систематизировал доступные знания о логике, обосновал формы и правила логического мышления. Его цикл сочинений «Органон» состоит из шести работ, посвящённых логике: «Категории», «Об истолковании», «Топика», «Первая аналитика» и «Вторая аналитика», «Софистические опровержения». После Аристотеля в Древней Греции логика также разрабатывалась представителями школы стоиков. Большой вклад в развитие этой науки внесли оратор Цицерон и древнеримский теоретик ораторского искусства Квинтилиан. Впервые дал систематическое изложение логики. Логику Аристотеля называют «традиционной» формальной логикой. Традиционная формальная логика включала и включает такие разделы, как понятие, суждение, законы (принципы) правильного мышления, умозаключения (дедуктивные, индуктивные, по аналогии), логические основы теории, аргументации, гипотеза. Основными работами Аристотеля по логике являются: - первая аналитика, в которой дана теория силлогизма; - вторая аналитика, в которой даны определение и деление понятий, теория доказательства. Логическими сочинениями Аристотеля являются: - «Топика», содержащая учение о вероятных «диалектических» доказательствах; - «Категория», об опровержении софистских аргументах, - «об истолковании» . Законы правильного мышления: - закон тождества, - закон не противоречия, - закон исключительного третьего. Аристотель изложил в главном произведении «Метафизика». Аристотель рассматривал законы мышления как законы бытия мира, а логические формы истинного мышления считал отображением реальных отношений. Для Аристотеля истина есть соответствие мысли с действительностью. Истинным он считал суждение, в котором понятия соединены с собой так, как связаны между собой вещи в природе. А ложь – суждение, которое соединяет то, что разъединено в природе, или разъединяет то, что связано в ней. В «аналитиках» Аристотель разрабатывает модальную логику (исследование возможности). Аристотель видел в логике орудие, или метод исследования. ОСНОВНЫМ содержанием аристотелевской логики является теория дедукции (вывод от общего к частному). В логике Аристотеля содержатся элементы математической (символической) логике. Логика стоиков Зенон ( 333-261гг до н.э.) Хризипп (282-206гг до н.э.). Логика должна изучать и словесные знаки и обозначаемыми ими мысли. Назначение логики – в задаче научить правильно судить о вещах, освободить ум от заблуждений. Стоики делили логику на диалектику и риторику. Они выходили за ограниченные рамки формальной логики.

4. Логика в эпоху средневековья.

По мере приближения к Средним векам логика получала более широкое распространение. Её начали разрабатывать арабоязычные исследователи, например, Аль-Фараби (ок. 870—950 гг.). Средневековая логика называется схоластической, а её расцвет в XIV веке связывают с именами учёных Уильяма Оккама, Альберта Саксонского и Уолтера Берли.Проблема истолкования природы общих понятий. Реалисты, продолжая идеалистическую линию Платона, считали, что общие понятия существуют реально, вне и независимо от единичных вещей. Номиналисты считали, что реально существуют только единичные предметы, а общие понятия – лишь имена, называемые для них. Основные проблемы средневековой логики: - проблемы модальной логики; - анализ выделяющих и исключающих суждений; - теория логического следования; - теория семантических парадоксов. Основателем арабоязычной логики считается сирийский математик Аль-Фараби (870-950гг.), который прокомментировал собрание логических произведений Аристотеля «Органон». Логика Аль-Фараби направлена на анализ научного мышления. Им исследуются и вопросы теории познания, и грамматики. Метод мышления соотносится с реальными отношениями и связями. Аль-Фараби выделяет в логике две ступени: -первая охватывает представления и понятия; - вторая теорию суждений, выводов и доказательств. Таджик Ибн Сина (Авиценна 980-1037гг) известена зависимость между категорическими и условными суждениями. В учебнике «Логика» Ибн Сина стремится обобщить аристотелевскую силлогистику. Ибн Рушд (Аверроэс 1126-1198гг) также тщательно комментировал логические тексты Аристотеля. Он развивал понимание модальностей.

5. Логика в эпоху Возрождения и в Новое время.

В 15-16 вв., в эпоху Возрождения, происходит усиление эмпирических тенденций в логике и методологии научного знания. Идет бурное развитие науки, делаются великие географические открытия, наука сближается с практикой. Все большую роль в других науках начинает играть математика. Френсис Бэкон (1561-1626гг). Разработал основы индуктивной (от частного к общему) логики в своем знаменитом произведении «Новый орган». Бэкон противопоставляет свою логику логике Аристотеля. Его «Новый орган» должен заменить старый аристотелевский «Органон». Рене Декарт (1596-1650гг) сформулировал правила, которыми надо руководствоваться при всяком научном исследовании. Последователи – Арно и Николь в 1662 г. написал книгу «Логика, или Искусство мыслить», в которой поставили задачу освобождения логики Аристотеля от внесенных в нее поздним логикам наслоений

6. Система трансцендентальной философии И.Канта и логика.

Иммануил Кант (1724-1804гг) полностью оторвал логические формы и законы от их содержания, объявил их «априорными» (то есть предшествующими опыту и независимыми от него). Логика – наука о необходимых законах правилах рассудка вообще. Логика должна изучать форму мышления в отрыве от его содержания, т. е. независимо от объектов мышления. Логика отвлекается от всякого содержания знания, а, следовательно, и от самих вещей. После Аристотеля логика не могла более обогащаться по содержанию, а совершенствовалась лишь в точности, определенности и отчетливости. Считал недостаточной для познания традиционную логику и разрабатывал логику трансцендентальную (от лат. переступать), которая должна была преодолеть ограниченность взгляда обычной, общей логики на формы мышления.

7. Диалектическая логика Гегеля.

Георг Венгельм Фридрих Гегель (1770-1831гг) дал развернутую критику Канта, в том числе и в вопросах логики. Критика эта осуществлялась с позиций идеалистической диалектики. Логика у Гегеля совпадает с диалектикой. Критикуя формальную логику, он отвергал ее. Гегель говорил об отражении движения объективного мира в движении понятий. Объективный мир как инобытие абсолютной идеи. Критику законов формальной логике Гегель дал во второй книге своего труда «Наука логики» в разделе «Учение о сущности». Торжество мышления и бытия: абсолютная идея, отчуждаясь от самой себя, присутствует в мире. Законы мышление есть законы бытия. Логика – учение о сущности вещей: вопросы о закономерностях действительности, о превращении количественных изменений в качественные, о соотношении философских категорий, о природе механических, химических, биологических процессах и т.д. Понятия: бытие, ничто, становление, качество, количество, сущность, тождества, различие, противоречие, необходимость, случайность, возможность. Понятия находятся в коллективном движении, переходят «переливаются» друг друга, изменяются, развиваются, превращаются в противоположность об нарушении внутренних принципах им противоречиях, которые составляют движущую силу развития. Развитие понятий идет от абстрактного к конкретному, от одностороннего «бедного» содержанием понятия к понятию, с более богатым содержанием, противоположные стороны. «Наука логики» раскрывает взаимосвязь, взаимопереход основных, наиболее общих понятий. Критика метафизического противопоставления тождества и различия, сущности и явления, свободы и необходимости: противоположности не абсолютны, а относительны. Сущность как то, что отличает явления друг от друга и то, что одинаково, тождественно в них. Тождество и различие не существуют отдельно друг от друга, а представляют собой противоположные, друг с другом связанные моменты сущности. Говоря о тождестве, всегда предполагается различие, говоря о различии, предполагается существование тождества. Понятие конкретного тождества указывает на то, что явление изменяется, не остается самим собой, всегда одинаковым, а превращается в другое, содержит в себе это другое, как свою противоположность, отрицание, зародыш будущего (жизнь – смерть). Познанием отношений тождества и различия обнаруживается лежащее в их основе противоречие. Положение о противоречии как внутреннем источнике движения, развития составляет главное в гегелевском учении о сущности. Наличие противоречий в любом явлении свидетельствует о его развитии. С учением о противоречии связано гегелевское понимание отрицания и отрицания отрицания. Развитие необходимо приводит к отрицанию данной формы явления, причем это отрицание приходит не извне, а представляет собой следствие развития, заложено в нем. Отрицание есть закономерная ступень процесса развития, неотделима от внутреннего содержания этого процесса. Абстрактное отрицание носит нигилистический характер, конкретное отрицание не просто уничтожения старого, но и сохранение его жизнеспособных элементов. Это конкретное отрицание Гегель называет «снятием», отмечая историческую преемственность в процессе прогрессирующего развития. Поскольку отрицание образует необходимую стадию развития и оно подвергается отрицанию в ходе дальнейшего развития. Это и есть отрицание отрицания. В результате отрицания отрицания «снимается» прежнее отрицание и восстанавливается на новой основе и в новой форме то, что прежде подвергалось отрицанию. Этот процесс Гегель схематически отобразил в виде триады: тезис-антитезис-синтез. Изменение сущности Гегель трактует идеалистически, как движение мышления, абсолютной идеи, как превращение сущности в понятие. Характеризуя понятие, Гегель отмечает, что оно не есть только общее. Общее само по себе вне связи с особенным, т.е. тем, что отличает одно явление от другого, бессодержательно. В понятии общее, особенное, единичное не разделимы, как тождество и различие в сущности явлений. Истина содержит в себе единстве различные, в том числе и противоположные стороны реальности. Абстрактной истины нет, истина всегда конкретна. Понятие как единство общего, особенного и единичного получает свое выражение в различных видах суждений и умозаключений, как обнаружение «творческой мощи», присущей понятию как творческой основе всех процессов, которые наблюдаются в природе и обществе. Понятие у Гегеля – это процесс теоретического мышления, возведенный в абсолютное творчество, самопознание абсолютной идеи. Процесс самопознания Абсолютной идеи осуществляется вне времени и пространства, заключается в саморазвитии понятия бытия, сначала абстрактного, лишенного всякого содержания, затем становящегося все более содержательным, многосторонним, конкретным. Логический процесс развития завершается у Гегеля понятием абсолютной идеи, которая в начале отчуждает свое бытие, сообщает ему движение, в результате которого бытие становится содержательным. Потом абсолютная идея обнаруживает себя как понятие и, наконец, благодаря развитию понятия как абсолютная идея, выступающая как систематическое многообразие и единство всех сторон, логических определений, характеризующих не только мир как единое целое, но и его познание.

8. Философия марксизма и материалистическая диалектическая логика. Диалектическая логика — в широком смысле есть философская наука, систематически развёрнутое изложение диалектики, понимаемой как логика (наука о мышлении) и теория познания объективного мира. В узком смысле, логическая дисциплина о формах правильных рассуждений, как и в формальной логике, только с учётом действия законов диалектики. Предмет диалектической логики — мышление. Диалектическая логика имеет своей целью развернуть его научное изображение в тех необходимых его моментах и притом в той последовательности, которые не зависят ни от нашей воли, ни от сознания, утвердить свой 'статус логики' как логической дисциплины. Энгельс в незаконченной книге (издана в СССР в 60-х годах) «Диалектика природы» обозначил единство законов и принципов объективной логики природы, человека и общества. Маркс сформулировал основные методологические принципы, которые потом назвали принципами диалектической логики. Они составили основу научного метода (объективного и материалистического). Законы диалектической логики: - Закон единства и борьбы противоположностей; - Закон перехода количественных изменений в качественные; - Закон отрицания отрицания.Для Диалектической логики (ДЛ) исторический подход оказывается весьма актуальным. Предмет диалектической логики, с одной стороны, пересекается с предметом диалектики (теория познания, онтология, метод); с другой стороны, предмет ДЛ (собственно логики) непосредственно увязан с предметом логики формальной. И та, и другая (формальная логика и диалектическая логика) являются науками о рассуждениях, закладывают рассудочную модель человеческого мышления в основу описания и развития представлений о естественном и искусственном интеллекте. Разумеется, каждое из логических учений претендует не только и не столько на название, сколько на право считаться единственно современной ступенью в развитии мировой логической мысли. Вот почему история вопроса помогает сформировать правильное понимание предмета науки Логики.

9. Логика в ХХ веке. Математическая (символическая) логика. Математика, философия, логика. В 19в. появляется математическая логика. Немецкий философ Г.В.Лейбниц (1646-1716гг) – величайший математик и крупный философ 17в., по праву считается ее основателем. Лейбниц пытался создать универсальный язык, с помощью которого споры между людьми можно было бы разрешать посредством вычисления. При построении такого исчисления Лейбниц исходил из «основного принципа разума», который гласил, что во всех истинных предположениях, общих или частных, с необходимостью или случайно предикат содержится в субъекте. Он хотел всякому понятию дать числовую характеристику и установить такие правила оперирования с этими числами, которые позволили бы не только доказывать вообще все истины, доступные логическому доказательству, но и открывать новые. В надежде, что так люди смогут открывать новые истины, он видел особую заслугу своего подхода. Лейбниц говорил о нем как об общем языке, имеющем свой словарь (т.е. характеристическиечисла, отнесенные к понятиям) и свою грамматику (правила оперирования с этими числами). Лейбниц хотел построить арифметизированное логическое исчисление в виде некоторой вычисляющей машины (алгоритма). Однако этого ему сделать не удалось. В этой концепции Лейбница неприемлемо прежде всего то, что содержание наших понятий якобы может быть выражено их характеристическими числами. Несостоятельным было представление Лейбница и о том, что человеческое мышление может быть полностью заменено вычисляющей машиной. Лейбниц полагал, что математику можно свести к логике, а логику считал априорной наукой. Сторонников такого обоснования математики называют логицистами – представителями субъективного идеалистического направления. Лейбниц является предшественником логицизма в том смысле, что он предложил сведения математики к логике и математизацию логики построение самой логики как некоторой арифметики или буквенной алгебры. Лейбниц был предшественником логицизма и в том, что пытался создать арифметизированное логическое исчисление. Чтобы воспользоваться исчислениями Лейбница, люди должны были свое рассуждении облечь в форму силлогизма и посмотреть, правильный он или неправильным. Построенная Лейбницем система удовлетворила этому требованию только в применении к правильным, по Аристотелю, построенным силлогизмам. Все 19 правильных, по Аристотелю, модусов силлогизма окажутся правильными и по критерию Лейбница. Дальнейшие исследования показали, что всегда можно построить такой пример, когда при одинаковых правильных наборах посылок получаются разные заключения: в одних случаях оно окажется истинным, в других – ложным. Исчисление Лейбница, таким образом, не выдержало проверки. Это, конечно, заметил и сам Лейбниц, пришедший в дальнейшем к построению буквенного исчисления по образцу алгебры. В этих замыслах Лейбница не все было порочным. Сам по себе метод арифметизации в математической логике играет весьма значимую роль как вспомогательный прием. Ложной была именно метафизическая идея Лейбница о сведении всего человеческого мышления к некоторому математическому вычислению. Поэтому были ложны и вытекающие из нее следствия. Интенсивное развитие математическая логика получила также в работах Д.Буля, Э.Шрёдера, С. Джевонса, П.С.Порецкого и др. Английский логик Джордж Буль (1815-1864) разрабатывал алгебру логики — один из разделов математической логики. Пред­метом его изучения были классы (как объемы понятий), соотно­шения между ними и связанные с этим операции. Буль переносит на логику законы и правила алгебраических действий.В работе «Исследование законов мысли», которая оказа­ла большое влияние на развитие логики, Буль ввел в логику классов в качестве основных операций сложение («+»), умно­жение («•» или пропуск знака) и вычитание («-»). В исчислении классов сложение соответствует объединению классов, исключая их общую часть, а умножение — пересечению. Вы­читание Буль рассматривал как действие, противоположное сложению, — отделение части от целого, то, что в естественном языке выражается словом «кроме».Буль ввел в свою систему логические равенства, которые он записывал посредством знака « = », соответствующего связке «есть». Суждение «Светила суть солнца и планеты» в виде ра­венства им записывается так: х = у + г, откуда следует, что х — г = у. Согласно Булю, в логике, как и в алгебре, можно переносить члены из одной части равенства в другую с обрат­ным знаком. Буль открыл закон коммутативности для вычи­тания: (х — у = - у + х) и закон дистрибутивности умножения относительно вычитания: (г (х — у) = гх — гу).Он сформули­ровал общее правило для вычитания: «Если от равных вычесть равные, то остатки будут равными. Из этого следует, что мы можем складывать или вычитать равенства и употреблять правило транспозиции точно так же, как в общей алгебре».Предметом исследования ученого были также высказыва­ния (в традиционной логике их называют суждениями). В ис­числении высказываний, по Булю, сложение (« + ») соответ­ствует строгой дизъюнкции, а умножение («•» или пропуск знака) — конъюнкции.Чтобы высказывание записать в символической форме, Буль составляет логическое равенство. Если какой-либо из терминов высказывания не распределен, он вводит термин V для обозначения класса, неопределенного в некотором отно­шении. Для того чтобы выразить частноотрицательное суж­дение, например: «Некоторые люди не являются благоразум­ными», Буль сначала представляет его в форме: «Некоторые люди являются неблагоразумными», а затем выражает в сим­волах обычным способом.

По Булю, существует три типа символического выраже­ния суждений:X = УУ (только предикат не распределен);Х = У (оба термина – субъект и предикат - распределены);VX = VY (оба термина не распределены);Следующий этап в развитии математической логики связан с именем русского логика, математика и астронома Платона Сер­геевича Порецкого (1846-1907). Его работы* существенно обоб­щают и развивают достижения Буля, Джевонса и Шредера.

Анализируя понятия, Порецкий различает две формы: форму, обладающую данным признаком, обозначаемую бук­вами а, Ь, с..., и форму, им не обладающую, обозначаемую а_;, Ь_г с_/ и т.д.** Формы совместного обладания или необладания несколькими признаками записывает так: а, а_(> Ъ, Ь, (без осо­бого знака между буквами). Современное пересечение клас­сов Порецкий называет операцией реализирования (умноже­ния), обозначая ее «•», а операцию объединения классов — абстрагированием (сложением), обозначая ее «?», т.е. знаком вопроса; 0 и 1 обозначают пустой класс и универсальный, Порецкий вводит операцию отрицания классов (отрицание а обозначается через а_г) — это дополнение к классу а. Для каж­дого данного а его отрицание, т.е. а_р может быть различно. Это определяется избранным универсальным классом. Так, если за 1, т.е. универсум, принять англичан, а за а класс арти­стов, то а₁ означает англичан-не-артистов, но если 1 обозна­чает класс людей, то а₁ обозначает людей-не-артистов и т.д.Заслуга Порецкого в том, что он рассматривал логичес­кие операции не только над отдельными логическими клас­сами, но и над логическими равенствами. Порецкий счита­ет, что если два класса состоят из одних и тех же предметов, т.е. имеют равные объемы и могут отличаться только фор­мой, то они равны между собой. Соединяя равные классы знаком « = », мы получаем логическое равенство. Равенством логических классов русский логик называет полную их тождественность, т.е. одинаковость их логического содержания, считая, что все их различие может состоять только в спосо­бе их происхождения. Примером такого равенства является закон де Моргана: (т + п)₁ = т₁о п ₁. Если классы а и b равны, то и их отрицания, т.е. классы а₁ и b_] также равны. По его мнению, отрицание всякого равенства приводит к новому равенству, тождественному первоначальному.По мнению Порецкого, операция отрицания непримени­ма к системам равенств. К соединению двух и более равенств в одно новое равенство применимы лишь две логические опера­ции: сложение и умножение отдельных частей равенств, при­чем предварительно каждое отдельное равенство может быть в случае надобности заменено его отрицанием.

В созданной им теории логики Порецкий подчеркивал взаимосвязь двух проблем: выведения следствия из заданной системы посылок и нахождения тех посылок, из которых дан­ное логическое равенство может быть получено в качестве следствия. Несколько подробнее остановимся на методе на­хождения всех простых следствий из данных посылок, кото­рый в теории логики получил название метода Порецкого-Блэйка (его предложил американский математик Блэйк на основе работы Порецкого).Простым следствием из данных посылок называется дизъ­юнкция каких-либо букв или их отрицаний, являющаяся ло­гическим следствием из этих посылок, и притом таким, кото­рое не поглощается никаким более сильным следствием та­кого же вида. (Мы говорим, что а сильнее Ь, если из а следует Ь, но из Ъ не следует а).

10. Развитие логики в России: этапы, особенности, персоналии.

В 19в. Русские логики внесли существенный вклад в развитие ло­гики на уровне мировых логических концепций.

Первый трактат по логике появился в России в VIII в. Это был перевод философской главы из «Диалектики» преподоб­ного Иоанна Дамаскина, которая представляла собой изло­жение работ Аристотеля и его комментариев. Первое система­тическое учебное пособие по логике, включавшее аристотелев­скую логику и отдельные идеи Гоббса, было подготовлено во второй половине XVII в. Тогда же в России начали распростра­няться отдельные идеи математической логики.В XVIII в. в России появляются оригинальные логичес­кие результаты. Первым их добивается Михаил Васильевич Ломоносов (1711-1765). Он вносит существенные измене­ния в традиционную силлогистику, предлагая свою класси­фикацию умозаключений, отграничивает суждение от грам­матического предложения и др. Дмитрий Сергеевич Анич­ков (1733-1788) в трактате «Заметки по логике, метафизике и космологии» исследовал модальные суждения, подразделяя их на четыре вида — необходимые, невозможные, возможные и не невозможные, сформулировал систему правил для ведения диспутов.Философ-материалист Александр Николаевич Радищев (1749-1802) одним из первых в мировой литературе поста­вил проблему необходимости логического анализа отноше­ний, которого нет ни в логике Аристотеля, ни в логике средне­вековых схоластов. Он писал о суждениях, что они представ­ляют собой сравнение двух понятий или познание отношений, существующих между вещами. А.Н. Радищев дает следую­щую классификацию умозаключений:1) «рассуждение» (т.е. силлогизм); 2) «уравнение», т.е. умозаключения равенства, основан­ные на следующей аксиоме: равные и одинаковые вещи со­стоят в равном или одинаковом союзе или отношении; 3) «умозаключения по сходству».Русские видные публицисты В.Г. Белинский, А.И. Герцен, Н.Г. Чернышевский, НЛ. Добролюбов активно интересова­лись философскими вопросами, в том числе проблемами ло­гики. Белинский предостерегал от логических ошибок в ходе доказательства тезиса. А.И. Герцен выдвигал лозунг гармо­нического сочетания теоретического мышления и практи­ческой деятельности. Н.Г. Чернышевский утверждал, что понятие относительности знания не означает, что оно иллю­зорно или необъективно, а лишь указывает на его незакон­ченность. /Крупнейшими русскими логиками XIX в. были Михаил Иванович Каринский (1840-1917) и его ученик Леонид Васи­льевич Рутковский (1859-1920), основные логические рабо­ты которых посвящены классификации умозаключений. /Основной замысел логической теории Карийского можно характеризовать как стремление построить аксиоматико-де-дуктивную систему логики, исходя из основного отношения равенства (т.е. «тождества»), и в ней описать дедуктивные и индуктивные умозаключения, не используя элементы стро­гой формализации. Каринский в этой концепции примыкает к идеям Джевонса, что отметили уже его современники. Структура умозаключения, по Карийскому, такая. Из двух посылок, имеющих структуру (1) и (2), делается заключение (3).А находится в отношении R к В. (1) В тождествен с С. (2) А находится в отношении R к С. (3)Примеры: Москва находится восточнее Парижа.(1) Париж — столица Франции. (2) Москва находится восточнее столицы Франции. (3)Самара находится западнее озера Байкал. (1) Озеро Байкал — самое глубокое озеро мира.(2) Самара находится западнее самого глубокого озера мира.(3)Все выводы М.И. Каринский делит на две большие группы:1) выводы, основанные на «сличении субъектов», 2) выводы, основанные на «сличении предикатов» (при этом смысл терминов «субъект» и «предикат» не совпадает с соответствующим им традиционным пониманием).Основанием выводов является тождество (или соответ­ственно различие) «субъектов» или «предикатов». К этим двум большим группам, по мнению Карийского, можно отне­сти все виды умозаключений и, кроме них, еще и гипотезу.Известный историк логики Н.И. Стяжкин, исследуя логичес­кие идеи М.И. Карийского, пришел к выводу, что Каринский стре­мился охватить своей классификацией все виды умозаключений, встречающиеся в практике мышления. Но поставленная задача оказалась шире, чем принятые Каринским и положенные в осно­ву его теории предпосылки. Она осталась нерешенной.Леонид Васильевич Рутковский — автор работы «Основные типы умозаключений» (1888). Если Каринский пытался пост­роить теорию выводов, используя лишь отношение тождества и сводя к нему все другие отношения, то Рутковский считает воз­можным признать равноправными с отношением тождества и другие отношения, например, отношения сходства, сосуществования. Так как существует многообразие отношений, поэтому имеется и многообразие видов логических выводов (т.е. видов умозаключений). Умозаключения делятся им на интенсивные (т.е. рассматриваемые в логике содержания) и экстенсивные (рас­сматриваемые в логике объема).Рутковский делит все выводы на две основные группы. Пер­вая группа — выводы подлежащих (т.е. выводы по объему) — распадается на три вида:а) традукцию (выводы сходства, тождества, условной за­висимости); б) индукцию (полную и неполную); в) дедукцию (гипотетическую и негипотетическую).Вторая группа выводов — выводы сказуемых (по содержа­нию) — распадается на выводы «продукции» (разделительный силлогизм, выводы о совместности, современности предметов и др.), «субдукции» (выводы при классификациях и упорядо­чении предметов и др.), «эдукции» (отнесение предмета к виду его класса, заключения математической вероятности и др.).Аксиома «продукции» такова: «Из того, что предмет име­ет признак В, следует, что этот же предмет имеет и признак С, так как признак В. неизменно сосуществует с признаком С*.Краткий анализ работ М.И. Карийского и Л.В. Рутковского показывает, что их оригинальные работы по классифика­ции видов умозаключений способствовали прогрессивному развитию традиционной логики в XIX. Оригинальными были идеи казанского логика Николая Александровича Васильева (1880-1940). Он вслед за другим русским логиком С.О. Шатуновским высказал идею о неуниверсаль­ности закона исключенного третьего. Н.А. Васильев — в результате изучения частных суждений, рассматриваемых в традиционной логике.

11. Понятие логической формы и логического закона.

Логическая форма. Логич. формой конкретной мысли является строение этой мысли, т. е. способ связи ее составных частей. В логич. формах отражается не вся полнота содержания мира, существующего вне нас, а его общие структурные связи, которые воплощаются и в структуре наших мыслей. Логические формы носят объективный характер – существуют независимо от воли и сознания людей. Построение человеческой мысли с неизбежностью подчинено определённым нормативным требованиям. Нарушение этих норм может привести к тому, что мысль не состоится. Основными логическими формами являются: понятие, суждение, умозаключение. Структуру мысли, т. е. ее логич. форму, можно выразить при помощи символов. ПРИМЕР: Выявим структуру (логич. форму) в трех следующих суждениях : «Все караси – рыбы» «Все работники есть люди, обязанные соблюдать трудовую дисциплину» «Все жилые помещения есть помещения, предназначенные для проживания граждан» Содержание у этих трех суждений разное, а форма одна и та же: «Все S есть P», где S – субъект, т. е. понятие о предмете суждения. P – предикат, т. е. понятие о признаке предмета. «Есть» - связка. «Все» - кванторное слово. * иногда связка может отсутствовать или заменяться тире или простым согласованием слов (например, «Вечер наступил»). ПРИМЕР: Два следующих условных суждения имеют одну и ту же форму: 1) «Если студент изучает логику, то он повышает чёткость своего мышления». 2) «Если судья подал письменное заявление об отставке, то полномочия судьи прекращаются». Форма этих суждений такая: «Если S есть P,то S есть P1 (индекс) «Если за неисполнение договора ответственна сторона, давшая задаток, он остается у другой стороны». Форма выражена так: «Если a, то b». a – это «Если за неисполнение договора ответственна сторона, давшая задаток». b – это «Задаток остается у другой стороны». Логический закон - это логическая форма, которая порождает истинное предложение при любой подстановке вместо переменных их значений. Формы, являющиеся логическими законами, обладают следующим свойством: их использование позволяет находиться в рамках истинного знания и, что особенно важно, на основе истинных знаний продвигаться к новым знаниям, которые также будут истинными. Логические законы выделяются специальными методами для того или иного раздела формальной логики. Выработка этих методов - одна из важнейших задач этой науки. Существуют 4 основных закона: 1) закон тождества Согласно закону тождества - всякое высказывание является необходимым и достаточным условием своей собственной истинности. 2) закон противоречия. В соответствии с законом противоречия два противоречащих высказывания не могут быть вместе истинными, одно их них ложно. 3) закон исключенного третьего. Согласно закону исключенного третьего, два противоречащих высказывания не могут быть вместе ложны, должна выполняться одна из возможностей: если ложно одно из противоречащих высказываний, то истинно другое, а что-либо третье исключено. 4) закон достаточного основания. Закон достаточного основания – согласно этому закону, для того, чтобы признать высказывание о предмете истинным, должно быть указано достаточное основание.

12. Язык как знаковая система. Взаимосвязь мышления и языка. Языка естественные и искусственные. Предметом изучения логики являются формы и законы правильного мышления. Мышление есть функция человеческого мозга, которая неразрывно связана с языком. Язык, по выражению Карла Маркса, есть непосредственная действительность мысли. В ходе коллективной трудовой деятельности у людей возникла потребность в общении и передаче своих мыслей друг другу, без чего была невозможна сама организация коллективных трудовых процессов. Язык является знаковой информационной системой, продуктом духовной деятельности человека. Функции языка многочисленны и многогранны: 1) Язык – это средство повседневного общения людей, средство общения в научной и практической деятельности. 2) Язык позволяет передавать накопленные знания, практические умения и жизненный опыт от одного поколения другому; осуществлять процесс обучения и воспитания подрастающего поколения. 3) Язык является средством передачи и получения накопленных знаний; средством хранения информации. 4) Язык является средством познания, выражения эмоций. Речь может быть устной или письменной, звуковой или незвуковой (как, например, у глухонемых), внешней или внутренней, выраженной с помощью естественного или искусственного языка. С помощью научного языка, в основе которого лежит естественный язык, сформулированы положения философии, истории, географии, археологии, геологии, медицины (использующей наряду с «живыми» национальными языками и ныне «мертвый» латинский язык) и многих других наук. Из этого можно сделать вывод: язык – это не только средство общения людей, но и важнейшая составная часть культуры всего народа. На базе естественных языков возникли искусственные языки науки. К ним принадлежат языки математики, символической логики, химии, физики, а также алгоритмические языки программирования для ЭВМ, которые получили широкое применение в современных вычислительных машинах и системах. Языками программирования называются знаковые системы, применяемые для описания процессов решения задач на ЭВМ.

В структуру языка входит имя. ИМЯ Имя – это слово или словосочетание, обозначающий какой-либо определенный предмет. Предмет здесь понимается в весьма широком смысле: это вещи, свойства, отношения процессы, явления и т. п. как природы, так и общественной жизни, психической деятельности людей, продукты их воображения и результаты абстрактного мышления. Имена делятся на: 1) простые (книга, взятка, прокурор) и сложные или описательные (сборник законов РФ, планета Солнечной системы). В простом имени нет частей, имеющих самостоятельный смысл, а в сложном они имеются. 2) собственные, т. е. имена отдельных людей, предметов, событий ( П. И. Чайковский, река Обь, Куликовская битва) и общие – название класса однородных предметов (дом, действующий вулкан, право собственности инвестора на произведенную продукцию). Каждое имя имеет значение и смысл. Значением имени является обозначаемый им предмет, а смысл (или концепт) – это способ, каким имя обозначает предмет, т. е. информация о предмете, которая содержится в имени. Пример: «великий русский поэт А. С. Пушкин» и «автор романа в стихах Евгений Онегин». Эти 2 выражения имеют одно и то же значение (А. С. Пушкин), но несут разный смысл, так как дают различную информацию о писателе и поэте.

13. Понятие знака. Виды знаков. Значение и смысл знаков.

ЗНАК – это материальные предмет (явление, событие), выступающий в качестве представителя некоторого другого предмета, свойства или отношения и используемый для приобретения, хранении, переработки и передачи сообщений (информации, знаний). Знаки подразделяются на языковые и неязыковые. К неязыковым знакам относятся: 1) Знаки – копии (например, фотографии, отпечатки пальцев, репродукции т. д.). 2) Знаки – признаки\показатели (например, дым – признак огня, повышенная температура тела – показатель болезни). 3) Знаки – сигналы (например, звонок – знак начала или окончания занятия). 4) Знаки – символы (например, дорожные знаки). И т. д. … Разновидностями знаков являются языковые знаки, использующиеся в вышеперечисленных функциях. Одна из важнейших функций языковых знаков состоит в обозначении ими предметов. Для обозначения предметов служат имена. Семиотика – наука, являющаяся общей теорией знаков.

ИМЯ Имя – это слово или словосочетание, обозначающий какой-либо определенный предмет. Предмет здесь понимается в весьма широком смысле: это вещи, свойства, отношения процессы, явления и т. п. как природы, так и общественной жизни, психической деятельности людей, продукты их воображения и результаты абстрактного мышления. Имена делятся на: 1) простые (книга, взятка, прокурор) и сложные или описательные (сборник законов РФ, планета Солнечной системы). В простом имени нет частей, имеющих самостоятельный смысл, а в сложном они имеются. 2) собственные, т. е. имена отдельных людей, предметов, событий ( П. И. Чайковский, река Обь, Куликовская битва) и общие – название класса однородных предметов (дом, действующий вулкан, право собственности инвестора на произведенную продукцию). Каждое имя имеет значение и смысл. Значением имени является обозначаемый им предмет, а смысл (или концепт) – это способ, каким имя обозначает предмет, т. е. информация о предмете, которая содержится в имени. Пример: «великий русский поэт А. С. Пушкин» и «автор романа в стихах Евгений Онегин». Эти 2 выражения имеют одно и то же значение (А. С. Пушкин), но несут разный смысл, так как дают различную информацию о писателе и поэте.

14. Понятие обычно определяют как одну из основных форм мышления. Оно может выступать как специфический результат мышления и является обобщенным отражением класса предметов в их наиболее общих и существенных особенностях. Благодаря понятиям мышление приобретает характер обобщенного отражения действительности. Мышление - это отражение действительности по средством языка. Наиболее существенным моментом, определяющим возможность познания действительности с помощью языка, является обобщение предметов некоторого класса, вида (например, животных, растений и т.д.) и мысленное выделение их при этом. Результатом таких обобщений являются именно понятия. Применение понятий в мышлении необходимо всегда, когда к мышлению предъявляются требования определенности, точности и особенно доказательности. Специфика этой формы мышления состоит в том, что она прежде всего представляет собой результат мысленного, а значит и словесно-языкового выделения предметов некоторого класса. Выделение осуществляется по определенной совокупности признаков, объединяющих данный класс предметов. Признаки предмета - это не только то, в чем они сходны друг с другом, но и то чем они отличаются. Признаки предмета разделяются на существенные и несущественные. Существенными признаками предмета являются те признаки, которые выражают его внутреннюю природу, его сущность. Несущественными признаками называются признаки, не выражающие сущность предмета, они могут принадлежать, и могут не принадлежать предмету. Характеристика понятия как формы познания, как способа мыслительной деятельности - это способ мыслительного выделения классов предметов посредством обобщения этих предметов. Этот процесс включает множество приемов познания. Понятия, в которых предметы обобщаются по существенным признакам, имеют наибольшую ценность в познании. Однако мысль представляет собой понятие независимо от того, насколько существенными являются признаки, составляющие основу обобщения предметов, тем более что для предметов одного и того же класса возможны и более и менее существенные признаки, существенные для характеристики самих этих предметов или с какой-то точки зрения в связи с тем или иным использованием предметов.

15. Признаки понятий. Виды признаков.

ПРИЗНАКИ – это то, в чем предметы сходны друг с другом или отличны друг от друга. Признаками являются свойства и отношения. Признак - наличие или отсутствие свойства у предмета или отношения между предмета. Предметы могут быть тождественными по своим свойствам (например, сахар и мед сладкие), но могут и отличаться ими (мед сладкий, а полынь горькая). Любой предмет имеет множество разнообразных признаков. При образовании понятий главную роль играют существенные признаки. Признаки бывают: - существенные (признаки, которые принадлежат предмету, выражают его внутреннюю природу, его сущность) и несущественные (могут принадлежать предмету, а могут и не принадлежать, не выражают его сущность), - необходимые и случайные. - простые и сложные. - положительные и отрицательные. В понятии отражается совокупность существенных признаков, т. е. таких, каждый из которых, взятый отдельно, необходим, а все вместе взятые достаточны, чтобы с их помощью можно было отличить (выделить) данный предмет от всех остальных и обобщить однородные предметы в класс.

16. Содержание и объем понятия. Виды понятий.

Понятие - это общее представление о предмете. СОДЕРЖАНИЕМ понятия называется совокупность существенных признаков предмета одноэлементного класса

или класса однородных предметов, отраженных в этом понятии. ОБЪЁМОМ понятия называют совокупность (класс) предметов, которая мыслится в понятии. Классом называется определенная совокупность предметов, имеющих некоторые общие признаки. Класс может включать в себя подкласс. Отношение между классом и подклассом выражается отношением принадлежности и сходства. ЗАКОН ОБРАТНОГО СООТНОШЕНИЯ МЕЖДУ ОБЪЕМОМ И СОДЕРЖАНИЕМ ПОНЯТИЯ. Чем богаче содержание понятия, чем больше признаков оно в себя включает, тем меньше его объем. И наоборот, чем больше объем понятия, тем беднее его содержание. ВИДЫ ПОНЯТИЙ. По объему понятия делятся на - общие (в объем входят несколько предметов). - единичные (в объем входит один предмет). - пустые (в объем не входит ни один реально существующий предмет). - конкретные (в которых мыслится предмет или совокупность предметов, как самостоятельно существующих; в которых в которых отражены одноэлементные или многоэлементные классы предметов). - абстрактные (в которых мыслится признак предмета или отношения между предметами; в которых мыслится не целый предмет, а какой либо из признаков предмета, взятый отдельно от самого предмета). - относительные (в которых мыслятся предметы, существование одного из которых предполагает существование другого: дети – родители, ученик – учитель…). - безотносительные (в которых мыслятся предметы, существующие самостоятельно, вне зависимости от другого предмета: деревня, доменная печь…). - положительные (характеризуют в предмете наличие того или иного качества или отношения: грамотный человек, отстающий ученик, алчность, мошенник…) * если частица «не» или «без» («бес») слилась со словом и слово без них не употребляется, то понятия, выраженные таким словами, также называются положительными (ненастье, безупречность…) - отрицательные (показывают, что указанное качество отсутствует в предмете: бескорыстная помощь, некрасивый поступок…) - регистрирующие (в которых множество мыслимых элементов поддается учету; имеют конечный объем) - нерегистрирующие (в которых множество мыслимых элементов не поддается учету; их объем не поддается учету) - собирательные (в которых группа однородных предметов мыслится как единое целое: стая, созвездие, полк…) Собирательные понятия бывают общими (роща, коллегия адвокатов..) и единичными (созвездие Большая Медведица, Верховный Суд РФ, Сборник законов РФ…). - несобирательные (относится к каждому элементу класса: ручка,

17.?

18. Определение понятий. Правила определения понятий. ОПРЕДЕЛЕНИЕ (или ДЕФЕНИЦИЯ) ПОНЯТИЙ есть логическая операция, которая раскрывает содержание понятия либо устанавливает значение термина. С помощью определения понятия мы каким-то образом мы указываем на сущность отражаемых в понятии предметов, раскрываем содержание понятия и тем самым отличаем круг определенных предметов от других предметов. Пример: «Трапеция – четырехугольник, у которого две стороны параллельны, а две другие – не параллельны». Давая определение понятия «трапеция», мы отличаем его от других четырехугольников, например, от ромба. Определения делятся на явные и неявные. ЯВНЫЕ ОПРЕДЕЛЕНИЯ. Явные определения - это такие, в которых даны определяемое (дефиниендум) и определяющее (дефиниенс) понятия и между ними устанавливается некоторое отношение равенства, эквивалентности. Самое распространенное явное определение – определение через ближайший род и видовое отличие, где род, или родовое понятие, - признак, указывающий на тот круг предметов, из числа которого нужно выделить определяемое множество предметов, а вид, или видовое отличие, - признаки, при помощи которых выделяется определяемое множество предметов из числа предметов, соответствующих родовому понятию. Пример: «Барометр – прибор для измерения атмосферного давления». «Кража – тайное хищение чужого имущества». В данных примерах родовыми понятиями являются «прибор» и «хищение чужого имущества», а видовыми отличиями – «барометр» и «кража». Явные определения делятся на реальные, номинальные и генетические. Если определяется понятие, то определение будет реальным. Пример: «Юридич. обязанность – это мера должного, установленного законом поведения». Если определяется термин, обозначающий понятие, то определение будет номинальным. С помощью номинальных определений вводятся новые термины, краткие имена взамен более сложных описаний предметов (например, "навыком называют такое действие, в составе которого отдельные операции стали автоматизированными в результате упражнений"). Путем ном. определений вводятся и знаки, заменяющие определения. Для ном. определения характерно присутствие в его составе слова «называют(ся).» Генетические определения - определение предмета путем указания на способ, которым образуется только данный предмет и никакой другой (это его видовое отличие). Пример: «Коррозия металлов - это окислительно-восстановительный процесс, который происходит в результате окисления атомов металла и перехода их в ионы». ПРАВИЛА ЯВНОГО ОПРЕДЕЛЕНИЯ. 1) Определение должно быть соразмерным, т. е. объем определяющего понятия должен быть равен объему определяемого понятия. Возможные ошибки: - Слишком широкое определение: когда определяющее понятие по объему шире, чем определяемое понятие («костер – источник тепла»). - слишком узкое определение: когда определяющее понятие по объему уже, чем определяемое понятие («вершина – самая высокая часть холма»). - определения в данном отношении слишком широкое, а в другом слишком узкое («бочка – сосуд для хранения жидкости»). 2) Определение не должно содержать круга. Круг возникает тогда, когда определяемое и определяющее понятия выражаются одно через другое («вращение есть движение вокруг своей оси»- «ось – это прямая, вокруг которой происходит вращение»). Круг также возникает, когда определяемое понятие характеризуется через него же, но лишь выраженное иными словами или когда определяемое понятие включается в определяющее понятие в качестве его части («смешное – это то, что вызывает смех», количество – характеристика предмета с его количественной стороны»). 3) Определение должно быть четким, ясным. Это правило означает, что смысл и объем понятия, входящих в определяющее понятие, должны быт ясными и определенными. Определения понятий должны быть свободными от двусмысленности; не допускается подмена их метафорами, сравнениями и т. д. НЕЯВНЫЕ ОПРЕДЕЛЕНИЯ. В отличие от явных определений, имеющих структуру дефиниендум=дефиниенс (определяемое=определяющее), в неявных определения на место дефиниенса подставляется контекст, набор аксиом или описание способа построения определяемого объекта. Виды неявных определений: 1) Контекстуальное определение: позволяет выяснить содержание незнакомого слова, выражающего понятие, через контекст, не прибегая к словарю для перевода или к толковому словарю. Пример: «Стареешь ты, Фишка! – Старею? - удивился тот и хвастливо сказал: - Я еще молодого за пояс заткну!» (Г. Марков) . данный контекст помогает выяснить, что выражение «заткнуть за пояс» означает «превзойти кого-либо». 2) Индуктивные определения – такие, в которых определяемый термин используется в выражении понятия, которое ему приписывается в качестве его смысла. Пример: Определение понятия «натуральное число» с использованием самого этого термина 1. 1 – натуральное число. 2. если n – натуральное число, то n+1 – натуральное число. 3. никаких натуральных чисел, кроме указанных в пункте 1 и 2, нет. 3) Определение понятий через аксиомы. Используется в математике, математической логике и других науках.

19. Деление понятий. Правила деления понятий. ДЕЛЕНИЕ ПОНЯТИЙ. Деление – это логическая операция, посредством которой объем делимого понятия (множество) распределяется на ряд подмножеств с помощью избранного основания деления, т. е. признака, по которому производится деление объема понятия. Пример: Поведение человека делится на правомерное поведение и правонарушение. Органы чувств делятся на органы зрения, слуха, обоняния, осязания и вкуса. Подмножества, на которые разделен объем понятия, называются членами деления. Делимое понятие – это родовое, а его члены деления – это виды данного рода, соподчиненные между собой, т. е. не пересекающиеся по своему объему (не имеющие общих членов). ПРАВИЛА ДЕЛЕНИЯ ПОНЯТИЙ. 1) Соразмерность деления: объем делимого понятия должен быть равен сумме объемов членов деления. Нарушение это правила ведет к ошибкам двух видов: - неполное деление, когда перечисляются не все виды данного родового понятия. Пример: «Энергия делится на химическую и механическую» (не указана электрическая и атомная). - деление с лишними членами, когда дается лишний член деления. Пример: «Химические элементы делятся на металлы, неметаллы и сплавы» (сплавы здесь лишний член). 2) Деление должно проводиться только по одному основанию. Это означает, что нельзя брать одновременно два и большее число признаков, по которым бы производилось деление. Если будет нарушено это правило, то произойдет перекрещивание объемов понятий, которые появились в результате этого деления. Пример: «Транспорт делится на наземный, водный, воздушный, транспорт общего пользования, транспорт личного пользования». Допущена ошибка «подмена основания», т. е. деление производилось не по одному основанию. 3) Члены деления должны исключать друг друга, т. е. не иметь общих элементов, быть соподчиненными понятиями, объемы которых не пересекаются. Это правило тесно связано с предыдущим, так как если деление осуществляется не по одному основанию, то члены деления не будут исключать друг друга. Пример: «Преступления делятся на умышленные, по неосторожности, кражи, разбойные нападения, совершенные рецидивистами и должностные преступления». Члены деления не исключают друг друга, произошло смешение различных оснований деления. 4) Деление должно быть непрерывным, т. е. нельзя делать скачки в делении Пример: «Удобрения делятся на органические, азотные, фосфорные и калийные». Правильным будет сначала разделить удобрения на органические и минеральные, а потом уже минеральные удобрения разделит на азотные, фосфорные и калийные.

20. Деление и классификация понятий: общее и особенное.

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

1. Соразмерность деления: объем делимого понятия должен быть равен сумме объемов членов деления. (Высшие растения делятся на травы, кустарники и деревья. Электрический ток делится на постоянный и переменный). Нарушение этого правила ведет к ошибкам 2 видов: а) неполное деление, когда перечисляются не все виды данного родового понятия. Например: «Энергия делится на механическую и химическую» (нет указания на электрическую энергию, атомную); б) деление с лишними членами. «Химические элементы делятся на металлы, неметаллы и сплавы».Здесь лишний член «сплавы»; 2. Деление должно проводиться только по одному основанию. Это означает, что нельзя брать два или большее число признаков, по которым бы производилось деление. ( «Волны делятся на продольные и поперечные».) Ошибка: «Транспорт делится на наземный, водный, воздушный, транспорт общего пользования, транспорт личного пользования»,подмена основания; 3. Члены деления должны исключать друг друга, т. е. не иметь общих элементов. Ошибка: «Войны бывают справедливыми, несправедливыми, освободительными, захватническими, мировыми»; 4. Деление должно быть непрерывным, т. е. нельзя делать скачки в делении. Ошибка: «Сказуемые делятся на простые, на составные глагольные и составные именные» Виды деления: По видообразующему признаку и дихотомическое деление. При делении по видообразующему признаку основанием деления является тот признак, по которому образуются видовые понятия, этот признак является видообразующим. Пример: Ядерные взрывы бывают воздушными, наземными, подводными и подземными. При дихотомическом (двучленном) делении объем понятия делится на два противоречащих понятия: А и не-А, пример: вещества делятся на органические и неорганические. Иногда понятие не-А делится на два противоречащих понятия В и не-В и т.д. Дихотомическое деление удобно по следующим причинам: 1. Оно всегда соразмерно; 2. Члены деления исключают друг друга; 3. Деление проводится только по одному основанию. Операция деления понятий применяется тогда, когда надо установить, из каких видов состоит родовое понятие и от деления стоит различат мысленное расчленение целого на части.

Деление и классификация понятий: общее и особенное.

Деление – логическая операция в ходе, которой объем данного понятия распределяется на несколько подмножеств, которые называются членами деления. Правила:

1) Соразмерность деления: объем делимого понятия должен быть равен сумме объемов членов деления. Ошибки: а) неполное деление; б) деление с меньшими членами; 2) Деление должно проводиться только по данным основанию. 3) Члены деления должны исключать друг друга. 4) Деление должно быть непрерывным, нельзя делать скачки в делении.

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

1)по кол-ву обобщаемых предметов: понятия с пустым объемом и непустым; 2)по типу обобщаемых предметов: собирательные (Понятия, в которых мыслятся признаки некоторой совокупности элементов, составляющих единое целое) и несобирательные (Понятие, в котором мыслятся признаки, относящиеся к каждому его элементу). Конкретные (обобщают сами предметы) и абстрактные (обобщают свойства, стороны предметов); 3)по характеру признаков: положит.(наличие признака) и отрицател.(отсутствие признака). Соотносительные(указыв. на отношение) и безотносит.(само по себе.Например: «студент», «государство», «место преступления»); 4)По характеру отношений между объемами: совместимые (понятия, объемы которых полностью или частично совпадают) и несовместимые(не имеют общих элементов объема).

21. Операции ограничения и обобщения понятий.

Обобщить понятие — значит перейти от понятия с меньшим объемом, но с большим содержанием к понятию с большим объемом, но с меньшим содержанием. Например, обобщая понятие «Министерство юстиции Российской Федерации», мы переходим к понятию «министерство юстиции». Объем нового (общего) понятия шире исходного (единичного) понятия; первое относится ко второму как индивид к виду. Вместе с тем содержание понятия, образованного в результате обобщения, уменьшилось, так как мы исключили его индивидуальные признаки.

Обобщение понятия не может быть беспредельным. Наиболее общими являются понятия с предельно широким объемом — категории, например «материя», «сознание», «движение», «свойство», «отношение» и т.п. Категории не имеют родового понятия, обобщить их нельзя.

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

Таким образом, изменяя объем исходного понятия, мы изменяем и его содержание, осуществляя тем самым переход к новому понятию — с большим объемом и меньшим содержанием (обобщение) или меньшим объемом и большим содержанием (ограничение).

Логические операции обобщения и ограничения понятий широко применяются в практике мышления: переходя от понятий одного объема к понятиям другого объема, мы уточняем предмет нашей мысли, делаем наше мышление более определенным и последовательным.

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

22. Суждение как форма мышления. Суждение и высказывание, их структура.

Суждение-это форма мышления, в которой отрицается или утверждается что-либо о существовании предметов и явлений, их свойствах и взаимосвязях, а также отношениях между ними. Чаще всего суждение выражается повествовательным предложением, хотя иногда суждения содержатся в риторических вопросах и восклицаниях. К числу суждений не относятся мысли, которые не могут быть охарактеризованы с точки зрения истины или лжи (например, приказания, просьбы). Связь суждения и предложения можно выразить следующим образом: предложение-форма суждения, суждение-смысловое содержание предложения. Суждение обладает способностью выражать либо истину, либо ложь, в зависимости от чего различаются истинные и ложные суждения. Суждение истинно, если оно отражает действительные свойства и отношения предметов. Например, "Нил-самая большая река в мире» Суждение ложно, если оно искажает объективные свойства и отношения предметов. Например: Территория Франции больше территории России. Необходимо знать, что суждение имеет четкую внутреннюю структуру, которая состоит из четырех компонентов: субъекта, предиката, связки и квантора. Субъект- это предмет суждения, о котором, что-либо утверждается или обозначается. Субъект обозначается буквой (S). Предикат-это та информация, которая утверждается или отрицается о предмете суждения. Предикат обозначается буквой (P). Субъект и предикат называются терминами суждения. Термины суждения носят соотносительный характер, т.е. не могут существовать друг без друга. Связка- это выражение отношения между субъектом и предикатом. Связка обозначается тире либо словами "есть", "суть", "имеются" и т.д. Квантор- элемент, обозначающий, к какой части объема субъекта относится признак, выраженный в предикате. Квантор обозначается словами "все", «некоторые", "ни один" и т.д. Основными элементами суждения являются субъект, предикат и связка, так как они содержатся в любом суждении. Т.е. каждое суждение можно представить в виде следующей формулы: S есть (не есть) P. В силу сложности своей внутренней структуры суждения делятся на две большие группы: простые суждения и сложные. Суждение, в отличие от высказывания, всегда модально и носит оценочный характер. Высказыванием называется утвердительное повествовательное предложение, про которое есть смысл говорить, истинно оно или ложно. Так, например, «Сейчас идёт дождь» — высказывание, а «Давай пойдём обедать» — не высказывание.

23. Простые суждения и их виды.

Суждения бывают простые и сложные; последние состоят из нескольких простых. Суждение «Некоторые звери делают запасы на зиму» - простое, а суждение « Наступила осень, дни стали короче, и переплетные птицы отправились в теплые края»-сложное, состоящее из трех простых суждений.

Виды простых суждений:

1. Суждения свойства (атрибутивные). В суждениях этого вида утверждается или отрицается принадлежность предмету известных свойств, состояний, видов деятельности. Примеры: «у розы приятный запах», «Крупнейший в мире речной бассейн Амазония охватывает треть Южной Америки». Схемы этого вида суждения: S есть P или S не есть P.

2. Суждения с отношениями. В этих суждениях говорится об отношениях между предметами. Например: «отцы старше своих детей» « Эльбрус выше Монблана». Формула, выражающая суждение с двухместным отношением, записывается как aRb или R(a,b) где a и b-имена предметов, а R имя отношения. В суждениях с отношениями может что-либо утверждаться или отрицаться не о двух, а о трех, четырех или большем числе предметов. Например: «Бологое находится между Санкт-Петербургом и Москвой». Такие суждения выражаются формулой R (a1, a2,a3,……….an).

3. Суждения существования (экзистенциональные). В них утверждается или отрицается существование предметов (материальных или идеальных) в действительности. Примеры: « Существуют атомные реакторы», « Существуют не раскрытие преступления».

24. Деление суждений по количеству и качеству.

Суждение — форма мышления, в которой что-либо утверждается или отрицается о существовании предметов, связях между предметом и его свойствами или об отношениях между предметами. Категорические суждения и их виды (деление ПО количеству и качеству): В традиционной логике все три указанных вида представляют простые категорические суждения. По качеству связки («есть» или «не есть») категорические суждения делятся на утвердительные и отрицательные. Суждение «Все страусы — птицы» утвердительные. Суждения «Некоторые дома не являются благоустроенными» отрицательные. По количеству, т.е. в зависимости от того, обо всем классе предметов, о части этого класса или об одном предмете идет речь в субъекте, суждения делятся на общие, частные и единичные.

«Все соболя — ценные пушные звери»- общие суждения («Все S есть (не есть) Р.».); Среди общих суждений встречаются выделяющие суждения, в состав которых входит кванторное слово «ТОЛЬКО» например: только добрый человек может стать врачом.

Среди общих суждений имеются исключающие суждения, например: Все студенты за исключением больных, пришли на семинар.

«Везувий — действующий вулкан» — единичное. ( «Это S есть (не есть) Р.».)

Частные суждения делятся на неопределенные и определенные. ( «Некоторые S есть (не есть) Р.») «Некоторые грибы — съедобны» — неопределенное частное суждение. Мы не установили, обладают ли признаком съедобности все грибы, но не установили и того, что признаком съедобности не обладают некоторые грибы. Только некоторые грибы съедобны»- определенное частное суждение.

25. Объединенная классификация простых категорических суждений. Суждение — форма мышления, в которой что-либо утверждается или отрицается о существовании предметов, связях между предметом и его свойствами или об отношениях между предметами. Объединенная классификация простых категорических суждений по количеству и качеству: В каждом суждении имеется количественная и качественная характеристика на основе, которой выделяются следующие четыре типа суждений.

А - общеутвердительное суждение- это суждение, общее по количеству и утвердительное по качеству «Все люди — позвоночные». Структура его: «Все S есть Р.».

I – частноутвердительное суждение, частное по количеству и утвердительное по качеству. «Некоторые элементарные частицы имеют положительный заряд». Структура его: «Некоторые S есть Р».

E - общеотрицательное - суждение, общее по количеству и отрицательное по качеству «Ни один дельфин не является рыбой». Его структура: «Ни одно S не есть Р».

O - частноотрицательное- суждение, частное по количеству и отрицательное по качеству. «Некоторые люди не являются долгожителями». Структура: «Некоторые S не есть Р». Суждения обозначаются следующими буквами: А — общеутвердительные, Е — общеотрицательные, I — Частноутвердительные, О — частноотрицательные.

26. Сложные суждения и их состав. Сложные суждения состоят из ряда простых («Человек не стремится к тому, во что не верит и, любой энтузиазм, не подкрепляясь реальными достижениями, постепенно угасает»), каждое из которых в математической логике обозначается латинскими буквами (A, B, C, D… a, b, c, d…). В зависимости от способа образования различают конъюнктивные, дизинъюнктивные, импликационные, эквивалентные и отрицательные. Состав сложного суждения. Дизинъюнктивные суждения образуются с помощью разделительных (дизинъюнктивных) логических связок аналогичных союзу «или». Подобно простым разделительным суждениям бывают нестрогими (нестрогая дизинъюнкция), члены которой допускают совместное сосуществование (толи…, толи…), записывающимися a V b; и строгими (Строгая дизинъюнкция) члены которой исключают друг друга (либо одно, либо другое), записывающимися a b (с точкой над V). Импликационные суждения образуются с помощью импликации, эквивалентной союзу «если …, то» и записываются a → b или a b, хотя в естественном языке союз «если …, то» иногда является синонимом союза «а» («Погода изменилась и, если вчера было пасмурно, то сегодня не одной тучи») и, в таком случае, означает конъюнкцию. Конъюнктивные суждения образуются с помощью логических связок сочетания (конъюнкции) эквивалентной запятой или союзам «и», «а», «но», «да», «хотя», «который», «зато» и другим, обозначаемых знаком « ». Что в математической логике записывается как (a b). Эквивалентные суждения указывают на тождественность частей суждения друг другу (проводят между ними знак равенства). Помимо определений, поясняющих какой-либо термин, могут быть представлены суждениями, соединенными союзами «если только», «необходимо», «достаточно» (например: «Чтобы число делилось на 3, достаточно чтобы, сумма цифр, его составляющих, делилась на 3»), и записывается a ≡ b; a ↔ b; a b (у разных математиков по-разному, хотя математический знак тождества все-таки ≡). Отрицательные суждения строятся с помощью связок «не» и записываются либо a ~ b, либо a b при внутреннем отрицании типа «машина не роскошь», и с помощью черты над всем суждением при внешнем отрицании (опровержении) «не верно что …» (a b). Состав сложного суждения:

Атрибутивные суждения Суждения о принадлежности предметам свойств (атрибутов), а также суждения об отсутствии у предметов каких-либо свойств. В атрибутивном суждении выделяются термины суждения — субъект S (логическое подлежащее) и предикат P (логическое сказуемое), а также связка (иногда только подразумевается), кванторное слово («некоторые», «все» и т. п.). Классификация по качеству ---утвердительные- S есть P Прим: «Люди пристрастны к самим себе» ---отрицательные - S не есть P Прим: «Люди не поддаются лести»

Общая классификация: ---общеутвердительные (A) — одновременно общие и утвердительные («Все S₊ суть P_-») ---частноутвердительное (I) — частное и утвердительное («Некоторые S_- суть P_-») Прим: «Некоторые люди имеют черный цвет кожи» ---общеотрицательное (E) — общее и отрицательные («Ни один S₊ не суть P₊») Прим: «Ни один человек не всеведущ» ---частноотрицательное (O) — частное и отрицательное («Некоторые S_- не суть P₊») Прим: «Некоторые люди не имеют черного цвета кожи»

Классификация по количеству ---общие - это суждения, которые справедливы относительно всего объема понятия. Прим: «Все растения живут» Все S суть P ---частные - это суждения, которые справедливы относительно части объема понятия. Прим: «Некоторые растения суть хвойные» Некоторые S суть P. а) Единичные суждения – «Гуттенберг – изобретатель книгопечатания». б) Индивидуальные суждения – относятся ко всему объему понятия. Классификация по отношению:

Категорические – S есть P в котором сказуемое утверждается относительно субъекта без ограничений во времени, в пространстве или обстоятельствах. т.е. безусловное. Прим: «Все люди смертны» Условные – Если А есть В, то С есть D когда сказуемое ограничивает отношение каким-либо условием. Прим: «Если дождь пойдет, то почва будет мокрая» Основание – (предыдущее) суждение, которое содержит условие Следствие - (последующее) суждение, которое содержит следствие Разделительные – 1) S есть или А, или В, или С; 2) или А, или В, или С есть Р когда в суждении остается место неопределенности Условно-разделительные суждения - Если А есть В, то С есть D или Е есть F; если есть А, то есть а, или b, или с Прим: « Если кто желает получить высшее образование, то он должен учиться или в университете, или в институте, или в академии»

Классификация по модальности

Проблематическая – S вероятно есть Р возможность Прим: «Илиада есть вероятно продукт коллективного творчества» (Выставляется просто, как известное предложение). Ассерторическая - S есть P действительность Прим: «Киев стоит на Днепре» Аподиктическая - S необходимо должно быть P необходимость Прим: «Две прямые линии не могут замыкать пространства»

Виды суждений

Суждения тождества – понятия субъекта и предиката имеют один и тот же объем. Прим: «всякий равносторонний треугольник есть равноугольный треугольник» Суждения подчинения – понятия с менее широким объемом подчиняется понятию с более широким объемом. Прим: «Собака есть домашнее животное» Суждения отношения - именно пространства, времени, отношения. Прим: «Дом находится на улице»

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

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

Отношение между подлежащим и сказуемым

Субъект и предикат суждения могут быть распределены (индекс _"+") или не распределены (индекс _"-"). Распределено - когда в суждении подлежащее (S) и сказуемое (P) берется в полном объеме Не распределено - когда в суждении подлежащее (S) и сказуемое (P) берется не в полном объеме Суждения А (обще-утвердительные суждения) Распределяет свое подлежащее (S), но не распределяет свое сказуемое (P) Объем подлежащего (S) меньше объема сказуемого (Р) Прим.: «Все рыбы суть позвоночные» Объемы подлежащего и сказуемого совпадают Прим.: «Все квадраты суть параллелограммы с равными сторонами и равными углами» Суждения Е (обще-отрицательные суждения) Распределяет как подлежащее (S), так и сказуемое (P) В этом суждении мы отрицаем всякое совпадение между подлежащим и сказуемым/ Прим.: «Ни одно насекомое не есть позвоночное» Суждения I (частно-утвердительные суждения) Ни подлежащие (S), ни сказуемые (P) не распределены Часть класса подлежащего входит в класс сказуемого. Прим.: «Некоторые книги полезны» Прим.: «Некоторые животные сут Позвоночные» Суждения О (частно-отрицательные суждения) Распределяет свое сказуемое (Р), но не распределяет свое подлежащее (S) В этих суждениях мы обращаем внимание на то, что есть несовпадающего между ними (заштрихованная область) Прим.: «Некоторые животные не суть позвоночные (S)» Прим.: «Некоторые змеи не имеют ядовитых зубов (S)»

27. Логические отношения между суждениями (по способу логического квадрата). Помимо всего прочего, суждения делятся на сравнимые, имеющие общий субъект или предикат и несравнимые, не имеющие между собой ничего общего. В свою очередь, сравнимые делятся на совместимые, полностью или частично выражающие одну и ту же мысль и, несовместимые, если из истинности одного из них необходимо следует ложность другого (при сопоставлении таких суждений нарушается закон непротиворечия). Отношение по истинности между суждениями, сравнимыми через субъекты отображается логическим квадратом.

Логический квадрат лежит в основе всех умозаключений и представляет собой сочетание символов A, I, E, O означающих определенный тип категорических высказываний. A – Общеутвердительные: Все S являются P. I – Частноутвердительные: По крайней мере, некоторые S являются P. E – Общеотрицательные: Все (ни одни) S не являются P. O – Частноотрицательные: По крайней мере, некоторые S не являются P. Из них общеутвердительные и общеотрицательные являются подчиняющими, а частноутвердительные и частноотрицательные – подчиненными.

28. Модальность суждений. Модальность - это явно или неявно выраженная в суждении дополнительная информация о логическом или фактическом статусе суждения, о регулятивных, оценочных, временных и других его характеристиках. Модальные оценки выражаются словами: необходимо, возможно, вероятно, доказано, обязательно и т. д. структура простых модальных суждений такая: M(S есть P) или M(S не есть P). Где M обозначает модальный оператор (модальное понятие). Модальными могут быть и сложные суждения если a и b-простые суждения, то из сложных ассерторических суждений: A^b, можно получить сложное модальное суждение M (a^b) и т.д. Модальными простыми суждениями называют простые суждения, выражающие характер связи между субъектом и предикатом с помощью модальных операторов (модальных понятий). Модальными сложными суждениями называют сложные суждения, выражающие характер связи между составляющими их простыми суждениями с помощью модальных операторов (модальных понятий). Наиболее важными и распространенными выступают такие виды модальности, как алетическая, деонтическая, эпистемическая и аксиологическая. 1. Алетическая модальность выражает характер связи между мыслимыми предметами, а следовательно, между субъектом и предикатом суждения. Модальными словами в русском языке, в этом случае, являются «возможно», «случайно» и их синонимы. С точки зрения алетической модальности различают следующие разновидности суждений: - ассерторические суждения или суждения о реальном факте. Например: «В России действительно осуществляется реформирование Вооруженных Сил». В таких суждениях модальность не выражена, констатируется лишь сам факт чего-либо; - проблематические суждения или суждения о возможности чего-либо. Например: «В России может быть осуществлено реформирование Вооруженных Сил»; - аподиктические суждения или суждения о необходимости чего-либо. Например: «В России необходимо осуществить реформирование Вооруженных Сил». 2. Деонтическая модальность распространяется только на деятельность людей, нравственные и правовые нормы их поведения в обществе. Она выражается с помощью таких слов, как «разрешается», «запрещается», «обязательно» и т. п. В зависимости от характера норм деонтическая модальность имеет следующие разновидности: - суждения о наличии (или отсутствии) какого-либо права. Они формируются с помощью слов «разрешено», «запрещено», «вправе» и других. Например: «Каждый имеет право на свободу и личную неприкосновенность» (правопредоставляющая норма) и «Запрещаются любые формы ограничения прав граждан при вступлении в брак и в семейные отношения по признакам социальной, расовой, национальной, языковой или религиозной принадлежности» (правозапрещающая норма); - суждения о наличии (или отсутствии) какой либо обязанности. Они формулируются посредством слов «обязан», «должен», «необходимо» и др. Например: «Признание, соблюдение и защита прав и свобод человека и гражданина — обязанность государства». 3. Эпистемическая модальность характеризует степень достоверности знания. Она выражается с помощью слов «доказано», «недоказуемо», «опровергнуто» и им подобных. Выделяют две разновидности эпистемической модальности: - суждения, основанные на вере. Например: «Верю в наступление лучшей жизни»; - суждения, основанные на знании. Например: «По показаниям свидетелей Николаев не участвовал в похищении материальных ценностей». 4. Аксиологическая модальность выражает отношение человека к материальным и духовным ценностям. Она включает такие слова, как «хорошо», «плохо» и т. п. Например: «Безразличное отношение к государственному имуществу приводит к его утрате» или «Хорошо, что я не опоздал на занятия в институт». Классификация суждений: Модальные суждения: Простые суждения: 1. Отрицательные суждения Частноотрицательные модальные суждения M(некоторые S не есть P). Общеотрицательные модальные суждения M (ни одно S не есть P) 2. Утвердительные модальные суждения: Частноутвердительное M(некоторые S есть P). Общеутвердительное M(все S есть P) Cложные суждения: 1. эквивалентные модальные суждения 2. Условные модальные суждения 3. Дизъюнктивные модальные суждения 4. Конъюнктивные модальные суждения

Суждения A и E противопоставлены друг другу; Суждения I и O противоположны; Суждения, расположенные по диагонали – противоречивы. +Противоречивые и противопоставленные суждения ни в коем случае не могут быть одновременно истинными. Противоположные суждения могут быть или не быть одновременно истинными, но, по крайней мере, истинным должно быть одно из них. +Закон транзитивности обобщает логический квадрат, становясь основой всех непосредственных умозаключений и, определяет что, из истинности подчиняющих суждений логически следует истинность суждений им подчиненных и ложность противоположных подчиненных суждений.

Несравнимыми среди простых являются суждения, имеющие различные субъекты или предикаты. Таковы, например, два суждения: «Среди космонавтов есть летчики»; «Среди космонавтов есть женщины».

Сравнимыми являются суждения с одинаковыми субъектами и предикатами и различающиеся связкой или квантором. Обычно их называют суждениями одинаковой материи. Например: «Все американские индейцы живут в резервациях»; «Некоторые американские индейцы не живут в резервациях».Отношения между простыми суждениями обычно рассматриваются с помощью мнемонической схемы, называемой логическим квадратом. Его вершины символизируют простые категорические суждения — А, Е, I, О; стороны и диагонали — отношения между суждениями. А — общеутв, Е — общеотр, I — Частноутв, О — частноотр. Логический квадрат: верхняя сторона-противоположность;нижняя-субконтрарность(частич. совместим);правая и левая-подчинение;диагонали-противоречие.

Среди сравнимых различают совместимые и несовместимые суждения.

К совместимым относятся суждения, которые одновременно могут быть истинными. Различают три вида совместимости: 1) эквивалентность (полная совместимость), 2) частичная совместимость (субконтрарность) и 3) подчинение.

1. Эквивалентными являются такие суждения, которые имеют одинаковые логические характеристики: одинаковые субъекты и предикаты, однотипную — утвердительную или отрицательную — связку, одну и ту же выраженную квантором количественную характеристику. С помощью логического квадрата отношения между простыми эквивалентными суждениями не иллюстрируются. (Юрий Гагарин – первый космонавт и Ю. Гагарин первый полетел в космос)

2. Частичная совместимость характерна для суждений I u О, которые могут быть одновременно истинными, но не могут быть одновременно ложными. («Некоторые свидетели дают истинные показания» и «Некоторые свидетели не дают истинных показаний»)

3. Подчинение имеет место между суждениями А и I, Е и О. Для них характерны следующие две зависимости.

При истинности общего суждения частное всегда будет истинным(«Все учащиеся нашей группы — спортсмены».и «Некоторые учащиеся нашей группы — спортсмены»)

При ложности частного суждения общее суждение также будет ложным

Отношение несовместимости.

Несовместимыми являются суждения А и Е, А и О, Е и I, которые одновременно не могут быть истинными. Различают два вида несовместимости: противоположность и противоречие.

1. Противоположными (контрарными) являются суждения А и Е, которые одновременно не могут быть истинными, но могут быть одновременно ложными.( эта стена белая и эта стена черная)

2. Противоречащими (контрадикторными) являются суждения А и О, Е и I, которые одновременно не могут быть ни истинными, ни ложными. ( «Некоторые летчики — космонавты», «Ни один летчик не является космонавтом»). Несовместимые единичные суждения могут находиться лишь в отношении противоречия и не могут находиться в отношении противоположности, ибо каждому отдельному предмету может быть либо присущ, либо не присущ определенный признак.

29. Суждение и вопрос. Логическая характеристика вопроса. Виды вопросов. Вопрос в логике играет особенно большую роль, так как все познание мира начинается с вопроса, с постановки проблемы. Вопросы задаются с целью получения некоторой информации, уже имеющейся у других людей, с целью выявления чьего-то личного мнения или с целью обучения. Велика роль вопросов в процессе социологических исследований, проводимых в форме интервью, анкетирования, при массовом или выборочном опросе. Велика роль правильной, однозначной постановки вопросов в судебно-следственной практике. Вопросы формулируются вопросительными предложениями, которые не выражают суждений и, следовательно, не являются истинными или ложными. Всякий вопрос включает в себя, во-первых, исходную информацию о мире, которая называется базисом, или предпосылкой вопроса, и во-вторых, указание на ее недостаточность и необходимость дальнейшего дополнения и углубления знаний. Вопрос –это логическая форма, включающая в себя исходную или базисную, информацию с одновременным указанием на ее недостаточность с целью получения новой информации в виде ответа. Виды вопросов: Обычно различают два вида (типа) вопросов: 1. Тип – уточняющие (определенные, прямые, или «ли»-вопросы). Например: «верно ли, что земля круглая?» И т.д. Во всех вопросах присутствует частица «ли» верно ли, действительно ли, и т.д. Уточняющие вопросы могут быть простыми или сложными. Простые в свою очередь делятся на условные и безусловные. «верно ли, что космонавты побывали в открытом космосе?» - простой безусловный вопрос. «Верно ли, что если повысить температуру металла до точки плавления, то он перейдет в жидкое состояние?» - простой условный вопрос. Сложные вопросы (как сложные суждения) делятся на вопросы конъюнктивные (соединительные), дизъюнктивные (разделительные), включающие в себя строгую или не строгую дизъюнкцию. Каждый сложный вопрос можно разбить на два или несколько простых. 2. Тип – восполняющие (неопределенные, прямые или «К»- вопросы). Эти вопросы содержат вопросительные слова: «где?», «когда?», «почему?», и др. эти вопросы также делятся на сложные и простые. Например: «что означает слово спонсор?»- простой вопрос. Сложные восполняющие вопросы можно разбить на два или несколько простых восполняющих вопроса. Например «Кто является автором романа «красное и черное» и романа «Пармская обитель»?» Вопросы можно сгруппировать по разным основаниям. Рассмотрим основные виды вопросов, к которым чаще всего обращаются в правовой сфере. 1.    По степени выраженности знания в тексте вопросы могут быть явными и скрытыми. Явный вопрос выражается в языке полностью вместе со своими предпосылками и требованием установить неизвестное. Например, «Когда состоится судебное заседание по делу N?». Скрытый вопрос выражается лишь своими предпосылками, а требование устранить неизвестное восстанавливается после осмысления предпосылок вопроса. Например, прочитав текст: «Все больше рядовых граждан становятся собственниками акций, и рано или поздно приходит день, когда появляется желание их продать», мы не обнаружим здесь явно сформулированных вопросов. Однако при осмыслении прочитанного может возникнуть желание спросить: «Что такое акция?», «Почему их надо продавать?», «Как правильно продать акции?» и т.д. Текст, таким образом, содержит скрытые вопросы. 2.    По своей структуре вопросы подразделяются на простые и сложные. Простой вопрос структурно предполагает только одно суждение. Он не может быть расчленен на элементарные вопросы. Сложный вопрос образуется из простых с помощью логических союзов «и», «или, «если, то» и др. Например, «Кто из присутствующих опознал преступника, и как он на это отреагировал?». Отвечая на сложный вопрос, предпочтительно разбить его на простые вопросы. Вопрос типа: «Если будет хорошая погода, то мы поедем на экскурсию?» - не относится к сложным вопросам, так как его нельзя разбить на два самостоятельных простых вопроса. Это пример простого вопроса. Смысл союзов, образующих сложные вопросы, таким образом, не тождественен смыслу соответствующих логических союзов, при помощи которых образуются сложные истинные или ложные суждения из простых истинных или ложных суждений. Вопросы не бывают истинными или ложными. Они могут быть правильными или неправильными. 3.    По способу запроса неизвестного знания различают уточняющие и восполняющие вопросы. Уточняющие вопросы (или «ли»-вопросы) направлены на выявление истинности выраженных в них суждений. Во всех этих вопросах присутствует частица «ли», включенная в словосочетания «верно ли», «действительно ли», «надо ли» и т.д. Например, «Верно ли, что Семенов успешно защитил дипломную работу?», «Действительно ли в Москве больше жителей, чем в Париже?», «Верно ли, что если он сдаст все экзамены на «отлично», то получит повышенную стипендию?» и др. Восполняющие вопросы (или «к»-вопросы) предназначены для выявления новых свойств у исследуемого объекта, для получения новой информации. Грамматический признак - вопросительное слово типа «Кто?», «Что?», «Почему?», «Когда?», «Где?» и т.п. Например, «Как заключить договор на оказание брокерских услуг?», «Когда было совершено это дорожно-транспортное происшествие?», «Что означает слово «спонсор»?» и др. Следует отметить, что вопросительные местоимения и наречия не всегда верно передают исходный смысл вопроса, точно и однозначно устанавливая границы неизвестной его области. А это, как правило, отрицательно сказывается на понимании вопроса. Возьмем такой пример: «Какие города расположены на Волге?». Такая постановка может предполагать совершенно различные области неизвестного: крупные города; красивые города; города центрального и областного подчинения; просто города  –  Нижний Новгород, Казань, Ульяновск, Самара и т. д. Поэтому тот, кто ставит восполняющий вопрос, всегда должен быть готов  –   в соответствии с требованиями адресата  –   к его коррекции. 4.    По количеству возможных на них ответов вопросы бывают открытые и закрытые. Открытый вопрос - это вопрос, на который существует неопределенное множество ответов. Закрытым называется вопрос, на который имеется конечное, чаще всего достаточно ограниченное количество ответов. Эти вопросы широко используются в судебной и следственной практике, в социологических исследованиях. Например, вопрос «Как читает лекции этот преподаватель?» - открытый вопрос, так как на него можно дать множество ответов. Его можно перестроить с тем, чтобы «закрыть»: «Как читает лекции этот преподаватель (хорошо, удовлетворительно, плохо)?». 5.    По отношению к познавательной цели вопросы могут быть подразделены на узловые и наводящие. Вопрос является узловым, если верный ответ на него служит непосредственно достижению цели. Вопрос является наводящим, если верный ответ каким-то образом подготавливает или приближает человека к пониманию узлового вопроса, которое, как правило, оказывается зависящим от освещения наводящих вопросов. Так, среди правил предъявления изобличающих доказательств в ходе допроса находим   –   постановка допрашиваемому наводящих вопросов: следователь, зная, что не получит правильного ответа на узловой вопрос, задает ряд других, менее «опасных» с позиции допрашиваемого вопросов, ответы на которые помогут найти ответ на основной интересующий его вопрос. При этом следует заметить, что четкой границы между узловыми и наводящими вопросами не существует. 6. По правильности постановки вопросы делятся на корректные и некорректные. Корректный (от лат. correctus  –   вежливый, тактичный, учтивый) вопрос  –   это вопрос, предпосылкой которого является истинное и непротиворечивое знание. Некорректный вопрос основан на предпосылке ложного или противоречащего суждений, или суждения, смысл которого не определен. Различают два вида логически некорректных вопросов: тривиально некорректные и нетривиально некорректные (от лат. trivialis  –   избитый, пошлый, лишенный свежести и оригинальности). Вопрос является тривиально некорректным, или бессмысленным, если он выражается предложением, содержащим неясные (неопределенные) слова или словосочетания. Примером может служить следующий вопрос: «Приводят ли критическое метафизирование абстракциями и дискредитация тенденции церебрального субъективизма к игнорированию системы парадоксальных иллюзий?».    В процессе общения могут возникать ситуации, когда задаются во¬просы, вообще-то являющиеся корректными, но воспринимаемые в качестве тривиально некорректных из-за того, что в их формулировках содержатся выражения, неизвестные данным лицам или данной аудитории или неправильно понимаемые. В таких случаях нужно или пояснить неизвестные или неправильно понимаемые выражения, или заменить известными.     Вопрос называется нетривиально некорректным, если его предпосылкой является ложное утверждение. На такой вопрос нельзя дать истинного ответа. Например, рассказывают, что английский король Карл II (17 век) задал в Королевском обществе такой вопрос: «Почему мертвая рыба не увеличивает, а живая увеличивает вес сосуда с водой?». Это был провокационный вопрос. Он сознательно основывался на ложной предпосылке и предполагал согласие с тем, что мертвая рыба не увеличивает, а живая увеличивает вес сосуда с водой.    Если в основе поставленного вопроса лежит простое незнание спрашивающего о ложности базиса, то вопрос просто некорректен. Если же спрашивающий знает о ложности базиса вопроса и задает вопрос с целью провокации, запутывая своего оппонента, то такой вопрос называют провокационным, а его постановка есть софистический прием. Посредством провокационных вопросов иногда ставят в затруднительное положение логически не подготовленных людей. Так, в ходе дискуссии о гуманизации уголовных наказаний противникам отмены смертной казни задавались вопросы: «Вы за неотвратимость наказаний или за их ужесточение?», «Вы лично сейчас, здесь, готовы привести в исполнение смертный приговор?». На эти вопросы не было получено ответов. А как следует отвечать на такие вопросы? Отвечая на первый вопрос, нужно отметить, что вопрос является некорректным, провокационным, поскольку его предпосылка «Человек должен выступать или за неотвратимость наказания, или за ужесточение наказания» является ложным утверждением. Затем целесообразно предложить поправить вопрос  –   «разбить» его на два вопроса: «Вы за неотвратимость наказания или против неотвратимости?», «Вы за смягчение наказания или за ужесточение, или за то, чтобы оставить действующие меры наказания?». При ответе на второй вопрос нужно сказать, что он также является провокационным, и указать предпосылку: «Если человек не исключает смертной казни в качестве высшей меры наказания, то он должен быть готов привести такой приговор в исполнение в любое время, в любом месте». Эта предпосылка является ложной.    В юриспруденции вопросы классифицируются и по другим основаниям. Например, в криминалистической тактике важное значение имеют дополняющие, уточняющие, напоминающие, контрольные и изобличающие вопросы, которые, в случае необходимости, могут быть поставлены допрашиваемому на соответствующей стадии допроса. Дополняющими называются вопросы, которые задаются, когда полученные показания недостаточно полны. Уточняющие  –   это вопросы, которые задаются, если полученные показания недостаточно конкретны. Напоминающие вопросы - это вопросы о фактах, предшествующих, сопутствующих забытым, сходных или контрастирующих с ними, либо последующих. Контрольными являются вопросы об объективных и субъективных факторах, влияющих на процесс формирования показаний допрашиваемого (отдаленности, наличии или отсутствии преград, дефектов органов зрения, слуха, источниках, из которых допрашиваемому стали известны сообщаемые им сведения и т. п.). Изобличающие - это вопросы, с помощью которых разоблачается ложь, преодолеваются запирательство, провокации, круговая порука лиц, заинтересованных в сокрытии истины. Указанные виды вопросов ставятся в целях восполнения, проверки и критической оценки полноты и достоверности полученных сведений.

30. Вопрос и ответ. Виды ответов. Вопросно-ответные ситуации на практике. Ответ - это суждение, вызванное вопросом. Основными функциями ответа являются: а) уменьшение неопределенности, заключенной в вопросе, или б) указание на неправильную постановку вопроса. При этом один и тот же вопрос может иметь много разных ответов, не равнозначных по своим логико-информационным характеристикам. Отсюда различают следующие виды ответов. 1. По области поиска ответы делятся на прямые и косвенные. Прямым называется ответ, который берется непосредственно из области поиска ответов, без дополнительных сведений или рассуждений. Косвенный ответ берется из более широкой области, нежели область поиска ответов, он связан с прямым ответом некоторым логическим отношением по истинности. Например, на вопрос: «Совершал ли гражданин Кузин данное преступление?» можно ответить: «В то время, когда было совершено преступление, гражданин Кузин вместе со своей семьей находился в другом городе в гостях у родственников». Этот ответ является косвенным. Он, как и схема его построения, то есть его основа, не содержится под вопросительным знаком, однако из  него логически следует прямой ответ: «Гражданин Кузин данное преступление не совершал». По сравнению с прямым косвенный ответ нередко содержит дополнительные сведения и потому используется для всестороннего рассмотрения вопроса. 2. По объему информации различают полные и частичные ответы. Полный ответ без остатка устраняет сообщаемую вопросом неопределенность и делает неизвестное известным. Им является всякий прямой ответ, а также всякое непротиворечивое суждение, из которого следует прямой ответ. Истинный полный ответ называется исчерпывающим. Таким образом, всякий исчерпывающий ответ является полным, но не наоборот. Частичный ответ только в некоторой степени устраняет сообщаемую вопросом неопределенность и приближает превращение неизвестного в известное. Им является всякое суждение, вытекающее в качестве следствия из прямого ответа на основе принятых положений, но не наоборот. Например, на вопрос «Готово ли правительство твердо взять власть в свои руки и осуществить экономическую реформу?» депутат ответил: «Правительство не может осуществить экономическую реформу, так как не разработана ее концеп-ция». Ответ частичный: нет ответа на первую часть вопроса. Кроме этого, по отношению к вопросу различают ответы по существу вопроса и ответы не по существу вопроса, когда ответ на поставленный вопрос подменяется рассуждением, логически с вопросом не связанным. По степени точности ответы могут быть определенными и неопределенными, по грамматической структуре  –   краткими и развернутыми, по семантической характеристике — истинными или ложными. Знание правил постановки вопроса и его связей с ответом позволяют сформулировать следующие правила выражения ответа: 1)    Ответ должен быть ясным, однозначным и кратким. Это во многом зависит от того, как отвечающий понимает вопрос и хочет ли он на него давать ответ. При несоблюдении этого правила смысл ответа уловить трудно, как например, в следующем примере: «Старик перед этим, после того, как его напарник ранил парня, тоже выстрелил вверх кажется два раза. Парень, которого ранил второй сторож в то время, когда в него выстрелил второй сторож, бежал по соседнему огороду прямо на второго сторожа наперерез ему»; 2)    Ответ должен уменьшать неопределенность вопроса, быть информативнее его. Многие споры и дискуссии бесплодны в силу отступления от этого правила. «Толкут воду в ступе», - говорят в таких случаях; 3)    При некорректной постановке вопроса ответ должен содержать и указание на эту некорректность. В одних случаях достаточно сказать, что в таком-то пункте вопрос не ясен и требует уточнения. В других  –   что вопрос не заслуживает обсуждения, поскольку он окончательно решен и ответ известен. В третьих  –   что требовать ответа пока преждевременно, поскольку вопрос неразрешим в силу недостатка каких-то данных, отсутствия подходящих методов решения и т. д. Особого внимания заслуживают вопросы, источник некорректности которых - ложность их предпосылок. Единственно возможный способ отвечать на такие вопросы - отвергать эти ложные предпосылки; 4) Ответ не должен формулироваться в виде вопросительного предложения, так как это будет уже новый вопрос. Например  –  звонок по телефону: –      Куда я попал? –      А куда вы целились?    Таким образом, вопросно-ответный комплекс играет важную роль в процессе познания правовой действительности. Поэтому юристу нужно знать логическую сущность вопросов и ответов, их виды, правила постановки вопросов, чтобы корректно их задавать и отвечать на них, различая уловки, которые могут применить собеседники по незнанию или преднамеренно.

Ответ-это суждение или высказывание,субъектом которого явл. смысловое понятие предпосылки вопроса.Правильный ответ-по содержанию ясный,понятный,истинный; по форме-достаточный,исчерпывающий,краткий. Виды ответов. По отношению к действительности: ответы могут быть истинными и ложными.По способу выражения информации: Прямые и косвенные ответы. Прямым называется ответ, взятый непосредственно из области поиска ответов, при конструировании которого не прибегают к дополнительным сведениям и рассуждениям. Косвенным называется ответ, который берут из более широкой области и из которого лишь выводным путем можно получить прямой ответ. По грамматической форме: краткие и развернутые. Краткие - это односложные – утвердит. и отрицат. ответы:“да” или “нет”. Развернутые - это ответы, в каждом из которых повторяются все элементы вопроса. По объему представленной в ответе информации: полные и неполные. Полный ответ включает информацию по всем элементам или составным частям вопроса. Неполный ответ включает информацию относительно лишь отдельных элементов или составных частей вопроса.

Неопределенность в ответах может быть результатом неясности используемых при постановке вопроса понятий. Точность ответа на восполняющий вопрос зависит от степени определенности вопросительных слов - кто? что? где? когда? как? и т.п., которые сами по себе не отличаются достаточной точностью. В вопросе “Кто изобрел телефон?” под словом “кто” имеется в виду личность, но неясно, по какому признаку она должна быть выделена: по национальной принадлежности, по профессии, по возрасту, по имени и т.д. Особые трудности могут возникать при ответах на сложные вопросы. Например, на конъюнктивный вопрос - “Является ли Ричард Вагнер французским композитором и автором оперы “Лоэнгрин?” краткий отрицательный ответ будет неопределенным. Неопределенность в ответе возникает в случае краткого утверждения на дизъюнктивный вопрос. Например, если на вопрос “Курение вредно или аморально?” ответить “Да”, то не ясно, что имеется в виду:- Курение и вредно и аморально; - Курение вредно, но не аморально;- Курение не вредно, но аморально.

31?

32 Закон тождества.

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

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

33 Закон непротиворечия.

Этот закон требует не допущения, а устранения противоречий, если они возникают в рассуждении. Поэтому его следует называть законом недопущения противоречий. Самая краткая и первая формулировка этого закона принадлежит Аристотелю: «невозможно что либо вместе утверждать и отрицать». В развернутой форме его можно выразить след. образом: Если в одном суждении утверждается нечто, а именно, А есть В, а в другом это нечто отрицается: А не есть В, то такие суждения не могут быть одновременно истинными. Поэтому суждения А есть В и А не есть В образуют логическое противоречие. Закон непротиворечия требует согласованности элементов мысли в процессе рассуждения, поэтому он рассматривает противоречие как недопустимую ошибку, разрушающую весь строй мышления. При применении закона недопущения противоречия следует различать суждения контрадикторные, или противоположные, и контрарные, или противоречащие. Пример: Летом заяц серый, зимой белый. “Луна-спутник Земли” и “Луна не является спутником Земли”.

34 Закон исключенного третьего.Если закон непротиворечия утверждает, что два противоречащих суждения не могут быть истинными, то закон исключения третьего требует, чтобы одно из этих суждений было истинным, а другое – ложным. Никакой третьей возможности не допускается. Этот закон просто требует, чтобы одно из суждений было истинным, а другое ложным (никакого третьего не дано). Пример: «Каждому гражданину Российской Федерации гарантируется право на получение квалифицированной юридической помощи» истинно, то суждение «Некоторым гражданам Российской Федерации не гарантируется право на получение квалифицированной юридической помощи» ложно. Этот закон можно записать с помощью дизъюнкции: р v 1 p, где р — любое высказывание, 1 р — отрицание высказывания р.

35 Закон достаточного основания.

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

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

37 Непосредственные умозаключения и их виды.1. Превращение.Преобразование суждения в суждение,

противоположное по ка¬честву с предикатом, противоречащим предикату исходного суж¬дения, называется превращением.

(утвердит. суждение перех. в отриц.)Превращать можно общеутв, общеотр, частноутв и частноотр суждения.

Общеутв суждение (А) превращается в общеотри¬ц (Е).

Схема превращения суждения А:Все S суть Р Ни одно S не есть не-Р.Общеотриц суждение (Е) превращается в общеутв (А). Схема превращения суждения Е:

Ни одно S не есть Р Все S суть не-Р.Частноутв суждение (I) превращается в частноотр (О). Схема превращения суждения I:Некоторые S суть Р Некоторые

S не суть не-Р.

Частноотр суждение (О) превращается в частноутв (I). Схема превращения суждения О:Некоторые S не суть Р Некоторые S суть не-Р.Т.о, чтобы превратить

суждение, нужно заменить его связку на противоположную, а предикат — на понятие, противоре¬чащее предикату исходного суждения. Суждение, полученное

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

Преобразование суждения, в результате которого субъект ис¬ходного суждения становится предикатом, а предикат — субъек¬том заключения, называется

обращением.Без ограничения обращаются общеотриц. и частноутвер.суждения.С огранич-общеутв.суждения. Из частноутв. нельзя сделать вывод путем обращения.

3. Противопоставление предикату.Преобразование суждения, в результате которого субъектом становится понятие, противоречащее предикату, а предика¬том —

субъект исходного суждения, называется противопостав¬лением предикату.

Значение умозаключений посредством противопоставления пре¬дикату состоит в том, что в них выясняется отношение предметов, не входящих в объём предиката,

к предметам, отражённым субъектом исходного суждения. Устанавливая отношения между этими предметами, мы уточняем наши знания, высказываем нечто новое,

что не было в явной форме выражено в исходном суждении.

38. Простой категорический силлогизм.Правила терминов и посылок.ПКС — это умозаключ об отношении двух крайних терминов на основании их отноше¬ния

к среднему термину. ПКС состоит из трех категорических суждений, два из которых являются посылками, а третье — заключением.

В отличие от терминов суждения — субъекта (S) и предиката (P) — понятия, входящие в состав силлогизма, называют термина¬ми силлогизма. Различают меньший,

больший и средний термины.

Меньшим термином силлогизма называется понятие, которое в заключении является субъектом. Большим термином силлогизма называется понятие, ко¬торое в заключении

является предикатом. Меньший и больший термины называются крайними и обозна¬чаются соответственно латинскими буквами S (меньш термин) и Р (больш термин).

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

посылка, в которую входит больший термин-большей посылкой(Обвиняемый имеет право на защиту,Гусев — обвиняемый “ЧЕРТА” Гусев имеет право на защиту. Посылки

различаются не их местом в силлогизме, а входящими в них терминами.Вывод в силлогизме был бы невозможен, если бы в нем не было среднего термина. Средним

термином силлогизма называется по¬нятие, входящее в обе посылки и отсутствующее в заключении. Средний термин обозначается латинской буквой М.

(Обвиняемый (М) имеет право на защиту (Р); Гусев (S) — обвиняемый (М) “ЧЕРТА” Гусев (S) имеет право на защиту (P).

Аксиоме силлогизма: все, что утверждается или отрицает¬ся относительно всех предметов некоторого класса, утверждает¬ся или отрицается относительно каждого

предмета и любой части предметов этого класса.

Правила терминов.1-е правило: в силлогизме должно быть только три термина;2-е правило: средний термин должен быть распределен хотя бы в одной из посылок.

Если средний термин не распределен ни в одной из посылок, то связь между крайними терминами остается неопреде¬ленной. 3-е правило: термин, не распределенный

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

Ошибка, связанная с нарушением правила распреде¬ленноcти крайних терминов, называется незаконным расширением меньшего (или большего) термина.Правила

посылок.1-е правило: хотя бы одна из посылок должна быть утверди¬тельным суждением. Из двух отрицательных посылок заключение с необходимостью не следует;

2-е правило: если одна из посылок — отрицательное суждение, то и заключение должно быть отрицательным.3-е правило: хотя бы одна из посылок должна быть

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

39. Фигуры и модусы категорического силлогизма.В посылках простого категорического силлогизма средний тер¬мин может занимать место субъекта

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

Во второй фигуре — место предиката в обеих посылках. В третьей фигуре — место субъекта в обеих посылках. В четвертой фигуре — место предиката в большей

и место субъ¬екта в меньшей посылке.

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

Разновидности силлогизма, различающиеся количественными и качественными характеристиками посылок, называются моду¬сами простого категорического силлогизма.

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

вместе с заключением: 1-я фигура: ААА, ЕАЕ,All, ЕЮ; 2-я фигура: ЕАЕ, АЕЕ,ЕЮ,АОО;

3-я фигура: AAI, IAI,All,EAO,ОАО, ЕЮ;4-я фигура: AAI, АЕЕ, IAI,EAO, ЕЮ;

(общеутв (А), общеотр (Е), частноутв (I) и частноотр (О).)

Каждая фигура имеет свои особые правила, которые выводятся из общих.

Правила 1-й фигуры: 1. Большая посылка — общее суждение.

2. Меньшая посылка — утвердительное суждение. 1-я фигура — наиболее типичная форма дедуктивного умозаклю¬чения. Все лица, лишенные свободы (М), имеют

право на гуманное обращение и уважение достоинства, присущего человеческой личности (Р) Иванов(S) лишен свободы (М); Иванов имеет право на на гуманное

обращение и уважение достоинства.Правила 2-й фигуры:1. Большая посылка — общее суждение.2. Одна из посылок — отрицательное суждение. 2-я фигура применяется,

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

лицо, склонившее другое лицо к совершению преступления (М) Петров (S) не признается лицом, склонившим другое лицо к совершению преступления (М) ;Петров(S) не

является подстрекателем (Р).Правила 3-й фигуры: 1. Меньшая посылка — утвердительное суждение.2. Заключение — частное суждение.

Давая только частные заключения, 3-я фигура применяется чаще всего для установления частичной совместимости признаков, отно¬сящихся к одному предмету. Осмотр

места происшествия (М) имеет одной из своих задачобнаружение следов преступления (Р);

Осмотр места происшествия (М) — следственное действие (S);Некоторые следственные действия (S) имеют одной из своих задач обнаружение следов преступления (Р). 4-я фигура силлогизма также имеет свои правила и модусы. Од¬нако выведение заключения из посылок по этой фигуре не характер¬но для естественного процесса

рассуждения. Захват заложника (Р) — преступление против общественной безопасности (М);

Преступление против общественной безопасности (М) — общественно опасное деяние, предусмотренное Особенной частью Уголовного кодекса (S);Некоторые общественно

опасные деяния,предусмотренные особ. частью УК (S) явл. захватом заложника (P)

40. Чисто условное умозаключение.Чисто условным называется умозаключение, обе посылки кото¬рого являются условными суждениями. Вывод в чисто условном

умозаключении основывается на прави¬ле: следствие следствия есть следствие основания.

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

которые образуют цепь услов¬ных суждений. Такие умозаключения называются сложными.Условно-категорическое умозакл.

Условно-категорич назыв умозаключ, в кото¬ром одна из посылок —условное, а другая посылка и заключение — категорические суждения.Это умозаключение имеет

два правильных модуса: 1) утверждаю¬щий и 2) отрицающий.1. В утверждающем модусе посылка, выражен¬ная категорическим суждением, утверждает истинность

основания условной посылки, а заключение утверждает истинность следствия;

рассуждение направлено от утверждения истинности основания к утверждению истинности следствия.

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

основания. Рассуж¬дение направлено от отрицания истинности следствия к отрица¬нию истинности основания. Разделительно-категорическое умозакл.

Разделительно-категорическим называется умозакл, в котором одна из посылок — разделительное, а другая посылка и заключение — категорические суждения.

Простые суждения, из которых состоит разделительное (ди¬зъюнктивное) суждение, называются членами дизъюнкции, или ди¬зъюнктами.

1. В утверждающе-отрицающем модусе меньшая посылка — категорическое суждение — утверждает один член дизъюнкции, заключение — также категорическое

сужде¬ние — отрицает другой ее член.

Заключение по этому модусу всегда достоверно, если соблюдает¬ся правило: большая посылка должна быть исключающе-раздели-тельным суждением, или суждением

строгой дизъюнкции. Если это правило не соблюдается, достоверного заключения получить нельзя.

2. В отрицающе-утверждающем модусе меньшая посылка отрицает один дизъюнкт, заключение утверждает другой. Заключение по этому модусу всегда достоверно,

если соблюдает¬ся правило: в большей посылке должны быть перечислены все воз¬можные суждения -— дизъюнкты, иначе говоря, большая посылка должна быть

полным (закрытым) дизъюнктивным высказывани¬ем. Применяя неполное (открытое) дизъюнктивное высказывание, достоверного заключения получить нельзя.

Условно-разделительное умозак.Умозакл, в котором одна посылка условное, а другая — разделительное суждения, называется условно-разделительным, или

лемматическим.Разделительное суждение может содержать 2, 3 и большее число альтернатив, поэтому лемматические умозаключения делятся на дилеммы

(две альтернативы), трилеммы (три альтернативы) и т.д.Различают два вида дилемм: кон¬структивную (созидательную) и деструктивную (разрушительную),

каждая из которых делится на простую и сложную.В простой конструктивной дилемме условная посылка содер¬жит два основания, из которых вытекает одно

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

условная посылка содер¬жит два основания и два следствия. Разделительная посылка утверж¬дает оба возможных следствия. В простой деструктивной дилемме

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

отри¬цает основание. В сложной деструктивной дилемме условная посылка содержит два основания и два следствия. Разделительная посылка отрицает оба

следствия, заключение отрицает оба основания.

41. Сокращенный силлогизм (энтимема) и его восстановление до полной формы.

Сокращенный силлогизм (энтимема). Простой категорический cиллоги́зм— рассуждение, состоящее из трёх простых атрибутивных высказываний: двух посылок и одного заключения.Силлогизм, в котором выражены все его части — обе посылки и заключение, называется полным. Однако на практике чаще используются силлогизмы, в которых одна из посылок или заключение явно не выражаются, а подразумеваются.Силлогизм с пропущенной посылкой или заключением называет¬ся сокращенным силлогизмом, или энтимемой. Широко используются энтимемы простого категорического силлогизма.Например: «Н. совер¬шил преступление и поэтому подлежит уголовной ответственности». Здесь пропущена большая посылка: «Лицо, совершившее преступ¬ление, подлежит уголовной ответственности». Она представляет собой общеизвестное положение, формулировать которое необяза¬тельно.Полный силлогизм строится по 1-й фигуре(средний термин занимает место субъекта в большей и место предиката в меньшей посылках):

Лицо, совершившее преступление (М), подлежит уголовной

ответственности (р)

Н. (s) совершил преступление (М)

Н. (s) подлежит уголовной ответственности (р)

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

В прогрессивном полисиллогизме заключение просиллогизма становится большей посылкой эписиллогизма. В регрессивном полисиллогизме заключение просиллогизма становится меньшей посылкой эписиллогизма. Особый вид сложного силлогизма – сорит.Сорит - полисиллогизм, в котором опущены промежуточные заключения и большие или меньшие посылки. Пример: Борьба за независимость - справедливая борьба;справедливая борьба ставит возвышенные цели;возвышенные цели вызывают самоотверженность масс;самоотверженность масс порождает массовый героизм.Следовательно, борьба за независимость порождает массовый героизм.Эпихейремой называется сложносокращенный силлогизм, обе посылки которого являются знтитемами. В составе каждой эпихейремы можно выделить три силлогизма: два посылочных и один составленный из заключений посылочных силлогизмов. Последний силлогизм лежит в основе окончательного вывода. Пример: Некоторые умышленные преступления особо опасны;т.к. они связаны с посягательством на жизнь граждан.Вооруженный грабеж - умышленное преступление,т.к. вооруженный грабеж совершается преднамеренно.Следовательно, вооруженный грабеж - особо опасное преступление. Чтобы проверить правильность выводов в эпихейреме, нужно проверить правильность всех трех силлогизмов. В эпихейреме находят основание не только вывод, но и каждая посылка. Таким образом, эпихейрема сближает умозаключение с доказательством.В зависимости от того, какая часть силлогизма пропущена, различают три вида энтимемы: с пропущенной большей посылкой,(Петров-судья.=>он юрист.Здесь пропущена, но подразумевается большая посылка: Все судьи-юристы); с про¬пущенной меньшей посылкой(Все судьи-юристы=>Петров-юрист.Предполагается что Петров-судья) и с пропущенным заключением.(Все судьи-юристы.Петров-судья.Предполагается,что следовательно он-юрист)Форму энтимемы принимают также умозаключения, посылками которых являются условные и разделительные суждения.Условно-категорический силлогизм с пропущенной большей по¬сылкой: «Уголовное дело не может быть возбуждено, так как собы¬тие преступления не имело места».Здесь пропущена большая посылка — условное суждение «Если событие преступления не имело места, то уголовное дело не может быть возбуждено». Она содержит известное положение Уголовно-процессуального кодекса, которое подразумевает Разделительно-категорический силлогизм с опущенной большей посылкой: «По данному делу не может быть вынесен оправдатель¬ный приговор, он должен быть обвинительным».

Большая посылка — разделительное суждение «По данному делу может быть вынесен либо оправдательный, либо обвинительный приговор» не формулируется.Разделительно-категорический силлогизм с опущенным заклю¬чением: «Смерть произошла либо в результате убийства, либо в результате самоубийства, либо в результате несчастного случая, либо в силу естественных причин. Смерть произошла в результате несчастного случая».

43. Понятие индуктивных умозаключений и их роль в научном познании.

Индуктивные умозаключения-определенный метод научного исследования,в котором на основании принадлежности признака отдельным предметам или частям некоторого класса делают вывод о его принадлежности классу в целом.(Пример: Лена течет с юга на север; Обь и Иртыш текут с юга на север. Енисей, Лена, Обь, Иртыш — крупные реки Сибири. Все крупные реки Сибири текут с юга на север).Структура: исходные суждения здесь, как и в дедукции,назыв. посылками.Здесь хар-ны единичные суждения,поскольку в них выражено знание об отдельных предметах.Суждение,выведенное логическим путем из исходных назыв. заключением(или выводом).По своему хар-ру оно главным образом общее.Логическим основанием вывода в индуктивном умозаключ. служит логическая связь между посылками и заключением,в кот. отражается объективная связь между отдельным и общим,причиной и следствием и т.д. и кот. делает возможным перенос знания с отдельных предметов на классы или с одних ,менее общих классов на другие, более общие.Основная фун-ия индуктивных выводов в процессе познания-генерализация,т.е. получение общих суждений.По своему содержанию и познавательному значению эти обобщения могут носить различный характер-от простейших обобщений повседневной практики до эмпирических обощений в науке или универсальных суждений,выражающих всеобщие законы.

44 Виды индукции.

Виды индукции.По объему: полная и неполная. По степени вероятности: популярная и научная.

Полная индукция-это умозаключ. в кот. общее заключение о всех элементах класса предметов делается на основании рассмотрения каждого элемента этого класса..Применяются в тех случаях,когда имеется дело с замкнутыми классами,в которых число элементов конечно и которые легко обозримы (число планет Солнечной системы,число гос-в в Европе).Схема: 1)S1 имеет признак P; S2 имеет признак P; Sn имеет признак P.2)S1,S2,…,Sn составляет класс K. Заключение: всем предметам класса K присущ признак P.

Неполная индукция-это умозакл,в кот. при повторяемости признаков у явлений определенного класса делают вывод о принадлежности этого признака всему классу явлений. Схема: 1)S1 имеет признак P; S2 имеет признак P; Sn имеет признак P.2)S1,S2,…,Sn составляет класс K. Заключение: классу K,по видимому, присущ признак P.Неполнота индуктивного обощения выражается в том,что исследуют не все, а лишь некоторые элементы или части класса.Широкое использование неполной индукции в практике(например-в производственных условиях по выборочным образцам заключают о качестве той или иной продукции)

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

Научная индукция- умозаключ, в котором обобщение строится

путем отбора необходимых и исключения случайных обстоятельств. В зависимости от способов исследования различают:индукцию методом отбора (селекции) и индукцию методом исключения. Индукция методом отбора, или селективная индукция, — это умозаключение, в котором вывод о принадлежности признака классу основывается на

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

45. Методы научной индукции.

Методы научной индукции:

1)метод сходства - устанавливается сходная причина для появления одного и того же признака у разных явлений.

2)метод различия - на основании сравнения только в 2-х случаях (когда данный признак возникает и не возникает)

3)метод сходства и различия - сравниваются 2 группы (в одной выясняются сходства, а в другой - различия).

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

5)метод остатков - причина интересующего признака устанавливается через исключение случаев, когда данный признак не возникает.

Оставшееся обстоятельство считается причиной появления признака

46. Статистические обобщения как вид индукции.

Статистические обобщения как вид индукции. Особым видом умозаключений неполной индукции являются статистические

обобщения, связанные с анализом массовых событий.

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

множество явлений этого рода.Статис. обобщ. дают нам вероятностное знание. 2 главных понятия: 1)генеральная совокупность (популяция).2)выборка (образец)

От выборки к генеральной совокупности мы идем если необходимо сделать: прогноз, результаты выборов,рейтинг,опрос населения.Вывод делается на основе анализа ответов определенной группы людей,сост. выборку из генеральной совокупности. Для большей надежности вывода, необходимо чтобы структура выборки отражала структуру генеральной совокупности. Схема умозаключения по статистич. обобщ: N% элементов образца обладают свойством P=> вероятно N % элементов генеральной совокупности обладают свойством P.

В отличие от индукции через перечисление при отсутствии противоречащего случая в посылках статистического умозак фиксируется следующая

информация: 1) общее число составляющих исследуемую группу, или образец случаев; 2) число случаев, в которых присутствует интересующий исследователя признак;3) частота появления интересующего признака.

47.Понятие и структура умозаключения по аналогии.

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

1) Аналогия предметов - умозаключение, в котором объектом уподобления выступают два сходных единичных предмета (а и б), а переносимым признаком - свойства этих предметов (П,Р,С,Т).

Схема аналогии:а присущи П,Р,С,Т

б присущи П,Р,С ; Заключение: б присуще Т.

2)Аналогия отношений - умозаключение, в котором объектом уподобления выступает сходные отношения (К1,К2) между двумя парами предметов (а и б, в и г), а переносимым признаком - свойство этих отношений (П,Р,С,Т).

Схема аналогии: 1)аК1б 2) К1 присущи П,Р,С,Т

вК2г К2 присущи П,Р,С; Заключение: по-видимому, К2 присуще Т.

Термины аналогии: 1) Образец, оригинал-объект с которого переносится свойство. 2) Модель-объект на который переносит. свойство. 3) Основание-признаки котор обладают оба термина аналогии.

48.Виды аналогий. Условия состоятельности выводов по аналогии.

Виды аналогии. По характеру уподобляемых объектов различают два вида аналогии: (1) аналогию предметов и (2) аналогию отношений.

(1) Аналогия предметов — умозаключение, в котором объектом уподобления выступают два сходных единичных предмета, а переносимым признаком — свойства этих предметов.

(2) Аналогия отношений — умозаключение, в котором объектом уподобления выступают сходные отношения между двумя парами предметов, а переносимым признаком — свойства этих отношений.