Логіки як наука її предмет і завдання

[ виправити ] текст може містити помилки, будь ласка перевіряйте перш ніж використовувати.

скачати

ТЕМА: ЛОГІКА ЯК НАУКА, ЇЇ ПРЕДМЕТ І ЗАВДАННЯ.
1. Мислення і мова. Природні і штучні мови.
2. Поняття про форми думки і логічних законах. Логіка формальна і діалектична. Істинність мислення та формальна правильність міркування.
3. Символіка для позначення структури думки: постійні, змінні, логічні зв'язки (спілки).
4. Вправи.
5. Список літератури.

МИСЛЕННЯ І МОВА.
ПРИРОДНІ ТА ШТУЧНІ МОВИ.

На відміну від інших наук, вивчаючих мислення, логіка вивчає особливості, властивості форм думки, відволікаючись при цьому від того конкретного змісту, що можуть нести ці форми думки, вона вивчає їх з боку будови, структури, тобто внутрішньої закономірного зв'язку елементів, складових форму думки.
Мислення - активний процес відображення об'єктивного світу в поняттях, судженнях, умовиводах, наукових теоріях, гіпотезах і т.п., що має опосередкований, узагальнений характер, пов'язаний з рішенням нетривіальних завдань. Здатність до вирішення нетривіальних завдань означає, що мислення, як і процес трудової діяльності, що лежить в основі формування розумової діяльності, є цілеспрямованим, активним, пов'язаних з відкриттям нового, з прийняттям відповідних рішень, з підпорядкуванням найближчої мети кінцевого результату, з винаходом і застосуванням різних розумових засобів для досягнення цього результату.
Мислення нерозривно пов'язане з мозком, але не може бути повністю пояснено фізіологією вищої нервової діяльності. Думки самі по собі, поза голови людини не існують, їх не зустріти в матеріальному вигляді в навколишній природі, та й у голові людини думок самих по собі не знайти, бо думки - лише властивість особливим чином організованої матерії (сірої речовини мозку).

Мислення спирається на почуття, як на базу даних, воно дозволяє людині просунутися глибше в пізнанні світу, відволікаючись від несуттєвих чуттєвих даних і зосереджуючись на головному, істотному, що вказує на причину.

Мислення виражається:

- Відчуттями і сприйняттями, на базі яких формується розумовий акт;

