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