Контрольна робота
з дисципліни
ЛОГІКА
на тему
ПОНЯТТЯ І МІРКУВАННЯ

Зміст

Введення

I. Види і склад простих суджень

1. Атрибутивні судження

2. Релятивних судження

3. Екзистенційні судження

II. Контрольне завдання:

1. Поняття

2. Судження

Висновок

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

Введення

Європейська формальна логіка з історії свого виникнення і розвитку особливо тісно пов'язана з трьома науками - філософією, граматикою і математикою. Її творцем вважається Арістотель (384 - 322 рр.. До н. Е..). Сам термін "логіка", введений стоїками (на відміну від них Аристотель застосовував до законів мислення термін "аналітика"), позначав словесне вираження думки (logos). Саме в античній філософії позначився питання про співвідношення мислення та мови. Основним для більшості грецьких філософів був принцип "довіри до мови" у його виявленні розуму і довіри до розуму в його пізнанні фізичного світу.
Передбачалося, що, подібно до того, як назва виражає сутність означуваного ним предмета, структура мови відображає структуру думки. Найбільш ранні терміни, що застосовувалися греками до мови, мали синкретично логіко-лінгвістичний зміст. Терміном logos позначалися і мова, і думку, і думку, і пропозиція. Ім'я (грец. onoma) відносилося і до класу слів (іменником), і до їхньої ролі у судженні (суб'єкту); дієслово (грец. rema) означав і частина мови, і відповідний їй член речення (присудок). Таким чином, увагу фіксувалося тільки на випадках взаємної відповідності, гармонії логічних і мовних категорій.
У наступні століття філософи також займалися формальною логікою і зробили ряд нових відкриттів у цій області, але структура логіки як науки, вироблена Аристотелем, по суті, не змінилася. Цю форму логіки називають також "традиційною логікою". Окремі значні внески у подальший розвиток формальної логіки, зроблені, наприклад, в кінці XVII століття Готфрідом Вільгельмом Лейбніцем (1646 - 1717 рр..), Практично не вплинули на її традиційну форму. Лише в середині XIX століття почався бурхливий розвиток цієї науки. У цьому відношенні важливу роль зіграв Готліб Фреге (1848 - 1925 рр..), Якого вважають творцем сучасної логіки, а його праці порівнюють з працями Арістотеля.

I. Види і склад простих суджень

Судження - це форма думки, якою що-небудь стверджується або заперечується, і яка приймає логічне значення істинності або хибності. Якщо те, що стверджує судження істинно => воно істинне. Помилкове судження - «всі рослини їстівні». Судження може бути невизначеним: «на Марсі є життя». Невідомо, правда це чи брехня.
Склад простого категоричного судження - це таке судження, в якому щось стверджується або заперечується про предмет з необхідністю (собака - це тварина). Складається з 3-х елементів:
Суб'єкт - це частина судження, яка виражає предмет думки. S (subjectum)
Предикат - це та частина судження, в якій щось стверджується або заперечується про предмет думки. (Praedicatum)
Зв'язка «є, суть, є»
Іноді кванторное [1] слово - «все, ні один, що-то».
Суб'єкт і предикат - терміни судження.
Залежно від характеру предиката всі судження діляться на 3-и групи:

1. Атрибутивні судження

