Індукція в сучасній логіці
Індуктивний аргумент призначений тільки для того, щоб продемонструвати свій висновок з високою ймовірністю або опровержимостью. Індуктивні аргументи або сильні або слабкі.
В якості індуктивного аргументу приклад супергероя Бетмена просто слабкий. Сумнівно, що Бетмен існує, тому одне з тверджень вже неправильне з великою ймовірністю. Хоча ви ніколи не бачили його у тому ж місці, що і хтось інший, вважати дане вираз доказом безглуздо. Щоб зрозуміти суть логіки, уявіть:
- Вас ніколи не бачили в тому ж місці, що і уродженця Гвінеї.
- Це неправдоподібно, що ви та людина з Гвінеї – це один і той же чоловік.
- Тепер уявіть, що ви з африканцем ніколи не бачилися в одному місці. Це неправдоподібно, що ви й африканець – це один і той же чоловік. Але гвінеєць і африканець перетиналися, тому ви не можете бути одночасно з обома. Докази того, що ви – це африканець або гвінеєць, істотно знизилися.
З цієї точки зору сама ідея символічної логіки не передбачає апріорного відношення до математики. Все, що потрібно для розпізнавання логіки як символу, це широке використання символів для представлення логічних операцій.