Московський інститут права
Юридичний факультет
Дисципліна: логіка
Курсова робота
Студента
На тему: «Аналіз видів понять і пропозиції щодо їх використання в практиці логічного узагальнення висновків»

Москва 2003

Зміст

Введення
1. Поняття в логіці
1.1. Сутність поняття в логіці
1.2. Визначення понять, їх зміст і обсяг
2. Класифікація понять в логіці
2.1. Види понять
2.2. Типи відносин між поняттями
3. Практика логічного узагальнення висновків
Висновок
Список літератури

Введення
Думки виражаються словами. Ідеальні образи і освіти, що наповнюють нашу свідомість, при їх логічному аналізі повинні бути виражені в мові, інакше їх неможливо ні зафіксувати для себе, ні передати іншим. Мова - матеріальний носій думки. Коли ми вимовляємо, пишемо або чуємо пропозиції та висловлювання, ми, перш за все, обмінюємося з іншими тим, що знаходиться у нас в голові. Мова - посередник в обміні думками. Проте вже давно було відмічено, що передача наших внутрішніх інтимних переживань і вражень за допомогою мови не завжди буває адекватною. При перетворенні думок у пропозиції щось втрачається, а щось, навпаки, додається. Саме тому іноді якусь ідею чи образ точніше передає, скажімо, художник картиною або балерина танцем. У цьому сенсі говорять про інших, немовних мовах, відносячи до них, крім жестів і зображень, навіть креслення і кольору світлофора, а також безліч інших сигналів і знаків ... Слова часто мають хитко певні смислові межі, до того ж ще й залежні від предметної області.
Для логіки подібне звернення зі словами неприпустимо. У кожне поняття повинне бути вкладено одне єдине значення, воно повинно відповідати тільки одному предмету або одного класу предметів. В іншому випадку, поняття не зможе виконати свої логічні функції. Причому прикладеність поняття до цілого класу в теоретичному відношенні важливіше. Якби однозначність завжди виражалася у відповідності поняття лише одного єдиного предмета, явища, властивості, ознакою, якщо б абсолютно для кожного з них потрібно було б вводити своє окреме поняття, то тоді не існувало б узагальнення і логіка з усіма своїми поняттями втратила б будь-який сенс.
У питанні про адекватність мислення й мови набагато важливіше те, що логіка оперує не словами, вона перетворює слова в поняття.

