Что такое истина?

[KWAKS]

Ну нельзя т.Гёделя совать во все дыры, это вам не ёршик для унитаза  :lol:

БРАВО,SneakSnake !
Целиком и полностью присоединяюсь к Вашему мнению !
"ёршик для унитаза " - желательно использовать по прямому назначению,
НО НЕ "совать во все дыры" ! ! ! ! !

[49=1+3+5+7+9+11+13]

Квакс я вам не возражаю, вам возражает господин курт гёдель слыхали про такого и возражение его просто; любая формальная система либо противоречива, либо не полна. Силлогистика формальная система, следовательно силлгистика либо противоречива, либо не полна, что и требовалось доказать.

Не спешите радоваться.
Силлогистика строится на законе исключённого третьего,
который гласит : А + не_А = 1.
А это значит - ПОЛНАЯ система(описывающая ВСЮ реальность)
состоит ВСЕГО ИЗ двух НЕпротиворечивых формальных систем.

И если господин курт гёдель "не догонял" таких "откровений"
(изобретённых ещё Аристотелем) - то это уж точно не моя вина.

Закон исключённого третьего действует не всегда, смотри сам: вася поступил так потому, что он или негодяй, или дурак, но ведь вася может быть и негодяем и дураком одновременно, или нет?

[49=1+3+5+7+9+11+13]

Ну силлогистика - просто самая первая формальная логика. Конечно, у нее, как и у любой другой модели, есть некие границы применимости. У силлогистики эти границы довольно-таки узкие. Она работает только с формулами определенного вида...

С той только прискорбной для Вас поправочкой,
что "формулами определенного вида" - охвачены ...
ВСЕ ВОЗМОЖНЫЕ не только в объектной природе ,
но даже возникающие в горячечном бреду КОМБИНАЦИИ ОБЪЕКТОВ.

Жаб пойми я не имею ничего против силлогистики и считаю, что в очень многих ситуациях она не просто удобна, а оптимальна, но тем не менее догматизировать её тоже не резон.

[49=1+3+5+7+9+11+13]

Ну нельзя т.Гёделя совать во все дыры, это вам не ёршик для унитаза  :lol:

БРАВО,SneakSnake !
Целиком и полностью присоединяюсь к Вашему мнению !
"ёршик для унитаза " - желательно использовать по прямому назначению,
НО НЕ "совать во все дыры" ! ! ! ! !

Ознакомившись с мат частью и поразмышляв вынужден с вами согласиться.

[SneakSnake]

Силлогистика строится на законе исключённого третьего,

Докажи.

А это значит - ПОЛНАЯ система(описывающая ВСЮ реальность)

Докажи.

С той только прискорбной для Вас поправочкой,
что "формулами определенного вида" - охвачены ...
ВСЕ ВОЗМОЖНЫЕ не только в объектной природе ,
но даже возникающие в горячечном бреду КОМБИНАЦИИ ОБЪЕКТОВ.

Докажи.

Пишет от фонаря все, что в голову придет... Дет сад какой-то...

[49=1+3+5+7+9+11+13]

Силлогистика строится на законе исключённого третьего,

Докажи.

А это значит - ПОЛНАЯ система(описывающая ВСЮ реальность)

Докажи.

