Матеріал умовний: Чому відсутність предиката підтверджує умовні?

So yeah, basically from what i've read, and i've checked multiple sources on this, is that A -> B = ¬A V B.

So to really see where the confusion lies, I'll first state where it doesn't. Where A -> B, then this is saying that if A true, then B is true.

Thus 1 -> 1 is true, since this is just confirming the original statement.

1 -> 0 is false, since than A does not imply B.

Тепер, що я не отримую, це:

A -> B | Truth value
0    0 |     1
0    1 |     1

Тепер, оскільки істинна цінність полягає в підтвердженні або фальсифікації А, що означає B, то значення 1 означає, що "так, A означає B", а 0 означає "ні, A не означає B". Тепер, коли це може здатися ослепительно очевидним, це означає, що якщо A не відбувається, це підтверджує (або, можливо, підтверджує), що A означає B. A означає B, якщо A не відбувається.

So for instance, if A = I am a qualified chef. B = I can cook well. Then if we let A -> B, then if I am not a qualified chef, then by me being an unqualified chef, this affirms the conditional that since I am a qualified chef, thus I can cook well. But I just said that I am NOT a chef.

Я думаю, що A може означати B у відсутності A, чи B відбувається чи ні, але ми просто не знаємо. Чому ж тоді ми не можемо просто сказати, що умовна призводить до часткової таблиці істинності, де єдині висновки, які ми перевіряємо, - це те, де відбувається антецедент.

Я маю на увазі, що B називається навіть послідовною, одна з-за A, тому ми не можемо знати про наслідки A (або її відсутності), оскільки A не відбувається.

І, чесно кажучи, я не знаю, чому це в нормі. Існує причина, чому спосіб, яким ми маємо справу з відсутністю А, цілком плутає нових з логікою (у тому числі і я).

1
Чи є тоді запитання, чому умовне висловлювання з помилковим попередником є ​​безглуздим?
додано Автор MattH, джерело
Erm, em не впевнений. Я не хотів би використовувати це слово «безглуздо», оскільки це може дратувати деяких людей. Хоча я скажу, що це безумовно, здається протилежним інтуїтивним.
додано Автор LooyeD, джерело
Чудово, я перевіряю посилання, яке ви відправили, ура Жозеф :)
додано Автор LooyeD, джерело
@JosephWeissman Чи є це редагування достатнім для того, щоб питання знову відкрилося?
додано Автор richard, джерело
post для відповідного обговорення.
додано Автор Mauro ALLEGRANZA, джерело

3 Відповіді

Ваша плутанина зрозуміла. Матеріальні наслідки корисні в математичних контекстах і в деяких наукових контекстах, де положення розуміються як істинні або хибні, але це набагато менш корисно, коли мова йде про представлення звичайних щоденних умов. Можна навіть так далеко сказати, що вона працює тільки в особливому випадку, коли А і В є або безумовно вірними, або, звичайно, помилковими. У реальному світі це рідко, якщо взагалі вірно, і тому матеріальні наслідки не можуть представляти звичайні умови дуже добре.

As soon as things are uncertain, material implication gives completely the wrong answer to simple questions. Suppose I roll a regular 6-sided die and ask you, what credence do you attach to the conditional, "if it comes up even, it will be a six"? Nearly everyone will say one third. This of course is the value of the conditional probability P( six | even ). By contrast, the probability of the material implication P( even -> six ) is two thirds. The example generalises completely. Pick any typical conditional you like, just choose one where the A and B are not certainly true or false, and you will get the same result: the credence you attach to the conditional is the conditional probability, not the probability of the material implication. This has been tested experimentally in numerous trials conducted by cognitive psychologists: by and large we understand conditionals to mean that it is probably the case that B on the supposition of A. I have to qualify this with "by and large" because conditionals are very messy and unruly and there are many strange uses of them in English.

Такий підхід до розуміння умовностей був ініційований Ернестом Адамсом у своїх книгах "Логіка умовностей" і "Грунтовка на логіку ймовірностей". Він показав, як це слугує для пояснення так званих парадоксів імплікації, включаючи той, який ви називаєте у своєму питанні, тобто, що взагалі не можна вивести "якщо А, то В" з ¬А. На мою думку, вступні логічні підручники несуть погану послугу, коли вони вводять матеріальні наслідки, не відразу попереджаючи читача про його обмеження.

2
додано

Це не так дивовижно, як люди, які першими стикаються з нею, формально часто думають. Це ідея, що стоїть за витками фрази, як "Я зроблю це, коли свині летять". Ми всі відразу розуміємо такі речі, тому не може бути глибоким. Фраза, очевидно, означає "Я не зроблю цього", тому що це прямо означає, що якщо я збираюся, свині будуть літати, і вони не є. Але твердження стає істинним, а не потенційною брехнею , тому що свині фактично не літають.

Причина його формального прийняття в класичній математиці полягає в тому, що акцент робиться на уникненні протиріччя, і він ніколи не дає недоречного протиріччя. Це зручно для оператора бути повністю визначеним і мати відповідні значення у всіх випадках, і це єдине значення, яке дає оператору в цьому випадку безпеку.

З іншого боку, є, звичайно, версії математики, де це неправда. "Інтуїтивізм" та інші форми "конструктивної" математики, які суворо обмежують використання заперечення для спрощення більш детальних і переконливих доказів, які легше перетворюються на відповідні алгоритми, не приймають цього визначення без застережень.

Вони перешкоджають впровадженню заперечення, яке, за їхньою теорією, є неоднозначним. У конструктивному плані ми не можемо знати, що щось є доказово помилковим, тільки тому, що це неправда - воно може лежати у своєрідному підвішеному стані. І ми, звичайно, не можемо припустити, що це помилково, тому що припускаючи, що це не призведе до протиріччя . Вони очікують, що ми доведемо, що коли ми припускаємо це, ми безумовно потрапимо в біду.

Однак це призводить до деяких дуже складних математичних рельєфу. Евретт Єпископ пройшов перший курс курсу в обчисленні, і довів, що все доречно, конструктивно прийнятно. Результат приблизно в п'ять разів довший, і більша частина її є надмірно складною. Це здається надмірним для багатьох людей, які не обов'язково хочуть, щоб вся їхня математика була директивою реалізації таким чином, а лише необхідність, щоб вона була безпечною від протиріч.

0
додано

Це може допомогти думати про це так:

A: Я кваліфікований кухар

B: У мене є великі навички ножа

I pick this example because it's absolutely impossible to be a decent chef, much less a qualified one, if you can't properly use a knife. You'll chop ingredients too slowly, cut yourself (or others) and not know when your knife is dull. I don't like your example because cooking well & being a qualified chef are less distinct from each other than knife skills and how good a chef one is.

Lets say A -> B = ¬A V B, as you did. In the absence of A, it still may be true that B. It's not hard to imagine an assassin or samurai who is an awful chef yet still has amazing knife skills (i.e. ¬A & B). We also know that ¬A & B -> ¬A V B (there's a technical name for this that escapes me).

In my case, where I exhibit both ¬A & ¬B (i.e. I'm both awful with knives and a poor chef) it is still true that A -> B = ¬A V B - it's just that in this case the OR operator is picking out ¬A instead of either one being a possible option. Since ¬A V B is still true, the material conditional itself is also true because of this equality.

Сподіваюся, що це очистить вас.

0
додано