1. Поняття в логіці
1.1. Сутність поняття в логіці
Отже, як стало зрозуміло з вищесказаного, поняття відрізняється від слів, звичних уявлень про визначеннях. Щоб охарактеризувати сутність поняття в логіці необхідно знайти відмінності між поняттям і всім іншим.
Перше, що відрізняє поняття від слова або виразу, - це однозначність, чітко поставлене сенс. Слова часто мають хитко певні смислові межі, до того ж ще й залежні від предметної області. Багато слів мають взагалі по кілька значень. Для логіки подібне звернення зі словами неприпустимо. У кожне поняття повинне бути вкладено одне єдине значення, воно повинно відповідати тільки одному предмету або одного класу предметів. В іншому випадку, поняття не зможе виконати свої логічні функції. Причому прикладеність поняття до цілого класу в теоретичному відношенні важливіше. Якби однозначність завжди виражалася у відповідності поняття лише одного єдиного предмета, явища, властивості, ознакою, якщо б абсолютно для кожного з них потрібно було б вводити своє окреме поняття, то тоді не існувало б узагальнення і логіка з усіма своїми поняттями втратила б будь-який сенс.
Поняття тому й необхідні, що вони скорочують нашу мову, а отже, і мислення. Вони корисні тим, що охоплюють безліч однорідних предметів. Але при цьому межі самого даного множини повинні бути задані точно. У них не можна включати те, що до справи не відноситься. Тільки тоді, коли осмислюємо група предметів виділена строго і однозначно, можна говорити про застосування до відповідного ним поняттю правил і процедур, розроблених в логіці.
Позначення предметів вимагає виділення в них якихось певних ознак, яких, взагалі кажучи, в будь-якій речі нескінченно багато. Тому при утворенні понять абстрагування та ідеалізація обов'язкові. Як правило, у навчальній літературі говорять про виділення істотних ознак, що залишаються у змісті поняття. Загалом-то, це правильно в тому сенсі, що до цього треба прагнути. Але треба пам'ятати, що виділення саме істотних ознак, властивостей, рис не завжди виконується на ділі і навіть в інших випадках нездійсненно взагалі. Сутність тих чи інших предметів, процесів, явищ визначається наукою, та й тут нерідкі нерозв'язні суперечки. У повсякденній же практиці нам найчастіше досить вказати на ознаки, за якими обговорювані предмети або явища однозначно відрізняються від всього іншого, так, щоб при назві не виникло плутанини. Поряд з істотними ознаками цілком припустимо тому використання при формуванні поняття також ознак, достатніх для відмінності; вони дозволяють задати предмет достатньо однозначно, щоб його можна було не сплутати з іншими, хоча вони можуть не бути істотними для даної речі. На практиці використання саме таких ознак для утворення понять зустрічається навіть частіше. Звернення до сутності характерно і неминуче для наукових текстів і міркувань. За межами наукового знання найчастіше обходяться без них.
Тільки тоді, коли осмислюємо група предметів виділена строго і однозначно, можна говорити про застосування до відповідного ним поняттю правил і процедур, розроблених в логіці.
Серед усього цього різноманіття треба вибирати властивості найбільш типові, характерні для даного роду речей. Від решти відволікаються. Тому при утворенні понять абстрагування та ідеалізація обов'язкові.
Але треба пам'ятати, що виділення саме істотних ознак, властивостей, рис не завжди виконується на ділі і навіть в інших випадках нездійсненно взагалі. Сутність тих чи інших предметів, процесів, явищ визначається наукою, та й тут нерідкі нерозв'язні суперечки. У повсякденній же практиці нам найчастіше досить вказати на ознаки, за якими обговорювані предмети або явища однозначно відрізняються від всього іншого, так, щоб при назві не виникло плутанини. Поряд з істотними ознаками цілком припустимо тому використання при формуванні поняття також ознак, достатніх для відмінності; вони дозволяють задати предмет достатньо однозначно, щоб його можна було не сплутати з іншими, хоча вони можуть не бути істотними для даної речі. На практиці використання саме таких ознак для утворення понять зустрічається навіть частіше. Звернення до сутності характерно і неминуче для наукових текстів і міркувань. За межами наукового знання найчастіше обходяться без них.
Позначення предметів вимагає виділення в них якихось певних ознак, яких, взагалі кажучи, в будь-якій речі нескінченно багато.
Поняттям ми будемо називати таку форму мислення, за допомогою якої відображаються істотні (достатні для відрізнення) ознаки предметів, явищ, процесів.
Суттєво, щоб ознаки, покладені в основу поняття, не просто належали даному виду речей, але щоб вони понад те відрізняли цей різновид речей від інших. Ігнорування такого вимоги досить часто веде до помилок, до необгрунтованих висновків.
Для того, щоб найбільш точно визначити поняття необхідно виявити його місце в системі абстрактного мислення людини (див. рис. 1).
Також важливою характеристикою, необхідної для аналізу видів поняття є ознака поняття. Поняття в психології виходять з порівнянь подібних уявлень. Подання в свою чергу складаються з окремих елементів. Складові елементи уявлення або поняття прийнято називати ознаками. Ознаки є те, чим одне подання або поняття відрізняється від іншого.
Ознаки понять з часу Аристотеля прийнято ділити на наступні 5 класів [1]:
1. Родовий ознака. Якщо ми скажемо, що хімія є наука, то наука буде родовою ознакою для поняття «хімія»; в числі інших ознак, притаманних концепції «хімія», є й ознака «наука»; ця ознака відрізняє хімію від усього, що не є наука. Рід (genus) або родової ознака є поняття класу, в який ми вводимо інше аналізованих нами поняття.
2. Видове відмінність. Якщо сказати, що хімія є наука, що займається вивченням будови речовини, то додаток ознаки - «що займається вивченням будови речовини» буде служити для позначення того, чим ця наука відрізняється від інших наук. Така ознака, який служить для того, щоб виділяти поняття з ряду йому подібних понять, називається видовим відмінністю (differentia specifica) ..
3. Вид (species). Якщо до родовою ознакою приєднати видове відмінність, то вийде вигляд. Наприклад, «будівля для складу зброї» == арсенал; «будівля для складу хліба» = комору. У цьому випадку «будівля» є рід, «для зберігання зброї» є видове відмінність; приєднання до роду видової відмінності дає вид «арсенал». Приєднання до поняття «будинок» видового ознаки «служить для зберігання хліба» дає вид «комора». Вигляд може бути Ознакою, тому що його можна приписати зрозуміле. Наприклад, «ця наука є хімія».
4. Власний ознака (proprium). Власний ознака - це така ознака, що властивий всім речам даного класу, який не міститься в числі істотних ознак, але який може бути виведений з них. Наприклад, суттєвою ознакою людини є її «розумність». З цієї властивості випливає його здатність володіти мовою. Цей останній ознака є власний ознака. Основна ознака трикутника - це прямолінійна плоска фігура з трьома сторонами. Що ж стосується того ознаки трикутника, що сума кутів його дорівнює двом прямим, то це є його власний ознака, тому що випливає або виводиться з основних ознак. »Ми цієї ознаки не мислимо, коли думаємо про трикутник, тому він є вивідним.
5. Невласний ознака (accidens). Невласний пригнаний - це така ознака, який не може бути виведений з істотного ознаки, хоча і може бути притаманний всім речам даного класу.
Рис. 1. Система абстрактного мислення людини

