Шпаргалка по "Логике"

   1.

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

   2.

   Мышление  невозможно без языка (существенное, связанное с научным анализом причины оформляется в понятийной, словесно-логической форме). Язык – средство материализации мышления (оно идеально). (АйКю). Длительный процесс образования языка – многообразие и сложность (синонимы, омонимы). Язык – знаковая система, обеспечивающая знаковую и коммуникативную функцию мышления. В искусственном языке каждому слову придано одно единственное значение. Формализация простых высказываний привела к созданию исчисления высказываний. Сложные высказывания образуются из простых при помощи логических связок. (суждение в математической логике принято называть высказыванием). Логика предикатов (кванторная логика) является расширением лоники высказываний за счет двух кванторных символов (", $) – кванторы всеобщности, существования, соответствующие словам «все», «некоторые» естественного языка. 

   3.

   Основные  этапы развития логики: Аристотель (дедуктивная логика, «Органон», 4 вен до н.э., основный законы правильного мышления), Ф.Бэкон (1561 – 1626) («Новый органон» – манифест индуктивной логики, появление И.Л. ⇒ время экспериментов), Гегель (1770 – 1831) (диалектическая логика, познание мира с точки зрения динамики, текучести, познее ее применение было расширено), Дж. Буль (1815 – 1864) (математическая логика, логика по предмету и математика по методу, обсуждение проблем о возможной формализации мышления и его практического приложения). Последний этап – не классическая логика. 

   4.

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

   5.

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

   6.

   Структура=содержание (качественный пар.) + объем (количественный пар.). Содержание – совокупность существенных признаков в данном понятии, как отличительных так и общих. Объем – совокупность предметов мысли, обладающих одним содержанием (одними и теми же отличительными признаками). Виды понятий: по содержанию –конкретные и абстрактные, абсолютные и относительные, положительные и отрицательные, по объему – нулевые, единичные общие. Отношение между понятиями: по содержанию – сравнимые (тождественные или равнозначные, сходные или однородные, подчиненные) и несравнимые, по объему – совместимые (совпадать, пересекаться, включатся) и несовместимые (контрадикторные ( А, не-А), контрарные (А, Б…(С)), соподчиненные) 

   7.

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

   8.

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

   9.

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

   10.

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

   11.

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

   12.

    Между сравнимыми категорическими  суждениями – 4 вида логических отношений: подчинение, противоречие (контрадикторность), противоположность (контрарность), подпротивоположность (субконтрарность). Отношение между А и I, Е и О – подчинение (А и Е – подчиняющие): если истинно А – то истинно I…, Е и I, А и О – противоречие (О истинно – А ложно (и наоборот)) . 

   13.

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

   14.

   Логико-философская  классика античности в лице Сократа, Платона и Аристотеля придерживалась интерпретации диалога как вопросно-ответного  поиска истины, в котором участвуют  по крайней мере 2 собеседника (один из которых задает вопросы –«руководит диалогом»). Раздел современной логики, занимающийся анализом вопросно-ответной практики – Эротетическая логика. При определении вопроса – 2 подхода: лингвистический (вопрос – обращение, требующее ответа) и компьютерный (вопрос – запрос об информации). Вопрос – особая форма мысли (не является суждением). Традиционно вопрос выражается вопросительным предложением (но вопр. пред. не всегда – вопрос (риторический вопросы)), но иногда не вопросительным (экзаменационный/приглашение, побуждение, призыв, запрещение…). Правильный / неправильный вопрос:  (известные – когда, зачем, почему, о ком; не известн. – кто, что, какой, сколько). Правильность зависит от содержания, соответствию предпосылке (неправильные – паралогическими (некомпетентность) и софистическими (провокационные)). Функции вопроса – контролирующая, систематизирующая. критическая, психологическая (привлечение внимания). Виды вопросов – по полноте (узловые и наводящие), по значимости (главные и второстепенные), по составу (простые и сложные), по уровню (интеллекта) (простые и сложные), по конкретности (открытые (общие), закрытые (конкретные)). Ответ – это суждение или высказывание, субъектом которого является смысловое понятие предпосылки вопроса. Правильный ответ – по содержанию ясный, понятный, истинный; по форме – достаточный, исчерпывающий, краткий.  

   15.

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

   16.

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

   17.

   Ф называются четыре разновидности силлогизма, в зависимости от положения среднего термина в посылках. 1-я (М–Р, S–М). Модус – разновидности силлогизма, различающиеся качеством и колличеством посылок (всего правильных – 19 модусов). 1-я фигура (Barbara, Celarent, Darii, Ferio), вторая фигура (Cesare, Camestres, Festino, Baroco). Правила фигур силлогизма: правила 1 фигуры – большая посылка – суждение общее, меньшая посылка – суждение утвердительное; 2 фигуры – большая посылка – суждение общее, меньшая посылка – суждение отрицательное. 

   18.

   Энтимема (сокращенный сиологизм) – один из элементов структуры ПКС не выражен явно, а лишь подразумевается. Э – 3 вида: с пропушенной – большей посылкой, меньшей, заключением. Ошибки – ложное суждение, заключение. Полисиллогизм (сложный силлогизм) – несколько связанных по смыслу простых силлогизмов, в которых заключение предшествующего становится посылкой последующего. (Если заключение просиллогизма берется в качестве большей посылки, то такой силлогизм называется прогрессивным. (меньшей – регрессивный)). Сорит (сокращенный полисиллогизм) – пропущенны заключения простых силлогизмов (бывает прогрессивным и ренгессивным). Эпихейрема (сложносокращенный силлогизм) – обе посылки – энтимемы, в которых могут быть пропущенны как посылки, так и заключение. 

   19.

   Условный  силлогизм – в составе его  есть условное суждение (если А то В). (чисто условный (похож на 4ю фигуру (но в ней М – понятие, а тут – суждение) ⇒ (p⇒q, q⇒r, p⇒r),  условно-категорический (одна из посылок – условное суждение, другая – категорическое ⇒ модус поненс, толленс (отрицающий модус) – достоверные модусы /\/ правдоподобные модусы ⇒ “от отрицания основания к отрицанию следствия” ⇒”вероятно” + толленс (о ⇔ с), “от утверждения основания к утверждению следствия” ⇒ “вероятно” + поненс(о ⇔ с)). 

   20.

   Разделительный  – силлогизм, в составе которого есть разделительное (дизъюктивное) суждение. а) Если обе посылки и заключение – разделительные суждения, то такое умозаключение называется чисто разделительным силлогизмом (А есть В или С, С есть Д или Е, А есть В или Д или Е). б) разделительно-категорический (большая посылка – разделительное суждение) ⇒ имеет 2 правильных модуса: понендо-толленс (утвержд.-отриц.) ⇒ (С есть А, либо Б; С есть А; след. С не-есть Б), толлендо-поненс («––», С не-есть А, след. С есть Б).