Простота символів в логіці
Символічний мову логіки – це заміна довгих двозначних пропозицій. Зручно, оскільки в російській мові можна сказати одне і те ж про різних обставин, що дасть можливість заплутатися, а в математиці символи будуть замінювати ідентичність кожного сенсу.
- По-перше, стислість важлива для ефективності. Символічна логіка не може обійтися без знаків та позначень, інакше вона залишилася б лише філософської, без права на справжнє значення.
- По-друге, символи полегшують перегляд і формулюють логічні істини. Пункти 1 і 2 заохочують «алгебраїчну» маніпуляцію логічними формулами.
- По-третє, коли логіка виражає логічні істини, символічна формулювання заохочує вивчення структури логіки. Це зв’язано з попереднім пунктом. Таким чином, символічна логіка піддається математичному вивчення логіки, яка є гілкою суб’єкта математичної логіки.
- По-четверте, при повторенні відповіді використання символів – це допомогу в запобіганні невизначеності (наприклад, множинних значень) звичайної мови. Також це допомагає забезпечити унікальність сенсу.
Нарешті, символічний мову логіки дозволяє проводити обчислення предикатів, яке було введено Фреге. За минулі роки символічне позначення самого обчислення предикатів було відточене і стало більш ефективним, так як хороша нотація важлива в математиці та логіці.