С той только прискорбной для Вас поправочкой,
что "формулами определенного вида" - охвачены ...
ВСЕ ВОЗМОЖНЫЕ не только в объектной природе ,
но даже возникающие в горячечном бреду КОМБИНАЦИИ ОБЪЕКТОВ.[/

Докажи.

Пишет от фонаря все, что в голову придет... Дет сад какой-то...

Крокодилыч я уже привёл кваксу пример который обосновывает, что закон исключённого третьего действует не всегда, вот он: Вася поступил так потому, что он или негодяй, или дурак, но ведь вася может быть и негодяем и дураком одновременно, или нет?

[SneakSnake]

Тот пример, что ты привел, это не пример закона исключенного третьего. Закон исключенного третьего это:

A or not A = true

А ты толкуешь про

A xor B = true

"Негодяй" - не отрицание дурака, отрицание дурака - умный.
Дурак - это не отрицание "негодяя", отрицание негодяя - ну даже не знаю, наверное, "хороший". Так что примеры закона исключенного третьего будут правильно выглядеть так:

Вася негодяй или хороший человек. Вася дурак или умный.

А то, что "может быть одновременно" - это уже не закон исключенного третьего, это закон противоречия, который выглядит так:

A and not A = false

Т.е. Вася не может быть одновременно дураком и умным, негодяем и хорошим.

Оба закона в обычной двузначной логике выполняются всегда.

[KWAKS]

Квакс я вам не возражаю, вам возражает господин курт гёдель слыхали про такого и возражение его просто; любая формальная система либо противоречива, либо не полна. Силлогистика формальная система, следовательно силлгистика либо противоречива, либо не полна, что и требовалось доказать.

Не спешите радоваться.
Силлогистика строится на законе исключённого третьего,
который гласит : А + не_А = 1.
А это значит - ПОЛНАЯ система(описывающая ВСЮ реальность)
состоит ВСЕГО ИЗ двух НЕпротиворечивых формальных систем.

И если господин курт гёдель "не догонял" таких "откровений"
(изобретённых ещё Аристотелем) - то это уж точно не моя вина.

Закон исключённого третьего действует не всегда, смотри сам: вася поступил так потому, что он или негодяй, или дурак, но ведь вася может быть и негодяем и дураком одновременно, или нет?

Уважаемый 49=1+3+5+7+9+11+13 !
При всём глубочайшем уважении к Вам,
позвольте заметить,что закон исключённого третьего -
говорит о двух ВЗАМОИСКЛЮЧАЮЩИХ противоречиях
(число 7 - либо простое,либо НЕ простое.ТРЕТЬЕГО - НЕ ДАНО! ).

И Ваш Вася " поступил так потому",что :
попадает под мягкую дизъюнкцию,в которой -
по определению "вася может быть и негодяем и дураком одновременно, или нет".

От когО-когО .. а от Вас я не ожидал такой тупистики здесь,..

после того как Вы опубликовали Ваше : "психологика" ...
в форуме "Авторские форумы"  
 49=1+3+5+7+9+11+13

[KWAKS]

Крокодилыч я уже привёл кваксу пример который обосновывает, что закон исключённого третьего действует не всегда,?

Тот пример, что ты привел, это не пример закона исключенного третьего. Закон исключенного третьего это:

A or not A = true

А ты толкуешь про

A xor B = true.

Уважаемый 49=1+3+5+7+9+11+13 !
А вижу я,что Вы - "парнь не дурак" !

Оггг-ром-мАААднейшие статьи "о пользе логики" публикуете,...
к применению логики наравне с арифметикой призываете ...

А как только "дело" слегка коснулось Конкретного Суждения -
тут Вы и показались ВО ВСЕЙ "КРАСОТЕ" ! ! !

Пургу гонЯЯЯете" - похлеще antirex-а с Vivekkk-ом !
Прямо страм и стыдобыща Вам ! Чес-слово - не ожидал от Вас ! ! !

[49=1+3+5+7+9+11+13]

Квакс я вам не возражаю, вам возражает господин курт гёдель слыхали про такого и возражение его просто; любая формальная система либо противоречива, либо не полна. Силлогистика формальная система, следовательно силлгистика либо противоречива, либо не полна, что и требовалось доказать.

Не спешите радоваться.
Силлогистика строится на законе исключённого третьего,
который гласит : А + не_А = 1.
А это значит - ПОЛНАЯ система(описывающая ВСЮ реальность)
состоит ВСЕГО ИЗ двух НЕпротиворечивых формальных систем.

И если господин курт гёдель "не догонял" таких "откровений"
(изобретённых ещё Аристотелем) - то это уж точно не моя вина.

Закон исключённого третьего действует не всегда, смотри сам: вася поступил так потому, что он или негодяй, или дурак, но ведь вася может быть и негодяем и дураком одновременно, или нет?

Уважаемый 49=1+3+5+7+9+11+13 !
При всём глубочайшем уважении к Вам,
позвольте заметить,что закон исключённого третьего -
говорит о двух ВЗАМОИСКЛЮЧАЮЩИХ противоречиях
(число 7 - либо простое,либо НЕ простое.ТРЕТЬЕГО - НЕ ДАНО! ).

И Ваш Вася " поступил так потому",что :
попадает под мягкую дизъюнкцию,в которой -
по определению "вася может быть и негодяем и дураком одновременно, или нет".

От когО-когО .. а от Вас я не ожидал такой тупистики здесь,..

после того как Вы опубликовали Ваше : "психологика" ...
в форуме "Авторские форумы"  
 49=1+3+5+7+9+11+13

Сорри квакс стратил, протупил, целиком согласен закон исключённого третьего выполняеться всегда ибо действительно высказывание может быть либо истинным, либо ложным, а если высказывание одновременно и истинное и ложное то это именуеться парадоксом и значит, что либо в аксиоматике, либо в конструированиии логических цепей, либо и там и там допущены ошибки, всё верно протупил, чёрт вот до чего могут  довести споры с верунами и сторонниками мистицизма, невероятно так протупить.