Основні форми абстрактного мислення

Поняття - форма мислення, в якій відображаються істотні ознаки одного класу однорідних предметів; виражається іменником, прикметником або ж їх поєднанням.

Судження - форма мислення, в якій що - небудь стверджується або заперечується про предмети, їхні властивості або відносинах; виражається у формі розповідного речення.

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

1.2. Визначення понять, їх зміст і обсяг

У науковій літературі визначення іноді називають також дефініцією. Визначення призначене для того, щоб сформулювати в явному вигляді і зафіксувати зміст поняття, назвати ті ознаки або властивості предмета, що стануть об'єктом уваги в міркуванні і як би замінять на час сам предмет
Найбільш досконалим є визначення через найближчий рід і видову відмінність. При його формулюванні спочатку вказується поняття більш широке (рід), ніж те, яке треба визначити (вид), потім називають відмітна ознака (видову відмінність), за допомогою якого визначається вигляд предметів виділяється серед інших, що входять в той же рід.
Близьким по зручності використання до попереднього є генетичне визначення. У ньому вказується спосіб створення або шлях виникнення того чи іншого явища. Іноді задані таким чином риси й особливості можуть служити видообразующему ознаками, і тоді створюється та ж сама родовідових дефініція.
Іноді зручно користуватися так званими остенсівние визначеннями. У цьому випадку замість виявлення істотних ознак визначуваного явища вказують на саме явище як на зразок.
Одним із прийомів, схожих з визначенням, є пояснення. Воно може не стільки замінювати визначення того чи іншого явища, скільки доповнювати її чи робити його зрозумілим. Це досягається за рахунок того, що незнайомі широкому загалу терміни виражають через інші, відомі всім.
Побудова визначення підпорядковується правилам [2]:
1) Визначення має бути відповідним. Обсяг визначального повинен повністю збігатися з обсягом виявити.
2) Визначення не повинно бути тільки негативним.
3) Не можна розкривати визначається через саму себе. Визначається поняття не повинно повторяться у визначальному ні прямо, ні побічно.
4) Тавтологія.
5) Коло у визначенні.
6) Не можна визначати невідоме через невідоме.
У кожного поняття є зміст і обсяг. Змістом є всі ті ознаки, за допомогою яких дане поняття визначається [3]. Обсяг же становлять предмети, охоплені їм [4]. Зміст і обсяг - дві сторони поняття, вони кожна по-своєму визначають його взаємовідносини з іншими поняттями.
Таким чином, різниця між обсягом поняття і змістом поняття зводиться до наступного: обсяг поняття означає ту сукупність предметів, до яких має додаватися дане поняття, а зміст вказує на ті ознаки, які приписуються тому чи іншому поняттю.
У логіці давно було відзначено тверде співвідношення, що визначає зв'язок обсягу і змісту. Коротко цей закон формулюється так: чим багатша зміст, тим менше об'єм і навпаки [5]. Операція додавання нових ознак у зміст і переходу до більш вузьким поняттям називається обмеженням.
Операція відкидання від даного поняття деяких ознак і переходу до більш широким поняттям називається узагальненням.
Слід пам'ятати: закон зворотнього відношення виконується тільки при послідовному додаванні ознак. Проста заміна їх не створює зазначеної закономірності.
Є багато речей, які неможливо визначити. Так, часто говорять, що немає можливості дати строге визначення твору мистецтва. І дійсно, ніхто не в змозі вказати формальні ознаки, за якими будь-хто міг би впевнено сказати, чи є даний твір справжнім шедевром або його треба вважати посереднім. Юристи деколи стикаються з ситуацією, коли треба точно визначити, що таке порнографія, але зі спроб дати дефініцію нічого не виходить. Треба сказати, в мистецтвознавстві взагалі досить часто зразок твору будь-якого роду не можна замінити його визначенням. Але і в науці такі обставини теж можуть мати місце
Одним із прийомів, схожих з визначенням, є пояснення. Воно може не стільки замінювати визначення того чи іншого явища, скільки доповнювати її чи робити його зрозумілим. Це досягається за рахунок того, що незнайомі широкому загалу терміни виражають через інші, відомі всім.
Методів пояснення дуже багато - від вказівки причин і створення моделей до проведення аналогій. Цими методами займається спеціальна теорія пояснення. Те, що треба буде пояснити, в ній називають експланандом, сукупність ж пояснюють положень - експланансом. Дуже часто укладачі тлумачних словників замінюють строгі наукові визначення термінів своїми, пояснювальними.

