Модальність

Зміст:

Вступ……………………………………………………………………………….3

1.Модальність………...………………………………………………………..….4

2.Епістемічні модальні……………………………………………………………4

 

3.Деонтичні модальні ………………………………………………………..…...5

4.Алетичні модальні………………………………………………………............6

Висновок…………………………………………………………………………...8

Список використаних джерел…………………………………………………....9

 

 

 

Вступ

 

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

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

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

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

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

 

 

  1. Модальність

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

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

Модальними висловлюваннями цікавився Аристотель. Він навіть запропонував деякі правила оперування модальними висловлюваннями певного виду, побудував перший варіант модальної силогістики, виокремив такі модальні терміни, як «необхідно», «можливо»,«неможливо», «випадково». У середні віки модальні висловлювання не залишалися поза увагою, їх досліджував французький філософ і логік Вільям Шервуд, який виокремив шість логічних значень: «істинно», «хибно», «можливо», «неможливо», «випадково», «необхідно». Особливий внесок у розвиток модальної логіки здійснив Г. В. Лейбніц. Його вважають основоположником теорії можливих світів. У сформованій  Г-В. Лейбніцем системі логічних модальностей можливе розглядалось як еквівалентне (рівносильне) несуперечному; необхідне — тому, заперечення чого є суперечним; випадкове — тому, заперечення чого є несуперечним, неможливе — суперечному. Якісні зрушення в розвитку модальної логіки відбулися у 20-60-ті роки XX ст. Значний внесок у її розроблення здійснив американський філософ і логік Кларенс - Ірвін Льюїс, який створив формалізовані системи алетичних модальностей і, виявивши недоліки матеріальної імплікації, запровадив поняття «строга імплікація», прагнучи перебороти виявлені тоді парадокси. Модальна логіка зосереджується на таких різновидах: алетична логіка, темпоральна логіка, деонтична логіка, епістемічна логіка.

 

2. Епістимічні модальності

Епістимічні модальності – термін походить від слова «епистема», означаючого у античній філософії вищий тип безсумнівного, достовірного знання, це котре виражається у судженні інформація про підстави ухвалення, й ступеня його обгрунтування.

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

· Перший тип – це засновані на думках судження, які виражають віру.

Поепистемическому статусу віра – це стихійне, некритичне прийняття чужих думок, істинних чи хибних, прогресивних чи реакційних.

· Другий тип – логічно обгрунтовані судження, які виражають знання.

Знання, чинник логічного впливу – це прийняття судження як істинного чи помилкового через її обгрунтованості іншими судженнями, у тому числі прийняте судження логічно випливає як наслідок, де До – модальний оператор, що означає «знання».

За рівнем обгрунтованості серед знань розрізняють два непересічних класи суджень: достовірні і проблематичні.

1.Достовірні судження – це дуже обгрунтовані істинні чи хибні судження.Модальность можна сформулювати з допомогою двох операторів:

·Доведеності– V.

  • Проблематичності – F.

2.Проблематичне судження – це судження, які можна вважати достовірними з їх недостатньою обгрунтованості. Точнісінько не встановити істинність чи неправдивість таких суджень, всі вони лише можуть бути такими. Їх і називають: проблематичні, правдоподібні, ймовірні.

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

 

3.Деонтична модальність

Деонтична модальності – термін позичений з грецької мови та означає «обов'язок», це котре виражається у судженні прохання, рада, наказ чи розпорядження, що спонукає когось до дій.

Деонтична (нормативні) модальності свідчить про типпредписиваемих в судженні діянь П.Лазаренка та виражаються у термінах: «дозволено», «не дозволено», «обов'язково», «байдуже» та інших.

Серед розпоряджень слід виділити нормативні розпорядження, які включають і норми права.

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

Явно чи неявно виражені у правовий нормі компоненти:

·авторитет – орган, який встановив норму;

·адресат – особи, яким належить виконувати розпорядження;

·диспозиція – підлягає виконання дію;

·деонтична характеристика норми – певний тип розпорядження;

· санкція – юридичні наслідки невиконання розпорядження.

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

·O – зобовязання;

·F – заборона;

·P – дозвід.

Відповідно деонтичними операторами серед норм права розрізняють:

1.правообязающі – норми формуються з допомогою слів: «зобов'язаний», «повинен», «визнається» та інші.

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

Раціонально побудована нормативно – правова система має відповідати мінімальним модальнимдеонтическим вимогам:

1. несуперечність – в тому, що систему права виключаєдеонтически несумісні норми.

2. збалансованість – в тому, що у правову систему для будь-якоїправопредоставляющей норми передбачена відповідна їйправообязивающая норма.

3. повнота – означає, що у системі регулюються всіх передбачених у цій предметної області дії у ній немає нерегульованих дій.

 

4.Алетична модальності

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

Існує два способи зумовленості, чидетерминированности суджень що обумовлюють відповідні типимодальностей:

1. Логічний модальності – це логічне детермінування судження, істинність чи неправдивість визначається структурою, чи формою судження.

До логічно істинних (L-и) відносяться судження, які виражають закони логіки.

До логічно хибним (L-л) – внутрішньо суперечливі судження.

Логічно істинні судження разом із логічно хибними (>L-иL-л) утворюють клас логічно детермінованих суджень. Решта судження, істинність чи неправдивість яких немає може бути оцінена виходячи з їхньої структури, становлять клас фактично детермінованих суджень:F-иF-л.

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

До фактично істинних (F-и) відносяться судження, у яких зв'язок між термінами відповідає реальним відносин між предметами.

До фактично хибнних(F-л) відносяться судження, у яких зв'язок між термінами неправдива.

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

Необхідність-випадковість. Фактично необхідними є судження, які містять інформацію про законах науки.

Суждения необхідності може бути істинними, однак вони можуть бути збільшена й хибними. Вони становлять клас фактично необхідних суджень. Решта фактичні судження ставляться до випадковим.

Фактично випадкові – це судження, які містять інформації про закони науки, які істинність і неправдивість визначаються конкретними емпіричними умовами.

Модальні поняття «необхідність» і «випадковість» може бути еквівалентно виражені інший парою модальних понять – можливість і неспроможність.

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

Дополненням до класу фактично можливих суджень є клас фактично неможливих суджень.

Фактично неможливими є судження, містять інформацію про принципової несумісності виражених у суб'єкт і предикаті явищ.

 

 

Висновок

 

Логіка – це наука про мисленні. Проте на відміну з інших наук, які вивчають мислення людини, наприклад фізіології вищої нервової діяльності чи психології, саме логіка вивчає мислення як пізнання; предметом логіки є закони та форми, прийоми та операції мислення, з допомогою яких людина пізнає навколишній світ.

Модальна логіка - напрям сучасних логічних досліджень; модальна система, створена на підставі певного типу модальності. Визначимо зміст понять, які виявляють специфіку побудови модальних систем.

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

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

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

 

 

 

Список використаних джерел

 

  1.      Конверський А.С. Логіка. – К., 1998. – С. 266
  2.      Кондаков Н.І. Логічний словник-довідник. - М: Наука, 1976. - 720с.
  3.      Фейс Р., Модальна логіка. - Головна редакція фіз-мат літератури вид-ва "Наука", М.1974
  4.      Формальная логика. Л., 1977
  5.      Хоменко І.В. Логіка – юристам. – К., 1997. – С. 386
  6.      Шкатов Д.П., Модальна логіка і модальні фрагменти класичної логіки. - Інститут філософії РАН, 2008

 

Яндекс.Метрика