Что может и чего не может формальная логика

[KWAKS]

Затруднения конечно есть, но лишь до тех пор, пока мы не определимся в терминах .. под "пил кофе" мы подразумеваем процесс, .. с момента поднятия чашики с кофе для первого глотка до .. поставим чашку на блюдце после последнего.

Замечательно!
Ну а .., кто после .. НЕ поставил чашку на блюдце придумаем другой термин. А ..

\
А..БЗЯятельно - это диалапута ссная . .
чашку на манишку .

[KWAKS]

У..
Хочу .. не всасываю : :wink:  :wink:

Итак, т.щ в 10:00 пил или не пил кофея...
1. Оный товарисч . . Итого: с 9:58 до 10:02 он пил кофе, то есть в 10:100 - пил.
2. Он же, глотнув в 9:59, чашку поставил. В 10:00 чашка стояла на столике, и он кофе не пил!
Вот так-то. С протяжёнными процесами ..

\

хи хи, СТРОГО в10.00 - чашка на столе . .
а порцию, находящуюся во рту . .
В ТОТ МОМЕНТ - то.щ заглатывает .

[Борис-2]

Существовать и не существовать – это две контрадикторные противоположности (контрадикторные противоположные суждения рассматриваются законом исключенного третьего формальной логики)

Существовать можно только на 100 %  и нельзя существовать на 50 %.

Что-то может:
•   Либо существовать на 100 %
•   Либо не существовать на 100 %
•   Третьего варианта (существовать на 50 % и не существовать на 50 %) не дано.

Чтобы иметь контрадикторные противоположные суждения с понятием пить, нужно определиться, что имеется в виду под понятием пить.

Понятия существовать и пить означают процесс от начала до конца.

1. Пил в 10 часов означает:
•   Начал пить или
•   Продолжил пить

2. Не пил в 10 часов означает
•   Еще не начинал пить  или
•   Вообще не собирался пить

[Antediluvian]

Формальная логика может доказать, что крокодил более широкий, чем длинный.

Доказательство:

Сначала докажем, что крокодил более зелёный, чем длинный:

1. Крокодил более зелёный, чем длинный. Крокодил длинный только вдоль, а зеленый и вдоль, и поперек.

Теперь необходимо доказать, что крокодил более широкий, нежели зелёный:

2. Крокодил более широкий, нежели зелёный. Крокодил зелёный только сверху, а широкий и сверху, и снизу.

В силу транзитивности операции "более" исходная теорема полностью доказана.

[Взгляд Дракона]

Тему надо бы переименовать в «антиформальная логика и её сторонницы» .

[Logos]

Существовать и не существовать - это две контрадикторные противоположности (контрадикторные противоположные суждения рассматриваются законом исключенного третьего формальной логики)

Существовать можно только на 100 %  и нельзя существовать на 50 %.

Что-то может:
*   Либо существовать на 100 %
*   Либо не существовать на 100 %
*   Третьего варианта (существовать на 50 % и не существовать на 50 %) не дано.

Дано.
"Нестопроцентное существование" может быть в КОМЕ, В ГЛУБОКОМ ОБМОРОКЕ, ВО СНЕ БЕЗ СНОВИДЕНИЙ, В НОКАУТЕ, наконец.
А вот ЧЕТКОЙ (АБСОЛЮТНОЙ) ГРАНИЦЫ между "100%-ным существованием" и "100%-ным несуществованием" НЕ ДАНО.
Как и вообще НЕ ДАНО АБСОЛЮТНЫХ ГРАНИЦ, кроме как в вашем ВООБРАЖЕНИИ, ибо они - "сверхъестественные сущности", вроде "ангелов", "бесов" и "математических точек".

[Logos]

Существовать и не существовать - это две контрадикторные противоположности (контрадикторные противоположные суждения рассматриваются законом исключенного третьего формальной логики)

Существовать можно только на 100 %  и нельзя существовать на 50 %.

Что-то может:
*   Либо существовать на 100 %
*   Либо не существовать на 100 %
*   Третьего варианта (существовать на 50 % и не существовать на 50 %) не дано.

Дано.
"Нестопроцентное существование" может быть в КОМЕ, В ГЛУБОКОМ ОБМОРОКЕ, ВО СНЕ БЕЗ СНОВИДЕНИЙ, В НОКАУТЕ, наконец.
А вот ЧЕТКОЙ (АБСОЛЮТНОЙ) ГРАНИЦЫ между "100%-ным существованием" и "100%-ным несуществованием" НЕ ДАНО.
Как и вообще НЕ ДАНО АБСОЛЮТНЫХ ГРАНИЦ, кроме как в вашем ВООБРАЖЕНИИ, ибо они - "сверхъестественные сущности", вроде "ангелов", "бесов" и "математических точек".

[KWAKS]

Тему надо бы переименовать в «антиформальная логика ..» .

\

Атеистики-молотцА . .
Хоть как Тему назовите - ЛЮБУЮ ПЕРЕПОХАБЯТ !

[Yupiter]

Формальная логика может доказать, что крокодил более широкий, чем длинный.
Крокодил более зелёный, чем длинный. Крокодил длинный только вдоль, а зеленый и вдоль, и поперек.

Сравнение — мысленное установление сходства и различия предметов мысли между собой или между предметом мысли и неким эталоном. Понятно, что сравнение можно осуществить лишь между сходными то ли по объему, то ли по содержанию мыслями, потому что о несравнимых мыслях ничего иного отметить невозможно.
(c) Учебник логики.

[dont_delete_user]

А учебник указывает, кто и на основании чего определяет, какие мысли сходны по содержанию, а какие - нет? Если не определяет, то, как обычно - формально-логическое пустословие.