тів: буття, небуття, виникненню (становлення) і зникнення. Щодо всякого об'єкта вірно, що він або існує, або не існує, або виникає, або зникає. Разом з тим об'єкт не може одночасно існувати і не існувати, існувати і зникати, існувати і виникати, не існувати і зникати, виникати і зникати і т.п. Іншими словами, чотири можливі типу існування вичерпують всі способи існування і є взаємно несумісними. Логіка спрямованості дозволяє висловити в логічно несуперечливої вЂ‹вЂ‹формі ідею про суперечливість всякого руху і зміни. Затвердження В«Предмет рухається в даний момент в даному місці В»еквівалентно твердженнямВ« У розглянутий момент предмет знаходиться і не знаходиться в даному місці В».
Прикладом другого підходу до логіки зміни є логіка часу фінського філософа і логіка Г.Х. фон Врігта. Її вихідне вираз В«А і в наступній ситуації ВВ» може інтерпретуватися як В«Стан А змінюється в стан ВВ» (В«А-світ переходить у В-світ В»), що дає логіку зміни. У логіці часу доказові такі, зокрема, твердження:
- всяке стан або зберігається, або виникає, або зникає;
- при зміні стан не може одночасно зберігатися і зникати, зберігатися і виникати, виникати і зникати;
- зміна не може розпочатися з логічно суперечливих станів і не може вести до таких станом і т.п.
Приклади тверджень, доказових в різних системах логіки зміни, показують, що вона не є самостійною теорією зміни і не може претендувати на те, щоб бути такою. Формально-логічний аналіз зміни об'єкта переслідує вузьку мета - відшукання засобів, що дозволяють чітко зафіксувати логічні зв'язки тверджень про зміну того чи іншого об'єкта.
Разом з тим логіка зміни має важливе філософське значення, оскільки тема зміни (становлення) ще з античними стоїть у центрі гострих філософських дискусій.
В
6. ЄДНІСТЬ ЛОГІКИ
Розглянуті розділи некласичної логіки не вичерпують, звичайно, усього різноманіття існуючих логічних систем. Логіка як наука єдина. Однак вона складається з безлічі більш-менш приватних систем, жодна з яких не може претендувати на виявлення логічних характеристик мислення в цілому. У цьому аспекті сучасна логіка відрізняється від традиційної логіки. Остання не знала ніяких багатьох В«логікВ». Проблема відомості в єдність тих фрагментарних описів мислення, які даються окремими логічними системами, перед нею взагалі не стояла.
Інтенсивне розвиток логіки супроводжується розширенням і збагаченням її апарату, виникненням нових розділів і систем. Ця диференціація не повинна разом з тим затуляти ті ідеї та зв'язку, які перетворюють безперервно розширюється безліч логічних систем в єдину науку.
Єдність логіки проявляється насамперед у тому, що входять до її складу окремі В«ЛогікиВ» користуються при описі змістовних логічних процесів одними і такими самими методами дослідження. Всі ці В«логікиВ» відволікаються від конкретного змісту висловлювань і умовиводів і оперують тільки з їхньої формальним, структурним змістом. Кожна з них є системою, яка застосовує мову символів і формул і споруджуваної в відповідно з деякими загальними для всіх систем принципами. І нарешті, сконструйована В«логікаВ» викликає ряд питань, постають у разі кожної системи: чи немає в н їй суперечності, чи охоплює вона всі істини розглянутого роду? І т.д.
Між різними логічними системами є певні зв'язки. Одні системи можуть бути еквівалентні іншим, або включатися в них, або бути їх узагальненням і т.д.
Єдність логіки проявляється також у тому, що різні В«логікиВ» не суперечать один одному: законами однієї з них не можуть бути заперечення законів, прийнятих в іншій. Це вірно навіть для систем, які можна назвати конкуруючими, оскільки вони по-різному описують одні й ті ж процеси міркування. Тобто, як ми бачили, В«ЛогікиВ», які включають закон виключеного третього. Є також системи - і їх чимало, - розраховані на опис майже тих же типів міркувань, але не включають даного закону. У нескінченному різноманітті логічних систем немає, проте, таких В«логікВ», які проголошували б в якості свого закону заперечення закону виключеного третього.
Думка, що єдина сучасна логіка складається з великого числа окремих В«логікВ», якщо і незвичайна, то тільки за формою свого вираження. Подібне твердження є вірним у випадку якої розвинутої науки, скажімо, фізики або математики. Вони також складаються з безлічі окремих теорій, тільки в сукупності і в складних динамічних взаємозв'язках складових своєрідна єдність, зване фізикою чи математикою.
ВИСНОВОК
Мислення людини підкоряється логічним законам і протікає в логічних формах незалежно від науки логіки. Багато людей мислять логічно, не знаючи її правил. Зрозуміло, можна правильно мислити, не вивчивши логіку, однак не можна і недооцінювати практичного значення цієї науки.
Задача логіки в тому, щоб навчити людину с...