Атрибутивним (від латинського attributio - «властивість», «ознака») судженням є таке, в предикаті яких виражені властивості або ознаки предметів. У простому атрибутивних суджень є суб'єкт, предикат, зв'язка і квантор. Суб'єкт атрибутивного судження - це поняття про предмет судження. Предикатом атрибутивного судження називається поняття про ознаку предмета, що розглядається в судженні. Схема: S є Р «Мед солодкий»; S не є Р «Мед не солодкий» називається судження про ознаку предмета. У ньому відбивається зв'язок між предметом і його ознакою, цей зв'язок стверджується або заперечується. Наприклад: «Терміни оренди визначаються договором», «Ніхто із суддів не має права утриматися від голосування».
Деякі судження відображають приналежність (чи неналежність) предмету декількох ознак. У цьому судженні суб'єкт має не один, а два або більше предикатів. Наприклад: «Ніхто (S) не може зазнавати безпідставного арешт (Pi), затримання (Рз) або вигнання (Рз)». Це судження є складним, що складається з трьох простих, але воно може бути розглянуто як просте з одним складним предикатом:
S є Р (Pi, Pi, Рз) [2].
У традиційній логіці атрибутивні судження називаються також категоричними (від грецького kategorikos - «ясний», «безумовний», «не допускає інших тлумачень»). За якістю зв'язки («є» або «не є») категоричні судження поділяються на позитивні і негативні. Судження «Багато підприємств є приватними», «В.В. Путін є Президентом Російської Федерації »ствердні. Судження «Деякі будинки не є упорядкованими», «Жодна карась не є хижою рибою» від'ємні. Зв'язка «є» в позитивному судженні відображає наявність у предмета (предметів) деяких властивостей. Зв'язка «не є» відображає те, що предмету (предметів) не властиве деяке властивість.
У негативному істинному судженні наша думка роз'єднує (розділяє) те, що знаходиться розділеним в об'єктивному світі.
У залежності від того, про все клас предметів, про частину цього класу або про один предмет йде мова в суб'єкті, судження поділяються на загальні, одиничні й приватні.
Структура загального судження: «Всі S є (не є) Р». [3]
Серед загальних суджень зустрічаються виділяють судження, до складу яких входить квантор «тільки». «Тільки добра людина може бути лікарем» (П. Дюбуа). Прикладами виділяють суджень є й таке: «Тільки шляхетні гази. І тільки вони не утворюють хімічних сполук з елементами ». [4]
Серед загальних суджень є виключають судження, наприклад: «Всі співробітники нашого відділу, за винятком хворих, прийшли на роботу». До числа виключають суджень відносяться і ті, в яких виражені виключення з правил російської чи інших мов, правил логіки, математики та інших наук.
Приватні судження мають структуру: «Деякі S є (не є) Р». Вони діляться на невизначені і певні. Наприклад, «Деякі гриби - їстівні» - невизначене приватне судження. Ми не встановили, чи мають ознакою їстівності всі гриби, але не встановили і того, що ознакою їстівності не володіють деякі гриби. Якщо ми встановили, що «Тільки деякі S мають ознакою Р», то це буде певний приватне судження, структура якого: «Тільки деякі S є (не є) Р». Приклади: «Тільки деякі гриби їстівні»; «Тільки деякі гострокутні трикутники є рівностороннім»; «Тільки деякі тіла легше води». У певних приватних судженнях часто застосовуються квантори: більшість, меншість, чимало, не всі, багато, майже всі, декілька і ін Для того, наприклад, щоб усунути невизначеність приватного судження: «Деякі студенти запізнилися на лекцію», - треба уточнити, скільки студентів і хто саме запізнився, тобто назвати прізвища.
Одиничні судження мають структуру: «Це S є (не є) Р». Приклади одиничних суджень: «Тирасполь - столиця Придністровської Молдавської Республіки", "Еверест - найвища вершина світу», «Вулкан Ключевська сопка - діючий».
Приватні судження мають структуру: «Деякі S є (не є) Р». Вони діляться на невизначені і певні. Наприклад, «Деякі гриби - їстівні» - невизначене приватне судження. Нам невідомо, чи мають ознакою їстівності всі триби, але ми не встановили і того, що ознакою їстівності не володіють деякі гриби. Якщо ми встановили, що «Тільки деякі S мають ознакою Р», то це буде певний приватне судження, структура якого: «Тільки деякі S є (не є) Р». Приклади: «Тільки деякі гриби їстівні»; «Тільки деякі гострокутні трикутники є рівностороннім»; «Тільки деякі тіла легше води». [5] У певних приватних судженнях часто застосовуються квантори: більшість, меншість, чимало, не всі, багато, майже всі, декілька і ін Для того, наприклад, щоб усунути невизначеність приватного судження: «Деякі студенти запізнилися на лекцію», - треба уточнити, скільки студентів і хто саме запізнився, тобто назвати прізвища.

2. Релятивних судження

Релятивних (від лат. Relativus - відносний) судження - в предикаті яких виражені не властивості або ознаки предметів, а відносини між ними Це можуть бути відносини рівності, нерівності, спорідненості, просторові, тимчасові, причинно-наслідкові та інші відносини. Наприклад: «А дорівнює В», «С більше D», «Семен - батько Сергія», «Казань схід від Москви», «Мораль виникла раніше права», «Пияцтво - причина багатьох злочинів».
Ставлення відрізняється від властивості тим, що віднесення його (у вигляді логічного присудка) в думці до того чи іншого предмету породжує не істину або брехня, а нісенітницю. Справді, вираз «Ярославль північ», «цей будинок вище», «десять більше» не містить ніякого сенсу. Ставлення передбачає зв'язок, принаймні, між двома предметами.
З нескінченно величезного числа форм відносин між предметами логіка досліджує деякі найбільш загальні властивості відносин. Наприклад властивість симетричності («якщо А дорівнює В, то і С одно А»), асиметричності («якщо А більше В, то В менше А»), перехідності («якщо А більше В, а. В більше С, то А більше С ») та ін [6]
Прийнята наступна запис судження з відносинами: xRy, де х і у - члени відносини, вони позначають поняття про предмети, R - відношення між ними (R - перша буква латинського слова relativus). Запис читається: х знаходиться у відношенні R до у. Запис негативного судження (xRy) (невірно, що х знаходиться у відношенні R до у) [7].
Судження з відносинами мають структуру, що відрізняється від структури атрибутивних суджень. Тим не менше вони можуть бути перетворені в атрибутивні. Наприклад, судження «А дорівнює В» розглядається як судження, де А - суб'єкт судження, «дорівнює В» - його предикат; при такій інтерпретації рівність предмету У виступає як ознака предмета А. Судження «Семен - батько Сергія» розглядається так: «Семен (S) - батько Сергія (Р) », батько Сергія - ознака Семена. [8]

