Формальність Льюїса Керрола – символічна логіка та етапи її перетворення
Формальна логіка зараз – це предмет, який входить в курс навчання. Однак своїй появі вона зобов’язана символічною, тієї самої, яка була створена спочатку. Символічна логіка є методом представлення логічних виразів з використанням символів та змінних, а не звичайної мови. Це дозволяє усунути двозначність, яка супроводжує звичайні мови, такі як російська, і дозволяє спростити роботу.
Існує безліч систем символічної логіки, таких як:
- Класична пропозиціональна.
- Логіка першого порядку.
- Модальна.
Символічна логіка в розумінні Льюїса Керолла повинна була б вказати на істинне і помилкове твердження в заданому питанні. Кожен може мати окремі символи або виключати використання певних знаків. Ось кілька прикладів висловлювань, замикаючих логічний ланцюжок висновків:
- Всі люди, які ідентичні мені – істоти, які існують.
- Всі герої, які ідентичні Бетмена – істоти, які існують.
- Тому (оскільки Бетмена і мене ніколи не бачили в одному місці), всі люди, ідентичні мені, є героями, ідентичними Бетмену.
Це недійсний силогізм форми, але це та ж структура, що і наступна:
- Всі собаки – це ссавці.
- Всі кішки – це ссавці.
- Тому всі собаки – це кішки.
Повинно бути очевидно, що наведена вище символічна форма в логіці недійсна. Проте в логіці справедливість визначається таким виразом: якби приміщення було істинним, то висновок було б істинним. Це явно не так. Те ж саме буде для прикладу з героєм, який має однакову форму. Валідність застосовується тільки до дедуктивних аргументів, які покликані довести їх укладення з упевненістю, так як дедуктивний аргумент не може бути дійсним. Ці «поправки» також застосовуються в статистиці, коли є результат похибки даних, і сучасна символічна логіка як формальність спрощених даних допомагає у багатьох цих питаннях.