Навігація
Головна
 
Головна arrow Логіка arrow Логіка
< Попередня   ЗМІСТ   Наступна >

Логіка зміни

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

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

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

  • • існувати - це те ж, що починати зникати, і те ж, що переставати виникати;
  • • Не існувати - те ж, що починати виникати, і те ж, що припиняти зникати;
  • • становлення - це припинення неіснування, а зникнення - це виникнення неіснування;
  • • вже існує - значить, існує або виникає;
  • • ще існує - значить, існує або зникає і т.п.

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

Прикладом другого підходу до логіки зміни є логіка часу фінського філософа і логіка Г. X. фон Врігта. Її вихідне вираз «А і в наступній ситуації В» може інтерпретуватися як «Стан А змінюється в стан В» («А-світ переходить в Б-світ»), що дає логіку зміни. У логіці часу доказові такі, зокрема, твердження:

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

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

Разом з тим логіка зміни має важливе філософське значення, оскільки тема зміни (становлення) ще з Античності стоїть у центрі гострих філософських дискусій.

Єдність логіки

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

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

Єдність логіки проявляється, насамперед, в тому, що входять до її складу окремі «логіки» користуються при описі змістовних логічних процесів одними і тими ж методами дослідження. Всі ці «логіки» відволікаються від конкретного змісту висловлювань і умовиводів і оперують тільки їх формальним, структурним змістом. Кожна з них є системою, яка застосовує мову символів і формул і споруджуваної відповідно до деякими загальними для всіх систем принципами. І нарешті, сконструйована «логіка» викликає у разі кожної системи ряд питань: чи немає в ній протиріччя, чи охоплює вона всі істини розглянутого роду і т.д.

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

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

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

 
Якщо Ви помітили помилку в тексті позначте слово та натисніть Shift + Enter
< Попередня   ЗМІСТ   Наступна >
 
Дисципліни
Агропромисловість
Аудит та Бухоблік
Банківська справа
БЖД
Географія
Документознавство
Екологія
Економіка
Етика та Естетика
Журналістика
Інвестування
Інформатика
Історія
Культурологія
Література
Логіка
Логістика
Маркетинг
Медицина
Нерухомість
Менеджмент
Педагогіка
Політологія
Політекономія
Право
Природознавство
Психологія
Релігієзнавство
Риторика
Соціологія
Статистика
Техніка
Страхова справа
Товарознавство
Туризм
Філософія
Фінанси
Пошук