3. Екзистенційні судження

У судженнях існування (екзистенціальних судженнях; від латинського existentia - «існування») висловлюється сам факт існування або неіснування предмета судження. Наприклад: «Існують статистичні закони», «На Землі вже немає багатьох видів тварин». Предикатами цих суджень є поняття про існування чи неіснування предмета; зв'язка, як правило, у мові не виражається, але шляхом перетворення граматичної форми судження вона може бути виражена словами «є», «не є», «є» і т.п. Наприклад: «Статистичні закони (S) є (зв'язка) те, що існує (Р)».

II. Контрольне завдання:

1. Поняття

Придумати самостійно або відшукати в спеціальній літературі (але не за логікою!):
1.1 приклади:
а) узагальнення поняття
Узагальнення поняття (англ. Concept gneralisation) - логічна операція, яка полягає в тому, що якого-небудь поняття знаходиться більш широке за обсягом поняття, до обсягу якого входить і обсяг досліджуваного поняття [9]
Зірки, що світяться газові (плазмові) кулі, подібні Сонцю.
б) обмеження поняття
Обмеження поняття (англ. concept delimitation) - логічна операція, яка полягає в тому, що для будь-якого поняття знаходиться менше широке за обсягом поняття. Обмеження поняття - логічна операція, яка протилежна логічної операції узагальнення поняття. [10]
Взявши поняття «населений пункт», обмежимо його до поняття «місто», «столиця», «столиця незалежної держави», «столиця ПМР» або «столиця ПМР» (Тирасполь)
1.2. приклад визначення поняття (дефініція) і дати йому логічну характеристику (тобто вказати визначається і визначальне поняття, а в останньому - рід і видову відмінність);
Визначення (лат. Definition) - це логічна операція, що розкриває зміст поняття. Визначити поняття - означає вказати, що воно означає, виявити ознаки, що входять в його зміст. [11] Поняття, зміст якого потрібно розкрити, називається визначальним (дефініендум); поняття, що розкриває зміст визначуваного поняття, - визначальним (дефініенс). Вживаються скорочені позначення: Dfd (від латинського definiendum - обумовлений) і Dfn (від латинського definience - визначальна). [12]
«Юриспруденція (правознавство), суспільна наука, яка вивчає право як особливу систему соціальних норм».
У визначенні визначається предмет (юриспруденція, правознавство) вводиться в клас наук - суспільна наука (рід), а потім за допомогою вказівки специфицирующих ознаки «вивчає право як особливу систему соціальних норм» (видову відмінність) виділятися серед інших наук, які не володіють цією ознакою.
Таким чином «юриспруденція» - визначається предмет, а визначальна частина «суспільна наука, яка вивчає право як особливу систему соціальних норм».
1.3. приклад поділу поняття і дати йому логічну характеристику (тобто вказати вид поділу, ділене поняття, члени поділу і основнаіе поділу);
Розподіл (лат. devisio) - це розподіл на групи тих предметів, які мисляться в вихідному понятті. [13]
«Придністровська Молдавська Республіка - суверенна, незалежна, демократична, правова держава» (Конституція ПМР, ст.1)
Ознака, за якою здійснюється поділ обсягу поняття, називається підставою поділу. Розподіл здійснюється за видозміні ознаки, в даному випадку це правові форми існування держави. Підмножини, на які поділено обсяг поняття, називаються членами поділу і в нашому випадку це - «суверенна, незалежна, демократична, правова держава». Ділене поняття «Придністровська Молдавська Республіка» - це родове, а його члени поділу «суверенна, незалежна, демократична, правова держава» - це види даного роду, супідрядні між собою, тобто не перетинаються за своїм обсягом (що не мають спільних членів) .
1.4. приклади логічних помилок - наслідків порушення кожного з правил:
а) визначення;
1. Правило: визначення повинне бути відповідним.
«Квантова механіка є розділ фізики, що вивчає рух мікрооб'єктів». Обсяги визначається і визначає поняття збігаються.
2. Визначення не повинно містити в собі кола
«Ідеаліст - послідовник ідеалістичних поглядів»
3. Визначення має бути ясним.
«Індетермінізм - це філософська концепція, протилежна детермінізмові». Тут є визначення невідомого через невідоме. Поняття «детермінізм» само вимагає пояснення.
4. Визначення не повинно бути тільки негативним
«Леви - це тварини, що не зустрічаються в лісах холодного пояса»
б) поділу понять.
1. Правило: розподіл має вестися тільки по одній підставі.
«Клімат був помірним, жаркий, морський і континентальний».
Такий вираз буде невірно. Правильно буде поділ на холодний, помірний і жаркий.
2. Правило: розподіл має бути пропорційним, або вичерпним, тобто сума обсягів членів поділу повинна дорівнювати обсягу діленого поняття.
«Трикутники бувають тупоугольние і гострокутні» (пропущені прямокутні трикутники). Цей поділ буде невичерпний.
3. Правило: члени поділу повинні взаємно виключати один одного.
Згідно з цим правилом, кожен окремий предмет не повинен входити до обсягів інших видових понять.
«Прості числа діляться на класи, кратні двом, трьом, чотирьом, п'яти, шести, семи, восьми, дев'яти, десяти».
Представлене судження невірно, так як класи перетинаються. Число 10 потрапляє і в перший і в четвертий класи, а число 6 - і в перший і в другий класи.
4. Правило: розподіл має бути безперервним.
«Серед хребетних тварин виділяються такі класи: риби, земноводні, плазуни до яких відносяться, черепахи, крокодили, дзьобоголових (гаттерія) і лускаті (ящірки, амфісбени і змії), птахи та ссавці.»
Помилка запропонованого судження у тому, що в кожному з класів є види і підвиди, але тільки плазуни дані в подальшому розподілі, що є стрибком