2. Класифікація понять в логіці
2.1. Види понять
Жоден предмет не являє собою чогось або зовсім відмінного від усіх інших предметів; Він схожий на них у будь-якому відношенні: його завжди можна віднести до будь-якої загальний клас з іншими предметами; все взагалі предмети можуть бути відносяться до загальних з іншими предметами класи. Є класи, які обіймають невелика кількість предметів, але є класи, які обіймають велика кількість предметів, і саме тому, що це є предмети з найзагальнішими подібностями. Ці класи речей у нашому мисленні отримують вираження у вигляді відомих понять. Такі поняття, які служать для позначення найзагальніших подібностей між предметів і Аристотель назвав категоріями. Слово «категорія» походить від грецького слова xatnyopew що значить висловлювати, бути присудком. Категорії для Аристотеля суть можливі предикати будь-якого одиничного предмета, тобто такі поняття, які можна висловити щодо того чи іншого одиничного предмета чи класу предметів.

Ось ці категорії [6]:
1. Субстанція (substantia).
2. Кількість. (Quantitas),
3. Якість (qualitas).,
4. Відношення (relatio).
5. Місце (ubi).
6. Час (quando).
7. Положення (situs);
8. Володіння (habitus);
9. Дія (actio).
10. Страждання (passio).
Під ці десять категорій, на думку Аристотеля, підходить все те, що можна мислити. Якщо ми бажаємо висловити про ті чи інші речі що-небудь саме загальне, то ми не можемо про них висловити нічого іншого? крім того, що вони суть або субстанції, або що вони позначають якість, відношення, місце і т. п. Інших точок зору, крім тих, які містяться в категоріях, не існує. Таким чином, можна сказати, що категорії являють собою найбільш загальні класи всього мислимого.
Отже, розглянемо які види понять існують в сучасній логіці. На основі вивчення та аналізу літератури [7] можна скласти наступну зведену класифікацію.
Загальні, одиничні, порожні поняття. Обсяги понять можуть бути різними. Перш за все, не можна плутати поняття загальні і одиничні; їх відмінність в логічних властивостях не допускає однакового поводження з ними при виконанні операцій. У цілому ряді випадків для них діють різні правила. Загальні поняття охоплюють багато предметів. Причому "багато", як і множина у граматиці, починається з двох. Іншими словами, навіть якщо в обсязі лише два явища або дві речі, то цього достатньо, щоб охоплює їх поняття вважати загальним.
«Так," полюс Землі "представляє собою загальне поняття, хоча полюсів всього два - північний і південний. Тим більш загальними є поняття "книга", "ракета", "морський ссавець" - в обсязі кожного з них далеко не один предмет. Сама примітна риса цих понять полягає в наступному: те, що позначається про загальну, то одночасно може позначатися про кожен елемент з об'єму. Перш за все, для науки важливі загальні поняття; всі наукові основоположні формулюються з їх допомогою. Одиничні поняття, на відміну від загальних, охоплюють тільки один предмет. Такі "Атлантичний океан", "атомний криголам" Ленін "," Ейфелева вежа "," Цар-гармата ". У логіці розглядаються також порожні поняття. Вони мають нульовий обсяг:" вічний двигун "," Баба-Яга "," чотири, помножене на сонату Бетховена "," підвищення продуктивності сільського господарства в Росії в результаті фермерізацію »[8]
Співвідносні і несоотносітельние поняття. Існує ціла група примітних у теоретичному відношенні явищ і предметів, а також визначають їх понять, які мисляться тільки парами; на їх логічне своєрідність свого часу вказав німецький філософ Гегель. Причина - наслідок, вчитель - учень, раб - пан, схід - захід. Одне не буває без іншого. Учитель, у якого немає і не було учнів, ніяк не може вважатися вчителем; рівним чином і учнів без вчителя не буває. Так само нерозривні пов'язані й інші пари. Звичайно, можна відволіктися від того, що у причини є слідства, але тоді вона не причина, а просто подія. І батько може, зрозуміло, існувати і поза співвідношення з сином, але тоді він не батько, а чоловік взагалі. Більшість понять є несоотносітельнимі; для розкриття їх змісту не потрібно залучати якісь пов'язані з ними, в деякому сенсі протилежні їм поняття.
Абстрактні і конкретні поняття. Будь-яке поняття, строго кажучи, обов'язково є абстрактним в тому сенсі, що воно залишає в собі тільки найбільш важливі з будь-якої точки зору ознаки і відкидає всі інші (абстрагується від них). Однак власне абстрактними прийнято називати такі поняття, у зміст яких входить яке-небудь властивість чи дію, - білизна, збудливість, демократичність, світність. Випадають з розгляду в цьому випадку самі речі, що є можливими носіями даних властивостей (абстрагуються, отже, від самих предметів). Такі поняття протиставляються конкретним, які, навпаки, відображають предмети і явища самі по собі.
Реєструючі і нерегістрірующіе поняття. Поділ понять на ці два види викликано розвитком математичної логіки і комп'ютеризацією. Тут мова йде про можливість хоча б в принципі перерахувати предмети, що входять в обсяг відповідного поняття. У залежності від цього змінюються властивості програм та алгоритмів, за допомогою яких ці обсяги обробляються. Якщо охоплені поняттям предмети можна перерахувати або хоча б вказати спосіб їх перерахунку, то поняття є щ. Якщо ж перерахунок неможливий, то тоді воно нерегістрірующее.
Збірні і розділові поняття. Збірні поняття на відміну від розділових характеризують сукупності предметів і речей з боку переважаючих в них властивостей [9]. Такі властивості, будучи типовими для всієї множини, не є, проте обов'язковими для кожного предмета окремо. Збірні поняття тому й треба відрізняти від звичайних розділових, що з колективними поняттями неможливо здійснювати логічні операції, так як загальні висловлювання про них не дозволяють робити висновки про кожний з окремих предметів, що входять до їх обсяг. У повсякденній мові й у художній літературі можуть не звертати увагу на зазначену різницю в сенсі понять. Для логіки ж вона істотно важлива. Тільки у роздільних понять те, що йдеться про загальний, відноситься до кожного окремо. Додаток ж логічних законів до розділових поняттям і здійснення логічних перетворень над ними мають значні обмеження.
У загальному і цілому треба пам'ятати, що віднесення понять до того чи іншого виду повинно починатися з визначення його змісту. Поки воно не задано, говорити і тим більше сперечатися про його характеристики безглуздо.
Субординація цих видів понять може бути представлена ​​на такій схемі (див. рис. 2).

