Здравствуй. Читал о таком случае. Сократа приговорили к смертной казни. Накануне казни к нему пришел попрощаться знакомый и застал Сократа за разучиванием новой песни. «Милый мой, когда же, если не теперь» — ответил Сократ удивленному посетителю. Вопрос: может ли быть ответ Сократа примером формальной логики?

Сократ

Приведённый вами ответ Сократа — «Когда же, если не теперь?» — на первый взгляд выглядит как риторическая фраза, но в нём можно усмотреть элемент формальной логики, если немного переформулировать его как логический аргумент. Давайте рассмотрим подробнее.

1. Что такое формальная логика?

Формальная логика — это наука о формах правильного мышления. Она оперирует высказываниями и их взаимосвязями: если А, то В; А истинно → В истинно и т.д.

2. Разбор высказывания Сократа

Фраза: «Когда же, если не теперь?»
Смысл: «Если не сейчас учить песню, то когда же ещё?»
Контекст: Смертная казнь на следующий день — другого времени, кроме «сейчас», уже не будет.

Можно представить это как следующий силлогизм (логическую структуру):
1. У человека есть только настоящее время (теперь), поскольку завтра он умрёт.
2. Если человек хочет сделать что-то, ему нужно это сделать сейчас.
3. Сократ хочет выучить песню.

Это соответствует схеме Модус поненс (утверждение посылки и вывод)
— если (что-то нужно сделать), то (это нужно сделать сейчас)
— это нужно сделать, следовательно, делай это сейчас

3. Итог

Да, ответ Сократа может рассматриваться как пример формальной логики — в завуалированной, афористичной форме. Он опирается на логическое рассуждение: при отсутствии будущего единственно разумным временем для действия остаётся настоящее.

При этом это ещё и пример философской мудрости: жить полной жизнью даже накануне смерти.

А что такое модус поненс?

Модус поненс (лат. modus ponens, буквально — “способ утверждения”) — это один из самых базовых и часто используемых законов формальной логики. Он описывает ситуацию, когда из двух утверждений логически следует третье.

🔷 Структура модуса поненса:

1. Если А, то В (условное высказывание)
2. А (утверждение посылки)
⇒ Следовательно, В

🔹 Примеры:

📘 Логический:

1. Если идёт дождь, то улица мокрая.
2. Идёт дождь.
→ Значит, улица мокрая.

🎓 Простой житейский:

1. Если студент сдал экзамен, то он получит зачёт.
2. Студент сдал экзамен.
→ Он получит зачёт.

⚠️ Важно:

Модус поненс — корректная логическая форма. Но если, например, утверждается:
• Если А, то В,
• В (но не сказано, что А)
→ Это уже не модус поненс, и такой вывод нельзя сделать (это будет логическая ошибка, называемая “утверждение следствия”)