2. Судження

Придумати самостійно або підібрати в спеціальній літературі (але не за логікою!):
2.1. по одному прикладу атрибутивного судження, судження з відношенням і судження існування та вказати, до якого виду - воно відноситься;
атрибутивне судження - лимон жовтий
судження з відносинами - Дністер повноводнішим Ягорлика
судження існування - У Дністрі водиться риба
2.2. приклади чотирьох видів суджень об'єднаної класифікації і продемонструвати на них правила поширеності термінів;
А. Общеутвердітельное судження (Всі S суть P)
Всі солдати - військовослужбовці.
S - «солдат», P - «військовослужбовець», квантор спільності - «всі»
Суб'єкт розподілений, обсяг повністю включений в обсяг предиката.
Частноутвердітельное судження (Деякі S є P)
Деякі військовослужбовці - офіцери.
S - "військовослужбовці», P - «офіцери». Суб'єкт не розподілений, тому що обсяг суб'єкта лише частково включений в обсяг предиката
Є. Общеотріцательное судження (Жодне S не є P)
Ні одна школярка не є військовослужбовцем.
S-«школярка», P - «військовослужбовець», квантор спільності - «ні одна». Обсяг суб'єкта повністю виключається з обсягу предиката, і навпаки, тому і S і P розподілені.
О. частноотріцательное судження (Деякі S не є P)
Деякі офіцери не є генералами.
S - «офіцери», P - «спортсмен», квантор існування - «деякі»
Суб'єкт не розподілений, а предикат розподілений.

Висновок

Логіка - це особливий, самобутній світ зі своїми законами, умовностями, традиціями, суперечками і т.д. Те, про що говорить ця наука, знайоме і близьке кожному. Але увійти в її світ, відчути його внутрішню узгодженість і динаміку, перейнятися його своєрідним духом непросто.
У роботі розглянуті деякі логічні форми, а також методологічно важливі категоріальні логічні поняття.

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

1. Бузук Г.Л., Делія В. П. Логіка: експрес-курс для початківців. Балашиха, 1994.
2. Гетманова А.Д. Логіка, М., 1986.
3. Івін О.А. Логіка, М., 1997.
4. Івлєв Ю. В. Логіка, Кн. дім «Університет», М.1999.
5. Кирилов В.І., Старченко А.А. Логіка: підручник для юридичних вузів. М, 2001.
6. Кондаков Н.І. Логічний словник, М., 1971.
7. Лагута О.М. Логіка і лінгвістика. Новосибірськ, 2000.
8. Вправи за логікою: Навч. посібник / під ред. В.І. Кирилова. М., 1996.