2.2. Типи відносин між поняттями
Логічні операції, що дозволяють робити певні висновки і доводити якісь твердження, грунтуються, як вже зазначалося раніше, на зв'язках і відносинах різних понять. Такі зв'язки дуже різноманітні і на їх вивчення, в кінцевому рахунку, і спрямована вся наука, вся пізнавальна діяльність людини взагалі. Частина з них вивчається лише логікою і ніколи не робиться предметом спеціальної уваги інших наук. Зараз мова піде саме про таких зв'язках і відносинах, вони можуть бути обумовлені як змістом понять, так і їх обсягом.
Класифікація понять з точки зору взаємин між ними починається з поділу їх на порівнянні, яким властиві суто логічні зв'язки і стосунки, і незрівнянні, у яких таких зв'язків немає взагалі, їх відмінна риса полягає в тому, що ні в їх утриманні, ні в їх обсязі немає загальних елементів [10]. Тому, знаючи щось про одного з них, не можна робити висновки про інше - відсутність логічних зв'язків не дозволяє прокласти перехід між ними. Чисто логічні зв'язки і відносини обов'язково є у порівнянних понять, тому що у них є спільні елементи в об'ємі і (або) змісті. І робити умовиводи щодо їх можна, спираючись на одні лише формальні особливості, взяті з їх визначень.
Порівнянні поняття поділяються на два види - сумісні і несумісні, а кожен з цих у свою чергу розпадається ще на три різновиди. До сумісним відносяться: рівнозначні (тотожні), перехресні (пересічні) і підлеглі (субординовані) поняття.
Відношення рівнозначності (тотожності). Рівнозначні поняття мають однаковий обсяг, але різний зміст; ними охоплюються одні й ті ж предмети, але задаються ці предмети через різні ознаки. Так, якщо ми спочатку будемо говорити про рівносторонніх трикутники, а потім звернемося до рівнокутні трикутниками, то ясно, що предмет обговорення не зміниться, просто ми будемо його інакше називати.
Відношення перехрещення (перетинання). Перехресні поняття мають різний зміст, але обсяги їх частково збігаються і в той же час частково не збігаються.
Відношення підпорядкування (субординації). Поняття, що перебувають у відношенні підпорядкування, мають однакові елементи у змісті, а обсяг одного (підлеглого) повністю входить в обсяг іншого (підпорядковуючого).
Відношення супідрядності (координації). Супідрядних понять мають у змісті загальні елементи, завдяки яким всі разом входять до родового поняття, але спільних елементів у їх обсягах немає.
Відношення протиріччя (контрадікторності). У розділі про закони логіки вже говорилося про ставлення суперечності і протилежності між висловлюваннями. Такі відносини можливі і між поняттями. Суперечать називаються поняття, коли в одного з них є та чи інша ознака, а в іншого він заперечується (ознака взагалі-то зазначається у змісті того й іншого, але по-різному).
Відношення протилежності (контрарності). Протилежні поняття є видами одного і того ж роду, але одне з них має якоюсь ознакою, а інше не тільки не володіє ним, але і має понад те ще й ознака, несумісний з даними, спрямований проти нього .

