Поняття про логічної формі і логічному законі.
Основні етапи розвитку логіки і її значення в пізнанні.
Поняття логічної форми.
Формальна логіка - наука про закони і форми правильного мислення.
Логічною формою конкретної думки є будова цієї думки, тобто спосіб зв'язку її складових частин.
Закон виключеного третього.
Закон достатньої підстави.
Виникнення і етапи розвитку формальної логіки
Створення символічної логіки
Становлення діалектичної логіки
Елементи діалектичної логіки поступово накопичувалися в працях наступних мислителів і особливо виразно проявилися в роботах Бекона, Гоббса, Декарта, Лейбніца.
Діалектична логіка почала оформлюватися лише в кінці 18 - початку 19вв.
Першим, хто спробував ввести діалектику в логіку, був німецький філософ І. Кант (1724 - 1804)
Грандіозну спробу виробити цілісну систему нової, діалектичної логіки, зробив інший німецький філософ - Г. Гегель (1770 - 1831). Він перш за все розкрив фундаментальне протиріччя між готівкою логічними теоріями і дійсною практикою мислення.
Предметом вивчення логіки є форми і закони правильного мислення. Мислення є функція людського мозку, яка нерозривно пов'язана з мовою.
Функції мови: зберігати інформацію, бути засобом вираження емоцій, бути засобом пізнання.
Мова може бути усній або письмовій, звуковий чи незвукових, промовою зовнішньої або внутрішньої, промовою, вираженої за допомогою природної або штучної мови.
Імена діляться на:
прості і складні, або описові;
Знак - це математичний об'єкт, який використовується в процесі пізнання або спілкування в якості представника будь - якого об'єкта.
Всі мови можуть бути розділені на:
Поняття виконують дві основні функції.
Пізнавальна функція. Вона здійснюється на основі такої логічної операції, як застосування поняття.
Комунікабельна. Вона тісно пов'язана з попередньою тобто функція засобу спілкування.
Види понять за їх змістом
Конкретні - поняття, в яких знаходять свою відображення самі предмети і явища, які мають відносну самостійність існування.
Абстрактні - це поняття, в яких мисляться властивість предметів або відносини між предметами, яких не існує самостійно, без цих предметів.
Негативні - поняття, які характеризуються відсутністю у предметів думки будь - яких якостей.
Пологи понять за їх обсягом.
Порожні поняття з нульовим обсягом в науковому плані не обов'язково є фікціями. Деякі з таких понять дійсно носять фантастичний характер.
Непусті поняття мають обсяг, в який входить, по крайней мере, один реальний предмет.
Якщо обсяг поняття становить лише один предмет, то воно називається одиничним. Загальні поняття укладають в своєму обсязі групу предметів.
Логічні операції з поняттями
Визначення необхідні для подітожіванія головного в пізнанні сутності предмета.
Визначення необхідні, якщо вводиться в обіг нове слово або відоме слово вживається в новому значення.
Побудова визначення підпорядковується правилам.
Визначення повинно бути відповідним. Обсяг визначає повинен повністю збігатися з обсягом визначеного.
Визначення не повинно бути тільки негативним.
Не можна розкривати визначається через саму себе. Визначається поняття не повинно повторюватися у визначальному ні прямо, ні побічно.
в) Коло у визначенні.
Не можна визначати невідоме через невідоме.
У розподілі розкривається - обсяг.
Розподіл слід відрізняти від уявного розчленування. Перше є поділ роду на види.
Розподіл необхідно в трьох випадках:
коли потрібно розкрити не тільки сутність предмета, а й форми її прояву і розвитку.
Розподіл необхідно, якщо слухачеві невідома сфера застосування того чи іншого поняття.
Необхідність в розподілі виникає іноді з - за багатозначності того чи іншого слова.
Підстава розподілу і члени поділу.
Ділене - це родове поняття, обсяг якого розкривається через складові його види.
Члени поділу - отримані в результаті самої операції види родового поняття.
Підстава розподілу - ознака, за яким здійснюється ця операція.
Дихотомічне розподіл спирається на крайній, випадок варіювання ознаки, що є підставою розподілу. (Особливий вид.)
Розподіл за наявністю або відсутністю ознаки, службовця підставою розподілу.
Розподіл по виду зміни ознаки, покладеної в основу цієї операції.
Змішання розподіл, коли використовуються обидва види поділу одночасно.
Логічна операція, протилежна узагальненню, називається обмеженням поняття.
Обмеження може бути правильним і неправильним.
1) Обмеження правильно, якщо здійснюється перехід від родового поняття до видового.
Якщо ж отримане в результаті операції не є видом даного роду, то обмеження неправильно.
Загальна характеристика судження.
По відношенню до дійсності.
По відношенню до мови.
Гегель, характеризуючи діалектику поняття і судження, дотепно зауважив, що поняття - згорнута форма судження, а судження - розгорнута форма поняття.
Виявити характерні ознаки досліджуваного предмета.
Встановити відповідність між тими і іншими.
Суб'єкт і предикат називаються термінами судження.
Зв'язок між суб'єктом і предикатом розкривається за допомогою логічного зв'язку.
Зв'язка може бути витлумачена в двох планах - змістовному і об'ємному.
У змістовному плані вона висловлює приналежність або не приналежність ознаки або сукупності ознак предмету.
З об'ємної точки зору вона розкриває включення підкласу в клас предметів або приналежність елемента класу.
Судження і пропозиція.
Якщо матеріальної оболонкою поняття служить слово, то матеріальною формою існування, носієм судження виступає пропозицію.
Розповідні речення виражають судження. Вони можуть бути не тільки двоскладного, а й односкладними.
Питальні речення, не виражають суджень. Бувають лише правильними і неправильними.
Спонукальні пропозиції, подібно питальним, теж засновані на будь - яких судженнях.
а) У стверджувальних судженнях розкривається наявність будь - якого зв'язку між суб'єктом і предикатом.
б) У стверджувальних судженнях, навпаки, розкривається відсутність тієї чи іншої зв'язку між суб'єктам і предикатом. Вони діляться на судження з позитивним предикатом, і судження з негативним предикатом.
Кількість судження - це його інша найважливіша логічна характеристика. Під кількістю тут зрозуміло аж ніяк не якесь - небудь конкретне число мислимих в ньому об'єктів. Виділяються загальні, приватні, поодинокі судження.
а) Спільними називаються судження, в яких що - небудь стверджується про всю групі предметів, і до того ж в роздільному сенсі.
б) Приватні судження - ті, в яких що - небудь висловлюється про частину якої - то групи предметів.
в) Поодинокі судження - це такі, в яких щось висловлюється про окремий предмет думки.
Виключають судження - носять в логіці проміжний характер.
Розподіленим вважається термін, мислимий у всьому об'ємі, нерозподіленим - якщо він мислиться не в усьому обсязі, а частково.
Суб'єкт розподілений в загальних і не розподілений в окремих випадках.
Предикат розподілений в негативних і не розподілений в стверджувальних судженнях.
Предикат судження, будучи носієм новизни, може мати самий різний характер. З цієї точки зору у всьому різноманітті суджень виділяються три групи: атрибутивні, реляційні та екзистенційні.
У кожну з груп модальності входять три основних модальних поняття. Перше і третє сильно позитивної і сильно негативною. Друге слабкою характеристикою.
Кон'юнктівние або сполучні судження.
а) Один суб'єкт і два предиката - «S є (не є) P1 і P2»
б) Два суб'єкта і один предикат - «S1 і S2 є (не є) P»
в) Два суб'єкта і два предиката - «S1 і S2 є (не є) P1 і P2».
Диз'юнктивні, або розділові судження. Буває дві їх різновиди.
а) Слабка диз'юнкція має логічною зв'язкою «або». Вона характеризується тим, що об'єднуються їй судження не виключають один одного.
б) Сильна диз'юнкція утворюється логічною зв'язкою «або. або ». Вона відрізняється від слабкої тим, що її складові виключає одне одного.
Імплікатівние, або умовні судження.
Еквівалентні, або рівнозначні судження.
Відносини між простими судженнями.
Общеутвердітельние судження перетворюються в частноутвердительное.
Частноутвердітельное судження звертається в частноутвердительное.
Общеотріцательное судження звертається в общеотріцательное.
Общеутвердітельное судження перетворюється в общеотріцательное.
Общеотріцательное судження, навпаки, перетворюється в общеутвердительное.
Частноутвердітельное судження перетворюється в частноотрицательное.
Частноотріцательное судження перетворюється в частноутвердительное.