1. Поняття модального висловлювання.
2. Види модальностей.
1.Поняття модального висловлювання
Судження як форма мислення містить два види інформації: основну і додаткову. Основна інформація виражена в S, P, в логічній зв'язці і квантори. Додаткова відноситься до характеристики логічного статусу судження, його оцінкою. Така інформація називається модальністю судження. Модальність може бути виражена окремими словами або не мати словесного вираження, тоді її виявляють контекстуально.
Слово модальність походить від латинського «modus» (міра, спосіб, ставлення). За допомогою поняття модальність в логіці позначається певний спосіб відносини висловлюється суб'єкта до предмету висловлювання.
Будь-яке висловлювання містить твердження про наявність чи відсутність певної ситуації в дійсності. Раніше ми розгля-Ріва лише такі висловлювання, в яких стверджується факт наявності або відсутності ситуації. наприклад, висловлювання «Йде сніг» констатив-рует наявність ситуації випадання опадів у вигляді снігу, а висловлювання «Сніг не йде» містить інформацію про відсутність даної ситуації. Ви-сказиванія подібного типу називають ассерторіческіе (від лат. Asserto - стверджую) - стверджується щось дійсно існуюче, встановлене, достовірне: «Південні Курили належать Росії», «Кожна людина розумний», «Іван старше Петра», «Якщо спостерігається спад виробництва, то зростає безробіття ».
Однак існує й інший тип висловлювань - так звані модаль-ні висловлювання, які не просто повідомляють, що деяка ситуація має або не має місце, не тільки говорять про наявність чи відсутність у предметів певних властивостей і відносин, а й дають оцінку, кваліфікацію або са -мій ситуації, або факту прісущності властивостей і ставлення-ний предметів.
Так, у висловлюваннях «Добре, що йде сніг» і «Погано, що йде сніг» ми оцінюємо ситуацію випадання снігу, наприклад, з точки зору видів на урожай. У висловлюванні «Громадянам заборонено порушувати закони» ситуація на-рушення законів громадянами кваліфікується як несумісна з правовими нормами. Вислів «Кожна людина з необхідністю розумний» не просто констатує володіння усіма людьми властивістю розумності, а й вказує на особливий - необхідний (т. Е. Обумовлений природою людини) - характер при-сутності йому цього властивості. Вислів «Катя вважає, що Червоне море впадає в Середземне море» співвідносить твердження про впадінні ні з об'єк-єктивні дійсністю, а зі сферою суб'єктивних думок Каті, оцінює відповідну ситуацію як має місце з її точки зору.
Модальна кваліфікація може даватися не тільки окремим (простим) ситуацій, але також і взаємозв'язків між ними. Наприклад, висловлювання «Спад виробництва з неминучістю призводить до зростання безробіття» не просто висловлює думку про те, що при наявності однієї ситуації має місце й інша, воно містить також інформацію про необхідний характер цього взаємозв'язку: перша ситуація обумовлює, детермінує другу. Вислів «Петро старанно займався протягом семестру, а потім здав іспити на відмінно» вказує на часовий характер відносини між двома ситуаціями: перша передує другій в часі.
Отже, в традиційній логіці прийнято розділяти судження по модальності на 3 види:
1) Імовірнісні - «S, ймовірно, є P»
2) ассерторіческіе - «S є P»
3) аподиктичні - «S, необхідно, є P».
Аподиктичні (від грец. Apodeiktikos - доказовий, переконливий) - безумовно достовірний, заснований на необхідності, незаперечний.
У судженнях першого типу відображаються можливі зв'язки між S і P, наприклад: «Іліада, можливо, продукт колективної творчості». Ассерторіческіе судження стверджують наявність дійсно існуючої зв'язку між S і P: «Термін навчання на бакалавраті становить 4 роки». Аподиктичні судження висловлює необхідний зв'язок S і P: «Навколо провідника, по якому проходить електричний струм, виникає магнітне поле».
Якщо ассерторіческіе судження використовуються для констатації фактів, то аподиктичні висловлюють закони природи.
Модальна логіка - розділ некласичної логіки, в якому досліджуються логічні зв'язки модальних висловлювань, тобто висловлювань включають модальності.
Модальними називають висловлювання. містять додаткову інформацію оціночного характеру щодо ситуацій або взаємозв'язків між ними, або прісущності ознак предметів.
Модальна кваліфікація здійснюється за допомогою таких мовних зворотів, як «добре», «погано», «заборонено», «необхідно притаманне», «вважає», «з неминучістю призводить», «а потім». Слова і словосполучення подібного роду називають модальностями.
Модальності - це терміни, за допомогою яких здійснюється оцінка, кваліфікація ситуацій, взаємозв'язків між ними і прісущності властивостей і відносин предметів в модальних висловлюваннях.
Крім класифікації модальностей в традиційній логіці (ймовірні, ассерторіческіе, аподиктичні) існують більш детальні класифікації, що здійснюються за різними підставами в модальної логіки.
Характеристика, оцінка ситуацій в модальних висловлюваннях може проводитися з різних точок зору. Залежно від того, під яким кутом зору здійснюється модальна кваліфікація, виділяють наступні види модальностей.
(1) Алетіческая модальність (від грец. Aletheia - істина) висловлює характер зв'язку між S і P. До числа алетіческіх модальностей відносяться терміни «необхідно», «можливо», «випадково», «неможливо» і ін.