загрузка...

трусы женские
загрузка...
Реферати » Реферати за логікою » Логіка як предмет

Логіка як предмет

модальної логіки
1. ЛОГІЧНІ модальностей
Модальність - це оцінка висловлювання, дана з тієї чи іншої точки зору. Модальна оцінка виражається за допомогою понять «необхідно» , «можливо» , «доказово» , «спростовно» , «обов'язково» , «дозволено» і т.п. Модальні висловлювання - це висловлювання, що містять хоча б одне з таких понять. Модальні висловлювання поділяються на типи в залежності від тієї точки зору, на основі якої формулюються виражаються ними характеристики.
Модальна логіка - розділ логіки, в якому досліджуються логічні зв'язки модальних висловлювань.
Модальна логіка складається з ряду розділів, або напрямів, кожне з яких займається модальними висловлюваннями певного типу. Фундаментом модальної логіки є логіка висловлювань: перше є розширення другий.
Теорія логічних модальностей вивчає зв'язку логічних модальних висловлювань, тобто висловлювань, що включають логічні модальні поняття: «логічно необхідно» , «логічно можливо» , «логічно випадково» і т.п.
Логічно необхідне вислів можна визначити як висловлювання, заперечення якого представляє собою логічне протиріччя. Внутрішньо суперечливі, наприклад, висловлювання «Неправильно, що якщо неон - інертний газ, то неон - інертний газ» і «Невірно, що трава зелена або вона не зелена» . Це означає, що ствердні висловлювання «Якщо неон - інертний газ то неон - інертний газ» і «Трава зелена або вона не зелена» є логічно необхідними. Поняття логічної необхідності пов'язане з поняттям логічного закону: логічно необхідні закони логіки і все, що випливає з них. Логічно необхідні, таким чином, всі розглядалися раніше закони логіки висловлювань.
Істинність логічно необхідного висловлювання встановлюється незалежно від досвіду, на чисто логічних підставах. Логічна необхідність є, таким чином, більш сильним видом істини, ніж фактична істинність. Наприклад, вислів «Сніг бел» фактично істинно, для підтвердження його
Завдання логіки.
1. Правильне міркування.
Слово «Логіка» вживається досить часто, але в різних значеннях. Нерідко говорять про логіку подій, логіці характеру і т. п. У цих випадках мається на увазі певна послідовність і залежність подій або вчинків, наявність в них деякої загальної лінії.
Формальна логіка - наука про закони й операції правильного мислення. Основним завданням логіки є відділення правильних способів міркування (висновків, умовиводів) від неправильних. Правильні висновки називаються також обгрунтованими, послідовними або логічними.
Міркування являє собою певну, внутрішньо обумовлену зв'язок тверджень. Відмітна особливість правильного висновку полягає в тому, що від істинних посилок він завжди веде до істинного висновку.
2. Логічна форма.
Своєрідність формальної логіки пов'язано, насамперед, з її основним принципом, відповідно до якого правильність міркування залежить тільки від його логічної форми. Найбільш загальним чином форму міркування можна визначити як спосіб зв'язку входять у це міркування змістовних частин.
3.Дедукція та індукція.
Умовивід - це логічна операція, в результаті якої з одного або декількох прийнятих тверджень (посилок) виходить нове твердження - висновок (наслідок). Залежно від того, чи існує між посилками і укладанням зв'язок логічного слідства, можна виділити два види умовиводів.
У дедуктивному умовиводі цей зв'язок спирається на логічний закон, у силу чого висновок з логічною необхідністю випливає з прийнятих посилок. Відмітна особливість такого умовиводу в тому, що воно від істинних посилок завжди веде до істинного висновку.
В індуктивному умовиводі зв'язок посилок і висновку спирається не на закон логіки, а на деякі фактичні або психологічні підстави, що не мають чисто формального характеру. У такому умовиводі висновок не варто логічно з посилок і може містити інформацію, відступаючу від них.
Індукція не дає повної гарантії отримання нової істини з вже наявних. Максимум, про який можна говорити, це певна ступінь ймовірності виведеного затвердження.
Особливо характерними дедукції є логічні переходи від загального знання до приватного.
4. Інтуїтивна логіка.
Під інтуїтивною логікою звичайно розуміють інтуїтивні уявлення про правильність міркувань, що склалося стихійно в процесі повсякденної практики мислення.
Інтуїтивна логіка успішно справляється зі своїми завданнями в повсякденному житті, але зовсім недостатня для критики неправильних міркувань.
5. Деякі схеми правильних міркувань.
У правильному міркуванні висновок випливає з посилок з логічною необхідністю, і загальна схема такого міркування являє собою логічний закон.
Логічні закони лежать в основі логічно досконалої мислення. Міркувати логічно правильно - значить міркувати відповідно до законів логіки.
Ось деякі, найбільш часто використовувані схеми:
* Якщо є першою, тобто друга; є першим; отже, є друге. Ця схема дозволяє від затвердження умовного висловлювання та затвердження його підстави перейти до утвердження умовного проходження.
* Якщо є перше, тобто друге; але другий ні; значить, немає першого. За допомогою цієї схеми від затвердження умовного висловлювання і заперечення його слідства здійснюється перехід до заперечення підстави висловлювання.
* Якщо є перше, тобто друге; отже, якщо немає другого, то немає і першого. Ця схема дозволяє, використовуючи заперечення, міняти місцями висловлювання.
* Є, щонайменше, або перше або друге; але перший ні; значить, є друге. Наприклад: «Буває день і ніч; зараз ночі немає; отже, зараз день » .
* Або має місце перше, або друге; є першим; значить, немає другого. За допомогою цієї схеми від затвердження двох взаємовиключних альтернатив і встановлення того, яка з них присутній, здійснюється перехід до заперечення іншої альтернативи.
* Невірно, що є і перше, і друге; отже, немає першого або другого. Є перше або є друге; значить, невірно, що немає першого і немає другого. Ці та близькі їм схеми дозволяють переходити від тверджень з союзом «і» до тверджень з союзом «або» , і навпаки.
6. Традиційна і сучасна логіка.
Історія логіки охоплює близько двох з половиною тисячоліть. «Старше» формальної логіки тільки філософія і математика.
На першому етапі, зазвичай званому традиційною логікою, формальна логіка розвивалася дуже повільно. Кант (1724-1804) говорив, що формальна логіка є завершеною наукою, що не просунулася з часу Аристотеля ні на Одан крок. Г. Лейбніц (1646-1716) дав ясне вираження ідей представити доказ як обчислення, подібне обчисленню в математиці. Ідеї ??Лейбніца не зробили, однак, помітного впливу на його сучасників. Фреге (1848-1925) у своїх роботах став застосовувати формальну логіку для дослідження підстав математики. Фреге був переконаний, що «арифметика є частина логіки і не повинна запозичити ні у досвіду, ні у споглядання ніякого обгрунтування» .
Відомий російський фізик Еренфест першим висловив гіпотезу про можливість застосування сучасної йому логіки в техніці.
7. Сучасна логіка та інші науки.
З моменту свого виникнення логіка була найтіснішим чином пов'язана з філософією. Протягом багатьох століть логіка вважалася, подібно психології, однієї з «філософських наук» .
Математична логіка виникла, по суті, на стику двох таких різних наук, як філософія, або точніше - філософська логіка, і математика. Тісний зв'язок сучасної логіки з математикою додає особливу гостроту питання про взаємні відносини цих двох наук. Згідно Фреге і Расселу математика і логіка - це всього лише два ступені в розвитку тієї ж самої науки. Математика може бути повністю зведена до логіки, і таке чисто логічне обгрунтування математики дозволить встановити її справжню і найбільш глибоку природу. Цей підхід до обгрунтування математики отримав назву логіцізма.
Сучасна логіка також тісно пов'язана з кібернетикою - наукою про закономірності управління процесами і системами в будь-яких областях: у техніці, в живих організмах, у суспільстві. Основоположник кібернетики, американський математик Вінер не без підстав підкреслював, що саме виникнення кібернетики було б немислимо без математичної логіки.
Крім кібернетики сучасна логіка знаходить широке додаток і в багатьох інших галузях науки і техніки.
Слова і речі.
1. Мова як знакова система.
Мова являє собою необхідні умови існування абстрактного мислення. Він виник одночасно з свідомістю і мисленням. Логічний аналіз мислення завжди має форму дослідження мови, в якому воно протікає і без якого, воно не є можливим. У цьому плані логіка - наука про мислення - є в рівній мірі і наука про мову.
Мова являє собою систему знаків, використовувану для цілей комунікації і пізнання. Системність мови виражається в тому, що кожна мова, крім словника, має також синтаксис і семантику. Синтаксичні правила мови встановлюють способи утворення складних виразів з простих.

Сторінки: 1 2 3
загрузка...
ur.co.ua

енциклопедія  з сиру  аджапсандалі  ананаси  узвар