- Минулим досвідом, завдяки чому зовнішні причини (об'єкти пізнання) відображаються в голові людини за посередництвом внутрішніх умов (накопиченого раніше досвіду);

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

Мислення - продукт не тільки біологічної еволюції людини, але і його розвитку як суспільної істоти. Мислення виникло в процесі колективної трудової діяльності людей. Воно має суспільну природу і за особливостями свого виникнення, і за способом функціонування.
Вивчаючи «що з чого слід», логіка виявляє найбільш загальні або, як кажуть, формальні умови правильного мислення:
- Незалежно від того, про що йде мова, не можна щось одночасно і стверджувати і заперечувати;
- Не можна приймати деякі твердження, не приймаючи разом з тим все те, що випливає з них;
- Неможливе не є можливим, доведене - сумнівним, обов'язкове - забороненим і т.п.

Мисленню властиві такі процеси, як абстракція (процес відволікання від деяких характеристик (властивостей, відношень) предметів, що вивчаються і явищ, від реальних носіїв цікавлять нас характеристик), аналіз (поділ об'єкта на складові частини, сторони, властивості), синтез (об'єднання отриманих в результаті аналізу частин об'єктів, їх сторін або властивостей в єдине ціле, формулювання завдань і пошуки їх вирішення, ідеалізація (процес уявного конструювання уявлень і понять про об'єкти, що не існують і не можуть існувати в дійсності, але зберігають деякі риси реальних об'єктів), розсуд у досліджуваних об'єктах неочевидних подібностей та відмінностей, висування гіпотез і т.п.

Розуміння настає тоді, коли знаходяться засоби, способи матеріалізації знаходяться в голові думок, і це матеріальне, тобто слова і пропозиції, а коротше - мова, або інші знакові системи, що є за природою своєю матеріальними, ми передаємо на будь-яку відстань.

Мислення людини здійснюється у тісному зв'язку з промовою, його результати фіксуються в мові. Думки самі по собі не мають матеріально-тілесної форми вираження, тобто не існує думок у вигляді такого собі самого по собі існуючого тіла. В силу своєї ідеальності думки виразність лише в слові (символі, знаку), тому й мислення в цілому, будучи (як і окрема думка, окрема форма думки) ідеальним, теж виявляється в мові, в мові, в діяльності.
Мислення і мова історично і генетично формувалися в безпосередньому зв'язку один з одним, зберігаючи при цьому відносну самостійність, якісна відмінність один від одного. Справді, мислення ідеально, будь-яка ж знаково-сигнальна система матеріальна. Тому мислення і мова володіють крім загальних ще й різними властивостями, несвідомих одне до іншого. Можна сказати, що всяка думка виразність у мові, в тій чи іншій знаковій системі, однак не всякий знак, не всякий символ, не всяке окреме мовне вираження осмислено.
Мислення може бути вербальним і невербальним. Невербальне мислення здійснюється за допомогою наочно-чуттєвих образів, воно представлено в тій чи іншій мірі у тварин. Вербальне, мовне мислення є одним з компонентів людського мислення, і найважливішим при цьому. Вербальне мислення оперує поняттями, закріпленими в словах, судженнями, умовиводами, аналізує та узагальнює, будує гіпотези і теорії. Воно відбувається у формах, встановлених у мові, тобто здійснюється в процесах внутрішньої чи зовнішньої мови. Тобто мова певним чином організує знання людини про світ, розчленовує і закріплює ці знання і передає їх наступним поколінням.
Тим самим, мова виступає в кількох функціональних значеннях: він є знаковою системою з позначення, по заміщенню предметів, явищ, процесів дійсності, і в той же час він носій (виразник) думок про ці предмети. Окрема думка про предмет не може відобразити все нескінченне різноманіття притаманних йому ознак і властивостей, тому вона відображає тільки найбільш важливі, загальні і в той же час відмінні, одним словом - суттєві. Істотними є ті, які відображають природу предмета, його внутрішні, головні, корінні, необхідні властивості, зміна яких якісно змінюють сам предмет.
Але єдність мови і мислення не означає їх тотожності. Мислення за своїм логічним законам і формам інтернаціонально, а мова за його граматичній будові і словниковому складу - национален. Нарешті, відсутність тотожності мови і мислення простежується і в тому, що часом ми розуміємо всі слова, а думка, виражена з їхньою допомогою, залишається для нас недоступною, не кажучи вже про те, що в один і той же словесне вираження люди з різним життєвим досвідом вкладають далеко не однакове смислове зміст.
Під мовою ми розуміємо не тільки природний, але і будь-який інший, в тому числі штучна мова графічних, звукових, тактильних і інших символів, знаків, сигналів, ієрогліфів і т.п.
Природничі виникають в процесі спілкування членів певної соціальної групи (наприклад, етнічні мови). Природні мови - головне і вирішальне засіб спілкування між людьми, засіб організації нашого мислення.
Штучні створюються людьми для будь-яких спеціальних цілей, вони, так чи інакше, пов'язані з природною мовою, доповнюючи його і розширюючи його діапазон і можливості. До числа таких немовних знакових систем можна віднести системи знаків, що використовуються в математиці, програмуванні, хімії, фізики, нотну грамоту, знаки дорожнього руху і т.д. Характерною особливістю штучних мов є однозначна визначеність їх словника, правил утворення і значення.
Штучні мови розрізняють за спеціалізацією і призначенням, а також за ступенем подібності з природними мовами.
Неспеціалізовані штучні мови, як правило, загального призначення, наприклад: есперанто - міжнародна мова, створений на основі граматичних та лексичних елементів західноєвропейських мов.
Спеціалізовані штучні мови - символічні мови науки (математики, хімії, програмування і т.д.). Загальною ознакою спеціалізованих штучних мов є метод їх опису шляхом завдання алфавіту (словника), правил утворення і перетворення виразів (формул) та семантики. У них реалізується обмежене число функцій природної мови, але в той же час вони виконують функції, не властиві природній мові. Число таких мов збільшується багато в чому за рахунок мов програмування, які мають властивість саморозвитку.
Таким чином, мова тісно пов'язана з мисленням і дійсністю не може бути зрозумілий поза зв'язку з цим. Він повинен розглядатися в контексті цілого ряду проблем, пов'язаних з пізнанням і спілкуванням; важлива не тільки логічна, але і гносеологічна і соціальна проблематика мови.
ПОНЯТТЯ Про ФОРМАХ ДУМКИ І ЛОГІЧНИХ ЗАКОНАХ.
ЛОГІКА формальною і діалектичною.
Істинності мислення І формально правильного міркування.
На відміну від інших наук, вивчаючих мислення, логіка вивчає особливості, властивості форм думки, відволікаючись при цьому від того конкретного змісту, що можуть нести ці форми думки, вона вивчає їх з боку будови, структури, тобто внутрішньої закономірного зв'язку складових форму думки елементів.
Окремі визначення форм думки будуть зрозумілі, якщо буде зрозуміло, що таке логічна форма або форма думки взагалі - це спосіб зв'язку частин мислимого змісту.
У традиційній логіці основними формами думки вважаються поняття, судження і умовивід. Кожна з цих основних форм має численні різновиди.
Поняття - є уявним відображенням у свідомості людини загальних істотних ознак предметів (явищ, процесів і т.д.). Передумовою утворення понять виступає здатність нашого мислення порівнювати предмети між собою по різним їх ознаками. Поняття як би фотографують світ у його ознаки і служать для розрізнення предметів. Головне для даної форми думки - відображати загальне і в той же час суттєве, відмітна, специфічне у цьому предметі. Наочно термін «поняття» можна зобразити так:
Поняття = ознака + ознака ...
Як цілісна форма думки поняття являє собою єдність двох складових його елементів: обсягу і змісту. Обсяг - структурний елемент поняття, що відображає собою сукупність предметів, які мають однаковими суттєвими і відмітними ознаками. Зміст - елемент структури поняття, що відображає собою сукупність істотних і відмітних ознак, властивих предмета, явища (класу предметів, безлічі явище, процесів ...). Співвідношення між обсягом і змістом поняття визначається законом зворотнього відношення (З.О.О.). Суть закону: зі збільшенням змісту поняття його обсяг зменшується, а зі зменшенням змісту - об'єм збільшується.
За якісним ознакою (за змістом) поняття поділяються на:
конкретні - поняття про предмети;
абстрактні - поняття про властивості і відносини;
абсолютні - самостійні безвідносні, не залежать від інших понять;
відносні - у їхньому змісті є ознаки, що вказують на поняття, з якими вони співвіднесені за змістом і без яких вони не мають сенсу;
позитивні - у них мислиться присутність певних ознак;
негативні - в них фіксується відсутній ознака (відсутність ознаки - теж ознака).
За кількісною ознакою (за об'ємом) поняття поділяються на:
загальні - поняття, в яких виражаються ознаки цілого класу однорідних предметів, що носять одне і те ж найменування;
поодинокі - поняття, в яких відображаються ознаки одного одиничного предмета чи явища;
нульові - з нульовим обсягом, бо за ними немає реальних предметів.
Також можна виділити:
Родові поняття - поняття, які виражають суттєві ознаки класу предметів, що є родом будь-яких видів. Рід - клас предметів, до складу якого входять інші класи, є видами цього роду.
Видові поняття - поняття, які відображають суттєві ознаки класу предметів, що є різновидом якого-небудь роду. Вид - клас предметів, який входить в обсяг більш широкого класу, іменованого родом.
Збірні поняття - поняття, в яких фіксуються суттєві ознаки ряду однорідних предметів, які не втратили своєї індивідуальності.
Несобі рательние поняття - їх зміст можна віднести до кожного предмету даного класу.
Поняття утворюються в людському мисленні одним і тим же алгоритмічним шляхом, що складається з п'яти уявних «кроків», які в логіці прийнято називати методами утворення понять. Логічно процес утворення поняття виглядає наступним чином:
1. Аналіз (Від грец. Analysis - розкладання) - уявне розкладання предмета на властиві йому ознаки. У певному відношенні можна навіть проводити аналогію між аналізом і арифметичним дією - поділом.
2. Порівняння - уявне зіставлення різних предметів по виділених ознаками і встановлення подібності і відмінності між ними.
3. Синтез (від грец. Synthesis - з'єднання) - уявне об'єднання ознак, отриманих в ході аналізу та порівняння ознак, в певну систему.
4. Абстрагування (від лат. Abstractio - відволікання) - логічна операція, заснована на уявному виділенні істотних ознак досліджуваних об'єктів і відволікання від несуттєвих. У підсумку вони залишаються лише загальні ознаки, однакові для всіх досліджених елементів класу.
5. Узагальнення - завершує освіту поняття, приписуючи виділені в ході абстрагування істотні ознаки всьому класу об'єктів.
Судження - форма думки, в якій стверджується або заперечується що-небудь щодо предметів і явищ, їх властивостей, зв'язків і відносин і яка володіє властивістю виражати або істину, або брехня. Це більш складна форма думки, вона складається вже не з ознак, а з понять і може бути істинною або помилковою. Термін «Судження» широко використовувався логікою традиційною. У сучасній логіці зазвичай користуються терміном «Висловлювання», що позначає граматично правильна пропозиція, взяте разом з висловлюваним їм змістом.
Судження = поняття + поняття ...
Структурними елементами поняття є судження, що входять до його складу:
Ø S - суб'єкт - це та частина судження, в якій йдеться про предмет думки, про об'єкт, що виступає в якості предмета наших роздумів. Суб'єкт судження (суб'єкт думки) в пропозиції виражається підметом.
Ø Р - предикат - та частина судження, яка відображає те, що стверджується або заперечується про предмет думки, про ознаку чи властивості даного предмета.
Ø Логічна зв'язка - виражає відношення між суб'єктом і предикатом, між «S» і «Р». У мові виражається словами «є» - «не є», «суть» - «не суть», «є» - «не є», «є» - «не є» та ін Цей елемент судження в російській мові часто просто опускається.
Загальну формальну структуру судження можна виразити, як представлено нижче, де S і Р є змінними величинами, а логічна зв'язка - постійною:
S
є
не-є
P
Крім названих елементів у судженнях є ще один не завжди явно виразність, як би непостійний, плаваючий елемент, що відображає кількісну характеристику суб'єкта судження - квантор судження. У мові він висловлювався словами «все», «без винятку», «кожен» і т.п. - Квантор спільності (загальності), або словами «деякі», «багато», «частина», «більшість» та ін - квантор існування. У деяких випадках квантор лише мається на увазі, як в судженні «Студенти нашої групи люблять спорт»: тут не ясно, всі або деякі студенти групи люблять спорт, а ця обставина може мати суттєве значення при подальшому використанні та аналізі судження. Символічне позначення квантора спільності - V, квантора існування - I.
Поняття виражається словом або групою слів, а судження існують у вигляді пропозицій, найчастіше - розповідних, де група підмета збігається з суб'єктом, а група присудка - з предикатом.
Умовивід - найскладніша форма людської думки, утворена з суджень. Часом нам достатньо, не вдаючись до практики, зіставити в розумі кілька посилок (вихідних суджень), щоб прийти до нового знання: наприклад, про вигідне приміщенні капіталу, користуючись лише даними про курс рубля, кредитних ставках. Таким чином, умовивід настільки ж природно для нашого мислення, як поняття і судження.
Умовивід = судження + судження ...
Розрізняють умовиводи з простих категоричних суджень, з простих відносних суджень, із складних суджень, а також дедуктивні, індуктивні і традуктівние умовиводи
Індукція логічна дозволяє робити висновок від приватного, одиничного знання до загального, від посилок, виражають знання меншою мірою спільності, до укладання зі знанням більшою мірою спільності.
Дедуктивне умо висновок робити висновок від загального знання до часткового, тобто від посилок, виражають знання більшою мірою спільності, до укладання зі знанням меншою мірою спільності.
Традуктівние умовиводи - умовиводи, в яких і посилки, і висновок однаковою мірою спільності, тобто це умовиводи з суджень відношення і умовиводи за аналогією.
Таким чином, все вищесказане можна уявити:
3
2
1
Поняття
Судження
Умовивід


1
2
3
Так як будь-яка наука, вивчаючи ту чи іншу предметну область, виявляє закони цієї предметної області, а закони - річ загальна то, знаючи і використовуючи їх, можна оптимізувати нашу інтелектуальну діяльність, як в процесі міркування, так і в процесі її аналізу. Порушення вимог будь-якого закону веде до логічної помилку і неправильних результатів, тому необхідно знати і дотримуватися законів думки (закони зв'язку між думками).
Сформулював основні закони правильного мислення Аристотель: закон тотожності, закон непротиріччя, закон виключеного третього. Пізніше був сформульований четвертий закон - закон достатньої підстави. Ці закони мають силу для всіх форм думки і виступають умовами правильності мислення. Є предметом вивчення формальної логіки.
Закон тотожності. Сенс його полягає в тому, що кожна думка, якої ми користуємося в логічних операціях, при повторенні повинна мати одне і те ж певний, стійкий зміст. Він вимагає від мислення точності, строгості, чіткості, визначеності, однозначності.
Закон тотожності фіксує відносну стабільність, незмінність речей, відображаючи її в стабільних, порівняно незмінних поняттях, судженнях і умовиводах.
Формула закону тотожності:
А є А
А = А
В якості наслідків принципу тотожності можна сформулювати наступні вимоги: в процесі міркування про який-небудь предмет необхідно мислити саме цей предмет і не підміняти його іншим; в процесі міркування думки повинні вживатися в одному і тому ж значенні.
Незнання закону призводить до помилки «підміни поняття». Причини:
логічна - відсутність логічної культури, невимогливість до точності думки;
лінгвістична - омонімічність мови;
психологічна - асоціативність мислення.
Закон непротиріччя говорить: два протилежні судження не можуть бути істинними в один і той же час і в одному і тому ж відношенні. Вимагає від мислення несуперечності. У символічній формі закон записується так:
невірно, що А і не А
Зміст формули в тому, що думка, вжита у міркуванні А, в процесі логічних побудов не повинна перетворюватися на свою протилежність не-А.
Нормативний характер цього закону в тому, що він фіксує одну з найважливіших особливостей нормального мислення - його несуперечливість. Він забороняє мислити суперечливо, вважаючи, що протиріччя несумісне з логічним мисленням.
Незнання закону породжує помилку «суперечливості в міркуванні».
Закон виключеного третього - суперечать думки не можуть бути одночасно ні істинними, ні хибними, тобто якщо одна із суперечних думок істинна, то інша буде обов'язково помилкова, і навпаки. Третього в цьому відношенні немає: або істина, або брехня. Вимагає від мислення послідовності, завершеного міркування.
Формульна запис:
А або не-А
Незнання закону викликає помилку «непослідовності в міркуванні».
Закон виключеного третього діє там, де пізнання в своєму розпорядженні такої повнотою інформації, яка дає нам чіткий вибір між істиною і брехнею.
Закон достатньої підстави - ​​будь-яка істинна думка повинна бути обгрунтована іншими думками, істина яких доведена; всяка істинна думка повинна бути достатньо обгрунтованою, якщо будь-яке судження визначаємо як істинне, помилкове, ймовірне, то таке визначення має бути досить обгрунтованим. Вимагає від мислення обгрунтованості, аргументованості міркування.
Так як закон допускає різні форми обгрунтування, символічна запис ускладнена, але приблизно можна виразити наступною формулою:
Якщо є В, тобто як його основа - А
Незнання закону породжує помилку «бездоказово міркування», «необгрунтованість», «неаргументованого міркування».
Розглянуті логічні закони вивчає формальна логіка, яка розглядає відносно стійкі форми мислення і закони їх побудови. Першою сходинкою формальної логіки є традиційна логіка, що вивчає загальнолюдські закони правильної побудови думок. Другим ступенем формальної логіки є математична логіка, що використовує математичні методи та спеціальний апарат символів.
Діалектична логіка - назва філософської теорії, основним завданням якої є виявити, систематизувати й обгрунтувати в якості універсальних основні особливості мислення колективістичні суспільства (середньовічного феодального суспільства, тоталітарного суспільства та ін). Основний принцип її проголошує зближення і ототожнення протилежностей: наявного в розумі й існуючого в дійсності, кількості та якості, історичного та логічного, свободи і необхідності і т.д. Результатом її застосування до осмислення соціальних процесів стала подвійність, містіфіцірованность соціальних структур і відносин: проголошуване в тоталітарних державах право на працю виявлялося одночасно і обов'язком, наука - ідеологією, вибори - перевіркою лояльності і т.п.
Логіка - це наука, що досліджує механізм інтелектуальної діяльності людини і має на меті одержання істинного знання про навколишній світ. Отже, вона повинна оперувати поняттями «істинність мислення» і «правильність міркування».
«Правильне мислення» базується на логіці. Саме логіка, вміло підібрана відповідно до предмету розгляду, робить думки адекватними реальності.
Зазвичай істинність мислення визначають як відповідність знання об'єкту. Істина - це адекватна інформація про об'єкт, що отримується за допомогою його чуттєвого чи інтелектуального осягнення або повідомлення про нього і характеризується з точки зору її достовірності. Таким чином, істина існує як суб'єктивна реальність в її інформаційному та ціннісному аспектах.
Істина не існує поза людського пізнання, і в цьому сенсі вона залежить від суб'єкта пізнання. Проте відповідність та невідповідність результатів пізнавального процесу сторонам і властивостями матеріального світу визначається об'єктивною реальністю.
Таким чином, істинність визначається як адекватне відображення об'єкта суб'єктом, що пізнає, відтворююча реальність такою, яка вона є сама по собі, поза і незалежно від свідомості. Істина є адекватне відображення реальності в динаміці її розвитку.
Згідно з основним принципом логіки, правильність міркування (висновку) визначається тільки його логічною формою, або структурою, і не залежить від конкретного змісту входять до нього тверджень.
Правильне міркування можна визначити як таке, яке при істинності посилок гарантує істинність висновку. Однак не будь-які істинні посилки і справжнє висновок утворюють правильне міркування. Питання про те, чи є якийсь умовивід правильним чи неправильним, не можна змішувати з питанням: якими - справжніми або помилковими - є його посилки і висновок. Істинність посилок є необхідним, але недостатньою умовою істинності висновку міркування. Дати оцінку міркуванню, знаючи значення його посилок і висновку, можна лише у випадку, коли кожна з посилок істинна, а висновок помилково, тобто якщо підібрати контрприклад. У разі знаходження контрприкладу міркування є свідомо неправильним, оскільки воно не зберігає основну властивість логічних систем - «властивість» збереження істинності посилок при виведенні ув'язнення. Для того щоб міркування було правильним, тобто істинність його посилок з необхідністю гарантувала б істинність висновку, міркування повинно мати правильну структуру, або логічну форму. Саме логічна форма є підставою для переходу від посилок до висновку в дедуктивних міркуваннях (для інших типів міркувань підстави будуть інші). Тепер можна більш точно сформулювати критерій правильності дедуктивних міркувань: умовивід є правильним, якщо і тільки якщо його логічна форма гарантує, що при істинності посилок ми обов'язково (завжди, кожного разу) отримаємо справжнє висновок, тобто не існує умовиводи даної логічної форми з істинними посилками і помилковим висновком.
СИМВОЛІКА ДЛЯ ПОЗНАЧЕННЯ СТРУКТУРИ ДУМКИ:
ПОСТІЙНІ, ЗМІННІ, ЛОГІЧНІ ЗВ'ЯЗКИ (СПІЛКИ).
Будь-яка наука будує свою мову на основі природної мови. Логіка також використовує природну мову, формуючи на його основі свій власний: спеціальні слова, терміни, особливі знаки (символи).
У загальному вигляді символічна мова логіки включає наступні символи:
S - символ для позначення суб'єкта судження (предмета думки, логічного підмета).
P - символ предиката судження (логічного присудка), тобто поняття, що відображає властивий або не властивий предмета думки (суб'єкту), ознака.
М - середній термін умовиводи, загальне дли вихідних суджень поняття. «Є» - «не є» (суть - не суть тощо) - логічна зв'язка між суб'єктом і предикатом судження, що виражається «S» - «Р».
а, b, с, ... - Предметні постійні (їх використовують для власних чи описових, тобто одиничних, імен предметів);
х, у, z, ... - Предметні змінні (символи, що позначають загальні імена предметів, приймаючих значення в тій чи іншій області);
р, q, г, ... - Пропозіціональние змінні (символи висловлювань);
Р 1, Q 1, R 1, ..., Р n, Q n, R n, ... - Предикатні змінні з n-місцевістю;
∀; - квантори загальності та існування, відповідні словами все і деякі природної мови.
Логічні спілки:
·; &; ∧ - кон'юнкція - логічна операція, за допомогою якої два або більше висловлювань об'єднуються в нове складне висловлювання. Це нове висловлювання називається кон'юнктивні висловлюванням або просто кон'юнкція. Якщо А, В, С. .. представляють прості висловлювання, то кон'юнктивній висловлювання виглядає наступним чином: А & В або А & В & С і т.п. У повсякденній промові кон'юнкції відповідає союз «і», тому кон'юнкція читається так: А і В. Значення істинності складного кон'юнктивній висловлювання залежить від істінностних значень назв простих висловлювань і визначається на основі таблиці істинності, яка говорить про те, що кон'юнктивній висловлення істинно тільки в одному випадку, коли всі вхідні в нього прості висловлення істинні;
v; v; v - диз'юнкція - логічна операція - аналог вживання логічного союзу «чи», «або, або» в звичайній мові, за допомогою якої з двох або більше вихідних суджень будується нове судження.
→; ⊃ - імплікація - логічна зв'язка, відповідна граматичної конструкції «якщо ..., то ...», за допомогою якої з двох простих висловлювань утворюється складне висловлювання. У імплікатівним висловлюванні розрізняють антецедент (підстава) - вислів, що йде після слова «якщо», і консеквент (наслідок) - вислів, що йде за словом «то»;
≡; D - символ логічного союзу тотожності, еквівалентності: «якщо й тільки якщо», «тоді і тільки тоді, коли», «якщо і тільки якщо ...» (еквіваленція);
-; ˥; ~ - заперечення - логічна операція, за допомогою якої з даного висловлювання виходить нове висловлювання; при цьому якщо вихідне висловлення істинно, його заперечення не є істинним, а якщо воно помилкове, його заперечення не є помилковим. Негативне висловлювання складається з вихідного висловлювання і розміщується перед ним знака заперечення (в логіці ~ або 1), що читається як «не» чи «невірно, що»; запереченням висловлювання A є складне висловлювання ~ А. У логіці класичної якщо висловлювання А істинно, його заперечення ~ А помилково, а якщо A брехливо, його заперечення ~ А істинно.
Технічні знаки:
(;) - Ліва і права дужки.
Інших знаків алфавіту мови логіки предикатів не містить.

ВПРАВИ
1. Визначте, які форми думки представлені в наступних мовних виразах:
5 не ділиться на 2 без залишку - судження.
Комп'ютер Pentium - поняття.
Пафос - поняття.
Інтелект - поняття.
Факультет обчислювальної техніки - поняття.
Середньовічна епоха - поняття.
Студент ФКСіС БДУІР -
Париж - моя мрія - судження.
ФКСіС розташований в четвертому корпусі - судження
На тій підставі, що всі метали електропровідні і мідь - метал, укладаємо, що мідь електропровідності - умовивід.
Деякі хвороби - невиліковні - судження.
2. Вставте пропущене слово - омонім:
собака (ТАКСА) прейскурант;
витівка (проказа) хвороба;
метал () шкіра;
тварина (богомол) чернець.
тварина (ЛАМА) чернець.
3. Вкажіть, в яких випадках порушені закони логіки. Кваліфікують помилку:
З обвинувальної промови у суді: «Я розумію, підсудному гроші потрібні були до зарізу ... Проте ж не до зарізу тітки!».
Правильно кажуть, що язик до Києва доведе. Я якраз купив вчора копчений мову. Тепер можна сміливо йти до Києва.
Тут можна заморити не тільки черв'ячка. (З оголошення в їдальні).
4. Вкажіть поняття, що підпорядковуються нижченаведені:
Весілля - торжество.
Агорафобія -
Банан - плід.
Закон де Моргана - правило.
БДУІР - навчальний заклад.
А. С. Пушкін - поет.
Гепатит - хвороба.
Буддизм - релігія, віросповідання.
Крадіжка - злочин.
Любов - почуття.
5. Наведіть приклади понять, відносини між якими відповідають наступним схемами:
З
А
У


Супідрядні поняття.
С - підкоряє поняття «носій даних»;
А - підлегле поняття «перфострічка»;
В - підлегле поняття «фотоплівка».

А = В
Овал: А = В


Порівнянні сумісні поняття збігаються.
А - поняття «Microsoft Word»;
B - поняття «додаток Microsoft Office».
У
А


Порівнянне сумісний поняття включаються.
B - підкоряє поняття «геометрична фігура»;
А - підлегле поняття «паралелограм».
Включення сумісних понять.
D
З
У
А


У
Овал: У
З
Овал: З
А
Овал: А Порівнянні сумісні поняття перетинаються.
А - поняття «студент»;
В - поняття «спортсмен»;
С - поняття «хлопець».
У
А
З
D


Порівнянні сумісні поняття перетинаються
і включаються в сумісний поняття.
D - підкоряє поняття «школа»;
А - поняття «першокласник»;
В - поняття «відмінник»;
З - поняття «учень».
 
А С В



ЛІТЕРАТУРА
1. Івін О.А. Логіка. М., 1998.
2. Івін О.А., Нікіфоров О.Л. Словник з логіки. М., 1998.
3. Кобзар В.І. Логіка. С.-П., 2001.
4. Малихіна Г.І. Логіка. Мн., 2002.
5. Сидоренко Ф.Ф. Підручник з логіки.
6. Інформація з мережі інтернет.
Додати в блог або на сайт

Цей текст може містити помилки.

Філософія | Контрольна робота
78.7кб. | скачати


Схожі роботи:
Педагогіка як наука її об`єкт предмет завдання
Ботаніка як наука Предмет і завдання ботаніки
Література - Офтальмологія офтальмологія як наука предмет і завдання
Предмет логіки 2
Предмет логіки
Предмет і значення логіки
Мислення як предмет логіки
Предмет і метод логіки
Іспитові завдання з логіки
© Усі права захищені
написати до нас