Шпоры по логике

Билет1

Логика  – наука о законах и формах правильного мышления

Объект форм. Логики – мышление (изучаем. Область действит.)

Её  предмет – законы и формы, приёмы и операц. Мышления с помощью котор. Чел. Позн. Окр. Мир.

Логика естественнго языка, все мысли выраж. В формулах.Абстрактное мышление – мыслен выдел некотор элемен множ-ва и отвлеч оот прочих Эл

Истин. Мышление – соотв дейст-ти (реал полож дел)

Правильн. Мышление – соотв. Законам логики. 

Билет2

Понятие – форма мышл в кот отраж предмет в их существен отличит признаках.

Структура – 1)содерж (совокупность признаков предмета котор мыслется в понятии) ; 2)объём (совокуп предметов котор мыслятся в понятии)

Уровни  познания

1)чувств : ощущ, восприят, представл.

2)рац/абстракт : понятие, сужд, умозак.

Образование при помощ :

а) анализа (мысл раздел на св-ва и призн)

б) сравнен (выявл общего и отлич)

в) абстрагир (отвлеч от св-в предм кроме 1 или нескол)

г) обобщение (объед в 1 мысли под 1 термин множ-во предм на основ сущ-го сходства). 

Билет3

Вид понятий

- по объему

Пустые (вечн двигатель)

Непустые:

- единич (гагарин)

-общие (космонавт) :

- регистрир (можно  подсчитать)

- нерегитр (бесконечность)

- по харак признак :

- полож (наличие  признак)

- отриц (отсутствие  –без,дис,а)

- соотносит (когда  1 предпол сущ-ние др. родители-дети)

- безотносит (все  остал)

- по характ. Объектов:

- конкрет (предмет,  явлен, процесс. гроза)

- собират (однород  совокупн. созвездие)

- разделит (предмет  как неразделит целое. студент)

- абстракт (св-ва  и отношен. Ум, дружба) 

Билет4

Отношения между понятиями

Отношения между объемом  и содержанием  понятий:

-несравнимые  (не имеют общ рода)

- сравнимые :

-совместимые(имеют  общ элем объемов):

а) равнозначность – в кружке А,В

б) подчинение –  круг В в нём А. В-род, А-вид

в) перекещение  – круги А и В пересек

-несовмест (не имеют):

1 соподчин –  круг в нём кружок А и  кружок В (А-груша,В-яблоко)

2 противопол  – круг в нём по бокам  овалы А и В, А- молод, В-стар

3 противореч  – круг разделен по полам  на А и А'. А-груша, А' –негруша 

Билет5

Обобщение понятий-переход от понят с меньшим V к понят с большим V (отбросить видов призн)

Огранич-переход  от понят с большим V к меньшим (добавить видовые признаки)

Ошибки:

а) неполное(не все  члены указаны)

б) скачки (переход  к ближ)

в) делен с  неполным членом

г) смешение оснований

д) члены не должны искл друг жруга 

Билет6 
 
 
 
 
 
 
 
 
 
 
 

Билет20

Для проверки правильности силлогизма по общим правилам требуется: (1) найти его термины (меньший, больший и средний); (2) определить виды суждений (А, Е, I, О), в которых выражены посылки и заключение; (3) определить распределенность терминов в них.

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

Ничто полезное не вызывает у меня скуки

----------------------------------------------------

Все книги –  полезны 

Ни одна книга  не вызывает у меня скуки 

Билет22

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

данное умозаключение  имеет две разновидности, т.е. два  модуса: (1) утверждающий и (2) отрицающий. 

Правильные формы  условно-категорического умозаключения

1. Утверждающий  модус. 

Схема: Если А, то В               Символически: ((А→В)А)→В

А  

В 

2. Отрицательный  модус

Схема: Если А, то В               Символически: ((А→В)~В)→ ~А

~ В  

~ А

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

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

Билет23

Разделительно-категорические умозаключения

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

Формы правильных модусов  разделительно-категорических заключений

утверждающе-отрицающий модус (лат. modus ponendo-tollens):  (требуется  строго разделительное суждение)

отрицающе-утверждающий модус (лат. modus tollendo-ponens):

правила :

1)  ((А→С)(В→С))(АВ)→  С 

(2)  ((А→С)(В→D))(АВ)→  (СD) 

(3)  ((А→В)(А→С))(~В~С)→  ~А 

(4)  ((А→С)(В→D))(~С~D)→  (~А~В) 
 
 
 
 
 

Диле́мма  (греч. δί-λημμα двойная лемма) — проблема, предполагающая минимум два решения или возможности, из которых ни одна не может быть принята; в таком случае одно такое решение или возможность называют «быть на рогах дилеммы» из-за неудобного расположения, а другое — «быть между скалой и жёстким местом» из-за того, что оба этих объекта неприятны (жёсткие) для выбора.

Конструктивные  дилеммы:

1. (Если X, тогда  Y) и (Если W, тогда Z).

2. X или W.

3. Следовательно, Y или Z.

Деструктивные дилеммы:

1. (Если X, тогда  Y) и (Если W, тогда Z).

2. Не Y или не Z.

3. Следовательно,  не X или не W 

Билет24

Энтимема (сокращенный силлогизм) (от греч. cлов en tyme - в уме) - это умозаключение, в котором опущена одна из посылок или заключение. В жизни мы опускаем в своих рассуждениях очевидные посылки, неявно их предполагая.

   Рассмотрим  механизм образования энтимем  

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

Курение – порок

----------------------------------------------

Курение заслуживает  наказания 

Полисиллогизм, умозаключение (рассуждение), представляющее собой конечную последовательность ("цепочку") силлогизмов, которая удовлетворяет некоторым определённым условиям. Важнейшее из этих условий состоит в том, что заключения предшествующих силлогизмов последовательности (т. н. просиллогизмов) служат посылками последующих силлогизмов (эписиллогизмов).СОРИ'Т-Сокращенный вид цепи силлогизмов, с пропуском посредствующих заключений и свыводом одного заключения из ряда посылок.

Эпихейрема - (от греч. epiheirema — умозаключение)  — сокращенный силлогизм, в котором обе посылки представляют собой энтимемы. Примером Э. может быть следующее рассуждение. Ложь заслуживает презрения, т. к. она безнравственна. Лесть есть ложь, т. к. она есть умышленное извращение истины. Лесть заслуживает презрения. 

Билет25

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

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

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

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