обливим умовним висловлюванням - каузальною імплікацією. Остання іноді приймається як вихідний, чи не обумовленого явним чином поняття. Сенс її задається безліччю аксіом. Найчастіше, однак, така імплікація визначається через інші, більш ясні або більше фундаментальні поняття. У їх числі поняття онтологічної (каузальною, або фактичної) необхідності, поняття ймовірності та ін
Логічна необхідність властива законам логіки, онтологічна необхідність характеризує закономірності природи і, зокрема, причинні зв'язку. Вираз В«А є причина ВВ» (В«А каузально імпліцірует ВВ») можна визначити як В«Онтологічно необхідно, що якщо А, то ВВ», відрізняючи тим самим просту умовну зв'язок від каузальне імплікації.
Через ймовірність причинний зв'язок визначається так: подія А є причина події В, тільки якщо ймовірність події А більше нуля, воно відбувається раніше В і ймовірність настання В при наявності А вище, ніж просто ймовірність В.
Поняття причинного зв'язку визначається за допомогою поняття закону природи: А каузально тягне В, тільки якщо з А не випливає логічно В, але з А, взятого разом з безліччю законів природи, логічно слід В. Сенс цього визначення проста: причинний зв'язок не є логічної, слідство випливає з причини не в силу законів логіки, а на підставі законів природи.
Для причинного зв'язку вірні, зокрема, твердження:
- ніщо не є причиною самого себе;
- якщо одна подія є причиною другого, то друге не є причиною першого;
- одне і те ж подія не може бути одночасно як причиною наявності якогось події, так і причиною його відсутності;
- немає причини для наступу суперечливого події, тощо
Слово В«ПричинаВ» вживається в кількох сенсах, що розрізняються за своєю силою. Найбільш сильний зміст причинності передбачає, що має причину не може не бути, тобто не може бути ні скасовано, ні змінено ніякими подіями чи діями. Поряд з цим поняттям повної, або необхідної, причини, існує також більш слабке поняття часткової, або неповної, причини. Для повної причини виконується умова: В«Якщо подія А каузально імпліцірует подія В, то А разом з будь-яким подією С також каузально імпліцірует В В». Для неповної причини вірно, що у разі будь-яких подій А і В, якщо А є часткова причина В, то існує така подія С, що А разом з С є повною причиною В, і разом з тим невірно, що А без С є повна причина В. Інакше кажучи, повна причина завжди, або в будь-яких умовах, викликає своє слідство, в той час як часткова причина тільки сприяє настанню свого слідства, і це наслідок реалізується лише в разі об'єднання часткової причини з іншими умовами.
Логіка причинності будується так, щоб у її рамках могло бути отримано опис і повних, і неповних причин. Ця логіка знаходить додатка при обговоренні понять закону природи, онтологічної необхідності, детермінізму та ін
В
5.4 Логіка зміни
Логіка зміни - розділ сучасної логіки, що займається дослідженням логічних зв'язків висловлювань про зміну або становленні матеріальних та інших об'єктів. Завдання логіки зміни - побудова штучних (формалізованих) мов, здатних зробити більш ясними і точними міркування про зміну об'єктів - переході від одного стану об'єкта до іншого його станом, про становлення об'єкта, його формуванні. У логіці зміни нічого не йдеться про конкретні характеристиках зміни і становлення. Вона тільки надає досконалий з погляду синтаксису і семантики мова, що дозволяє дати суворі формулювання тверджень про зміну об'єктів, розкрити підстави і наслідки цих тверджень, виявити їх можливі і неможливі комбінації. Використання штучного мови при обговоренні проблем зміни об'єктів не означає підміни цих онтологічних проблем логічними, відомості емпіричних властивостей і залежностей до логічних.
Розробка логіки зміни йде за двома напрямками: побудова спеціальних логік зміни і тлумачення певних систем логіки часу як логічних описів зміни. При першому підході звичайно дається В«одномоментнаВ» характеристика мінливого об'єкта, при другому зміна розглядається як відношення між послідовними станами об'єкта.
До першого напряму відноситься, зокрема, логіка спрямованості. Її мова багатша, ніж мова класичної логіки, і включає не тільки терміни В«існуєВ» і В«не існуєВ», але також терміни В«ВиникаєВ», В«зникаєВ», В«вже єВ», В«ще єВ», В«вже немаєВ», В«ще ніВ» і т.п. З допомогою цих термінів формулюються такі закони логіки спрямованості, як, наприклад:
- існувати - це те саме, що починати зникати, і те ж, що переставати виникати;
- не існувати - те ж, що починати виникати, і те ж, що припиняти зникати;
- становлення - це припинення неіснування, а зникнення - це виникнення неіснування;
- вже існує - значить, існує чи виникає;
- ще існує - значить, існує чи зникає і т.п.
Логіка спрямованості допускає чотири типи існування об'єк...