3. Практика логічного узагальнення висновків
Логіка вивчає мислення. Є й інші науки, які мають його своїм предметом дослідження, наприклад психологія і фізіологія. Проте в логічній науці мисленням цікавляться лише остільки, оскільки воно займається міркуванням, доказом, обгрунтуванням своїх тверджень і висновків. Вона, таким чином, є наукою про закони мислення, зайнятого пошуком істини. Її називають також наукою про вивідному знанні, наукою про докази. Логіка досліджує зчеплення думок між собою, їх необхідні зв'язки: обов'язковість, непорушність проходження висновків з будь-яких суджень або, навпаки, несумісність тих чи інших висловлювань.
Важливу роль у логіці відіграє поняття форми мислення. Логіку можна навіть називати наукою про форми думки.
Поняття виконують дві основні функції [11]:
1) Пізнавальна функція. Вона здійснюється на основі такої логічної операції, як застосування поняття.
2) Комунікабельна. Вона тісно пов'язана з попередньою тобто функція засобу спілкування.
При дослідженні процесу розв'язання задач можна виділити два завдання. З одного боку, необхідно виявити правильні (надійні) способи міркувань. Цією завданням, яку можна сформулювати у вигляді питання "що є правильне міркування (висновок)?", Займається логіка. Для відповіді на це питання логіка спирається на поняття логічної форми, для "роботи" з якою в логіці використовуються синтаксичні процедури побудови логічних числень, які при істинності посилок гарантують істинність висновків ..
З іншого боку, процес рішення можна вивчати з точки зору питання: "як будувати правильні міркування?". Цією завданням займається інша наука - евристика. Евристика в загальному вигляді досліджує питання про способи і принципах вирішення завдань. У більш вузькому сенсі, під евристикою (евристичним принципом) розуміється система правил (правило), що визначає таку тактику пошуку рішення задачі, яка суттєво обмежує перебір при пошуку можливих рішень.
Завдання логіки. Є положення або факти, істинність яких вбачається безпосередньо, і є положення або факти, істинність яких вбачається посередньо, саме за посередництвом інших положень або фактів. Якщо сказати: «я голодний», «я чую звук», «я відчуваю тяжкість», «я бачу, що цей предмет великої», «я бачу, що цей предмет рухається» і т. п., то я висловлю факти, які повинні вважатися безпосередньо пізнаваними. Такого роду факти ми можемо назвати також безпосередньо очевидними, тому що вони не потребують ніякого доказі: їх істинність очевидна без доказів. До числа безпосередньо очевидних положень відносяться, перш за все, ті положення, які є результатом чуттєвого сприйняття.
Всі ті факти, які відбуваються в нашому відсутності (наприклад, минулі явища, а також і майбутні), можуть бути пізнавані тільки посередньо. Факти посереднього пізнання або просто посередня пізнання є результатом умовиводи, виводу. Посереднє знання доводиться, робиться переконливим, очевидним за допомогою знань безпосередніх. Цей останній процес називається доказом.
Таким чином, є положення, які не потребують доказів, і є положення, які потребують доказів і очевидність яких вбачається посередньо, побічно.
Якщо є положення, які потребують доказів, то в чому ж полягає доказ? «Доказ полягає в тому, що ми положення неочевидні намагаємося звести до положень або фактами безпосередньо очевидним або взагалі очевидним. Такого роду зведення положень неочевидних до положень очевидним найкраще можна бачити на доказах математичних »[12].
Таким чином, пізнання посереднє потребує доказів; пізнання безпосереднє доказів не потребує і служить основою для доказу пізнань посередніх [13].
Помітивши таке відношення між положеннями посередньо очевидними і положеннями безпосередньо очевидними, ми можемо зрозуміти завдання логіки. Коли ми доводимо щось, тобто коли ми зводимо неочевидні положення до безпосередньо очевидним, то в цьому процесі відомості ми можемо зробити помилку: наше умовивід може бути помилковим. Але існують певні правила, які показують, як відрізняти умовиводи правильні від умовиводів помилкових. Ці правила вказує логіка. «Завдання логіки тому полягає в тому, щоб показати, якими правилами має слідувати умовивід, щоб бути вірним» [14]. Якщо ми ці правила знаємо, то ми можемо визначити, чи дотримано вони в тому або іншому процесі умовиводи.

