Логика и метаматематические исследования

Итак, если резюмировать соображения, высказанные нами ранее о Modus Ponens и правилах вывода, то можно утверждать следующее: от правила вывода, принимаемого в нашем дедуктивно-аксиоматическом исчислении предикатов, требуется, чтобы оно не допускало ситуации нетривиальной противоречивости исчисления высказываний, а для этого, в свою очередь, нужно, чтобы в следствии В хотя бы одно (возможно, совпадающее с В) высказывание совпадало с одной из посылок или чтобы и основание и следствие импликации относились к одной предметной области (что достигается наличием хотя бы одного тождественного термина и там, и там).

❤2✍2👍1

www.tgoop.com/logic_metamathematics/701

351 viewsAug 9, 2024 at 11:41

Итак, если резюмировать соображения, высказанные нами ранее о Modus Ponens и правилах вывода, то можно утверждать следующее: от правила вывода, принимаемого в нашем дедуктивно-аксиоматическом исчислении предикатов, требуется, чтобы оно не допускало ситуации нетривиальной противоречивости исчисления высказываний, а для этого, в свою очередь, нужно, чтобы в следствии В хотя бы одно (возможно, совпадающее с В) высказывание совпадало с одной из посылок или чтобы и основание и следствие импликации относились к одной предметной области (что достигается наличием хотя бы одного тождественного термина и там, и там).

BY Логика и метаматематические исследования