: "...логика - это то, где НАЗЫВАЕТСЯ истинным, полученное с помощью нее и по ее правилам"
: если называется - то это определение, а если определение - то "тогда и только тогда"
Не совсем так.
Корректное определение обычно - это "то и только то". Но при этом можно назвать "то" (например перечислить), а тот факт, что оно "только то" (ничего больше назвать этим нельзя, иначе будет противоречие с уже названным) - доказать.
В данном случае так и делается.
: получив ваше однозначно трактуемое согласие с таким определением истины, я собирался разбить вас в пух и прах
Ох. Я не уверена, что вы знаете мою позицию. Я не уверена, что ваша позиция отличается от моей. (Мы явно говорим на разных языках..)
Мне очень интересно, что именно вы пытаетесь разбить в пух и прах?
: ссылкой на теорему геделя о неполноте формальной арифметики.
Я не понимаю, почему, когда речь идет только о логике, все вспоминают теорему об арифметике?
Арифметика надстройка над классической логикой, и все.
Классическая логика полна, в отличие от арифметики; и алфавит классической логики меньше, чем алфавит арифметики.
(И, Игорю Старку - ну как можно назвать арифметику основанием математики, если она прямая надстройка над другой математической теорией?)
: это свойство (полноты, т.е. "только тогда") не являэтся аксиоматическим.
Не является, согласна.
: значит, "истина" понимается иначе, чэм "то и только то что доказывается...".
объяснила выше. |