Мне кажется, что «подразумевает» в английском языке не означает то же самое, что «подразумевает» логический оператор, подобно тому, как слово «ИЛИ» в большинстве случаев означает «исключающее ИЛИ» в нашем повседневном использовании языка.
Давайте возьмем два примера:
Если сегодня понедельник, то завтра вторник.
Это верно .
Но если мы скажем:
Если солнце зеленое, то трава зеленая.
Это также считается правдой. Зачем? Какая «логика» в естественном английском языке стоит за этим? Это поражает меня.
Ответы:
Люди плохо разбираются в логике, пока им не придется использовать ее для выяснения человеческих дел. Думайте о « если тоBA В A B A B » как обетование: «Я обещаю вам, что если вы сделаете то я сделаю ». Такое обещание ничего не говорит о том, что я мог бы сделать , если вы не в состоянии сделать . На самом деле, я все равно могу сделать , и это не сделает меня лжецом.A В A В
Например, предположим, что ваша мать говорит вам:
И позвольте нам сказать, что вы не убирали в своей комнате, но когда вы шли на кухню, ваша мама готовила блины. Спросите себя, делает ли это вашу маму лжецом? Это не! Она будет лжецом, только если вы уберете комнату, но она отказалась делать блины. Могут быть и другие причины, по которым она решила приготовить блины (возможно, ваша сестра убрала свою комнату). Твоя мама не сказала тебе: «Если ты не уберешь комнату, я не буду делать блины», не так ли?
Итак, если я скажу
это не делает меня лжецом. Солнце не зеленое (вы не убирали в комнате), но трава все равно оказалась зеленой (но ваша мама все равно делала блины).
источник
style="voice: laurence-fishburne"
..Это соглашение - мы могли бы использовать другое, но это удобно. Вот что говорит Теренс Тао :
источник
«A подразумевает B» означает (коротко) «если A истинно, то B истинно».
Это означает (немного дольше) «если A истинно, то я утверждаю, что B истинно; если A ложно, то я не претендую на B».
Теперь возьмите «Если солнце зеленое, то трава зеленая».
В длинном виде это переводится как «Если солнце зеленое, то я утверждаю, что трава зеленая; если солнце не зеленое, то я не претендую на цвет травы». Солнце не зеленое, поэтому я не претендую на цвет травы.
источник
Давайте возьмем пример. Предположим , что мы хотим выразить , что является единственным элементом множества S , который удовлетворяет свойство P . Тогда мы можем написать ∀ x ∈ Sa S п
источник
Важно отметить, что многие формы логики не имеют понятия хронологии или причинности. Если что-то является правдой, то оно - в своем контексте - было и будет оставаться правдой вечно. Утверждение, что X подразумевает Y, ни в каком смысле не означает, что X каким-либо образом заставит Y быть правдой. Это просто означает, что X не может быть истинным, если Y также не является истинным, и Y не может быть ложным, если X также не ложно.
Для полезного описания причинно-следственных связей в реальном мире требуется нечто помимо конструкций, используемых в «вневременной» логике. Такая концепция, как «Для любого действия Y, такого, что X приведет к тому, что Y будет разумным, Y будет считаться разумным», может быть полезно в причинной вселенной, даже если X может быть ложным, но в таких случаях оператор импликации полностью разрушается. Если кто-то скажет: «X подразумевает, что Y будет считаться разумным», и оказалось, что X никогда не был правдой, это означало бы, что все действия будут считаться разумными.
Я не уверен, какие формы логики включают конструкции, необходимые для того, чтобы допускать утверждения, включающие одностороннюю причинность, но признание того, что логическое определение «подразумевает» не признает понятия времени и причинности, должно облегчить понимание того, почему они ведут себя в нелогичной манере.
источник
При использовании Implication В английском это не о вещах или объектах, которые мы рассматриваем.
Солнце - это просто объект, не привязывайтесь к нему эмоционально, солнце не может быть зеленым.
Это кажется менее запутанным, чем при написании на английском языке.
источник
S
, «зеленый» какG
и «трава» как-то что-тоGG
меняет.Чтобы поставить вашу голову в нужное место для моего ответа, я хочу упомянуть то, что мне нравится называть теоремой о летающих обезьянах, или то, что Википедия любит называть принципом взрыва , в котором говорится:
источник