Висновок

Отже, з вищесказаного можна зробити наступні висновки і висновки:
1. Поняття є однією з форм абстрактного мислення. Конкретні предмети і їх властивості відбивають за допомогою форм почуттів, пізнання - відчуття, сприйняття, уявлення.
2. У поняття відбивається лише суттєві ознаки. Ознаки - предмети схожі один з одним або навпаки. Властивості і відносини є ознаками. Уявлення можуть бути тотожними (цукор, мед) як (мед солодкий, лимон кислий).
3. Ознаки бувають суттєві і несуттєві.
4. Поняття - форма мислення в яких відображаються істотні ознаки класу однорідних предметів. Мовними формами вираження понять є словосполучення або слова.
5. Будь-яке поняття має зміст і обсяг. Зміст - сукупність істотних ознак класу однорідних предметів відображених у цьому поняттям. Змістом поняття ромб є сукупність 2-х істотних ознак: бути параллелограммом і мати рівні сторони. Обсяг - це клас узагальнених у ньому предметів.
6. Між обсягом і змістом діє закон. Обернено пропорційний залежності тобто чим ширше зміст тим вже обсяг і навпаки.
7. Основними логічними прийомами формування понять є: Аналіз, синтез, порівняння, узагальнення, абстрагування.
Синтез - мислене поєднання в єдине ціле частин предмета, отриманих у процесі аналізу.
Аналіз - розчленування предметів на їх складові частини, уявне виділення в них ознак.
Порівняння - уявне встановлення подібності або відмінності предметів по істотних або не істотним ознаками.
Абстрагування - мислене виділення одних ознак предмету і відволікання від інших. Узагальнення - уявне об'єднання окремих предметів у деяке поняття.
8. За обсягом поняття поділяються на: одиничні, загальні, порожні
9. За змістом поділяються на: конкретні; абстрактні; позитивні; негативні; відносні; безвідносні поняття; збірні, не збірні
10. Поняття як і ім'я виражається у мові словом або словосполученням, але якщо ім'я лише вказує на предмет, то поняття розкриває його сутність.

Список літератури

1. Жеребкін В.Є. Логічний аналіз понять права, Київ, Вища школа, 1976
2. Іванов Є.О. Логіка: Підручник для юридичних вузів. - М.: Бек, 1996
3. Івін О.А. Логіка Підручник для гуманітарних факультетів.
- М.: ФАИР-ПРЕСС, 1999
4. Івлєв Ю. В. Логіка для юристів. - М.: Справа, 2001
5. Рузавіч Г. І. Логіка. - М.: ЮНИТИ - ДАНА, 2002
6. Челпанов Г. І. Підручник логіки. - М.: 2000