Студопедия

Главная страница Случайная страница

КАТЕГОРИИ:

АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника






Рассмотрим еще два закона алетической логики.






А É à А («Все действительное является возможным»).

Аналитическая таблица для данного закона будет выглядеть так:

0. Fw А É à А

1. TwA

I 2. Fw à A F É, 0

3. Fw A F à, 2

+

Ясно, что обратная зависимость будет неверной: «Из возможности не вытекает действительность».

Напримет, из того, что «Киевское Динамо «может выиграть в очередном туре» не вытекает его действительная победа.

ð A É à A(«Все необходимое является возможным»).

Данный закон представляет следствие двух уже рассмотренных законов:

ð A É A [о2]

A É à A

ð A É à A

В нем зафиксирована зависимость: «Если ð Аистинно, то А будетистинным во всех возможных мирах, в том числе и в выделенном действительном мире, значит и à А будет истиным».

Проверим спраедливость данного закона с почощью аналитической таблицы:

0. Fw ð A É à A

1. Tw ð A

I 2. Fw à A FÉ, 0

II 3. Tw´ A T ð, 1

III 4. Fw´ A F à, 2

+

Мы получили замкнутую таблицу.


Поделиться с друзьями:

mylektsii.su - Мои Лекции - 2015-2024 год. (0.006 сек.)Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав Пожаловаться на материал